Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2107.14562 · Quantum

Time-Slicing Path-integral in Curved Space

Mingnan Ding, Xiangjun Xing

Published Apr 21, 2022• 8 citations
arXivHTMLPDF

Abstract

Path integrals constitute powerful representations for both quantum and stochastic dynamics. Yet despite many decades of intensive studies, there is no consensus on how to formulate them for dynamics in curved space, or how to make them covariant with respect to nonlinear transform of variables (NTV). In this work, we construct a rigorous and covariant formulation of time-slicing path integrals for dynamics in curved space. We first establish a rigorous criterion for equivalence of time-slice Green's function (TSGF) in the continuum limit (Lemma 1). This implies the existence of infinitely many equivalent representations for time-slicing path integral. We then show that, for any dynamics with second order generator, all time-slice actions are equivalent to a Gaussian (Lemma 2). We further construct a continuous family of equivalent path-integral actions parameterized by an interpolation parameter α∈[0,1] (Lemma 3). The action generically contains term linear in Δx , whose concrete form depends on α . Finally we also establish the covariance of our path-integral formalism, by demonstrating how the action transforms under NTV. The α=0 representation of time-slice action is particularly convenient because it is Gaussian and transforms as a scalar, as long as Δx transforms according to Ito's formula .

DOI
10.22331/q-2022-04-21-694

Related papers

Selecta from a Life-Long Obsession with Path Integrals

John R. Klauder, Christopher Casenas Bernido, M. Victoria Carpio-Bernido

The definition and interpretation of canonical, phase space path integrals has evolved over many years to achieve a form that now admits a correct and rigorous formulation, which is also covariant under canonical coordinate transformations. Such formulations involve coherent state representations, which, in their modern version, were originally introduced as an alternative tool to construct phase space path integrals. Moreover, coherent state representations lead to physical interpretations that are more natural than those afforded by more traditional representations. Suitable continuous time regularization procedures lead to a covariant phase space path integral formulation that greatly clarifies the vague phrase that canonical quantization requires Cartesian coordinates.

AIP conference proceedings•Jan 1, 2008•0 citations

A Rigorous Path Integral Construction in any Dimension

Alexander Dynin

We propose a new rigorous time-slicing construction of the phase space Path Integrals for propagators both in Quantum Mechanics and Quantum Field Theory for a fairly general class of quantum observables (e.g. the Schroedinger hamiltonians with smooth scalar potentials of any power growth). Moreover we allow time-dependent hamiltonians and a great variety of discretizations, in particular, the standard, Weyl, and normal ones.

arXiv:math/9802058•Feb 11, 1998•0 citations

Path Integral Quantization and Riemannian-Symplectic Manifolds

Sergei V. Shabanov, John R. Klauder

We develop a mathematically well-defined path integral formalism for general symplectic manifolds. We argue that in order to make a path integral quantization covariant under general coordinate transformations on the phase space and involve a genuine functional measure that is both finite and countably additive, the phase space manifold should be equipped with a Riemannian structure (metric). A suitable method to calculate the metric is also proposed. 1. Most quantization formulations lead to correct results only when the system in question is expressed in one of a family of special (Cartesian) coordinate systems [1]. However, for Hamiltonian systems on a generic symplectic manifold, the canonical variables do not admit such special coordinates. Moreover classical Hamiltonian dynamics exhibits covariance under general coordinate transformations on the symplectic manifold, and, in this sense, is coordinate-free. This covariance is lost upon a formal phase-space path integral quantization. The reason is that the Hamiltonian action involves terms linear in the time derivatives and, therefore, its exponential (even in Euclidean time) does not induce a

•Jan 1, 1998•6 citations

Lagrangian and phase-space formulations

Giampiero V. M. Esposito, Giuseppe Marmo, George Sudarshan

