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:1003.1156 · Letters in Mathematical Physics

Feynman-Diagrammatic Description of the Asymptotics of the Time Evolution Operator in Quantum Mechanics

Theo Johnson-Freyd

Published Sep 29, 2010• 8 citations
arXivHTMLPDF

Abstract

We describe the “Feynman diagram” approach to nonrelativistic quantum mechanics on $${\mathbb{R}^n}$$ , with magnetic and potential terms. In particular, for each classical path γ connecting points q 0 and q 1 in time t, we define a formal power series V γ (t, q 0, q 1) in $${\hbar}$$ , given combinatorially by a sum of diagrams that each represent finite-dimensional convergent integrals. We prove that exp(V γ ) satisfies Schrödinger’s equation, and explain in what sense the $${t \to 0}$$ limit approaches the δ distribution. As such, our construction gives explicitly the full $${\hbar\to 0}$$ asymptotics of the fundamental solution to Schrödinger’s equation in terms of solutions to the corresponding classical system. These results justify the heuristic expansion of Feynman’s path integral in diagrams.

DOI
10.1007/s11005-010-0424-2

Related papers

On convergence of the Feynman path integral in phase space

Wataru Ichinose

It was an interested and important problem to give the description of quantization, i.e. of passing from classical physical systems to the corresponding quantum ones, from the moment that quantum mechanics came into existence. In the end we succeeded in giving it as follows: Let L be a Lagrangian function. Then the Hamiltonian function H is defined through the Legendre transformation of L. The Hamiltonian operator ( ) at time in quantum mechanics is defined from H. It should be noted that ( ) has ordering ambiguities (cf. [14]). Let be a probability amplitude at time . Then its temporal evolution can be given by the solution of the Schrodinger equation

Osaka Journal of Mathematics•Mar 1, 2002•1 citation

Path integration with non-positive distributions and applications to the Schrödinger equation

Ekaterina S. Nathanson

In 1948, Richard Feynman published the first paper on his new approach to non-relativistic quantum mechanics. Before Feynman's work there were two mathematical formulations of quantum mechanics. Schrödinger's formulation was based on PDE (the Schrödinger equation) and states representation by wave functions, so it was in the framework of analysis and differential equations. The other formulation was Heisenberg's matrix algebra. Initially, they were thought to be competing. The proponents of one claimed that the other was “ wrong. ” Within a couple of years, John von Neumann had proved that they are equivalent.\nAlthough Feynman's theory was not fundamentally new, it nonetheless offered an entirely fresh and different perspective: via a precise formulation of Bohr's correspondence principle, it made quantum mechanics similar to classical mechanics in a precise sense. In addition, Feynman's approach made it possible to explain physical experiments, and, via diagrams, link them directly to computations. What resulted was a very powerful device for computing energies and scattering amplitudes - the famous Feynman's diagrams.\nIn his formulation, Feynman aimed at representing the solution to the non-relativistic Schrödinger equation in the form of an “ average ” over histories or paths of a particle. This solution is commonly known as the Feynman path integral. It plays an important role in the theory but appears as a postulate based on intuition coming from physics rather than a justified mathematical object. This is why Feynman's vision has caught the attention of many mathematicians as well as physicists.\nThe papers of Gelfand, Cameron, and Nelson are among the first, and more substantial, attempts to supply Feynman's theory with a rigorous mathematical foundation. These attempts were followed by many others, but unfortunately all of them were not quite satisfactory. The difficulty comes from a need to define a measure on an infinite-dimensional space of continuous functions that represent all possible paths of a particle. This Feynman's measure has to produce an integral with the properties requested by Feynman. In particular, the expression for the Feynman measure has to involve the non-absolutely integrable Fresnel integrands. The non-absolute integrability of the Fresnel integrands makes the measure fail to be positive and to have the countably additive property. Thus, a well-defined measure in the case of the Feynman path integral does not exist.\nExtensive research has been done on the methods of relating the Feynman path integral to the integral with respect to the Wiener measure. The method of analytic continuation in mass defines the Feynman path integral as a certain limit of the Wiener integrals. Unfortunately, this method can be used as definition for only almost all values of the mass parameter in the Schrödinger equation. For physicists, this is not a satisfactory result and needs to be improved.\nIn this work we examine those questions which originally led to the Feynman path integral. By now we know that Feynman's “ dream ” cannot be realized as a positive and countably additive measure on the path-space. Here, we offer a new way out by modifying Feynman's question, and thereby achieving a solution to the Schrödinger equation via a different kind of averages in the path-space.\nWe give our version of the question that Feynman “ should have asked ” in order to realize the elusive path integral. In our formulation, we get a Feynman path integral as a limit of linear functionals, as opposed to the more familiar inductive limits of positive measures, traditionally used for constructing the Wiener measure, and related Gaussian families. We adapt here an approach pioneered by Patrick Muldowney. In it, Muldowney suggested a Henstock integration technique in order to deal with the non-absolute integrability of the kind of Fresnel integrals which we need in our solution to Feynman's question. By applying Henstock's theory to Fresnel integrals, we construct a complex-valued “ probability distribution functions ” on the path-space. Then we use this “ probability ” distribution function to define the Feynman path integral as an inductive limit. This establishes a mathematically rigorous Feynman limit, and at the same time, preserves Feynman's intuitive idea in resulting functional. In addition, our definition, and our solution, do not place any restrictions on any of the parameters in the Schrödinger equation, and have a potential to offer useful computational experiments, and other theoretical insights.

