Feynman Diagrams for the Masses (part 2)

In part 1, we briefly discussed how Feynman diagrams show up in QFT with an example taken from QED (quantum electrodynamics). The calculation for the first order correction to the photon propagator (i.e. vacuum polarization) turned out to be a rather messy integral:
Photon self energy 1st leading order no vacuum bubble calculation.

QFT’s little Infinity Problem

This is a mess because it (a) involves the trace of a product of four 4×4 matrices, (b) requires eight definite integrals, each from \int_{-\infty}^{+\infty} , and (c) gives infinity. Of these problems, the worst was the fact that the calculation gives infinity. This would make one conclude that the theory was nonsense, but there were some other calculations that worked, and what’s more important, the results of certain calculations could be evaluated as (+\infty) + (-\infty) + k and k was a number which gave an excellent match to experiment.

The infinities in the usual QFT arise from the terms in the denominator of the above sample QFT calculation, for the photon propgators, terms such as q^2 + i\epsilon , for the electron propagator, terms such as k^2-m^2 +i\epsilon . The problem arises when one integrates over all possible position or momentums around the loops. The loops show up in the higher order corrections for propagators as well as pretty much any other useful calculation, but the place where they are the worst is in computing bound states. For example:
Bound states have lots of loops
The above diagram shows three quarks bound together into a baryon. Gluons are exchanged between the quarks and change the colors of the quarks. Three loops are labeled A, B, and C. Loop A is from the creation of a quark / anti-quark pair. This is a correction to the gluon propagator similar to the corrections to the photon propagator that gave the calculation discussed in the previous post. Loops B and C are loops caused when two quarks exchange gluons more than once.

The basic idea of elementary particle theory is that as one increases the energy or temperature, matter becomes simpler, and this gives clues to the structure of matter. As far as the loops go, at higher temperatures fewer of them are needed. At the most extreme energies, tree diagrams, that is, diagrams with no loops at all are sufficient. So in a certain sense, the loop infinity problem of QFT appears only when considering matter in interactions that are not elementary.

Eventually Feynman and Schwinger “solved” the infinity problem. The method was a technique that has grown into a variety of methods generally called renormalization. Most of the older generation of physicists, the generation that invented QFT, was never happy with the renormalization solution. Dirac said:

This is just not sensible mathematics. Sensible mathematics involves neglecting a quantity when it is small – not neglecting it just because it is infinitely great and you do not want it!

Feynman felt similarly:

The shell game that we play … is technically called ‘renormalization’. But no matter how clever the word, it is still what I would call a dippy process! Having to resort to such hocus-pocus has prevented us from proving that the theory of quantum electrodynamics is mathematically self-consistent. It’s surprising that the theory still hasn’t been proved self-consistent one way or the other by now; I suspect that renormalization is not mathematically legitimate.

(Quotes from wikipedia’s article on renormalization.)

Okay, I’m not quite an “older generation physicist”, but I agree with their arguments. One can accept that our present QFTs are only effective field theories, and therefore the infinities are acceptable, but this implies to me that the unified field theory is still out there. I realize that the quest for the unified field theory has turned more than its share of young physicists into burned out old men, but hey, I’m already a burned out old man. What have I got to lose?

Preons and Quantum Field Theory.

Ideally, a unified field theory should also explain the elementary particles. Earlier, I posted a short description of Bilson-Thompson’s helon (braid) model of the elementary particles. This had the fermions as composed of three or six preons. What I’d like to do now is to describe how the usual infinity-prone QFT can be modified to model preons of point particles, and how this eliminates the infinities.

Experimentally, the standard model elementary particles are point particles, that is particles with no substructure. At one time, the proton was thought to be a point particle, but experiments with high enough energy showed it to have components, the quarks. Perhaps we are unable to detect helons (braid preons) for this same reason; our energies are too low. Assuming this is the case, we have a choice. We can try to model the standard model elementary particles as composite particles the usual way, (and end up with a lot of nasty infinities that are iffy to fix, plus a non perturbative bound state problem that we are clueless as to how to solve), or we can make the assumption that they are in an “s-state,” that is, a state that is spherically symmetric, and that the interaction that binds them together keeps them in that state.

When the baryons were found to be composed of three quarks each, there was a problem in fitting them into regular quantum mechanics because it was expected that the wave function for three identical fermions would have to be antisymmetric. This was incompatible with experimental observations until an extra quantum number, color, was added to the quarks so that they would not be identical, and therefore would not have to have an antisymmetric wave function. In assuming that the three preons that make up a fermion are in an s-state, which must be spatially symmetric, we are faced with a similar issue. We will therefore assume that the preons are not identical, and have another quantum number similar to color, which we will call “precolor”.

The Quantum Field Theory of Qubits.

Rather than defining a complete QFT for precolor, since we are assuming that precolor is stuck in s-state bound states, we need only define a precolor QFT that works with particles that are in an s-state. The only degree of freedom available to a spin-1/2 fermion that is in an s-state is its spin. The quantum model of such a state is a “qubit.” Fortunately for us, the condensed matter folks have beat us to publication and have written a paper giving the quantum field theory of qubits:

