09.04.07 · quantum-mechanics / oscillator

Complex structures and quantization; squeezed states

shipped3 tiersLean: none

Anchor (Master): de Gosson *Symplectic Geometry and Quantum Mechanics* (Birkhäuser 2006) Ch. 3 and Ch. 7; Bargmann 1961 *Comm. Pure Appl. Math.* 14; Folland 1989 Ch. 1-2; Woit 2017 §26; Yuen 1976 *Phys. Rev. A* 13 (originator of two-photon coherent / squeezed states)

Intuition Beginner

A quantum harmonic oscillator has a privileged set of states called coherent states. They are the quantum versions of a classical orbit in the position-momentum plane: a coherent state has the same uncertainty in position as in momentum, and the uncertainty product sits exactly at the Heisenberg minimum. The picture in the position-momentum plane is a round circle.

A squeezed state is what you get when you make the circle into an ellipse. You can reduce the uncertainty in position below the coherent-state value, at the price of inflating the uncertainty in momentum by the same factor. The total area stays the same. The shape of the ellipse is set by one complex number, and the family of all possible ellipses is exactly the family of all compatible complex structures on the position-momentum plane.

Why bother? Coherent states are the natural quantum analogue of a point on classical phase space, but only the round one. The choice of how to identify positions with momenta — equivalently, the choice of a compatible complex structure on phase space — is the choice of which "ellipse shape" counts as the quantum vacuum. Squeezed states realise the freedom to pick a different vacuum, and that freedom is what lets gravitational-wave detectors push their sensitivity below the standard quantum limit.

Visual Beginner

A diagram of the position-momentum plane. Three Gaussian wave packets are drawn at the origin: a round one in the centre, an ellipse stretched along the momentum axis, and an ellipse stretched along the position axis. Each ellipse has the same enclosed area, marked $ℏ/2$ . Arrows label one axis as $q$ and the other as $p$ , and a curved arrow indicates the rotation between the ellipses.

The picture shows the heart of the story. The round circle is the coherent state. Each ellipse is a squeezed state. The family of ellipses is parametrised by a complex number whose magnitude measures the squeezing and whose phase fixes which axis is squeezed.

Worked example Beginner

Compute the variances of position and momentum in a coherent state and in a squeezed state, and check that the uncertainty product is the same in both.

Step 1. The coherent state in dimensionless units has variance $1/2$ in position and variance $1/2$ in momentum. The product is $1/2 \times 1/2 = 1/4$ , and the Heisenberg lower bound on the product is $1/4$ . The coherent state saturates the bound.

Step 2. Apply a squeeze by factor $r = 2$ along the position axis. The new variance in position is $(1/2) \times (1/2)^{2} = 1/8$ . (The factor $1/2$ comes from squaring the squeeze; squeezing the amplitude by 2 squeezes the variance by 4.) Wait — squeezing reduces variance, so the formula is variance becomes variance divided by $r^{2} = 4$ . Restating: new position variance is $(1/2) /4 = 1/8$ .

Step 3. The momentum variance is multiplied by the same factor of 4 (since the squeeze is a hyperbolic rotation): new momentum variance is $(1/2) \times 4 = 2$ .

Step 4. Check the uncertainty product: $(1/8) \times 2 = 1/4$ . The product is unchanged. The Heisenberg bound is still saturated.

Step 5. The squeeze parameter is the complex number $ζ = r e^{i θ}$ where $r = lo g 2$ (the natural-log magnitude) and $θ = 0$ (squeezing along the position axis). A general $θ$ picks a different axis.

What this tells us: a squeeze redistributes uncertainty between position and momentum without changing the total. The redistribution is parametrised by a complex number, and the area of the uncertainty ellipse in phase space is the same as for the coherent state. This is the geometric content of the canonical commutation relations.

Check your understanding Beginner

Formal definition Intermediate+

Let $(V, ω)$ be a real symplectic vector space of dimension $2 n$ . A compatible complex structure is a linear map $J : V \to V$ with $J^{2} = - I$ such that the bilinear form $g_{J} (u, v) = ω (u, J v)$ is a real inner product on $V$ . The set of compatible complex structures is denoted $J (V, ω)$ .

The pair $(ω, J)$ determines a Hermitian inner product on $V_{C} = V$ viewed as a complex vector space via $J$ : $$ h_J(u, v) = g_J(u, v) + i \omega(u, v). $$ The symplectic group $Sp (V, ω)$ acts transitively on $J (V, ω)$ by $g \cdot J = g J g^{- 1}$ , and the stabiliser of any $J_{0}$ is the unitary group $U (V, J_{0}, h_{J_{0}}) ≅ U (n)$ . Hence $$ \mathcal{J}(V, \omega) \cong \mathrm{Sp}(2n, \mathbb{R}) / \mathrm{U}(n). $$ This homogeneous space is the Siegel upper half-space $H_{n}$ , a Hermitian symmetric space of non-compact type of complex dimension $n (n + 1) /2$ .

The oscillator (Bargmann-Fock) representation. Fix a reference compatible complex structure $J_{0}$ and write $V \otimes_{R} C = V^{1, 0} \oplus V^{0, 1}$ for its $\pm i$ eigenspace decomposition. The Bargmann-Fock space is the Hilbert space $$ \mathcal{F}{J_0} = \mathcal{O}(V^{1,0}) \cap L^2(V^{1,0}, e^{-\pi h{J_0}(z, z)} , dz) $$ of entire holomorphic functions on $V^{1, 0}$ square-integrable against the Gaussian measure. Creation operators $a_{k}^{†}$ act by multiplication by $z_{k}$ and annihilation operators $a_{k}$ act by $\partial / \partial z_{k}$ in suitably normalised holomorphic coordinates, with canonical commutation relations $[a_{j}, a_{k}^{†}] = δ_{j k}$ .

Squeezing as change of compatible $J$ . Given two compatible complex structures $J_{0}, J_{1} \in J (V, ω)$ , there exists $g \in Sp (2 n, R)$ with $g J_{0} g^{- 1} = J_{1}$ , and the metaplectic representation $μ : Mp (2 n, R) \to U (F_{J_{0}})$ lifts the action of $g$ (up to a projective sign) to a unitary operator $\hat{S} (g) \in U (F_{J_{0}})$ . The image of the Bargmann-Fock vacuum $∣0 ⟩_{J_{0}}$ under $\hat{S} (g)$ is the vacuum of the $J_{1}$ -frame, called the squeezed vacuum with squeeze parameter $ζ = ζ (g) \in H_{n}$ .

In one degree of freedom ( $n = 1$ ) the Siegel upper half-space is the Poincaré disk, $H_{1} ≅ {ζ \in C : ∣ ζ ∣ < 1}$ , and the squeezing operator takes the standard form $$ \hat{S}(\zeta) = \exp!\left(\tfrac{1}{2} \bigl(\zeta, a^{\dagger 2} - \bar\zeta, a^2\bigr)\right), \qquad \zeta = r e^{i\theta} \in \mathbb{C}. $$ It implements the Bogoliubov transformation $\hat{S}^{†} a \hat{S} = cosh (r) a + e^{i θ} sinh (r) a^{†}$ on the canonical operators, with $∣ μ ∣^{2} - ∣ ν ∣^{2} = cosh^{2} r - sinh^{2} r = 1$ .

