Skip to content

Coherent-State Path Integrals

A coherent-state path integral rewrites operator evolution using an overcomplete family of states rather than an orthogonal coordinate basis. Its distinctive first-order term is not guessed from a classical field equation. It comes from the phase of adjacent coherent-state overlaps.

At finite slice number, a transition amplitude has the skeleton

K=∫∏j=1M−1dμ(ξj)×∏j=0M−1⟨ξj+1∣e−iϵH/ℏ∣ξj⟩.\begin{aligned} K &= \int \prod_{j=1}^{M-1} d\mu(\xi_j) \\ &\quad\times \prod_{j=0}^{M-1} \langle\xi_{j+1}| e^{-i\epsilon H/\hbar} |\xi_j\rangle. \end{aligned}

The short-time Hamiltonian matrix element supplies an operator symbol. The overlap ⟨ξj+1∣ξj⟩\langle\xi_{j+1}|\xi_j\rangle supplies a measure, a phase, and the correct endpoint structure. Only after preserving all four pieces may one use the compact continuum action

S[ξ]=∫dt [Ai(ξ)ξ˙i−Hσ(ξ)].S[\xi] = \int dt\, \left[ \mathcal A_i(\xi)\dot\xi^i - H_\sigma(\xi) \right].

Here A\mathcal A is a Berry one-form and HσH_\sigma is the Hamiltonian symbol selected by the slicing convention. The notation is geometric, but the construction remains anchored to a regulated Hilbert-space amplitude.

This page is the canonical bridge for:

  • deriving the coherent-state Berry one-form from neighboring overlaps;
  • reading its curvature as the symplectic form of the coherent-state manifold;
  • comparing the canonical bosonic plane with the spin coherent-state sphere;
  • understanding first-order actions, mixed endpoint data, and boundary terms;
  • translating bosonic amplitudes into number–phase and density–phase variables;
  • identifying what survives when mode labels become spatial fields;
  • distinguishing the bosonic geometry from the graded fermionic construction;
  • locating ordering, gauge-patch, semiclassical, and continuum hazards.

Neighboring pages retain separate ownership:

The goal here is not to replace those derivations. It is to expose the common geometric mechanism connecting Fock-space overlaps to field-theory actions.

Continuum coherent-state notation suppresses data that can change the answer. A trustworthy calculation first records:

  1. the Hilbert space and coherent-state family;
  2. normalization and the resolution of identity;
  3. the finite time lattice and direction of adjacent overlaps;
  4. the operator symbol evaluated on adjacent slices;
  5. endpoint or thermal closure conditions;
  6. the limiting procedure used to remove the time lattice.

For a single bosonic mode, for example, the short-time ratio

⟨zj+1∣e−iϵH/ℏ∣zj⟩⟨zj+1∣zj⟩\frac{ \langle z_{j+1}| e^{-i\epsilon H/\hbar} |z_j\rangle }{ \langle z_{j+1}|z_j\rangle }

is the primary object. Replacing it immediately by an arbitrary diagonal function of one smooth variable can lose ordering constants and endpoint terms. A continuum action is shorthand for a specified limit, not an independent definition.

Let ∣ξ⟩|\xi\rangle be a smooth normalized coherent-state family. Its local Berry one-form is

A=iℏ⟨ξ∣dξ⟩.\mathcal A = i\hbar \langle\xi|d\xi\rangle.

Normalization implies that ⟨ξ∣dξ⟩\langle\xi|d\xi\rangle is purely imaginary, so A\mathcal A is real on an ordinary real parameter manifold. Its curvature is

Ω=dA.\Omega = d\mathcal A.

The phase convention of the state is a gauge choice. Under

∣ξ⟩⟼eiχ(ξ)∣ξ⟩,|\xi\rangle \longmapsto e^{i\chi(\xi)}|\xi\rangle,

the one-form changes as

A⟼A−ℏ dχ,\mathcal A \longmapsto \mathcal A - \hbar\,d\chi,

while Ω\Omega is unchanged. For a closed path CC contained in a valid gauge patch,

exp⁡(iℏ∮CA)\exp\left( \frac{i}{\hbar} \oint_C\mathcal A \right)

is invariant under single-valued gauge changes. If C=∂ΣC=\partial\Sigma, then

∮CA=∫ΣΩ\oint_C\mathcal A = \int_\Sigma\Omega

whenever one patch covers the chosen surface. Multiple patches require transition functions, as the spin sphere will illustrate.

The overlap gives an operational derivation. For nearby normalized states,

⟨ξ+dξ∣ξ⟩=exp⁡[−⟨ξ∣dξ⟩+O(dξ2)].\langle\xi+d\xi|\xi\rangle = \exp\left[ -\langle\xi|d\xi\rangle + \mathcal O(d\xi^2) \right].

Multiplying these phases along the discretized path produces the line integral of A\mathcal A. The quadratic part of the overlap controls the local metric and short-step suppression. Phase and magnitude are therefore two aspects of the same overlap kernel.

For one oscillator mode, use normalized coherent states

∣z⟩=e−∣z∣2/2eza†∣0⟩,a∣z⟩=z∣z⟩.|z\rangle = e^{-|z|^2/2} e^{z a^\dagger}|0\rangle, \qquad a|z\rangle = z|z\rangle.

