# Path integral formulation of quantum mechanics

+ 4 like - 0 dislike
889 views

I'm a mathematics student with not much background in physics. I'm interested in learning about the path integral formulation of quantum mechanics. Can anyone suggest me some books on this topic with minimum prerequisite in physics?

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user user774025

recategorized Apr 25, 2014

+ 7 like - 0 dislike

### Sources for the path integral

You can read any standard source, so long as you supplement it with the text below. Here are a few which are good:

• Feynman and Hibbs
• Kleinert (although this is a bit long winded)
• An appendix to Polchinski's string theory vol I
• Mandelstam and Yourgrau

There are major flaws in other presentations, these are good ones. I explain the major omission below.

### Completing standard presentations

In order for the discussion of the path integral to be complete, one must explain how non-commutativity arises. This is not trivial, because the integration variables in the path integral for bosonic fields or particle paths are ordinary real valued variables, and these quantities cannot be non-commutative themselves.

### Non-commutative quantities

The resolution of this non-paradox is that the path integral integrand is on matrix elements of operators, and the integral itself is reproducing the matrix multiplication. So it is only when you integrate over all values at intermediate times that you get a noncommutative order-dependent answer. Importantly, when noncommuting operators appear in the action or in insertions, the order of these operators is dependent on exactly how you discretize them--- whether you put the derivative parts as forward differences or backward differences or centered differences. These ambiguities are extremely important, and they are discussed only in a handful of places (Negele/Orland Yourgrau/Mandelstam Feynman/Hibbs, Polchinski, Wikipedia) and hardly anywhere else.

I will give the classic example of this, which is enough to resolve the general case, assuming you are familiar with simple path integrals like the free particle. Consider the free particle Euclidean action

$$S= -\int {1\over 2} \dot{x}^2$$

and consider the evaluation of the noncommuting product $x\dot{x}$. This can be discretized as

$$x(t) {x(t+\epsilon) - x(t)\over \epsilon}$$

or as

$$x(t+\epsilon) {x(t+\epsilon) - x(t)\over \epsilon}$$

The first represents $p(t)x(t)$ in this operator order, the second represents $x(t)p(t)$ in the other operator order, since the operator order is the time order. The difference of the second minus the first is

$${(x(t+\epsilon) - x(t))^2\over \epsilon}$$

Which, for the fluctuating random walk path integral paths has a fluctuating limit which averages to 1 over any finite length interval, when $\epsilon$ goes to zero. This is the Euclidean canonical commutation relation, the difference in the two operator orders gives 1.

For Brownian motion, this relation is called "Ito's lemma", not dX, but the square of dX is proportional to dt. While dX is fluctuating over positive and negative values with no correlation and with a magnitude at any time of approximately $\sqrt{dt}$, dX^2 is fluctuating over positive values only, with an average size of dt and no correlations. This means that the typical Brownian path is continuous but not differentiable (to prove continuity requires knowing that large dX fluctuations are exponentially suppressed--- continuity fails for Levy flights, although dX does scale to 0 with dt).

Although discretization defines the order, not all properties of the discretization matter--- only which way the time derivative goes. You can understand the dependence intuitively as follows: the value of the future position of a random walk is (ever so slightly) correlated with the current (infinite) instantaneous velocity, because if the instantaneous velocity is up, the future value is going to be bigger, if down, smaller. Because the velocity is infinite however, this teensy correlation between the future value and the current velocity gives a finite correlator which turns out to be constant in the continuum limit. Unlike the future value, the past value is completely uncorrelated with the current (forward) velocity, if you generate the random walk in the natural way going forward in time step by step, by a Markov chain.

The time order of the operators is equal to their operator order in the path integral, from the way you slice the time to make the path integral. Forward differences are derivatives displaced infinitesimally toward the future, past differences are displaced slightly toward the past. This is is important in the Lagrangian, when the Lagrangian involves non-commuting quantities. For example, consider a particle in a magnetic field (in the correct Euclidean continuation):

$$S = - \int {1\over 2} \dot{x}^2 + i e A(x) \cdot \dot{x}$$

The vector potential is a function of x, and it does not commute with the velocity $\dot{x}$. For this reason, Feynman and Hibbs and Negele and Orland carefully discretize this,

$$S = - \int \dot{x}^2 + i e A(x) \cdot \dot{x}_c$$

Where the subscript c indicates infinitesimal centered difference (the average of the forward and backward difference). In this case, the two orders differ by the commutator, [A,p], which is $\nabla\cdot A$, so that there is an order difference outside of certain gauges. The correct order is given by requiring gauge invariance, so that adding a gradiant $\nabla \alpha$ to A does nothing but a local phase rotation by $\alpha(x)$.

$$ie \int \nabla\alpha \dot{x}_c = ie \int {d\over dt} \alpha(x(t))$$

