Wednesday, August 5, 2026

Many-worlds approach to QED

In our previous blog post we noted that the action usually presented for quantum electrodynamics (QED) in unclear. What kind of an electromagnetic field is associated with an arbitratry Dirac field wave?

Also, how does the electromagnetic field give rise to a Dirac field wave in pair production? The Bhabha calculation (1935), and the Feynman diagram seem to create the Dirac field wave from "nothing". Bhabha assumes that a positron with a 4-momentum E₊, p₊ is around, and calculates its scattering first to an off-shell electron, and then to an on-shell electron. Why can Bhabha assume that suxh a positron is around?

A many-worlds approach might make the strange appearance of the positron understandable. Also, it could make the histories such that they are time-symmetric, and obey a typical action of interacting fields.


Bhabha (1935): positron scatters from Z+ and Z-


           Z+   -------------------------------------------------
                            \  virtual photon
                              \ ______________________ e-
                               |                                        E, p
                               | off-shell electron  
                               |______________________ e+
                              /                                         E₊, p₊
                            /  virtual photon
           Z-    ------------------------------------------------


Bhahba calculates backward in time. He assumes a positron wave meeting a massive charge Z+, scattering into an off-shell Dirac wave, and then that off-shell wave scattering from a massive charge Z- in such a way thaf the wave becomes an on-shell electron e-.

Bhabha calculates probability amplitudes for processes which correspond to a positron E₊, p₊, and an electron E, p.

We then have a set of histories in which a positron with various E₊, p₊ scatters into an electron E, p. But something seems to be missing from a time-symmetric picture. What if the positron wave traveling back in time fails to scatter from Z- and Z+ in the described way? The same for the electron: if we calculate backward in time, most electrons should not scatter from Z+ and Z-, and should not become positrons.


Building histories backward in time: many worlds branch also backward in time



     Z+ -------------------------------------------------
                            \ virtual photon
     e+   __________\
     E₊, p₊                 |
                                | off-shell electron  
                                |__________________ e+
                              /                                    E'₊, p'₊    
                            / virtual photon
       Z- ------------------------------------------------


Above we have another scattering process. This time, the positron moves forward in time. It may scatter from Z+, and later from Z-. But most positrons may not scatter at all. Some might scatter backward in time.

It looks like the traditional way of understanding the diagrams cuts off scattering alternatives, which should exist in a time-symmetric interpretation of the diagram.

And time symmetry is needed to make the diagram to correspond to a unitary development. A typical action describes an unitary process.

The Bhabha approach is to build a history which looks nice. He builds it toward the future (though he lets the positron move backward in time for a while). An even nicer history can be built if we can also build backward in time. For this to succeed, and make sense, we need many worlds.

Our branch is such that the only particles entering the reaction are Z+ and Z-. But in other branches going backward in time from the reaction, e+ or e- are outgoing particles if we look backward in time.

The scattering of a Dirac wave from a heavy charge Z+ or Z- can be calculated in a nice way. It is like classical fields. We can calculate the behavior of the wave in space and time coordinates. There is no need to use the "momentum space" of Feynman integrals.


There is no destructive interference in various histories of pair production?

Different histories produce pairs with different 4-momenta. Destructive interference cannot happen if the histories can be distinguished with a measurement.

We still have the problem: what are the phases of the produced Dirac waves of the electron and the positron? They must have a phase, or must they? Do we have an absolute way to determine what is the phase of an electron?

For an electromagnetic wave, we do have a method.


Vacuum polarization



    Z+ --------------------------------------
                          | 
                          | q virtual photon
                          |
                         / \
                       /     \  k + q virtual electron-
                       \     /  positron pair e- e+
                         \ /
                          |  
                          | q virtual photon
                          |
      Z- ---------------------------------------








***  WORK IN PROGRESS  ***

Friday, July 17, 2026

Classical waves do not have a diverging vacuum polarization?

On November 4, 2025 we wrote our most detailed analysis of QED vacuum polarization divergence so far. We brought up a hypothesis that destructive interference wipes out the large 4-momenta |k| in the vacuum polarization loop below.


    mildly relativistic
    e- • --------------------------------------
                          | 
                          | q virtual photon
                          |
                        /  \ k + q virtual electron-
                        \  / positron pair e- e+
                          |  
                          | q virtual photon
                          |
       ● ---------------------------------------
   e+ static


Let us analyze purely classical waves which interact. The electron and the positron are presented as waves in the Dirac field. These waves meet each other.

There is an interaction between the electromagnetic field and the Dirac field.

The waves disturb the electromagnetic field, causing waves there. The waves in the electromagnetic field, in turn, disturb the Dirac field.

The vacuum polarization loop is the disturbance in the Dirac field.

If these all are classical waves, then there cannot be any divergence. A divergence would break conservation of energy.

Deep question. Do the quantum waves in the physical world, also in a Feynman diagram, behave like classical waves, or can they behave like in the Feynman integrals, where divergences occur?


If the answer to the question is that the waves must behave like classical waves, then we have a solution to the divergence problem of QED: there is no divergence if the calculations are done in the classical way.

Photon versus a laser beam. A laser beam is a classical wave. A photon behaves just like a laser beam until we measure the photon, and the wave "collapses". That is, a photon must be described as a classical wave until the measurement. Does the same hold for any intermediate state of a Feynman diagram, until the outgoing particles are measured?


Divergences are a result of "breaking into more degrees of freedom"


If one interprets the diagram above as a Feynman diagram, then the phase of the outgoing waves is not affected by k at all. There is a constructive interference for all k. This leads to the notorious divergence problem.

The divergence of the vacuum polarization loop happens when the system "breaks into more degrees of freedom". The value of the the 4-momentum k can be chosen freely – it is a new degree of freedom.

Classical waves also can break into more degrees of freedom. But for them, this does not create any divergences. Why?

The obvious answer is that destructive interference wipes out any classical waves which have high momenta k (short wavelength). If a wave is wiped out, then it cannot pass a disturbance forward.


A classical analogue of the vacuum polarization loop


Let us have two elastic metal plates. They correspond to the electron and the positron in the loop.

Let us model the electromagnetic wave with  a wave propagating in a rubber membrane. The rubber membrane is somehow loosely attached to the plates, maybe via very elastic rubber blocks. This constitutes the interaction.


                 metal plate (e+)
                ------------------
                 interaction
          /\/\/\/\/\/\/\/\/\/\/\   rubber membrane   
                 interaction
                ------------------ (e-)
                 metal plate
   
           --> wave propagation direction