Their overlap and identity resolution are

⟨z′∣z⟩=exp⁡[−∣z′∣22−∣z∣22+zˉ′z],I=∫d2zπ∣z⟩⟨z∣.\begin{aligned} \langle z'|z\rangle &= \exp\left[ -\frac{|z'|^2}{2} -\frac{|z|^2}{2} +\bar z'z \right], \\ I &= \int\frac{d^2z}{\pi} |z\rangle\langle z|. \end{aligned}

Differentiating the overlap gives

AB=iℏ2(zˉ dz−z dzˉ),\mathcal A_{\mathrm B} = \frac{i\hbar}{2} \left( \bar z\,dz - z\,d\bar z \right),

and hence

ΩB=iℏ dzˉ∧dz.\Omega_{\mathrm B} = i\hbar\, d\bar z\wedge dz.

Introduce real canonical coordinates through

z=q+ip2ℏ.z = \frac{q+ip}{\sqrt{2\hbar}}.

Then

AB=12(p dq−q dp),ΩB=dp∧dq.\begin{aligned} \mathcal A_{\mathrm B} &= \frac12 \left( p\,dq-q\,dp \right), \\ \Omega_{\mathrm B} &= dp\wedge dq. \end{aligned}

This differs from the common canonical potential p dqp\,dq by a total derivative. Both produce the same curvature and bulk Hamilton equations, but their endpoint terms differ.

The coherent-state complex plane and spin sphere, with their Berry one-forms, curvatures, and shared first-order action.

Adjacent overlaps generate a local one-form A\mathcal A. Its curvature Ω=dA\Omega=d\mathcal A is the symplectic form. The canonical bosonic family lives on a complex plane, whereas a fixed-spin coherent family lives on a two-patch sphere. The same first-order action is meaningful only together with its measure, symbol, endpoints, and regulator.

The normalized-state Berry form leads to the symmetric real-time kinetic term

SB=∫0Tdt [iℏ2(zˉz˙−zˉ˙z)−Hσ(zˉ,z)].S_{\mathrm B} = \int_0^T dt\, \left[ \frac{i\hbar}{2} \left( \bar z\dot z - \dot{\bar z}z \right) - H_\sigma(\bar z,z) \right].

Many-body calculations often use the holomorphic form

Shol=∫0Tdt [iℏzˉz˙−Hσ(zˉ,z)]+S∂.S_{\mathrm{hol}} = \int_0^T dt\, \left[ i\hbar\bar z\dot z - H_\sigma(\bar z,z) \right] + S_\partial.

The two bulk kinetic terms obey

iℏzˉz˙=iℏ2(zˉz˙−zˉ˙z)+iℏ2ddt(zˉz).\begin{aligned} i\hbar\bar z\dot z &= \frac{i\hbar}{2} \left( \bar z\dot z - \dot{\bar z}z \right) \\ &\quad+ \frac{i\hbar}{2} \frac{d}{dt} (\bar z z). \end{aligned}

The total derivative vanishes for a smooth closed path, but not for an open propagator. It must be combined with the coherent-state normalization and the boundary term inherited from the finite-slice product.

The bulk equations are first order:

iℏz˙=∂Hσ∂zˉ,−iℏzˉ˙=∂Hσ∂z.\begin{aligned} i\hbar\dot z &= \frac{\partial H_\sigma}{\partial\bar z}, \\ -i\hbar\dot{\bar z} &= \frac{\partial H_\sigma}{\partial z}. \end{aligned}

On a real classical trajectory zˉ=z∗\bar z=z^*, but a saddle satisfying mixed coherent-state endpoint data can be genuinely complex.

Consider the Bargmann kernel

K(zˉf,zi;T)=(zf∣e−iHT/ℏ∣zi),K(\bar z_f,z_i;T) = (z_f| e^{-iHT/\hbar} |z_i),

where ∣z)=eza†∣0⟩|z)=e^{za^\dagger}|0\rangle is unnormalized. One useful action convention is

Shol=−iℏzˉfz(T)+∫0Tdt [iℏzˉz˙−Hσ(zˉ,z)].\begin{aligned} \mathcal S_{\mathrm{hol}} &= -i\hbar\bar z_f z(T) \\ &\quad+ \int_0^Tdt\, \left[ i\hbar\bar z\dot z - H_\sigma(\bar z,z) \right]. \end{aligned}

The variational problem fixes

z(0)=zi,zˉ(T)=zˉf.z(0)=z_i, \qquad \bar z(T)=\bar z_f.

It does not fix zˉ(0)\bar z(0) or z(T)z(T). Varying the endpoint term cancels the remaining variation at TT. Other normalizations distribute endpoint terms differently, but the finite-slice kernel fixes the complete answer.

This mixed boundary problem is the coherent-state analogue of fixing the initial coordinate and final conjugate coordinate. Imposing both zz and zˉ\bar z at both ends generally overdetermines the first-order equations.

Under t=−iτt=-i\tau, the real-time weight becomes a Euclidean weight,

eiS/ℏ⟼e−SE/ℏ.e^{iS/\hbar} \longmapsto e^{-S_{\mathrm E}/\hbar}.

For a normal-ordered bosonic thermal generator K=H−μN\mathcal K=H-\mu N, the common holomorphic shorthand is