Where the centered differnece is picked out because only the centered difference obeys the chain rule. That this is true is familiar from the Heisenberg equation of motion:

$${d\over dt} F(x) = i[H,F] = {i\over 2} [p^2,F] = {i/2}(p[p,F] + [p,F]p) = {1\over 2}\dot{x} F'(x) + {1\over2} F'(x) \dot{x}$$

Where the derivative is a sum of both orders. This holds for quadratic Hamiltonians, the ones for which the path integral is most straightforward. The centered difference is the sum of both orders.

The fact that the chain rule only works for the centered difference means that people who do not understand the ordering ambiguities 100% (almost everybody) have a center fetishism, which leads them to use centered differences all the time.

THe centered difference is not appropriate for certain things, like for the Dirac equation discretization, where it leads to "Fermion doubling". The "Wilson Fermions" are a modification of the discretized Dirac action which basically amounts to saying "Don't use centered derivatives, dummy!"

Anyway, the order is important. Any presentation of the path integral which gives the Lagrangian for a particle in a magnetic field without specifying whether the time derivative is a forward difference or a past difference, is no good. That's most discussions.

A good formalism for path integrals thinks of things on a fine lattice, and takes the limit of small lattice spacing at the end. Feynman always secretly thought this way (and often not at all secretly, as in the case above of a particle in a magnetic field), as does everyone else who works with this stuff comfortably. Mathematicians don't like to think this way, because they don't like the idea that the continuum still has got new surprises in the limit.

The other thing that is hardly ever explained properly (except for Negele/Orland, David John Candlin's Neuvo Cimento original article of 1956, and Berezin) is the Fermionic field path integral. This is a separate discussion, the main point here is to understand sums over Fermionic coherent states.

answered Jan 13, 2012 by (7,720 points)
edited Apr 25, 2014
Downvoted, this doesn't answer his question.

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user Benjamin Horowitz
"Mathematicians don't like to think this way"? Obtaining the continuum path integral measure from a limit of lattice measures is utterly standard. See Glimm & Jaffe.

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user user1504
Jaffe. Not a mathematician. That's a clear case of choosing your definitions to make your theorems easy to prove.

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user user1504
He was the chairman of Harvard's math department, and past President of the AMS. This is something you should have googled before spouting off about. Ron, I really enjoy your posts. I think you're doing something that desperately needs doing: attempting to write well and accessibly about path integrals. (Hell, I'd be pleased to read something longer from you.) But let's not pretend that the ideas are completely unknown to the math community. ps. I'd be happy to see measure theory be first against the wall when the revolution comes.

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user user1504
I came to physics.SE today planning to ask the question "In the path integral formulation of QM, where do we choose a quantization?" So this is exactly what I was looking for. Thanks!

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user David Speyer

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user Manishearth
+ 3 like - 0 dislike

"Quantum Mechanics and Path Integrals" by Feynman and Hibbs

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user Murod Abdukhakimov
answered Jan 12, 2012 by (85 points)
just wanted to add, that this great book is now available in a more affordable edition by Dover Publications.

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user Thies Heidecke
+ 2 like - 0 dislike

From the perspective of a mathematician, the books written by physicists may be somewhat imprenetrable. However, path integral techniques are used by mathematicians as well; I recommend the book

Barry Simon. "Functional Integration and Quantum Physics"

The author mainly focuses on the single-particle Schrödinger equation with an external electric field, as this case can be treated with mathematical rigor. It does not go into quantum field theory at all.

answered Apr 25, 2014 by (775 points)
+ 1 like - 0 dislike

To get you started here are some lecture notes I like on the path integral: http://bohr.physics.berkeley.edu/classes/221/1011/notes/pathint.pdf (from the page http://bohr.physics.berkeley.edu/classes/221/1011/221.html )

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user Steve B
answered Jan 13, 2012 by (135 points)
These lecture notes are missing the crucial derivation of the Ito-Lemma/Canonical commutation relation. Without this, no discussion of path integrals is complete. I have seen even great physicists confused regarding the commutation relation in the path integral, and the dependence on discretization is crucial for applications. This derivation is in Feynman/Hibbs Yourgrau/Mandelstam Negele/Orland Polchinski and Wikipedia. It is found almost nowhere else. It is the sign of a good presentation: no commutation relations, no comprehension.

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user Ron Maimon
+ 1 like - 0 dislike

The Book 'Principles of Quantum Mechanics' by R. Shankar has a really good introduction to the path integral formalism (and quantum mechanics in general) with two dedicated chapters about it. Also the book begins with a nice presentation of linear algebra in Bra-ket notation.

This post imported from StackExchange Physics at 2014-03-24 04:48 (UCT), posted by SE-user Thies Heidecke
answered Jan 13, 2012 by (10 points)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysics$\varnothing$verflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.