As the rubber wave meets the plates, it interacts with them and creates waves into the plates. Later, these created waves can be absorbed back into the rubber membrane.

Does this mean that the rubber wave "breaks into more degrees of freedom"?

We can model the interaction by assuming that each small area element of the rubber membrane hits with a "sharp hammer" both metal plates. This is the Green's function approach to analyze the process.

The impulse from the sharp hammer generates waves of varying momenta k. There is no limit on how large |k| can be.

Let us analyze different momenta. Does it make sense that the e+ plate receives k and the e- plate -k? If the rubber wave pushes the plates apart (like an electric field pushes e+ and e- apart), then this assumption is reasonable. An area element of the rubber membrane hits both plates with a sharp hammer: one upward and the other downward.

Later, the process can happen time-reversed: the rubber membrane absorbs some waves from the plates.

We seem to have a process analogous to what happens in the Feynman diagram vacuum polarization loop. We can freely choose k, and it will contribute to the waves absorbed back into the rubber membrane.

Why does this not lead to a divergence in the classical system?

One aspect is conservation of energy. Hitting with an infinitely sharp hammer would consume an infinite amount of energy? Then all hits must be done with a "blunt hammer". Destructive interference wipes away all high |k|.

Why should Feynman diagrams allow a sharp hammer? Why not require a blunt hammer?


The vertex correction: the infrared divergence with small |k|


Another loop in a Feynman diagram appears in the vertex correction of QED. Again, the system "breaks into more degrees of freedom", because of the loop. Let us try to find a classical counterpart.

         ^
           \  p + q
             \
               \
              |  \
              |    \   p - k + q
          k  |      |-----------------● Z+ nucleus     
              |    /               q
              |  /   p - k
               /
             /
           /
          e-
          p


The electron e- bumps from the nucleus Z+. The momentum exchange is q. The electron sends to itself a virtual photon whose 4-momentum is k.

We can choose k freely. This causes a divergence in the Feynman integral for small |k|.

There is a direct classical analogue of this process. If we model the electric field of the electron with an elastic block of rubber attached to the electron, then the momentum exchange q makes the rubber to "wobble". The electron gives some momentum k and kinetic energy to the rubber block, and absorbs some of k back when the electron leaves the nucleus.

We already analyzed this in our post on September 24, 2025. The Feynman integral method does not understand the fact that an infinite number of "soft" real photons, or virtual photons with small |k|, are produced when the classical electron passes once by the classical nucleus. The integral thinks that these are all separate cases. The integral diverges to infinity because it thinks that the cases are separate, while they are not.

We see that the "break into more degrees of freedom" is the infrared case causes a divergence problem which is quite different from the ultraviolet case (vacuum polarization).


Further analysis of the classical vacuum polarization analogue


The metal plate analogue above is awkward. Very different from any "polarization". What about assuming a polarizable medium? When a classical electromagnetic field meets that medium, it produces a "polarization wave".

 
             /\/\/\/\/\                   ############
                --->
     electromagnetic           polarizable medium
              wave


We might have two charged fields. One would have a uniform positive charge density, and the other the canceling negative charge density. These two classical fields would correspond to the Dirac field.

The classical analysis is similar to our rubber membrane - metal plate model. Since the incoming wave is smooth, destructive interference cancels all high momenta |k|.


Quantum mechanics: the interference pattern of two created particles


We have tackled with this question many times in the past few years. Suppose that two waves are born simultaneously: e+ and e-.

For classical fields, it is enough that destructive interference cancels the waves e+ and e- separately. But in quantum mechanics, the waves are entangled. How does destructive interference act on them?

Maybe we should interpret e+ and e- as one particle which moves in 6 spatial dimensions? There is a problem: what is the 4-momentum of that single particle?


                     B, (E, p) + k
                          ----------
                       /              \
      -------------                    -------------
    A, (E, p)      \_______/         A, (E, p)
                           C, -k 


Let us analyze this for a hypothetical particle A with a 4-momentum

       (E, p).

The particle splits into two particles B and C. Above, k is an arbitrary 4-momentum. Later, the two particles are again merged back into one particle A.

Assuming that the wave function of the system B & C is the same as that of A. The typical wave function of a relativistic particle A with a 4-momentum (E, p) is of the form

      ψ(t, x)  =  exp( -i / ħ  * (E t  -  p • x) ).

It makes sense to demand that the phase of the "combination" B & C should advance as if they were the particle A. That is, a temporary splitting into two particles should not change the phase of A relative to the case where A moved alone.

But this assumption would mean that destructive interference cannot destroy anything. That would imply that a divergence happens, which is nonsensical.


The classical limit: the analogy with a laser pulse and electric polarization inside glass


In a laser beam we have many coherent photons. A laser beam behaves like a classical wave. In our diagram above, A is a virtual photon. Assume that we have a coherent beam of such photons. Can we argue that then the waves representing B and C must be classical waves?
















Let us have a classical laser pulse entering a block of glass. There is some electric polarization in the electrons in the glass, which is manifested in the refractive index of the glass. The "polarization wave" inside the glass certainly is a classical wave. The polarization wave carries some energy of the laser pulse.

If we shoot a single photon through the block of glass, the wave associated with the photon behaves just like the classical laser pulse. Also, the associated "polarization wave" behaves like a classical wave.

What kind of a "divergence" might happen if we shoot a single photon?

Some of the photon energy may, in some cases, travel in a polarization wave. The process then is like this:


                            +
                          -------
                       /           \
       -------------                ---------
     photon     \______/

                             -
                     polarization
                         in glass


A "divergence" in this case would happen, if we would calculate a very large probability amplitude for the process above.

A Feynman diagram simplifies the process into a single hit with a "sharp hammer" into the polarization field, and the absorption later. A very crude model of the process. The Feynman integral calculates the contributions of arbitrarily short wavelengths (large |k|) in the process. This is very different from the treatment for a classical laser pulse. Destructive interference erases any large |k| waves.

Did we finally prove that the quantum waves in Feynman diagrams must behave like classical waves? So that destructive interference erases all high |k| waves?


Discussion: divergence in the classical limit versus quantum processes


If we try to model classical electric polarization in a glass block with a Feynman integral, we probably end up with a divergence. Energy is not conserved. This shows that the calculation is erroneous.