SE=∫0βℏdτ [ℏzˉ∂τz+KN(zˉ,z)],S_{\mathrm E} = \int_0^{\beta\hbar} d\tau\, \left[ \hbar\bar z\partial_\tau z + \mathcal K_{\mathrm N}(\bar z,z) \right],

with periodic closure for bosons. The symmetric Euclidean kinetic term is

ℏ2(zˉ∂τz−(∂τzˉ)z).\frac{\hbar}{2} \left( \bar z\partial_\tau z - (\partial_\tau\bar z)z \right).

For a smooth periodic path the difference is a total derivative. At finite slice number or with open endpoints, that observation does not license discarding the boundary data. The thermal trace derivation and its convergence conditions remain in Coherent-State Path Integrals Preview.

Write a nonzero bosonic amplitude as

z=n e−iθ.z = \sqrt n\,e^{-i\theta}.

Then

AB=ℏn dθ,ΩB=ℏ dn∧dθ.\mathcal A_{\mathrm B} = \hbar n\,d\theta, \qquad \Omega_{\mathrm B} = \hbar\,dn\wedge d\theta.

The action becomes

S=∫dt [ℏnθ˙−Hσ(n,θ)],S = \int dt\, \left[ \hbar n\dot\theta - H_\sigma(n,\theta) \right],

so the equations are

ℏθ˙=∂Hσ∂n,ℏn˙=−∂Hσ∂θ.\begin{aligned} \hbar\dot\theta &= \frac{\partial H_\sigma}{\partial n}, \\ \hbar\dot n &= - \frac{\partial H_\sigma}{\partial\theta}. \end{aligned}

Thus ℏn\hbar n is conjugate to θ\theta. The phase is undefined at n=0n=0, so polar variables do not provide one global coordinate chart on the complex plane. Vortices, zeros, and phase slips are precisely where this local chart requires care.

This relation is not the statement that the exact number operator has a self-adjoint phase operator with unrestricted canonical commutator. It is a classical relation on the coherent-state label manifold. Number quantization and phase-operator subtleties remain encoded in the original Hilbert space and finite-slice integral.

Take the normal-ordered Hamiltonian

H=ℏωa†a.H = \hbar\omega a^\dagger a.

The holomorphic symbol is

HN(zˉ,z)=ℏωzˉz.H_{\mathrm N}(\bar z,z) = \hbar\omega\bar z z.

The mixed-boundary saddle equations give

z(t)=zie−iωt,zˉ(t)=zˉfeiω(t−T).\begin{aligned} z(t) &= z_i e^{-i\omega t}, \\ \bar z(t) &= \bar z_f e^{i\omega(t-T)}. \end{aligned}

Along this path,

iℏzˉz˙−ℏωzˉz=0.i\hbar\bar z\dot z - \hbar\omega\bar z z = 0.

Only the endpoint term remains, and therefore

(zf∣e−iHT/ℏ∣zi)=exp⁡(zˉfzie−iωT).(z_f| e^{-iHT/\hbar} |z_i) = \exp\left( \bar z_f z_i e^{-i\omega T} \right).

Restoring normalized endpoint states yields

⟨zf∣e−iHT/ℏ∣zi⟩=exp⁡[−∣zf∣22−∣zi∣22+zˉfzie−iωT].\begin{aligned} \langle z_f| e^{-iHT/\hbar} |z_i\rangle &= \exp\Bigg[ -\frac{|z_f|^2}{2} -\frac{|z_i|^2}{2} \\ &\qquad+ \bar z_f z_i e^{-i\omega T} \Bigg]. \end{aligned}

This exact result checks the overlap convention, symbol, endpoint term, and equations simultaneously. A coherent-state derivation that misses any one of the three exponent terms has mishandled its boundaries or normalization.

For bosonic modes ara_r, the geometric term adds over modes:

A=iℏ2∑r(zˉr dzr−zr dzˉr).\mathcal A = \frac{i\hbar}{2} \sum_r \left( \bar z_r\,dz_r - z_r\,d\bar z_r \right).

The corresponding action is

S=∫dt [iℏ2∑r(zˉrz˙r−zˉ˙rzr)\qquadqquad−Hσ(zˉ,z)].\begin{aligned} S &= \int dt\, \Bigg[ \frac{i\hbar}{2} \sum_r \left( \bar z_r\dot z_r - \dot{\bar z}_r z_r \right) \\ &\qquadqquad- H_\sigma(\bar{\boldsymbol z},\boldsymbol z) \Bigg]. \end{aligned}

Choose a regulated spatial basis ur(x)u_r(\mathbf x) and define

ψ(x,t)=∑rur(x)zr(t).\psi(\mathbf x,t) = \sum_r u_r(\mathbf x)z_r(t).

For an orthonormal basis, the kinetic term becomes

S=∫dt∫ddx [iℏ2(ψ∗∂tψ−(∂tψ∗)ψ)\qquadqquad−Hσ].\begin{aligned} S &= \int dt \int d^d x\, \Bigg[ \frac{i\hbar}{2} \left( \psi^*\partial_t\psi - (\partial_t\psi^*)\psi \right) \\ &\qquadqquad- \mathcal H_\sigma \Bigg]. \end{aligned}

Its stationary equation is

iℏ∂tψ=δHσδψ∗.i\hbar\partial_t\psi = \frac{\delta H_\sigma}{\delta\psi^*}.

