The Koide formula is an unexplained empirical equation discovered by Yoshio Koide in 1981. In its original form, it is not fully empirical but a set of guesses for a model for masses of quarks and leptons, as well as CKM angles. From this model it survives the observation about the masses of the three charged leptons; later authors have extended the relation to neutrinos, quarks, and other families of particles.[1]
The Koide formula is
Q=
| ~me+m\mu+m\tau~ | |
| \left( \sqrt{ me |
+\sqrt{ m\mu }+
| 2} | |
| \sqrt{ m | |
| \tau } \right) |
=0.666661(7) ≈
| 2 | |
| 3 |
,
where the masses of the electron, muon, and tau are measured respectively as and the digits in parentheses are the uncertainties in the last digits.[2] This gives
No matter what masses are chosen to stand in place of the electron, muon, and tau, the ratio is constrained to The upper bound follows from the fact that the square roots are necessarily positive, and the lower bound follows from the Cauchy–Bunyakovsky–Schwarz inequality. The experimentally determined value,, lies at the center of the mathematically allowed range. But note that removing the requirement of positive roots, it is possible to fit an extra tuple in the quark sector (the one with strange, charm and bottom).
The mystery is in the physical value. Not only is the result peculiar, in that three ostensibly arbitrary numbers give a simple fraction, but also in that in the case of electron, muon, and tau, is exactly halfway between the two extremes of all possible combinations: (if the three masses were equal) and (if one mass dwarfs the other two). is a dimensionless quantity, so the relation holds regardless of which unit is used to express the magnitudes of the masses.
Robert Foot also interpreted the Koide formula as a geometrical relation, in which the value
| 1 | |
| 3 Q |
[ \sqrt{ me },\sqrt{ m\mu },\sqrt{ m\tau } ]
[ 1,1,1 ]
\theta=45.000\circ\pm0.001\circ~.
When the formula is assumed to hold exactly it may be used to predict the tau mass from the (more precisely known) electron and muon masses; that prediction is [4]
While the original formula arose in the context of preon models, other ways have been found to derive it (both by Sumino and by Koide – see references below). As a whole, however, understanding remains incomplete. Similar matches have been found for triplets of quarks depending on running masses.[5] [6] [7] With alternating quarks, chaining Koide equations for consecutive triplets, it is possible to reach a result of for the mass of the top quark.[8]
Carl Brannen has proposed[4] the lepton masses are given by the squares of the eigenvalues of a circulant matrix with real eigenvalues, corresponding to the relation
\sqrt{mn }=\mu\left[1+2η\cos\left(\delta+
| 2\pi | |
| 3 |
⋅ n\right)\right]~,~
which can be fit to experimental data with = 0.500003(23) (corresponding to the Koide relation) and phase = 0.2222220(19), which is almost exactly . However, the experimental data are in conflict with simultaneous equality of η = and = .[4]
This kind of relation has also been proposed for the quark families, with phases equal to low-energy values = × and = ×, hinting at a relation with the charge of the particle family and for quarks vs. = 1 for the leptons, where [9]
The original derivation postulates
| m | |
| ei |
\propto (z0+
| 2 | |
| z | |
| i) |
z1+z2+z3=0
\tfrac{ 1 }{3
| 2) | |
| } (z | |
| 3 |
=
| 2 | |
| z | |
| 0 |
from which the formula follows. Besides, masses for neutrinos and down quarks were postulated to be proportional to
| 2 | |
| z | |
| i |
\propto (z0+2zi)2~.
The published model[10] justifies the first condition as part of a symmetry breaking scheme, and the second one as a "flavor charge" for preons in the interaction that causes this symmetry breaking.
Note that in matrix form with
~~M=A A\dagger~~
~~A=Z0+Z~~
~~\operatorname{tr}Z=0~~
~~\operatorname{tr}
| 2 | |
| Z | |
| 0 |
=\operatorname{tr}Z2~.
There are similar formulae which relate other masses. Quark masses depend on the energy scale used to measure them, which makes an analysis more complicated.[11]
Taking the heaviest three quarks, charm, bottom and top, regardless of their uncertainties, one arrives at the value cited by F. G. Cao (2012):
Qheavy=
| mc+mb+mt | |
| (\sqrt{mc |
+\sqrt{mb}+
| 2} | |
| \sqrt{m | |
| t}) |
≈ 0.669 ≈
| 2 | |
| 3 |
.
This was noticed by Rodejohann and Zhang in the first version of their 2011 article, but the observation was removed in the published version,[5] so the first published mention is in 2012 from Cao.[12]
Similarly, the masses of the lightest quarks, up, down, and strange, without using their experimental uncertainties, yield
Qlight=
| mu+md+ms | |
| (\sqrt{mu |
+\sqrt{md}+
| 2} | |
| \sqrt{m | |
| s}) |
≈ 0.57 ≈
| 5 | |
| 9 |
,
a value also cited by Cao in the same article.[12]
Note that an older article, H. Harari, et al.,[13] calculates theoretical values for up, down and strange quarks, coincidentally matching the later Koide formula, albeit with a massless up-quark.
Qlight=
| 0+md+ms | |
| (\sqrt{0 |
+\sqrt{md}+
| 2} | |
| \sqrt{m | |
| s}) |
In quantum field theory, quantities like coupling constant and mass "run" with the energy scale.[14] That is, their value depends on the energy scale at which the observation occurs, in a way described by a renormalization group equation (RGE).[15] One usually expects relationships between such quantities to be simple at high energies (where some symmetry is unbroken) but not at low energies, where the RG flow will have produced complicated deviations from the high-energy relation. The Koide relation is exact (within experimental error) for the pole masses, which are low-energy quantities defined at different energy scales. For this reason, many physicists regard the relation as "numerology".[16]
However, the Japanese physicist Yukinari Sumino has proposed mechanisms to explain origins of the charged lepton spectrum as well as the Koide formula, e.g., by constructing an effective field theory with a new gauge symmetry that causes the pole masses to exactly satisfy the relation.[17] Koide has published his opinions concerning Sumino's model.[18] [19] François Goffinet's doctoral thesis gives a discussion on pole masses and how the Koide formula can be reformulated to avoid using square roots for the masses.[20]
A cubic equation usually arises in symmetry breaking when solving for the Higgs vacuum, and is a natural object when considering three generations of particles. This involves finding the eigenvalues of a 3×3 mass matrix.
For this example, consider a characteristic polynomial
4 m3-24 n2 m2+9 n (n3-4) m-9
mj : j=1,2,3 ,
To derive the Koide relation, let
m\equivx2
( 2 x3-6 n x2+3 n2x-3 )( 2 x3+6 n x2+3 n2 x+3 )
4 ( x3-3 n x2+\tfrac{3}{ 2 } n2x-\tfrac{3}{ 2 } )( x3+3 n x2+\tfrac{3}{ 2 } n2 x+\tfrac{3}{ 2 } )
The elementary symmetric polynomials of the roots must reproduce the corresponding coefficients from the polynomial that they solve, so
~~x1+x2+x3=\pm3 n~~
~~x1x2+x2x3+x3x1=+\tfrac{3}{ 2 } n2~.
n ,
n ,
x
| 2 (x1x2+x2x3+x3x1) | |
| ~(x1+x2+x3)2 |
=
| (3 n2) | |
| ~(\pm3 n)2 |
=
| 1 | |
| 3 |
so
1-
| 2 x1x2+2 x2x3+2 x3x1 | |
| ~(x1+x2+x3)2 |
=1-
| 1 | |
| 3 |
=
| 2 | |
| 3 |
~.
and
1-
| 2 x1x2+2 x2x3+2 x3x1 | |
| ~(x1+x2+x3)2 |
=
| (x1+x2+x3)2-2 x1x2-2 x2x3-2 x3x1 | |
| ~(x1+x2+x3)2 |
=
| ||||||||||||||||||||||
| ~(x1+x2+x3)2 |
~.
Converting back to
\sqrt{ m }=x
| m1+m2+m3 | |
| \left( \sqrt{ m1 |
+\sqrt{ m2 }+
| 2 } | |
| \sqrt{ m | |
| 3 } \right) |
=
| 2 | |
| 3 |
~.
For the relativistic case, Goffinet's dissertation presented a similar method to build a polynomial with only even powers of
m~.
Koide proposed that an explanation for the formula could be a Higgs particle with
U(3)
\Phia\overline{b
V(\Phi)=\left[ 2 \left[tr(\Phi)\right]2-3 tr(\Phi2) \right]2
with the charged lepton mass terms given by
\overline{\psi} \Phi2 \psi~.
In fact one such Higgs potential would be precisely
V(\Phi)=
| 2 | |
| \det[(\Phi-\sqrt{m | |
| e})] |
+
| 2 | |
| \det[(\Phi-\sqrt{m | |
| \mu})] |
+
| 2 | |
| \det[(\Phi-\sqrt{m | |
| \tau})] |