Paper (open access): doi.org/10.5281/zenodo.19098042
Full repo (7 papers + code + proofs): github.com/davidichalfyorov-wq/sct-theory
#QuantumGravity #TheoreticalPhysics #OpenScience #Physics #Lean4 #FormalVerification #SpectralAction #hepth #grqc
5/5
Verification: 4000+ automated tests, triple computer algebra (SymPy × GiNaC × mpmath at 100+ digits), 46 formally verified theorems in Lean 4, 8-layer pipeline. Every formula independently re-derived.
4/5
This gives a concrete, testable prediction: a modified Newtonian potential V(r)/V_N = 1 − (4/3)e^{−m₂r} + (1/3)e^{−m₀r}, where V(0) = 0 (finite at the origin). Already constrained by solar system and lab measurements.
3/5
The key result: the Weyl² coefficient α_C = 13/120 is completely fixed by the Standard Model particle content (4 scalars + 45 fermions + 12 gauge bosons). No tuning.
The form factors are entire functions → no ghost poles at one loop.
2/5
New paper: "Nonlocal one-loop form factors of the spectral action with Standard Model content"
We compute the exact quantum corrections to gravity from all known particles — no new physics, no free parameters, no extra dimensions.
🧵 1/5
#QuantumGravity #TheoreticalPhysics #OpenScience #Physics
All papers open access:
📄 Form factors: doi.org/10.5281/zenodo.19098042
📄 Solar system tests: doi.org/10.5281/zenodo.19098100
📄 Weyl curvature bridge: doi.org/10.5281/zenodo.19354508
💻 Code: github.com/davidichalfyorov-wq/sct-theory
#OpenAccess #QuantumGravity #hepth #grqc
How seriously should you take this? We tried to break it:
• 4000+ automated tests
• Triple computer algebra cross-check (SymPy × GiNaC × mpmath, 100+ digit precision)
• 46 theorems formally verified in Lean 4
• Every form factor matched against 13+ independent papers
Codebase is open source.
The effective masses m₂ ≈ 2.15Λ and m₀ ≈ 2.45Λ set the scale of deviations from Newton. Current torsion-balance and lunar laser ranging data give:
Λ > 2.6 meV (95% CL)
This is not a Planck-scale fantasy. It's a bound from real experiments, derivable from first principles.
The result: the total Weyl² coefficient is α_C = 13/120, coming from 4 scalars + 45 fermion d.o.f. + 12 gauge bosons.
This fixes the graviton propagator modification uniquely. The Newtonian potential becomes:
V(r)/V_N = 1 − (4/3)exp(−m₂r) + (1/3)exp(−m₀r)
Finite at r = 0. No singularity.
The one-loop effective action of gravity contains nonlocal form factors h_C(□) and h_R(□) that encode how quantum fields dress the gravitational propagator.
We computed these exactly for all SM spins (scalars, fermions, vectors) and summed them. No free parameters, just field counting.
Most quantum gravity frameworks predict nothing testable below the Planck scale.
We derived a parameter-free modification of Newton's potential from the Standard Model particle content alone.
Thread on what we found 👇
#QuantumGravity #TheoreticalPhysics #hepth #grqc