A2_QCD
plain-language theorem explainer
A2_QCD instantiates the general A2 scaling with QCD parameters P = 2/9 and γ = 2/3 to produce a real-valued constant for voxel-walk calculations. Modelers of strong interactions in the Recognition Science framework cite this value when expanding sigmaN for the QCD case. The definition is a direct one-line substitution into the A2 formula.
Claim. $A_{2, QCD} := A_2(2/9, 2/3)$ where $A_2(P, γ) = P · ϕ^{-2γ}$.
background
The VoxelWalks module defines A2 as the base scaling operation A2(P, γ) := P * phi^(-2*γ), where phi is the self-similar fixed point from the Recognition Science forcing chain. This supplies the amplitude or probability factor used in discrete voxel paths for particle propagation. The module imports Mathlib to handle real arithmetic and exponentiation.
proof idea
One-line definition that applies A2 to the fixed inputs P = 2/9 and γ = 2/3.
why it matters
A2_QCD supplies the constant required by the downstream lemma sigmaN_QCD_expand, which unfolds sigmaN for the QCD parameter triple (true, true, false) and reduces it to sigmaCore scaled by (1/2)^n * (23/24)^n. It supports the voxel-walk expansion of interaction strengths in the Recognition framework, consistent with the phi-ladder and eight-tick octave structures.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.