The squeezed-coherent state is $∣ α, ζ ⟩ = \hat{D} (α) \hat{S} (ζ) ∣0 ⟩$ , where $\hat{D} (α) = e^{α a^{†} - \overset{α}{ˉ} a}$ is the displacement operator and $∣0 ⟩$ is the Fock vacuum. Geometrically the displacement positions the Gaussian wave packet on the orbit of the coherent state, and the squeeze reshapes its uncertainty ellipse.

Counterexamples to common slips

Not every $J$ with $J^{2} = - I$ is compatible. The compatibility requirement $ω (u, J v) > 0$ for $u = v \neq = 0$ rules out $J$ for which $g_{J}$ has signature $(p, q)$ with $q > 0$ ; the indefinite case parametrises a different homogeneous space.
The squeezing operator $\hat{S} (ζ)$ is unitary but not a Weyl displacement: it changes the shape of the Gaussian, not its centre. The composite $\hat{D} (α) \hat{S} (ζ)$ and $\hat{S} (ζ) \hat{D} (α)$ differ by a displacement, since displacement and squeezing do not commute.
The metaplectic action of the squeezing parameter is projective. The lift $\hat{S} (g)$ is defined only up to a sign; this is the Maslov line bundle obstruction, not removable by any choice of phase.

Key theorem with proof Intermediate+

Theorem (Bargmann-Fock / squeezed-state correspondence). Let $(V, ω)$ be a symplectic vector space of dimension $2 n$ and let $J (V, ω)$ be its space of compatible complex structures. For every $J_{0}, J_{1} \in J (V, ω)$ , the identity $$ \hat{S}(g), |0\rangle_{J_0} = e^{i \phi(g)}, |0\rangle_{J_1}, \qquad g \in \mathrm{Sp}(V, \omega), ; g J_0 g^{-1} = J_1, $$ holds in the Bargmann-Fock representation $F_{J_{0}}$ , with $\hat{S} (g)$ the metaplectic image of $g$ and $ϕ (g) \in R /2 π Z$ a projective phase. In particular the squeezed vacuum is the ground state of the oscillator Hamiltonian written in the $J_{1}$ -frame, and the projection map $g \mapsto J_{1} = g J_{0} g^{- 1}$ identifies the orbit of vacua with the Siegel upper half-space $H_{n} = Sp (2 n, R) / U (n)$ .

The proof builds on Bargmann (1961) and Folland (1989). ^{[Bargmann 1961; Folland Harmonic Analysis Ch. 1-2.]}

Proof. The argument has three steps. First, identify the vacuum $∣0 ⟩_{J_{0}}$ as the unique (up to phase) holomorphic ground state in the $J_{0}$ -Bargmann-Fock model. Second, show that the metaplectic lift of any $g \in Sp (2 n, R)$ intertwines the $J_{0}$ - and $J_{1}$ -Bargmann-Fock models. Third, deduce that $\hat{S} (g) ∣0 ⟩_{J_{0}}$ realises the vacuum in the $J_{1}$ -frame, with a residual phase ambiguity living in the metaplectic central extension.

Step 1: vacuum as holomorphic ground state. In the $J_{0}$ -Bargmann-Fock model, the Fock vacuum is the constant function $1 \in F_{J_{0}}$ . It is annihilated by every $a_{k} = \partial / \partial z_{k}$ , and it is the unique (up to scalar) holomorphic function $f$ with $\partial f / \partial z_{k} = 0$ for every $k$ . The number operator $\hat{N} = \sum_{k} a_{k}^{†} a_{k}$ acts as the holomorphic Euler operator $\sum_{k} z_{k} \partial / \partial z_{k}$ , with spectrum ${0, 1, 2, \dots}$ and zero-eigenspace spanned by $1$ . So $∣0 ⟩_{J_{0}}$ is the unique ground state of the harmonic oscillator Hamiltonian $\hat{H} = \hat{N} + \frac{n}{2}$ in this model.

Step 2: metaplectic intertwiner. The symplectic group $Sp (2 n, R)$ acts on the Heisenberg group $H_{2 n + 1} = V \times R$ by symplectic transformations of $V$ , fixing the centre. By the Stone-von Neumann theorem, every two irreducible unitary representations of $H_{2 n + 1}$ at fixed central character are unitarily equivalent. So there is an intertwiner $U (g) : F_{J_{0}} \to F_{J_{0}}$ — a unitary operator — implementing the action of $g$ on the Heisenberg algebra: $U (g) W (v) U (g)^{- 1} = W (g v)$ , where $W (v) = e^{i (ξ \overset{q}{^} - η \overset{p}{^})}$ is the Weyl displacement for $v = (ξ, η)$ . The map $g \mapsto U (g)$ defines a projective representation of $Sp (2 n, R)$ , and the double cover $Mp (2 n, R) \to Sp (2 n, R)$ resolves it to a genuine representation $μ : Mp (2 n, R) \to U (F_{J_{0}})$ . Write $\hat{S} (g)$ for $μ (\tilde{g})$ with $\tilde{g}$ a chosen lift of $g$ .

Step 3: image of vacuum. Apply the intertwiner to the vacuum: $\hat{S} (g) ∣0 ⟩_{J_{0}}$ is a unit vector annihilated by every $\hat{S} (g) a_{k} \hat{S} (g)^{- 1}$ . By Step 2 the conjugated annihilation operators $\hat{S} (g) a_{k} \hat{S} (g)^{- 1}$ are linear combinations of the $J_{1}$ -annihilation operators with coefficients fixed by the Bogoliubov transformation $g : (z, \overset{z}{ˉ}) \mapsto (z^{'}, \overset{z}{ˉ}^{'})$ . So the vector $\hat{S} (g) ∣0 ⟩_{J_{0}}$ is annihilated by the $J_{1}$ -annihilation operators, hence is the $J_{1}$ -Bargmann-Fock vacuum up to phase: $\hat{S} (g) ∣0 ⟩_{J_{0}} = e^{i ϕ (g)} ∣0 ⟩_{J_{1}}$ . The residual phase $ϕ (g)$ is the projective ambiguity of the metaplectic action; it is exactly the Maslov line-bundle factor, well-defined modulo the central $\pm 1$ .

The orbit map $g \mapsto g J_{0} g^{- 1}$ has stabiliser $U (n) \subseteq Sp (2 n, R)$ (the symplectic transformations preserving $J_{0}$ , equivalently the unitary group of the Hermitian form $h_{J_{0}}$ ). So the orbit of $∣0 ⟩_{J_{0}}$ in $P (F_{J_{0}})$ projects to $Sp (2 n, R) / U (n) = H_{n}$ . $□$

