Related papers: The formal path integral and quantum mechanics
We introduce a framework for the formal specification and verification of quantum circuits based on the Feynman path integral. Our formalism, built around exponential sums of polynomial functions, provides a structured and natural way of…
A path integral formalism for non-equilibrium systems is proposed based on a manifold of quasi-equilibrium densities. A generalized Boltzmann principle is used to weight manifold paths with the exponential of minus the information…
Both Bohmian mechanics, a version of quantum mechanics with trajectories, and Feynman's path integral formalism have something to do with particle paths in space and time. The question thus arises how the two ideas relate to each other. In…
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…
Efforts to give an improved mathematical meaning to Feynman's path integral formulation of quantum mechanics started soon after its introduction and continue to this day. In the present paper, one common thread of development is followed…
Geometrical formulation of classical mechanics with forces that are not necessarily potential-generated is presented. It is shown that a natural geometrical "playground" for a mechanical system of point particles lacking Lagrangian and/or…
We propose a natural, parameter-free, discrete-variable formulation of Feynman path integrals. We show that for discrete-variable quantum systems, Feynman path integrals take the form of walks on the graph whose weighted adjacency matrix is…
We describe how to construct and compute unambiguously path integrals for particles moving in a curved space, and how these path integrals can be used to calculate Feynman graphs and effective actions for various quantum field theories with…
We study certain aspects of the effective, occasionally called collective, description of complex quantum systems within the framework of the path integral formalism, in which the environment is integrated out. Generalising the standard…
We derive the semiclassical approximation to Feynman's path integral representation of the energy Green function of a massless particle in the shadow region of an ideal obstacle in a medium. The wavelength of the particle is assumed to be…
Using the path-integral formalism, we generalize the 't Hooft-Veltman method of unitary regulators to put forward a framework for finite, alternative quantum theories to a given quantum field theory. Feynman-like rules of such a finite,…
This note is devoted to representation of some evolution semigroups. The semigroups are generated by pseudo-differential operators, which are obtained by different (parametrized by a number $\tau$) procedures of quantization from a certain…
A simple mathematical procedure is introduced which allows redefining in an exact way divergent integrals and limits that appear in the basic equations of classical electrodynamics with point charges. In this way all divergences are at once…
The path integral formulation of quantum mechanics, i.e., the idea that the evolution of a quantum system is determined as a sum over all the possible trajectories that would take the system from the initial to its final state of its…
We develop a new semiclassical approach, which starts with the density matrix given by the Euclidean time path integral with fixed coinciding endpoints, and proceed by identifying classical (minimal Euclidean action) path, to be referred to…
Many introductory courses in quantum mechanics include Feynman's time-slicing definition of the path integral, with a complete derivation of the propagator in the simplest of cases. However, attempts to generalize this, for instance to…
The complex exponential weighting of Feynman formalism is seen to happen at the classical level. (Finiteness of) Feynman path integral formula is suspected then to appear as a consistency condition for the existence of certain Dirac…
Complex (semi-)classical paths, or instantons, form an integral part of our understanding of quantum physics. Whereas real classical paths describe classically allowed transitions in the real-time Feynman path integral, classically…
In this paper, we survey recent progress on the constructive theory of the Feynman operator calculus. (The theory is constructive in that, operators acting at different times, actually commute.) We first develop an operator version of the…
A fundamentally different approach to path integral quantum mechanics in curved space-time is presented, as compared to the standard approaches currently available in the literature. Within the context of scalar particle propagation in a…