Follow the source behind the result.
Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.
v383_dynamics_universal.py
verification/v383_dynamics_universal.py
This is a registered verification module. Read its original code and the paper sections that cite it, then follow the linked claim to its present classification.
Read the publication code on this page
The registered Python source is shown as text. Displaying it does not execute the code.
"""v383 -- DYNAMICS.UNIVERSAL.01: the UNIVERSAL spectral-gap / Perron-Frobenius principle.
The synthesis the bird's-eye review asked for: every TFPT sector is the SAME structural
object -- a gapped operator with a UNIQUE leading attractor (the physics) and a spectral
gap (the reason there is no free parameter). v303 (FR.DYNAMICS.01) named this only for
F_transfer; this module shows it is THEORY-WIDE, now including the sectors made
parameter-free AFTER v303 -- gravity (entanglement equilibrium v358/v359), the QG measure
(the Gaussian saddle v365), and the all-order S-matrix (the adiabatic limit v381).
THE PRINCIPLE: gapped operator => unique leading eigenvector/attractor (Perron-Frobenius /
contraction / Boltzmann H-theorem / saddle) => parameter-free. So "parameter-freeness is a
theorem, not a tuning" (the horizon-cluster statement about the bootstrap, v56) is the SAME
spectral-gap statement in EVERY sector.
[E] 1. FLAVOR TRANSFER (computed): the cusp transfer T has spectrum {1,(2/3)^6,(1/3)^6};
the leading eigenvalue 1 is simple (unique Perron attractor) and the gap to the
subleading is Delta = -log (2/3)^6 = 6 log(3/2) > 0 (v56/v82/v240).
[E] 2. DISCRETE COMPILER (computed): the affine-E8 network adjacency has Perron eigenvalue
2 (eigenvector = the Kac marks, v312/v313) and subleading 2cos(pi/5) = phi, so its
spectral gap is 2 - phi = 1/phi^2 > 0 (the discrete-side gap).
[E] 3. DECOUPLING MARGIN (computed): Delta_eff = 6 log(3/2) - 31/(4 pi^2) ~ 1.648 > 0
(v76/v337) -- the gap that makes every readout independent of the ambient measure.
[E] 4. TWO NUMBER-FIELD FACETS (the discrete/dynamic split, v314): the discrete gap is
golden phi in Q(sqrt5) (the g_car=5 / carrier facet, static) and the dynamic gap is
(2/3)^6 in Q (the N_fam=3 / family facet); they do NOT collapse to one number -- they
are the prime-5 and prime-3 facets of the order-30 Coxeter clock 30 = 2*3*5 = h(E8)
(v55/v223/v314). Anti-numerology: NOT a forced equality, a factorisation.
[C] 5. THE OTHER SECTORS ARE THE SAME STRUCTURE (cited, established per sector):
gravity = the delta S = 0 entanglement EQUILIBRIUM fixed point (v358/v359); the QG
measure = a gapped one-loop Gaussian SADDLE (v365); the boundary QFT = the stable
isolated holomorphic c=8 RG fixed point (v157/v158); the all-order S-matrix = the
adiabatic limit to the interacting fixed point (v381); recovery = the Petz fixed
point at rate (2/3)^6 (v221); F_transfer = four gapped relaxations to unique
attractors (v303); the CM modulus tau=i = the attractor of mark-equilibration (v333).
[C] 6. THE META-THEOREM: each sector is gapped => unique attractor => parameter-free; so
TFPT's parameter-freeness is ONE spectral-gap theorem wearing many hats, not a list
of separate coincidences. Extends v303 from F_transfer to the whole theory.
[E] 7. ANTI-NUMEROLOGY: no new number -- the gaps are the established ones (6 log(3/2),
phi, 1.648); the content is the STRUCTURAL identification across sectors.
NET TYPING: [E] the three computed gaps + the field-facet arithmetic; [C] the cross-sector
identification + the meta-theorem (a synthesis/interpretation, not a new mechanism).
A synthesis module (like v303/v337/v353), citing the per-sector results. Python (sympy)."""
import sympy as sp
from tfpt_constants import check, summary, reset, g_car, N_fam
x = sp.symbols("x")
PHI = (1 + sp.sqrt(5)) / 2
Z2 = 2
EDGES = [(0, 1), (1, 2), (2, 3), (3, 4), (4, 5), (5, 6), (6, 7), (5, 8)]
MARKS = [1, 2, 3, 4, 5, 6, 4, 2, 3]
def _adjacency():
A = sp.zeros(9, 9)
for i, j in EDGES:
A[i, j] = A[j, i] = 1
return A
def run():
reset()
print("v383 DYNAMICS.UNIVERSAL.01: the universal spectral-gap / Perron-Frobenius principle")
# 1. flavor transfer: unique Perron leading + positive gap (computed)
cusp = [sp.Rational(0), sp.Rational(1, 3), sp.Rational(2, 3)]
spec_T = sorted(((1 - w) ** 6 for w in cusp), reverse=True) # {1,(2/3)^6,(1/3)^6}
gap_flavor = -sp.log(spec_T[1])
check("FLAVOR TRANSFER [E]: spectrum {1,(2/3)^6,(1/3)^6} = %s; leading 1 is simple "
"(unique Perron attractor) and the gap Delta = -log(2/3)^6 = 6 log(3/2) > 0 "
"(v56/v82/v240)" % ", ".join(str(s) for s in spec_T),
spec_T[0] == 1 and spec_T.count(1) == 1
and sp.simplify(gap_flavor - 6 * sp.log(sp.Rational(3, 2))) == 0 and gap_flavor > 0)
# 2. discrete compiler: affine-E8 adjacency Perron 2 (marks) + subleading phi (computed)
A = _adjacency()
perron_ok = list(A * sp.Matrix(MARKS)) == [2 * m for m in MARKS]
eigs = [sp.nsimplify(v) for v in A.eigenvals().keys()]
subleading = sorted((v for v in eigs if v != 2), key=lambda v: -float(v))[0]
gap_disc = sp.simplify(2 - subleading)
check("DISCRETE COMPILER [E]: affine-E8 adjacency Perron eigenvalue 2 (eigenvector = "
"Kac marks, v312/v313), subleading 2cos(pi/5)=phi; spectral gap 2 - phi = 1/phi^2 "
"> 0 (the discrete-side gap)",
perron_ok and sp.simplify(subleading - PHI) == 0
and sp.simplify(gap_disc - 1 / PHI ** 2) == 0 and float(gap_disc) > 0)
# 3. decoupling margin (computed)
margin = 6 * sp.log(sp.Rational(3, 2)) - sp.Rational(31, 4) / sp.pi ** 2
check("DECOUPLING MARGIN [E]: Delta_eff = 6 log(3/2) - 31/(4 pi^2) = %.4f > 0 "
"(v76/v337) -- the gap that makes every readout independent of the ambient measure"
% float(margin), float(margin) > 0 and abs(float(margin) - 1.648) < 0.01)
# 4. two number-field facets (the discrete/dynamic split, v314)
rate = sp.Rational(Z2, N_fam) ** (2 * N_fam) # (2/3)^6 in Q
h_E8 = Z2 * N_fam * g_car
check("TWO FIELD FACETS [E] (v314): the discrete gap is golden phi in Q(sqrt5) (the "
"g_car=5 carrier facet, static), the dynamic gap (2/3)^6 = %s in Q (the N_fam=3 "
"family facet); prime-5 and prime-3 facets of the order-30 Coxeter clock "
"30 = 2*3*5 = h(E8) -- a factorisation, NOT a forced equality"
% rate,
sp.minimal_polynomial(PHI, x) == x ** 2 - x - 1 # phi in Q(sqrt5)
and rate == sp.Rational(64, 729) and rate.is_rational
and h_E8 == 30 == Z2 * N_fam * g_car)
# 5. the other sectors are the same structure (cited)
check("OTHER SECTORS = SAME STRUCTURE [C] (cited): gravity = the delta S=0 entanglement "
"EQUILIBRIUM fixed point (v358/v359); QG measure = a gapped one-loop Gaussian "
"SADDLE (v365); boundary QFT = the stable isolated holomorphic c=8 RG fixed point "
"(v157/v158); all-order S-matrix = the adiabatic limit to the interacting fixed "
"point (v381); recovery = the Petz fixed point at (2/3)^6 (v221); F_transfer = "
"four gapped relaxations to unique attractors (v303); tau=i = the mark-equilibration "
"attractor (v333)", True)
# 6. the meta-theorem
check("META-THEOREM [C]: each sector is gapped => unique attractor (Perron-Frobenius / "
"contraction / H-theorem / saddle) => parameter-free; so 'parameter-freeness is a "
"theorem' (v56, bootstrap) is ONE spectral-gap statement wearing many hats, "
"theory-wide -- extends v303 from F_transfer to the whole theory", True)
# 7. anti-numerology
check("ANTI-NUMEROLOGY [E]: no new number -- the gaps are the established 6 log(3/2), "
"phi, 1.648; the content is the STRUCTURAL identification across sectors, not a fit",
True)
return summary("v383 DYNAMICS.UNIVERSAL.01: every TFPT sector is a gapped operator with a unique "
"leading attractor and a spectral gap => parameter-free. [E] three computed gaps "
"(flavor 6 log(3/2); discrete 2-phi=1/phi^2; decoupling 1.648) + the two number-field "
"facets (golden phi/Q(sqrt5)=carrier-5 static, (2/3)^6/Q=family-3 dynamic; order-30 "
"Coxeter clock, v314); [C] the cross-sector identification (gravity equilibrium v358/v359, "
"QG saddle v365, RG fixed point v157/v158, EG adiabatic v381, recovery v221, F_transfer "
"v303) + the meta-theorem 'parameter-freeness = spectral gap, theory-wide' (extends v303)")
if __name__ == "__main__":
raise SystemExit(1 if run() else 0)
Recorded source fingerprint
b91230af4915e41bef8ecfab5fefe1f8386ae8182e6a9954b433e5cbcb2b2c07
Paper sections that cite this module
The module’s catalogue entry retains all 19 section references.
What this source index covers
The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.