Euclidean Time and Imaginary-Time Action
Euclidean time turns selected quantum amplitudes into damping problems. For a time-independent Hamiltonian, the basic operator is
and for a particle with real-time Lagrangian
the corresponding Euclidean action is
Here a dot denotes , a prime denotes , and the contour convention is . The positive sign of the Euclidean kinetic term is essential.
This page owns the tunneling-oriented Euclidean mechanics: sign conventions, background subtraction, boundary terms, conserved Euclidean energy, fixed-time versus fixed-energy exponents, and reliability checks. Euclidean and Imaginary-Time Path Integrals owns the time-sliced Euclidean kernel, thermal trace, and exact harmonic-oscillator kernel. Instantons in Quantum Mechanics owns the explicit saddle construction and its use in tunneling splittings.
The Rotation t → −iτ
Section titled “The Rotation t → −iτ”Real-time evolution is generated by
At the imaginary-time endpoint ,
A useful way to picture the continuation is to rotate the time contour continuously,
The Lorentzian contour is ; the Euclidean contour is . The word Wick rotation refers to this contour deformation, not merely to replacing one symbol by another.
If is self-adjoint and bounded below by , the operator is well defined for , with
The overall norm can grow when , but high-energy components are still damped relative to low-energy components. Shifting by a constant changes only the common normalization factor.
Three statements that must be separated
Section titled “Three statements that must be separated”The following statements are related, but they are not interchangeable:
- Operator continuation: define the semigroup by spectral calculus.
- Kernel continuation: analytically continue a real-time kernel in a domain free of obstructing singularities.
- Path-integral deformation: deform an integration cycle so that becomes a convergent or asymptotic Euclidean integral.
The first can be meaningful even when no simple real-time path integral is available. The third requires information about integration contours and singularities that is not contained in the symbolic substitution .
From Lorentzian to Euclidean Action
Section titled “From Lorentzian to Euclidean Action”Start with
Under
the action becomes
Therefore
For several coordinates with a positive configuration-space metric ,
continues to
Positivity of the kinetic form matters. A nonstandard kinetic term, constrained system, or momentum-dependent interaction requires its own continuation rather than this template.
The time contour rotates from the positive real axis to . The Euclidean equation of motion is equivalent to ordinary motion in the inverted potential , but the Euclidean saddle is not a hidden real-time trajectory.
The sign audit
Section titled “The sign audit”Three quick checks catch most sign errors:
- The free-particle Euclidean action must contain .
- A stable harmonic potential must contribute .
- Varying must give , which is motion in the inverted potential .
The potential is inverted in the equation-of-motion analogy, not in . Writing with would destroy the damping structure of the stable oscillator.
Potential shifts and background subtraction
Section titled “Potential shifts and background subtraction”Suppose a reference configuration has energy
Define
Then
The constant matters for an absolute kernel, but it cancels from normalized ratios and from a saddle action measured relative to the reference background. For tunneling on an infinite Euclidean interval, the finite quantity is normally
Failing to subtract the background can turn a finite tunneling exponent into an irrelevant infinite vacuum contribution.
Velocity-linear terms
Section titled “Velocity-linear terms”Euclidean actions need not be real. For example, in several dimensions,
gives
The magnetic line integral becomes an imaginary part of . The real part can still damp paths, while the imaginary part carries phase information. Thus “Euclidean” does not always mean “positive real weight.”
Imaginary-Time Schrödinger Evolution
Section titled “Imaginary-Time Schrödinger Evolution”The real-time Schrödinger equation is
Since implies , imaginary-time evolution obeys
For
the wavefunction satisfies the diffusion-reaction equation
This equation is parabolic rather than unitary. It smooths short-wavelength structure while damping regions with positive potential relative to the chosen energy reference. The connection to Wiener measure and diffusion is formalized, under suitable hypotheses, by the Feynman–Kac formula.
Normalized imaginary-time flow
Section titled “Normalized imaginary-time flow”The unnormalized norm is not conserved. If the state is normalized after each Euclidean-time step, write it as . Its evolution is
For a time-independent Hermitian Hamiltonian,
Normalized imaginary-time evolution therefore lowers the energy expectation monotonically, stopping only when the state has support inside an energy eigenspace. This is a computational descent principle, not physical dissipative time evolution.
Ground-State Projection and Its Scales
Section titled “Ground-State Projection and Its Scales”Let
and
Then
If and the ground state is nondegenerate, normalization leaves as . If the ground space is degenerate, the limit is the normalized projection into that subspace.
The relative contamination of level is
To make the first excited contribution smaller than a target , it is sufficient that
when the logarithm is positive. Projection time is controlled by the gap and by trial-state overlap, not by a universal number of time steps.
The double-well hierarchy
Section titled “The double-well hierarchy”In a deep symmetric double well, the tunneling splitting can be exponentially smaller than the intrawell excitation scale . Two Euclidean-time requirements are then parametrically different:
suppresses higher intrawell excitations, whereas
is needed to isolate one parity eigenstate from the low-energy doublet.
The intermediate window
projects efficiently onto the two-dimensional low-energy subspace without resolving its exponentially small splitting. This distinction is central in numerical tunneling calculations.
Tunneling Splittings turns this hierarchy into a practical Euclidean-kernel estimator for the doublet gap.
Extracting the ground energy
Section titled “Extracting the ground energy”For boundary states with nonzero ground-state overlap, define
At large ,
provided the leading coefficient does not vanish through symmetry or cancellation. Ratios at nearby values are often more stable than the exponentially small kernel itself.
Varying the Euclidean Action
Section titled “Varying the Euclidean Action”For the background-subtracted action
the first variation is
For fixed endpoints, , so stationarity gives
This is Newton’s equation in the inverted potential :
The analogy helps solve the boundary-value problem. It does not mean that the quantum particle follows in real time.
Boundary terms are physical data
Section titled “Boundary terms are physical data”Different observables eliminate or modify the endpoint term in different ways:
| Euclidean object | Endpoint data |
|---|---|
| Fixed-endpoint kernel | |
| Thermal trace | and matching Euclidean momentum |
| Instanton | endpoints approach distinct degenerate minima as |
| Bounce | both ends approach the same metastable minimum |
| Wavefunction-weighted endpoint | boundary variation is balanced by the logarithmic derivative of the endpoint wavefunction |
Choosing a saddle before choosing these data reverses the logic. The boundary conditions define the observable; only then can one identify the relevant stationary configurations.
Conserved Euclidean energy
Section titled “Conserved Euclidean energy”If has no explicit dependence, the Euclidean Noether energy is
It is constant along a saddle:
For a finite-action path approaching a reference minimum with
one has . Therefore
For a monotone path between degenerate minima,
This action identity is the bridge to the WKB forbidden-region exponent. The explicit instanton profile, collective coordinate, and determinant belong to Instantons in Quantum Mechanics.
Exponential approach to a minimum
Section titled “Exponential approach to a minimum”Near a nondegenerate minimum , write and
The linearized Euclidean equation is
A finite-action tail must select the decaying branch,
This tail supplies practical boundary data for numerical shooting and explains why truncation errors on a finite Euclidean interval are exponentially small in the endpoint distance from the saddle center.
Fixed-Time and Fixed-Energy Exponents
Section titled “Fixed-Time and Fixed-Energy Exponents”A common source of factor and sign errors is to confuse a kernel at fixed Euclidean duration with a tunneling amplitude at fixed energy.
At fixed , a saddle contributes schematically
An energy-resolved Green function can be represented, for suitable , by
Its Euclidean representation is
Its semiclassical exponent is therefore
Stationarity with respect to selects a trajectory with Euclidean energy
so
The fixed-energy abbreviated action is the Legendre transform
Between turning points and ,
Thus the forbidden-region wavefunction amplitude carries
while a leading one-dimensional transmission probability carries
The factor of two distinguishes an amplitude exponent from a probability exponent. Barrier Penetration and Tunneling owns the connection formulas and transmission calculation.
A Calculation-Ready Workflow
Section titled “A Calculation-Ready Workflow”For a Euclidean tunneling calculation:
- Name the observable. Decide whether the target is a kernel, splitting, transition amplitude, resonance width, decay rate, or thermal trace.
- State the limiting family. Identify the dimensionless small parameter, often or a weak coupling that makes large.
- Fix the boundary data. Specify endpoints, asymptotic vacua, periodicity, or outgoing-state information before solving an equation.
- Choose the energy reference. Subtract the appropriate vacuum or false-vacuum background.
- Derive the Euclidean action. Continue every term, including velocity-linear and explicitly time-dependent terms.
- Audit the signs. Check the free particle, a stable quadratic fluctuation, and the inverted-potential equation.
- Solve the saddle problem. Use the second-order equation or a justified first integral.
- Evaluate the action independently. Compare direct quadrature in with the first-integral expression in configuration space.
- Inspect fluctuations. Count zero modes and negative modes before interpreting the saddle.
- State the claimed accuracy. Distinguish the exponent, one-loop prefactor, and multi-saddle sector sum.
- Validate. Compare with WKB, exact diagonalization, a grid calculation, or a limiting case.
Numerical diagnostics
Section titled “Numerical diagnostics”A robust numerical implementation should:
- nondimensionalize the coordinate, Euclidean time, and action;
- monitor the conserved along the trajectory;
- place finite-interval endpoints several tail lengths from the event center;
- subtract the reference action before taking a large- limit;
- vary the interval and mesh independently;
- evaluate the action both from and from the first integral when available;
- separate an exact translation zero mode from a small numerical eigenvalue.
An accurate trajectory does not guarantee an accurate exponential if the action is obtained by subtracting two large, nearly equal quantities. Background subtraction should be built into the integrand whenever possible.
When Wick Rotation Is Not Automatic
Section titled “When Wick Rotation Is Not Automatic”The formal continuation can fail or become incomplete for several reasons.
Singularities and contour obstructions
Section titled “Singularities and contour obstructions”A kernel or integrand may have poles, branch cuts, or essential growth in the region swept out by the contour. Deforming across a singularity changes the answer by residues or discontinuities. The correct real-time boundary prescription must be carried through the deformation.
Hamiltonians not bounded below
Section titled “Hamiltonians not bounded below”If the spectrum extends to , amplifies increasingly negative energies and need not define a bounded semigroup. A Euclidean kinetic term that looks positive does not repair an unstable quantum Hamiltonian.
Complex Euclidean actions
Section titled “Complex Euclidean actions”Magnetic terms, Berry phases, chemical potentials, real-time sources, and complex saddles can make complex. The integral then retains a phase problem and may require a deformed integration cycle.
Explicit time dependence
Section titled “Explicit time dependence”For , the continuation produces . Analyticity and the chosen contour become part of the problem, and the Euclidean action may be complex or nonlocal.
Real-time observables
Section titled “Real-time observables”Euclidean correlators can encode spectra, but recovering retarded response, transport, or late-time oscillations requires analytic continuation with the correct boundary values. Numerically, that inverse problem can be severely ill-conditioned.
Metastability
Section titled “Metastability”A metastable state is not an exact normalizable energy eigenstate with a real discrete eigenvalue. Its decay rate is extracted through analytic continuation, resonance boundary conditions, and the negative mode of a bounce. False Vacuum Decay in Quantum Mechanics develops the corresponding resonance width, survival probability, and nonexponential time regimes. Simple ground-state projection does not by itself produce a decay law.
Open and non-Hermitian dynamics
Section titled “Open and non-Hermitian dynamics”A Lindblad generator or non-Hermitian effective Hamiltonian does not generally become an equilibrium Euclidean action under . Its spectrum, left and right eigenvectors, and contour structure must be treated on their own terms.
Bridge to Euclidean QFT
Section titled “Bridge to Euclidean QFT”For a real scalar field in spatial dimensions,
The Lorentzian and Euclidean densities are
The Euclidean field equation is
Quantum mechanics is the -dimensional case: there is no spatial gradient term, and the field configuration on a time slice reduces to one or finitely many coordinates. In field theory, the saddle is a function of Euclidean spacetime, its finite-action boundary conditions are imposed at spatial and temporal infinity, and fluctuations are differential operators in dimensions.
The translation is structural, not automatic. Gauge fixing, topology, renormalization, fermion zero modes, reflection positivity, and Lorentzian reconstruction add genuinely field-theoretic issues. From Euclidean Time to Euclidean QFT owns the vacuum-functional, thermal-circle, Matsubara, and reconstruction dictionary. Bridge to QFT Instantons focuses on how finite-action quantum-mechanical saddles generalize to fields.
Common Mistakes
Section titled “Common Mistakes”- Replacing by without transforming and .
- Putting in the Euclidean action because the mechanical analogy uses an inverted potential.
- Treating the Euclidean saddle as a real-time trajectory under a barrier.
- Forgetting to subtract the vacuum background on an infinite Euclidean interval.
- Calling a probability density without a measure, normalization, and boundary conditions.
- Confusing a fixed-time action with the fixed-energy exponent .
- Using the amplitude exponent for a transmission probability and missing a factor of two.
- Assuming positive Euclidean kinetic energy guarantees that the full action is real and bounded below.
- Projecting onto the wrong symmetry sector because the trial state has zero overlap with the desired state.
- Interpreting normalized imaginary-time evolution as physical dissipation.
- Choosing an instanton or bounce before specifying which observable and endpoint conditions are required.
- Ignoring zero and negative modes when converting a saddle action into a physical prefactor.
Exercises
Section titled “Exercises”1. Derive both Euclidean signs
Section titled “1. Derive both Euclidean signs”For
use to derive the Euclidean action and the imaginary-time Schrödinger equation. Explain why the kinetic term in and the diffusion term in the Schrödinger equation have the signs shown on this page.
Solution
The derivatives transform as
Therefore
Hence , so convergence around a stable quadratic configuration requires the positive Euclidean kinetic term.
Also . Substituting into
gives
The positive coefficient of is the diffusion sign. It is consistent with Gaussian smoothing by the free Euclidean kernel.
2. Prove monotonic energy descent
Section titled “2. Prove monotonic energy descent”Let a normalized state obey
Show that its energy expectation is nonincreasing and identify the condition for equality.
Solution
For time-independent Hermitian ,
The bracket is the energy variance, so it is nonnegative. Equality holds exactly when the state has zero energy variance, meaning that its support lies within one energy eigenspace. Degeneracy allows any superposition inside that eigenspace.
3. Resolve a doublet, or only its subspace
Section titled “3. Resolve a doublet, or only its subspace”A deep double well has tunneling splitting and an intrawell gap approximately , with .
- Give a Euclidean-time regime that suppresses intrawell excitations but does not resolve the doublet.
- Give the regime needed to isolate the unique parity ground state.
- Explain what happens if the trial state has odd parity.
Solution
Intrawell excitations are suppressed by factors of order , while the unwanted partner in the doublet is suppressed only by
Therefore
projects onto the low-energy doublet without selecting one member. Isolating the even ground state requires
If the Hamiltonian preserves parity and the trial state is purely odd, its overlap with the even ground state vanishes. Imaginary-time evolution preserves the odd sector and projects onto the lowest odd state instead.
4. Obtain the finite-action first integral
Section titled “4. Obtain the finite-action first integral”Let at two degenerate minima. A monotone Euclidean saddle obeys
and approaches with as . Derive its first integral and reduce the background-subtracted action to a configuration-space integral.
Solution
Multiply the equation by :
Both sides are total derivatives, so
The endpoint conditions set the constant to zero:
For the increasing branch,
Then
The decreasing branch has the same positive action after reversing the integration limits and the sign of .
5. Recover the WKB action from fixed energy
Section titled “5. Recover the WKB action from fixed energy”Starting from a fixed-time Euclidean saddle with action , explain why an energy-resolved amplitude uses . Show that its stationary trajectory satisfies
and derive the forbidden-region action .
Solution
The resolvent representation contains
Varying gives
Hamilton–Jacobi theory gives
so . Since
one obtains
Finally,
This is the WKB action for the forbidden interval. It controls an amplitude as and a leading transmission probability as .
6. Continue a magnetic line term
Section titled “6. Continue a magnetic line term”For a particle in several dimensions with
derive under . Why does the Euclidean weight remain complex even if the kinetic and potential terms are nonnegative?
Solution
The kinetic and potential terms give
in . The velocity-linear term is a line integral:
Thus
and implies
The Euclidean weight is
Its magnitude is damped by the real part, but the magnetic line integral remains a phase. In more than one dimension it cannot generally be removed globally when the magnetic flux is nonzero.
Cross-Links
Section titled “Cross-Links”- Instantons, Tunneling, and Nonperturbative Effects
- Euclidean and Imaginary-Time Path Integrals
- Double-Well Tunneling
- Instantons in Quantum Mechanics
- Bounce Solutions
- False Vacuum Decay in Quantum Mechanics
- Instantons in Quantum Mechanics Preview
- Barrier Penetration and Tunneling
- Classical Action and Quantum Phase
- Small Parameters and Error Estimates
- Path Integral Conventions
- From Euclidean Time to Euclidean QFT
- Bridge to QFT Instantons
References
Section titled “References”- R. P. Feynman, “Space-Time Approach to Non-Relativistic Quantum Mechanics”, Reviews of Modern Physics 20, 367–387 (1948). Original path-integral formulation and action-based quantum evolution.
- M. Kac, “On Distributions of Certain Wiener Functionals”, Transactions of the American Mathematical Society 65, 1–13 (1949). Foundational relation between diffusion semigroups and exponentially weighted path functionals.
- R. P. Feynman and A. R. Hibbs, Quantum Mechanics and Path Integrals, emended ed., Dover, 2010. Standard path-integral treatment and imaginary-time continuation.
- L. S. Schulman, Techniques and Applications of Path Integration, Wiley, 1981. Detailed treatment of propagators, continuation, and semiclassical methods.
- B. Simon, Functional Integration and Quantum Physics, 2nd ed., AMS Chelsea, 2005. Mathematical treatment of Euclidean functional integration and Schrödinger semigroups.
- J. Zinn-Justin, Path Integrals in Quantum Mechanics, Oxford University Press, 2005. Systematic account of Euclidean quantum mechanics, saddle expansions, and instantons.
- H. Kleinert, Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets, 5th ed., World Scientific, 2009. Broad reference on Euclidean kernels, fluctuations, and semiclassical approximation.
- S. Coleman, “The Uses of Instantons”, in Aspects of Symmetry, Cambridge University Press, 1985, pp. 265–350. Canonical pedagogical treatment of Euclidean saddles and tunneling.
- R. Rajaraman, Solitons and Instantons, North-Holland, 1982. Finite-action solutions, boundary conditions, and fluctuation spectra.
- S. Coleman, “Fate of the False Vacuum: Semiclassical Theory”, Physical Review D 15, 2929–2936 (1977), with erratum in 16, 1248 (1977). Canonical Euclidean bounce framework and a clear example of why contour and negative-mode information matter.