This is the geometric origin of the first-order time derivative in a nonrelativistic Schrödinger field action. The field ψ\psi is still an integration coordinate. It becomes a mean field only after a saddle or other controlled approximation is selected.

Where ψ\psi is nonzero, write

ψ(x,t)=ρ(x,t)e−iθ(x,t).\psi(\mathbf x,t) = \sqrt{\rho(\mathbf x,t)} e^{-i\theta(\mathbf x,t)}.

The Berry term is

SB=ℏ∫dt∫ddx ρ ∂tθ.S_{\mathrm B} = \hbar \int dt \int d^d x\, \rho\,\partial_t\theta.

Consequently,

ℏ∂tρ=−δHδθ.\hbar\partial_t\rho = - \frac{\delta H}{\delta\theta}.

If HH is invariant under a uniform phase shift, it depends on θ\theta only through derivatives. The equation above then takes continuity-equation form. The conjugacy between density and phase is therefore inherited from the coherent-state overlap, not added as a hydrodynamic guess.

Zeros of ψ\psi make θ\theta singular. A density–phase effective theory must specify whether vortex sectors, compactness, winding, and amplitude zeros are retained or excluded. Those choices can carry physical information that a smooth noncompact phase field misses.

For one fermionic mode, an unnormalized coherent state can be defined by

∣η⟩=e−ηa†∣0⟩,|\eta\rangle = e^{-\eta a^\dagger}|0\rangle,

where η\eta is Grassmann odd. With a consistent convention,

a∣η⟩=η∣η⟩,⟨ηˉ∣η′⟩=eηˉη′.a|\eta\rangle = \eta|\eta\rangle, \qquad \langle\bar\eta|\eta'\rangle = e^{\bar\eta\eta'}.

The overlap produces the first-order bilinear

SF=∫dt [iℏηˉη˙−HN(ηˉ,η)].S_{\mathrm F} = \int dt\, \left[ i\hbar\bar\eta\dot\eta - H_{\mathrm N}(\bar\eta,\eta) \right].

For spatial modes, this becomes schematically

SF=∫dt∫ddx [iℏψˉ∂tψ−HN].S_{\mathrm F} = \int dt \int d^d x\, \left[ i\hbar\bar\psi\partial_t\psi - \mathcal H_{\mathrm N} \right].

This is a graded construction, not an ordinary classical phase plane. ηˉ\bar\eta and η\eta are algebraically independent, nilpotent variables; they are not numerical complex conjugates. Berezin integration extracts coefficients rather than averaging over a positive measure.

In a thermal trace, fermionic coherent fields close antiperiodically. Their Gaussian integral produces a determinant, not an inverse determinant. Those signs and measure-ordering rules are derived in Coherent-State Path Integrals Preview.

The fermionic kinetic term is often called a Berry term by analogy. The analogy is useful at the level of first-order overlap geometry, but it should not be used to assign an ordinary area or probability distribution to Grassmann space.

Fix a spin-ss irreducible representation. Spin coherent states are rotations of an extremal-weight state and resolve the identity as

I=2s+14π∫S2dΩ ∣n;s⟩⟨n;s∣.I = \frac{2s+1}{4\pi} \int_{S^2}d\Omega\, |\mathbf n;s\rangle \langle\mathbf n;s|.

The parameter manifold is the sphere of directions n\mathbf n, not the complex plane. Use the highest-weight state and the convention

A=iℏ⟨n;s∣d∣n;s⟩.\mathcal A = i\hbar \langle\mathbf n;s|d|\mathbf n;s\rangle.

A gauge regular near the north pole has

AN=ℏs(cos⁡θ−1)dϕ.\mathcal A_{\mathrm N} = \hbar s (\cos\theta-1) d\phi.

A gauge regular near the south pole has

AS=ℏs(cos⁡θ+1)dϕ.\mathcal A_{\mathrm S} = \hbar s (\cos\theta+1) d\phi.

On their overlap,

AS−AN=2ℏs dϕ.\mathcal A_{\mathrm S} - \mathcal A_{\mathrm N} = 2\hbar s\,d\phi.

Both give the same curvature,

Ωs=−ℏssin⁡θ dθ∧dϕ.\Omega_s = -\hbar s \sin\theta\, d\theta\wedge d\phi.

The sign follows from the highest-weight and rotation conventions. Starting from the lowest weight or reversing the state convention reverses the sign. Observable precession and closed-path phases remain consistent when the same convention is used throughout.

The curvature flux is

12πℏ∫S2Ωs=−2s.\frac{1}{2\pi\hbar} \int_{S^2}\Omega_s = -2s.

Because 2s2s is an integer, the phase acquired when switching patches around a closed winding is unity:

exp⁡(iℏ∮(AS−AN))=ei4πsm=1.\exp\left( \frac{i}{\hbar} \oint (\mathcal A_{\mathrm S} -\mathcal A_{\mathrm N}) \right) = e^{i4\pi s m} = 1.

The familiar spin quantization condition is thus visible as the integrality needed to glue local coherent-state actions into one quantum amplitude.

In the northern patch, the real-time action is

