Bosonic coherent-state path integral Created 2026-10-20 Updated 2026-10-24
In a bosonic coherent-state path integral, coherent-state resolutions between imaginary-time evolution factors turn a normal-ordered grand Hamiltonian into its complex symbol. Coherent-state overlaps supply the first-order temporal term. A thermal trace makes the fields periodic in imaginary time. The chemical potential couples to number, and interactions retain their normal-ordering convention.
Finite-system analyticity Created 2026-10-14 Updated 2026-10-20
For finitely many microstates with finite energies that are real analytic functions of a real control , the canonical partition function at is a finite positive sum:
It and the resulting Helmholtz free energy are locally real analytic functions of and . Hence such a finite Ising model has no literal nonanalytic equilibrium phase transition. A limit of these real analytic functions can nevertheless fail to be a real analytic function; the narrow but smooth crossover can become a sharp phase transition.[ref]
Finite particle number alone is not the hypothesis of a finite sum. Classical phase space is continuous, and a system of quantum states can have infinitely many energy eigenvalues: its partition function requires convergence and local bounds that permit differentiation or an analytic extension of the integral or thermal trace. A divergent partition function, a singularly changed statistical Hamiltonian, or the zero-temperature limit falls outside the finite-positive-sum argument. Observing a steep change in a finite sample therefore motivates a limiting model; it does not measure an actual infinity.
Imaginary time 2026-10-20
Analytic continuation from real time to turns unitary evolution into . A thermal trace has extent , or when . This converts oscillatory action phases into an Euclidean path integral where convergence permits it; it is not the actual laboratory time of a dissipative process.
For two equal-frequency quantum harmonic oscillators, the ordinary thermal trace is and the trace with the parity operator is , where . Total excitation has degeneracy and parity . Therefore the traces expand as . The alternating weights come from parity insertion in a bosonic state space, not fermionic statistics.
Make the Wick rotation , and write for the final imaginary time, where is inverse temperature and is the reduced Planck constant. Then and . Thus the continued action is
Both the kinetic energy and the potential energy enter this Euclidean action with positive signs relative to their real-time definitions. Also , so the Euclidean path integral is
Its boundary conditions fix the two endpoint positions. They need not coincide: identifying and integrating over them would instead give the thermal trace.
The normalization of can be fixed without continuing a formal measure. Apply the Trotter product formula to , divide into intervals of size , and integrate the intermediate positions. The resulting time-sliced configuration-space path integral is
This also explains the upper limit rather than when the reduced Planck constant has not been set to one.
For one coordinate with Hamiltonian , the propagator is , where . Divide into intervals , use the Trotter product formula to separate kinetic and potential evolution, and insert complete position and momentum bases at each slice. The momentum integral is Gaussian:
Multiplying the short-time kernels gives the time-sliced configuration-space path integral,
with , . Continuum notation abbreviates this limit as , where . The measure includes the displayed normalization; it is not an unweighted count of paths. A small damping or analytic-continuation prescription defines the oscillatory integrals. The paths contribute complex amplitudes, so alternative histories interfere before probabilities are calculated. This is the central difference from a classical statistical mixture of trajectories.[ref]
When actions vary rapidly relative to , stationary phase selects classical paths. Put , with zero at the endpoints. Vanishing first variation gives . The quadratic term is
The resulting Gaussian fluctuation determinant is the semiclassical propagator prefactor. In one dimension, away from caustics,
The branch convention makes for a direct free-particle path before any caustic. The Maslov index tracks the phase changes as fluctuations pass through a focal singularity. In several dimensions replace the endpoint derivative by the Van Vleck determinant. The approximation sums all relevant classical paths; real-time action need only be stationary, not a minimum. It fails in this simple form at a caustic or coalescing saddles, where a uniform approximation is needed. Quadratic actions have no higher fluctuation terms, making their Gaussian evaluation exact. For example gives the exact free-particle kernel . Tunnelling involves classically forbidden regions and can be described by imaginary-time saddles rather than real classical trajectories.
Quantum statistical mechanics follows by Wick rotation . The imaginary-time evolution operator is , with Euclidean action
Taking a thermal trace identifies and integrates the endpoint positions:
This thermal trace as a closed Euclidean path integral explains the periodic imaginary-time direction. A density-matrix element instead retains open endpoints. For many identical particles the trace also sums over endpoint permutations, with a plus sign for bosons and permutation parity for fermions. In coherent-state language this becomes periodic bosonic fields and antiperiodic Grassmann fields, with corresponding Matsubara frequencies.
The Euclidean weight resembles a classical Boltzmann weight. A time-sliced local quantum field in spatial dimensions becomes a classical-looking field model in dimensions, with anisotropic couplings and extra extent . Thus zero-temperature quantum criticality can be treated using an infinitely extended imaginary-time direction, while nonzero temperature imposes a finite thickness. The dynamical scaling of time need not equal the spatial scaling: the dynamical critical exponent specifies their relationship. This quantum-to-classical imaginary-time mapping requires qualification when weights have signs or imaginary terms; such a functional integral is not automatically an ordinary positive classical probability distribution. Even with a positive weight, the mapping concerns equilibrium statistics, not literal dissipative real-time trajectories. For a free particle the Euclidean kernel is a diffusion kernel with diffusion coefficient , illustrating the mathematical correspondence.
The classical high-temperature limit is a further approximation, rather than simply another name for imaginary time. If quantum level spacings and exchange effects are negligible, a one-particle partition function in dimensions becomes
For indistinguishable particles there is a factor in the dilute classical gas, and exchange is negligible when the number density times the thermal de Broglie wavelength to power is small. For a harmonic oscillator, the exact quantum result tends to as , recovering the classical phase-space integral. stationary phase explains classical mechanics; the short imaginary-time, weak-exchange limit explains classical statistical mechanics. These are related but distinct limits of the same quantum formulation.
For a normal-ordered bosonic Hamiltonian, insert coherent-state resolutions between short imaginary-time evolution factors. The overlaps generate and the Hamiltonian symbol is obtained by replacing creation and annihilation operators by and . Including the chemical potential gives, in the stated convention,
The trace imposes periodic imaginary-time boundary conditions,
so bosonic Matsubara frequencies are . The two complex coherent-state integration variables are treated independently before imposing the physical saddle contour. There is no extra zero-point ordering term: the supplied interaction is already normal ordered.
The spatial confinement is not specified beyond the volume. The uniform bulk results below use a homogeneous box with periodic spatial boundaries, or the interior of a large vessel where boundary effects can be neglected. A hard wall instead requires a vanishing field at that wall and an inhomogeneous saddle near it. Temporal periodicity follows from the thermal trace and does not by itself impose periodic spatial boundaries.