Semiclassical Expansions and Integration Cycles

Semiclassical physics is not obtained by solving a classical equation and attaching a determinant. A complete contribution requires a dimensionless control parameter, boundary data and an integration cycle, the correct nonzero-mode determinant, collective-coordinate measures, negative-mode phases, renormalization, and an error estimate. This chapter develops those ingredients in the order needed to turn a saddle into a controlled observable.

Helpful background. Saddles and the semiclassical expansion supplies the elementary Gaussian construction; asymptotic scales, remainders, and uniformity supplies the language for controlling a nonconvergent expansion.

Check your preparation

Use the observable tasks below as a routing diagnostic; no score is attached.

Task	Ready: entry unlocked	Unsure: quick cue	Repair route
Identify the Hessian of a stationary configuration and explain why a gapped nonzero mode is Gaussian to leading order	Begin with saddles and loop counting	Expand the action to second order and ask which linear term vanishes	Saddles and the semiclassical expansion
Name the expanded observable, limiting process, and first omitted asymptotic scale	Use any reading path below and keep its error criterion explicit	“Small coupling” alone is not a remainder estimate	Asymptotic scales, remainders, and uniformity
Separate a critical point from the integration cycle that decides its coefficient	The complex-saddle and Stokes pages are open	Solving $\delta S=0$ finds candidates, not intersection numbers	Laplace’s method and steepest descent

If the first two tasks are ready but the third is not, pages 1–4 and 6–8 remain useful; repair contour deformation before page 5.

Scope and boundaries

The reusable calculation developed here turns a specified saddle problem into a renormalized contribution: scaling, loop counting, determinant normalization, collective coordinates, negative and complex directions, multi-saddle sums, and observable-level error tests. General theories of asymptotic analysis, spectral determinants, gauge fixing, and renormalization are used through their canonical pages rather than redeveloped here.

The worked examples are a regulated quartic integral and a dimensionless quantum-mechanical double well. They expose the logic needed in QFT without claiming that finite-dimensional Picard–Lefschetz theory automatically proves an infinite-dimensional path integral. Model-specific gauge instantons belong to Instantons, Fermion Zero Modes, and Tunneling; complete false-vacuum rates belong to Metastability and Vacuum Decay; Borel–transseries reconstruction belongs to Resurgence, Transseries, and Large-Order Structure; numerical implementations and continuum evidence belong to Volume 8: Lattice QFT and Hamiltonian Methods; and rigorous functional-integral status belongs to Volume 16: Mathematical QFT and Rigorous Structures.

How to read the chapter’s claims

Claim class	What the chapter establishes	Boundary of the claim
Definition	Specifies saddles, fluctuation sectors, thimbles, collective coordinates, renormalized prefactor packages, and observable-level validity tests	A definition fixes the calculation’s objects and conventions; it does not establish their existence in an unregulated QFT
Derivation	Obtains loop counting, determinant and collective-coordinate factors, oriented-cycle relations, dilute combinatorics, and the double-well transfer matrix from stated hypotheses	The conclusion inherits the regulator, boundary conditions, spectral assumptions, and integration cycle used in the derivation
Approximation	Uses the one-loop, dilute-ensemble, and truncated multi-saddle formulas when their dimensionless control tests hold	These are asymptotic, regime-dependent claims with omitted scales, not claims that the semiclassical series converges
Numerical evidence	Checks finite-dimensional quartic flows and compares the double-well splitting with direct diagonalization	The checks test the specified formulas and breakdown diagnostics in those models; they are not proofs for continuum QFT

Evidence ceiling. The finite-dimensional thimble checks and the quantum-mechanical double-well benchmark do not establish the existence or rigor of an infinite-dimensional functional integral, removal of its regulator, or convergence of a semiclassical or instanton expansion. Those questions require the explicit handoffs to Volume 8 for regulated numerical evidence and Volume 16 for theorem-level status.

From a saddle to an observable

For a regulated Euclidean integral with weight $e^{-S_E/g}$, the contribution of a saddle family $\sigma$ has the schematic form

$$\mathcal Z_\sigma[\mathcal O] \sim n_\sigma\, e^{-S_{\sigma,\rm ren}/g} e^{i\alpha_{\Gamma,\sigma}} \int_{\mathcal M_\sigma}\mathrm d\mu_\sigma\, \mathcal P_{\sigma,\rm ren}(\mu) \mathcal I_\sigma[\mathcal O]\, \bigl[1+O(g)\bigr].$$

Every factor answers a different question:

