The Koide formula

Peter Haggstrom [email protected] https://gotohaggstrom.com

April 12, 2021

1 Background

Joan Baez recently drew attention to the Koide formula in his blog [1]. This remarkable empirical formula arose in 1981 from researches by . More detail on Koide’s work can be found in [2].

There are three charged : the , the and the . Let me, mµ and mτ be their . Then the Koide formula states that:

me + mµ + mτ 2 √ √ √ 2 = (1) ( me + mµ + mτ ) 3

Suffice it to say that when you plug in the relevant experimentally obtained masses the formula is accurate to within the current experimental error bounds.

Quite amazing and something that gets the juices flowing to find a deeper explanation for this result. It may be nothing more than a numerical coincidence.

2 Bounds for the formula

It can be shown that whatever the masses of the electron, muon and tau may be the following inequality will hold for any positive values of me, mµ and mτ .

1 me + mµ + mτ ≤ √ √ √ 2 ≤ 1 (2) 3 ( me + mµ + mτ ) As I pointed out in the blog this result arises from the Cauchy-Schwarz inequality. Recall that the Cauchy-Schwarz inequality says that for ai > 0 and bi > 0:

n n 1 n 1 X  X 2 2  X 2 2 aibi ≤ ai bi (3) i=1 i=1 i=1

1 Now if we let bi = 1 for i = 1, 2, 3 we have:

√ √ √ 1 √ a + b + c ≤ (a + b + c) 2 3 (4) Squaring we get:

1 a + b + c ≤ √ √ √ (5) 3 ( a + b + c)2

√ √ √ a+b+c Now ( a + b + c)2 > a + b + c hence √ √ √ ≤ 1. a+ b+ c)2

There is absolutely no physics in any of this!

Let’s suppose we normalise the masses a, b, c . Our new masses become:

a b c a+b+c , a+b+c and a+b+c which we denote by x, y, z respectively. Thus we have a constraint of the form:

g(x, y, z) = x + y + z − 1 = 0 (6) Now the thing we want to minimise subject to this constraint is: x + y + z f(x, y, z) = √ √ √ (7) ( x + y + z)2 We recall that the general idea of Lagrange multipliers is embedded in this diagram:

2 The required relationship is:

∇f(x, y, z) = λ∇g(x, y, z) (8) subject to g(x, y, z) = 0. Because of the symmetry involved in working out the derivatives we need only do one in detail and populate the remaining two appropriately.

√ √ √ √ √ √ 2 √2 ∂f ( x + y + z) − (x + y + z)( x + y + z) 2 x = √ √ √ ∂x ( x + y + z)4 √ √ √ (9) √1 x + y + z − (x + y + z) x = √ √ √ ( x + y + z)3

Similarly: √ √ √ √1 ∂f x + y + z − (x + y + z) y = √ √ √ (10) ∂y ( x + y + z)3 and

3 √ √ √ √1 ∂f x + y + z − (x + y + z) z = √ √ √ (11) ∂z ( x + y + z)3 From:

∇f = λ∇g (12) we have that:

∂f =λ ∂x ∂f =λ (13) ∂y ∂f =λ ∂z

∂f ∂f ∂f or ∂x = ∂y = ∂z .

∂f ∂f √1 √1 ∂f ∂f Now from ∂x = ∂y we obtain x = y or x = y. And similarly from ∂y = ∂z we have that y = z. From the constraint x + y + z = 1 we must have that the minimum 1 1 1 occurs at ( 3 , 3 , 3 ). The minimum is therefore:

1 1 1 1 1 f( , , ) = 2 = (14) 3 3 3 √3  3 3

There is a lot of symmetry going on here!

3 References

[1] https://johncarlosbaez.wordpress.com/2021/04/04/the-koide-formula/#comments

[2] https://www.researchgate.net/publication/2015951 The strange formula of Dr Koide/ link/53f1e6330cf272810e4c72b6/download

4 History

Created 12 April 2021

4