With absolute economy, the set of all 5-bit sequences (in a 2+3 split) encapsulates the repertoire of quantum numbers
of a generation of fermions. Though different realizations of this startling regularity have been
independently discovered for decades, the matter remains a curiosity in the literature.
The table shows how the difference Δ in the fractional occupation by
the unit ‘1’ in two segments of a code-string effectively monitors electroweak hypercharge
| νR | 11 111 | Δ = 1 − 1 = 0 | νcL | 00 000 | Δ = 0 − 0 = 0 | |
| νL | 10 111 | ½ − 1 = −½ | νcR | 01 000 | ½ − 0 = +½ | |
| e−R | 00 111 | 0 − 1 = −1 | e+L | 11 000 | 1 − 0 = +1 | |
| e−L | 01 111 | ½ − 1 = −½ | e+R | 10 000 | ½ − 0 = +½ | |
| dR | 00 100 | 0 − 1/3 = −1/3 | dcL | 11 011 | 1 − 2/3 = +1/3 | |
| 00 010 | 0 − 1/3 = −1/3 | 11 101 | 1 − 2/3 = +1/3 | |||
| 00 001 | 0 − 1/3 = −1/3 | 11 110 | 1 − 2/3 = +1/3 | |||
| dL | 01 100 | ½ − 1/3 = +1/6 | dcR | 10 011 | ½ − 2/3 = −1/6 | |
| 01 010 | ½ − 1/3 = +1/6 | 10 101 | ½ − 2/3 = −1/6 | |||
| 01 001 | ½ − 1/3 = +1/6 | 10 110 | ½ − 2/3 = −1/6 | |||
| uR | 11 100 | 1 − 1/3 = +2/3 | ucL | 00 011 | 0 − 2/3 = −2/3 | |
| 11 010 | 1 − 1/3 = +2/3 | 00 101 | 0 − 2/3 = −2/3 | |||
| 11 001 | 1 − 1/3 = +2/3 | 00 110 | 0 − 2/3 = −2/3 | |||
| uL | 10 100 | ½ − 1/3 = +1/6 | ucR | 01 011 | ½ − 2/3 = −1/6 | |
| 10 010 | ½ − 1/3 = +1/6 | 01 101 | ½ − 2/3 = −1/6 | |||
| 10 001 | ½ − 1/3 = +1/6 | 01 110 | ½ − 2/3 = −1/6 |
1. Left-handed modes have an odd number of zeros, rights an even number. Particles interchange with antiparticles by replacing zeros by units and vice versa. We have labelled the fermions with first-generation notation, but “electron,” for example, might well stand for the congeries that is electron, muon, and tau.
2. The three entries under each quark heading in the table distinguish the strong color states. Since the coding of the triplet segment serves as efficient color labelling in itself, we usually dispense with the usual ‘reds’, ‘antireds’, etc.
3. Each 5-bit sequence, being of fixed handedness, corresponds to a massless mode that does not exist as an autonomous entity. The electron, for example, corresponds to a massive dynamical superposition of the two massless modes 00111 and 01111, which we shall write as “0z111.” The charge assignments will be deemed pertinent only for such massive pairings.
4. A field theoretic model for the pairing z (zbit, zeron, z, ziggs?) is entertained downscreen. It acts like a massive, neutral, real scalar boson. Analogies with the Higgs scheme, and departures from it, will become apparent. The other 1+3 tetrad of charged slots will likewise be regarded as the result of a dynamic pairing that accompanies the formation of the z.
5. Leptons & antileptons are strong-color null, and one will note the complete filling and the complete absence of units within the triplet segment of their respective codings. Thus one may speak of whites (electrons and neutrinos) and blacks (positrons and antineutrinos) so that all the fermions are captured in a tetrad of reversible colors.
6. Electric charge in units
Thus the positron 1z000 has electric charge +1 and the electron 0z111 has charge −1, where the z is always neutral.
7. The difference Q − Δ is the third component of weak isospin, where Δ (half the weak hypercharge) was defined in code terms at the top of the screen.
8. A transition from 10 to 01 on the doublet side is associated with the emission of a W-boson with its positive unit of electric charge and weak isospin component, thus conserving weak hypercharge in the transition. By contrast, fully filled or empty configurations on the weak side of the form 11 and 00 represent weak isospin singlets. An interchange of identical elements does not change the coding, and the entity does not engage weakly.
9. Analogous interchanges on the triplet side correspond to the color-changing gluon processes. The fact that gluons do not carry electric charge is automatically built in to the code by the fact that such interchanges do not change electric charge. No register flipping occurs across the caesura in the code.
The code-string for a given entity thus provides us with an at-a-glance inventory of its menu of quantum numbers: (1) weak hypercharge, (2) electric charge, (3) strong color or anticolor, (4) weak isospin and third component, (5) handedness, and (6) baryon or lepton number. So much disparate information so economically encoded must invite speculation.
When we pursue geometrical imagery in which each code string represents a point in a 4-d projective space, the 00000 acts as origin, and lies outside the proceedings. In reality (all fermions are massive) this state, formally the left-handed anti-neutrino, finds itself in superposition with its right-handed counterpart 01000. The two modes engender one another dynamically, Pauli style, and thus yoked together yield the massive antineutrino 0z000, with its fully empty charge tetrad.
The Penrose picture of the worldline of a massive fermion in its rest frame is indeed presented as an
alternation or superposition of massless modes in interaction. The drawing
gives a schematic in terms of the 5-code for the electron. Only the second slot (colored
red) can so ‘tick’ because the spectator charge tetrad
is fixed by charge conservations. For an observer in the center of momentum frame, the zig and zag
segments are equally likely, but for an observer moving relative to that frame, one or the other
becomes dominant. The weak interaction is blind to the right-handed 00111 but may be operative on
the left-handed 01111, for which a register flip in the doublet produces the left neutrino mode
10111. With the spin direction thus fixed in space, the helicity reversals amount to
maximally impulsive momentum reversals, which are assumed due to interaction with the Higgs field. Not so for us.
In the sequel we entertain a scheme that proceeds in
the spirit of the BCS Cooper-pair formalism in which entities of equal
and opposite momenta engage in non-local pairing that leads to a mass gap. The figure is adapted from
Penrose, p 630.
This
“Circles of infinite radius give me a headache.”—Archimedes
An exhaustive fermion systematics thus depends simply on all subsets of 5 items. More picturesque than code strings is the image of a 4-simplex with its five vertices “lit” (or not) in all possible patterns. These patterns break down into the familiar Pascal sequence of 1, 5, 10, 10, 5, 1 electrically and colorfully neutral families. Another image is provided by the Venn diagram built from five congruent ellipses projected onto a 2-sphere, where the configuration exhibits a 5-fold rotational symmetry as well as a polar symmetry. We will find in this section that the fermions also label cells in the Petersen graph or its dual, which arise from tilings of the projective plane. A fermion rendition of Desargues’ theorem is displayed.
The 5-bit coding introduced in the foregoing section provides a set of homogeneous coordinates for the points of a 4-d finite projective space known as PG(4,2). The essentials of the particle story can be seen in a smaller arena using the seven leptonic states alone, which is to say, on that particular Fano plane PG(2,2) within PG(4,2) for which the triplet part of a code string is strong-color null. Using the abbreviated boldface notation 1 = 111 and 0 = 000, inspect:
| right | neutrino | 11 1 | 1−1 = 0 |
| left | positron | 11 0 | 1−0 = +1 |
| left | neutrino | 10 1 | ½−1 =−½ |
| left | electron | 01 1 | ½−1 =−½ |
| right | positron | 10 0 | ½−0 =+½ |
| right | antineutrino | 01 0 | ½−0 =+½ |
| right | electron | 00 1 | 0−1 =−1 |
| left | antineutrino | 00 0 | 0−0 =0 |
The last column in the table is formed as before from the difference in the fractional occupation by the ‘1’ in the two segments of each code string, and gives the hypercharges ½Y of the leptons. The line that is dual to each point abc is formed from all x, y, z that satisfy the condition ax + by + cz = 0. For example, code point abc = 111 requires that x + y + z = 0 in mod-2 arithmetic. That has solution set {110, 101, 011}, namely the left-handed states marked by the little open circles in the figures below. The ‘origin’, the left antineutrino, remains outside the pictures at the massless level.
Two renditions of the 7 points & 7 lines of the leptonic sector. The three left-handed modes (open dots) are assigned to the ideal line, while the four right-handed modes (filled dots) are assigned to the affine sector. Only five of the seven lines are reproduced in the second figure, but it is easy to see what must be connected and why we didn't try to draw them. The red symmetry axis contains the fixed-point states that do not engage in the weak interactions.
Taking the story from 2-d to 4-d allows the quarks perfect accomodation. The seven leptonic states are augmented by 24 quark states to make the requisite 31 points of PG(4,2). From the vantage of any one of these points there are 15 rays (instead of only the 3 in the Fano case) harboring 30 points (not 6) in eclipsed pairs. The set of left-handed states can be assigned to a 15-point subspace PG(3,2), taken as the ideal sector, and all the right-handers are confined to the 16-point affine part. Who knew?
So let's look in more detail at the 15-point subspace that harbors the left-handed states alone. This is the 3-d counterpart to the circle in the first Fano figure drawn above. But here follows something truly striking: In the drawing below, the vertices of the two shaded triangles are occupied by the six color states of the left quark doublet, and it is noticed that these are in perspective from the positron at the top. Desargues’ theorem applies directly, and demands that the antiup quarks form a projective axis from which the other quark triangles are in dual perspective. They dutifully comply, as may be checked by doing the binary sums on the lines.
| 1 | 11110 | dcL antigreen |
| 2 | 11101 | dcL antiblue |
| 3 | 11011 | dcL antired |
| 4 | 10111 | νL |
| 5 | 01111 | e−L |
| 45 | 11000 | e+L |
| 35 | 10100 | uL red |
| 25 | 10010 | uL blue |
| 15 | 10001 | uL green |
| 34 | 01100 | dL red |
| 24 | 01010 | dL blue |
| 14 | 01001 | dL green |
| 23 | 00110 | ucL antigreen |
| 31 | 00101 | ucL antiblue |
| 12 | 00011 | ucL antired |
In the figure above, the vertices of the complete 5-point (all of code weight 4) are labelled 1 to 5 and are indicated by the open black circles. Taking those in pairs we can find the third point on each of those lines, which are all of code weight 2. Coxeter’s Projective Geometry (2nd ed. p 19) gives a crafty proof of (the converse of) Desargues’ theorem by making use of this auxiliary construction, though not in the context of a finite field.
Coxeter suggests coloring the Desargues configuration of ten edges and ten vertices in such a way as to reveal a pair of dual subconfigurations. A complete quadrilateral (4 edges & 6 vertices) is so situated that its vertices lie on the edges of a complete quadrangle (4 vertices & 6 edges.) The former has 2 lines passing through each point with 3 points to a line, while the latter has 3 lines passing through each point with 2 points to a line, i.e., a tetrahedron. In left-handed fermion terms, the positron & down triplet compose the quadrangle, while the up and antiup quark triplets compose the quadrilateral. Done this way, these dual structures are separately charge neutral. One can see this construction easily in the preceding figure by noting that the up and antiup quarks are coplanar and form the vertices of the quadrilateral in question.
Another suggested coloring reveals the Desargues structure as a pair of pentagons “mutually inscribed” in the sense that consecutive sides of each pass through alternate vertices of the other, a result discovered by Graves in 1839.
It is a pity that those authors could not have seen these pretty systematics mirrored by the basic ingredients of matter.
Above: a different view the ten ‘Desargues states’ assigned more symmetrically to the 4 vertices and 6 edges of a tetrahedron. The five-point has not been included in the figure, but they are easily imagined, for its vertices consist of the centroids (call it) of the four triangular faces, together with the centroid of the large tetrahedron itself.
States that constitute a Desargues configuration are limited to left-handers, which is a curious manifestation of the maximal violation of parity. In fact, had we not known about parity asymmetry before now, we would have good reasons to be disturbed by the potential physical consequences of this feature of binary arithmetic. A parallel case will arise presently that shows a fundamental distinction between particles & antiparticles, between color & anticolor.
Shown in this next figure is the complement space to the ideal space of left-handed states dealt with above. This tesseract contains all the right-handed states as a 16-point (4-d) affine space. The set of all ideal third points on each edge are the left-handers shown before, and can be found as always by addition mod-2.
Different separations of the particles can be assigned to the affine and ideal parts. While the figure preceding is with the set of right-handed, it can also be done with the the weak doublets alone, or just matter states in contrast to antimatter states. When strong color charge is not distinguished, the tessaract reduces simply to a square (the Fano quadrangle pictured up-screen.) There are other interesting divisions that put sixteen of them on a Boolean logic lattice of two propostions. This can be done in five ways, one of which is shown below:
Above: An affine space isomorphic to a 2-proposition logic lattice. The right neutrino is the tautology at top and (any) one of the five basis vectors can serve as the contradiction at bottom from which all else in the family is consequent. The states in each corresponding ideal sector of the full space have, in effect, some particular color suppressed because they are all confined to this affine part.
The full 31 pointset of PG(4,2) finds a natural labelling through the minimal triangulation of the real projective plane. It needs ten triangles sharing 6 vertices. The points on the outside edge of the figure are identified with their antipodes, i.e., the point in the top right corner is the same as that in the lower left, and so all the way around.
Above: The minimal triangulations of the real projective plane (in blue) is superimposed on a Desargues configuration (red) so that each point of the latter occupies exactly one of the ten trianglar faces.
Above: There is a dual tiling (red in the figure) with six pentagonal faces known as a Petersen graph. Its 10 vertices and 15 edges can be labelled in terms of the six numbers used in the figure preceding. In contrast with the Desargues configuration, three of the edges (α, β, γ) of the Petersen configuration pass through points at infinity.
The table below shows all 31 massless modes mapped onto such labelled cells. These consist of 6 vertices, 15 edges, and 10 triangles. The icosahedron has exactly double this repertoire, which are then identified in pairs by the antipodal map to obtain the tiling in question. For convenience, the cell labelling has been made consonant with the 5-bit particle coding that we have been using.
| 1 Empty Set | νcL | 00000 | I0 |
| 6 Vertices | νR | 11111 | Γ5 |
| νcR | 01000 | Γ4 | |
| e+R | 10000 | Γ0 | |
| dR | 00100 | Γ1 | |
| dR | 00010 | Γ2 | |
| dR | 00001 | Γ3 | |
| 15 Edges | e+L | 11000 | Γ0Γ4 |
| uL | 10100 | Γ0Γ1 | |
| uL | 10010 | Γ0Γ2 | |
| uL | 10001 | Γ0Γ3 | |
| dL | 01100 | Γ4Γ1 | |
| dL | 01010 | Γ4Γ2 | |
| dL | 01001 | Γ4Γ3 | |
| ucL | 00110 | Γ1Γ2 | |
| ucL | 00011 | Γ2Γ3 | |
| ucL | 00101 | Γ3Γ1 | |
| dcL | 11011 | Γ1Γ5 | |
| dcL | 11101 | Γ2Γ5 | |
| dcL | 11110 | Γ3Γ5 | |
| e−L | 01111 | Γ0Γ5 | |
| νL | 10111 | Γ4Γ5 | |
| 10 Triangles | e−R | 00111 | Γ1Γ2Γ3 |
| ucR | 01011 | Γ4Γ2Γ3 | |
| ucR | 01101 | Γ5Γ0Γ2 | |
| ucR | 01110 | Γ5Γ0Γ3 | |
| dcR | 10011 | Γ5Γ4Γ1 | |
| dcR | 10101 | Γ5Γ4Γ2 | |
| dcR | 10110 | Γ2Γ0Γ1 | |
| uR | 11001 | Γ0Γ4Γ3 | |
| uR | 11100 | Γ0Γ4Γ1 | |
| uR | 11010 | Γ5Γ1Γ3 |
The ten left-handed Desargues states that we delineated upscreen are all edges in this representation (highlighted in red in the table.) Their corresponding right-handed antiparticles are represented by the ten triangles listed at the bottom of the table, but these do not constitute a Desargues configuration. Just as the code automatically builds in an asymmetry in parity, the code also builds in another sort of maximal difference between particle and antiparticle.
In terms of the pentagonal tiling, the same troupe of 31 massless states can be described in terms of 6 faces, 15 edges, and 10 vertices of the Petersen configuration. The dodecahedron has exactly double this repertoire, which are again identified in pairs by the antipodal map to obtain the dual tiling. The Euler number is the signed sum χ(projective plane) = 6 − 15 + 10 = +1, which being positive reveals the surface to be elliptic. The genus g = 2 − χ is also +1, consistent with one’s understanding that the real projective plane is obtained by grafting a single Möbius strip onto a sphere.
Inspection of the table suggests that we may identify a common factor Z for the z and collapse the rest of the combinatorics into a compact symbolic package for the four mass and four electric charge levels of a generation of fermions. The different color states are represented by the boldface notation Γ = {Γi}, i = 1,2,3, and Z ~ I0+Γ4:
| νc | 0z000 | Z | ν | 1z111 | ZΓ5 | |
| e+ | 1z000 | ZΓ0 | e− | 0z111 | ZΓ0Γ5 | |
| d | 0z(100,010,001) | ZΓ | dc | 1z(011,101,110) | ZΓΓ5 | |
| u | 1z(100,010,001) | ZΓ0Γ | uc | 0z(011,101,110) | ZΓ0ΓΓ5 |
The 31 + 1 massless states of one generation organize themselves in a hierarchy of finite projective spaces, each electrically and colorfully neutral:
PG(−1,2). The empty set as “origin” 00000. With all slots empty it does not engage in standard model interactions. It corresponds to the massless left-handed antineutrino mode, and lies outside the scheme until mass is introduced. In that case it comes into an observer-dependent superposition with the 01000, the massless right-handed antineutrino mode. The massive superposition 0z000 (“the antineutrino”) does engage weakly via its right-handed condition.
PG(0,2). The single point 11111 is a neutral singlet that corresponds to the massless right-handed neutrino mode, which with all slots filled also does not engage in standard model interactions. When mass is brought into the picture it goes into superposition with the weakly interactive massless left-handed neutrino mode 10111 to produce the observed massive neutrino 1z111.
PG(1,2). Cyclic triplets. The full space of 31 massless modes contains 155 such lines. All of the 15 lines that contain a state-antistate pair also contains the 11111, which thus symbolically represents their fusion. Or conversely, the 11111 produces all such pairs through its symbolic fission in all possible ways. For example, 11111 = 10000 + 01111 is a separation into the massless right electron and the massless left positron modes.
PG(2,2). The smallest officially accepted projective space. There are 7 massless states in each of these planes, of which there are 155 in all in PG(4,2). One of these harbors the 7 leptonic states together in a neutral grouping, which includes the 11111. All leptons have a coding of the form 111 or 000, and are thus characterized by the absence of strong color.
PG(3,2). There are 15 massless states in each of these volumes. An important case for our purposes contains all of the left-handed states together in a neutral grouping, and this forms the ideal subspace of the full PG(4,2). A feature of this grouping is that ten of these points constitute a Desargues configuration, while their antistate counterparts do not do so. The 10 Desargues points result from taking a section of the complementary 5-point.
PG(4,2). There are 31 massless states in the full neutral hypervolume. While the most important division for us is the separation into the 15 left- and 16 right-handed species, there are by duality 31 such divisions in all. A division of a different sort breaks the 4-d hypervolume into the leptonic sector of 7, a Fano plane, and the quark sector of 24, which is not itself a projective space (merely a matroid.)
The numbers 1, 3, 7, 15, 31 are the first few q-analog integers
for the special case of q = 2. Such 2-analogs and their higher counterparts also arise outside projective geometry in diverse algebraic and combinatorial contexts, such as in the enumeration of lattice walks, partitions, etc. They were introduced first by Gauss in his powerful generalization of the binomial coefficients. They are known as Gaussian coefficients or q-Gaussian coefficients. It is a delight that they should show up so overtly amongst the particles of nature. By coincidence or not, the particle information encoded in the
points of PG(4,2) with its three ‘particles’ to the line can be reconfigured as the two dimensional finite plane PG(2,5). The lower dimension is paid for with the use of a higher 5-analog integer:
where now 6 points compose each line. This pair of geometries is special in that it provides the unique example of finite projective spaces of different dimension that harbor the same number of points.
The idea that interacting massless quanta can lead to bound states of nonzero proper mass is now sketched in the context of the simplest possible field model in Minkowski spacetime, namely that of a neutral massless scalar field in quartic self-interaction:
where the coupling parameter λ is dimensionless. This Lagrangian density differs from that of a basic Higgs by virtue of the reality of the field and the absence of a pseudo-mass term, which we shall introduce presently. The intrinsic sign of λ is left open for now.
The free hermitean field is represented in the usual way as noninteracting normal modes confined to a volume V:
where kx = −kx+|k|t and |k| = k is the energy corresponding to 3-momentum k. The constants c and h have been rendered invisible as usual, here for typing (not aesthetic) ease, and will be reintroduced when it is helpful to know where they have gotten to. The free part of the associated Hamiltonian, normal ordered, is found to be the energy-weighted sum over the number operators for each momentum mode:
As to the quartic interaction, only the contributions that conserve particle number, i.e., those terms containing an equal number of creation and annihilation operators, are retained for the present. The time dependence is absorbed notationally through such abbreviations as
The following stew for the interaction Hamiltonian density is obtained from the quartic interaction term:
This expression, normal ordered, is now to be integrated over all space V to obtain the interaction Hamiltonian proper, and to which the free part is to be added. The latter was already secretly integrated above and its time dependence cancelled. One might just as well have bypassed the preliminaries and posited this final form directly:
The δ-functions encapsulate the various ways that momentum can be conserved at an interaction vertex. They allow contribution when each indicated vector sum vanishes.
An attempt is made now to construct eigenstates of the preceding Hamiltonian in terms of states consisting of two massless scalar quanta having equal and opposite momenta q and −q. Introduce a diparticle state of opposite movers:
This state is an eigenstate of the free Hamiltonian with the expected eigenvalue 2q:
To apply the interaction part of the Hamiltonian to |z(q)>, breakdown of δ-functions is needed. The first of the six terms is evaluated as follows; under normal ordering the others contribute equally by symbol renamings:
The result of applying the full
Hamiltonian to
where the term (16k k' k'' k''')½ in the interaction Hamiltonian has
reduced to
where the weighting w(q,t) is to be determined. Applying H to |z(t)> gives:
On account of the obliging form of the second nested sum, an interchange
of k and q allows a
common
The change of sign in the exponential alters nothing since both
It is important that λ be nonzero. The functional form for w(q,t) is thus forced:
where C is a constant
that can be used for normalization. On account of the spherical symmetry of w(q,t)
the superposition |z(t)> has the same parity as
When the explicit form for w(q,t) is substituted back into its defining equation, the dynamical constraint on the mass eigenvalue m is obtained:
where the constant C and the time dependence have both cancelled, as well they must. It is convenient to pass to integral form through the usual replacements:
So obtain
The angular integrations simply produced a factor of 4π in this spherically symmetric situation,
leaving only the divergent k-integration.
The essential physics is governed by the singularity at
by which device an infinitesimal interval around 2k=m has been excised for orderly proceedings, and the delta function integrated to −½. And so obtain
Now substitute m = α + iβ and solve for the real and imaginary parts. The latter condition leads to the periodicity relation:
for n any odd integer, positive or negative. Conclude that β vanishes for all n, which is to say that all states have zero decay width. Our ground state is stable as must be, and there are no unstable excited states labelled by n. The eigenvalue constraint thus reduces to a single relation between the groundstate mass m(λ) of a scalar composite and the Planck mass M. With x = 2M/m, the eigenvalue condition takes a simple form:
The vertical axis is 4π2/3λ (“inverse temperature”) and the
x-axis carries the positive mass ratio
The eigenvalue condition as it pertains to the right-hand branch of the graph, namely for m(λ) < 2M, is given by:
For λ fractional and
positive, +1 in the denominator is insignificant, and
we can view
Some numbers. In a coincidence of minor merriment,
where M = (hbar c/G)½ ~ 1.22 × 10+19 GeV/c2. In the 5-bit coding imagery given before, we would say that the top quark mass is “mostly z,” with little correction due from the charge tetrad. The corresponding statement in the Higgs picture is that the top quark couples “most strongly” to the Higgs field.
If perturbation expansions in λ must be supported, the highest mass that the model can
formally accomodate corresponds to
Values at this level are sometimes associated with the threshold of the unification scale. The advance from here to the Planck mass would witness λ passing from 1 (Planck temperature) to infinity, and may be an unphysical domain.
For λ fractional and negative, it is the exponential that is negligible compared with the +1 in the denominator of the mass eigenvalue condition, and all mass eigenvalues associated with the lower right branch of the graph cluster just under 2M, while those associated with the lower left branch are just over 2M.
While we are usually impressed with the great range over which the observable masses are spread
(some dozen or so orders of magnitude) that range is really but a narrow sliver of values relative to what
could be a priori. That this sliver should be picked out with an amenable range of λ on
the “good side of order unity,” is encouraging.
If λ took the same numerical value as low as the electromagnetic
The mass eigenvalue condition cannot be realized through perturbation methods launched from the non-interacting situation. Pre-BCS perturbative approaches to superconductivity were blocked in the same way. In fact the BCS approach was the proximate inspiration for the scheme presented here. The diparticle state machinations are analogs to the Cooper-pair formalism. The Planck cutoff finds a counterpart in the Debye energy cutoff of lattice phonons, and the binding energy of the electron pairs in the lattice exhibits the same nonanalytic functional dependence on the coupling strength as found here. In both schemes, bound states emerge for arbitrarily weak coupling, and the dependence at vanishing strength is that of an essential singularity. Despite the starkly different material bases of the two models—charged massive fermions in a metallic lattice vs. neutral massless bosons in vacuum—the assumption of interacting pairs of oppositely directed momenta is enough to provide significant parallels.
We should now like to retrace our massless pairing approach using a Higgs Lagrangian. Everything perks along just as before except that the conformally invariant quartic self-coupling of the massless field φ is now replaced by the shifted device:
where
where again we have retained only the contribution that conserves particle number, and all
constants have been dropped. When this new Hamiltonian is applied to the paired state
Nothing else is modified, and all proceeds as before. The resulting eigenvalue condition for the composite’s mass m is now given by a more complicated integral having a quadratic expression in the denominator:
where
where for convenience the square-root is called m' = a − b.
When
When the square-root vanishes, so that a = b = ½m, the integral becomes
A ½m has replaced the erstwhile m. A μ-dependent range for the mass eigenvalues is thus provided, the extremal values of which are separated by a factor of 2:
where it is the lower bound that occurs for μ=0, and the upper bound for μ maximized. All this is pointedly evocative of black holes that possess some μ-attribute in addition to mass. For example, the charged Reissner-Nordström black hole has event-horizon radii r+ and r− that stand as analogs to the quadratic roots found above:
where
This value is half the oft-cited value for the Higgs vacuum expectation value that signals the electroweak unification scale. And our value for the vacuum expectation value at the same strength is:
We hasten to affirm that we are not construing the state z as a black hole
when λ is fractional and positive, for such strengths confine z’s mass to the
observed particle range where the Minkowski approximation, and hence ordinary field theory, is held to be valid. Nor is
λ permitted to breach the high-temperature transition to negative values.
For with μ thus rendered
imaginary, b becomes negative, which is impossibile. This extended model confines us
to the cis-planckian world. We take
this result as a hint that we should be barred from the trans-planckian regime in the original
model as well. We can be sanguine about μ and
If one were to embark on a photon model along the same lines, there is a way, courtesy John Wheeler, that the Schwartzschild radius R for the Planck mass M establishes a gravitational length scale from the beginning. As in the scalar case, the free field photon operator A(x,t) can be expanded in non-interacting normal modes, but now there is an additional polarization sum over two states σ = 1 and 2. Opting for the integral form in Gaussian units, write:
The two polarization vectors are distinguished through the contrasting cross-products
Wheeler now multiplies
where R = 2GM/c2,
Corresponding reduced versions of the electric & magnetic fields,
which are derivatives of the
The transverse gauge has been chosen, so that
Photon states composed of equal and opposite momenta will serve our purposes only if they are eigenstates of parity,
specifically even parity. That is a three-step process: Since the states of linear polarization are not eigenstates of spin,
we must first introduce circular
polarization. These can be obtained from the linear polarization vectors by rotating their reference base by
Step two, construct four different helicity states from the two circular polarizations:
Step three: Under parity |RR> becomes |LL> and vice-versa, so the sum
The quartic interaction, analog to
where
from which the (non-invariant) interaction Hamiltonian density is constructed:
A feature of this RMW interaction (the R is for George Rainich) is the invariance of the Lagrangian under a rotation of the components of the field pair through the same arbitrary angle ω:
The π/2 case is familiar from the free Maxwell equations. The magnetic field B can
replace the electric field
E, provided E become
For plane-waves, the six real degrees of freedom in φ reduce to four through a self-orthogonality (null) constraint
The scalar and pseudoscalar combinations that make up the Lagrangian constitute a duality pair of their own, with doubled angle, as substitutions from above will reveal:
The duality invariance of the Lagrangian follows by squaring and summing these lines.
In null conditions, ω is undetermined.
Just as the duality pair
The interaction density thus casts itself into the simple form ¼λΦ*Φ, which vanishes in null conditions. Further manipulation reveals it to be the Lorentz-invariant composed from the energy density of the field:
and the Poynting flux density, analog to momentum:
Individually, ε and p are not invariant operators, but the difference of their squares is, hence the identification of a mass-squared density (operator) in the final expression:
where
Despite the superficial appearance, we cannot forget that R is an operator density here. When e and b are not orthogonal, there exists a local Lorentz
frame S' in which they are observed parallel
... to be continued, um, maybe. This is starting to feel a lot like work.
Massive systems can be constructed from massless constituents even at the kinematic level. Not much construction is needed; the difficulty would lie in not producing mass. Indeed, the mass “hiding in the light” of an ordinary flashlight beam that exhibits the slightest spatial divergence or convergence has a proper mass that can be estimated. The simplest case suffices to tell the tale. For a single free photon of energy E and momentum p consider the relativistic invariant
Its vanishing asserts masslessness of the photon. The extension to two and more free photons considered as a single system immediately gives us something new because the total momentum can vanish as a vector sum even though the contributing momenta are not zero. Write p + p' and E + E' for the total momentum and energy, and consider the counterpart expression.
This quantity, also a relativistic invariant, does not vanish in general on account of the pesky cross-terms. In the center-of-momentum frame, in which p = −p', it falls to the square of the total energy to carry the invariant value, which we can call (mc2)2. Any inertial observer then identifies the fixed number
with the proper mass of the 2-photon system. Upon substituting the single-photon relationships E = c|p| and E' = c|p'|, and expanding the squares, obtain:
where θ is the angle between p and p'.
In the extension to n massless particles of total momentum
p + p' + p" + ...,
a sum of
Differently moving observers see a different set of angles, but the energies conspire to keep m a fixed constant for all. Only under the idealization of precisely parallel motion (the limiting plane wave) is the total proper mass of a photon system additive, that is, equal to zero. Parallel motion is also distinguished in general relativity [e.g. Zee], for while divergently directed photons engage gravitationally, those in parallel motion do not. We shall be concerned with the antiparallel case that allows us zero net momentum pairings and maximal system mass.
For a single monochromatic point source of photons of energy E propagating outward in spherically-symmetric fashion in the rest frame of the source, the proper mass of the radiation field is well approximated by
which is negligibly different from nE/c2 when n is large enough. This quantity must be distinguished conceptually (and numerically) from the “mass equivalent” of the energy nE held in total by the individual massless quanta.
With some thousand million photons per extant baryon in the universe, there are a surfeit of contributing divergent pairs to build a certain amount of system mass into the microwave background. Paired trajectories need not be in mutual proximity to make this contribution.
Massive particles. The general nonadditivity of proper mass is not confined to the massless case. Given an isolated system of N massive particles, the sum of the proper masses of the constituents is in general less than the proper mass of the system taken as a whole. And as before, additivity holds only in the special case of all velocities being identical, which is to say, in both direction and magnitude. This demand on magnitude was simply automatic in the massless case.
Take two neutrinos, each of rest mass m, and respective energy-momentum
With E = γmc2, p = γmv,
where k(θ) is the kinematical factor in brackets and θ is the angle between p and p'.
(i) The additive case: In the special case of equal velocities,
(ii) The maximally nonadditive case: In the case of equal speeds but opposite direction,
i.e.,
Now it is only for vanishing β that M = 2m. For speeds near the speed of light, such as is characteristic of cosmological neutrinos, the proper mass of each oppositely directed pair is well approximated by M ~ 2mγ, where γ is arbitrarily large. That looks harrowingly like additivity of relativistic mass, but proper mass it is for the two-particle system in this situation.
Neutrinos thus contribute to the system mass of the universe, not so much on account of their large numbers, but rather on the number of their pairings. And again, like photons of the microwave background, the paired trajectories need not be in mutual proximity to make their contribution.
Coxeter, H. Projective Geometry, 2nd ed. Springer-Verlag New York, Inc. (1987) The colorings of the Desargues configuration are set up on p 27.
Georgi, H. & Glashow, S. Phys. Rev. Lett. 32, 438 (1974). The fountainhead.
Lightman, A., Press, W., Price, R., Teukolksky, S. Problem Book in Relativity & Gravitation,
problems
Misner, C. & Wheeler, J. Ann.Phys. 2 525 (1957).
Penrose, R. The Road to Reality. The ‘zigzag’ electron. §§25.2-25.3. Jonathan Cape. London 2004.
Polster, B. “Pretty Pictures of Geometries”. Bull. Belg. Math. Soc 5 pp 417-25 (1998).
Thurston, W. Three-Dimensional Geometry and Topology. Volume I, ed. Silvio Levy. Princeton University Press, New Jersey, 1997.
Weinberg, S. The Quantum Theory of Fields, Vol I, p 112. Cambridge U Press 2005.
Wilczek, F. “Beyond the Standard Model: An Answer and Twenty Questions.”23 Feb 1998, hep-ph / 9802400v1
Zee, A. Quantum Field Theory in a Nutshell, Princeton U Press 2003. (a) A Binary Code for the World, p 410; (b) The gravity of light, p 427.
This page sporadically emends itself. The basic ideas behind this
approach to mass generation were first introduced in unpublished lecture notes
of Prof. F.A. Kaempffer, University of British Columbia 1971. The authors, Carol von der Lin & Val von der Lin,
are hobbyists, retired in Calgary Canada. Last update: June 2008.
If you happen to have an abiding thirst for 19th-century postal markings,
do check out our other hobby page at Kashmir Stamps.