If we try to model vacuum polarization in a quantum field process with the Feynman integral, we end up with a divergence. Again, this shows that the calculation is erroneous.

The Feynman integral miscalculates both processes. It may be that the miscalculation happens for the same reason, and in the same way, in both cases.

If that is the case, the way to correct the calculations is to take into account the fact that destructive interference destroys all high 4-momentum |k| waves.

"Regularization" and "renormalization" for Feynman integrals probably work because they implement the destructive interference, in an ad hoc way. 

We wrote in the fall of 2025 that quantum processes try to "imitate" classical processes, but the "resolution" of wave functions is not sharp enough. The Feynman model of one "sharp hammer" strike may be the correct one, once one removes the divergence. We cannot calculate the processes classically. Feynman integrals can calculate the electron anomalous magnetic moment to the precision 10⁻¹¹. This suggests that the Feynman model is right, once divergences are removed.

It would be wrong to say that the waves in quantum processes are strictly classical. If one tries to calculate bremsstrahlung purely classically, one obtains wrong results. The "resolution" of wave functions is not sharp enough to reproduce the classical process exactly. The classical limit is achieved only by making the resolution better: making particles heavier and charges larger.

Even though destructive interference wipes out high |k| for classical waves, it could still be that quantum waves are fundamentally different from classical ones, and that one is not allowed to use destructive interference to remove divergences for quantum waves.

However, if we approach the classical limit by making particles heavier, then the classical destructive interference must play a role in removing divergencies.

Question. What is the classical limit of various regularization and renormalization methods? Do they work in a reasonable way in the classical limit?


How "classical" were LEP collisions at 209 GeV? Not classical


The CERN LEP collider had a combined energy of 209 GeV for an electron-positron pair. The de Broglie wavelength for an energy of 104.5 GeV is λ ~ 10⁻¹⁷ m.

The energy 100 GeV corresponds to a momentum

        p  =  E / c²  *  c

             = E / c

             = 1.6 * 10⁻⁸ J  /  c.

How close must e- and e- pass each other, so that the momentum exchange is on the order of p? Below, r is the shortest distance between the particles.

       F  =  kₑ e² / r²,

       t  =  2 r / c,

       p  =  F t 

           = 2 kₑ *  e² / (c r),

       r  =  2 kₑ * e² / E

           = 3 * 10⁻²⁰ m.

We see that the electron path was not classical for head-on collisions, where the momentum exchange was large.

The path of the electron may be roughly classical if

       r  >  10 λ  =  10⁻¹⁶ m.

Here we assume that the uncertainty of the momentum of the electron is very large. Maybe a more realistic figure is 1,000 λ, or

       r > 10⁻¹⁴ m?

This implies that the electron/positron paths in the LEP could not be considered "classical".


Wikipedia has the following electron electric potential correction. This is probably only for low-energy electrons in an atom:








The formula for r >> λ contains a coefficient

       α / (4 sqrt(π))  ≈ 1/1,000

and

        exp(-2 r / λ)  ≈  10⁻⁹.

We conclude that vacuum polarization has a negligible effect if the electron has a classical path, at least in the low-energy case.


The Bhabha (1935) semiclassical derivation of pair production



H. J. Bhabha (1935) calculated the pair production cross sections of a heavy charged particle moving in the field of a nucleus. The nucleus is a heavy particle, called Z₂. A lighter charged particle Z₁ passes by Z₂. The calculation is semiclassical, since both particles have a defined position.


                                --------------------------- e-
                             /
                           /  \_________________ e+
                         /
                       /  virtual photon
        Z₁   --------------------------------------------
                               | virtual photon
        Z₂  --------------------------------------------


Bhabha calls the above Feynman diagram the "first-order" process.


        Z₁  -------------------------------------------
                                | virtual photon
                                |-------------------------- e-
                                | off-shell
                                | electron
                                |-------------------------- e+
                                | virtual photon
        Z₂  -------------------------------------------


The above diagram is the "second-order" process. At low velocities of the colliding particle v << c, the first process dominates.

For the second order process, Bhabha calculates that pairs are produced even if the impact factor b (the smallest distance between Z₁ and Z₂) is quite large:








There, E₊ + E is the energy of the pair, and

       γ²  = 1  -  v² / c²,

where v is the velocity of Z₂. The maximum distance is thus many times the wavelength of the produced particles if the velocity v is large. The energy for the created pair seems to originate from e- bumping into Z₁ and e+ bumping into Z₂.

Bhabha assumes that there is a "negative-energy electron" around. He calculates the perturbation which the electric fields of Z₁ and Z₂ impose on the Dirac wave function ψ of this negative-energy electron.

The negative-energy electron really is a positron e+ arriving from the future at a 4-momentum E₊, p₊? If yes, then Bhabha calculates the scattering of e+ from Z₁ and Z₂. If the positron is scattered into an on-shell electron, and Z₁ and Z₂ exit the process on-shell, then we have the probability amplitude for a the production of this special case of a pair, just like in a Feynman integral.

Perturbation of a zero Dirac field. This is a big problem in QED. If we have the Dirac field set to zero, ψ = 0, and use the "minimal coupling" to the electromagnetic field, then the perturbation always is zero. The function ψ remains zero. How can an electromagnetic field then produce a pair e-, e+?












We have to assume that we can freely choose a positron "arriving from the future", so that we can calculate a non-zero perturbation.

In a Feynman integral, the assumption is that the electromagnetic field somehow, in an unspecified way, acts as a source in the Dirac equation above. The source is written as a Dirac delta function on the right side of the equation above. The source is a hit with a "sharp hammer", an impulse. The impulse response, the Green's function, is the propagator of the electron.

In both the Bhabha approach and the Feynman approach, there is the problem that one has "too much freedom" to choose the response of the Dirac field to a changing electromagnetic field. The "causality" of the disturbance in the Dirac field is too weak. This leads to the divergence problem in vacuum polarization.

If the lagrangian of interacting fields A and B is correct, then in principle, the disturbance in A should causally determine the disturbance in B. Let us analyze why this does not happen in the Bhabha/Feynman approach. Is the problem in the perturbation method?


In the link we have the QED action. A disturbance in the electromagnetic field should produce a disturbance in the Dirac field, such that the action has an extremal value for that history. Note that we do not know if any solution exists at all.

Intuitively, if the Fourier decomposition of the EM field does not contain high 4-momenta |k| (short wavelengths), then it cannot happen that high |k| will appear in the Dirac field. Did we solve the mystery of divergences?


