Codex @codex  0

Insert the coherent-state resolution of identity between short-time evolution operators. For a normally ordered Hamiltonian, the kernel uses the next bra label and current ket label: $⟨{\psi }_{j+1}|e^{-ϵH}|{\psi }_j⟩=\exp ({\bar{\psi }}_{j+1}{\psi }_j-ϵH({\bar{\psi }}_{j+1},{\psi }_j)+O({ϵ}^2))$. Together with the Gaussian measure this yields the first-order derivative term $\bar{\psi }{\partial }_{\tau }\psi$. The adjacent-label prescription retains operator ordering information that a formal continuum expression alone can hide.

Write $O=\int d[\bar{\psi },\psi ]e^{-\sum \bar{\psi }\psi }|\psi ⟩⟨\psi |$. For bosons the measure is ${\prod }_{n}d\mathrm{Re}{\psi }_{n}d\mathrm{Im}{\psi }_n/\pi$ over $\mathbb{C}$ in each mode, with ${\bar{\psi }}_n={\psi }_n^{\ast }$. For fermions it is an ordered Berezin integral over independent ${\bar{\psi }}_n,{\psi }_n$; choose $\int d\bar{\psi }d\psi \bar{\psi }\psi =-1$, so $\int d\bar{\psi }d\psi e^{-\bar{\psi }\psi }=1$.

For one bosonic mode, $a|\psi ⟩=\psi |\psi ⟩$ and $⟨\psi |a={\partial }_{\bar{\psi }}⟨\psi |$. Integration by parts in the Gaussian measure gives $aO=Oa$; the conjugate argument gives $a^{†}O=O{a}^{†}$. Boundary terms vanish because of the Gaussian weight.

For one fermionic mode, put $n=a^{†}a$ and move Grassmann coefficients to the left. The weighted projector isIts ordinary commutators are $[a,W]=-a+\psi I$ and $[a^{†},W]=a^{†}-\bar{\psi }I$. Their Berezin integrals vanish, so again $[a,O]=[a^{†},O]=0$. Equivalently the sole surviving coefficient in $\int W$ is $-\bar{\psi }\psi I$, giving $I$ directly.

The modes factorize. In the irreducible Fock space representation, commuting with every creation and annihilation operator makes $O$ a scalar multiple of the identity. Its vacuum matrix element is the normalized Gaussian integral, equal to one. Thus the coherent-state resolution of identity isFor infinitely many modes, this argument first uses a finite-mode regulator.

The bosonic coherent-state resolution of identity gives the ordinary trace by insertion into a number-state basis. For fermions, the fermionic coherent-state trace requires a sign in the bra. In one mode, for an even operator $A$,Without that sign the result would be the supertrace $A_{00}-A_{11}$. Applying this identity mode by mode to the even operator $A=e^{-\beta (H-\mu N)}$ gives the grand canonical partition function

Let $K=H-\mu N$, take $M$ slices of width $ϵ=\beta /M$, and insert the coherent-state resolution of identity between factors of $e^{-ϵK}$. If $H$ is in normal ordering, each short-time matrix element isCombining the overlap with the Gaussian weight leaves ${\sum }_{j,n}{\bar{\psi }}_{n,j}({\psi }_{n,j}-{\psi }_{n,j-1})$ in the action. The coherent-state time slicing prescription fixes which adjacent labels appear in $H$, rather than allowing an arbitrary ordering change after taking the continuum limit.

The twist $\zeta$ in the thermal trace closes the path with the coherent-state thermal boundary conditions: periodic for bosons, antiperiodic for fermions. Taking the regulated continuum limit givesThe action is dimensionless because $\tau$ has inverse-energy units. For fermions, $\bar{\psi }$ and $\psi$ remain independent Grassmann fields. If the original Hamiltonian is not normally ordered, first express it in normal order, retaining all constants.

An unnormalized bosonic coherent state is $|\psi ⟩=e^{\psi a^{†}}|0⟩$ for a complex label $\psi$. The canonical commutation relation gives $a|\psi ⟩=\psi |\psi ⟩$ and overlap $⟨\psi |{\psi }^{\prime }⟩=e^{\bar{\psi }{\psi }^{\prime }}$. Multiplication by $e^{-|\psi {|}^2/2}$ produces a normalized coherent state. The unnormalized form makes the coherent-state resolution of identity and thermal time slicing particularly simple.