S[n]=∫dt [ℏs(cos⁡θ−1)ϕ˙−Hσ(n)].S[\mathbf n] = \int dt\, \left[ \hbar s (\cos\theta-1) \dot\phi - H_\sigma(\mathbf n) \right].

For

H=ωSz,H = \omega S_z,

the coherent-state expectation is

HQ=ℏωscos⁡θ.H_Q = \hbar\omega s\cos\theta.

The Euler–Lagrange equations give

θ˙=0,ϕ˙=ω.\dot\theta = 0, \qquad \dot\phi = \omega.

This agrees with exact rotation about the zz axis. The Berry term is essential: without it, the action would have no symplectic structure and no spin precession equation.

For a lattice of spins, the total Berry term is initially a sum over sites. Coarse graining can combine those local phases into continuum Wess–Zumino or theta-like structures. Whether terms cancel, add, or interfere depends on the microscopic spin representation, lattice, ordering pattern, and spacetime topology. From Berry Phase to Topological Terms owns that continuation.

For any real-time first-order action,

S=∫A−∫dt H,S = \int\mathcal A - \int dt\,H,

Wick rotation gives

SE=∫dτ H−i∫A.S_{\mathrm E} = \int d\tau\,H - i\int\mathcal A.

In the northern spin patch,

SE[n]=∫dτ [Hσ(n)+iℏs(1−cos⁡θ)∂τϕ].\begin{aligned} S_{\mathrm E}[\mathbf n] &= \int d\tau\, \Big[ H_\sigma(\mathbf n) \\ &\qquad+ i\hbar s (1-\cos\theta) \partial_\tau\phi \Big]. \end{aligned}

The Euclidean Berry term is imaginary. Therefore a perfectly Hermitian spin Hamiltonian can lead to a complex Euclidean weight in this representation. That phase can encode interference among topological sectors; it is not an algebraic error to be deleted merely to obtain a positive sampling weight.

The one-form iℏ⟨ξ∣dξ⟩i\hbar\langle\xi|d\xi\rangle is mathematically the same kind of connection used in the adiabatic Berry phase. In a coherent-state path integral, however, it arises from neighboring basis overlaps and requires no adiabatic approximation. Every path in the regulated sum carries it.

Adiabatic Berry phase concerns an instantaneous eigenstate transported slowly through an external parameter space. Coherent-state Berry phase concerns the geometry of the chosen overcomplete state manifold. The two constructions can coincide in special problems, but their assumptions and parameter spaces must not be conflated. Berry Phase owns the adiabatic theorem setting.

Several functions can represent one operator. For normalized bosonic coherent states, the covariant or QQ symbol is

HQ(zˉ,z)=⟨z∣H∣z⟩.H_Q(\bar z,z) = \langle z|H|z\rangle.

If HH is normal ordered, its off-diagonal normal symbol is fixed by