We begin with a presentation of the Schwinger variational principle in quantum mechanics. In the second part, after a re-assessment of the problem of motion in quantum mechanics, it is shown that the Green kernel, which represents the probability amplitude of finding a particle in space at a given time, once its location at another time is known, can be represented by a sum over ‘space–time paths’. According to this interpretation, one integrates the exponential of i times the classical action divided by ħ, with a (formal) measure over all space–time paths matching the initial location x i at time t i and the final location x f at time t f . Such a way of evaluating the Green kernel is applied to any quadratic Lagrangian for a generic quantum system including, in particular, the harmonic oscillator and the free particle. Lastly, we outline a formalism which involves ordinary functions of commuting variables, and exactly reproduces ordinary quantum mechanics. It works with a phase space endowed with commuting coordinates, so that one is dealing with quantum mechanics in phase space. The Schwinger formulation of quantum dynamics In both the Schrödinger formulation in terms of wave functions (with associated state vectors) and the Heisenberg formulation in terms of noncommuting matrices (with corresponding linear operators) the dynamical evolution is specified in terms of the Hamiltonian. This has motivated our presentation of classical dynamics, but is in marked contrast with the view according to which the Lagrangian and the action specify the dynamics. Hamilton's principle is formulated in terms of the action, the time integral of the Lagrangian.

Cambridge University Press eBooks•Mar 11, 2004•0 citations

Classical and Fluctuating Paths in Spaces with Curvature and Torsion

Hagen M. Kleinert

This conference talk elaborates on a recently discovered mapping procedure by which classical orbits and path integrals for the motion of a point particle in flat space can be transformed correctly into those in curved space. This procedure evolved from well established methods in the theory of plastic deformations where crystals with defects are described mathematically by applying nonholonomic coordinate transformations to ideal crystals. In the context of time-sliced path integrals, there seems to exists a quantum equivalence principle which determines the measures of fluctating orbits in spaces with curvature and torsion. The nonholonomic transformations produce a nontrivial Jacobian in the path measure which in a curved space produces an additional term proportional to the curvature scalar canceling a similar term found earlier by DeWitt from a naive formulation of Feynman's time-sliced path integral. This cancelation is important in correctly describing semiclassically and quantum mechanically various systems such as the hydrogen atom, a particle on the surface of a sphere, and a spinning top. It is also indispensible for the process of bosonization, by which Fermi particles are redescribed in terms of Bose fields.

arXiv:quant-ph/9606001•Jun 3, 1996•3 citations

Path Integral Invariance under Point Transformations

Andres Jordan, Matias Libedinsky

We give here a covariant definition of the path integral formalism for the Lagrangian, which leaves a freedom to choose anyone of many possible quantum systems that correspond to the same classical limit without adding new potential terms nor searching for a strange measure, but using as a framework the geometry of the spaces considered. We focus our attention on the set of paths used to join succesive points in the discretization if the time-slicing definition is used to calculate the integral.If this set of paths is not preserved when performing a point transformation, the integral may change. The reasons for this are geometrically explained. Explicit calculation of the Kernel in polar coordinates is made, yielding the same system as in Cartesian coordinates.

