For one bosonic mode, define the unnormalized bosonic coherent state . The commutator gives and . The normalized state is ; it is not orthogonal to a different coherent state. The coherent-state resolution of identity follows from Gaussian moments,
For many modes take products of these states and measures. The complex amplitudes have the natural scale of square root occupation; coherent states turn normal-ordered matrix elements into classical symbols without replacing the quantum trace by a single classical configuration.
For fermions, and a nilpotent annihilation operator cannot have an arbitrary nonzero ordinary complex eigenvalue. Introduce independent Grassmann variables , anticommuting among themselves and with the fermionic operators, and define . Then and . With an ordered Berezin integral measure satisfying for one pair,
for an even operator ; this is the fermionic coherent-state trace. In one mode the trace integrand is , whose integral is . Without the sign reversal it would be the supertrace, not the thermal trace. These formal Grassmann-valued coherent states do not represent ordinary complex-valued fermion amplitudes.
To construct the many-body thermal path integral, write with and divide the imaginary-time interval into slices of width . Insert the appropriate coherent-state resolution of identity between factors. For a normal-ordered Hamiltonian, the adjacent-slice kernel is
coherent-state time slicing makes the overlap and Gaussian measure combine into the first-order time derivative. The grand-canonical coherent-state action in the regulated continuum limit is
For bosons the integration variables are complex, with the conjugate labels on the original integration contour; for fermions the barred and unbarred Grassmann variables are independent. The continuum notation retains the time-sliced ordering prescription. For example, has normal symbol , whereas has that symbol plus . Dropping that distinction changes a theory. The coherent-state thermal boundary conditions follow because the bosonic trace closes paths periodically and the fermionic sign in the trace closes them antiperiodically:
The barred fields obey the same respective boundary conditions. Hence Matsubara frequencies are and . The derivative term encodes the canonical structure; omitting it would remove the quantum dynamics.[ref]
As a check, a free diagonal mode with gives for , whereas gives . Gaussian integration produces an inverse determinant for bosons and a determinant for independent complex fermions, with their respective temporal boundary conditions. Differentiating recovers Bose-Einstein and Fermi-Dirac occupations. Interactions become higher powers in the normal-ordered symbols, and sources generate time-ordered correlations. The coherent-state construction preserves statistics, ordering and boundary conditions together; a formal continuum expression without its measure and temporal prescription is incomplete.
A bosonic coherent state obeys and has expansion . Its occupation is Poisson distributed, with mean and variance . Its nonzero field amplitude makes phase coherence natural, although physically observable phase comparisons require a reference.
For paired fermions, the corresponding Cooper-pair pseudospin coherent state is
It coherently superposes empty and occupied pair states and has an anomalous average . It is not an ordinary complex-eigenvalue coherent state of a single fermion annihilation operator. The broken-symmetry state has indefinite particle number; number projection can restore a fixed-number description without discarding the underlying pairing correlations.
Hartree-Fock-Bogoliubov theory approximates a two-body interaction using both the normal density and anomalous pairing tensor . Direct and exchange contractions determine a normal one-particle field, while anomalous contractions determine the pair potential. The resulting quadratic Hamiltonian is diagonalized by a fermionic Bogoliubov transformation. In a homogeneous singlet case its Nambu block is
The fields are determined self-consistently, rather than selected independently of the quasiparticle state. For example,
together with the particle-number equation. The pairing field extends ordinary Hartree-Fock theory to states with pair correlations. This mean-field treatment omits fluctuations beyond its self-consistent quadratic description.
For bosons, write the field as a coherent condensate plus fluctuations, . The same normal/anomalous strategy retains and , with a bosonic, commutation-preserving Bogoliubov transformation. In the leading weakly depleted contact-gas limit, the condensate density and effective coupling give , with . This Bogoliubov theory connects low-momentum sound to high-momentum particle excitations. More elaborate self-consistent truncations must respect the symmetry constraints needed for a gapless condensate mode.
Ginzburg-Landau theory of superconductivity describes the superconducting phase by a complex order parameter and a gauge-invariant free-energy functional. A common normalization is
with , pair charge and . In zero field the uniform minimum has below . Variation gives the order-parameter equation and supercurrent. The characteristic lengths are
The Meissner response screens static magnetic fields over . In the simple isotropic theory, gives type-I behavior; allows type-II vortices and a mixed state between lower and upper critical fields. Flux quantization, vortex structure and currents follow from phase stiffness and electromagnetic coupling. This is a phenomenological expansion most directly controlled near ; static coefficients alone do not determine every dynamical mode or dissipation rate.
BCS theory supplies a microscopic pairing description. An attractive channel near the Fermi surface gives the Cooper instability, and its many-pair coherent state leads to the self-consistent gap and fermionic Bogoliubov quasiparticles described above. For an isotropic weak-coupling model with constant single-spin density of states , attraction and cutoff ,
It predicts in that specified model. A full gap suppresses low-temperature quasiparticles exponentially, whereas nodes permit power laws such as the heat capacity derived above. The weak-coupling ratio is not a universal value for all superconductors. Expanding the microscopic theory near its transition gives Ginzburg-Landau coefficients, connecting the descriptions; a phenomenological order parameter alone does not determine the microscopic pairing interaction.
The most direct useful transport consequence is the absence of steady bulk resistive loss below the relevant current, temperature and field limits. Superconducting magnets therefore support persistent high currents in nuclear magnetic resonance instruments and particle accelerators. Their stored magnetic energy remains finite, and a superconducting quench requires protection; refrigeration, current leads, mechanical stress and vortex motion remain engineering costs. Zero dc resistance does not eliminate all ac loss or justify unlimited current.
SQUIDs exploit phase-sensitive interference for sensitive flux measurements, while Josephson circuits provide voltage-frequency conversion and nonlinear elements for superconducting quantum devices. These applications use coherence, not just low resistance. Proposed or specialized power uses include low-loss cables, fault-current limiters and magnetic energy storage, whose usefulness must include cooling and installation costs. Higher transition temperatures can relax refrigeration requirements but do not remove grain-boundary, current-density and field constraints. Neither BCS nor Ginzburg-Landau theory alone supplies a complete device design or guarantees that a particular material is economical.
A bosonic coherent state is an annihilation-operator eigenstate,
It has , a selected complex amplitude, and Poisson-distributed particle number. A coherent-field condensate variational state extends this construction to a spatial field with . Evaluating a normal-ordered interacting Bose Hamiltonian in that state gives a classical-field energy functional; its variational equation is the Gross–Pitaevskii equation. This connects a macroscopic phase to interference, quantized circulation and neutral Josephson effects. A fixed-number condensate instead has vanishing one-point field expectation; off-diagonal long-range order identifies the condensate without requiring exact number fluctuations.
The BCS ground state has the pair-coherent form
It is a product of Cooper-pair pseudospin coherent states: each paired momentum sector mixes its empty and doubly occupied configurations. The anomalous pair expectation is , while an ordinary single-electron expectation vanishes by fermion parity. Pair operators are not unrestricted canonical boson operators, so this state must not be identified with a naive oscillator coherent state of individual electrons. Number projection gives a fixed-even-number description with pair correlations. Phase differences between condensates enter the Josephson effect; in a charged condensate that phase difference must be gauge invariant.
A bosonic coherent state is an eigenstate of its annihilation operator,
Its mean occupation is and its number variance is also , giving a Poisson number distribution. It has a well-defined complex mean field but fluctuating particle number. Its overlap with another coherent state is , so distinct amplitudes need not be orthogonal. For large occupation, a phase-space wave packet has small relative number fluctuations; this does not require an exact self-adjoint phase operator conjugate to a number bounded below.
For a bosonic field, a useful coherent-field condensate variational state is
It obeys . For a contact-interacting dilute Bose gas, its normal-ordered energy expectation is
Minimizing gives the stationary Gross–Pitaevskii equation, . Its phase gradient determines superfluid flow, while weak-link phase differences give Josephson currents. The complex microscopic expectation supplies the order field used by a mean-field description of a bosonic superfluid.
An exactly fixed-number condensate can instead use the Hartree product state . Its one-point field expectation vanishes by number conservation, but its one-body density matrix has a macroscopic eigenvalue. Off-diagonal long-range order expresses that number-conserving criterion. Selecting a phase is a useful thermodynamic symmetry-broken description; it is not a claim that every finite isolated condensate literally has indefinite total number. A plain coherent product also misses interaction-induced quantum depletion, which needs correlations such as those in the Bogoliubov quasiparticle vacuum.
In a spin-singlet superconductor, the corresponding variational state is the BCS ground state
Each block superposes an empty and an occupied pair state. Where , it can be rewritten as , treating any fully occupied blocks separately. The exponential truncates within each block because a fermionic pair cannot be created twice in the same two modes. This is a Cooper-pair pseudospin coherent state, rather than a coherent state of unrestricted ideal bosons.
The one-electron expectation remains zero in a fermion-parity-even BCS state. Its nonzero microscopic order is the BCS anomalous average . For an attractive interaction written with matrix elements , the gap is . Minimization yields the coherence factors and gap equation. Fermionic coherent states using Grassmann variables are valuable integration tools, but they are not ordinary complex-eigenvalue electron states replacing this physical paired wavefunction.[ref]
Near the transition, a slowly varying pair field connects the microscopic anomalous average to Ginzburg-Landau theory of superconductivity. The phenomenological complex field has pair charge , a phase that controls supercurrent and a magnitude whose normalization is model dependent. It is not the expectation of a single-electron field. Microscopic derivation of Ginzburg-Landau theory supplies this connection under its stated near-critical assumptions. Pair phase coherence, Josephson interference and flux quantization then become different manifestations of the same macroscopic paired order. Paired-fermion superfluids likewise use a pair order field, while bosonic atomic superfluids can use a one-particle condensate field.
Put and . Commutativity of the two creation operators and the binomial theorem give
Thus
The state is a fixed-number two-mode condensate with binomial mode occupations; it is not a product of two independent Poisson-distributed Glauber coherent states.
The exponential input has norm squared . Its normalized form is a product of coherent states. Substitution of the inverse transformation gives
Since the output creation operators commute, the normalized output factorizes as . For all nonnegative integers ,
These are independent Poisson distributions, not a fixed-total-particle-number distribution. unitarity gives . Equal complex inputs make , so that port is certainly empty; opposite inputs empty port 1. This is amplitude interference of coherent inputs, distinct from the fixed-number two-particle interference in (c).
A normalized oscillator coherent state is an eigenstate of the annihilation operator, . Expanding it in Fock states gives
Since , , and , the variance is . Hence
independently of the complex amplitude .
For and , the commutator is the scalar . The Baker--Campbell--Hausdorff formula therefore terminates and gives the displacement operator
Because , applying it to the Fock vacuum yields exactly the Fock state expansion above:
For a general complex , its complex conjugate is required in the annihilation term. The expression with printed in the paper is valid when is real.
The annihilation operator associated with the new coordinate is
As the initial state is the old vacuum,
Equivalently, applying to the number-state expansion in part (c) and shifting its summation index returns times the same state. It is therefore a coherent state of the displaced oscillator.
The new Hamiltonian is . In the Schrödinger picture its evolution gives
Consequently
The displayed prefactor is only a global phase. Equivalently, in the Heisenberg picture . The mean occupation is constant, and reproduces the energy above the new minimum found in part (b). Its mean position and momentum likewise reproduce that part's oscillating wavepacket centre.
The normalized coherent state has number amplitude , hence the displayed Poisson law with mean and variance . A product of coherent modes has factorized number probabilities.
Position uncertainty 2026-10-18
The position uncertainty of a quantum state is the standard deviation of its measured position, provided the second moment is finite. It is computed from the position operator with the Born rule. An oscillator coherent state has independently of its mean position; translating the state changes the mean without changing this variance.
Quadrature noise ellipse 2026-10-20
For a single-mode Gaussian state with no quadrature covariance, the covariance contour has semiaxes and . A coherent state has both equal to in the convention . A pure squeezed vacuum state has semiaxes and ; the uncertainty area remains fixed while one noise width decreases. An ellipse of means alone does not specify a general non-Gaussian state.[ref]
A classical oscillator of amplitude has energy . Comparing with the oscillator spacing gives the large-occupation scale displayed. A coherent state with this classical amplitude has exactly this mean excitation occupation and a Poisson number distribution; its total mean energy also includes the zero-point term. An observed macroscopic amplitude does not, by itself, establish a pure coherent state.
Quantum optics 2026-10-18
Quantum optics studies light using quantum states of the electromagnetic field and their interaction with matter. Photon statistics asks how detections fluctuate; the quantum theory of optical coherence relates those detections to field correlations. A coherent state, thermal light, and a Fock state can have the same mean photon number yet different pair counts. This distinction makes photon counting useful for testing sources intended to emit one photon at a time.
Quantum theory of optical coherence Created 2026-10-18 Updated 2026-10-20
Fix a detected position and polarization of waves. Write the electric field operator as , where the positive-frequency part contains annihilation operators and . An ideal absorbing photodetector responds to
with density matrix . The diagonal gives the single-count rate up to the detector coupling. Multiple absorptions require higher, normal-ordered field products. Roy J. Glauber used these correlations to develop the quantum account of optical coherence.[ref]
The ordering follows from a detection amplitude. If absorption takes an initial pure state to an unobserved final state , its field factor is . Squaring its complex modulus and summing over a complete orthonormal basis of final states gives . Averaging over initial preparations replaces this expression by a trace. Thus a detector that absorbs cannot count the Fock vacuum, although the vacuum has quantum fluctuations.
For one selected normal mode, . All Fock states with nonzero occupation, coherent states, and thermal light in this same mode have
where both denominators are nonzero. Its magnitude is one even when the expected value of the field vanishes. Perfect first-order optical coherence therefore does not identify a coherent state. Pair detection supplies additional information.
Shaken harmonic trap 2026-10-20
Displacing a one-dimensional quantum harmonic oscillator produces a linear force term and a scalar shift relative to the unshifted Hamiltonian. The scalar adds only a common phase. The linear term couples number states separated by one excitation. Arbitrary linear driving of the ground state creates a coherent state; a first-order expansion of that state contains only the vacuum and first excited state.[ref]
Siegert relation 2026-10-18
For one selected polarization of waves, write the detected complex fields as and their light intensities as , absorbing a common conversion constant. With stationary ensemble averages and nonzero , define
Here second-order optical coherence concerns distinct detector channels, with the corresponding normal ordering in the quantum formulation. Independent detection has . Subtracting the means gives the normalized covariance
Thus multiplying raw photocurrents contains a large mean-product contribution; multiplying their fluctuations isolates the small excess. Independent detector shot noise does not supply a mean cross-channel excess, although it increases measurement uncertainty.
The displayed Siegert relation requires a zero-mean, jointly circular complex Gaussian random field, the usual chaotic thermal light model. Circular means invariance under a common arbitrary complex phase rotation; in particular . Apply the Gaussian moment pairing theorem to the real and imaginary parts:
The remaining pairing vanishes by circularity. Division proves the Siegert relation. Gaussianity is an assumption about fourth moments, not a consequence of merely measuring first-order optical coherence; a coherent state or photon antibunching cannot be interpreted by this thermal formula.
For equal-intensity beams combined in a common optical mode with matched wave polarizations, interferometric visibility is . Consequently ideal thermal stellar intensity interferometry measures , while the full includes the independent-count reference one. Unpolarized thermal light with two independent equally populated wave polarizations has half this excess: adding their covariances doubles the numerator while multiplying total means quadruples the denominator. Finite detector response further suppresses the peak and must be calibrated.[ref]
Thermal light 2026-10-18
For a single mode in thermal equilibrium, its quantum harmonic oscillator energy ladder gives a geometric distribution
Its probability generating function is . Differentiating twice gives , hence . At the chosen mean , , , , , and . Rare high occupations increase the pair count even though the mean matches the other preparations. The geometric weights also arise from a Gaussian mixture of coherent states.[ref]
Figure 1.
Three original one-mode photon-number models with the same mean two and different pair correlations
. The bars are calculated probabilities, not measured data. Thermal occupations above fourteen are omitted without renormalization. The displayed second-order correlations use the complete distributions. Details.
Single-mode selection is essential to this factor of two. If independent equally populated thermal modes are collected together, let with . Adding their variances gives , hence . Averaging over many unresolved modes can make thermal pair counts approach the independent-count reference.
Twin-Fock state 2026-10-20
A product of number states with equal fixed populations in two modes. Its total particle number is . It differs from a pair of coherent states, whose number distributions fluctuate.
An unnormalized bosonic coherent state is for a complex label . The canonical commutation relation gives and overlap . Multiplication by produces a normalized coherent state. The unnormalized form makes the coherent-state resolution of identity and thermal time slicing particularly simple.