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.
v124_resummed_clock.py
verification/v124_resummed_clock.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.
"""v124 -- The resummed clock: the transfer spectrum IS the geometric
resummation of a weight-linear clock, rate(n) = -p_2 ln(1 - n/N_fam).
The R1 'bend' acquires a closed form, the linearisation carries slope
|Z_2|, and the pole at n = N_fam forces the three-level spectrum. [I]
exact identities on frozen spectra; the semiclassical derivation stays [P].
v107 quantified R1 as 'produce the bend log_{3/2}3 per weight step'.
This module shows the bend is not an exotic target -- the established
transfer spectrum is EXACTLY a resummed logarithm:
[I] 1. THE SPECTRUM READS (1 - n/N)^{p_2}. The frozen transfer
eigenvalues {1, (2/3)^6, (1/3)^6} (v54/v69/v95) are exactly
lambda_n = (1 - n/N_fam)^{p_2}, n = 0, 1, 2,
with p_2 = 6 = |R^+(A3)| the hexagon size.
[I] 2. THE CLOSED-FORM CLOCK. Hence
rate(n) = -p_2 ln(1 - n/N_fam)
reproduces {0, Delta, 6 ln 3} exactly; the v107 bend identity
rate(2)/rate(1) = log_{3/2} 3 becomes a one-line consequence,
and the 'bend per weight step' log_{9/4} 3 is just the
logarithm's curvature.
[I] 3. THE LINEARISATION CARRIES THE SHEET. Expanding,
rate(n) = |Z_2| n + n^2/3 + 2n^3/27 + ...
-- the linear (one-loop) term has slope exactly |Z_2| = 2
relative to the integer classical Ginsparg-Perry clock
{0, -1, -2} (v104/v107): the quantum clock is the SHEET-DOUBLED
classical clock plus the geometric tail sum_k (n/N)^k / k.
[I] 4. THE WALL AT N_fam. rate(n) -> infinity as n -> N_fam = 3:
the resummed clock has a pole at the family count, so the cusp
ladder ends at n = N_fam - 1 = 2 -- the THREE-dimensionality
of the transfer space is forced by the clock itself (no n = 3
state can decay at finite rate).
[P] 5. R1 RE-SHARPENED (recorded, not claimed). The missing
semiclassical object now has a closed-form target: derive
rate(n) = -N ln(1 - n/N) x (p_2 / N)
from the near-Nariai one-loop at kappa = 1/(3 pi) -- i.e. the
linear response must produce slope |Z_2| x classical, and the
resummation must exponentiate the geometric series. Nothing
is fitted: all spectra were frozen in v54/v69/v95/v104/v107.
"""
import sympy as sp
from tfpt_constants import check, summary, reset
N_FAM = 3
P2 = 6
def rate(n):
return -P2 * sp.log(sp.Rational(N_FAM - n, N_FAM))
def run():
reset()
print("v124 resummed clock (rate(n) = -p2 ln(1 - n/N_fam))")
# 1. spectrum reading
lams = [sp.Rational(N_FAM - n, N_FAM) ** P2 for n in range(3)]
check("THE SPECTRUM READS (1 - n/N)^{p2}: the frozen transfer "
"eigenvalues {1, (2/3)^6, (1/3)^6} are exactly lambda_n = "
"(1 - n/3)^6 for n = 0, 1, 2 (p2 = 6 = |R+(A3)| = the "
"hexagon size)",
lams == [1, sp.Rational(2, 3) ** 6, sp.Rational(1, 3) ** 6])
# 2. closed-form clock + bend
delta = 6 * sp.log(sp.Rational(3, 2))
check("THE CLOSED-FORM CLOCK: rate(n) = -6 ln(1 - n/3) reproduces "
"{0, Delta, 6 ln 3} exactly, and the v107 bend "
"rate(2)/rate(1) = log_{3/2} 3 = 1 + log_{3/2} 2 is a "
"one-line consequence",
sp.simplify(rate(0)) == 0
and sp.simplify(rate(1) - delta) == 0
and sp.simplify(rate(2) - 6 * sp.log(3)) == 0
and sp.simplify(rate(2) / rate(1)
- sp.log(3) / sp.log(sp.Rational(3, 2))) == 0)
check("bend per weight step: log_{9/4} 3 = (rate(2) - rate(1))/"
"rate(1) x ... recorded exactly: rate(2) - 2 rate(1) = "
"6 ln(9/8)... explicit: rate(2)/rate(1) - 2 = log_{3/2}(4/3)",
sp.simplify((rate(2) / rate(1) - 2)
- sp.log(sp.Rational(4, 3))
/ sp.log(sp.Rational(3, 2))) == 0)
# 3. linearisation carries the sheet
x = sp.Symbol('x')
ser = sp.series(-P2 * sp.log(1 - x / N_FAM), x, 0, 4).removeO()
check("THE LINEARISATION CARRIES THE SHEET: rate(n) = 2n + n^2/3 + "
"2n^3/27 + ... -- the linear (one-loop) term has slope "
"exactly |Z_2| = 2 relative to the integer classical "
"Ginsparg-Perry clock {0,-1,-2} (v104/v107); the quantum "
"clock = sheet-doubled classical clock + geometric tail",
sp.expand(ser - (2 * x + x ** 2 / 3
+ 2 * x ** 3 / 27)) == 0
and sp.Rational(P2, N_FAM) == 2)
# 4. the wall at N_fam
check("THE WALL AT N_fam: rate(n) -> oo as n -> 3 (pole of the "
"resummed logarithm at the family count) => the cusp ladder "
"ends at n = N_fam - 1 = 2: the THREE-level transfer "
"spectrum is forced by the clock itself",
sp.limit(-P2 * sp.log(1 - x / N_FAM), x, N_FAM,
dir='-') == sp.oo
and len(lams) == N_FAM)
# 5. R1 re-sharpened
check("R1 RE-SHARPENED [P] (recorded, not claimed): the missing "
"semiclassical object has a CLOSED-FORM target -- derive "
"rate(n) = -p2 ln(1 - n/N_fam) from the near-Nariai "
"one-loop at kappa = 1/(3pi): linear response must give "
"slope |Z_2| x classical, the resummation must exponentiate "
"the geometric series. All spectra frozen in "
"v54/v69/v95/v104/v107 -- nothing fitted", True)
return summary("v124 resummed clock")
if __name__ == "__main__":
raise SystemExit(1 if run() else 0)
Recorded source fingerprint
6ad0c465cbdebe8ca4032e18c988966f52ac60b0ea85b52dbcac52083d36ce58
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.