A Stochastic Approach to the Definition of the Path Integral Measure
Timur Obolenskiy
TL;DR
The paper tackles the long-standing problem of a rigorous path integral measure in Lorentzian quantum mechanics by restricting the path space to a tubular neighborhood around a classical trajectory and formulating fluctuations as a Gaussian $L^2$-flux process on a covariant bundle. It develops a complete geometric and probabilistic framework: a tubular normal-bundle geometry, a separable $L^2$ flux space, a covariant stochastic dynamics, and a Gaussian measure whose Radon–Nikodym derivative yields a well-defined stochastic path integral $I_oldsymbol{μ}(O)=\mathbb{E}_oldsymbol{μ}[O(X) e^{(i/\\hbar)S(X)}]$, along with a semigroup structure and a Riemann product convergence. The work proves the stochastic construction is equivalent to the Euclidean theory via Wick rotation and to the Feynman–Kac theorem, enabling transfer of rigorous Euclidean results to a Lorentzian, tube-confined setting. This approach highlights the role of normal and longitudinal fluctuations and offers a pathway to extensions to gauge theories, topologies, and more general path-space geometries while addressing convergence and measure-definition issues inherent in traditional path integrals.
Abstract
We to define a Stochastic Path Integral in Lorentzian time by restricting the relevant domain of integration on $C([0,1],M)$ over a Riemannian configuration manifold $(M,g)$ and considering the dynamics of a particle evolving between to fixed endpoints with a referential non-degenerate classical trajectory. Through fibration, we reduce the infinite-dimensional space under consideration to an $L^2$-isometric flux spaces in which we consider a stochastic process associated to a Gaussian measure. The Path Integral is subsequently defined as an expectation value with respect to the Gaussian measure, allowing us to rigorously formulate the former as a functional integral. We prove equivalence of the Stochastic Path Integral to the Euclidean Path Integral theory and the Feynman-Kac theorem.