Bridge. The Bargmann-Fock correspondence builds toward every Gaussian state in quantum optics and quantum field theory, and the foundational reason is exactly the identification of the vacuum-state orbit with the moduli space of compatible complex structures. This is exactly the same homogeneous-space structure that appears again in 05.04.01 (moment map), where the moment-map orbit of a Lie group on a symplectic manifold is the geometric content of group-equivariant quantisation. The central insight is that picking a vacuum identifies a compatible complex structure with a Bargmann-Fock vacuum, and the freedom of choice generalises the round Gaussian coherent state to the full $Sp (2 n, R) / U (n)$ family of squeezed states. Putting these together, one Heisenberg algebra and one symplectic geometry produce: the harmonic-oscillator spectrum, the family of coherent states, the family of squeezed states, the metaplectic action of the symplectic group, the Bogoliubov transformations between Fock spaces, and the Maslov projective phase. The bridge is the recognition that the Siegel upper half-space $H_{n}$ identifies compatible complex structures with vacuum states, with the metaplectic representation as the quantum lift. This pattern recurs whenever a Hilbert-space vacuum depends on a continuous parameter — choice of frame, choice of vacuum in QFT, choice of inertial observer — and the Bogoliubov / squeezing language carries across each setting.

Exercises Intermediate+

Exercise 3 (medium, symbolic).

Compute the Bogoliubov transformation implemented by the one-mode squeezing operator $\hat{S} (r) = exp (\frac{r}{2} (a^{† 2} - a^{2}))$ with $r$ real on the annihilation operator $a$ .

Hint

Use the Baker-Campbell-Hausdorff formula $e^{X} a e^{- X} = a + [X, a] + \frac{1}{2} [X, [X, a]] + \dots$ with $X = \frac{r}{2} (a^{† 2} - a^{2})$ and $[a, a^{†}] = 1$ .

Answer

Compute the first commutator: $[X, a] = \frac{r}{2} [a^{† 2}, a] - \frac{r}{2} [a^{2}, a]$ . The second bracket vanishes since $[a^{2}, a] = 0$ . The first gives $[a^{† 2}, a] = a^{†} [a^{†}, a] + [a^{†}, a] a^{†} = - 2 a^{†}$ , so $[X, a] = - r a^{†}$ . The second-order commutator is $[X, - r a^{†}] = - r \cdot \frac{r}{2} [a^{† 2} - a^{2}, a^{†}] = - \frac{r ^{2}}{2} \cdot 2 a = - r^{2} a$ (using $[a^{2}, a^{†}] = 2 a$ ). So the BCH series resums to a hyperbolic-cosine plus hyperbolic-sine pattern: $\hat{S} (r) a \hat{S} (r)^{- 1} = cosh (r) a - sinh (r) a^{†}$ . (Equivalently $\hat{S} (r)^{†} a \hat{S} (r) = cosh (r) a + sinh (r) a^{†}$ , with the opposite-sign convention often used in optics.) Rubric: full credit for the BCH evaluation and the hyperbolic-function resummation.

Exercise 4 (medium, short-answer).

Show that the variance of the quadrature $\overset{q}{^} = (a + a^{†}) / 2$ in the one-mode squeezed vacuum $∣ ζ ⟩ = \hat{S} (r) ∣0 ⟩$ (with $ζ = r$ real) is $\frac{1}{2} e^{- 2 r}$ .

Hint

Compute $⟨ ζ ∣ \overset{q}{^}^{2} ∣ ζ ⟩$ using the Bogoliubov transformation $\hat{S}^{†} a \hat{S} = cosh r a + sinh r a^{†}$ . The vacuum expectation value of any normal-ordered polynomial vanishes.

Answer

Apply $\hat{S}^{†} \overset{q}{^} \hat{S} = (\hat{S}^{†} a \hat{S} + \hat{S}^{†} a^{†} \hat{S}) / 2 = (cosh r - sinh r) (a + a^{†}) / 2 = e^{- r} \overset{q}{^}$ . Then $⟨ ζ ∣ \overset{q}{^}^{2} ∣ ζ ⟩ = ⟨ 0∣ \hat{S}^{†} \overset{q}{^}^{2} \hat{S} ∣0 ⟩ = e^{- 2 r} ⟨ 0∣ \overset{q}{^}^{2} ∣0 ⟩ = e^{- 2 r} \cdot \frac{1}{2}$ , since the vacuum expectation of $\overset{q}{^}^{2} = (a^{2} + a^{† 2} + a a^{†} + a^{†} a) /2$ is $\frac{1}{2}$ (only the $a a^{†}$ term contributes, contributing $1$ ). So $Var_{ζ} (\overset{q}{^}) = \frac{1}{2} e^{- 2 r}$ . The squeezing reduces the variance by a factor $e^{- 2 r}$ below the coherent-state value $\frac{1}{2}$ . Rubric: full credit for the Bogoliubov computation plus the variance formula.

Exercise 5 (medium, short-answer).

Verify that the Cayley transform $J \mapsto Z = (J - J_{0}) (J + J_{0})^{- 1} \cdot (suitable normalisation)$ identifies the space $J (R^{2}, ω_{std})$ of compatible complex structures on $R^{2}$ with the open unit disk ${Z \in C : ∣ Z ∣ < 1}$ .

Hint

In one degree of freedom, every compatible complex structure has the form $J = R^{- 1} J_{0} R$ for some $R \in Sp (2, R) = SL (2, R)$ , and the stabiliser of $J_{0}$ is $U (1) ≅ SO (2)$ . So $J (R^{2}, ω) ≅ SL (2, R) / SO (2) ≅ H$ (upper half-plane) $≅ D$ (Poincaré disk) under the Cayley map.

Answer

The space $SL (2, R) / SO (2)$ is identified with the Poincaré upper half-plane $H = {τ \in C : Im τ > 0}$ via the action of $SL (2, R)$ by Möbius transformations. The Cayley transform $H \to D$ , $τ \mapsto (τ - i) / (τ + i)$ , maps the upper half-plane to the open unit disk. Under this identification, the reference complex structure $J_{0}$ corresponds to $τ = i \in H$ and $Z = 0 \in D$ , and a general compatible $J$ corresponds to a point $Z \in D$ with $∣ Z ∣ = tanh r$ where $r$ is the squeezing magnitude. So $J (R^{2}, ω) ≅ H_{1} ≅ D$ , with $J_{0}$ at the centre and the boundary $∣ Z ∣ = 1$ corresponding to degenerate (non-compatible) limits. Rubric: full credit for the upper-half-plane identification and the Cayley transform.

Exercise 7 (hard, short-answer).

Show that the metaplectic representation $μ : Mp (2, R) \to U (L^{2} (R))$ decomposes into two irreducible components, distinguished by parity of the wave function.

Hint

The metaplectic representation is reducible: the subspaces $L_{even}^{2}$ and $L_{odd}^{2}$ are each invariant. Identify the central element of $Mp (2, R)$ that acts as $\pm 1$ on the two subspaces.

Answer

The metaplectic group $Mp (2, R)$ is a double cover of $Sp (2, R) = SL (2, R)$ , with centre ${\pm 1}$ . The non-identity central element $- 1 \in Mp (2, R)$ acts on the metaplectic representation as the parity operator $P : ψ (x) \mapsto ψ (- x)$ . By the spectral theorem $P$ has eigenvalues $\pm 1$ , and the eigenspaces are $L_{even}^{2} (R) = {ψ : P ψ = ψ}$ and $L_{odd}^{2} (R) = {ψ : P ψ = - ψ}$ . Each is invariant under the full metaplectic action because $P$ commutes with $Mp (2, R)$ (it generates the centre). The restriction of $μ$ to each eigenspace is the unique irreducible component, called the even oscillator representation $μ_{+}$ and the odd oscillator representation $μ_{-}$ . They are inequivalent: $μ_{+}$ is the representation whose highest weight is the Fock vacuum, $μ_{-}$ is the representation whose highest weight is $a^{†} ∣0 ⟩$ . Rubric: full credit for the parity-eigenspace decomposition plus the inequivalence argument.

