|
|

Path Integral Formulation#REDIRECT path integral formulation Path integral formulation''This article is about a formulation of quantum mechanics. For integrals along a path, also known as line or contour integrals, see Path integral.'' ---- The path integral formulation of quantum mechanics was developed in 1948 by Richard Feynman. Some preliminaries were worked out earlier, in the course of his doctoral thesis work with John Archibald Wheeler. It is a description of quantum theory which generalizes the action (physics) of classical mechanics. It replaces the classical notion of a single, unique history for a system with a sum, or functional integral, over an infinity of possible histories to compute a quantum probability amplitude. This formulation has proved crucial to the subsequent development of theoretical physics, since it provided the basis for the grand synthesis of the 1970's called the renormalization group which unified quantum field theory with statistical mechanics. It is no surprise, therefore, that path integrals have also been used in the study of Brownian motion and diffusion. ==Formulating quantum mechanics== The path integral method is an alternative formulation of quantum mechanics. The canonical approach, pioneered by Schroedinger, Heisenberg and Dirac paid great attention to wave-particle duality and the resulting uncertainty principle by replacing Poisson brackets of classical mechanics by commutators between operators in quantum mechanics. The Hilbert space of quantum states and the superposition law of quantum amplitudes follows. The path integral starts from the superposition law, and exploits wave-particle duality to build a generating function for quantum amplitudes. === Quantum amplitudes === Feynman proposed the following postulates: :1. The probability for any fundamental event is given by the absolute square of a complex amplitude. :2. The amplitude for some event is given by adding together all the histories which include that event. :3. The amplitude a certain history contributes is proportional to , where I(H) is the Action (physics) of that history, or time integral of the Lagrangian. In order to find the overall probability amplitude for a given process, then, one adds up, or integral, the amplitude of postulate 3 over the space of ''all'' possible histories of the system in between the initial and final states, including histories that are absurd by classical standards. In calculating the amplitude for a single particle to go from one place to another in a given time, it would be correct to include histories in which the particle describes elaborate curlicues, histories in which the particle shoots off into outer space and flies back again, and so forth. The path integral includes them all. Not only that, it assigns all of them, no matter how bizarre, amplitudes of ''equal size''; only the phase, or argument of the complex number, varies. The contributions wildly different from the classical history are suppressed only by the interference of similar histories (see below). Feynman showed that his formulation of quantum mechanics is equivalent to the Quantization (physics) approach to quantum mechanics. An amplitude computed according to Feynman's principles will also obey the Schrödinger equation for the Hamiltonian corresponding to the given action. Feynman's postulates are somewhat ambiguous in that they do not define what an "event" is or the exact proportionality constant in postulate 3. The proportionality problem can be solved by simply normalizing the path integral by dividing the amplitude by the square root of the total probability for something to happen (resulting in that the total probability given by all the normalized amplitudes will be 1, as we would expect). Generally speaking one can simply define the "events" in an operational sense for any given experiment. The equal magnitude of all amplitudes in the path integral tends to make it difficult to define it such that it converges and is functional integration. For purposes of actual evaluation of quantities using path-integral methods, it is common to give the action an imaginary part in order to damp the wilder contributions to the integral, then take the limit of a real action at the end of the calculation. In quantum field theory this takes the form of Wick rotation. There is some difficulty in defining a measure theory over the space of paths. In particular, the measure is concentrated on "fractallike" distributional paths. === Recovering the action principle === Feynman was initially attempting to make sense of a brief remark by Paul Dirac about the quantum equivalent of the action (physics) in classical mechanics. In the limit of action that is large compared to Planck's constant , the path integral is dominated by solutions which are stationary points of the action, since, there, the amplitudes of similar histories will tend to constructively interference with one another. Conversely, for paths that are far from being stationary points of the action, the complex phase of the amplitude calculated according to postulate 3 will vary rapidly for similar paths, and amplitudes will tend to cancel. Therefore the important parts of the integral—the significant possibilities—in the limit of large action simply consist of solutions of the Euler-Lagrange equation, and classical mechanics is correctly recovered. Action principles can seem puzzling to the student of physics because of their seemingly teleology quality: instead of predicting the future from initial conditions, one starts with a combination of initial conditions and final conditions and then finds the path in between, as if the system somehow knows where it's going to go. The path integral is one way of understanding why this works. The system doesn't have to know in advance where it's going; the path integral simply calculates the ''probability amplitude'' for a given process, and the stationary points of the action mark neighborhoods of the space of histories for which quantum-mechanical interference will yield large probabilities. === Example: Single-particle mechanics === In the case of the motion of a particle, the path integral can be formally thought of as the small-step limit of an integral over zig-zags: for instance, for one-dimensional motion of a particle from position at time to at time , the time interval can be divided up into little segments of duration and the path integral can be computed as proportional to : where is the entire history in which the particle zigzags from its initial to its final position linearly between all the values of :. In the limit, this is an integral over an infinite-dimensional space—a functional integral. ===The path integral and the partition function=== The path integral is just the generalization of the integral above to all quantum mechanical problems— : where is the action (physics) of the classical problem in which one investigates the path starting at time t=0 and ending at time t=T, and Dx denotes integration over all paths. In the classical limit, , the path of minimum action dominates the integral, because the phase of any path away from this fluctuates rapidly and different contributions cancel. The connection with statistical mechanics follows. Perform the Wick rotation t→it, ie, make time imaginary. Then the path integral resembles the partition function (statistical mechanics) of statistical mechanics defined in a canonical ensemble with temperature . Clearly, such a deep analogy between quantum mechanics and statistical mechanics cannot be dependent on the formulation. In the canonical formulation, one sees that the unitary evolution operator of a state is given by : where the state α is evolved from time t=0. If one makes a Wick rotation here, and finds the amplitude to go from any state, back to the same state in (imaginary) time iT is given by : which is precisely the partition function of statistical mechanics for the same system at temperature quoted earlier. One aspect of this equivalence was also known to Schroedinger who remarked that the equation named after him looked like the diffusion equation after Wick rotation. == Quantum field theory == Today, the most common use of the path-integral formulation is in quantum field theory. === The propagator === A common use of the path integral is to calculate <q1,t1|q0,t0>, a quantity (here written in bra-ket notation) known as the propagator. As such it is very useful in quantum field theory, where the propagator is an important component of Feynman diagrams. One way to do this, which Feynman used to explain photon and electron/positron propagators in quantum electrodynamics, is to apply the path integral to the motion of a single particle—one, however, that can roam back and forth through ''time'' as well as space in the course of its wanderings. (Such behavior can be reinterpreted as the contribution of the creation and annihilation of virtual particle-antiparticle pairs, so in this sense the single-particle restriction has already been loosened.) === Functionals of fields === However, the path-integral formulation is also extremely important in ''direct'' application to quantum field theory, in which the "paths" or histories being considered are not the motions of a single particle, but the possible time evolutions of a field over all space. The action is referred to technically as a functional (mathematics) of the field: where the field is itself a function of space and time, and the square brackets are a reminder that the action depends on all the field's values everywhere, not just some particular value. In principle, one integrates Feynman's amplitude over the class of all possible combinations of values that the field could have anywhere in space-time. Much of the formal study of QFT is devoted to the properties of the resulting functional integral, and much effort (not yet entirely successful) has been made toward making these functional integrals mathematically precise. Such a functional integral is extremely similar to the partition function (statistical mechanics) in statistical mechanics. Indeed, it is sometimes ''called'' a partition function (quantum field theory), and the two are essentially mathematically identical except for the factor of in the exponent in Feynman's postulate 3. Analytic continuation the integral to an imaginary time variable (called a Wick rotation) makes the functional integral even more like a statistical partition function, and also tames some of the mathematical difficulties of working with these integrals. === Expectation values === In quantum field theory, if the action (physics) is given by the functional (mathematics) S of field configurations (which only depends locally on the fields), then the time ordered vacuum expectation value of polynomially bounded functional F, Path integral formulationI believe Freeman_Dyson was the one that showed the approaches to be equivalent User:JeffBobFrank 01:21, 18 Feb 2004 (UTC) The last paragraph says some contentious things. The sum-over-histories method is hardly "unpopular". The "sum-over-histories interpretation", however - that is, the attempt to elevate the sum-over-histories formalism into a physical ontology - is indeed little-known; I don't think I've ever seen it outside that paper coauthored by Sorkin. Let me quote the paper's last paragraph: "... the sum-over-histories formulation goes a long way toward taking the 'mystery' out of quantum mechanics, or at least reducing it to the mystery inherent in the notion of probability itself. No doubt that mystery is enhanced somewhat by the presence of non-positive amplitudes and references to two-way paths, but the fundamental idea... remains the same..." In my opinion this indicates the sophistical character of this sum-over-histories "interpretation". I'm reminded of a cartoon: a physicist stands at a blackboard, in front of a crowd of skeptical colleagues. In the middle step of his derivation, he has written, THEN A MIRACLE OCCURS. "See? It's all just probabilities. Of course, some of them are negative probabilities, a concept which makes no sense under either the frequentist or the subjectivist interpretation of the concept of probability; but that just shows that further research is required..." There is something to the claim that "[this is] the only form of the theory which can explain [the EPR] paradox without breaking locality". The individual paths appearing in the formalism are indeed built purely from ontologically local entities (point particles, local field values), something which is not true in any formalism which countenances, say, entangled quantum states. Nonetheless, the paper by Sinha and Sorkin (in its concluding analysis) in fact expresses some doubt as to whether sum-over-histories is local after all, given the "global character" of how the final probabilities are calculated. Wikipedia is hardly the place in which theoretical debates of this sort should be adjudicated, but I hope it's clear why I find that last paragraph somewhat problematic. I also want to emphasize again, for absolute clarity, that the sum-over-histories method is not being criticised here, because it is only an algorithm. It's the attempt to turn it into an ontology (an "interpretation") which is deeply problematic. I leave it to more experienced Wikipedians to decide what the just solution here is. User:Mporter 21 Feb 2004, 5.55pm AEST :As a sidelight, apropos your comments about negative probabilities, you may enjoy Feynman "Negative probability" in ''Quantum Implications'', eds Hiley and Peat, where he makes a case for allowing them, as long as such an event is not measurable/verifiable. Like having negative dollars as you add up your bills, it may be calculationally allowed as long as certain restrictions on the state are true.User:GangofOne 07:04, 10 Jun 2005 (UTC) ---- Should this article ''actually'' be merged with Functional integral (QFT)? While it is in principle the same subject, that article is both very specific in its application to quantum field theory (as opposed to, say, nonrelativistic single-particle QM), and is also very technical. This seems to be more the place for an introduction to the path-integral formulation. (If we ''do'' want to merge the articles, I say the other one should come here, and not the reverse, since this article has the more general title.) And I'd rather do it sooner than later. --User:Matt McIrvin 04:06, 27 Sep 2004 (UTC) ---- Well, I went ahead and did it... --User:Matt McIrvin 06:13, 27 Sep 2004 (UTC) The material formerly in Functional integral (QFT) is now incorporated into a section here, and I've tried to write some introductory matter to make the symbols a little clearer, though the heavily mathematical part further down still needs a lot more explanatory text. I've put in an introduction and reorganized the whole page into sections and subsections; my new section on single-particle mechanics needs more development but is a start. Diagrams would be nice. I've kept the controversial section on QM interpretation at the very end; I'll let other people argue over that for now. --User:Matt McIrvin 07:15, 27 Sep 2004 (UTC) Attempted to NPOVify the interpretation section. --User:Matt McIrvin 05:35, 2 Oct 2004 (UTC) ---- Is realy correct? Wouldn't it rather be like with or is it with different ''H'' for each ''n'' ? : The way I wrote it is perhaps not the best way of putting it; it needs to be more explicit. What I really wanted to get across is that in the integrand, is the function of time represented by a set of straight segments connecting the at times , and is actually the integral of the Lagrangian over that path. I suppose in practice it ''would'' end up being the product of the exponential for each little segment, but that form is further from the spirit of the thing. : I probably should have abandoned the generic use of at that point... my mind's too fuzzy right now to make it better. --User:Matt McIrvin 00:27, 11 Oct 2004 (UTC) :: Also each little segment would depend on and ... --User:Matt McIrvin 15:01, 11 Oct 2004 (UTC) ::: This is not a necessity, the limit inherent to integration would take care of this as , see Riemann integral ). : I have searched the net but didn't find anything better than stated here so I have tried some own thoughts. : Starting from the approach I came up with where varies over all paths in spacetime starting from and ending in , denoting the energy four-vector and is an aproptiate measure on the set of possible paths. With the paths approximated by segments of straight lines we are likely to end up with the official thing but with an additional benefit of a clearer understanding. : Alas, I am stuck on as well as on , especially in case where we have zero rest mass. : Can anyone do better please? User:217.94.149.179 20:05, 20 Oct 2004 (UTC) ---- Pavel V. Kurakin ([http://www.keldysh.ru Keldysh Institute of Applied Mathematics, Russian Academy of Sciences], [http://www.keldysh.ru/departments/dpt_17/kurakin.html me]). My idea is that many-paths are physically real, but in sub-quantum (not observed by us) world. Many-paths, amplified by [http://en.wikipedia.org/wiki/Transactional_interpretation transactional interpretation of quantum mechanics (TIQM)] by John Cramer lead me to a 3rd new idea (after 1st: many-paths and 2nd: transactions). 3 together they constitute, I believe, an original theory, letting to ''explain'' quantum superposition of states, state vector reduction and non-local correlations like EPR (see [http://en.wikipedia.org/wiki/Quantum_entanglement quantum entenglement]). Shortly speaking, signals move in vacuum in so-called 'hidden time', which is not equivalent to our physical time. They move between all sources, which are to emit particles, and all (possible) detectors. In the simplest case we have one source and a set of possible detectors. How will a particle chose one of many detectors? It explores the space and counts how much it likes different detectors, in full accordance with Feynman many-paths. While it explores (many copies of that particle travel and explore), phisical time does not tick. Finally the source prefers some definite detector. Copies of the particle (more strictly - signals) are killed all but one. This one ultimately comes to a detector we physically see our particle at. How long can signals explore the space? Infinite time! :) -- In 'hidden' time. Physiacl time does tick (at detecting point) ''only'' when 'ultimate decision signal' comes to that detector. More accurate arguments were published this year by Keldysh Institute of Applied Mathematics, Russian Academy of Sciences in [http://www.geocities.com/bellstheorem/index.html my preprint]. I would be happy to know any criticism :) ----- See other meanings of words starting from letter: PPA | PB | PC | PD | PE | PF | PG | PH | PI | PJ | PK | PL | PM | PN | PO | PR | PS | PT | PU | PW | PX | PY | PZ |Words begining with Path_integral_formulation: Path_Integral_Formulation Path_integral_formulation Path_integral_formulation Path_integral_formulation_of_quantum_mechanics |
These materials are based on Wikipedia and licensed under the GNU FDL
YouTube.com videos better site than Turbo Tax 2007 |
|
|