A new mathematical preprint gives an exact test for when a complex symplectic matrix can be paired with a nonzero bounded operator that intertwines the complexified Schrödinger representation. The result says the matrix must be positive, and that positivity is also sufficient: the two conditions are equivalent.
The finding comes from a formal proof, not an experiment or an analysis of observed data. The work studies complex symplectic matrices and bounded operators on L2 of d-dimensional real space. In this setting, an intertwiner is an operator that makes the relevant representation behave consistently after the matrix transformation.
How the argument works
The proof starts with the intertwining relation and differentiates it to obtain identities that can be tested on Siegel Gaussians, a structured family of Gaussian functions used in the analysis. The authors then use the behavior of those functions to connect boundedness of the operator with the matrix property called positivity.
Those Gaussian states provide a visible picture of the transformation. A bounded intertwiner sends a Siegel Gaussian to a nonzero scalar multiple of another Gaussian, determined by the induced Möbius transformation. The resulting point stays inside the Siegel upper half-space, the mathematical domain used to track these Gaussian parameters.
The key step is a norm comparison. By continuing the representation to complex phase-space parameters and applying Gaussian norm-growth estimates, the proof derives the required positivity inequality. That turns the existence of a bounded intertwiner into a restriction on the matrix itself.
What the theorem identifies
The result also settles the scope of the intertwining relation. For an element lifted to the oscillator semigroup, the relation holds for every function in L2, and the transformed expression on the right is represented by the same square-integrable function. The argument therefore extends the relation beyond the dense class used during the initial calculations.
For a fixed positive matrix, the space of bounded intertwiners is one-dimensional. In practical terms, the operator is fixed apart from multiplication by a scalar. The paper further identifies every bounded intertwiner with a scalar multiple of the corresponding oscillator-semigroup element.
Taken together, the statements provide an intrinsic characterization of the oscillator semigroup through the Schrödinger representation. The authors present this as a complex counterpart to the classical way the real metaplectic group is characterized, while the supplied analysis does not assess the surrounding prior literature or make a separate claim about novelty.
A result with a precise boundary
The theorem is limited to the setting it defines: complex symplectic matrices and bounded operators on L2. The complex action is generally not a bounded operator on all of L2 for arbitrary complex symplectic matrices; the result concerns its representation on the relevant oscillator-semigroup range. The work does not address approximate intertwiners, quantitative stability, or extensions to other representations and function spaces.
The document is an arXiv version 1 preprint dated 25 August 2026. No journal or peer-review status is reported in the supplied material. The text includes an appendix proof, but no separate supplement-availability statement is reported.
The supplied text lists institutional affiliation and contact information but does not report funding. It also contains no conflict-of-interest statement. As a mathematical proof, the work offers no statistical uncertainty, sample-size calculation, or empirical validation.
Paper data and sources
Original title: A Schrödinger characterization of the oscillator semigroup
Authors: Gianluca Giacchi
Journal/Repository: arXiv
Status: Preprint, not yet peer-reviewed
First online: 2026-08-25
DOI: Not available
Original paper · Full text