# Difference between revisions of "Quantum electrodynamics"

en>Makecat-bot m (r2.7.2) (Robot: Adding simple:Quantum electrodynamics) |
(change link) |
||

Line 1: | Line 1: | ||

{{Quantum field theory}} | {{Quantum field theory}} | ||

− | ''' | + | In particle physics, '''quantum electrodynamics''' ('''QED''') is the [[relativity theory|relativistic]] [[quantum field theory]] of [[electrodynamics]]. In essence, it describes how [[light]] and [[matter]] interact and is the first theory where full agreement between [[quantum mechanics]] and [[special relativity]] is achieved. QED mathematically describes all [[phenomenon|phenomena]] involving [[electric charge|electrically charged]] particles interacting by means of exchange of [[photon]]s and represents the [[quantum mechanics|quantum]] counterpart of [[classical electromagnetism]] giving a complete account of matter and light interaction. |

− | In technical terms, QED can be described as a [[perturbation theory (quantum mechanics)|perturbation theory]] of the electromagnetic [[Vacuum state|quantum vacuum]]. | + | In technical terms, QED can be described as a [[perturbation theory (quantum mechanics)|perturbation theory]] of the electromagnetic [[Vacuum state|quantum vacuum]]. [[Richard Feynman]] called it "the jewel of physics" for its [[precision tests of QED|extremely accurate predictions]] of quantities like the [[anomalous magnetic moment]] of the electron and the [[Lamb shift]] of the [[energy level]]s of [[hydrogen]].<ref name=feynbook1>{{cite book |last=Feynman |first=Richard |authorlink=Richard Feynman |year=1985 |isbn=978-0-691-12575-6 |title=QED: The Strange Theory of Light and Matter |chapter=Chapter 1 |page=6 |publisher=Princeton University Press}}</ref> |

==History== | ==History== | ||

{{main|History of quantum mechanics}} | {{main|History of quantum mechanics}} | ||

− | [[File:Dirac 3.jpg|thumb|right | + | [[File:Dirac 3.jpg|upright|thumb|right|[[Paul Dirac]]]] |

− | The first formulation of a [[quantum mechanics|quantum theory]] describing radiation and matter interaction is | + | The first formulation of a [[quantum mechanics|quantum theory]] describing radiation and matter interaction is attributed to British scientist [[Paul Dirac]], who (during the 1920s) was first able to compute the coefficient of spontaneous emission of an [[atom]].<ref name=dirac> |

{{cite journal | {{cite journal | ||

| author=P.A.M. Dirac | | author=P.A.M. Dirac | ||

Line 30: | Line 30: | ||

| doi=10.1103/RevModPhys.4.87 | | doi=10.1103/RevModPhys.4.87 | ||

|bibcode = 1932RvMP....4...87F }}</ref> physicists came to believe that, in principle, it would be possible to perform any computation for any physical process involving photons and charged particles. However, further studies by [[Felix Bloch]] with [[Arnold Nordsieck]],<ref name=bloch>{{cite journal | |bibcode = 1932RvMP....4...87F }}</ref> physicists came to believe that, in principle, it would be possible to perform any computation for any physical process involving photons and charged particles. However, further studies by [[Felix Bloch]] with [[Arnold Nordsieck]],<ref name=bloch>{{cite journal | ||

− | |||

| authorlink1= Felix Bloch | | authorlink1= Felix Bloch | ||

− | |||

| authorlink2= Arnold Nordsieck | | authorlink2= Arnold Nordsieck | ||

| year=1937 | | year=1937 | ||

Line 40: | Line 38: | ||

| doi=10.1103/PhysRev.52.54 | | doi=10.1103/PhysRev.52.54 | ||

|bibcode = 1937PhRv...52...54B | |bibcode = 1937PhRv...52...54B | ||

− | | issue=2 }}</ref> and [[Victor Weisskopf]],<ref name=weisskopf>{{cite journal | + | | issue=2 |

+ | | last1= Bloch | ||

+ | | first1= F. | ||

+ | | last2= Nordsieck | ||

+ | | first2= A. | ||

+ | }}</ref> and [[Victor Weisskopf]],<ref name=weisskopf>{{cite journal | ||

| author=V. F. Weisskopf | | author=V. F. Weisskopf | ||

| authorlink= Victor Weisskopf | | authorlink= Victor Weisskopf | ||

Line 59: | Line 62: | ||

| issue=5 }}</ref> At higher orders in the series infinities emerged, making such computations meaningless and casting serious doubts on the internal consistency of the theory itself. With no solution for this problem known at the time, it appeared that a fundamental incompatibility existed between [[special relativity]] and [[quantum mechanics]]. | | issue=5 }}</ref> At higher orders in the series infinities emerged, making such computations meaningless and casting serious doubts on the internal consistency of the theory itself. With no solution for this problem known at the time, it appeared that a fundamental incompatibility existed between [[special relativity]] and [[quantum mechanics]]. | ||

− | [[File:Hans Bethe.jpg|thumb|left | + | [[File:Hans Bethe.jpg|upright||thumb|left|[[Hans Bethe]]]] |

+ | Difficulties with the theory increased through the end of 1940. Improvements in [[microwave]] technology made it possible to take more precise measurements of the shift of the levels of a [[hydrogen atom]],<ref name=lamb> | ||

{{cite journal | {{cite journal | ||

− | |||

| authorlink1= Willis Lamb | | authorlink1= Willis Lamb | ||

− | |||

| authorlink2=Robert Retherford | | authorlink2=Robert Retherford | ||

| year=1947 | | year=1947 | ||

Line 71: | Line 73: | ||

| doi=10.1103/PhysRev.72.241 | | doi=10.1103/PhysRev.72.241 | ||

|bibcode = 1947PhRv...72..241L | |bibcode = 1947PhRv...72..241L | ||

− | | issue=3 }}</ref> now known as the [[Lamb shift]] and [[magnetic moment]] of the electron.<ref name=foley> | + | | issue=3 |

+ | | last1= Lamb | ||

+ | | first1= Willis | ||

+ | | last2= Retherford | ||

+ | | first2= Robert | ||

+ | }}</ref> now known as the [[Lamb shift]] and [[magnetic moment]] of the electron.<ref name=foley> | ||

{{cite journal | {{cite journal | ||

− | | | + | | authorlink2=Polykarp Kusch |

− | | authorlink1 | + | | authorlink1=H. M. Foley |

− | |||

− | |||

| year=1948 | | year=1948 | ||

| title=On the Intrinsic Moment of the Electron | | title=On the Intrinsic Moment of the Electron | ||

Line 82: | Line 87: | ||

| volume=73 | pages=412 | | volume=73 | pages=412 | ||

| doi=10.1103/PhysRev.73.412 | | doi=10.1103/PhysRev.73.412 | ||

− | |bibcode = 1948PhRv...73..412F | + | | bibcode = 1948PhRv...73..412F |

− | | issue=3 }}</ref> These experiments unequivocally exposed discrepancies which the theory was unable to explain. | + | | issue=3 |

+ | | last1= Foley | ||

+ | | first1= H. | ||

+ | | last2= Kusch | ||

+ | | first2= P. }}</ref> These experiments unequivocally exposed discrepancies which the theory was unable to explain. | ||

A first indication of a possible way out was given by [[Hans Bethe]]. In 1947, while he was traveling by train to reach [[Schenectady]] from [[New York]],<ref name=schweber>{{cite book |last=Schweber |first=Silvan |authorlink=Silvan Schweber |year=1994 |isbn=978-0-691-03327-3 |title=QED and the Men Who Did it: Dyson, Feynman, Schwinger, and Tomonaga |chapter=Chapter 5 |page=230 |publisher=Princeton University Press}}</ref> after giving a talk at the [[Shelter Island Conference|conference at Shelter Island]] on the subject, Bethe completed the first non-relativistic computation of the shift of the lines of the hydrogen atom as measured by Lamb and Retherford.<ref name=bethe> | A first indication of a possible way out was given by [[Hans Bethe]]. In 1947, while he was traveling by train to reach [[Schenectady]] from [[New York]],<ref name=schweber>{{cite book |last=Schweber |first=Silvan |authorlink=Silvan Schweber |year=1994 |isbn=978-0-691-03327-3 |title=QED and the Men Who Did it: Dyson, Feynman, Schwinger, and Tomonaga |chapter=Chapter 5 |page=230 |publisher=Princeton University Press}}</ref> after giving a talk at the [[Shelter Island Conference|conference at Shelter Island]] on the subject, Bethe completed the first non-relativistic computation of the shift of the lines of the hydrogen atom as measured by Lamb and Retherford.<ref name=bethe> | ||

Line 95: | Line 104: | ||

| doi=10.1103/PhysRev.72.339 | | doi=10.1103/PhysRev.72.339 | ||

|bibcode = 1947PhRv...72..339B | |bibcode = 1947PhRv...72..339B | ||

− | | issue=4 }}</ref> Despite the limitations of the computation, agreement was excellent. The idea was simply to attach infinities to corrections | + | | issue=4 }}</ref> Despite the limitations of the computation, agreement was excellent. The idea was simply to attach infinities to corrections of [[mass]] and [[charge (physics)|charge]] that were actually fixed to a finite value by experiments. In this way, the infinities get absorbed in those constants and yield a finite result in good agreement with experiments. This procedure was named [[renormalization]]. |

− | [[File:Feynman and Oppenheimer at Los Alamos.jpg|thumb| | + | [[File:Feynman and Oppenheimer at Los Alamos.jpg|thumb|right|[[Richard Feynman|Feynman]] (center) and [[Robert Oppenheimer|Oppenheimer]] (right) at [[Los Alamos National Laboratory|Los Alamos]].]] |

Based on Bethe's intuition and fundamental papers on the subject by [[Sin-Itiro Tomonaga]],<ref name=tomonaga> | Based on Bethe's intuition and fundamental papers on the subject by [[Sin-Itiro Tomonaga]],<ref name=tomonaga> | ||

Line 134: | Line 143: | ||

| authorlink= Richard Feynman | | authorlink= Richard Feynman | ||

| year=1949 | | year=1949 | ||

− | | title= | + | | title=Space–Time Approach to Quantum Electrodynamics |

| journal=[[Physical Review]] | | journal=[[Physical Review]] | ||

| volume=76 | pages= 769–789 | | volume=76 | pages= 769–789 | ||

Line 183: | Line 192: | ||

QED has served as the model and template for all subsequent quantum field theories. One such subsequent theory is [[quantum chromodynamics]], which began in the early 1960s and attained its present form in the 1975 work by [[H. David Politzer]], [[Sidney Coleman]], [[David Gross]] and [[Frank Wilczek]]. Building on the pioneering work of [[Schwinger]], [[Gerald Guralnik]], [[C. R. Hagen|Dick Hagen]], and [[Tom W. B. Kibble|Tom Kibble]],<ref> | QED has served as the model and template for all subsequent quantum field theories. One such subsequent theory is [[quantum chromodynamics]], which began in the early 1960s and attained its present form in the 1975 work by [[H. David Politzer]], [[Sidney Coleman]], [[David Gross]] and [[Frank Wilczek]]. Building on the pioneering work of [[Schwinger]], [[Gerald Guralnik]], [[C. R. Hagen|Dick Hagen]], and [[Tom W. B. Kibble|Tom Kibble]],<ref> | ||

{{cite journal | {{cite journal | ||

− | | | + | | last1=Guralnik | first1=G. S. |

+ | | last2=Hagen | first2=C. R. | ||

+ | | last3=Kibble | first3=T. W. B. | ||

| year=1964 | | year=1964 | ||

| title=Global Conservation Laws and Massless Particles | | title=Global Conservation Laws and Massless Particles | ||

Line 189: | Line 200: | ||

| volume=13 | pages=585–587 | | volume=13 | pages=585–587 | ||

| doi=10.1103/PhysRevLett.13.585 | | doi=10.1103/PhysRevLett.13.585 | ||

− | |bibcode = 1964PhRvL..13..585G | + | | bibcode = 1964PhRvL..13..585G |

| issue=20 }}</ref><ref> | | issue=20 }}</ref><ref> | ||

{{cite journal | {{cite journal | ||

− | | | + | | last=Guralnik |

+ | | first=G. S. | ||

| year=2009 | | year=2009 | ||

| title=The History of the Guralnik, Hagen and Kibble development of the Theory of Spontaneous Symmetry Breaking and Gauge Particles | | title=The History of the Guralnik, Hagen and Kibble development of the Theory of Spontaneous Symmetry Breaking and Gauge Particles | ||

Line 217: | Line 229: | ||

It is important not to over-interpret these diagrams. Nothing is implied about ''how'' a particle gets from one point to another. The diagrams do ''not'' imply that the particles are moving in straight or curved lines. They do ''not'' imply that the particles are moving with fixed speeds. The fact that the photon is often represented, by convention, by a wavy line and not a straight one does ''not'' imply that it is thought that it is more wavelike than is an electron. The images are just symbols to represent the actions above: photons and electrons do, somehow, move from point to point and electrons, somehow, emit and absorb photons. We do not know how these things happen, but the theory tells us about the probabilities of these things happening. | It is important not to over-interpret these diagrams. Nothing is implied about ''how'' a particle gets from one point to another. The diagrams do ''not'' imply that the particles are moving in straight or curved lines. They do ''not'' imply that the particles are moving with fixed speeds. The fact that the photon is often represented, by convention, by a wavy line and not a straight one does ''not'' imply that it is thought that it is more wavelike than is an electron. The images are just symbols to represent the actions above: photons and electrons do, somehow, move from point to point and electrons, somehow, emit and absorb photons. We do not know how these things happen, but the theory tells us about the probabilities of these things happening. | ||

− | As well as the visual shorthand for the actions Feynman introduces another kind of shorthand for the numerical quantities which tell us about the probabilities. If a photon moves from one place and | + | As well as the visual shorthand for the actions Feynman introduces another kind of shorthand for the numerical quantities which tell us about the probabilities. If a photon moves from one place and time—in shorthand, A—to another place and time—in shorthand, B—the associated quantity is written in Feynman's shorthand as P(A to B). The similar quantity for an electron moving from C to D is written E(C to D). The quantity which tells us about the probability for the emission or absorption of a photon he calls 'j'. This is related to, but not the same as, the measured [[Elementary charge|electron charge]] 'e'. |

− | QED is based on the assumption that complex interactions of many electrons and photons can be represented by fitting together a suitable collection of the above three building blocks, and then using the probability | + | QED is based on the assumption that complex interactions of many electrons and photons can be represented by fitting together a suitable collection of the above three building blocks, and then using the probability quantities to calculate the probability of any such complex interaction. It turns out that the basic idea of QED can be communicated while making the assumption that the quantities mentioned above are just our everyday [[Probability|probabilities]]. (A simplification of Feynman's book.) Later on this will be corrected to include specifically quantum mathematics, following Feynman. |

The basic rules of probabilities that will be used are that a) if an event can happen in a variety of different ways then its probability is the '''sum''' of the probabilities of the possible ways and b) if a process involves a number of independent subprocesses then its probability is the '''product''' of the component probabilities. | The basic rules of probabilities that will be used are that a) if an event can happen in a variety of different ways then its probability is the '''sum''' of the probabilities of the possible ways and b) if a process involves a number of independent subprocesses then its probability is the '''product''' of the component probabilities. | ||

Line 227: | Line 239: | ||

Suppose we start with one electron at a certain place and time (this place and time being given the arbitrary label A) and a photon at another place and time (given the label B). A typical question from a physical standpoint is: 'What is the probability of finding an electron at C (another place and a later time) and a photon at D (yet another place and time)?'. The simplest process to achieve this end is for the electron to move from A to C (an elementary action) and that the photon moves from B to D (another elementary action). From a knowledge of the probabilities of each of these subprocesses – E(A to C) and P(B to D) – then we would expect to calculate the probability of both happening by multiplying them, using rule b) above. This gives a simple estimated answer to our question. [[File:Compton Scattering.svg|thumb|left|200px|[[Compton scattering]]]] But there are other ways in which the end result could come about. The electron might move to a place and time E where it absorbs the photon; then move on before emitting another photon at F; then move on to C where it is detected, while the new photon moves on to D. The probability of this complex process can again be calculated by knowing the probabilities of each of the individual actions: three electron actions, two photon actions and two vertexes – one emission and one absorption. We would expect to find the total probability by multiplying the probabilities of each of the actions, for any chosen positions of E and F. We then, using rule a) above, have to add up all these probabilities for all the alternatives for E and F. (This is not elementary in practice, and involves [[Integral|integration]].) But there is another possibility: that is that the electron first moves to G where it emits a photon which goes on to D, while the electron moves on to H, where it absorbs the first photon, before moving on to C. Again we can calculate the probability of these possibilities (for all points G and H). We then have a better estimation for the total probability by adding the probabilities of these two possibilities to our original simple estimate. Incidentally the name given to this process of a photon interacting with an electron in this way is [[Compton Scattering]]. | Suppose we start with one electron at a certain place and time (this place and time being given the arbitrary label A) and a photon at another place and time (given the label B). A typical question from a physical standpoint is: 'What is the probability of finding an electron at C (another place and a later time) and a photon at D (yet another place and time)?'. The simplest process to achieve this end is for the electron to move from A to C (an elementary action) and that the photon moves from B to D (another elementary action). From a knowledge of the probabilities of each of these subprocesses – E(A to C) and P(B to D) – then we would expect to calculate the probability of both happening by multiplying them, using rule b) above. This gives a simple estimated answer to our question. [[File:Compton Scattering.svg|thumb|left|200px|[[Compton scattering]]]] But there are other ways in which the end result could come about. The electron might move to a place and time E where it absorbs the photon; then move on before emitting another photon at F; then move on to C where it is detected, while the new photon moves on to D. The probability of this complex process can again be calculated by knowing the probabilities of each of the individual actions: three electron actions, two photon actions and two vertexes – one emission and one absorption. We would expect to find the total probability by multiplying the probabilities of each of the actions, for any chosen positions of E and F. We then, using rule a) above, have to add up all these probabilities for all the alternatives for E and F. (This is not elementary in practice, and involves [[Integral|integration]].) But there is another possibility: that is that the electron first moves to G where it emits a photon which goes on to D, while the electron moves on to H, where it absorbs the first photon, before moving on to C. Again we can calculate the probability of these possibilities (for all points G and H). We then have a better estimation for the total probability by adding the probabilities of these two possibilities to our original simple estimate. Incidentally the name given to this process of a photon interacting with an electron in this way is [[Compton Scattering]]. | ||

− | There are an ''infinite number'' of other intermediate processes in which more and more photons are absorbed and/or emitted. For each of these possibilities there is a Feynman diagram describing it. This implies a complex computation for the resulting probabilities, but provided it is the case that the more complicated the diagram the less it contributes to the result, it is only a matter of time and effort to find as accurate an answer as one wants to the original question. This is the basic approach of QED. To calculate the probability of | + | There are an ''infinite number'' of other intermediate processes in which more and more photons are absorbed and/or emitted. For each of these possibilities there is a Feynman diagram describing it. This implies a complex computation for the resulting probabilities, but provided it is the case that the more complicated the diagram the less it contributes to the result, it is only a matter of time and effort to find as accurate an answer as one wants to the original question. This is the basic approach of QED. To calculate the probability of ''any'' interactive process between electrons and photons it is a matter of first noting, with Feynman diagrams, all the possible ways in which the process can be constructed from the three basic elements. Each diagram involves some calculation involving definite rules to find the associated probability. |

− | That basic scaffolding remains when one moves to a quantum description but some conceptual changes are needed. One is that whereas we might expect in our everyday life that there would be some constraints on the points to which a particle can move, that is | + | That basic scaffolding remains when one moves to a quantum description but some conceptual changes are needed. One is that whereas we might expect in our everyday life that there would be some constraints on the points to which a particle can move, that is ''not'' true in full quantum electrodynamics. There is a possibility of an electron at A, or a photon at B, moving as a basic action to ''any other place and time in the universe''. That includes places that could only be reached at speeds greater than that of light and also ''earlier times''. (An electron moving backwards in time can be viewed as a [[positron]] moving forward in time.) |

===Probability amplitudes=== | ===Probability amplitudes=== | ||

Line 237: | Line 249: | ||

[[Quantum mechanics]] introduces an important change on the way probabilities are computed. It has been found that the quantities which we have to use to represent the probabilities are not the usual real numbers we use for probabilities in our everyday world, but [[complex number]]s which are called [[probability amplitude]]s. | [[Quantum mechanics]] introduces an important change on the way probabilities are computed. It has been found that the quantities which we have to use to represent the probabilities are not the usual real numbers we use for probabilities in our everyday world, but [[complex number]]s which are called [[probability amplitude]]s. | ||

− | Feynman avoids exposing the reader to the mathematics of complex numbers by using a simple but accurate representation of them as arrows on a piece of paper or screen. (These must not be confused with the arrows of Feynman diagrams which are actually simplified representations in two dimensions of a relationship between points in three dimensions of space and one of time.) The amplitude | + | Feynman avoids exposing the reader to the mathematics of complex numbers by using a simple but accurate representation of them as arrows on a piece of paper or screen. (These must not be confused with the arrows of Feynman diagrams which are actually simplified representations in two dimensions of a relationship between points in three dimensions of space and one of time.) The amplitude arrows are fundamental to the description of the world given by quantum theory. No satisfactory reason has been given for ''why'' they are needed. But pragmatically we have to accept that they are an essential part of our description of all quantum phenomena. They are related to our everyday ideas of probability by the simple rule that the probability of an event is the '''square''' of the length of the corresponding amplitude arrow. So, for a given process, if two probability amplitudes, '''v''' and '''w''', are involved, the probability of the process will be given either by |

:<math>P=|\mathbf{v}+\mathbf{w}|^2</math> | :<math>P=|\mathbf{v}+\mathbf{w}|^2</math> | ||

Line 252: | Line 264: | ||

Addition and multiplication are familiar operations in the theory of complex numbers and are given in the figures. The sum is found as follows. Let the start of the second arrow be at the end of the first. The sum is then a third arrow that goes directly from the start of the first to the end of the second. The product of two arrows is an arrow whose length is the product of the two lengths. The direction of the product is found by adding the angles that each of the two have been turned through relative to a reference direction: that gives the angle that the product is turned relative to the reference direction. | Addition and multiplication are familiar operations in the theory of complex numbers and are given in the figures. The sum is found as follows. Let the start of the second arrow be at the end of the first. The sum is then a third arrow that goes directly from the start of the first to the end of the second. The product of two arrows is an arrow whose length is the product of the two lengths. The direction of the product is found by adding the angles that each of the two have been turned through relative to a reference direction: that gives the angle that the product is turned relative to the reference direction. | ||

− | That change, from probabilities to probability amplitudes, complicates the mathematics without changing the basic approach. But that change is still not quite enough because it fails to take into account the fact that both photons and electrons can be polarized, which is to say that their | + | That change, from probabilities to probability amplitudes, complicates the mathematics without changing the basic approach. But that change is still not quite enough because it fails to take into account the fact that both photons and electrons can be polarized, which is to say that their orientations in space and time have to be taken into account. Therefore P(A to B) actually consists of 16 complex numbers, or probability amplitude arrows. There are also some minor changes to do with the quantity "j", which may have to be rotated by a multiple of 90° for some polarizations, which is only of interest for the detailed bookkeeping. |

− | Associated with the fact that the electron can be polarized is another small necessary detail which is connected with the fact that an electron is a [[ | + | Associated with the fact that the electron can be polarized is another small necessary detail which is connected with the fact that an electron is a [[fermion]] and obeys [[Fermi–Dirac statistics]]. The basic rule is that if we have the probability amplitude for a given complex process involving more than one electron, then when we include (as we always must) the complementary Feynman diagram in which we just exchange two electron events, the resulting amplitude is the reverse – the negative – of the first. The simplest case would be two electrons starting at A and B ending at C and D. The amplitude would be calculated as the "difference", {{nowrap|E(A to D) × E(B to C) − E(A to C) × E(B to D)}}, where we would expect, from our everyday idea of probabilities, that it would be a sum. |

===Propagators=== | ===Propagators=== | ||

− | Finally, one has to compute P(A to B) and E (C to D) corresponding to the probability amplitudes for the photon and the electron respectively. These are essentially the solutions of the [[Dirac Equation]] which describes the behavior of the electron's probability amplitude and the [[ | + | Finally, one has to compute P(A to B) and E (C to D) corresponding to the probability amplitudes for the photon and the electron respectively. These are essentially the solutions of the [[Dirac Equation]] which describes the behavior of the electron's probability amplitude and the [[Klein–Gordon equation]] which describes the behavior of the photon's probability amplitude. These are called [[Propagator|Feynman propagators]]. The translation to a notation commonly used in the standard literature is as follows: |

:<math>P(\mbox{A to B}) \rightarrow D_F(x_B-x_A),\quad E(\mbox{C to D}) \rightarrow S_F(x_D-x_C) </math> | :<math>P(\mbox{A to B}) \rightarrow D_F(x_B-x_A),\quad E(\mbox{C to D}) \rightarrow S_F(x_D-x_C) </math> | ||

Line 267: | Line 279: | ||

[[File:Electron self energy loop.svg|thumb|right|200px|[[Electron self-energy]] loop]] | [[File:Electron self energy loop.svg|thumb|right|200px|[[Electron self-energy]] loop]] | ||

− | A problem arose historically which held up progress for twenty years: although we start with the assumption of three basic "simple" actions, the rules of the game say that if we want to calculate the probability amplitude for an electron to get from A to B we must take into account '''all''' the possible ways: all possible Feynman diagrams with those end points. Thus there will be a way in which the electron travels to C, emits a photon there and then absorbs it again at D before moving on to B. Or it could do this kind of thing twice, or more. In short we have a [[fractal | + | A problem arose historically which held up progress for twenty years: although we start with the assumption of three basic "simple" actions, the rules of the game say that if we want to calculate the probability amplitude for an electron to get from A to B we must take into account '''all''' the possible ways: all possible Feynman diagrams with those end points. Thus there will be a way in which the electron travels to C, emits a photon there and then absorbs it again at D before moving on to B. Or it could do this kind of thing twice, or more. In short we have a [[fractal]]-like situation in which if we look closely at a line it breaks up into a collection of "simple" lines, each of which, if looked at closely, are in turn composed of "simple" lines, and so on ''ad infinitum''. This is a very difficult situation to handle. If adding that detail only altered things slightly then it would not have been too bad, but disaster struck when it was found that the simple correction mentioned above led to ''infinite'' probability amplitudes. In time this problem was "fixed" by the technique of [[renormalization]] (see below and the article on [[Self-energy|mass renormalization]]). However, Feynman himself remained unhappy about it, calling it a "dippy process".<ref name="feynbook2"/> |

===Conclusions=== | ===Conclusions=== | ||

Within the above framework physicists were then able to calculate to a high degree of accuracy some of the properties of electrons, such as the [[anomalous magnetic dipole moment]]. However, as Feynman points out, it fails totally to explain why particles such as the electron have the masses they do. "There is no theory that adequately explains these numbers. We use the numbers in all our theories, but we don't understand them – what they are, or where they come from. I believe that from a fundamental point of view, this is a very interesting and serious problem."<ref name=feynbook3>{{cite book |last=Feynman |first=Richard |authorlink=Richard Feynman |year=1985 |isbn=978-0-691-12575-6 |title=QED: The Strange Theory of Light and Matter |page=152 |publisher=Princeton University Press}}</ref> | Within the above framework physicists were then able to calculate to a high degree of accuracy some of the properties of electrons, such as the [[anomalous magnetic dipole moment]]. However, as Feynman points out, it fails totally to explain why particles such as the electron have the masses they do. "There is no theory that adequately explains these numbers. We use the numbers in all our theories, but we don't understand them – what they are, or where they come from. I believe that from a fundamental point of view, this is a very interesting and serious problem."<ref name=feynbook3>{{cite book |last=Feynman |first=Richard |authorlink=Richard Feynman |year=1985 |isbn=978-0-691-12575-6 |title=QED: The Strange Theory of Light and Matter |page=152 |publisher=Princeton University Press}}</ref> | ||

+ | |||

+ | ==Quantum Field Theory== | ||

+ | {{Main|Quantum field theory}} | ||

+ | |||

+ | Theory that brings [[quantum mechanics]] and [[special relativity]] together to account for subatomic theory. | ||

==Mathematics== | ==Mathematics== | ||

Line 280: | Line 297: | ||

{{Equation box 1 | {{Equation box 1 | ||

|indent =: | |indent =: | ||

− | |equation = <math>\mathcal{L}=\bar\psi(i\gamma^\mu D_\mu-m)\psi -\frac{1}{4}F_{\mu\nu}F^{\mu\nu}</math> | + | |equation = :<math>\mathcal{L}=\bar\psi(i\gamma^\mu D_\mu-m)\psi -\frac{1}{4}F_{\mu\nu}F^{\mu\nu}</math> |

|cellpadding | |cellpadding | ||

|border | |border | ||

Line 288: | Line 305: | ||

where | where | ||

:<math> \gamma^\mu </math> are [[Dirac matrices]]; | :<math> \gamma^\mu </math> are [[Dirac matrices]]; | ||

− | :<math>\psi</math> a [[bispinor]] [[field (physics)|field]] of [[spin-1/2]] particles (e.g. [[electron]] | + | :<math>\psi</math> a [[bispinor]] [[field (physics)|field]] of [[spin-1/2]] particles (e.g. [[electron]]–[[positron]] field); |

− | :<math>\bar\psi\equiv\psi^\dagger\ | + | :<math>\bar\psi\equiv\psi^\dagger\gamma^0</math>, called "psi-bar", is sometimes referred to as [[Dirac adjoint]]; |

:<math>D_\mu \equiv \partial_\mu+ieA_\mu+ieB_\mu \,\!</math> is the [[gauge covariant derivative]]; | :<math>D_\mu \equiv \partial_\mu+ieA_\mu+ieB_\mu \,\!</math> is the [[gauge covariant derivative]]; | ||

:''e'' is the [[Fine-structure constant|coupling constant]], equal to the [[electric charge]] of the bispinor field; | :''e'' is the [[Fine-structure constant|coupling constant]], equal to the [[electric charge]] of the bispinor field; | ||

Line 301: | Line 318: | ||

:<math>\mathcal{L} = i \bar\psi \gamma^\mu \partial_\mu \psi - e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) \psi -m \bar{\psi} \psi - \frac{1}{4}F_{\mu\nu}F^{\mu\nu}. \,</math> | :<math>\mathcal{L} = i \bar\psi \gamma^\mu \partial_\mu \psi - e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) \psi -m \bar{\psi} \psi - \frac{1}{4}F_{\mu\nu}F^{\mu\nu}. \,</math> | ||

− | Next, we can substitute this Lagrangian into the [[ | + | Next, we can substitute this Lagrangian into the [[Euler–Lagrange equation]] of motion for a field: |

− | + | {{NumBlk|:|<math> \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial ( \partial_\mu \psi )} \right) - \frac{\partial \mathcal{L}}{\partial \psi} = 0 \,</math> | |

|{{EquationRef|2}}}} | |{{EquationRef|2}}}} | ||

Line 313: | Line 330: | ||

:<math>\frac{\partial \mathcal{L}}{\partial \psi} = -e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) - m \bar{\psi}. \,</math> | :<math>\frac{\partial \mathcal{L}}{\partial \psi} = -e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) - m \bar{\psi}. \,</math> | ||

− | Substituting these two back into the | + | Substituting these two back into the Euler–Lagrange equation ({{EquationNote|2}}) results in |

:<math>i \partial_\mu \bar{\psi} \gamma^\mu + e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) + m \bar{\psi} = 0 \,</math> | :<math>i \partial_\mu \bar{\psi} \gamma^\mu + e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) + m \bar{\psi} = 0 \,</math> | ||

with complex conjugate | with complex conjugate | ||

Line 330: | Line 347: | ||

The left-hand side is like the original [[Dirac equation]] and the right-hand side is the interaction with the electromagnetic field. | The left-hand side is like the original [[Dirac equation]] and the right-hand side is the interaction with the electromagnetic field. | ||

− | One further important equation can be found by substituting the Lagrangian into another | + | One further important equation can be found by substituting the Lagrangian into another Euler–Lagrange equation, this time for the field, ''A''<sup>μ</sup>: |

− | + | {{NumBlk|:|<math> \partial_\nu \left( \frac{\partial \mathcal{L}}{\partial ( \partial_\nu A_\mu )} \right) - \frac{\partial \mathcal{L}}{\partial A_\mu} = 0\,. </math>|{{EquationRef|3}}}} | |

The two terms this time are | The two terms this time are | ||

Line 349: | Line 366: | ||

|background colour=#F5FFFA}} | |background colour=#F5FFFA}} | ||

− | Now, if we impose the Lorenz | + | Now, if we impose the [[Lorenz gauge condition]], that the divergence of the four potential vanishes |

− | :<math>\Box A^{\mu}=e\bar{\psi} \gamma^{\mu} \psi | + | :<math>\partial_{\mu} A^\mu = 0 </math> |

+ | |||

+ | then we get | ||

+ | |||

+ | :<math>\Box A^{\mu}=e\bar{\psi} \gamma^{\mu} \psi\,,</math> | ||

+ | |||

+ | which is a [[wave equation]] for the four potential, the QED version of the classical Maxwell equations in the Lorenz gauge. | ||

===Interaction picture=== | ===Interaction picture=== | ||

Line 370: | Line 393: | ||

===Feynman diagrams=== | ===Feynman diagrams=== | ||

− | Despite the conceptual clarity of this Feynman approach to QED, almost no textbooks follow him in their presentation. When performing calculations it is much easier to work with the [[Fourier transform]]s of the [[propagator]]s. Quantum physics considers particle's [[Momentum|momenta]] rather than their positions, and it is convenient to think of particles as being created or annihilated when they interact. Feynman diagrams then ''look'' the same, but the lines have different interpretations. The electron line represents an electron with a given energy and momentum, with a similar interpretation of the photon line. A vertex diagram represents the annihilation of one electron and the creation of another together with the absorption or creation of a photon, each having specified energies and momenta. | + | Despite the conceptual clarity of this Feynman approach to QED, almost no early textbooks follow him in their presentation. When performing calculations it is much easier to work with the [[Fourier transform]]s of the [[propagator]]s. Quantum physics considers particle's [[Momentum|momenta]] rather than their positions, and it is convenient to think of particles as being created or annihilated when they interact. Feynman diagrams then ''look'' the same, but the lines have different interpretations. The electron line represents an electron with a given energy and momentum, with a similar interpretation of the photon line. A vertex diagram represents the annihilation of one electron and the creation of another together with the absorption or creation of a photon, each having specified energies and momenta. |

Using [[Wick theorem]] on the terms of the Dyson series, all the terms of the [[S-matrix]] for quantum electrodynamics can be computed through the technique of [[Feynman diagrams]]. In this case rules for drawing are the following | Using [[Wick theorem]] on the terms of the Dyson series, all the terms of the [[S-matrix]] for quantum electrodynamics can be computed through the technique of [[Feynman diagrams]]. In this case rules for drawing are the following | ||

Line 378: | Line 401: | ||

<center>[[Image:qed2e.jpg|488px]]</center> | <center>[[Image:qed2e.jpg|488px]]</center> | ||

− | To these rules we must add a further one for closed loops that implies an integration on momenta <math>\int d^4p/(2\pi)^4</math>, since these internal ("virtual") particles are not constrained to any specific | + | To these rules we must add a further one for closed loops that implies an integration on momenta <math>\int d^4p/(2\pi)^4</math>, since these internal ("virtual") particles are not constrained to any specific energy–momentum – even that usually required by special relativity (see [[Propagator#Propagators_in_Feynman_diagrams | this article]] for details). |

From them, computations of [[probability amplitude]]s are straightforwardly given. An example is [[Compton scattering]], with an [[electron]] and a [[photon]] undergoing [[elastic scattering]]. Feynman diagrams are in this case | From them, computations of [[probability amplitude]]s are straightforwardly given. An example is [[Compton scattering]], with an [[electron]] and a [[photon]] undergoing [[elastic scattering]]. Feynman diagrams are in this case | ||

Line 400: | Line 423: | ||

</gallery></center> | </gallery></center> | ||

− | that, being closed loops, imply the presence of diverging [[integral]]s having no mathematical meaning. To overcome this difficulty, a technique | + | that, being closed loops, imply the presence of diverging [[integral]]s having no mathematical meaning. To overcome this difficulty, a technique called [[renormalization]] has been devised, producing finite results in very close agreement with experiments. It is important to note that a criterion for theory being meaningful after renormalization is that the number of diverging diagrams is finite. In this case the theory is said to be '''renormalizable'''. The reason for this is that to get observables renormalized one needs a finite number of constants to maintain the predictive value of the theory untouched. This is exactly the case of quantum electrodynamics displaying just three diverging diagrams. This procedure gives observables in very close agreement with experiment as seen e.g. for electron [[gyromagnetic ratio]]. |

Renormalizability has become an essential criterion for a [[quantum field theory]] to be considered as a viable one. All the theories describing [[fundamental interaction]]s, except [[gravitation]] whose quantum counterpart is presently under very active research, are renormalizable theories. | Renormalizability has become an essential criterion for a [[quantum field theory]] to be considered as a viable one. All the theories describing [[fundamental interaction]]s, except [[gravitation]] whose quantum counterpart is presently under very active research, are renormalizable theories. | ||

==Nonconvergence of series== | ==Nonconvergence of series== | ||

− | |||

An argument by [[Freeman Dyson]] shows that the [[radius of convergence]] of the perturbation series in QED is zero.<ref>{{Cite web | An argument by [[Freeman Dyson]] shows that the [[radius of convergence]] of the perturbation series in QED is zero.<ref>{{Cite web | ||

| last = Kinoshita | | last = Kinoshita | ||

| first = Toichiro | | first = Toichiro | ||

− | + | | title = Quantum Electrodynamics has Zero Radius of Convergence Summarized from Toichiro Kinoshita | |

− | | title = Quantum Electrodynamics has Zero Radius of Convergence Summarized from | ||

| work = | | work = | ||

| publisher = | | publisher = | ||

| date = | | date = | ||

| url = http://www.lassp.cornell.edu/sethna/Cracks/QED.html | | url = http://www.lassp.cornell.edu/sethna/Cracks/QED.html | ||

− | |||

| accessdate = 06-10-2010 | | accessdate = 06-10-2010 | ||

− | }}</ref> The basic argument goes as follows: if the [[fine structure constant|coupling constant]] were negative, this would be equivalent to the [[Coulomb force constant]] being negative. This would "reverse" the electromagnetic interaction so that ''like'' charges would ''attract'' and ''unlike'' charges would ''repel''. This would render the vacuum unstable against decay into a cluster of electrons on one side of the universe and a cluster of positrons on the other side of the universe. Because the theory is 'sick' for any negative value of the coupling constant, the series do not converge, but are an [[asymptotic series]]. | + | }}</ref> The basic argument goes as follows: if the [[fine structure constant|coupling constant]] were negative, this would be equivalent to the [[Coulomb force constant]] being negative. This would "reverse" the electromagnetic interaction so that ''like'' charges would ''attract'' and ''unlike'' charges would ''repel''. This would render the vacuum unstable against decay into a cluster of electrons on one side of the universe and a cluster of positrons on the other side of the universe. Because the theory is 'sick' for any negative value of the coupling constant, the series do not converge, but are an [[asymptotic series]]. |

+ | |||

+ | From a modern perspective, we say that QED is not well defined as a QFT to arbitrarily high energy.<ref>{{Cite web | ||

+ | | last = Espriu and Tarrach | ||

+ | | first = | ||

+ | | title = Ambiguities in QED: Renormalons versus Triviality | ||

+ | | work = | ||

+ | | publisher = | ||

+ | | date = | ||

+ | | url = http://arxiv.org/pdf/hep-ph/9604431.pdf | ||

+ | | accessdate = 11-11-13 | ||

+ | }}</ref> The coupling constant runs to infinity at finite energy, signalling a [[Landau pole]]. The problem is essentially that QED is not [[asymptotically free]]. This is one of the motivations for embedding QED within a [[Grand Unified Theory]]. | ||

==See also== | ==See also== | ||

{{Col-begin}} | {{Col-begin}} | ||

{{Col-2}} | {{Col-2}} | ||

− | *[[ | + | *[[Abraham–Lorentz force]] |

*[[Anomalous magnetic moment]] | *[[Anomalous magnetic moment]] | ||

*[[Basics of quantum mechanics]] | *[[Basics of quantum mechanics]] | ||

Line 428: | Line 459: | ||

*[[Cavity quantum electrodynamics]] | *[[Cavity quantum electrodynamics]] | ||

*[[Compton scattering]] | *[[Compton scattering]] | ||

− | *[[ | + | *[[Euler–Heisenberg Lagrangian]] |

*[[Path integral formulation|Feynman path integrals]] | *[[Path integral formulation|Feynman path integrals]] | ||

*[[Gauge theory]] | *[[Gauge theory]] | ||

− | *[[ | + | *[[Gupta–Bleuler formalism]] |

*[[Lamb shift]] | *[[Lamb shift]] | ||

*[[Landau pole]] | *[[Landau pole]] | ||

*[[Moeller scattering]] | *[[Moeller scattering]] | ||

− | |||

*[[Photon polarization]] | *[[Photon polarization]] | ||

*[[Positronium]] | *[[Positronium]] | ||

Line 453: | Line 483: | ||

*[[Self-energy]] | *[[Self-energy]] | ||

*[[Standard Model]] | *[[Standard Model]] | ||

+ | * [[Symmetry in quantum mechanics]] | ||

*[[Theoretical and experimental justification for the Schrödinger equation]] | *[[Theoretical and experimental justification for the Schrödinger equation]] | ||

*[[Vacuum polarization]] | *[[Vacuum polarization]] | ||

*[[Vertex function]] | *[[Vertex function]] | ||

*[[Ward–Takahashi identity]] | *[[Ward–Takahashi identity]] | ||

− | *[[ | + | *[[Wheeler–Feynman absorber theory]] |

{{Col-end}} | {{Col-end}} | ||

Line 465: | Line 496: | ||

==Further reading== | ==Further reading== | ||

===Books=== | ===Books=== | ||

− | * {{cite book |last=De Broglie |first=Louis |authorlink=Louis de Broglie |title=Recherches sur la theorie des quanta [Research on quantum theory] |year=1925 |publisher=Wiley-Interscience |location=France | + | * {{cite book |last=De Broglie |first=Louis |authorlink=Louis de Broglie |title=Recherches sur la theorie des quanta [Research on quantum theory] |year=1925 |publisher=Wiley-Interscience |location=France}} |

− | * {{cite book |last=Feynman |first=Richard Phillips |authorlink=Richard Feynman |title=Quantum Electrodynamics |year=1998 |publisher=Westview Press | + | * {{cite book |last=Feynman |first=Richard Phillips |authorlink=Richard Feynman |title=Quantum Electrodynamics |year=1998 |publisher=Westview Press |edition=New |isbn=978-0-201-36075-2}} |

− | * {{cite book | | + | * {{cite book |last1=Jauch |first1=J.M. |last2=Rohrlich |first2=F. |title=The Theory of Photons and Electrons |year=1980 |publisher=Springer-Verlag |isbn=978-0-387-07295-1}} |

− | * {{cite book | | + | * {{cite book |last1=Greiner |first1=Walter |last2=Bromley |first2=D.A. |last3=Müller |first3=Berndt |title=Gauge Theory of Weak Interactions |year=2000 |publisher=Springer |isbn=978-3-540-67672-0}} |

− | * {{cite book |last=Kane |first=Gordon, L. |title=Modern Elementary Particle Physics |year=1993 |publisher=Westview Press |isbn=978-0-201-62460-1 }} | + | * {{cite book |last=Kane |first=Gordon, L. |title=Modern Elementary Particle Physics |year=1993 |publisher=Westview Press |isbn=978-0-201-62460-1}} |

− | * {{cite book |last=Miller |first=Arthur I. |title=Early Quantum Electrodynamics : A Sourcebook |year=1995 |publisher=Cambridge University Press |isbn=978-0-521-56891-3 }} | + | * {{cite book |last=Miller |first=Arthur I. |title=Early Quantum Electrodynamics: A Sourcebook |year=1995 |publisher=Cambridge University Press |isbn=978-0-521-56891-3}} |

* Milonni, Peter W., (1994) ''The quantum vacuum - an introduction to quantum electrodynamics''. Academic Press. ISBN 0-12-498080-5 | * Milonni, Peter W., (1994) ''The quantum vacuum - an introduction to quantum electrodynamics''. Academic Press. ISBN 0-12-498080-5 | ||

− | * {{cite book |last=Schweber |first= | + | * {{cite book |last=Schweber |first=Silvan S. |title=QED and the Men Who Made It |year=1994 |publisher=Princeton University Press |isbn=978-0-691-03327-3}} |

− | * {{cite book |last=Schwinger |first=Julian |authorlink=Julian Schwinger |title=Selected Papers on Quantum Electrodynamics |year=1958 |publisher=Dover Publications |isbn=978-0-486-60444-2 }} | + | * {{cite book |last=Schwinger |first=Julian |authorlink=Julian Schwinger |title=Selected Papers on Quantum Electrodynamics |year=1958 |publisher=Dover Publications |isbn=978-0-486-60444-2}} |

− | * {{cite book | | + | * {{cite book |last1=Tannoudji-Cohen |first1=Claude |authorlink1=Claude Cohen-Tannoudji |last2=Dupont-Roc |first2=Jacques |last3=Grynberg |first3=Gilbert |title=Photons and Atoms: Introduction to Quantum Electrodynamics |year=1997 |publisher=Wiley-Interscience |isbn=978-0-471-18433-1}} |

===Journals=== | ===Journals=== | ||

Line 497: | Line 528: | ||

[[Category:Concepts in physics]] | [[Category:Concepts in physics]] | ||

[[Category:Freeman Dyson]] | [[Category:Freeman Dyson]] | ||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− |

## Revision as of 13:54, 4 January 2014

{{#invoke: Sidebar | collapsible }}

In particle physics, **quantum electrodynamics** (**QED**) is the relativistic quantum field theory of electrodynamics. In essence, it describes how light and matter interact and is the first theory where full agreement between quantum mechanics and special relativity is achieved. QED mathematically describes all phenomena involving electrically charged particles interacting by means of exchange of photons and represents the quantum counterpart of classical electromagnetism giving a complete account of matter and light interaction.

In technical terms, QED can be described as a perturbation theory of the electromagnetic quantum vacuum. Richard Feynman called it "the jewel of physics" for its extremely accurate predictions of quantities like the anomalous magnetic moment of the electron and the Lamb shift of the energy levels of hydrogen.^{[1]}

## History

{{#invoke:main|main}}

The first formulation of a quantum theory describing radiation and matter interaction is attributed to British scientist Paul Dirac, who (during the 1920s) was first able to compute the coefficient of spontaneous emission of an atom.^{[2]}

Dirac described the quantization of the electromagnetic field as an ensemble of harmonic oscillators with the introduction of the concept of creation and annihilation operators of particles. In the following years, with contributions from Wolfgang Pauli, Eugene Wigner, Pascual Jordan, Werner Heisenberg and an elegant formulation of quantum electrodynamics due to Enrico Fermi,^{[3]} physicists came to believe that, in principle, it would be possible to perform any computation for any physical process involving photons and charged particles. However, further studies by Felix Bloch with Arnold Nordsieck,^{[4]} and Victor Weisskopf,^{[5]} in 1937 and 1939, revealed that such computations were reliable only at a first order of perturbation theory, a problem already pointed out by Robert Oppenheimer.^{[6]} At higher orders in the series infinities emerged, making such computations meaningless and casting serious doubts on the internal consistency of the theory itself. With no solution for this problem known at the time, it appeared that a fundamental incompatibility existed between special relativity and quantum mechanics.

Difficulties with the theory increased through the end of 1940. Improvements in microwave technology made it possible to take more precise measurements of the shift of the levels of a hydrogen atom,^{[7]} now known as the Lamb shift and magnetic moment of the electron.^{[8]} These experiments unequivocally exposed discrepancies which the theory was unable to explain.

A first indication of a possible way out was given by Hans Bethe. In 1947, while he was traveling by train to reach Schenectady from New York,^{[9]} after giving a talk at the conference at Shelter Island on the subject, Bethe completed the first non-relativistic computation of the shift of the lines of the hydrogen atom as measured by Lamb and Retherford.^{[10]} Despite the limitations of the computation, agreement was excellent. The idea was simply to attach infinities to corrections of mass and charge that were actually fixed to a finite value by experiments. In this way, the infinities get absorbed in those constants and yield a finite result in good agreement with experiments. This procedure was named renormalization.

Based on Bethe's intuition and fundamental papers on the subject by Sin-Itiro Tomonaga,^{[11]} Julian Schwinger,^{[12]}^{[13]} Richard Feynman^{[14]}^{[15]}^{[16]} and Freeman Dyson,^{[17]}^{[18]} it was finally possible to get fully covariant formulations that were finite at any order in a perturbation series of quantum electrodynamics. Sin-Itiro Tomonaga, Julian Schwinger and Richard Feynman were jointly awarded with a Nobel prize in physics in 1965 for their work in this area.^{[19]} Their contributions, and those of Freeman Dyson, were about covariant and gauge invariant formulations of quantum electrodynamics that allow computations of observables at any order of perturbation theory. Feynman's mathematical technique, based on his diagrams, initially seemed very different from the field-theoretic, operator-based approach of Schwinger and Tomonaga, but Freeman Dyson later showed that the two approaches were equivalent.^{[17]} Renormalization, the need to attach a physical meaning at certain divergences appearing in the theory through integrals, has subsequently become one of the fundamental aspects of quantum field theory and has come to be seen as a criterion for a theory's general acceptability. Even though renormalization works very well in practice, Feynman was never entirely comfortable with its mathematical validity, even referring to renormalization as a "shell game" and "hocus pocus".^{[20]}

QED has served as the model and template for all subsequent quantum field theories. One such subsequent theory is quantum chromodynamics, which began in the early 1960s and attained its present form in the 1975 work by H. David Politzer, Sidney Coleman, David Gross and Frank Wilczek. Building on the pioneering work of Schwinger, Gerald Guralnik, Dick Hagen, and Tom Kibble,^{[21]}^{[22]} Peter Higgs, Jeffrey Goldstone, and others, Sheldon Glashow, Steven Weinberg and Abdus Salam independently showed how the weak nuclear force and quantum electrodynamics could be merged into a single electroweak force.

## Feynman's view of quantum electrodynamics

### Introduction

Near the end of his life, Richard P. Feynman gave a series of lectures on QED intended for the lay public. These lectures were transcribed and published as Feynman (1985), *QED: The strange theory of light and matter*,^{[1]}^{[20]} a classic non-mathematical exposition of QED from the point of view articulated below.

The key components of Feynman's presentation of QED are three basic actions.

- A photon goes from one place and time to another place and time.
- An electron goes from one place and time to another place and time.
- An electron emits or absorbs a photon at a certain place and time.

These actions are represented in a form of visual shorthand by the three basic elements of Feynman diagrams: a wavy line for the photon, a straight line for the electron and a junction of two straight lines and a wavy one for a vertex representing emission or absorption of a photon by an electron. These can all be seen in the adjacent diagram.

It is important not to over-interpret these diagrams. Nothing is implied about *how* a particle gets from one point to another. The diagrams do *not* imply that the particles are moving in straight or curved lines. They do *not* imply that the particles are moving with fixed speeds. The fact that the photon is often represented, by convention, by a wavy line and not a straight one does *not* imply that it is thought that it is more wavelike than is an electron. The images are just symbols to represent the actions above: photons and electrons do, somehow, move from point to point and electrons, somehow, emit and absorb photons. We do not know how these things happen, but the theory tells us about the probabilities of these things happening.

As well as the visual shorthand for the actions Feynman introduces another kind of shorthand for the numerical quantities which tell us about the probabilities. If a photon moves from one place and time—in shorthand, A—to another place and time—in shorthand, B—the associated quantity is written in Feynman's shorthand as P(A to B). The similar quantity for an electron moving from C to D is written E(C to D). The quantity which tells us about the probability for the emission or absorption of a photon he calls 'j'. This is related to, but not the same as, the measured electron charge 'e'.

QED is based on the assumption that complex interactions of many electrons and photons can be represented by fitting together a suitable collection of the above three building blocks, and then using the probability quantities to calculate the probability of any such complex interaction. It turns out that the basic idea of QED can be communicated while making the assumption that the quantities mentioned above are just our everyday probabilities. (A simplification of Feynman's book.) Later on this will be corrected to include specifically quantum mathematics, following Feynman.

The basic rules of probabilities that will be used are that a) if an event can happen in a variety of different ways then its probability is the **sum** of the probabilities of the possible ways and b) if a process involves a number of independent subprocesses then its probability is the **product** of the component probabilities.

### Basic constructions

Suppose we start with one electron at a certain place and time (this place and time being given the arbitrary label A) and a photon at another place and time (given the label B). A typical question from a physical standpoint is: 'What is the probability of finding an electron at C (another place and a later time) and a photon at D (yet another place and time)?'. The simplest process to achieve this end is for the electron to move from A to C (an elementary action) and that the photon moves from B to D (another elementary action). From a knowledge of the probabilities of each of these subprocesses – E(A to C) and P(B to D) – then we would expect to calculate the probability of both happening by multiplying them, using rule b) above. This gives a simple estimated answer to our question.

But there are other ways in which the end result could come about. The electron might move to a place and time E where it absorbs the photon; then move on before emitting another photon at F; then move on to C where it is detected, while the new photon moves on to D. The probability of this complex process can again be calculated by knowing the probabilities of each of the individual actions: three electron actions, two photon actions and two vertexes – one emission and one absorption. We would expect to find the total probability by multiplying the probabilities of each of the actions, for any chosen positions of E and F. We then, using rule a) above, have to add up all these probabilities for all the alternatives for E and F. (This is not elementary in practice, and involves integration.) But there is another possibility: that is that the electron first moves to G where it emits a photon which goes on to D, while the electron moves on to H, where it absorbs the first photon, before moving on to C. Again we can calculate the probability of these possibilities (for all points G and H). We then have a better estimation for the total probability by adding the probabilities of these two possibilities to our original simple estimate. Incidentally the name given to this process of a photon interacting with an electron in this way is Compton Scattering.

There are an *infinite number* of other intermediate processes in which more and more photons are absorbed and/or emitted. For each of these possibilities there is a Feynman diagram describing it. This implies a complex computation for the resulting probabilities, but provided it is the case that the more complicated the diagram the less it contributes to the result, it is only a matter of time and effort to find as accurate an answer as one wants to the original question. This is the basic approach of QED. To calculate the probability of *any* interactive process between electrons and photons it is a matter of first noting, with Feynman diagrams, all the possible ways in which the process can be constructed from the three basic elements. Each diagram involves some calculation involving definite rules to find the associated probability.

That basic scaffolding remains when one moves to a quantum description but some conceptual changes are needed. One is that whereas we might expect in our everyday life that there would be some constraints on the points to which a particle can move, that is *not* true in full quantum electrodynamics. There is a possibility of an electron at A, or a photon at B, moving as a basic action to *any other place and time in the universe*. That includes places that could only be reached at speeds greater than that of light and also *earlier times*. (An electron moving backwards in time can be viewed as a positron moving forward in time.)

### Probability amplitudes

Quantum mechanics introduces an important change on the way probabilities are computed. It has been found that the quantities which we have to use to represent the probabilities are not the usual real numbers we use for probabilities in our everyday world, but complex numbers which are called probability amplitudes.

Feynman avoids exposing the reader to the mathematics of complex numbers by using a simple but accurate representation of them as arrows on a piece of paper or screen. (These must not be confused with the arrows of Feynman diagrams which are actually simplified representations in two dimensions of a relationship between points in three dimensions of space and one of time.) The amplitude arrows are fundamental to the description of the world given by quantum theory. No satisfactory reason has been given for *why* they are needed. But pragmatically we have to accept that they are an essential part of our description of all quantum phenomena. They are related to our everyday ideas of probability by the simple rule that the probability of an event is the **square** of the length of the corresponding amplitude arrow. So, for a given process, if two probability amplitudes, **v** and **w**, are involved, the probability of the process will be given either by

or

The rules as regards adding or multiplying, however, are the same as above. But where you would expect to add or multiply probabilities, instead you add or multiply probability amplitudes that now are complex numbers.

Addition and multiplication are familiar operations in the theory of complex numbers and are given in the figures. The sum is found as follows. Let the start of the second arrow be at the end of the first. The sum is then a third arrow that goes directly from the start of the first to the end of the second. The product of two arrows is an arrow whose length is the product of the two lengths. The direction of the product is found by adding the angles that each of the two have been turned through relative to a reference direction: that gives the angle that the product is turned relative to the reference direction.

That change, from probabilities to probability amplitudes, complicates the mathematics without changing the basic approach. But that change is still not quite enough because it fails to take into account the fact that both photons and electrons can be polarized, which is to say that their orientations in space and time have to be taken into account. Therefore P(A to B) actually consists of 16 complex numbers, or probability amplitude arrows. There are also some minor changes to do with the quantity "j", which may have to be rotated by a multiple of 90° for some polarizations, which is only of interest for the detailed bookkeeping.

Associated with the fact that the electron can be polarized is another small necessary detail which is connected with the fact that an electron is a fermion and obeys Fermi–Dirac statistics. The basic rule is that if we have the probability amplitude for a given complex process involving more than one electron, then when we include (as we always must) the complementary Feynman diagram in which we just exchange two electron events, the resulting amplitude is the reverse – the negative – of the first. The simplest case would be two electrons starting at A and B ending at C and D. The amplitude would be calculated as the "difference", E(A to D) × E(B to C) − E(A to C) × E(B to D), where we would expect, from our everyday idea of probabilities, that it would be a sum.

### Propagators

Finally, one has to compute P(A to B) and E (C to D) corresponding to the probability amplitudes for the photon and the electron respectively. These are essentially the solutions of the Dirac Equation which describes the behavior of the electron's probability amplitude and the Klein–Gordon equation which describes the behavior of the photon's probability amplitude. These are called Feynman propagators. The translation to a notation commonly used in the standard literature is as follows:

where a shorthand symbol such as stands for the four real numbers which give the time and position in three dimensions of the point labeled A.

### Mass renormalization

A problem arose historically which held up progress for twenty years: although we start with the assumption of three basic "simple" actions, the rules of the game say that if we want to calculate the probability amplitude for an electron to get from A to B we must take into account **all** the possible ways: all possible Feynman diagrams with those end points. Thus there will be a way in which the electron travels to C, emits a photon there and then absorbs it again at D before moving on to B. Or it could do this kind of thing twice, or more. In short we have a fractal-like situation in which if we look closely at a line it breaks up into a collection of "simple" lines, each of which, if looked at closely, are in turn composed of "simple" lines, and so on *ad infinitum*. This is a very difficult situation to handle. If adding that detail only altered things slightly then it would not have been too bad, but disaster struck when it was found that the simple correction mentioned above led to *infinite* probability amplitudes. In time this problem was "fixed" by the technique of renormalization (see below and the article on mass renormalization). However, Feynman himself remained unhappy about it, calling it a "dippy process".^{[20]}

### Conclusions

Within the above framework physicists were then able to calculate to a high degree of accuracy some of the properties of electrons, such as the anomalous magnetic dipole moment. However, as Feynman points out, it fails totally to explain why particles such as the electron have the masses they do. "There is no theory that adequately explains these numbers. We use the numbers in all our theories, but we don't understand them – what they are, or where they come from. I believe that from a fundamental point of view, this is a very interesting and serious problem."^{[23]}

## Quantum Field Theory

{{#invoke:main|main}}

Theory that brings quantum mechanics and special relativity together to account for subatomic theory.

## Mathematics

Mathematically, QED is an abelian gauge theory with the symmetry group U(1). The gauge field, which mediates the interaction between the charged spin-1/2 fields, is the electromagnetic field. The QED Lagrangian for a spin-1/2 field interacting with the electromagnetic field is given by the real part of

where

- are Dirac matrices;
- a bispinor field of spin-1/2 particles (e.g. electron–positron field);
- , called "psi-bar", is sometimes referred to as Dirac adjoint;
- is the gauge covariant derivative;
*e*is the coupling constant, equal to the electric charge of the bispinor field;*A*_{μ}is the covariant four-potential of the electromagnetic field generated by the electron itself;*B*_{μ}is the external field imposed by external source;- is the electromagnetic field tensor.

### Equations of motion

To begin, substituting the definition of *D* into the Lagrangian gives us

Next, we can substitute this Lagrangian into the Euler–Lagrange equation of motion for a field:

to find the field equations for QED.

The two terms from this Lagrangian are then

Substituting these two back into the Euler–Lagrange equation (Template:EquationNote) results in

with complex conjugate

Bringing the middle term to the right-hand side transforms this second equation into

The left-hand side is like the original Dirac equation and the right-hand side is the interaction with the electromagnetic field.

One further important equation can be found by substituting the Lagrangian into another Euler–Lagrange equation, this time for the field, *A*^{μ}:

The two terms this time are

and these two terms, when substituted back into (Template:EquationNote) give us

Now, if we impose the Lorenz gauge condition, that the divergence of the four potential vanishes

then we get

which is a wave equation for the four potential, the QED version of the classical Maxwell equations in the Lorenz gauge.

### Interaction picture

This theory can be straightforwardly quantized by treating bosonic and fermionic sectors as free. This permits us to build a set of asymptotic states which can be used to start a computation of the probability amplitudes for different processes. In order to do so, we have to compute an evolution operator that, for a given initial state , will give a final state in such a way to have

This technique is also known as the S-Matrix. The evolution operator is obtained in the interaction picture where time evolution is given by the interaction Hamiltonian, which is the integral over space of the second term in the Lagrangian density given above:

and so, one has

where *T* is the time ordering operator. This evolution operator only has meaning as a series, and what we get here is a perturbation series with the fine structure constant as the development parameter. This series is called the Dyson series.

### Feynman diagrams

Despite the conceptual clarity of this Feynman approach to QED, almost no early textbooks follow him in their presentation. When performing calculations it is much easier to work with the Fourier transforms of the propagators. Quantum physics considers particle's momenta rather than their positions, and it is convenient to think of particles as being created or annihilated when they interact. Feynman diagrams then *look* the same, but the lines have different interpretations. The electron line represents an electron with a given energy and momentum, with a similar interpretation of the photon line. A vertex diagram represents the annihilation of one electron and the creation of another together with the absorption or creation of a photon, each having specified energies and momenta.

Using Wick theorem on the terms of the Dyson series, all the terms of the S-matrix for quantum electrodynamics can be computed through the technique of Feynman diagrams. In this case rules for drawing are the following

To these rules we must add a further one for closed loops that implies an integration on momenta , since these internal ("virtual") particles are not constrained to any specific energy–momentum – even that usually required by special relativity (see this article for details). From them, computations of probability amplitudes are straightforwardly given. An example is Compton scattering, with an electron and a photon undergoing elastic scattering. Feynman diagrams are in this case

and so we are able to get the corresponding amplitude at the first order of a perturbation series for the S-matrix:

from which we are able to compute the cross section for this scattering.

## Renormalizability

Higher order terms can be straightforwardly computed for the evolution operator but these terms display diagrams containing the following simpler ones

One-loop contribution to the vacuum polarization function

One-loop contribution to the electron self-energy function

One-loop contribution to the vertex function

that, being closed loops, imply the presence of diverging integrals having no mathematical meaning. To overcome this difficulty, a technique called renormalization has been devised, producing finite results in very close agreement with experiments. It is important to note that a criterion for theory being meaningful after renormalization is that the number of diverging diagrams is finite. In this case the theory is said to be **renormalizable**. The reason for this is that to get observables renormalized one needs a finite number of constants to maintain the predictive value of the theory untouched. This is exactly the case of quantum electrodynamics displaying just three diverging diagrams. This procedure gives observables in very close agreement with experiment as seen e.g. for electron gyromagnetic ratio.

Renormalizability has become an essential criterion for a quantum field theory to be considered as a viable one. All the theories describing fundamental interactions, except gravitation whose quantum counterpart is presently under very active research, are renormalizable theories.

## Nonconvergence of series

An argument by Freeman Dyson shows that the radius of convergence of the perturbation series in QED is zero.^{[24]} The basic argument goes as follows: if the coupling constant were negative, this would be equivalent to the Coulomb force constant being negative. This would "reverse" the electromagnetic interaction so that *like* charges would *attract* and *unlike* charges would *repel*. This would render the vacuum unstable against decay into a cluster of electrons on one side of the universe and a cluster of positrons on the other side of the universe. Because the theory is 'sick' for any negative value of the coupling constant, the series do not converge, but are an asymptotic series.

From a modern perspective, we say that QED is not well defined as a QFT to arbitrarily high energy.^{[25]} The coupling constant runs to infinity at finite energy, signalling a Landau pole. The problem is essentially that QED is not asymptotically free. This is one of the motivations for embedding QED within a Grand Unified Theory.

## See also

Template:Col-begin Template:Col-2

- Abraham–Lorentz force
- Anomalous magnetic moment
- Basics of quantum mechanics
- Bhabha scattering
- Cavity quantum electrodynamics
- Compton scattering
- Euler–Heisenberg Lagrangian
- Feynman path integrals
- Gauge theory
- Gupta–Bleuler formalism
- Lamb shift
- Landau pole
- Moeller scattering
- Photon polarization
- Positronium
- Propagators

Template:Col-2 {{#invoke:Portal|portal}}

- QED vacuum
- QED: The Strange Theory of Light and Matter
- Quantum chromodynamics
- Quantum field theory
- Quantum gauge theory
- Renormalization
- Scalar electrodynamics
- Schrödinger equation
- Schwinger model
- Schwinger-Dyson equation
- Self-energy
- Standard Model
- Symmetry in quantum mechanics
- Theoretical and experimental justification for the Schrödinger equation
- Vacuum polarization
- Vertex function
- Ward–Takahashi identity
- Wheeler–Feynman absorber theory

## References

- ↑
^{1.0}^{1.1}{{#invoke:citation/CS1|citation |CitationClass=book }} - ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑
^{17.0}^{17.1}{{#invoke:Citation/CS1|citation |CitationClass=journal }} - ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ Template:Cite web
- ↑
^{20.0}^{20.1}^{20.2}{{#invoke:citation/CS1|citation |CitationClass=book }} - ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ Template:Cite web
- ↑ Template:Cite web

## Further reading

### Books

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- Milonni, Peter W., (1994)
*The quantum vacuum - an introduction to quantum electrodynamics*. Academic Press. ISBN 0-12-498080-5 - {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

### Journals

- {{#invoke:Citation/CS1|citation

|CitationClass=journal }}

## External links

- Feynman's Nobel Prize lecture describing the evolution of QED and his role in it
- Feynman's New Zealand lectures on QED for non-physicists
- http://qed.wikina.org/ - Animations demonstrating QED

Template:QED Template:Quantum field theories Template:Particles