lv_quadratic
plain-language theorem explainer
The declaration asserts that the Lorentz violation order of magnitude equals 2 in the RS lattice model. Physicists deriving dispersion bounds from quantum gravity lattices would cite this when quantifying a²k² corrections at long wavelengths. The proof is a direct reflexivity step that matches the constant definition to the numeral 2.
Claim. The order of magnitude of the Lorentz violation term in the dispersion relation equals $2$.
background
In the Recognition Science lattice model the dispersion relation at wavelengths much larger than the lattice spacing reduces to the continuum Laplacian. Lorentz violation then appears as an O(a²k²) correction that remains experimentally invisible until wave numbers approach the inverse lattice scale. The upstream definition lvOrderOfMagnitude hard-codes this quadratic dependence as the natural number 2.
proof idea
The proof is a one-line reflexivity that equates the definition lvOrderOfMagnitude to the constant 2.
why it matters
This result supplies the lv_order field inside the LorentzViolationCert structure that aggregates the five canonical test categories. It encodes the quadratic suppression δ_LV < (a/λ_Planck)² ≈ 10^{-66} required by the RS lattice analysis, consistent with the forcing chain that fixes D = 3 and the eight-tick octave. The module reports zero sorries or axioms.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.