• $n_\sigma$ says whether the original integration cycle contains the saddle’s thimble;
• $S_{\sigma,\rm ren}/g$ supplies the leading exponential suppression;
• $\alpha_{\Gamma,\sigma}$ is the contour phase, including the treatment of negative directions;
• $\mathrm d\mu_\sigma$ replaces normalizable zero modes by physical moduli;
• $\mathcal P_{\sigma,\rm ren}$ is the prefactor package combining the regulated nonzero-mode determinant ratio with its local counterterms in one scheme;
• $\mathcal I_\sigma[\mathcal O]$ carries the insertion and its projected propagators;
• $O(g)$ denotes loop corrections only after all soft directions have been removed from ordinary perturbation theory.

The formula is schematic because a false-vacuum rate, a level splitting, and a correlation function use different boundary conditions and normalizations. The pages in this chapter make each specialization explicit.

The Euclidean convention is $e^{-S_E}$ before an explicit small parameter is factored out. Lorentzian formulas inherit the site-wide $(+---)$ metric convention. All control inequalities are stated in dimensionless variables; zero, gauge, negative, and parametrically soft directions are kept distinct.

A route through the chapter

1. Saddles, control parameters, and loop counting identifies the dimensionless large-action limit, derives the loop power $g^{L-1}$, and explains why boundary data and intersection numbers—not real action alone—select saddles. Its quartic-double-well instanton fixes the chapter’s normalization.

2. Fluctuation operators and determinant ratios derives the one-loop ratio from the second variation, states the Gel’fand–Yaglom hypotheses, and evaluates the reduced Pöschl–Teller determinant.

3. Zero modes, collective coordinates, and moduli measures replaces a normalizable symmetry zero mode by its invariant moduli measure and separates physical moduli from gauge redundancy.

4. Negative modes and instability indices relates the Morse index to steepest Gaussian directions and distinguishes a stable tunneling instanton from a one-negative-mode false-vacuum bounce.

5. Complex saddles, Lefschetz thimbles, and integration cycles defines downward and dual cycles, obtains their intersection numbers, and checks a quartic integral against an exact Bessel representation.

6. Multi-saddle sums and dilute ensembles derives ordered-center factors, exponentiation, and the double-well transfer matrix, then states where correlated-event interactions invalidate the ideal gas.

7. Stokes jumps, saddle dominance, and contour dependence distinguishes phase alignment from equal magnitude and uses a tilted double well to show how an exponentially small avoided crossing smooths a limiting saddle cusp.

8. Renormalized saddle contributions and validity tests combines actions, determinants, measures, counterterms, and insertions; it defines a quantitative comparison between the double-well splitting and direct diagonalization and builds an explicit error budget.

The comparison of canonical saddle calculations provides a compact cross-check of actions, mode counts, determinant prescriptions, contours, renormalization, and failure regimes across several standard examples.

Reading paths by physical question

Stable tunneling and level splitting. Read pages 1–3, then pages 6 and 8. This path derives the instanton action, determinant, translation measure, dilute sum, and spectral test.

Metastable decay. Read pages 1–4 and 8. The negative-mode contour and false-vacuum boundary prescription are indispensable; a real instanton formula cannot simply be reinterpreted as a rate.

Complex saddles and parameter continuation. Read pages 1, 4, 5, and 7. This path separates local complex critical points from their global intersection numbers and keeps Stokes jumps distinct from dominance changes.

QFT prefactors. Read pages 1–4 and 8 together with the linked heat-kernel and renormalization material. The determinant divergence, collective measure, ghost or gauge quotient, and counterterms must be treated in the same regulator and scheme.

Control boundaries

A semiclassical answer should state which of the following can invalidate it:

$$\frac{\operatorname{Re}\Delta S}{g}\not\gg1, \qquad 0<\frac{|\lambda_{\rm soft}|}{\lambda_{\rm gap}}\ll1, \qquad \kappa\xi\not\ll1, \qquad g_{\rm ren}(1/\rho)\not\ll1.$$

These warnings respectively diagnose unsuppressed neighboring saddles, a parametrically soft nonzero mode that has separated from the ordinary spectrum, overlap of localized events, and strong running coupling at saddle size $\rho$. The soft-mode ratio is a breakdown flag, not a quantity whose smallness improves the ordinary determinant. Additional boundaries include a Stokes connection, a saddle coalescence, an infrared-divergent moduli integral, an unstable regulator limit, or uncanceled renormalization-scale dependence.

The relevant remedy depends on the failure:

