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 are
Write , where . Sine modes have fluctuation eigenvalues . Relative to the free-particle determinant, their Gaussian integral contributes
Multiplying the free prefactor gives the Euclidean oscillator diagonal kernel
Integrating 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 . Therefore
It 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 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.
Let , use time slices and . The exact normal-ordered coherent Gaussian has cyclic matrix , where shifts one slice. Its eigenvalues are and
Restoring the constant energy gives
consistent 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 (0)

There are currently no matching articles.