•Jul 1, 2014•5 citations

Feynman Path Integral and Landau Density Matrix in Probability Representation of Quantum States

Olga V. Man’ko

The quantizer–dequantizer method is employed. Using the construction of probability distributions describing density operators of a quantum system states, the connection between the Feynman path integral and the time evolution of the density operator (Landau density matrix) as well as the wave function of the stateconsidered. For single–mode systems with continuous variables, a tomographic propagator is introduced in the probability representation of quantum mechanics. An explicit expression for the probability in terms of the Green function of the Schrödinger equation is obtained. Equations for the Green functions defined by arbitrary integrals of motion are derived. Examples of probability distributions describing the evolution of state of a free particle, as well as states of systems with integrals of motion that depend on time (oscillator type) are discussed.

Physics•Dec 12, 2025•1 citation

ON CONVERGENCE OF THE FEYNMAN PATH INTEGRAL FORMULATED THROUGH BROKEN LINE PATHS

Wataru Ichinose

We study the convergence of the Feynman path integral formulated through broken line paths in nonrelativistic quantum mechanics. The rigorous proof of its convergence had been given little except for special cases for a long time. In the preceding paper the author showed for a class of potentials that this path integral converges and gives the probability amplitude, i.e. the solution of the Schrödinger equation. In the present paper we generalize this result, showing the boundedness theorem on the weighted Sobolev spaces for some integral operators and joining this boundedness theorem to the method in the preceding paper. We note that the result obtained is gauge invariant.

Reviews in Mathematical Physics•Sep 1, 1999•24 citations

The Classical Limit of Quantum Mechanics

Velton Wade Hefley

The Feynman path integral formulation of quantum mechanics is a path integral representation for a propagator or probability amplitude in going between two points in space-time. The wave function is expressed in terms of an integral equation from which the Schrodinger equation can be derived. On taking the limit h — 0, the method of stationary phase can be applied and Newton's second law of motion is obtained. Also, the condition the phase vanishes leads to the Hamilton - Jacobi equation. The secondary objective of this paper is to study ways of relating quantum mechanics and classical mechanics. The Ehrenfest theorem is applied to a particle in an electromagnetic field. Expressions are found which are the hermitian Lorentz force operator, the hermitian torque operator, and the hermitian power operator.

•Dec 1, 1977•1 citation

Brownian-Motion Model of Nonrelativistic Quantum Mechanics

G. G. Comisar