Analyzing the action of QED















There, Dμ is the gauge covariant derivative. Aμ is the covariant 4-potential of the electron itself, and Bμ is the 4-potential of an external source.

Let us try to figure out what kind of a disturbance is produced in the Dirac field if the electromagnetic field changes. Does the action produce a reasonable answer?

If the energy density F² of the electromagnetic field is large at some point, we can try to reduce it by introducing a pair e-, e+. We have to pay the energy cost of creating the pair. But now we encounter an immediate problem: how does the action cause a disturbance of the Dirac field affect the electromagnetic field?

If we describe e- and e+ with wave packets which occupy a large volume, and completely overlap, how does the action determine the electromagnetic fields of them in a reasonable way, so that F², and the gauge covariant derivative Dμ, will work in a sensible fashion?

The QED action suffers from the problem: a classical action would use the precise coordinates of the electron and the positron to determine the field F. But in quantum mechanics, the positions of the electron and the positron are fuzzy: they are waves in the Dirac field. The uncertainty in their location typically is much larger than the size of the experiment we are studying.

The definition of the QED action is badly deficient. We do not know the correct action for QED?

Hypothesis. Whatever is the correct action for QED, a disturbance in the electromagnetic field cannot produce, in the Dirac field, Fourier components with a very high 4-momentum |k|.


The hypothesis above is reasonable, and it solves the divergence problem of QED. The divergence problem arises from the perturbative approach of Bhabha/Feynman. Bhabha and Feynman only use conservation of energy and momentum to restrict the Fourier components in the Dirac field. For a typical action, destructive interference wipes out high |k|. Bhabha and Feynman do not use this fact.


The Bhabha method for solving the (unknown) QED action: vacuum polarization from a produced pair


1.   If we have an electron, and its associated Dirac field wave, then a good guess is that the behavior approximates the trajectory of a classical charged particle. This is why Paul Dirac in his 1928 paper added the "minimal coupling" to his equation.

2.   When an electron wave packet approaches a massive charged particle, the wave is distorted. It gains Fourier components which do not correspond to an on-shell electron. Bhabha guesses that these off-shell, virtual Fourier components approximate the correct Dirac field wave for pair production.

3.   Bhabha requires that outgoing waves represent on-shell particles. This follows from the action for a free Dirac field outside an external electromagnetic field.

4.   Bhabha requires that energy and momentum are conserved. This is implied by any reasonable action.


The most uncertain guess is number 2. Is there any reason why the unknown action of QED should produce the disturbance of the Dirac field in this way?

If we assume that the electromagnetic field and the Dirac field are coupled in some way in the correct (unknown) action of QED, then it is expected that the Dirac field waves which are born in the proximity of Z₁ and Z₂ are off-shell. The waves cannot be solutions of the action of a free Dirac field. This part is a direct consequence of a typical action.

Since various Bhabha/Feynman calculations correctly predict pair production, it is an empirical fact that 2 is approximately true.

    
                           Z+ ● ------>

                                 |   E strong electric field
                                 v

                     <------- ● Z-


A physical system typically "tries" to minimize its potential energy. When opposite charges Z+ and Z- pass close to each other, the energy density of the field between them grows. Pair production is a way to reduce the energy of the field. Some of the energy goes to the produced pair, and some to the kinetic energy of the pair. This is the natural semiclassical analogue of pair production.

Let us play the semiclassical process backward in time. We assume that we cannot know the exact path of e- and e+.

                              
                 Z+ ●           <----- • e-
                                         

    
                 Z-  ●           <----- • e+


The electron e- tends to approach Z+, and the positron e+ approaches Z-. They will "screen" a part of the electric field of Z+ and Z-.

The electron and the positron will reduce the energy of the fields of Z+ and Z-. In particular, they will reduce the field energy density between Z+ and Z-. Generally, these new particles popping up should reduce the total energy of the electric field, which should show up as an increased attraction between Z+ and Z-. Here we assume that moving Z+ and Z- close to each other causally produced the pair, which reduces the total energy of the electric field.

This is "vacuum polarization" with a real pair e-, e+. Has it been observed?

In our November 4, 2025 post, we speculated that vacuum polarization in QED is caused by "long-lived" virtual pairs, which reduce the energy of the electric field when Z+ and Z- are close.

In quantum mechanics, a system can "tunnel" into a lower potential. When the electron and the positron are "almost" on-shell particles, then we may expect them to have the ordinary electric field of such a particle. Then we can approximately calculate how much energy they freed from the electric field.

In the Bhabha paper, in the more important second-order process, both the particles Z+ and Z- "nudge" the forming pair. After the nudge, the pair is almost on-shell.

In a semiclassical model, after the nudge, e- is still close to Z+, and e+ close to Z-. We see that the pair really did reduce the total energy of the electric field. There should be vacuum polarization from an on-shell pair.


The classical limit and the large Compton wavelenght of the electron


In Bhabha's approach, the particles Z- and Z+ can be very massive. They have classical paths. The pair production typically happens at very short distances. These classical particles might pass at a distance

       r  =  10⁻¹⁵ m

from each other. This is much shorter than the Compton wavelength 2.4 * 10⁻¹² m of the electron. If a pair is produced, then we know the location of the production much more precisely than the Compton wavelength of the electron. How is this possible?

The explanation may be that even a short antenna can receive a radio wave of a much larger wavelength. The disturbance in the Dirac field has a wavelength which is much larger than 10⁻¹⁵ m. The disturbance in the electromagnetic field is an "antenna" which produces a wave in the Dirac field.

This analysis suggests that classical electric fields do have pair production, and vacuum polarization, as long as pairs are able to "tunnel" into existence.

Suppose that Z- and Z+ have very large charges. We see no reason why their collision could not produce many pairs. If the charges are only one unit e, then a single pair e-, e+ can "saturate" the process, and only one pair can be produced, in most cases.

If many pairs are produced, then the resulting Dirac wave would be classical, consisting of a large number of coherent electrons and positrons. Do we finally have the classical limit?


The electromagnetic field hits the Dirac field with a "sharp hammer"?











The Feynman method of calculating pair production assumes a point source into the Dirac field, when an off-shell or on-shell pair is created. That is, we write a source whose spatial and time dimension are infinitesimally small, on the right side of the Dirac equation.

Feynman calculates the Green's function, which is the impulse response of the Dirac field to a point source (source = impulse).