⟨z′∣H∣z⟩⟨z′∣z⟩=HN(zˉ′,z).\frac{ \langle z'|H|z\rangle }{ \langle z'|z\rangle } = H_{\mathrm N}(\bar z',z).

An upper or PP symbol instead satisfies a representation of the form

H=∫dμ(z) HP(zˉ,z)∣z⟩⟨z∣.H = \int d\mu(z)\, H_P(\bar z,z) |z\rangle\langle z|.

Weyl symbols use symmetric operator ordering and a different phase-space kernel. These symbols generally differ by terms proportional to powers of ℏ\hbar or inverse spin. Such differences can be subleading in a classical trajectory while remaining order one in the phase S/ℏS/\hbar.

The safe rule is:

  1. derive the adjacent-slice matrix element;
  2. identify the symbol it contains;
  3. keep that symbol and discretization paired;
  4. benchmark against an exactly soluble operator problem.

For example, replacing (a†a)2(a^\dagger a)^2 by (zˉz)2(\bar z z)^2 skips the commutator needed to normal order the operator. The detailed correction and finite-temperature benchmark are canonical in Coherent-State Path Integrals Preview.

Semiclassical Corrections and Continuum Hazards

Section titled “Semiclassical Corrections and Continuum Hazards”

A stationary coherent-state path is only the first term of an asymptotic calculation. A phase-accurate propagator may also require:

  • the correct mixed-boundary classical solution;
  • a fluctuation determinant and its branch;
  • a Maslov-like or caustic prescription;
  • symbol-dependent order-ℏ\hbar terms;
  • a Solari–Kochetov-type correction for relevant conventions;
  • a contour choice for complex saddles.

There is no universal extra phase that can be appended independently of the coherent family, symbol, slicing, and measure. Coherent-State Semiclassics Preview develops that calculation.

Even before a saddle approximation, a naive continuum coherent-state action can fail for nonlinear Hamiltonians if the time lattice and symbol are removed inconsistently. A smooth-looking expression is not evidence of exact operator equivalence. Retain a finite-slice definition or another mathematically controlled regulator until exact benchmarks agree.

Coherent-state path integrals lead to several field-theory structures, but not to one universal action.

  • Bosonic Fock modes: complex labels zr,zˉrz_r,\bar z_r produce iℏzˉrz˙ri\hbar\bar z_r\dot z_r and lead to nonrelativistic bosonic fields.
  • Fermionic Fock modes: Grassmann labels ηr,ηˉr\eta_r,\bar\eta_r produce iℏηˉrη˙ri\hbar\bar\eta_r\dot\eta_r and lead to fermion functional integrals.
  • Fixed spins: directions nr∈S2\mathbf n_r\in S^2 produce local spin Berry one-forms and lead to sigma models or magnetic effective theories.
  • Constrained or group-orbit families: quotient-space coordinates produce local connections and can lead to gauge, collective, or topological field variables.

Four distinctions remain essential.

A nonrelativistic bosonic coherent field naturally has iℏψ∗∂tψi\hbar\psi^*\partial_t\psi. A relativistic scalar field commonly has a second-order kinetic term such as ∣∂tϕ∣2|\partial_t\phi|^2. The latter packages independent canonical data and, after quantization, particle and antiparticle modes. It is not obtained by merely renaming the nonrelativistic coherent label.

The exact path integral integrates over all coherent labels allowed by the regulator. A saddle ψ∗\psi_* can approximate an order parameter, but the integration variable itself is not an expectation value. At finite volume, symmetry restoration, source limits, and fluctuations must still be handled.

The bosonic plane admits a global one-form, whereas the spin sphere requires patches. In a field theory, spatially varying coherent labels can have vortices, instantons, skyrmions, or other sectors that no single smooth chart covers. Global information can survive even when the local equations look ordinary.

Replacing a finite sum by ∫ddx\int d^d x introduces an ultraviolet limit. Couplings, composite operators, and the measure can require matching or renormalization. Coherent-state geometry does not remove those obligations. Path Integrals from QM to Field Path Integrals and From Euclidean Time to Euclidean QFT develop the wider field-theory boundary.

Before trusting a coherent-state field action:

  1. State the operator problem. Give HH, the Hilbert space, ensemble, and domain or cutoff.
  2. Define the coherent family. Record normalization, overlap, measure, and identity resolution.
  3. Write one finite slice. Keep the orientation of ⟨ξj+1∣ξj⟩\langle\xi_{j+1}|\xi_j\rangle explicit.
  4. Name the symbol. Do not mix normal, covariant, upper, or Weyl symbols.
  5. State endpoint data. Distinguish open kernels, traces, in-out, and real-time closed-contour problems.
  6. Audit gauge patches. Check transition functions and closed-loop phase invariance.
  7. Solve an exact benchmark. A free mode, one spin in a field, or a small Hilbert-space trace should agree before interactions are trusted.
  8. Separate exact and approximate steps. Time slicing and changes of variables can be exact; saddle truncations are not.
  9. Track every limit. Time step, spatial cutoff, volume, occupation, large-ss, and continuum limits control different errors.
  1. Calling coherent states an orthogonal basis. Their nonorthogonality is what generates the geometric term.
  2. Writing a continuum action without a slicing rule. The missing rule can change ordering constants and phases.
  3. Using HQH_Q when the discretization requires another symbol. Symbols are not interchangeable labels for the same numerical function.
  4. Dropping total derivatives for open kernels. They are endpoint data.
  5. Fixing zz and zˉ\bar z at both ends. First-order saddle equations use mixed boundary conditions.
  6. Setting zˉ=z∗\bar z=z^* on every complex saddle. The two variables are independent under analytic continuation.
  7. Treating zz as a one-particle wavefunction. It is a Fock-space integration coordinate.
  8. Equating a saddle with an exact expectation value. A control parameter and fluctuation analysis are required.
  9. Using number–phase variables through z=0z=0. The phase chart is singular there.
  10. Treating Grassmann fields as ordinary complex numbers. Their algebra and integration rules are different.
  11. Guessing fermionic antiperiodicity. It follows from the graded trace.
  12. Using one spin Berry potential over the whole sphere. No such global smooth gauge exists for nonzero spin curvature.
  13. Removing an imaginary Euclidean Berry term to make a positive weight. The phase may carry the physics of sector interference.
  14. Calling every coherent-state Berry term adiabatic. The path-integral overlap construction needs no adiabatic assumption.
  15. Assuming a first-order bosonic action is automatically relativistic. Nonrelativistic and relativistic field contents differ.
  16. Taking a spatial continuum limit without matching. The geometric term does not regulate interactions or composite operators.
  1. J. R. Klauder, “Path Integrals and Stationary-Phase Approximations”, Physical Review D 19, 2349–2356 (1979) – canonical and spin coherent-state path integrals and stationary-phase structure.
  2. F. A. Berezin, “General Concept of Quantization”, Communications in Mathematical Physics 40, 153–174 (1975) – coherent-state symbols and quantization on nontrivial phase spaces.
  3. I. Daubechies and J. R. Klauder, “Quantum-Mechanical Path Integrals with Wiener Measure for All Polynomial Hamiltonians. II”, Journal of Mathematical Physics 26, 2239–2256 (1985) – regulated canonical and spin coherent-state path integrals.
  4. M. V. Berry, “Quantal Phase Factors Accompanying Adiabatic Changes”, Proceedings of the Royal Society A 392, 45–57 (1984) – connection, curvature, and geometric phase in adiabatic quantum evolution.
  5. H. G. Solari, “Semiclassical Treatment of Spin System by Means of Coherent States”, Journal of Mathematical Physics 28, 1097–1102 (1987) – discretization-sensitive spin coherent-state semiclassics.
  6. E. A. Kochetov, “SU(2) Path Integral”, Journal of Mathematical Physics 36, 4667–4679 (1995) – boundary terms and stationary phase on the spin sphere.
  7. M. Stone, K.-S. Park, and A. Garg, “The Semiclassical Propagator for Spin Coherent States”, Journal of Mathematical Physics 41, 8025–8049 (2000) – fluctuation determinants and the Solari–Kochetov phase.
  8. J. H. Wilson and V. Galitski, “Breakdown of the Coherent State Path Integral: Two Simple Examples”, Physical Review Letters 106, 110401 (2011) – failures of naive continuum prescriptions for nonlinear Hamiltonians.
  9. F. D. M. Haldane, “Nonlinear Field Theory of Large-Spin Heisenberg Antiferromagnets”, Physical Review Letters 50, 1153–1156 (1983) – spin coherent-state phases in the continuum antiferromagnetic field theory.
  10. F. T. Arecchi, E. Courtens, R. Gilmore, and H. Thomas, “Atomic Coherent States in Quantum Optics”, Physical Review A 6, 2211–2237 (1972) – group-orbit coherent states and spin geometry.
  11. J. R. Klauder and B.-S. Skagerstam, Coherent States: Applications in Physics and Mathematical Physics, World Scientific (1985) – coherent-state families, symbols, geometry, and path integrals.
  12. J. W. Negele and H. Orland, Quantum Many-Particle Systems, CRC Press (2018 reissue) – bosonic and fermionic coherent-state functional integrals in many-body physics.

Starting from

⟨z′∣z⟩=exp⁡[−∣z′∣22−∣z∣22+zˉ′z],\langle z'|z\rangle = \exp\left[ -\frac{|z'|^2}{2} -\frac{|z|^2}{2} +\bar z'z \right],