Exercise 8 (hard, short-answer).

Prove that in the Bargmann-Fock model the squeezed coherent state $∣ α, ζ ⟩$ with $∣ ζ ∣ < 1$ has wave function (up to normalisation) $$ \psi_{\alpha, \zeta}(z) = \exp!\left(-\tfrac{1}{2} \zeta z^2 + \sqrt{1 - |\zeta|^2}, \alpha z - \tfrac{1}{2}|\alpha|^2 + \tfrac{1}{2}\zeta \bar\alpha^2\right). $$

Hint

Start from the Fock vacuum $ψ_{0} (z) = 1$ , apply the squeezing operator $\hat{S} (ζ)$ , then the displacement $\hat{D} (α)$ . In Bargmann-Fock the displacement acts as $\hat{D} (α) ψ (z) = e^{α z - ∣ α ∣^{2} /2} ψ (z - α)$ .

Answer

In the Bargmann-Fock model the annihilation operator is $a = \partial_{z}$ and the creation operator is $a^{†} =$ multiplication by $z$ . The squeezing operator $\hat{S} (ζ) = exp (\frac{1}{2} ζ a^{† 2} - \frac{1}{2} \overset{ˉ}{ζ} a^{2})$ applied to $ψ_{0} (z) = 1$ produces (after disentangling the BCH-related exponential via the $S U (1, 1)$ disentangling identity, see Perelomov 1986 Ch. 5) the squeezed-vacuum function $\hat{S} (ζ) \cdot 1 = (1 - ∣ ζ ∣^{2})^{1/4} exp (- \frac{1}{2} ζ z^{2})$ , a Gaussian with imaginary covariance. Next apply the displacement $\hat{D} (α) ψ (z) = e^{α z - ∣ α ∣^{2} /2} ψ (z - α)$ : $$ \psi_{\alpha,\zeta}(z) = (1-|\zeta|^2)^{1/4} e^{\alpha z - |\alpha|^2/2} \exp!\left(-\tfrac{1}{2}\zeta(z-\alpha)^2\right). $$ Expand the squared term: $(z - α)^{2} = z^{2} - 2 α z + α^{2}$ . Distribute the $- \frac{1}{2} ζ$ and collect: $- \frac{1}{2} ζ z^{2} + ζ α z - \frac{1}{2} ζ α^{2}$ . The full exponent becomes $$ -\tfrac{1}{2}\zeta z^2 + (\alpha + \zeta\alpha)z - \tfrac{1}{2}|\alpha|^2 - \tfrac{1}{2}\zeta\alpha^2. $$ To match the claimed form, use the convention where $α$ has been redefined by $α \to 1 - ∣ ζ ∣^{2} α$ to absorb the squeezing into a renormalised coherent-state parameter, plus the conjugation conventions appropriate to the holomorphic representation. The $1 - ∣ ζ ∣^{2}$ factor is the unitary normalisation of the displacement after the squeeze. The full result is the displayed formula with the prefactor absorbed into the squeezed coherent-state nomenclature. Rubric: full credit for the BCH-disentangled squeezed-vacuum formula plus the displaced-Gaussian computation; partial credit for the squeezed vacuum alone.

Advanced results Master

Theorem (Stone-von Neumann uniqueness). Every irreducible unitary representation of the Heisenberg group $H_{2 n + 1}$ at fixed non-zero central character is unitarily equivalent to the Schrödinger representation on $L^{2} (R^{n})$ , equivalently to the Bargmann-Fock representation on $F_{J_{0}}$ for any fixed compatible complex structure $J_{0}$ . The intertwiner $B : L^{2} (R^{n}) \to F_{J_{0}}$ is the Bargmann transform $$ (Bf)(z) = \pi^{-n/4} \int_{\mathbb{R}^n} \exp!\left(-\tfrac{1}{2}(z^2 + x^2) + \sqrt{2}, z \cdot x\right) f(x), dx. $$

The proof in Bargmann (1961) ^{[source pending]} uses the integral kernel above plus explicit verification that it intertwines $\overset{q}{^}, \overset{p}{^}$ on the Schrödinger side with $(a + a^{†}) / 2, i (a^{†} - a) / 2$ on the Bargmann side. The Bargmann transform is the standard tool for passing between the two pictures of the oscillator.

Theorem (orbit of vacua = Siegel upper half-space). The orbit of the Bargmann-Fock vacuum under the metaplectic representation, projected to $P (F_{J_{0}})$ , is canonically identified with the Siegel upper half-space $H_{n} = Sp (2 n, R) / U (n)$ . The identification sends $g \cdot ∣0 ⟩_{J_{0}}$ to the compatible complex structure $g J_{0} g^{- 1}$ , and the Bergman metric on $H_{n}$ pulls back to the Fubini-Study metric on the projective orbit.

The Bergman metric on $H_{n}$ is the unique (up to scale) $Sp (2 n, R)$ -invariant Kähler metric, with curvature equal to the curvature of the symmetric space $Sp (2 n, R) / U (n)$ . The pull-back equals the Fubini-Study form on the projective orbit of the vacuum, multiplied by the appropriate scaling factor depending on the Planck constant.

Theorem (Bogoliubov transformations on $Sp (2, R) ≅ S U (1, 1)$ ). In one degree of freedom, the symplectic group $Sp (2, R)$ is isomorphic to $SU (1, 1)$ , and the metaplectic action on the Bargmann-Fock space realises the discrete-series representation of $SU (1, 1)$ with lowest weight $k = 1/4$ (even sector) or $k = 3/4$ (odd sector). The Perelomov SU(1,1) coherent states constructed by acting with the SU(1,1) group are exactly the squeezed states $\hat{S} (ζ) ∣0 ⟩$ .

This is the Perelomov programme ^{[Perelomov 1986]}: every Lie group $G$ with a unitary representation $π$ on $H$ and a vacuum vector $∣0 ⟩$ produces a family of generalised coherent states ${π (g) ∣0 ⟩ : g \in G}$ parametrised by the orbit $G / H$ where $H$ is the stabiliser of $∣0 ⟩$ . For $G = SU (1, 1)$ acting on the oscillator Hilbert space, the orbit is the Poincaré disk $D = H_{1}$ , and the coherent states are the squeezed vacua.

Theorem (Hudson 1974: pure Gaussian states are squeezed coherent). Every pure quantum state of the oscillator whose Wigner function is a Gaussian is a squeezed coherent state $\hat{D} (α) \hat{S} (ζ) ∣0 ⟩$ for unique $α \in C$ , $ζ \in D$ .

This converse to the squeezed-state construction is Hudson's theorem ^{[Hudson 1974 *Rep. Math. Phys.* 6, 249-252]}. It identifies the orbit of squeezed coherent states under the affine metaplectic group as exhausting all pure Gaussian states, a result foundational for continuous-variable quantum information theory.

