Editing Quantum electrodynamics (section)

==Feynman's view of quantum electrodynamics==

===Introduction===
Near the end of his life, [[Richard 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]]'',<ref name=feynbook/> 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.<ref name=feynbook/>{{rp|85}}
: 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.

[[File:Feynman Diagram Components.svg|thumb|right|300px|[[Feynman diagram]] elements]]
These actions are represented in the form of visual shorthand by the three basic elements of [[Feynman diagram|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.

As well as the visual shorthand for the actions, Feynman introduces another kind of shorthand for the numerical quantities called [[Quantum electrodynamics#Probability amplitudes|probability amplitudes]]. The probability is the square of the absolute value of total probability amplitude, <math>\text{probability} = | f(\text{amplitude}) |^2</math>. If a photon moves from one place and time <math>A</math> to another place and time <math>B</math>, the associated quantity is written in Feynman's shorthand as <math>P(A \text{ to } B)</math>, and it depends on only the momentum and polarization of the photon. The similar quantity for an electron moving from <math>C</math> to <math>D</math> is written <math>E(C \text{ to } D)</math>. It depends on the momentum and polarization of the electron, in addition to a constant Feynman calls ''n'', sometimes called the "bare" mass of the electron: it is related to, but not the same as, the measured electron mass. Finally, the quantity that tells us about the probability amplitude for an electron to emit or absorb a photon Feynman calls ''j'', and is sometimes called the "bare" charge of the electron: it is a constant, and is related to, but not the same as, the measured [[Elementary charge|electron charge]] ''e''.<ref name=feynbook/>{{rp|91}}

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 amplitudes to calculate the probability of any such complex interaction.  It turns out that the basic idea of QED can be communicated while assuming that the square of the total of the probability amplitudes mentioned above (''P''(''A'' to ''B''), ''E''(''C'' to ''D'') and ''j'') acts just like our everyday [[probability]] (a simplification made in Feynman's book). Later on, this will be corrected to include specifically quantum-style mathematics, following Feynman.

The basic rules of probability amplitudes that will be used are:<ref name=feynbook/>{{rp|93}}
{{Ordered list|list_style_type = lower-alpha
|If an event can occur via a number of ''indistinguishable'' alternative processes (a.k.a. "virtual" processes), then its probability amplitude is the '''sum''' of the probability amplitudes of the alternatives.
|If a virtual process involves a number of independent or concomitant sub-processes, then the probability amplitude of the total (compound) process is the '''product''' of the probability amplitudes of the sub-processes. 
}}

The indistinguishability criterion in (a) is very important: it means that there is ''no observable feature present in the given system'' that in any way "reveals" which alternative is taken. In such a case, one cannot observe which alternative actually takes place without changing the experimental setup in some way (e.g. by introducing a new apparatus into the system). Whenever one ''is'' able to observe which alternative takes place, one always finds that the ''probability'' of the event is the sum of the ''probabilities'' of the alternatives. Indeed, if this were not the case, the very term "alternatives" to describe these processes would be inappropriate. What (a) says is that once the ''physical means'' for observing which alternative occurred is ''removed'', one cannot still say that the event is occurring through "exactly one of the alternatives" in the sense of adding probabilities; one must add the amplitudes instead.<ref name=feynbook/>{{rp|82}}

Similarly, the independence criterion in (b) is very important: it only applies to processes which are not "entangled".

===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 for the photon to move from ''B'' to ''D'' (another elementary action). From a knowledge of the probability amplitudes of each of these sub-processes – ''E''(''A'' to ''C'') and ''P''(''B'' to ''D'') – we would expect to calculate the probability amplitude of both happening together by multiplying them, using rule b) above. This gives a simple estimated overall probability amplitude, which is squared to give an estimated probability.{{Citation needed|date=September 2020}}
[[File:Compton Scattering.svg|thumb|left|200px|[[Compton scattering]] ]]
But there are other ways in which the 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 probability amplitudes 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 amplitude by multiplying the probability amplitudes 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 probability amplitudes for all the alternatives for ''E'' and ''F''. (This is not elementary in practice and involves [[Integral|integration]].) But there is another possibility, which 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 amplitude of these possibilities (for all points ''G'' and ''H''). We then have a better estimation for the total probability amplitude by adding the probability amplitudes 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]].{{Citation needed|date=September 2020}}

There are an ''infinite number'' of other intermediate "virtual" processes in which more and more photons are absorbed and/or emitted. For each of these processes, a Feynman diagram could be drawn describing it. This implies a complex computation for the resulting probability amplitudes, 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 amplitude.

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 nonzero probability amplitude 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.)<ref name=feynbook/>{{rp|89, 98–99}}

===Probability amplitudes===
[[File:Feynmans QED probability amplitudes.gif|frame|right|Feynman replaces complex numbers with spinning arrows, which start at emission and end at detection of a particle. The sum of all resulting arrows gives a final arrow whose length squared equals the probability of the event. In this diagram, light emitted by the source '''''S''''' can reach the detector at '''''P''''' by bouncing off the mirror (in blue) at various points. Each one of the paths has an arrow associated with it (whose direction changes uniformly with the ''time'' taken for the light to traverse the path). To correctly calculate the total probability for light to reach '''''P''''' starting at '''''S''''', one needs to sum the arrows for ''all'' such paths. The graph below depicts the total time spent to traverse each of the paths above.]]

[[Quantum mechanics]] introduces an important change in the way probabilities are computed. Probabilities are still represented by the usual real numbers we use for probabilities in our everyday world, but probabilities are computed as the [[square modulus]] of [[probability amplitude]]s, which are [[complex number]]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 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. 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>

or

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

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.

[[File:AdditionComplexes.svg|thumb|right|200px|Addition of probability amplitudes as complex numbers]]
[[File:MultiplicationComplexes.svg|thumb|right|200px|Multiplication of probability amplitudes as complex numbers]]

Addition and multiplication are common 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 beginning 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'') consists of 16 complex numbers, or probability amplitude arrows.<ref name=feynbook/>{{rp|120–121}} 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 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.<ref name=feynbook/>{{rp|112–113}}

===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 describe the behavior of the electron's probability amplitude and the [[Maxwell's equations]], 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(A \text{ to } B) \to D_F(x_B - x_A),\quad  E(C \text{ to } D) \to S_F(x_D - x_C),</math>

where a shorthand symbol such as <math>x_A</math> stands for the four real numbers that give the time and position in three dimensions of the point labeled ''A''.

===Mass renormalization===
{{Main|Self-energy}}

[[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 endpoints.  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 challenging 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]]. However, Feynman himself remained unhappy about it, calling it a "dippy process",<ref name=feynbook/>{{rp|128}} and Dirac also criticized this procedure, saying "in mathematics one does not get rid of infinities when it does not please you".<ref name=":1" />

===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 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=feynbook/>{{rp|152}}