nu_corrected
plain-language theorem explainer
The definition assembles the full correlation-length exponent by adding the leading term 1 over the thermal eigenvalue to the anomalous correction eta over D plus eta. Lattice critical-point analysts using the recognition lattice would reference this expression when incorporating nonzero anomalous dimensions into scaling relations. The construction is a direct sum of two upstream definitions, one for the leading exponent and one for the Padé approximant correction.
Claim. $ν(D, η) = 1/y_t + η/(D + η)$, where $y_t$ is the thermal eigenvalue and the second term supplies the anomalous correction from the spectral-gap multiplicity.
background
The module derives the thermal fixed-point operator from the forcing chain, with the Fibonacci recurrence on the phi-ladder yielding the characteristic polynomial whose positive root is phi. This sets the thermal eigenvalue y_t to phi, so the leading correlation-length exponent equals 1 over phi. The anomalous correction arises when the anomalous dimension eta couples to the D field modes at the spectral gap of the Q3 lattice.
proof idea
The definition is a one-line wrapper that adds the leading-order exponent to the anomalous correction term.
why it matters
This supplies the corrected exponent that enters the analysis of the thermal fixed point on the recognition lattice. It is used by the theorem showing that the corrected value reduces to the leading term when the anomalous dimension is zero. In the broader framework it embeds the three-dimensional lattice structure into the correction denominator, aligning with the forced spatial dimension from the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.