A Wick rotation changes real-time evolution into . At , taking the trace integrates equal endpoints:Thus temperature sets the imaginary-time circumference, and bosonic coordinate paths are periodic. The measure is fixed by the short-time propagator. The trace sums paths, not just a single stationary trajectory; a quadratic action is special because the saddle plus Gaussian fluctuations is exact.
Put and . With equal endpoints , the Euclidean classical path and its action areWrite , where . Sine modes have fluctuation eigenvalues . Relative to the free-particle determinant, their Gaussian integral contributesMultiplying the free prefactor gives the Euclidean oscillator diagonal kernelIntegrating this over the common endpoint is precisely the trace. All fluctuations here are Dirichlet fluctuations about a fixed-endpoint path; periodicity is imposed on the full trace after endpoint integration.
The endpoint integral is a Gaussian with coefficient . ThereforeIt agrees with , tends to at high temperature, and to at low temperature. The last limit retains the oscillator zero-point energy.
For unnormalized coherent states, , and . Insert this identity between short imaginary-time evolutions. The overlaps generate , while the normal-ordered symbol of givesHere 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.
Let , use time slices and . The exact normal-ordered coherent Gaussian has cyclic matrix , where shifts one slice. Its eigenvalues are andRestoring the constant energy givesconsistent with the coordinate path integral. Alternatively, pairing positive and negative Matsubara frequencies symmetrically yields a determinant proportional to . This symmetric prescription already incorporates the zero-point convention and must not receive the vacuum factor twice. A naive unregulated frequency product can hide this difference.
Articles by others on the same topic
There are currently no matching articles.