derive ⟨z∣dz⟩\langle z|d z\rangle, AB\mathcal A_{\mathrm B}, and ΩB\Omega_{\mathrm B}.

Solution

Set z′=zz'=z in the bra and vary the ket. To first order,

⟨z∣z+dz⟩=exp⁡[12(zˉ dz−z dzˉ)]+O(∣dz∣2).\begin{aligned} \langle z|z+dz\rangle &= \exp\left[ \frac12 (\bar z\,dz-z\,d\bar z) \right] \\ &\quad+ \mathcal O(|dz|^2). \end{aligned}

Therefore

⟨z∣dz⟩=12(zˉ dz−z dzˉ).\langle z|d z\rangle = \frac12 (\bar z\,dz-z\,d\bar z).

Multiplying by iℏi\hbar gives

AB=iℏ2(zˉ dz−z dzˉ).\mathcal A_{\mathrm B} = \frac{i\hbar}{2} (\bar z\,dz-z\,d\bar z).

Taking an exterior derivative,

dAB=iℏ2(dzˉ∧dz−dz∧dzˉ)=iℏ dzˉ∧dz.\begin{aligned} d\mathcal A_{\mathrm B} &= \frac{i\hbar}{2} \left( d\bar z\wedge dz - dz\wedge d\bar z \right) \\ &= i\hbar\, d\bar z\wedge dz. \end{aligned}

Show that the holomorphic and symmetric bosonic kinetic terms differ by a total derivative. Explain why the difference vanishes for a smooth periodic path but cannot be dropped in an open propagator.

Solution

Use

ddt(zˉz)=zˉ˙z+zˉz˙.\frac{d}{dt}(\bar z z) = \dot{\bar z}z + \bar z\dot z.

Then

iℏzˉz˙−iℏ2(zˉz˙−zˉ˙z)=iℏ2ddt(zˉz).\begin{aligned} i\hbar\bar z\dot z &- \frac{i\hbar}{2} (\bar z\dot z-\dot{\bar z}z) \\ &= \frac{i\hbar}{2} \frac{d}{dt}(\bar z z). \end{aligned}

For a smooth periodic path, zˉ(T)z(T)=zˉ(0)z(0)\bar z(T)z(T)=\bar z(0)z(0), so the integral of the derivative is zero. In an open kernel it equals

iℏ2[zˉ(T)z(T)−zˉ(0)z(0)].\frac{i\hbar}{2} \left[ \bar z(T)z(T) - \bar z(0)z(0) \right].

That contribution combines with coherent-state normalization and the finite-slice endpoint term. Dropping it changes the kernel.

For z=n e−iθz=\sqrt n\,e^{-i\theta}, derive the Berry form and the equations of motion generated by H(n,θ)H(n,\theta).

Solution

Direct differentiation gives

zˉ dz−z dzˉ=−2in dθ.\bar z\,dz-z\,d\bar z = -2in\,d\theta.

Hence

AB=ℏn dθ.\mathcal A_{\mathrm B} = \hbar n\,d\theta.

The action is

S=∫dt (ℏnθ˙−H).S = \int dt\, (\hbar n\dot\theta-H).

Variation with respect to nn gives

ℏθ˙=∂H∂n.\hbar\dot\theta = \frac{\partial H}{\partial n}.

Variation with respect to θ\theta gives

ℏn˙=−∂H∂θ.\hbar\dot n = - \frac{\partial H}{\partial\theta}.

Thus θ\theta and ℏn\hbar n form a canonical pair on the patch n>0n>0.