Quantum Electrodynamics of qubits
Iwo Bialynicki-Birula, Tomasz Sowinski

The above paper is largely devoted to the subject of QFT for an electron in an s-state. Since this would otherwise be a trivial paper, the authors break the symmetry of the two available states by assuming an external magnetic field. They then derive the electron and photon propagators for the QFT theory on the qubit space. Spontaneous symmetry breaking also was used first by condensed matter theorists, and only later in elementary particle papers.

The result of restricting QFT to qubits is that the infinities go away. As Bialynicki-Birula and Sowinski state in section V of their paper:

Owing to the absence of the space components of momentum vectors, the calculation of radiative corrections is much simpler here than in the full-fledged QED. There is no need to combine denominators á la Feynman and Schwinger. All integrations with respect to the loop variables p_0, k_0 etc. can be evaluated analytically by the residue method in any order of perturbation theory.

The technical details for why this works to all orders of perturbation theory are given in the paper:

The numerator of the integrand corresponding to each Feynman diagram is a polynomial in the integration variables. The denominator is a product of first-order polynomials in the integration variables, each factor leading to a simple pole. All integrations can easily be done by the standard residue method. Note that after each successive integration the integrand retains its rational form. Therefore, it will continue to be amenable to the same treatment as during the first integration.

Propagators as Density Matrices

Bialynicki-Birula and Sowinski give a set of rules for Feynman diagrams for qubits. Their rules assume that the two quantum states are split by, for example, a magnetic field. In applying the QFT of qubit technology to the preons we will not have to assume that the quantum states are split by an external field. For us, the Feynman rules will be even simpler than their, already much simplified, version of QFT.

The propagator for the qubit electron is given in Bialynicki-Birula and Sowinski’s equation (38a):
Electron Propagator for Qubits
In the above, e, g refer to the “excited” and “ground” states. In our context, the states are equivalent and we will use + and – instead. Next, the denominators include the electron masses for the excited and ground states. The Helon (braid) model we discussed a couple posts ago is a preon-like model for the left and right handed fermions. In this sort of model, mass appears as an interaction; the left and right handed fermions are massless. So for us, m_e = m_g = 0 . The last new portion of the denominator, the variable p_0 , is the energy of the particle. For the handed particles, energy really doesn’t make a lot of experimental sense.

To obtain a purely left handed electron we would have to accelerate a regular electron to an infinite energy. But the reason we would have to do this is because otherwise the mass interaction would mix the left and right handed portions. In a similar manner, the quarks of a baryon are permanently locked inside and to discuss their energy is iffy (but elementary particle theory does just this). So for our purposes, the energy of the handed fermions need not be equivalent to the usual measures of energy, but we will not worry too much about this.

The numerators, P_e, P_g, are projection operators into the excited and ground states. For the Pauli algebra, these are just the density matrices. Using our notation, we replace P_e, P_g with P_\pm and write these operators as:
Projection operators for qubits are denstiy matrices

The fact that virtual propagators are equivalent to density matrices is briefly discussed in Landau and Lifshitz’s Course on Theoretical Physics, Volume 4, Quantum Electrodynamics by Lifshitz, Pitaevskii, and Berestetskii. It is possible that I will find my copy, look up the passage, and replace this sentence some day.

Clifford algebra and Qubits

The Standard Model uses the symmetry group SU(3)xSU(2)xU(1). Of these, Qubits would seem to have applications only to the SU(2) group. But the theory of qubits comes from the traditional (i.e. non relativistic) theory of spin; that is, the traditional use of the Pauli spin matrices. This traditional use of the Pauli spin matrices is tied to the nature of spacetime. When one rotates a quantum spin-1/2 state one uses the Pauli spin matrices to adjust the representation of the quantum state. It’s not so clear what is being rotated in the weak isospin SU(2).

From a physical point of view, the SU(2) of the SU(3)xSU(2)xU(1), is an internal or intrinsic symmetry as contrasted with the Lorentz symmetry that provides the Dirac spinors that are natural to associate with qubits. And of course the SU(3) and U(1) portions are not immediately equivalent to a qubit model. Preon models such as the Helon (braid) model explain these symmetries as due to the structure of the preons.

The relativistic generalization of the Pauli spinors are the Dirac spinors. These unify the treatment of particles and antiparticles, (Dirac used them to predict the positron), and it is the Dirac spinors that make up the elementary particles of the Standard Model. It is natural that we replace our qubits with the Dirac equivalent. This suggests that we should briefly discuss the mathematics behind density matrices.

