The commutator gives . Hence and . Starting with the normalized vacuum, repeated application gives , proving unit norm. The number operator then has eigenvalue , so
Different levels are orthogonal because the Hamiltonian is self-adjoint and their eigenvalues are distinct.
For the perturbation, the ground-state diagonal matrix element is zero, while . The nondegenerate second-order perturbation formula consequently gives
For , . The lower and upper intermediate levels contribute respectively and , giving to second order.
For the exact completion of the square is
The shifted operators , have the same commutator and are unitarily related to the original ones by a displacement operator. Their vacuum is the coherent state with amplitude . Therefore every exact level shifts by .
The stability of monomial ladder-operator perturbations gives a necessary qualification to the request for a lowest level for every . For and real nonzero , a coherent state of amplitude has energy expectation . Choose the phase so the last term is negative. As the expectation tends to minus infinity, so the perturbed Hamiltonian has no true ground state. The displayed second-order answer is then the formal perturbative coefficient of the branch from the unperturbed vacuum, not an exact lowest eigenvalue. For stability requires ; for the completed-square Hamiltonian is bounded below for every real .
Generalized position eigenstates satisfy and . Define the position-space wavefunction . Completeness then gives . Position acts by multiplication, . Using and momentum completeness, differentiating the Fourier integral gives on the momentum operator's domain.
For the unit-mass, unit-frequency oscillator define
Since , a simultaneous energy eigenstate and -eigenstate would satisfy , forcing . For , the energy is , the smallest possible because .
The position-space equation is . Solving and normalizing, with , gives up to a constant phase
Its squared modulus is a normalized Gaussian, so every complex gives a normalizable coherent state.
For a creation eigenstate, instead gives . Every nonzero such function grows quadratically exponentially at infinity and fails square integrability. Hence there are no nonzero normalizable eigenstates of . This last symbol is in the original PDF, although the converted TeX drops its dagger.
The spatial translation operator is . From and the preceding central-commutator result,
Thus , consistent with . Since , the translated wavefunction is .
For the quantum harmonic oscillator, the creation and annihilation operators give . Put . The central commutator of and is , so
As and ,
Taking position wavefunctions proves
The coefficient squares sum to , checking normalization of this coherent state.
Write . Using
the interaction-picture perturbation is
The initial field is the coherent state with amplitude :
Hence the initial amplitudes of both and are
Only contributes at first order to the amplitude of . Since ,
But , so
The free Schrödinger-picture phase does not change the probability. Within this first-order perturbative approximation,
At the cosine is zero, so this probability vanishes to the stated perturbative order.
Orthogonality of the energy eigenstates gives
Using the lowering-operator action from part (a) and shifting the summation index,
Thus this coherent state is a normalized eigenstate of with eigenvalue .
The displacement operator is unitary, so . By coherent state, , hence .
Coherent state evolution gives
The condition from part (d) becomes
A coherent pump has a Poisson distribution of photon numbers. Second-harmonic conversion couples a pump number state to a state with two fewer pump photons with a matrix element proportional to . Different number components therefore evolve at different rates, and the pump becomes correlated with the harmonic mode. Its reduced state is generally neither pure nor exactly Poisson coherent. An undepleted classical-pump approximation suppresses precisely this backaction; it cannot prove that the exact finite-depletion quantum state stays coherent. Vacuum input or zero interaction are trivial exceptions.
Let , and . The oscillator algebra gives , and . Substituting into the definitions proves closure:
The factors depend on the stated normalization: has an extra factor one-half relative to . The Robertson uncertainty relation consequently gives
For a coherent state with , normal ordering gives
Thus and . In either variance, the fourth-power and terms cancel against the square of the mean, leaving
The variance product is exactly , so the coherent state saturates the stated bound.
Amplitude-squared squeezing in either of these axes means
The other variance must then rise sufficiently to respect the product inequality. A rotated field-squared quadrature can reveal squeezing in another direction; the criterion concerns the declared quadrature and reference, not merely a reduction in mean optical intensity.
For stationary photodetection, the normalized correlation in second-order optical coherence is . Normal ordering expresses the absorption of two photons. In a single mode,
A coherent state has . A single-mode thermal field has and bunches, while a number state with gives ; a single-photon state has zero ideal coincidence probability at zero delay. Antibunching, a zero-delay suppression relative to nearby delays, is distinct from simply reporting an intensity variance. Multimode averaging and finite detector response reduce observed contrast.
The Hanbury Brown and Twiss effect is measured by splitting the light onto two detectors and histogramming coincidences versus delay. Background counts, detector timing, dead time and afterpulsing need calibration. Two detectors avoid confusing the single detector's inability to register arbitrarily close counts with real antibunching. First-order interference and second-order correlations contain different information: weak first-order coherence does not imply an absence of intensity bunching.[ref]
For and , , so . Vacuum and coherent states have variance in either optical quadrature. quadrature squeezing means that some rotated optical quadrature has variance below this reference, with compensating noise elsewhere. A reduced second moment about zero is not the correct test when the field's mean is displaced.
For and , the quiet principal axis of the optical squeezed vacuum is at angle under the squeeze-operator convention used above, and
The pure Gaussian quantum state saturates the uncertainty product. Displacement moves its centre without changing its covariance ellipse; squeezed thermal states instead have a larger uncertainty product. The optical squeezed vacuum has zero mean field, even photon-number parity and mean occupation ; it need not have sub-Poissonian photon statistics. number squeezing and quadrature squeezing are different conditions.
Degenerate parametric amplification generates single-mode squeezing; a two-mode squeezed vacuum instead has correlated occupations and joint quadrature squeezing. Either individual mode of an ideal two-mode state is thermal after the other is ignored, not individually squeezed. balanced homodyne detection measures the noise versus local oscillator phase. Reference phase drift admixes the anti-squeezed optical quadrature, while electronic noise and detector imbalance need separate checks.
For an optical loss channel with efficiency and vacuum entering the unused port, optical squeezing degradation by loss gives
The linear-loss limit follows directly by writing the output field as with independent vacuum mode . Loss therefore places a floor under measured squeezing. Squeezed input can improve phase-sensitive measurements when aligned with the measured optical quadrature; it does not reduce every noise source or both conjugate uncertainties at once.
Figure 1.
Original optical-quadrature covariance ellipses and the effect of vacuum loss on squeezed variance
. Details.
An ideal cross-Kerr interaction between two single modes is , with . The number operators commute with the interaction, so this coupling changes phases without transferring photons between the modes. To implement the specified positive conditional phase, use
where within the one-photon polarization subspace. The horizontal branch has zero interacting occupation. Since , the specified conditional rotation follows. This is an ideal lossless single-mode model; an actual travelling-wave medium's bandwidth, loss and noise are not established by writing this Hamiltonian.
Use and . A coherent state has centre and variance in either optical quadrature. Multiplication of by rotates that centre anticlockwise through , keeping the coherent state noise disk unchanged. For real positive the two centres are and .
Normalize the initial polarization of an electromagnetic wave qubit. The output of the medium is
The joint state is generally an entangled state. The overlap magnitude is . The state factorizes when the amplitudes coincide, while nearly distinguishable amplitudes make the polarization nearly maximally entangled with the optical mode. Before any polarization conditioning, tracing out mode 2 gives the mixture , with no interference between branches.
Include the normalization factors in the half-wave plate map: and . The transformed joint state is
Conditioning on a vertical result and setting therefore prepares
This pure optical cat state is the conditional output; it is not the unconditioned reduced state immediately after the Kerr medium. The measurement erases the polarization label, allowing the two amplitudes to interfere. The calculated optical Wigner functions below display the resulting fringes; their negative regions are quasiprobability, not negative detection probabilities. These illustrative plots choose : the rotation panel uses , while the cat panels use the conditional Kerr rotation and three different relative phases .
The coherent-state overlap follows by expanding in the Fock basis:
Thus and
The postselection probability for Kerr-cat preparation includes both the normalized input qubit and the wave plate. At the vertical branch has zero probability and no normalized conditional state. For the remaining calculation take real, as required.
Figure 1.
Original coherent-state rotation and calculated phase-space interference of three conditional cat states
. Details.
Using , put . Directly evaluating diagonal and cross terms gives
The last quantity is the mean photon number in the conditional cat, which differs from the input coherent state mean . Since ,
However, its first moment is
which is generally nonzero. The original PDF's assertion of a zero mean for arbitrary is inconsistent with its stated pure state. Consequently its displayed expression is the second moment, not the general variance. The phase-dependent cat-state quadrature variance is
The printed result does become the variance for , notably the even and odd cat states. It could also describe an ensemble mixing equal weights of and : that different state's mean vanishes while its second moment is unchanged. Such phase averaging is not part of the specified pure-state preparation.
For nonzero finite , and . The correct quadrature squeezing condition in this quadrature is therefore
For a representative phase in , this is . If instead one applies the printed second moment as a variance, the resulting condition is , or modulo . That is sufficient, but not necessary, for the actual pure state's squeezing. For example, at , while . This explicitly tests the difference.
For a fixed phase other than modulo , expand
As the input mean number , the normalized state tends to vacuum, and
This expansion is nonuniform near the odd-cat phase. At exactly the vacuum terms cancel and the normalized odd coherent-state superposition tends to , giving , while its postselection probability tends to zero. The even coherent-state superposition at instead contains only even photon numbers and tends smoothly to vacuum.
At large input mean number, , the two coherent state branches become nearly orthogonal, and for every fixed phase. The mean tends to zero as well. This does not make the state an incoherent mixture: phase-space interference still distinguishes the ideal quantum superposition, although its contribution to this low-order moment is exponentially small. The loss of coherence in an optical cat state arises when ordinary loss reveals the branch to the environment and suppresses that interference, with factor for transmissivity .
For the especially simple even cat,
It starts at , falls to about at , and returns towards from below. The odd-cat curve decreases from towards from above. Other fixed-phase curves have the small- and large-amplitude limits derived above; for negative , squeezing ends when . In balanced homodyne detection, centre each quadrature distribution on its measured mean before inferring its variance.
Figure 2.
Calculated cat-state quadrature means, true variances, and the amplitude-dependent squeezing boundary
. Details.
Writing , where and , the canonical commutation relation gives
Consequently and . If were nonzero, this commutator would make it an energy eigenstate with energy , contradicting the lowest-energy property. Therefore .
The commutator product rule and induction give
Acting on the vacuum and shifting the sum then shows that the unnormalized bosonic coherent state satisfies .
The displayed series lacks its wavefunction normalization factor. Since , its squared norm is . The normalized coherent state needed for the stated expectation values is
Use , , and . For , ,
The displacement changes the mean position but not its ground-state uncertainty. Unnormalized bras and kets give the same physical expectation values only after division by their squared norm.
In the small-angle approximation the physical pendulum is a harmonic oscillator with . Its classical energy is . Equating this to gives
An oscillating bob is not a single stationary energy eigenstate. An ideal coherent state has a Poisson distribution of oscillator occupations centred on this mean, with relative spread , exceptionally small here. This quantum occupation scale of a classical oscillator fixes the excitation scale without requiring the real, damped clock to be a pure coherent state.
Hamiltonian and commutators. Use the canonical commutation relation and define . Expanding the product of the given creation and annihilation operators,
Therefore the quantum harmonic oscillator Hamiltonian operator is
Similarly,
Using gives
Lowering a normalized energy eigenstate. The commutator implies
For , nondegeneracy of this one-dimensional energy level means . Its norm is fixed by the number operator:
Choosing successive eigenstate phases in the conventional way makes , so
For , the same norm is zero, hence . A nonzero lowered ground state would have energy below the lowest allowed level, and positivity of forbids that possibility.
Coherent-state eigenvalue. Applying the annihilation operator term by term, with the contribution zero, gives
Thus
The coherent state is normalized because . Its annihilation operator is not Hermitian, so the eigenvalue may be complex.
Time evolution. Under the time-independent Hamiltonian operator, each energy component acquires its own phase:
Since , the normalization prefactor is unchanged. Hence
The state remains a coherent state, with its complex parameter rotating at the oscillator's angular frequency; the displayed extra factor is a global phase from the zero-point energy.
Ehrenfest theorem relates the dynamics of quantum expectation values to operator commutators. For a normalized state obeying and a possibly time-dependent observable , differentiate . Using the adjoint Schrödinger equation for the bra gives
Thus
The identity assumes a common domain on which the required products and derivatives are defined.
For , the canonical commutation relation gives and . Therefore
These resemble Hamilton's equations and Newton's second law, but generally . If the state is localized about , a local expansion gives
The classical trajectory equation for the mean is accurate when the force changes little across the wave packet. For a quadratic harmonic potential, is linear and this closure is exact for every state with the relevant finite moments: . This exact classical evolution of the centroid does not eliminate its quantum position uncertainty or make every state a point particle.
The correspondence principle is broader: quantum predictions recover classical ones in an appropriate limit, such as large action compared with and observations that cannot resolve individual quantum levels. It is not the assertion that every large quantum number automatically makes every possible state classical. Delocalized superpositions and interference can remain significant unless the physical preparation and measurement justify a classical description.
A spectral example is useful. For a quantum harmonic oscillator, neighboring levels differ by , giving transition frequency , equal to its classical oscillation frequency. A coherent state makes the connection more concrete: its mean position and momentum oscillate classically while the finite-width Gaussian profile retains its quantum uncertainty. For hydrogenic Bohr levels , transitions between nearby large have , which equals the classical circular orbital angular frequency in that model. Ehrenfest's theorem supplies an exact expectation-value bridge; a classical trajectory follows only when the force can also be evaluated at the mean position.
A localized quantum particle is described by a wave packet: a coherent quantum superposition of momentum components, rather than a single delocalized plane wave. The Born rule assigns the position probability density . A useful normalized initial Gaussian wave packet is
Its mean position and momentum are and , and its standard deviations satisfy , . This unchirped initial state saturates the Heisenberg uncertainty relation.
For a free particle, the momentum-space Schrödinger equation multiplies each amplitude by . The inverse Fourier transform is a Gaussian integral, giving the free Gaussian wave packet evolution
One way to obtain this expression explicitly is to write the initial momentum amplitude as proportional to , multiply by the free evolution phase and complete the square in . Taking the modulus squared removes the position-dependent phase and leaves
The expectation value follows uniform classical motion while the density spreads. A narrower initial packet needs a wider momentum distribution and therefore spreads more rapidly. At long times its width grows linearly with ; its variance grows quadratically, unlike the linear variance growth of ordinary diffusion. The probability continuity equation preserves total probability despite the decreasing peak height. The mean momentum and the mean energy remain constant, since the momentum populations do not change.
The same result has a wave interpretation. For a free nonrelativistic particle , so the group velocity is , equal to at the packet center. The curvature makes different momentum components travel with different group velocities, producing dispersion. The phase velocity is for this energy convention and does not describe the motion of the envelope. The evolving quadratic spatial phase is essential to the spreading; a density snapshot alone does not specify the full quantum state.
A freely spreading Gaussian wave packet remains a pure Gaussian state but develops position-momentum correlations. Its symmetrized covariance is . Consequently
Equality in the Robertson-Schrödinger uncertainty relation survives at every time, whereas the simpler product equals only initially. A chirped Gaussian wave packet can already have . More generally, gives . A sufficiently negative initial covariance permits initial contraction before subsequent spreading.
Figure 1.
Free Gaussian spreading, constant coherent-state width and the breathing width of a squeezed state
. Details.
A potential energy changes this behavior. A quadratic potential preserves the Gaussian form because the evolution of position and momentum is linear. For a quantum harmonic oscillator, the Gaussian covariance in a harmonic potential is
A coherent state has , and zero centered covariance. Its width is constant, and its center follows . In oscillator notation its coherent state label rotates as , apart from the common ground-energy phase of the state vector. A squeezed coherent state generally has a width that breathes at . Thus being Gaussian does not imply either free spreading or constant width; the Hamiltonian operator and initial covariance determine the result.
For a general nonquadratic potential, different parts of the packet experience different nonlinear forces, and an initially Gaussian profile need not remain Gaussian. Ehrenfest theorem gives the exact relations and . Replacing the last mean by is exact for a quadratic potential and approximate for a packet narrow compared with the scale on which the force varies. This connects packet motion to the correspondence principle without treating a quantum state as a definite classical path. Scattering can split a packet into reflected and transmitted components, while confinement can produce oscillations and interference between discrete energy eigenstates. Their relative phases evolve even when their populations remain constant. Localization, spreading and coherent motion all follow from the same linear unitary time evolution.
In the Schrödinger picture, a time-independent Hamiltonian gives , where . The Heisenberg picture transfers this evolution to each observable:
Both pictures give the same probabilities and expectation values. Differentiating yields the Heisenberg equation of motion
The last term is an explicit change of the measured operator. If it is absent and , the observable is conserved.
The corresponding classical equation is . The correspondence principle relates the Poisson bracket to , with suitable operator ordering and a classical limit. For , the canonical commutation relation gives
Taking means gives Ehrenfest theorem. Its second equation contains , which need not equal . A narrow wave packet in a slowly varying force field can follow the classical equations approximately; a quadratic potential makes the equality exact for the means.
For a quantum harmonic oscillator, direct solution gives and . These have the classical form as operator identities. A coherent state supplies a localized center moving on the classical orbit, whereas an energy eigenstate has stationary density and , even at large excitation. Thus large quantum numbers alone do not create a localized classical trajectory. Classical behavior also concerns state preparation, relative fluctuations and the resolution of the measurements.
For , divide elapsed time into slices and apply the Trotter product formula. Inserting complete position and momentum bases gives the regulated phase-space path integral
The endpoint values are , . Each Gaussian momentum integration in a phase-space path integral can be performed explicitly, leaving the configuration-space path integral
Its measure is the time-sliced limit of , with the usual infinitesimal convergence prescription. The integral sums amplitudes, not positive classical probabilities. Operator ordering remains part of the time-slice definition. Expanding a short-time kernel recovers the Schrödinger equation; composing kernels reproduces the time-evolution operator.
In the classical limit, rapid phase cancellation suppresses paths away from stationary action. Varying with fixed endpoints gives . The semiclassical result sums the classical-path phases multiplied by fluctuation functional determinants; for a quadratic Hamiltonian the fluctuation integral is Gaussian and this expansion is exact.
For quantum statistical mechanics, continue by a Wick rotation. The Euclidean action and thermal trace give
The trace closes position-space paths. In a many-particle trace one also sums over endpoint permutations with the appropriate exchange signs. In a coherent state field formulation, bosonic fields are periodic and fermionic coherent states instead give antiperiodic Grassmann fields, hence bosonic and fermionic Matsubara frequencies and . [ref]
The quantum-to-classical imaginary-time mapping views a local -dimensional quantum problem as a classical-looking field theory in dimensions, with imaginary-time extent . A genuine classical probability interpretation additionally requires a nonnegative weight; fermion signs and Berry terms can obstruct it.
For a smooth potential in the high-temperature or small- limit, imaginary-time paths fluctuate only over the thermal de Broglie wavelength . If this is short compared with the potential's variation scale, the diagonal free kernel gives
This classical phase-space limit of the thermal kernel is the classical phase space partition function for one degree of freedom. A dilute identical-particle gas also needs its factor; when exchange is appreciable, classical statistics fails. As a check, a single quantum harmonic oscillator gives , precisely the classical phase-space integral.
For unnormalized coherent states, , and . Insert this identity between short imaginary-time evolutions. The overlaps generate , while the normal-ordered symbol of gives
Here runs from zero to ; the exponent is dimensionless. The bosonic trace makes the complex fields periodic, not antiperiodic.
The printed expression omits the explicit vacuum factor. It represents the full oscillator only if a symmetric/Weyl determinant prescription implicitly includes that factor. With the ordinary normal-ordered time-sliced coherent-state measure, it instead represents . The continuum formula alone does not specify the energy-zero convention.
A coherent state is an eigenstate of an annihilation operator. Bosonic unnormalized states have exponential overlap and the Gaussian resolution of identity used above; their overcompleteness supplies a phase-space integration measure, not an orthonormal state count. For a normal-ordered many-body Hamiltonian, coherent-state insertion gives the bosonic coherent-state path integral
Constants in must be retained. The exact time-sliced prescription places creation and annihilation symbols on adjacent slices; discarding that prescription can change ordering corrections, as the oscillator example demonstrates. The derivative term is first order because the fields describe phase space.
Fermionic coherent states instead use Grassmann variables. Their Gaussian identity is , whereas complex bosons give . Anticommutation in the trace produces antiperiodic fields. Accordingly bosons have , fermions , in these inverse-energy time units.
For one mode of grand-canonical energy , the products give and ; convergence requires for the bosonic Gaussian. Correlation functions follow by source differentiation. Quartic interactions can be treated perturbatively or decoupled with a Hubbard–Stratonovich transformation; a saddle then describes an order parameter and quadratic fluctuations its collective modes. Such saddles require stability and an appropriate control parameter; the functional notation alone is not an exact solution of an interacting problem.