arXiv:hep-th/9703173•Mar 25, 1997•52 citations
Path integrals constitute powerful representations for both quantum and stochastic dynamics. Yet despite many decades of intensive studies, there is no consensus on how to formulate them for dynamics in curved space, or how to make them covariant with respect to nonlinear transform of variables (NTV). In this work, we construct a rigorous and covariant formulation of time-slicing path integrals for dynamics in curved space. We first establish a rigorous criterion for equivalence of time-slice Green's function (TSGF) in the continuum limit (Lemma 1). This implies the existence of infinitely many equivalent representations for time-slicing path integral. We then show that, for any dynamics with second order generator, all time-slice actions are equivalent to a Gaussian (Lemma 2). We further construct a continuous family of equivalent path-integral actions parameterized by an interpolation parameter α∈[0,1] (Lemma 3). The action generically contains term linear in Δx , whose concrete form depends on α . Finally we also establish the covariance of our path-integral formalism, by demonstrating how the action transforms under NTV. The α=0 representation of time-slice action is particularly convenient because it is Gaussian and transforms as a scalar, as long as Δx transforms according to Ito's formula .
The definition and interpretation of canonical, phase space path integrals has evolved over many years to achieve a form that now admits a correct and rigorous formulation, which is also covariant under canonical coordinate transformations. Such formulations involve coherent state representations, which, in their modern version, were originally introduced as an alternative tool to construct phase space path integrals. Moreover, coherent state representations lead to physical interpretations that are more natural than those afforded by more traditional representations. Suitable continuous time regularization procedures lead to a covariant phase space path integral formulation that greatly clarifies the vague phrase that canonical quantization requires Cartesian coordinates.
We develop a mathematically well-defined path integral formalism for general symplectic manifolds. We argue that in order to make a path integral quantization covariant under general coordinate transformations on the phase space and involve a genuine functional measure that is both finite and countably additive, the phase space manifold should be equipped with a Riemannian structure (metric). A suitable method to calculate the metric is also proposed. 1. Most quantization formulations lead to correct results only when the system in question is expressed in one of a family of special (Cartesian) coordinate systems [1]. However, for Hamiltonian systems on a generic symplectic manifold, the canonical variables do not admit such special coordinates. Moreover classical Hamiltonian dynamics exhibits covariance under general coordinate transformations on the symplectic manifold, and, in this sense, is coordinate-free. This covariance is lost upon a formal phase-space path integral quantization. The reason is that the Hamiltonian action involves terms linear in the time derivatives and, therefore, its exponential (even in Euclidean time) does not induce a
We begin with a presentation of the Schwinger variational principle in quantum mechanics. In the second part, after a re-assessment of the problem of motion in quantum mechanics, it is shown that the Green kernel, which represents the probability amplitude of finding a particle in space at a given time, once its location at another time is known, can be represented by a sum over ‘space–time paths’. According to this interpretation, one integrates the exponential of i times the classical action divided by ħ, with a (formal) measure over all space–time paths matching the initial location x i at time t i and the final location x f at time t f . Such a way of evaluating the Green kernel is applied to any quadratic Lagrangian for a generic quantum system including, in particular, the harmonic oscillator and the free particle. Lastly, we outline a formalism which involves ordinary functions of commuting variables, and exactly reproduces ordinary quantum mechanics. It works with a phase space endowed with commuting coordinates, so that one is dealing with quantum mechanics in phase space. The Schwinger formulation of quantum dynamics In both the Schrödinger formulation in terms of wave functions (with associated state vectors) and the Heisenberg formulation in terms of noncommuting matrices (with corresponding linear operators) the dynamical evolution is specified in terms of the Hamiltonian. This has motivated our presentation of classical dynamics, but is in marked contrast with the view according to which the Lagrangian and the action specify the dynamics. Hamilton's principle is formulated in terms of the action, the time integral of the Lagrangian.
This conference talk elaborates on a recently discovered mapping procedure by which classical orbits and path integrals for the motion of a point particle in flat space can be transformed correctly into those in curved space. This procedure evolved from well established methods in the theory of plastic deformations where crystals with defects are described mathematically by applying nonholonomic coordinate transformations to ideal crystals. In the context of time-sliced path integrals, there seems to exists a quantum equivalence principle which determines the measures of fluctating orbits in spaces with curvature and torsion. The nonholonomic transformations produce a nontrivial Jacobian in the path measure which in a curved space produces an additional term proportional to the curvature scalar canceling a similar term found earlier by DeWitt from a naive formulation of Feynman's time-sliced path integral. This cancelation is important in correctly describing semiclassically and quantum mechanically various systems such as the hydrogen atom, a particle on the surface of a sphere, and a spinning top. It is also indispensible for the process of bosonization, by which Fermi particles are redescribed in terms of Bose fields.
We give here a covariant definition of the path integral formalism for the Lagrangian, which leaves a freedom to choose anyone of many possible quantum systems that correspond to the same classical limit without adding new potential terms nor searching for a strange measure, but using as a framework the geometry of the spaces considered. We focus our attention on the set of paths used to join succesive points in the discretization if the time-slicing definition is used to calculate the integral.If this set of paths is not preserved when performing a point transformation, the integral may change. The reasons for this are geometrically explained. Explicit calculation of the Kernel in polar coordinates is made, yielding the same system as in Cartesian coordinates.