In Feynman's space-time approach to nonrelativistic quantum mechanics, the wave function may be considered to be the sum of path integrals over Brownian-motion trajectories. This formalism is entirely equivalent to the Schr\"odinger-equation treatment with its intrinsic indeterminacy. Pursuing the analogy with Brownian motion further, one may introduce a hidden variable corresponding to particle velocity in order to represent the wave function as a sum of path integrals taken over phase-space trajectories. By means of a hidden parameter corresponding to the time scale of fictitious interactions of the particle with the vacuum, one can define generalized propagators which over very short times produce wave functions which are localizable in phase space and hence are deterministic. For long times the conventional Feynman formalism is recovered. This short-time causality does not violate the von Neumann injunction against hidden variables since the new velocity variable turns out to be non-Hermitian over the long time scales normally considered. In contrast to the models proposed by Bohm and others, the present Brownian model is linear and preserves the usual statistical interpretation of the wave function for sufficiently long times.

Physical Review•Jun 7, 1965•57 citations
We describe the “Feynman diagram” approach to nonrelativistic quantum mechanics on Rn{\mathbb{R}^n}Rn , with magnetic and potential terms. In particular, for each classical path γ connecting points q 0 and q 1 in time t, we define a formal power series V γ (t, q 0, q 1) in ℏ{\hbar}ℏ , given combinatorially by a sum of diagrams that each represent finite-dimensional convergent integrals. We prove that exp(V γ ) satisfies Schrödinger’s equation, and explain in what sense the t→0{t \to 0}t→0 limit approaches the δ distribution. As such, our construction gives explicitly the full ℏ→0{\hbar\to 0}ℏ→0 asymptotics of the fundamental solution to Schrödinger’s equation in terms of solutions to the corresponding classical system. These results justify the heuristic expansion of Feynman’s path integral in diagrams.
It was an interested and important problem to give the description of quantization, i.e. of passing from classical physical systems to the corresponding quantum ones, from the moment that quantum mechanics came into existence. In the end we succeeded in giving it as follows: Let L be a Lagrangian function. Then the Hamiltonian function H is defined through the Legendre transformation of L. The Hamiltonian operator ( ) at time in quantum mechanics is defined from H. It should be noted that ( ) has ordering ambiguities (cf. [14]). Let be a probability amplitude at time . Then its temporal evolution can be given by the solution of the Schrodinger equation
In 1948, Richard Feynman published the first paper on his new approach to non-relativistic quantum mechanics. Before Feynman's work there were two mathematical formulations of quantum mechanics. Schrödinger's formulation was based on PDE (the Schrödinger equation) and states representation by wave functions, so it was in the framework of analysis and differential equations. The other formulation was Heisenberg's matrix algebra. Initially, they were thought to be competing. The proponents of one claimed that the other was “ wrong. ” Within a couple of years, John von Neumann had proved that they are equivalent.\nAlthough Feynman's theory was not fundamentally new, it nonetheless offered an entirely fresh and different perspective: via a precise formulation of Bohr's correspondence principle, it made quantum mechanics similar to classical mechanics in a precise sense. In addition, Feynman's approach made it possible to explain physical experiments, and, via diagrams, link them directly to computations. What resulted was a very powerful device for computing energies and scattering amplitudes - the famous Feynman's diagrams.\nIn his formulation, Feynman aimed at representing the solution to the non-relativistic Schrödinger equation in the form of an “ average ” over histories or paths of a particle. This solution is commonly known as the Feynman path integral. It plays an important role in the theory but appears as a postulate based on intuition coming from physics rather than a justified mathematical object. This is why Feynman's vision has caught the attention of many mathematicians as well as physicists.\nThe papers of Gelfand, Cameron, and Nelson are among the first, and more substantial, attempts to supply Feynman's theory with a rigorous mathematical foundation. These attempts were followed by many others, but unfortunately all of them were not quite satisfactory. The difficulty comes from a need to define a measure on an infinite-dimensional space of continuous functions that represent all possible paths of a particle. This Feynman's measure has to produce an integral with the properties requested by Feynman. In particular, the expression for the Feynman measure has to involve the non-absolutely integrable Fresnel integrands. The non-absolute integrability of the Fresnel integrands makes the measure fail to be positive and to have the countably additive property. Thus, a well-defined measure in the case of the Feynman path integral does not exist.\nExtensive research has been done on the methods of relating the Feynman path integral to the integral with respect to the Wiener measure. The method of analytic continuation in mass defines the Feynman path integral as a certain limit of the Wiener integrals. Unfortunately, this method can be used as definition for only almost all values of the mass parameter in the Schrödinger equation. For physicists, this is not a satisfactory result and needs to be improved.\nIn this work we examine those questions which originally led to the Feynman path integral. By now we know that Feynman's “ dream ” cannot be realized as a positive and countably additive measure on the path-space. Here, we offer a new way out by modifying Feynman's question, and thereby achieving a solution to the Schrödinger equation via a different kind of averages in the path-space.\nWe give our version of the question that Feynman “ should have asked ” in order to realize the elusive path integral. In our formulation, we get a Feynman path integral as a limit of linear functionals, as opposed to the more familiar inductive limits of positive measures, traditionally used for constructing the Wiener measure, and related Gaussian families. We adapt here an approach pioneered by Patrick Muldowney. In it, Muldowney suggested a Henstock integration technique in order to deal with the non-absolute integrability of the kind of Fresnel integrals which we need in our solution to Feynman's question. By applying Henstock's theory to Fresnel integrals, we construct a complex-valued “ probability distribution functions ” on the path-space. Then we use this “ probability ” distribution function to define the Feynman path integral as an inductive limit. This establishes a mathematically rigorous Feynman limit, and at the same time, preserves Feynman's intuitive idea in resulting functional. In addition, our definition, and our solution, do not place any restrictions on any of the parameters in the Schrödinger equation, and have a potential to offer useful computational experiments, and other theoretical insights.
The quantizer–dequantizer method is employed. Using the construction of probability distributions describing density operators of a quantum system states, the connection between the Feynman path integral and the time evolution of the density operator (Landau density matrix) as well as the wave function of the stateconsidered. For single–mode systems with continuous variables, a tomographic propagator is introduced in the probability representation of quantum mechanics. An explicit expression for the probability in terms of the Green function of the Schrödinger equation is obtained. Equations for the Green functions defined by arbitrary integrals of motion are derived. Examples of probability distributions describing the evolution of state of a free particle, as well as states of systems with integrals of motion that depend on time (oscillator type) are discussed.
We study the convergence of the Feynman path integral formulated through broken line paths in nonrelativistic quantum mechanics. The rigorous proof of its convergence had been given little except for special cases for a long time. In the preceding paper the author showed for a class of potentials that this path integral converges and gives the probability amplitude, i.e. the solution of the Schrödinger equation. In the present paper we generalize this result, showing the boundedness theorem on the weighted Sobolev spaces for some integral operators and joining this boundedness theorem to the method in the preceding paper. We note that the result obtained is gauge invariant.
The Feynman path integral formulation of quantum mechanics is a path integral representation for a propagator or probability amplitude in going between two points in space-time. The wave function is expressed in terms of an integral equation from which the Schrodinger equation can be derived. On taking the limit h — 0, the method of stationary phase can be applied and Newton's second law of motion is obtained. Also, the condition the phase vanishes leads to the Hamilton - Jacobi equation. The secondary objective of this paper is to study ways of relating quantum mechanics and classical mechanics. The Ehrenfest theorem is applied to a particle in an electromagnetic field. Expressions are found which are the hermitian Lorentz force operator, the hermitian torque operator, and the hermitian power operator.
In Feynman's space-time approach to nonrelativistic quantum mechanics, the wave function may be considered to be the sum of path integrals over Brownian-motion trajectories. This formalism is entirely equivalent to the Schr\"odinger-equation treatment with its intrinsic indeterminacy. Pursuing the analogy with Brownian motion further, one may introduce a hidden variable corresponding to particle velocity in order to represent the wave function as a sum of path integrals taken over phase-space trajectories. By means of a hidden parameter corresponding to the time scale of fictitious interactions of the particle with the vacuum, one can define generalized propagators which over very short times produce wave functions which are localizable in phase space and hence are deterministic. For long times the conventional Feynman formalism is recovered. This short-time causality does not violate the von Neumann injunction against hidden variables since the new velocity variable turns out to be non-Hermitian over the long time scales normally considered. In contrast to the models proposed by Bohm and others, the present Brownian model is linear and preserves the usual statistical interpretation of the wave function for sufficiently long times.