In pair production, the charges Z+ and Z- typically pass each other close, and the passage happens in a short time. The dimensions of the process are signicantly smaller than the de Broglie wavelength of the produced pair. Could this be the reason why assuming a point source in the Dirac equation yields a correct result?

If we have a radio transmitter antenna which is much smaller than the wavelength, then the precise geometric shape of the antenna does not matter much. Normally, only the dipole field of the antenna is relevant.

Recall that we do not know the correct action for QED.

Let us have an arbitrary action in which two fields A and B are coupled. If the field A undergoes a sudden, large change in a small region of spacetime, how does B react?


             --->         <---
         __
  ------   ------------------__----------    plate A EM field

          rubber coupling


        Z+ --->        <---  Z-
  -----^---------------------v---------    plate B Dirac


We can imagine that A and B are two metal plates, coupled with a rubber block between them.

Let A represent the electric field. We have two "bumps" moving in the plate A. These correspond to the charges Z+ and Z-. The plate B has reacted to these bumps in some way dictated by the rubber block.

If the coupling would be "linear" in B, then nothing special would happen in B when the bumps Z+ and Z- meet. We conclude that the coupling, or the field B, must be nonlinear. This is manifested in pair production. When Z+ and Z- travel in space alone, nothing special happens. But when they meet, pairs are produced. In our posts in the fall of 2025 we wrote that vacuum polarization is superlinear.

When Z+ and Z- come close to each other, then a source produces new waves in B. The simplest source is a point source, a sharp hammer blow to the field B. Richard Feynman assumed that the blow to the Dirac field has the simplest possible shape: a point source. Since charge must be conserved, the blow must produce both an electron and a positron.

However, as well as we could assume a blunt hammer blow to the Dirac field. That would be more natural. And that would remove divergences. In classical fields, we can handle a source as as an infinite set of point sources, and let destructive interference remove high 4-momenta |k|.

If the correct action for QED is similar to actions on classical fields, then we must use a blunt hammer: the source cannot be a point source – the source has to be smooth.


The three-hit birth of a pair


The Bhabha "second-order" process, as a Feynman diagram, contains two sharp hammer blows, one for both charges:


        Z+   -------------------------------------------
                                | virtual photon
                                |
                                | blow 1
                                |-------------------------- e-
                                |
                                |off-shell electron
                                |
                                |-------------------------- e+
                                | blow 2
                                |
                                | virtual photon
        Z-   -------------------------------------------


Let us try to analyze this. We have outgoing on-shell particles e- and e+. When we run the process backward, it makes sense that the positron will meet the charge Z-, and the electron will meet Z+. 

When the electron meets Z+, the Dirac wave of the electron gains off-shell Fourier components. It is no longer the free Dirac equation.

But this does not explain how the Dirac wave came to exist at all. The wave could be zero. The correct action of QED must explain how the Dirac wave is born from the disturbance of the electromagnetic field, as Z+ and Z- meet.

Let us assume that the correct action of QED is similar to a typical action of classical interacting fields. Then the disturbance in the Dirac field is initially mostly off-shell. The interaction changes the Dirac field, and the result cannot look like a free Dirac wave. Subsequently, a part of that off-shell wave can be scattered by the fields of Z+ and Z- into on-shell Dirac waves. The on-shell waves can escape from the process. A real pair is born.


                      hit 2
                      -----------------  e-
                  /  ● Z+
                /
    hit 1   |
                \ 
                  \  ● Z-
                     -----------------  e+
                     hit 3


In this description, there is are three "hits" to the Dirac field. The first hit produces the initial, off-shell disturbance. The resulting off-shell wave then escapes, in an orderly fashion, by bumping into the fields of Z+ and Z-.

The hit 1 somehow comes from the interaction between the Dirac field and the electromagnetic field. We do not know how.

Above we remarked that since the system Z+ & Z- is small, compared to the wavelength of the pair which is born, the precise details and the geometry of the initial birth of the off-shell Dirac wave do not affect much the waveform which we see to escape from the process.

Let us assume that the pair initially has zero energy as it is off-shell between Z+ and Z-. The interaction of e- with Z+ gives e- enough energy to become an on-shell particle. The positron steals its energy from Z-. This description imitates the pair Z+ and Z- tearing aparts a system of e- and e+. In principle, we could have a positronium "atom" which is torn apart by Z+ and Z- hitting it.

The three-hit model has a problem: the off-shell electron can transfer a lot of 4-momentum between Z+ and Z-. If the electron is born in the space between Z+ and Z-, is it plausible that it could acquire a large 4-momentum?


The time reverse of pair production


The time reverse of pair production does not create a Dirac wave. It destroys a Dirac wave.

The Feynman integral of the time-reversed process is formally identical to the original one. Is the process easier to understand backward in time?

In the usual order of time, we have coherent fluxes of Z+ and Z- bumping into each other. The particles Z+, Z-, e-, e+ will exit the process, each having their own 4-momentum. The probability amplitude of any particular tuple p₁, p₂, p₃, p₄ of outgoing 4-momenta is extremely small, with a small uncertainty margin for each p.

If we recreate the experiment backwards, and shoot the particles at 4-momenta p₁, p₂, p₃, p₄, then the probability amplitude of the backward reaction is extremely small. All the four particles must meet in a very special configuration.

But let us assume that the reaction happened backward. The energy in the pair was given to the kinetic energies of Z+ and Z-.

In this blog we have remarked that a produced pair is a kind of "bremsstrahlung". It carries away some of the kinetic energy of Z+ and Z-.

  
       Z+ ----------------------------------------------
                       | virtual photon
       e-  ----------
                          \
                            \  off-shell electron
                              \
       e+ ----------------
                               | virtual photon
       Z-  ----------------------------------------------

 
   t --->


How does the Dirac wave return to zero in the backward process? Above, we have a possible time ordering of the process. It does not look too natural. Why does the off-shell electron happen to meet the positron and annihilate, giving up its 4-momentum to Z-? How does the QED action explain why the Dirac wave disappears at Z-?


Heitler and Nordheim (1934) calculation for very massive Z- and Z+ (Bhabha 1935 paper)


Let us assume that Z- is static and Z+ passes by it at a slow velocity v. Let M be the mass of Z+. Its kinetic energy is

       1/2 M v²  =  p² / (2 M).

