Van Effortless Effect
naar α

1. Welk getal zoeken we?

Het doel is de elektromagnetische fijnstructuurconstante in de laagenergetische limiet α(0), met inverse ongeveer 137,036. Een koppeling op een andere energieschaal is niet zonder schaalverloop en drempelcorrecties hetzelfde meetdoel. Zie NIST, the fine-structure constant.

De meting is de eindcontrole. Een normalisatie of modulus kiezen omdat die 137,036 oplevert, is een fit. Een afleiding moet die keuzes onafhankelijk vastleggen.

2. Wat de rekencontrole terugbrengt

De exponentiële kernstelling is formeel opnieuw geverifieerd. De K3-keten c₂→χ=24→a₄=4/15→ζΔ(0)=−11/15 klopt voor de opgegeven scalaire Ricci-vlakke situatie. Ook de hieronder beschreven modulaire rekenkern is reproduceerbaar.

Dit zijn verschillende schakels. ζΔ(0) is niet de spectrale determinant, en geen van beide is zonder een actie met juist genormaliseerde elektromagnetische velden al α.

3. Een correcte modulaire rekenkern

Schrijf q=e^2πiτ voor Im τ>0 en definieer de Dedekind-eta:

η(τ) = exp(πiτ/12) ∏ₙ≥₁ (1−qⁿ)
V(τ) = Im(τ) |η(τ)|⁴

De transformaties η(τ+1)=e^πi/12η(τ) en |η(−1/τ)|=|τ|^1/2|η(τ)| geven V(τ+1)=V(τ) en V(−1/τ)=V(τ). De factor uit Im(−1/τ)=Im(τ)/|τ|² wordt precies opgeheven. Daarmee is V modulair invariant. Bron: NIST DLMF, modulaire transformaties.

Opnieuw berekend met 60 cijfers werkprecisie en 100 producttermen, voor ρ=½+i√3/2:

De productstaart is voor deze argumenten veel kleiner dan de getoonde afronding. Dit bevestigt de rekenkern. Het levert niet vanzelf een volledige fysische drempelcorrectie: groepsfactoren, mogelijke additieve constanten, operator, schaal en matchingsconventie moeten uit het gekozen model komen. De vergelijking van twee punten bewijst ook niet op zichzelf een wereldwijd extremum of een fysische selectie van ρ.

4. Twee concrete problemen in de oude α-route

De scalaire energiematrix. De oude numerieke K3-matrix geeft de constante functie een niet-nulle energie. Daarom zijn de precieze oude spectra en de daarop gebouwde ζ′(0)-schattingen voorlopig geen geverifieerde invoer.

Een factor twee in de normalisatie. Het oude alpha_u_toets.py schrijft voor n tripletten:

[f₀ n / (96π²)] g² = 1/4
⇒ g² = 24π²/(f₀ n)

De functie retourneert echter 12π²/(f₀n). In de eigen opgeschreven vergelijking geeft dat 1/8 in plaats van 1/4. Dit is een interne algebraïsche inconsistentie. De juiste fysische traceconventie vraagt daarnaast een afzonderlijke onderbouwing. De oude band mag daarom niet als zelfstandig precisieresultaat terug.

5. Wat het schaalverloop reproduceert

De oorspronkelijke éénlus- en tweelus-ijkvergelijkingen zijn ook met een onafhankelijke adaptieve ODE-oplosser doorgerekend. In het tweelusmodel zonder Yukawa-termen kruisen de drie paren op verschillende schalen:

Gedwongen gelijkstelling g₁=g₂=g₃ op de laatste schaal en teruglopen naar M_Z geeft α_em⁻¹(M_Z)≈143,122, tegenover de gebruikte invoerwaarde 127,951. Dat is circa 11,86% hoger. Dit bevestigt de mismatch van deze specifieke ongewijzigde modelkeuze.

De berekening gebruikt gemeten elektrozwakke en sterke koppelingen als startpunt; zij is een consistentietoets, geen gegevensvrije afleiding. Het oude script voegt bovendien het gemeten verschil 137,035999−127,951 toe om een laagenergetisch getal te melden. Dat is geen zelfstandig berekend schaalverloop naar α(0). Yukawa-termen en modelspecifieke drempels ontbreken hier.

6. Welke keten nog moet sluiten

1. Selectiecriterium. Definieer weerstand en zelftoepassing zonder α als verborgen invoer.
2. Geometrie. Verantwoord waarom K3 relevant is en vergelijk met toegestane alternatieven.
3. Fysisch model. Geef velden, ijkgroep, actie en operator. Leid de koppelingsnormalisatie uit die actie af.
4. Vaste gegevens. Bepaal moduli en schalen door een onafhankelijk gemotiveerd mechanisme.
5. Betrouwbare berekening. Herstel de energiematrix, controleer nulmodi en convergentie, en bereken de benodigde determinanten en drempels.
6. Voorspelling. Reken naar α(0), rapporteer onzekerheden en vergelijk daarna met de meting.

Het mislukken van één normalisatie, één spectrumbenadering of één unificatievoorwaarde sluit deze volledige onderzoeksambitie niet uit. Het vertelt waar de betreffende route nog niet werkt.

7. Een exacte voortoets: grootte en koppeling samen vastleggen

Uitgewerkt op 16 september 2026, na een voorstel van Robin Genis. Dit onderdeel begrenst concrete kostenfuncties. Het is geen onmogelijkheidsbewijs voor iedere spectrale theorie of voor EEML, en geen afleiding van de gemeten constante.

