spectral-action

Here are 2 public repositories matching this topic...

davidichalfyorov-wq / sct-theory

Spectral Causal Theory: derivations, verification, analysis, and publications.

physics quantum-mechanics cosmology theoretical-physics standard-model quantum-gravity field-theory heat-kernel modified-gravity spectral-geometry noncommutative-geometry cosmology-physics spectral-action dirac-operator

Updated Apr 11, 2026
Python

davidtswanson903 / induced-gravity-count

Star

Exact sign of the Standard Model's induced Newton constant in Sakharov induced gravity, counted over species from heat-kernel coefficients under a spectral-action cutoff: +1 in Feynman gauge, for every cutoff profile. Horizon entropy, Higgs curvature coupling, generation floor, gauge-boson cost. Formally verified in Lean 4 and Mathlib.

formal-verification standard-model mathlib heat-kernel lean4 induced-gravity spectral-action

Updated Oct 6, 2026
Python

Add this topic to your repo

To associate your repository with the spectral-action topic, visit your repo's landing page and select "manage topics."

Learn more