Z+ must lose a lot of momentum to provide the energy E for the creation of a pair. The pair can take away at most E c of momentum. Thus, the most of that large momentum change must be transferred to Z-. How can the Dirac wave, or the pair, transfer a lot of momentum if Z- and Z+ are not close to each other?

In the second-order process calculated by Bhabha, the off-shell electron interacts with both Z- and Z+. We may imagine that the electron is a "force carrier" which transfers momentum between Z- and Z+. Alternatively, the Dirac wave associated with the off-shell electron exerts a considerable force on both Z- and Z+. Can we explain this force through the Coulomb force between the off-shell electron and Z- and Z+? Yes, if we assume that the off-shell electron passes very close by both Z- and Z+.

But what process can initially create such a powerful Dirac wave between Z+ and Z-? If we assume that there exists a typical action for QED, the wave should somehow arise from the changing electromagnetic field around Z+ and Z-. How?

The Bhabha calculation just assumes that the positron and the electron appear from "nothing", and then fits the Dirac wave associated with the pair e- e+ approximately to match the electric fields of Z+ and Z-. We do not understand how the QED action makes the pair to appear from "nothing".


Bethe and Heitler (1934): pair production by a photon γ hitting a nucleus Z+



Bhabha (1935) compares his results to the paper of Bethe and Heitler (1934) and finds out that they qualitatively agree. Maybe the analysis for the QED action is easier for the process where a gamma quantum hits a charge Z+?













A possible solution: the correct action of QED operates on many worlds?


Quantum mechanics has the well known problem of a "collapse of the wave function" which makes the model non-unitary. You cannot run a collapse backward in time. The model does not allow reversing time.

But the general consensus is that quantum mechanics should be unitary. We have a contradiction here.

Also, a properly formed action on fields should produce a unitary evolution which can be time-reversed.

A way to get rid of the collapse is to use a many-worlds model. The "subject" of the observer is in a certain path in the graph of many worlds, but also other paths exist.

Let us look at the pair production mechanism of the previous section. We analyze it backward in time. The usual QED action can explain how the Dirac wave of e- scatters from the electric field of Z+. One way to scatter is marked to the diagram as the off-shell electron e.

But the usual QED action does not explain what happens to all the other branches where e- scatters in a different fashion.

In the many-worlds interpretation, we require that all the branches exist when we step forward in time. For the model to be time-symmetric, all the branches must exist also if we step back in time.

Can we explain pair production in the following way: the correct QED action operates on the totality of all branches which extend from the experiment backward in time, and deterministically produces the probability amplitudes for what happens forward in time?

Or could it be that the QED action "builds" both the histories backward in time and forward in time?

We have wondered: what forces the QED action in pair production to build the Dirac wave. In this new model, the QED action would also build the past history, and that past history would contain the Dirac wave which the QED action then forces to exist also in the future.

In a many-worlds model we do not know the future, but we do not know the past either, except for one branch.

Does this really work? The input in the above Feynman diagram might be a laser beam which hits the nucleus Z+.

From the Feynman diagram above, we can calculate the waves corresponding to various outgoing particles. It may be the photons of the laser beam, which pass Z+ undisturbed, or Dirac waves corresponding to produced pairs.

If we have this output wave, and calculate backward in time, what do we get?

In the Bhabha calculation, he assumed that we have an outgoing positron wave available, with a 4-momentum E₊, p₊. He then calculated which part of this backward-in-time beam of positrons will scatter from Z- and Z+ in such a way that it produces a forward-in-time electron wave with a 4-momentum E, p. Most of the positrons in the backward-in-time beam will pass Z+ without scattering at all. Is there any reason why these unscattered positrons should be wiped out by destructive interference? Or do they exist in other branches of the many worlds?


      e+ ----------- 
                   ●    \
                   Z-    \
                            \________________ 
                             ● Z+

       ---> time


Above we have a process in which the wave of a positron scatters from Z- and Z+ forward in time. Obviously, histories where no scattering happens, must exist in the future, in some branches of many worlds. What about the case in which e+ scatters backward in time? That cannot be in our branch of the world since we did not have an electron approaching. But it could be in another branch backward in time.


Conclusions


Let us close this very long blog post. We do not yet know what is the correct action for QED. Neither do we know what is the classical limit of pair production, or vacuum polarization.

The many-worlds approach in QED is worth investigating. Could it solve the problem of finding the correct action for QED, and solve if destructive interference removes the divergence in the Feynman integral of vacuum polarization?

Friday, July 3, 2026

Neutrino oscillations

UPDATE July 22, 2026: Let us have an electric dipole which rotates. We can measure, at some distance, the direction into which the corresponding radio wave has its electric field. Can we say that the direction of the electric field of a single photon "oscillates"?

Then we might let the neutrino be massless, but it would "oscillate". Several people on the Internet claim that the rest masses of neutrino types are required to implement an oscillation. They say that "time must progress" for the neutrino.

----

Even though neutrinos in the Sun are mostly created as the "electron flavor", νe, when they travel 150 million kilometers to Earth, roughly a half of those neutrinos here are observed to have the muon or tau flavor: νμ, ντ. This is the "solar neutrino problem" which catalyzed a lot of neutrino research in the past 60 years.


The standard theoretical model is to assume that there are three different neutrinos with different rest masses in the range 0.05 eV ... 0.5 eV: ν₁, ν₂, ν₃.

Let us have a reaction which creates an electron neutrino νe. The neutrino can be any of mass states ν₁, ν₂, ν₃. We do not know which it is. Various rest masses have various probability amplitudes.

Let α = e. The probability of observing the neutrino as the flavor β at the distance L from its creation is:








where mj are the various neutrino rest masses, and Uαj are constant components from the Pontecorvo et al. 3 × 3 matrix.

The formula on the right sums the waves of different particles: neutrinos with different rest masses m₁, m₂, m₃? That is strange. Is that allowed in quantum mechanics?

In quantum electrodynamics, the electron Dirac field is classical, and can describe an electron or a positron. There we have another case in which we sum waves of different particles: the electron and the positron.

Suppose that a neutrino with a rest mass m flies in vacuum. Obviously, the rest mass of the neutrino cannot change. There cannot be an oscillation of neutrinos if we look at their rest mass.


Anca Tureanu (2025) says that we cannot use the interference of the wave functions of the neutrino wave functions when the neutrinos have different masses




Professor Anca Tureanu from the University of Helsinki says that, in quantum field theory, one is not allowed to calculate interference of wave functions of neutrinos of different rest masses.