Use the mixed endpoint equations for HN=ℏωzˉzH_{\mathrm N}=\hbar\omega\bar z z to recover the normalized coherent-state kernel.

Solution

The equations and boundary data are

z˙=−iωz,z(0)=zi,zˉ˙=iωzˉ,zˉ(T)=zˉf.\begin{aligned} \dot z &= -i\omega z, &z(0)&=z_i, \\ \dot{\bar z} &= i\omega\bar z, &\bar z(T)&=\bar z_f. \end{aligned}

Therefore

z(T)=zie−iωT.z(T) = z_i e^{-i\omega T}.

The bulk action vanishes on shell, while the Bargmann endpoint term gives

iSclℏ=zˉfzie−iωT.\frac{i\mathcal S_{\mathrm{cl}}}{\hbar} = \bar z_fz_i e^{-i\omega T}.

Normalized coherent states supply e−∣zf∣2/2−∣zi∣2/2e^{-|z_f|^2/2-|z_i|^2/2}. Thus

K=exp⁡[−∣zf∣22−∣zi∣22+zˉfzie−iωT].\begin{aligned} K &= \exp\Bigg[ -\frac{|z_f|^2}{2} -\frac{|z_i|^2}{2} \\ &\qquad+ \bar z_fz_i e^{-i\omega T} \Bigg]. \end{aligned}

Using AS−AN=2ℏs dϕ\mathcal A_{\mathrm S}-\mathcal A_{\mathrm N}=2\hbar s\,d\phi, show that changing patches around a loop of winding mm leaves the amplitude invariant precisely when 2s2s is an integer.

Solution

The action changes by

ΔS=∮(AS−AN).\Delta S = \oint (\mathcal A_{\mathrm S} - \mathcal A_{\mathrm N}).

For Δϕ=2πm\Delta\phi=2\pi m,

ΔS=4πℏsm.\Delta S = 4\pi\hbar s m.

The path-integral phase changes by

eiΔS/ℏ=ei4πsm=ei2π(2s)m.e^{i\Delta S/\hbar} = e^{i4\pi sm} = e^{i2\pi(2s)m}.

This equals one for every integer winding mm exactly when 2s∈Z2s\in\mathbb Z.

For HQ=ℏωscos⁡θH_Q=\hbar\omega s\cos\theta, derive the equations of motion from the northern-patch action.

Solution

The Lagrangian is

L=ℏs(cos⁡θ−1)ϕ˙−ℏωscos⁡θ.L = \hbar s(\cos\theta-1)\dot\phi - \hbar\omega s\cos\theta.

The θ\theta equation is

−ℏssin⁡θ ϕ˙+ℏωssin⁡θ=0.-\hbar s\sin\theta\,\dot\phi + \hbar\omega s\sin\theta = 0.

Away from the coordinate poles,

ϕ˙=ω.\dot\phi = \omega.

The ϕ\phi equation gives

−ℏssin⁡θ θ˙=0,-\hbar s\sin\theta\,\dot\theta = 0,

so θ˙=0\dot\theta=0. Continuity extends the result through the poles in a nonsingular patch.

7. Why the Euclidean Spin Weight Is Complex

Section titled “7. Why the Euclidean Spin Weight Is Complex”

Show how a real Berry one-form becomes an imaginary term in the Euclidean action. Does a complex weight imply that the Hamiltonian is non-Hermitian?

Solution

Write the real-time action as

S=∫A−∫dt H.S = \int\mathcal A - \int dt\,H.

With t=−iτt=-i\tau,

iSℏ=iℏ∫A−1ℏ∫dτ H.\frac{iS}{\hbar} = \frac{i}{\hbar} \int\mathcal A - \frac{1}{\hbar} \int d\tau\,H.

Therefore

SE=∫dτ H−i∫A.S_{\mathrm E} = \int d\tau\,H - i\int\mathcal A.

For the northern spin gauge, this gives

SE,B=iℏs∫dτ (1−cos⁡θ)∂τϕ.S_{\mathrm E,B} = i\hbar s \int d\tau\, (1-\cos\theta) \partial_\tau\phi.

The complex weight records geometric phase interference. It does not imply a non-Hermitian Hamiltonian.

8. Audit a Naive Coherent-State Calculation

Section titled “8. Audit a Naive Coherent-State Calculation”

A proposed derivation for H=U(a†a)2H=U(a^\dagger a)^2 replaces the Hamiltonian by U(zˉz)2U(\bar z z)^2, fixes both zz and zˉ\bar z at both endpoints, and then takes the continuum limit before checking a finite-slice expression. Identify the three independent problems.

Solution

First, the operator is not already a single normal-ordered monomial:

(a†a)2=(a†)2a2+a†a.(a^\dagger a)^2 = (a^\dagger)^2a^2 + a^\dagger a.

Its normal symbol is therefore

(zˉz)2+zˉz,(\bar z z)^2 + \bar z z,

not merely (zˉz)2(\bar z z)^2.

Second, first-order coherent-state equations require mixed endpoint data, such as z(0)z(0) and zˉ(T)\bar z(T). Fixing both variables at both ends generally overdetermines the saddle.

Third, removing the time lattice before deriving the adjacent-slice symbol and overlap discards the regulator that defines the continuum expression. A correct calculation must restore the finite-slice kernel and verify it against the exact finite-dimensional or spectral answer.