Only certain 2×2 matrices can be interpreted as density matrices in the Pauli theory. In my unfinished article presently titled “Density Operators, Spinors, and the Particle Generations”, I showed that a useful characterization is that the density matrices are the Hermitian matrices that are also primitive idempotents. “Idempotent” means that the matrix satisfies the equation M^2 = M , and “primitive” means, roughly, that the matrix is as small as possible but not zero. For matrices, “primitive” turns out to mean that the trace is 1. The generalization of Pauli spinors and Dirac spinors is are the spinors of an arbitrary Clifford algebra. So to understand how to generalize the QFT theory of Qubits to preons, we are led to the subject of the primitive idempotent structure of Clifford algebras.

Quantum Field Theory as a purely Algebraic Theory

In the usual wave function form, the characteristic mathematical operation is the integral. It is these integrals that produce the infinities that plague the theory. When one converts the theory to a theory on qubits, as Bialynicki-Birula and Sowinski showed, the integrals become trivial and the theory becomes one that lives mostly within the Pauli algebra (for qubits), the Dirac algebra, (for the relativitstic generalization), or a more general Clifford algebra. The theory ceases being a calculus theory, and becomes an algebraic theory. This makes the theory much simpler and easier to use.

Instead of requiring renormalization to get sensible results, QFT on qubits automatically gives finite results. Renormalization gives only approximate predictions, QFT on qubits gives very precise equations. One can solve problems this way that would be arduous or impossible in wave theory.

In addition to the absence of infinities, one also has the advantage of working with density matrices instead of spinors. Density matrices have many advantages over spinors. A primary advantage is that density matrices can be written in density operator form as objects with immediate and physical geometric interpretation. I’m writing a book on density operator theory (when I’m not working on alternative energy projects, and not writing on this blog).

When one is in possession of a different way of looking at quantum mechanics, oen naturally looks around for ways to apply it that take advantage of the easier calculations. These sorts of ideas provide one with what amounts to an unfair advantage over the competition. In a later post, I will describe how an old amateur, with no PhD and no academic connections, used the ideas described above to find an equation for the masses of the neutrinos that in its first year received four citations in peer reviewed physics journals.


Filed under physics

12 responses to “Feynman Diagrams for the Masses (part 2)

  1. Very cool. And all this time mathematicians have been saying that the indeterminate form infinity + (-infinity) is nonsense.

  2. Pingback: The Snuark Mass Interaction « Mass

  3. Hi Carl,

    this is a really clear and well-written post, top quality! And I especially liked the proton structure diagram, which I will most likely steal one day.


  4. Pingback: Non Hermitian Density Matrices « Mass

  5. Pingback: The Generalized Pauli Group « Mass

  6. Pingback: Koide formulas and Qubit / Qutrit MUBs « Mass

  7. George

    Maybe I’m too simplistic. When learning how integrals can be expressed as infinite series, the first example showed how the definite integral from 1 to infinity of 1/x²=1. Thus, I alsways write the 1=(1/6)*the integral (-infinity to + infinity) of 1/x². So why can’t all of these integrals, if they have limits or Taylor transforms, be converted to reasonable constants?

  8. Have been working on some magic square models .. would be interested if you had any comments on the moment of intertia for the mass model of the magic square …see website above



  9. Vladimir Kalitvianski

    You wrote:

    “One can accept that our present QFTs are only effective field theories, and therefore the infinities are acceptable…”

    but QED does not have any external scale parameter. It is a self-sufficient, not an effective theory, isn’t it?

    OK, if infinities are acceptable, are acceptable non-physical results, like elastic scattering amplitudes? The simples Feynman diagram describes an elastic process. No soft radiation is obtained in the first Born approximation. Is it physical if the soft radiation probability is in reality equal to 1? Elastic amplitudes describe processes that never happen (probability of not radiating equals zero) and do not describe the events that happen always (soft radiation)? What a bad start in the perturbation theory! Don’t you think the infinities are caused with that bad start?



  10. Carl Brannen

    Dear Vladimir,

    Sorry for writing confusingly. I agree with the older generation physicists: infinities are a problem that needs to be fixed. Eventually I’ll write some papers on this. Right now I’m concentrating on getting a good score in the physics GRE test. In a week or so I’ll take a look at your papers. I found the arXiv ones, go ahead and link in any others in a comment.

    Whenever I see infinities used in physics, I presume that this is some sort of approximation, that there has been a mistake, or that the mathematics has been chosen badly.


  11. Carl Brannen

    Well that promise to wait a week before looking at your papers didn’t last very long. (My self control is so limited.)

    I really liked your paper: Atom as a “Dressed” Nucleus. I agree completely that the way to make perturbation theory work is to begin with a state which is as close as possible to the physical (exact or non perturbed) state. This is what I’m trying to do with the fermions in Spin Path Integrals and Generations, the next paper in the series is intended to show a link between the fermions and the hadrons. I.e., to show the relationship between the old (hadron) string theory and the new (quark and lepton) string theory.

    But I really should get back to preparing for my test etc.

  12. Vladimir Kalitvianski

    There is my weblog at

    with my “manifesto”.

    But take your time and get ready to the GRE. I which you to be a success.



Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s