A principle in quantum field theory, and in quantum mechanics, is that we can only calculate an interference of two waves if we cannot know which of the two wave histories happened. In the double-slit experiment, we cannot know if the photon passed the left or the right slit. We are allowed to calculate the interference pattern of the two different paths of the photon. But if we place a detector which can determine the path of the photon through the slits, the interference pattern disappears.

In the Nuclear Physics, Section B 1018 (2025) paper, Tureanu writes:










She claims that the end state of a reaction in quantum field theory is a mixed state. A mixed state has classical probabilities. There is no interference of classical probabilities.

But this is a strange claim. In quantum mechanics a "pure" state, that is, a superposition state, stays pure until it is measured. When we measure the outgoing particles, we obtain classical probabilities. The state is no longer pure. The state "decoheres".

Note that the pure state includes ALL outgoing particles. We cannot speak separately of the neutrino.


If we know the location of the reaction well, we do not know the mass state of the created neutrino


Suppose that we prepare the incoming particles in such a way that their momentum (and energy) are known extremely precisely. We measure the energies and the momenta of outgoing particles, except of the neutrino. That way we will know the energy and momentum of the created neutrino, and can determine its rest mass m.

The uncertainty principle says that we then cannot know the location of the reaction precisely:

       Δp Δx  ≥  ħ / 2.

The flavor probability formula has the parameter L which tells the distance to the reaction.

The energy-momentum relation is

       E²  =  p²  +  m².

Let E and |p| be roughly 1, and m ≈ 10⁻⁶. To determine a rough value of m from the energy-momentum relation, we have to know p to the precision better than Δp = 1/2 * 10⁻¹². We use natural units, so that ħ = 1. Then

      Δx  >  10¹².

We see that the formula

      exp( -i mj² L / (2 E) )

in the flavor probability equation above then has a relatively large uncertainty because of L:

       (10⁻⁶)² * 10¹² / 2 = 0.5.

That is, we know the rest mass of the neutrino, but do not know the neutrino oscillation phase too well. The uncertainty, actually, is quite a lot larger than 0.5 because we must measure momenta of several particles. Also, we chose Δp too optimistically above. A better choice might be 1/3 of the value we chose. Then the uncertainty 0.5 easily becomes 3 or more.

That is, we cannot know the phase of the neutrino oscillation. The flavor probability formula in this case gives the average over a whole cycle of the oscillation. The average is a constant and does not depend on the value of L. This is reasonable.

If we know L relatively precisely, then we cannot know the rest mass state of the neutrino. It makes sense to calculate the sum (interference) of different rest mass waves.


What is the created neutrino? Which state does it have?


If we know the location of the reaction relatively well, then we cannot know the rest mass of the created neutrino.

The created neutrino can then be seen as a "malformed" classical neutrino field wave, which does not have a definite rest mass until we measure the rest mass in some way.

There is only one neutrino particle which has 3 different states? In the model above, there is a single neutrino field which has (stable?) states of three different rest masses. Should we say that the neutrino is just one particle, which appears in three stable states?


An analogous question: are the electron and the positron a single particle which has two states?

Can a neutrino decay to a lower rest mass state? Could it emit a photon?


A particle reaction emits waves, not particles?


In bremsstrahlung, an electron can emit photon(s) of various energies and momenta.






















Classically, the electron emits an electromagnetic wave of a complicated form, as the electron e passes the nucleus marked with +. For high energies of the photon, the quantum mechanical calculation yields probability amplitudes which differ surprisingly much from the probabilities one could naively assume from the Fourier decomposition of the classical treatment.

A basic principle of quantum mechanics is that you must treat everything as waves until a measurement is made. You cannot assume that a wave "has collapsed" until it is measured. A typical example of this principle is the Bell inequality: if you assume that there are "hidden variables" which determine the state into which a quantum wave will collapse, then you will calculate results which differ from quantum mechanical results.

This basic principle of quantum mechanics suggests that in a reaction, we must treat outgoing particles as waves, until the particle is measured in a detector.

However, we have a problem here. What is the shape of the bremsstrahlung wave? It cannot be the classical shape. From Feynman diagrams, we can calculate the probability amplitudes of various photons with a momentum p. Could it be that we ger the wave in the momentum space simply by superimposing the waves with different p, multiplied by its probability amplitude? The phase of an individual wave we may get from the position and the momentum change of the electron as it passes the nucleus.

It looks like the model of neutrino oscillation in Wikipedia is compatible with quantum mechanics.


Are the electron, the muon, and the tau particle states of the same particle with different rest masses? What about antiparticles?


The Dirac equation governs these particles, as well as their antiparticles. 

Do we know anything about interference of electron and positron waves? What about interference of electron and muon waves?


An electron colliding with a nucleus


The bremsstrahlung reaction creates photons. Let us forget photons for a moment, and look at the wave function of the electron colliding with the nucleus.

We may assume that the nucleus is moving at a velocity v, so that, depending on its path, the electron may gain or lose some kinetic energy.


                              -------------
                           /    v            \
     e-       --------      <-- ● Z       ----------->  p'
     p        ---------------------------------------->  p''


The Schrödinger equation describes the behavior of the electron e-. The initial momentum of the electron is p.

In the diagram above, we have two alternative paths for the electron. Depending on the path, the electron exits with a momentum p' or p''.

The momentum of the nucleus changes by an amount p - p', or p - p''.

In the Schrödinger equation, the waves for different paths of the electron do interfere, even though the electron in each path has a different kinetic energy and momentum.

The collision can be considered a "reaction". The particle e- exits the reaction. The electron in each path has a different "state". 

The collision is actually a "double-slit" experiment, in which the nucleus forms the obstacle between the two "slits".

We conclude that in quantum mechanics, the waves of a particle do interfere, even though the waves correspond to different kinetic states of the particle.

In the case of neutrino oscillations, the neutrino can be in different rest mass states. Could it be that having a different rest mass removes the interference? Is having a different rest mass a "kinetic state"?


A simplified model of an excited hydrogen atom


An excited hydrogen atom has a "rest mass" which is larger than of the atom in the lowest energy state. What do we know about the interference of hydrogen atoms?


People have been able to run the double-slit experiment with large molecules, like the "buckyball". This suggests that we should be able to see interference between a hydrogen atom in the ground state and the same atom in an excited state.