Uit de losse spectrale kosten volgt geen eindige grootte. Neem een vaste Ricci-vlakke K3 en varieer alleen de totale grootte, g_L=L²g₁, bij vaste cutoff en referentieschaal. Het warmtespoor Σ exp[−λₙ/(Λ²L²)] stijgt strikt met L en nadert bij L↓0 het aantal nulmoden. De determinant van de scalaire Laplaciaan met verwijderde nulmode schaalt met de eerder gecontroleerde waarde ζ(0)=−11/15 als

log det′(Δ_L/μ²) = C + (22/15) log L

en loopt bij L↓0 naar −∞ zodra hij met positieve coëfficiënt in de kosten staat. Een eindige stabiele grootte vraagt in deze modellen een aanvullende bijdrage of een verantwoorde beperking van het domein. De algemene uitspraak dat iedere spectrale kostenfunctie monotoon is, is te sterk: (λ₁/(Λ²L²)−1)² heeft een minimum bij L=√λ₁/Λ. Het lemma geldt per genoemde variant, onder haar aannamen.

Een stabiele grootte is nog geen α. Het model R(L,e)=L⁴+n²/(e²L⁴), met een vast geheel getal n>0, heeft tegengestelde schaalmachten, bevat de koppeling en gebruikt een gekwantiseerde coëfficiënt. Bij iedere e ontstaat een stabiele grootte L⁴=n/e, maar na invullen blijft R=2n/e over, zonder minimum bij eindige e. In logcoördinaten is (−1/4, 1) een gezamenlijke herschaling met graad −1: een echte vluchtrichting. Het waterstofatoom heeft dezelfde beperking: het legt de grootte vast voor een gegeven koppeling, niet de koppeling zelf.

Het exacte criterium. Voor een eindige som van machttermen met vaste positieve coëfficiënten, R=Σ cᵢ Π xⱼ^aᵢⱼ, is de kost in logcoördinaten convex. Met P het convexe omhulsel van de exponentvectoren aᵢ en A de matrix met die vectoren als rijen geldt:

Een gezamenlijke herschaling y→y+tv met aᵢ·v=k voor alle i geeft R(y+tv)=e^ktR(y): bij k≠0 een vluchtrichting, bij k=0 een vlakke richting waarlangs minima kunnen bestaan. Afwezigheid van zo'n herschaling is niet voldoende: L+e+Le daalt naar nul als beide krimpen. Voor een uniek minimum in m variabelen zijn minstens m+1 termen nodig die de oorsprong omsluiten. Voor alleen α is dat te streng: e²+e⁻² legt e=1 vast terwijl L vrij blijft. Voor α=e²/(4π) is de toets: 0 in het relatieve inwendige, en w=(0, 2) loodrecht op ker A.

De drietermenfamilie. Met een derde term wordt het voorbeeld

R(L,e) = L⁴ + n²/(e²L⁴) + c·e²
e*³ = n/c,   L*⁴ = n^(2/3) c^(1/3)

De exponentvectoren (4,0), (−4,−2) en (0,2) omsluiten de oorsprong, dus er is één globaal minimum. Alle drie bijdragen zijn daar gelijk aan t=n^2/3c^1/3; de Hessiaan in logcoördinaten is t·[[32, 8],[8, 8]] met determinant 192t²>0. Als e de correct genormaliseerde elektromagnetische koppeling is, volgt conditioneel

α* = (1/4π) · (n/c)^(2/3)

Met algemene voorfactoren R=A·L⁴+B/(e²L⁴)+C·e² komt e*³=√(AB)/C, onveranderd onder herschaling van de referentielengte of van de hele kost. Vervang c·e² door c·L^ae^b, dan zijn de convexe gewichten voor de oorsprong (2b−a, 2b, 4)/(4+4b−a), en bestaat een uniek eindig minimum precies als

b > 0   en   a < 2b

Zo slaagt c·e², terwijl c·L⁴e² op de grens ligt en geen eindig minimum geeft. Dit is een concrete eis aan de nog af te leiden veldenergie en haar schaalafhankelijkheid.

Vier toetsingscriteria voor kandidaatmodellen.

1. De afgeleide totale kosten geven een eindige, stabiele grootte.
2. De constructie bepaalt aantoonbaar de elektromagnetische ijkterm.
3. Alle coëfficiënten die α beïnvloeden volgen onafhankelijk. Kwantisatie kan helpen, maar is geen garantie; ook n en zijn selectie moeten uit het model volgen.
4. Alle geselecteerde oplossingen geven dezelfde α, ook wanneer schaal en koppeling gezamenlijk mogen variëren. Vlakke richtingen mogen blijven zolang ze α niet veranderen.

Stand van zaken: binnen de klasse van eindige positieve machtsommen is een exacte voortoets beschikbaar voor het bestaan van minima en het vastleggen van een opgegeven grootheid. Het drietermenvoorbeeld slaagt wiskundig. De oorsprong van zijn coëfficiënten, de verbinding met elektromagnetisme en de overgang naar α(0) blijven open. De ontbrekende fysische stap is de derde bijdrage en haar coëfficiënt uit de actie afleiden, zodat het minimum meer wordt dan een instelbare formule.

De controles zijn exact en gebruiken de gemeten α niet: 16 symbolische controlegroepen en 12 toetsgevallen voor het criterium. Download het α-routedossier · Uitvoeren en afbakening

8. Bronnen en eerdere pogingen

Threshold corrections in heterotic flux compactifications is een fysisch voorbeeld waarin K3-geometrie en koppelingscorrecties samen worden onderzocht. Het is geen EEML-afleiding van α. Het historische artikel en de historische preprint blijven beschikbaar met hun oorspronkelijke claims.

Download het controledossier · Uitvoeren en afbakening

v0.24 · 16 september 2026