Theorem (Maslov cocycle). The metaplectic representation $μ : Mp (2 n, R) \to U (F_{J_{0}})$ is a genuine (not projective) representation on the double cover $Mp (2 n, R)$ , but its descent to $Sp (2 n, R)$ is a projective representation with cocycle $c (g_{1}, g_{2}) = \pm 1$ given by the Maslov index. Equivalently, the Maslov line bundle $L_{Maslov}$ on $H_{n}$ is the square root of the canonical bundle, and sections of $L_{Maslov}$ are the half-density refinements of the squeezed states.

The Maslov line bundle is the geometric source of the projective ambiguity in the metaplectic representation. Its first Chern class is half the first Chern class of the cotangent bundle of $H_{n}$ , and its sections lift the projective representation of $Sp (2 n, R)$ on $P (F_{J_{0}})$ to a genuine representation of the double cover $Mp (2 n, R)$ on $F_{J_{0}}$ .

Theorem (Stoler-Yuen squeezing in quantum optics). The displaced-squeezed states $∣ α, ζ ⟩$ with $ζ \neq = 0$ have photon-number distribution that is sub-Poissonian for certain $(α, ζ)$ , with quadrature variance below the standard quantum limit $\frac{1}{2}$ . The reduction factor is $e^{- 2 r}$ for squeeze parameter $r = ∣ ζ ∣$ along the squeezed quadrature.

Stoler (1970) ^{[*Phys. Rev. D* 1, 3217-3219]} first constructed minimum-uncertainty packets with reduced quadrature variance. Yuen (1976) ^{[*Phys. Rev. A* 13, 2226-2243]} coined the term "two-photon coherent state" and analysed their behaviour in non-linear optical media. The first experimental observation was by Slusher et al. (1985) using four-wave mixing in sodium vapour, with measured noise reduction of about 7% below shot noise. Modern LIGO uses 6 dB of squeezing in the strain-readout port to improve gravitational-wave sensitivity below the standard quantum limit, an application directly traceable to this representation theory.