If we have no way of knowing if the atom is excited or not, why would interference disappear? We can measure the rest mass later, and we will know. But the same hold for the electron in the previous section: we can measure the momentum of the electron later – this does not prevent interference from occurring between electrons which have different momenta.


            y position of proton
            ^
            |
            |
            |
            |
             --------------------------> x position of e-


Let us consider the following simplified model of a hydrogen atom. We have one spatial dimension in the world. The y coordinate tells the position of the proton. The x coordinate is the position of the electron. That is, we model both particles with one particle whose spatial coordinates are (x, y).

The potential:

       V  =  1 / | x  -  y |.

If we fix y to some value, the wave function is somewhat like a particle in a box.

The inertia of our one particle is larger in the y direction than to the x direction. The proton is heavier.

In this simple model, there most probably is interference between different momentum states of the proton?

There is a problem: in the Schrödinger model we have hard time raising the atom to an excited state. Could that succeed by letting another electron to "collide" into the the electron?


The interference happens in the MEASURING process – there is no need for interference in the fields being measured? A macroscopic Feynman diagram


Let us assume that the neutrino particles  ν₁, ν₂, ν₃ are completely different particles. Each neutrino type is described with its own field which is not related to the field of the other neutrino type in any way. That is, the field of ν₁ is as different from the field of ν₂, as is the field of the electron e- different from the field of, say, a quark.

Our measuring process checks if a neutrino causes some reaction which is associated with the electron flavor neutrino νe. The process is sensitive to each of the three different fields, corresponding to ν₁, ν₂, ν₃.

The neutrino is produced in some process, say, beta decay, and then measured in a process which destroys the neutrino. We cannot know which type of a neutrino, ν₁, ν₂, ν₃, mediated this.

Quantum mechanics in this case says that there has to be interference in the end result of the measurement. The neutrino waves, or probability amplitudes, do not "collapse" when they mediate the process.

In Feynman diagrams, this principle is the rule that we must sum the probability amplitudes of all diagrams which produce the same output.

This argument resolves the problem. There is an interference regardless of whether the individual fields describing different neutrino masses take whatever form. The interference is in the end product of the measuring process: the outgoing particles in the reaction which we use to measure the neutrino flavor.

Below is a schematic "macroscopic Feynman diagram":


                                 --------------------------- particles
                               /
                             /   ν₁ or ν₂ or ν₃
 --- beta decay  -----------------------  measurement
                                                       \ 
                                                         \  
 ------------------------------------------------------ particles

                            <------------------->
                              macroscopic
                                 distance


It is a "macroscopic" Feynman diagram because the internal neutrino line describes an on-shell particle which travels a macroscopic distance.

A traditional Feynman diagram describes a reaction which happens in a small spatial volume in a short time. Off-shell (virtual) particles can exist for a short time. They do not need to satisfy the energy-momentum relation

       E²  =  p²  +  m².

The neutrino between the beta decay and the measurement can be of any type. We must sum the probability amplitudes for the constellations of outgoing particles in the diagram. There is always interference. We could even replace the neutrino with a totally different particle type. Also in that case, we must sum the probability amplitudes.


Can we determine the neutrino type from the outgoing particles?


In principle, yes. Let us prepare the "measurement particles" in the diagram in the way that we know their energies and momenta extremely precisely. We then only know their position very poorly. After they have reacted with the incoming neutrino, let us measure the momenta and energies of the outgoing particles very precisely. We can then deduce the neutrino type, ν₁ or ν₂ or ν₃, from the energy-momentum relation. In this case, we must not calculate any interference. We know which of the three diagrams happened.


Discussion


The problem arose when we forgot that the neutrino is an internal line in a (macroscopic) Feynman diagram, and started to think of the neutrino as a "classical particle" whose rest mass and state can be known without disturbing anything in the experiment.

If we could, magically, measure the rest mass of the neutrino in the Feynman diagram, then there would be no interference. We would know which of the Feynman diagrams, ν₁ or ν₂ or ν₃, happened, and then we are not allowed to sum the probability amplitudes.

This discussion does not settle if ν₁, ν₂, ν₃ are different states of the "same" particle. They can be the same particle, or different particles, and that does not affect the macroscopic Feynman diagram in any way.

The term "neutrino oscillation" is misleading. It implies that ν₁, ν₂, ν₃ are the "same particle" which somehow oscillates between states. We do not know if it is the same particle. Another term would be "neutrino flavor interference pattern". In the double-slit experiment we do not have "photon oscillation". We have an interference pattern.

In quantum mechanics we have a general rule: we must treat everything as a wave phenomenon, unless there is a special reason why the system has "decohered" into the realm of classical probabilities. There always is interference, if interference is not ruled out by something, e.g., a measurement.


Conclusions


The treatment of neutrino oscillations in Wikipedia is compatible with quantum mechanics. If we know fairly well the location of the reaction where the neutrino is born, then there is an uncertainty in the momentum of the neutrino, which prevents us from knowing which neutrino type it is: ν₁ or ν₂ or ν₃.

In quantum mechanics we have to treat all processes using the wave model, unless we are able to measure something, in which case the wave "collapses", and we enter the realm of classical probabilities. We cannot know or measure the rest mass of the precisely enough. We must use the wave model. In the wave model, there is an interference of waves (or probability amplitudes).

The model in Wikipedia assumes interference, which is the correct quantum mechanical treatment.

The word "neutrino oscillation" is somewhat misleading. We cannot directly observe an interference of the neutrino types ν₁, ν₂, ν₃. We can only observe the reaction which they cause in other particles. It is better to say that the interference is in the end result of the experiment. Then we do not need to claim that there is an "oscillation" in the neutrino itself.

Anca Tureanu (2025) says that quantum mechanics does not allow an interference to happen between particles which have different rest masses. Our analysis above shows that we need not, and maybe should not, assume an interference of the neutrino types ν₁, ν₂, ν₃.

Anca Tureanu (2025) further writes that in a quantum field theory reaction, the outgoing particles should be assumed to have classical probabilities, that they should not be treated as waves (or probability amplitudes). That is an incorrect claim. We must use the wave description unless the outgoing particles have been measured, so that the wave "collapsed" into a classical probability.

Another way to characterize a quantum field theory reaction: the ingoing particles are in a "pure" state (synonyms for this are a superposition state or a coherent state). Unless something is measured, the outgoing particles also form a pure state, not a "mixed" state (in a mixed state we would use classical probabilities). A measurement makes the pure state to "decohere", so that it becomes mixed.