Failure	Required reorganization
Isolated zero mode	Collective coordinate and primed determinant
Parametrically soft nonzero mode	Explicit non-Gaussian integral or uniform approximation
One physical negative mode	Contour continuation tied to the boundary prescription
Stokes connection	Simultaneous update of thimble basis and intersection numbers
Overlapping instantons	Connected-cluster or correlated-event expansion
Ultraviolet determinant divergence	Local counterterms in a fixed renormalization scheme
Strong-coupling or infrared moduli endpoint	New effective description, regulator, or non-semiclassical method

No single “large action” statement substitutes for this classification.

Review map

Use these capabilities to decide whether to review a leaf or continue to an application.

Capability	A successful answer must show	Repair route
Organize the saddle expansion	Expose the parameter multiplying the dimensionless action, derive loop counting, and state the contour and boundary data	Saddles, control parameters, and loop counting
Assemble a one-loop measure	Give the determinant domain, zero-mode projection, collective-coordinate Jacobian, and physical dimensions	Fluctuation operators and zero modes
Interpret unstable or complex directions	Keep the Gaussian phase, original cycle, intersection numbers, and Stokes continuation distinct	Negative modes and complex saddles
Sum more than one saddle	Enforce endpoint or charge constraints and test overlap and connected-cluster corrections	Multi-saddle sums and Stokes and dominance
State a physical prediction	Combine renormalization, insertions, sector normalization, and a term-by-term error budget	Renormalized saddle contributions

Review the chapter

These overview-level prompts test whether the calculation can be reconstructed and interpreted; use the linked leaf when a success criterion is missing.

Review prompt	Concise success criteria	Repair links
Reconstruct the leading one-instanton fugacity for the dimensionless double well	Combine $\mathcal S_I=4/3$, $\det{}'M_I/\det M_0=1/48$, and $G_{\tau_0\tau_0}=4/3$ to obtain $\kappa=4\sqrt{2/(\pi g)}\,e^{-4/(3g)}$ per unit Euclidean time	Loop counting, determinant ratios, and zero modes
Classify one exact translation zero mode, one mode with $\lambda_{\rm soft}\sim g$, and an otherwise order-one positive spectrum	Replace the zero mode by its collective coordinate; retain the soft mode in an explicit non-Gaussian integral or uniform approximation; include only the gapped spectrum in the ordinary determinant	Zero modes and validity tests
Decide what follows from $\operatorname{Im}(\Delta S/g)=0$ and $\operatorname{Re}(\Delta S/g)=7$	Require an oriented connecting flow and its integer incidence before changing the basis; transform thimbles and intersection coefficients together; compare the approximate $e^{-7}$ suppression, including prefactors, with the requested accuracy	Complex saddles and Stokes and dominance
Explain why agreement in an instanton exponent does not validate a decay rate	Check the physical negative mode, false-vacuum contour, translation Jacobian, renormalized prefactor, multi-bounce corrections, and finite-volume effects; distinguish an imaginary decay amplitude from a real level splitting	Negative modes, renormalized contributions, and vacuum decay

Continue from this chapter

• To apply the calculation engine to gauge instantons, fermion zero modes, and selection rules, continue to Instantons, Fermion Zero Modes, and Tunneling.
• To distinguish a stable tunneling amplitude from a metastable decay rate and calculate the latter consistently, continue to Metastability and Vacuum Decay.
• To match correlated saddles to large-order perturbation theory and cancel lateral ambiguities, continue to Resurgence, Transseries, and Large-Order Structure.
• To turn a semiclassical prediction into a regulated numerical comparison, use Volume 8: Lattice QFT and Hamiltonian Methods; for theorem-level questions about functional integration, use Volume 16: Mathematical QFT and Rigorous Structures.

References

• Callan, Curtis G., Jr., and Sidney Coleman. “Fate of the False Vacuum. II. First Quantum Corrections.” Physical Review D 16 (1977): 1762–1768. DOI.
• Coleman, Sidney. Aspects of Symmetry: Selected Erice Lectures. Cambridge University Press, 1985, ch. 7, pp. 265–350. DOI.
• Dunne, Gerald V. “Functional Determinants in Quantum Field Theory.” Journal of Physics A: Mathematical and Theoretical 41 (2008): 304006. DOI.
• Mariño, Marcos. Instantons and Large N: An Introduction to Non-Perturbative Methods in Quantum Field Theory. Cambridge University Press, 2015, ch. 1, pp. 3–61. DOI.
• Witten, Edward. “Analytic Continuation of Chern–Simons Theory.” In Chern–Simons Gauge Theory: 20 Years After, AMS/IP Studies in Advanced Mathematics 50 (2011): 347–446. arXiv:1001.2933.