Autonne-Takagi factorization 2026-10-07
Every complex symmetric matrix admits a unitary congruence decomposition with a unitary matrix and nonnegative diagonal entries equal to its singular values. This differs from unitary similarity diagonalization. It reduces a multimode squeezed vacuum to independent oscillator squeezing factors.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 51 4 Solution Created 2026-10-03 Updated 2026-10-07
Canonical mode mixing and its inverse. Treat annihilation operators as column vectors and keep complex conjugation, transpose and Hermitian adjoint distinct. Computing the canonical commutation relations for givesConsequently the required conditions areFor complete invertible mode mixing, putThe canonical identities for a bosonic Bogoliubov transformation are , giving . Its upper blocks yieldEquivalently, the column identities are and . In finite dimension invertibility follows from the canonical matrix identity. In infinitely many modes, the row identities alone need not give a complete inverse: preserves them but discards one mode. Here completeness of the two field-mode expansions supplies the needed invertible transformation.
Obtaining coefficients from the modes. Use the Klein-Gordon inner product, antilinear in its first argument,The normalized positive-frequency solutions satisfy , and . Current conservation makes this product independent of the Cauchy hypersurface when boundary flux vanishes. Taking the product of the field with a mode gives and henceWith this operator convention, the corresponding mode expansion isThe minus sign comes from the negative norm of conjugate modes. Using a different convention for mode coefficients can move this sign and the complex conjugates; the operator formula fixes them unambiguously here.
Particle count. In the in-vacuum, only the contraction survives. ThereforeThis is particle number from Bogoliubov coefficients: the old vacuum contains that expected number of particles in the new mode . Nonzero negative-frequency mixing is the source of particle production. For continuum modes one uses normalized wave packets and replaces the sum by the corresponding integral.
The squeezed-state relation. First use finitely many modes, or an implementable infinite-mode limit. SeekThe canonical commutation relations giveAll further nested commutators vanish since contains only creation operators. ThusThe old annihilation conditions hold exactly whenThe inverse transformation's canonical identity shows , so the required symmetry is automatic. Also givesHence the singular values of are less than one. The Autonne-Takagi factorization changes to independent canonical oscillators. For each factor, the squared norm of is the even-occupation seriesMultiplying these norms gives the finite-mode normalizationThe phase of is arbitrary. The resulting multimode squeezed vacuum is annihilated by all old annihilation operators, so uniqueness of the normalized Fock vacuum identifies it with .
The PDF's squeezed-vacuum claim needs qualification for infinitely many modes. Bosonic mode mixing implementability requires to be a Hilbert-Schmidt operator, , for a common ordinary bosonic Fock space. For a counterexample, take and on countably many modes with fixed . The algebraic canonical conditions hold, but and the finite- normalization is . Every mode has a fixed positive probability of nonzero occupation in the required product state; the probability that all but finitely many modes are empty is zero. Ordinary Fock space vectors instead have total occupation finite with probability one, even if their expected occupation is infinite. Thus there is no nonzero common-Fock-space vector of the prescribed form. The squeezed expression is a normalizable vacuum relation with a finite-mode regulator or the implementability condition, not solely from the commutator identities.
Black-hole radiation. In a collapse spacetime, choose early positive-frequency solutions with respect to affine incoming time on past null infinity, and late outgoing modes proportional to on future null infinity. The early state is their in-vacuum. The Hawking exponential ray map hasfor late outgoing rays, with . Tracing a late mode backwards therefore gives a profile proportional toIt is not a pure positive-frequency incoming wave, so the Bogoliubov transformation has nonzero .
To see the thermal factor, put and . The positive- and negative-frequency Fourier pieces have, apart from common normalization and phases, the regulated integralsAs , the positive-frequency piece has squared-modulus factor and the negative-frequency piece has . Consequently the thermal ratio of Hawking Bogoliubov coefficients isFor a normalized narrow-frequency outgoing wave packet, combine this ratio with . The occupation is the Bose-Einstein distributionThe Hawking temperature is thus the same one found by Euclidean regularity. For Schwarzschild, gives in natural units. Propagation through the exterior potential multiplies the asymptotic occupation by the greybody factor .
The outgoing radiation has partner-mode correlations across the horizon: the total state can be pure while the reduced outgoing state is thermal. A complete mode basis must include modes entering the horizon as well as those reaching infinity. The particle statement is made for normalized packets and finite observation intervals; idealized infinite-duration emission need not define the two vacua in one global Fock space. This explains both the squeezed-state structure and the physically measurable Hawking radiation.