The complex structure and the clock
E8 and the Gaussian code
Let [formula in source] rotate each [formula in source] pair, [formula in source] , and let [formula in source] be the pair [formula in source] -cycle [formula in source] , [formula in source] , fixing [formula in source] . Then (machine checks I0.2–I0.3; Lean theorems J_sq, J_skew, sigma_cubed_ambient, J_sigma_commute, lattice_J, lattice_sigma) [formula in source] where the last two use precisely the [formula in sou
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/note_e8_gaussian_code/sections/001-section-the-three-objects-label-sec-setup.tex · lines 90 to 135
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit lean symbol GaussianCodeBridge.lean
exact texttt symbol under explicit Lean/theorem context
- explicit lean symbol GaussianCodeBridge.lean
exact texttt symbol under explicit Lean/theorem context
- explicit lean symbol GaussianCodeBridge.lean
exact texttt symbol under explicit Lean/theorem context
- explicit lean symbol GaussianCodeBridge.lean
exact texttt symbol under explicit Lean/theorem context
- explicit lean symbol GaussianCodeBridge.lean
exact texttt symbol under explicit Lean/theorem context