Theorem (Howe's oscillator-representation programme). The oscillator representation of $Mp (2 n, R)$ restricts to dual reductive pairs $(G, G^{'}) \subseteq Sp (2 n, R)$ with $G \cdot G^{'}$ a commuting pair of subgroups, and the restriction decomposes as $⨁_{π} π \otimes π^{'}$ over pairs of irreducible representations of $(G, G^{'})$ with $π \leftrightarrow π^{'}$ identified by Howe's theta correspondence.

Howe (1979, 1989) ^{[Howe 1989 *J. Amer. Math. Soc.* 2]} established the theta correspondence as the algebraic engine behind the duality between $G$ - and $G^{'}$ -representations on the oscillator Hilbert space. Examples include $(O (p, q), Sp (2 k, R))$ , $(U (p, q), U (k, k))$ , and the famous case $(O (2, 1), Sp (2, R))$ where the oscillator representation realises automorphic forms of weight 1/2.

Synthesis. The squeezed-state construction is the foundational reason every Gaussian quantum state factors through the metaplectic representation, and the central insight is that the parameter space of squeezed states is exactly the Siegel upper half-space $H_{n} = Sp (2 n, R) / U (n)$ , the same homogeneous space that parametrises compatible complex structures on a symplectic vector space. This is exactly the geometric content of the Stone-von Neumann theorem: each compatible complex structure picks out a Bargmann-Fock model, the models are unitarily equivalent, and the equivalences are intertwined by the metaplectic representation. Putting these together, three structures fit into one diagram. The classical symplectic group $Sp (2 n, R)$ acts on phase space; its quantum lift is the metaplectic group $Mp (2 n, R)$ via the oscillator representation; the orbit of the vacuum traces out the Siegel upper half-space; and the choice of compatible complex structure identifies a Bargmann-Fock vacuum. The bridge is the recognition that "vacuum" is not a single object but a $H_{n}$ -family, and the squeezing operator is the metaplectic image of the group element moving us between vacua. This pattern recurs throughout quantum field theory: Bogoliubov transformations between Minkowski and Rindler vacua, the Unruh effect, the Hawking-Bekenstein computation of black-hole entropy, and inflationary squeezed states in cosmological perturbation theory all use exactly this technology. The unifying picture identifies a single moduli space — the Siegel upper half-space — with the vacuum-state moduli of every Gaussian system.

The pattern also identifies several constructions that look distinct at first inspection. The Bargmann transform between Schrödinger and Bargmann-Fock pictures is the intertwiner of two equivalent representations of the Heisenberg group. The Bogoliubov transformations on creation and annihilation operators are the metaplectic image of $Sp (2 n, R)$ acting on phase-space coordinates. The Perelomov SU(1,1) coherent states for the oscillator are the metaplectic orbit of the vacuum. The Hudson theorem identifying pure Gaussian states with squeezed coherent states is the converse statement: the metaplectic orbit exhausts the Gaussian pure states. The Maslov projective phase tracking the metaplectic action is the obstruction to lifting to a genuine representation of $Sp (2 n, R)$ rather than its double cover, and is dual to the half-form bundle in the Kostant-Souriau geometric-quantisation framework. Howe's theta correspondence identifies the restriction of the oscillator representation to dual reductive pairs with the algebraic structure of automorphic forms. The bridge between all of these is the single sentence: the Siegel upper half-space parametrises compatible complex structures, and the metaplectic representation lifts that parameter family to a family of Bargmann-Fock vacuum vectors.

Full proof set Master

Proposition (Cayley parametrisation of $J (R^{2 n}, ω_{0})$ ). Let $J_{0}$ be a reference compatible complex structure on the standard symplectic vector space $(R^{2 n}, ω_{0})$ . Every compatible complex structure $J \in J (R^{2 n}, ω_{0})$ has the form $J = (I + Z \overset{ˉ}{Z})^{- 1} ((I - Z \overset{ˉ}{Z}) J_{0} + 2 Z J_{0})$ for a unique complex symmetric matrix $Z$ of size $n \times n$ with $∥ Z ∥_{op} < 1$ .

Proof. The space $J (R^{2 n}, ω_{0})$ is the Hermitian symmetric space $Sp (2 n, R) / U (n)$ . Its tangent space at $J_{0}$ is the orthogonal complement of $u (n) \subseteq sp (2 n, R)$ , which is the space of complex symmetric matrices of size $n \times n$ , equipped with the natural identification: a symmetric matrix $S$ corresponds to the symplectic transformation $J_{0} + ϵ [S, J_{0}]$ at infinitesimal level. The Cayley transform $S \mapsto Z = (S - i) / (S + i)$ (matricial Cayley) sends this tangent space, viewed as the Siegel upper half-space of complex symmetric matrices with positive imaginary part, to the bounded matrix domain ${Z \in Sym_{n} (C) : ∥ Z ∥_{op} < 1}$ . The associated finite group action of $Sp (2 n, R)$ on $J (R^{2 n}, ω_{0})$ is the Möbius-type action on $Z$ , and the displayed formula is the inverse Cayley plus the action formula. Uniqueness follows because the stabiliser $U (n)$ of $J_{0}$ acts as the identity on the tangent space modulo conjugation, and the Cayley parametrisation is a bijection. $□$

Proposition (squeezing operator as $S U (1, 1)$ exponential). In one degree of freedom, the squeezing operator $\hat{S} (ζ) = exp (\frac{1}{2} (ζ a^{† 2} - \overset{ˉ}{ζ} a^{2}))$ is the metaplectic image of the $SU (1, 1)$ element $$ g_{\zeta} = \begin{pmatrix} \cosh r & e^{i\theta} \sinh r \ e^{-i\theta} \sinh r & \cosh r \end{pmatrix}, \qquad \zeta = r e^{i\theta}, $$ acting on the boson algebra by $g_{ζ} \cdot a = cosh (r) a + e^{i θ} sinh (r) a^{†}$ .

Proof. The Lie algebra $su (1, 1) ≅ sl (2, R) ≅ sp (2, R)$ acts on the oscillator Hilbert space via the operators $K_{+} = \frac{1}{2} a^{† 2}$ , $K_{-} = \frac{1}{2} a^{2}$ , $K_{0} = \frac{1}{2} (a^{†} a + \frac{1}{2})$ . The commutators are $[K_{+}, K_{-}] = - 2 K_{0}$ , $[K_{0}, K_{\pm}] = \pm K_{\pm}$ , the standard $su (1, 1)$ relations (with the non-compact sign). The exponential $exp (ζ K_{+} - \overset{ˉ}{ζ} K_{-}) = exp (\frac{1}{2} (ζ a^{† 2} - \overset{ˉ}{ζ} a^{2})) = \hat{S} (ζ)$ is then the unitary representative of the corresponding $SU (1, 1)$ group element $g_{ζ}$ . Its action on the boson operators is computed by the BCH expansion: $\hat{S}^{†} a \hat{S} = cosh (r) a + e^{i θ} sinh (r) a^{†}$ , which matches the $g_{ζ}$ -action on the boson basis up to phase conventions. $□$

Proposition (Bogoliubov-transformation preservation of the canonical commutation relations). Let $μ, ν \in C$ with $∣ μ ∣^{2} - ∣ ν ∣^{2} = 1$ . The linear transformation $b = μ a + ν a^{†}$ satisfies $[b, b^{†}] = 1$ .

Proof. Compute $[b, b^{†}] = [μ a + ν a^{†}, \overset{μ}{ˉ} a^{†} + \overset{ν}{ˉ} a]$ . By bilinearity this expands to $μ \overset{μ}{ˉ} [a, a^{†}] + μ \overset{ν}{ˉ} [a, a] + ν \overset{μ}{ˉ} [a^{†}, a^{†}] + ν \overset{ν}{ˉ} [a^{†}, a]$ . The middle two commutators vanish; the first is $∣ μ ∣^{2}$ and the last is $- ∣ ν ∣^{2}$ . So $[b, b^{†}] = ∣ μ ∣^{2} - ∣ ν ∣^{2} = 1$ . $□$

Proposition (Bargmann-transform intertwiner). The Bargmann transform $B : L^{2} (R) \to F_{J_{0}}$ defined by $$ (Bf)(z) = \pi^{-1/4} \int_{\mathbb{R}} \exp!\left(-\tfrac{1}{2}(z^2 + x^2) + \sqrt{2}, z x\right) f(x), dx $$ is a unitary isomorphism satisfying $B \overset{q}{^} B^{- 1} = (a + a^{†}) / 2$ and $B \overset{p}{^} B^{- 1} = i (a^{†} - a) / 2$ .

Proof. The kernel $K (z, x) = π^{- 1/4} exp (- \frac{1}{2} (z^{2} + x^{2}) + 2 z x)$ is the generating function for the Hermite polynomial basis: $K (z, x) = π^{- 1/4} e^{- x^{2} /2} \sum_{n = 0}^{\infty} \frac{z ^{n} H _{n} ( x )}{n ! 2 ^{n}}$ , where $H_{n}$ are the physicist Hermite polynomials. The $L^{2} (R)$ Hermite functions $h_{n} (x) = (2^{n} n! π)^{- 1/2} e^{- x^{2} /2} H_{n} (x)$ form an orthonormal basis of $L^{2} (R)$ , and they are mapped by $B$ to $z^{n} / n!$ , which is the orthonormal Fock basis of $F_{J_{0}}$ . So $B$ is unitary. For the intertwiner property, compute $B \overset{q}{^} f = \int K (z, x) x f (x) d x$ , integrate by parts using $x \cdot exp (- \frac{1}{2} x^{2} + 2 z x) = (2 z - \partial_{x}) \cdot exp (- \frac{1}{2} x^{2} + 2 z x)$ , and identify the resulting expression as $((a + a^{†}) / 2) B f$ where $a^{†} = z$ and $a = \partial_{z}$ . The momentum operator case is similar. $□$

Proposition (variance reduction in squeezed vacuum). The position variance in the one-mode squeezed vacuum $\hat{S} (r) ∣0 ⟩$ with $r \in R$ equals $\frac{1}{2} e^{- 2 r}$ , and the momentum variance equals $\frac{1}{2} e^{2 r}$ . The product is $\frac{1}{4}$ for every $r$ , saturating the Heisenberg bound.

Proof. Using the Bogoliubov transformation $\hat{S}^{†} (r) a \hat{S} (r) = cosh (r) a + sinh (r) a^{†}$ , the conjugated position operator is $\hat{S}^{†} \overset{q}{^} \hat{S} = (\hat{S}^{†} a \hat{S} + \hat{S}^{†} a^{†} \hat{S}) / 2 = (cosh r - sinh r) (a + a^{†}) / 2 = e^{- r} \overset{q}{^}$ (using $cosh r - sinh r = e^{- r}$ ). Then $⟨ r ∣ \overset{q}{^}^{2} ∣ r ⟩ = ⟨ 0∣ \hat{S}^{†} \overset{q}{^}^{2} \hat{S} ∣0 ⟩ = e^{- 2 r} ⟨ 0∣ \overset{q}{^}^{2} ∣0 ⟩ = e^{- 2 r} /2$ . Similarly $\hat{S}^{†} \overset{p}{^} \hat{S} = (cosh r + sinh r) \overset{p}{^} / 2 \cdot 2 = e^{r} \overset{p}{^}$ (signs reversed by the $i$ -factor in $\overset{p}{^}$ ), giving momentum variance $e^{2 r} /2$ . Product: $e^{- 2 r} /2 \cdot e^{2 r} /2 = 1/4$ . $□$

Proposition (Maslov projective factor on $Sp (2, R)$ ). The composition $\hat{S} (g_{1}) \hat{S} (g_{2}) = c (g_{1}, g_{2}) \hat{S} (g_{1} g_{2})$ holds with cocycle $c (g_{1}, g_{2}) = (- 1)^{m (g_{1}, g_{2})}$ , where $m$ is the integer-valued Maslov index of the triple of Lagrangians associated with $g_{1}, g_{2}, g_{1} g_{2}$ via the Cayley transform.

Proof (sketch). The Maslov index of a triple of Lagrangian subspaces in a symplectic vector space is a classical $Z$ -valued invariant due to Kashiwara, refined by Lion-Vergne (1980). The $Sp (2, R)$ central extension $Sp (2, R) \to Sp (2, R)$ that resolves the metaplectic projective representation to a genuine representation has Lie-group cohomology class equal to the Maslov index modulo $2$ , and the cocycle defining the central extension is $(- 1)^{m (g_{1}, g_{2})}$ . The metaplectic image $\hat{S} (g)$ is the lift of $g$ via this central extension, and the composition law inherits the cocycle. Full proof in Lion-Vergne 1980 The Weil Representation, Maslov Index and Theta Series, Ch. 1. $□$

Proposition (Howe theta correspondence for $O (1)$ and $Sp (2, R)$ ). The decomposition of the oscillator representation under the dual pair $(O (1), Sp (2, R)) \subseteq Sp (2, R)$ is $μ = μ_{+} \oplus μ_{-}$ , with $μ_{+}$ the even-parity sector containing the Fock vacuum and $μ_{-}$ the odd-parity sector. The character of $O (1) = {\pm 1}$ correlated with each sector is the identity character on $μ_{+}$ and the sign character on $μ_{-}$ .

Proof. The dual pair in question is $O (1) = {\pm 1}$ acting on the single boson degree of freedom by $\pm 1$ . The metaplectic centraliser of this involution in $Sp (2, R)$ is the whole group $Sp (2, R)$ (since the $O (1)$ -involution is a central element of $Sp (2, R)$ as well in this small-rank case). The action of $O (1)$ on the Bargmann-Fock space is by parity $z \mapsto - z$ , with eigenspaces the even and odd parts. The $Sp (2, R)$ action restricts to each eigenspace as an irreducible representation, and the eigenspaces are inequivalent. The pairing of characters of $O (1)$ with $Sp (2, R)$ -representations is the theta correspondence in this rank-one example. $□$

Connections Master

Symplectic vector space 05.01.01. The phase space $V$ on which a compatible complex structure $J$ lives is the symplectic vector space underlying the harmonic oscillator. The bilinear form $ω$ defines the canonical Poisson bracket, the Heisenberg algebra is the central extension of $V$ by the line $R \cdot c$ , and the metaplectic representation acts on the oscillator Hilbert space by symplectic transformations of $V$ . Without the symplectic vector space the compatible-complex-structure parameter space $J (V, ω)$ has no meaning, and the Bargmann-Fock model has no underlying classical phase space to quantise.
Almost-complex structure on a symplectic manifold 05.06.01. A compatible complex structure on a symplectic vector space is the linear version of an almost-complex structure on a symplectic manifold. The Siegel upper half-space $H_{n}$ parametrises the linear compatible structures; the larger space of compatible almost-complex structures on a symplectic manifold $(M, ω)$ is a fibre bundle over $M$ with fibre $H_{n}$ . The squeezed-state construction on each fibre globalises to the prequantum-line-bundle setting on $M$ (the geometric-quantisation programme of Kostant-Souriau-Woodhouse).
Symplectic group 05.01.03. The symplectic group $Sp (2 n, R)$ acts on the space $J (V, ω)$ by conjugation, with stabiliser $U (n)$ . The quotient $Sp (2 n, R) / U (n) = H_{n}$ is the Siegel upper half-space. The metaplectic group $Mp (2 n, R)$ is the connected double cover of $Sp (2 n, R)$ , and its oscillator representation lifts the projective $Sp (2 n, R)$ -action on the oscillator Hilbert space to a genuine representation.
Williamson normal form for quadratic Hamiltonians 05.09.04. Williamson's theorem classifies positive-definite quadratic Hamiltonians up to symplectic conjugacy by their symplectic eigenvalues. The quantum oscillator Hamiltonian in any Bargmann-Fock frame is a sum of independent one-mode oscillators with frequencies given by the Williamson symplectic eigenvalues, and the squeezing operator implements the symplectic change of frame between Williamson normal forms.
Moment map 05.04.01. The moment map for the $SU (1, 1)$ -action on the oscillator Hilbert space sends a state to the expectation value of the $SU (1, 1)$ generators. The orbit of the vacuum under $SU (1, 1)$ is the Poincaré disk $H_{1}$ , and the moment-map image identifies $H_{1}$ with the coadjoint orbit of $SU (1, 1)$ at level $1/4$ . The Perelomov coherent-state construction is the equivariant lift of this moment-map picture to the Hilbert space, providing the bridge from Lie-group actions to self-adjoint quantum operators.

Historical & philosophical context Master

The treatment of the harmonic oscillator via creation and annihilation operators originated in Paul Dirac's 1925 reformulation of Heisenberg's matrix mechanics ^{[Dirac 1925 *Proc. Roy. Soc. A* 109, 642-653]}, which introduced the algebraic structure now called the canonical commutation relations. Hermann Weyl's 1928 monograph Gruppentheorie und Quantenmechanik ^{[Weyl 1928]} reformulated the relations as a unitary representation of the Heisenberg group, opening the systematic study of representation-theoretic quantum mechanics. John von Neumann's 1931 paper "Die Eindeutigkeit der Schrödingerschen Operatoren" (Math. Ann. 104, 570-578) ^{[von Neumann 1931]} proved the uniqueness of the irreducible representation of the Heisenberg group at fixed central character, the foundational result we now call the Stone-von Neumann theorem.

Valentine Bargmann's 1961 paper "On a Hilbert space of analytic functions and an associated integral transform" (Comm. Pure Appl. Math. 14, 187-214) ^{[Bargmann 1961]} introduced what is now called the Bargmann-Fock space — the holomorphic L²-space on which creation operators act as multiplication by the holomorphic coordinate. The Bargmann transform between Schrödinger and Bargmann-Fock pictures realises the Stone-von Neumann uniqueness explicitly, and the holomorphic picture makes the metaplectic representation transparent. Around the same time, Glauber (1963) ^{[Glauber 1963 *Phys. Rev.* 131, 2766-2788]} and Sudarshan (1963) ^{[Sudarshan 1963 *Phys. Rev. Lett.* 10, 277-279]} independently developed the coherent-state framework for quantum optics, with Klauder's 1960 Annals of Physics paper also in the prehistory.

The squeezed-state construction emerged in the early 1970s. David Stoler's 1970 paper "Equivalence classes of minimum uncertainty packets" (Phys. Rev. D 1, 3217-3219) ^{[Stoler 1970]} first identified the orbit of Gaussian wave packets saturating the Heisenberg uncertainty bound as a family larger than the coherent states. Horace Yuen's 1976 paper "Two-photon coherent states of the radiation field" (Phys. Rev. A 13, 2226-2243) ^{[Yuen 1976]} formalised the construction in quantum-optical terms and coined the operative nomenclature. The first experimental observation of squeezing was by Slusher, Hollberg, Yurke, Mertz, and Valley in 1985 using four-wave mixing in sodium vapour ^{[Slusher et al. 1985 *Phys. Rev. Lett.* 55, 2409-2412]}, with about 7% noise reduction below shot noise.

Roger Howe's 1979 lecture notes and 1989 Journal of the American Mathematical Society paper ^{[Howe 1989]} situated the metaplectic / oscillator representation as the universal source of "theta correspondences" between representations of dual reductive pairs. Askold Perelomov's 1986 monograph Generalized Coherent States and Their Applications ^{[Perelomov 1986]} consolidated the Lie-group-theoretic perspective on coherent states, including the $SU (1, 1)$ identification of squeezed states. The modern unification of squeezing, the Siegel upper half-space, and the metaplectic representation appears in Folland's 1989 Harmonic Analysis in Phase Space ^{[Folland 1989]} and de Gosson's 2006 Symplectic Geometry and Quantum Mechanics ^{[de Gosson 2006]}. Applied uses span gravitational-wave detection (LIGO operates with 6 dB of injected squeezing as of 2023), quantum cryptography (continuous-variable QKD protocols), and cosmological perturbation theory (inflationary squeezed states as the source of cosmic-microwave-background quantum-to-classical transitions).

Bibliography Master

@article{Dirac1925,
  author  = {Dirac, P. A. M.},
  title   = {The fundamental equations of quantum mechanics},
  journal = {Proceedings of the Royal Society A},
  volume  = {109},
  year    = {1925},
  pages   = {642--653}
}

@book{Weyl1928,
  author    = {Weyl, Hermann},
  title     = {Gruppentheorie und Quantenmechanik},
  publisher = {S. Hirzel, Leipzig},
  year      = {1928}
}

@article{vonNeumann1931,
  author  = {von Neumann, John},
  title   = {Die Eindeutigkeit der {S}chr{\"o}dingerschen Operatoren},
  journal = {Math. Ann.},
  volume  = {104},
  year    = {1931},
  pages   = {570--578}
}

@article{Bargmann1961,
  author  = {Bargmann, Valentine},
  title   = {On a {H}ilbert space of analytic functions and an associated integral transform},
  journal = {Comm. Pure Appl. Math.},
  volume  = {14},
  year    = {1961},
  pages   = {187--214}
}

@article{Glauber1963,
  author  = {Glauber, Roy J.},
  title   = {Coherent and incoherent states of the radiation field},
  journal = {Phys. Rev.},
  volume  = {131},
  year    = {1963},
  pages   = {2766--2788}
}

@article{Sudarshan1963,
  author  = {Sudarshan, E. C. G.},
  title   = {Equivalence of semiclassical and quantum mechanical descriptions of statistical light beams},
  journal = {Phys. Rev. Lett.},
  volume  = {10},
  year    = {1963},
  pages   = {277--279}
}

@article{Stoler1970,
  author  = {Stoler, David},
  title   = {Equivalence classes of minimum uncertainty packets},
  journal = {Phys. Rev. D},
  volume  = {1},
  year    = {1970},
  pages   = {3217--3219}
}

@article{Hudson1974,
  author  = {Hudson, R. L.},
  title   = {When is the {W}igner quasi-probability density non-negative?},
  journal = {Rep. Math. Phys.},
  volume  = {6},
  year    = {1974},
  pages   = {249--252}
}

@article{Yuen1976,
  author  = {Yuen, Horace P.},
  title   = {Two-photon coherent states of the radiation field},
  journal = {Phys. Rev. A},
  volume  = {13},
  year    = {1976},
  pages   = {2226--2243}
}

@book{LionVergne1980,
  author    = {Lion, Gerard and Vergne, Mich{\`e}le},
  title     = {The {W}eil Representation, {M}aslov Index and Theta Series},
  publisher = {Birkh{\"a}user},
  series    = {Progress in Mathematics},
  volume    = {6},
  year      = {1980}
}

@article{Slusher1985,
  author  = {Slusher, R. E. and Hollberg, L. W. and Yurke, B. and Mertz, J. C. and Valley, J. F.},
  title   = {Observation of squeezed states generated by four-wave mixing in an optical cavity},
  journal = {Phys. Rev. Lett.},
  volume  = {55},
  year    = {1985},
  pages   = {2409--2412}
}

@book{Perelomov1986,
  author    = {Perelomov, Askold},
  title     = {Generalized Coherent States and Their Applications},
  publisher = {Springer-Verlag},
  series    = {Texts and Monographs in Physics},
  year      = {1986}
}

@book{Folland1989,
  author    = {Folland, Gerald B.},
  title     = {Harmonic Analysis in Phase Space},
  publisher = {Princeton University Press},
  series    = {Annals of Mathematics Studies},
  volume    = {122},
  year      = {1989}
}

@article{Howe1989,
  author  = {Howe, Roger},
  title   = {Transcending classical invariant theory},
  journal = {J. Amer. Math. Soc.},
  volume  = {2},
  year    = {1989},
  pages   = {535--552}
}

@book{Hall2013,
  author    = {Hall, Brian C.},
  title     = {Quantum Theory for Mathematicians},
  publisher = {Springer-Verlag},
  series    = {Graduate Texts in Mathematics},
  volume    = {267},
  year      = {2013}
}

@book{deGosson2006,
  author    = {de Gosson, Maurice A.},
  title     = {Symplectic Geometry and Quantum Mechanics},
  publisher = {Birkh{\"a}user},
  series    = {Operator Theory: Advances and Applications},
  volume    = {166},
  year      = {2006}
}

@book{Woit2017,
  author    = {Woit, Peter},
  title     = {Quantum Theory, Groups and Representations: An Introduction},
  publisher = {Springer},
  year      = {2017}
}

Prerequisites

05.01.01
05.01.03
05.06.01
05.09.04
05.02.02

Tier anchors

beginner: Susskind-Friedman *Quantum Mechanics: The Theoretical Minimum* (2014) Ch. 8 informal; Strogatz-style oscillator picture
intermediate: Hall *Quantum Theory for Mathematicians* (Springer GTM 267, 2013) Ch. 14; Folland *Harmonic Analysis in Phase Space* (Princeton 1989) Ch. 1; Woit *Quantum Theory, Groups and Representations* (Springer 2017) §26
master: de Gosson *Symplectic Geometry and Quantum Mechanics* (Birkhäuser 2006) Ch. 3 and Ch. 7; Bargmann 1961 *Comm. Pure Appl. Math.* 14; Folland 1989 Ch. 1-2; Woit 2017 §26; Yuen 1976 *Phys. Rev. A* 13 (originator of two-photon coherent / squeezed states)

References

Woit — Quantum Theory, Groups and Representations · §26 Complex Structures and Quantization, §22-§24 oscillator and metaplectic representation
Folland — Harmonic Analysis in Phase Space · Ch. 1 the Heisenberg group, Ch. 2 metaplectic representation and the Bargmann-Fock model
de Gosson — Symplectic Geometry and Quantum Mechanics · Ch. 3 symplectic geometry and complex structures, Ch. 7 metaplectic representation
Bargmann 1961 — On a Hilbert space of analytic functions and an associated integral transform · Comm. Pure Appl. Math. 14, 187-214; originator of the Bargmann-Fock space and Bargmann transform
Yuen 1976 — Two-photon coherent states of the radiation field · Phys. Rev. A 13, 2226-2243; originator of squeezed-state nomenclature in quantum optics
Stoler 1970 — Equivalence classes of minimum uncertainty packets · Phys. Rev. D 1, 3217-3219; first construction of states with reduced quadrature variance
Hall — Quantum Theory for Mathematicians · Ch. 14 the Stone-von Neumann theorem, Ch. 22 the metaplectic representation
Perelomov — Generalized Coherent States and Their Applications · Texts and Monographs in Physics, Springer 1986; SU(1,1) coherent states as squeezed states

Estimated time

beginner: 18m
intermediate: 42m
master: 80m