Application of the L2HMC algorithm to simulations in lattice QCD.
Deriving the Standard Model from a single finite geometry with zero free parameters
Hamiltonian Gauge Gravity Surveyor (HiGGS). Tools for Hamiltonian constraint, canonical and Dirac-Bergmann analysis of gravity theories with spacetime curvature and torsion.
K₇ (formerly GIFT), the founding framework of the Arithmon program. Standard Model parameters as topological invariants of a G₂ manifold. Zero free parameters, formally verified, falsifiable.
Lecture Notes in Electromagnetics II for Engineering Physics master students at Uppsala University (2022-2026)
Lattice QCD multi-quark flux-tube program: SU(2) high-statistics remeasurement to SU(3) 6q systems.
Hamiltonian Gauge Gravity Surveyor (HiGGS). Tools for Hamiltonian constraint, canonical and Dirac-Bergmann analysis of gravity theories with spacetime curvature and torsion.
Papers, Research Experiments and Results on Non-Abelian Gauge Structure in Stratified Quantum Normative Dynamics
Certified mathematical identities of the K₇ framework: E₈×E₈ gauge theory on a G₂-holonomy manifold, 460+ relations, 0 sorry, Lean 4. Formerly gift-framework/core (GIFT Core). Distinct from Arithmon/Lean, the Sieve methodology layer.
[Legacy Archive] Topological Energy Condensate Theory (TECT): an open-physics candidate framework for emergent spacetime, fields, and particles.
Concrete implementations of classical Lie groups and Lie algebras in Rust, with emphasis on mathematical correctness and numerical stability
AI-generated solutions to two research-level math problems from the First Proof community experiment: a Yang-Mills gauge-fixing heat-flow estimate on the 2-torus, and sharp fatness of geodesic triangles in sparse random graphs. Produced autonomously in Claude Code, offered for human validation.
Simple implementation of U(1) gauge theory on lattice in 1 + 1 dimensions
Sparse Lie algebra engine for G₂, F₄, E₆, E₇, E₈ — 913× compression, lattice gauge theory, equivariant GNN layers. pip install dhl-mm
Numerical field relaxation algorithm capable of finding solutions to the Euclidean SU(2) Georgi-Glashow equations of motion on a 4D lattice.
# Grand Unified Polymerization Framework
Solutions and miscellaneous notes for "Gauge Fields, Knots and Gravity"
唯一の公理¬∃→∃と明示された同定公理から、宇宙論的定数（120桁問題を連続パラメータゼロで抑制、誤差1.71%）・CMB音響ピーク・標準模型の群構造を導出する反証可能な統一理論。新等式 α·ln n* = R(S^(n*-1))·π を含む。/ A falsifiable unified theory deriving Λ, CMB peaks, and the SM gauge group from a single axiom with zero fitted parameters.
A formalized Lean 4 proof that Quantum Mechanics and General Relativity emerge from a classical Spin(4, C) gauge connection.
Add a description, image, and links to the gauge-theory topic page so that developers can more easily learn about it.
To associate your repository with the gauge-theory topic, visit your repo's landing page and select "manage topics."