structural_growth_suppression
plain-language theorem explainer
Structural growth suppression is defined as the exponential of the negative recognition strain. Cosmologists computing adjusted sigma-8 values in ILG-modified FRW models cite this factor when modeling reduced structure formation. The definition is implemented as a direct one-line exponential mapping from strain to suppression.
Claim. The structural growth suppression factor equals $e^{-Q}$, where $Q$ is the recognition strain.
background
This definition sits inside the Hubble Tension Resolution via ILG module, which introduces Induced Light Gravity corrections to the FRW metric and uses the C_lag constant to address Hubble constant discrepancies. Recognition strain Q quantifies the cumulative deviation from standard expansion caused by recognition processes. The factor directly scales the amplitude of matter fluctuations in structure growth calculations.
proof idea
The definition is a one-line wrapper that applies the real exponential function to the negation of the recognition strain Q.
why it matters
It supplies the explicit suppression needed for sigma-8 in ILG cosmology, linking recognition strain to observable clustering statistics. The expression completes the module's demonstration that C_lag resolves the Hubble tension while consistently suppressing structure growth. It sits downstream of the ILG metric corrections and feeds into predictions for weak lensing and galaxy surveys.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.