Can you find the number near 137?
Alpha tells us how strongly light and charged particles interact. One divided by alpha is near 137. Find the trial number where the two calculated sides balance.
Begin with the boundary and carrier.
The boundary supplies a normalization called c₃. The five carrier slots supply charges. Squaring and adding those charges gives 5/6; the 3:2 rank ratio turns it into the response power 5/4.
- Carry forward
- Boundary normalization and the 3 + 2 carrier
- Operation
- Square the five charges; multiply by the rank ratio
- Result
- c₃ = 1/(8π), response power = 5/4
In words: Square the five charges; multiply by the rank ratio
Why this step works and what it assumes
The normalization belongs to the declared boundary principle. The charge trace and carrier norm identity are exact in the specified five slot dictionary. They do not alone select a physical electromagnetic response.
Read the original calculationTry the individual controls
Try this. Move the trial number and compare the two sides. Press Find balance to locate where they meet.
Choose a trial number
Move the slider. The two displayed sides are calculated from the same trial value.
Find the balance
Watch the gap between the sides. Find balance locates the value where the gap closes.
Compare the number
The result near 137 is inverse alpha. The dated measurement and its uncertainty provide the next comparison.
Explore the full interactive calculation
Find where the response balances
The curve is the specified equation F(α). Move the trial coupling to make its residual zero. All equation inputs stay fixed.
- Residual |F(α)|
- < 10⁻¹⁸
- Bisection bracket after 0 steps
- 130.00000000 to 145.00000000
Bisection halves an interval whose endpoints have opposite residual signs. This browser calculation uses ordinary numerical precision. The original analytic proof and certified interval enclosure remain separate evidence.
Follow the complete original derivation and every coefficient
Where does the number near 137 come from?
Alpha measures electromagnetic coupling strength. Follow how TFPT combines its boundary normalization, carrier charges and a specified defect response into one equation. That equation has a proved unique positive solution, with inverse coupling α⁻¹ ≈ 137.035 999 2168… .
Alpha is a dimensionless measure of electromagnetic interaction strength. In familiar SI units it combines the elementary charge, the quantum of action and the speed of light:
In words: Alpha equals elementary charge squared divided by four pi, vacuum permittivity, reduced Planck constant and the speed of light. It has no units.
Writing its inverse gives the number near 137. The comparison here concerns the low energy Thomson limit. Matching a calculated boundary response to that physical observable is a specific part of the task.
There are three kinds of step below: exact counts and identities, a response calculated under a named contract, and the remaining identification with physical electromagnetism. Keeping those steps visible explains both the number and what its calculation establishes.
Begin with the boundary and carrier
P1 fixes the seam normalization. The marked five slot carrier supplies the 3+2 charge split; its even representation has 16 components. Three family directions then give 48 admissible components. These are internal representation counts.
In words: The boundary normalization is one over eight pi. The base opening is one over six pi. Three families of sixteen give the topological weight forty eight times the fourth power of the seam constant.
Original architecture: normalization, carrier count and contact grammar
Let the defect respond to alpha
In the original defect sector, an additive action shift αJ changes the relative weight by exp(−αJ). On the stated double cover, primitive spectral flow one per sheet gives J = 2. This is the source of the exponential, including its factor two.
In words: The alpha dependent defect weight is the topological weight multiplied by the exponential of minus two alpha.
The original circle also determines the single defect line: its winding changes the polarization by a rank one projector Π. Consequently its ordered relative Fredholm determinant is exactly 1−q. The later marked D₅ grade calculation realizes the fractional response (1−uq)−5/4 in the existing source. The common time diagonal has exponent 2, so the marked measurement matters.
In words: The seam opening equals its base plus the defect weight times the inverse determinant response with exponent five quarters.
The exponent has an exact charge trace origin: Bγ = (3/2)(5/6) = 5/4. Choosing the EM coupling q(α), the outer factor q and this additive baseline in that same physical channel remains part of the response contract.
Original exponential reweightingReconstructed circle defectMarked D₅ response proof
Read the shared charge and flavour budget
The compiler gives a total flavour transport length of 40. One Higgs contribution makes 41. The same three family charge content gives the normalized U(1) index b₁ = 41/10. This is why the electromagnetic equation reads a budget already present in the matter construction.
In words: Forty transport units plus one Higgs give forty one. Eight times b one equals four fifths times forty one.
The value 40 is connected to the charge pattern through the stated compiler identity below. Here X = 6Y is integer hypercharge and the trace sums over the sixteen components of one family. The division by three is this compiler relation, rather than an average over three families; the flavour operators and their transport remain its prerequisites.
In words: The squared integer hypercharges sum to one hundred twenty. The stated compiler relation divides that trace by three to give the flavour transport budget forty.
Inspect the charge trace and budget identityRead its registered statement
Original budget and hypercharge indexFollow the charge construction
Assemble the stated electromagnetic closure
The closure balances a local cubic term, a quadratic sheet term and a logarithmic transport response. The paper names these the Maxwell moment, Calderón sheet contribution and C₆ transport determinant.
In words: F of alpha equals alpha cubed minus twice c three cubed times alpha squared minus four fifths times forty one times c three to the sixth times the logarithm of one over the seam opening. The closure sets F to zero.
The powers of c₃ follow the stated seam insertion grammar: three in the quadratic coefficient, six in the transport coefficient. The logarithm belongs to the determinant description. The carrier identities fix the displayed coefficient values within this closure; they do not alone derive its local functional form.
The older scalar potential makes the construction explicit: it supplies the local derivative α³−2c₃³α² and integrates the desired response to obtain a stationary action. The present physical question is whether the original local EM operator and its renormalized measure produce this same variation.
Original definition of the closure potentialLocal measure and Quillen scope
Prove that the equation selects one positive root
This is a theorem for the specified function, whose seam opening depends on α. For 0 < α ≤ 2c₃³ the function is negative. Log convexity of the seam response gives strict convexity of F beyond that point. The cubic eventually grows without bound, so F crosses zero exactly once, with positive derivative.
Why do those facts rule out a second root?
Set t = 2c₃³ and C = (4/5)c₃⁶M. The response satisfies 0 < φs < 1, so its logarithm is negative. Before t, both contributions to F are negative. Beyond t, exact log convexity gives a strictly increasing derivative:
F(t) is negative and the cubic eventually tends to infinity. At its first zero r, convexity makes the derivative greater than the positive secant slope from (t,F(t)) to (r,0). The derivative then keeps increasing, so the function cannot turn back through zero. The source proves log convexity by an exact differentiated identity, without a small term approximation or a sampled sign scan.
The argument holds for every positive budget M. It proves uniqueness after the inputs and response are fixed; it does not select 41 in place of another positive budget. An interval enclosure then locates the root.
The function is fixed. The slider changes the trial value, not the equation.
Residual |F(α)| < 10⁻¹⁸. This display uses ordinary browser arithmetic; the source proof and interval enclosure are separate evidence.
Compare the result with measurement
How close is the calculated value to the measurement?
Calculated closure root137.035 999 216 8…CODATA 2022 recommended value137.035 999 177 (21)CODATA ±1σ Calculated root1.90σ above the CODATA recommended value. This dated comparison uses the experimental uncertainty. The measured value was known before the formula freeze. NIST: CODATA 2022 recommended values, published 2025This dated comparison uses the CODATA 2022 recommended inverse coupling, 137.035 999 177 (21). The closure differs by about 1.9 experimental standard deviations. Alpha had already been measured when the formula was constructed; this comparison is a calculated relation to an existing measurement.
The mathematical root, the reconstructed circle line, the marked D₅ response and the finite determinant line and KMS results remain achieved. The remaining connection is specific: the original local EM source and operator map must yield the relative real renormalized determinant norm, its coupling and variation, then match the physical Thomson coupling.
Read the current reviewed physical scopeOpen the dated empirical comparison
Trace every ingredient: value, meaning, original source and scope
| Value | What it means | Original source | What the step establishes |
|---|---|---|---|
| The P1 boundary normalization. The paper writes 8π as two sheets times the Gauss–Bonnet integral 4π. | Architecture, EM closure | Accepted oriented boundary principle and normalization. Its physical realization remains a separate question. | |
| The unperturbed seam opening. The denominator 3/4 is the A₃ discriminant norm, paired with the D₅ norm 5/4. | Architecture, determinant line | Exact relation in the named normalization. Why the physical EM response has this additive baseline is part of the source map. | |
| Three families of the 16 dimensional even carrier give the admissible count. The four seam factors give the specified topological weight. | Architecture, contact unit and response | The count and algebra are exact in this carrier branch. Using this weight in the EM response belongs to its stated coupling contract. | |
| Adding αJ to a Euclidean defect action multiplies its relative weight by exp(−αJ). The primitive spectral flow is one on each of two identical sheets. | v2.7, defect sector reweighting | Exact reweighting under the stated additive action and index normalization. It specifies a topological coupling, not automatically an energy or heat parameter. | |
| B is the 3:2 carrier rank ratio; γ is the squared hypercharge trace on the five slots. The same value is the D₅ discriminant norm. | v4.2, charge trace identities | Exact carrier identity. The marked D₅ grade calculation additionally realizes this power as an actual response in the specified E₈ source. | |
| The rank one relative determinant is 1−q. Its chosen inverse susceptibility has power 5/4; the seam opening adds the resulting response with one outer q. | v4.2, minimal seam transfer | The determinant identity is proved. The inverse response, the outer q and the physical parameter map must be realized in the same EM channel. | |
| The specified flavour transport lengths sum to 40; one Higgs contribution gives 41. The hypercharge content independently expresses this as the normalized abelian index 10b₁. | Architecture, flavour budget and U(1) index | Exact budget and charge trace in the selected three family, one Higgs branch. Root uniqueness itself does not select this budget. | |
| Eight times the abelian index equals (4/5) times the budget. The 4/5 is this exact normalization identity; it is not another fitted parameter. | Architecture, Ward reading | Coefficient identity. The use of rank(E₈) × b₁ in the local EM functional still has its stated physical interpretation. | |
| The local part of the defined closure. Two names the sheet factor; c₃³ means three seam insertions. Its normalized primitive is α⁴/4 − (2/3)c₃³α³. | v4.2, normalized closure potential | Integrating the supplied derivative is exact. That operation does not derive the derivative from an original coupled EM operator. The cubic moment and exact local normalization need that identification. | |
| The transport term uses six seam insertions, associated in the compiler with the C₆ hexagon and six positive A₃ roots. Logarithms enter the determinant and effective action description. | Architecture, Ward and contact grammar | Specified transport and determinant grammar. A real renormalized local determinant must produce this full logarithmic response, including its measure and variation. |
Inspect the numerical enclosure, full precision and response series
In words: The proved root lies strictly between 0.0072973525622097 and 0.0072973525622100.
The original scalar closure gives the following higher precision approximation. These extra digits describe the calculated equation; the displayed interval above states the cited certified enclosure.
In words: Calculated inverse alpha is approximately 137.03599921684071250353786030380388037.
In words: The response series starts with q, plus five quarters q squared, plus forty five thirty seconds q cubed.
The series fixes higher response coefficients once this transfer is specified. The earlier linear, exponential, two defect and resummed calculations retain their own contracts; their similar factors do not identify all their physical actions.
Read the reviewed reconstruction of the original alpha factors
How this fits into the whole theory
The two sides reuse ingredients from the matter and E₈ constructions. Finding their balance calculates the number for those supplied ingredients.
What this experiment establishes
Uniqueness is a theorem for the fixed response and every positive budget. Selecting the physical budget and identifying the full local electromagnetic variation with the renormalized Thomson coupling require the original source and observable map.