An approximation and alternative-formalism concept defining methods for computing quantum predictions when exact solutions are impractical. It governs controlled expansions, action-based formulations, and phase-space representations that support analytic and numerical work. It does not ensure accuracy outside its regime of validity and requires explicit error assessment or convergence checks. It enables tractable estimates of spectra, transition rates, and dynamical behavior across a wide range of models. The concept is generally stable, though improved algorithms and convergence techniques evolve over time.

Principle

Quantum amplitudes are formed by the coherent sum of phase contributions from every path; constructive interference near stationary action paths produces the classical limit, while fluctuations around those paths generate quantum corrections captured by determinants and loop expansions.

Demonstration

Direct evaluations include the free‑particle Gaussian path integral that reproduces the known propagator, the exact harmonic oscillator path integral giving Mehler kernels, and semiclassical instanton path sums that compute tunneling rates in double‑well potentials.

Misapplication

Treating the functional measure as an ordinary Lebesgue measure without discretization or regularization, ignoring necessary boundary conditions, or attempting to sum only classical trajectories without including fluctuation determinants misuses the method and produces incorrect results.

Consequence

When correctly defined (via time-slicing, analytic continuation to Euclidean time, or other regularizations), the path integral provides a basis for perturbation theory, derivation of Feynman diagrams, nonperturbative semiclassical approximations, and the quantization of fields and gauge theories.

Reversal

The reverse viewpoint is the canonical operator formalism (Hilbert space operators, commutators, spectral decomposition); the two are formally equivalent in many cases, though each offers different calculational and conceptual advantages.

Boundary

The path integral is a formal infinite‑dimensional oscillatory integral requiring regularization, careful handling of measure, gauge fixing for redundant degrees of freedom, and attention to operator ordering; literal interpretation as a sum of classical trajectories is heuristic and must be backed by proper definition.

Semantic Tension

There is tension between interpreting the path integral as the literal sum over physical histories and treating it as a mathematical device defined by limiting procedures (time-slicing, lattice) or analytic continuation; there is also tension between real‑time oscillatory integrals and Euclidean (imaginary‑time) formulations used for rigorous definitions and numerics.

Synthesis

The Feynman path integral is an action-based representation of quantum dynamics: operationally defined through discretization or continuation, it expresses amplitudes as phase-weighted sums over histories and underlies perturbative Feynman rules, semiclassical approximations, and field quantization.