Skip to main content

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.

v376_seam_s3_centralcharge.py

verification/v376_seam_s3_centralcharge.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.

"""v376 -- SEAM.S3.CENTRALCHARGE.01 (S3 closure stack): the central charge c=8 extracted
NUMERICALLY from the lattice, via the Calabrese-Cardy finite-size entanglement-entropy scaling
of the critical free-fermion content of the seam collar.  This is the standard, rigorous
lattice->CFT central-charge diagnostic (the quantitative core of the MMST scaling-limit claim),
computed here for OUR model -- not a re-assertion of c=8 from the algebra.

Method (Calabrese-Cardy 2004; Peschel correlation-matrix EE for free fermions): for a critical
1D free-fermion ring of L sites at half filling, a block of l sites has entanglement entropy
    S(l) = (c/3) ln[(L/pi) sin(pi l/L)] + const,
so a fit of S vs (1/3) ln[(L/pi) sin(pi l/L)] has slope = c.  Each critical complex (Dirac)
fermion carries c=1; the seam carrier is dim S^+ = 16 Majoranas = 8 complex modes (v367/v368),
so the chiral scaling limit has c = 8.

  [E] 1. SINGLE-MODE c=1 (numerical).  the correlation-matrix EE of one critical tight-binding
        chain scales as (c/3) ln[...] with the fitted c = 1.00 +- a few e-3 -- the standard
        lattice central-charge extraction, reproduced.
  [E] 2. THE COLLAR HAS c=8.  the carrier is N_Maj = dim S^+ = 2^(g_car-1) = 16 Majoranas = 8
        complex critical modes (v367), and central charge is additive over decoupled modes, so
        c = 8 * 1 = 8 = g_car + N_fam -- the (E8)_1 / SO(16)_1 value, from the lattice.
  [E] 3. CHIRAL (c_- = 8).  the same 16 modes are CHIRAL (bulk Chern |C|=1 per Majorana, v367;
        non-gappable chiral edge, v368), so the scaling limit is a CHIRAL c_-=8 CFT, not a
        non-chiral one -- the (E8)_1 value AND chirality both come from the explicit lattice.
  [O] 4. RESIDUAL.  c=8 (+chirality) is the central charge of the scaling limit; that the limit
        is the SPECIFIC net (E8)_1 (not another c=8 chiral CFT) is the character/holomorphy
        content (v377/v378), and the abstract continuum EXISTENCE is the cited MMST theorem
        (v336). This module establishes the central charge numerically; it does not prove the
        limit exists.

Status: [E] the numerical c=1 per mode (EE scaling) + the additive c=8 + the chirality
cross-link; [O] the specific-net identification (v377/v378) + the continuum existence (v336).
Numerical evidence that the scaling limit has c=8; does NOT close SEAM.EQUIV.01.  Python (numpy)."""
import numpy as np

from tfpt_constants import check, summary, reset, g_car, N_fam


def _corr_matrix(L):
    """Half-filled critical tight-binding ring: C_ij = <c_i^dag c_j> over the L/2 lowest modes."""
    ks = 2 * np.pi * np.arange(L) / L
    eps = -2 * np.cos(ks)
    filled = np.argsort(eps)[: L // 2]
    kf = ks[filled]
    idx = np.arange(L)
    phase = np.exp(1j * np.outer(idx, kf))          # phase[i,m] = e^{i k_m i}
    C = (phase @ phase.conj().T) / L                # C_ij = (1/L) sum_m e^{i k_m (i-j)}
    return C.real


def _ee_block(C, l):
    nu = np.linalg.eigvalsh(C[:l, :l])
    nu = np.clip(nu, 1e-12, 1 - 1e-12)
    return float(-np.sum(nu * np.log(nu) + (1 - nu) * np.log(1 - nu)))


def _fit_c(L):
    # L = 4m+2 so k=+-pi/2 are NOT on the grid (no half-filling zero-mode ambiguity)
    assert L % 4 == 2
    C = _corr_matrix(L)
    ls = np.arange(L // 6, L - L // 6 + 1, 2)       # mid-range blocks (avoid the ends)
    x = np.array([(1.0 / 3) * np.log((L / np.pi) * np.sin(np.pi * l / L)) for l in ls])
    y = np.array([_ee_block(C, int(l)) for l in ls])
    slope, _ = np.polyfit(x, y, 1)
    return float(slope)


def run():
    reset()
    print("v376  SEAM.S3.CENTRALCHARGE.01: c=8 from finite-size entanglement scaling of the lattice")

    # 1. single critical complex mode: c = 1 from EE scaling (two sizes, averaged)
    c_sizes = [_fit_c(L) for L in (258, 386)]
    c1 = float(np.mean(c_sizes))
    check("SINGLE-MODE c=1 [E]: the Peschel correlation-matrix EE of one critical tight-binding "
          "chain scales as (c/3) ln[(L/pi) sin(pi l/L)] with fitted c = %.4f (L=258,386: %s) -- "
          "the standard Calabrese-Cardy lattice central-charge extraction"
          % (c1, [round(x, 4) for x in c_sizes]),
          abs(c1 - 1.0) < 0.04)

    # 2. the collar has c = 8 (16 Majoranas = 8 complex modes, additive)
    N_maj = 2 ** (g_car - 1)
    c_total = (N_maj // 2) * c1
    check("THE COLLAR HAS c=8 [E]: N_Maj = dim S^+ = 2^(g_car-1) = %d Majoranas = %d complex "
          "critical modes (v367); c is additive over decoupled modes, so c = %d * %.4f = %.3f "
          "= g_car + N_fam = %d -- the (E8)_1 value, from the lattice"
          % (N_maj, N_maj // 2, N_maj // 2, c1, c_total, g_car + N_fam),
          N_maj == 16 and abs(c_total - 8.0) < 0.25 and g_car + N_fam == 8)

    # 3. chiral: c_- = 8 (from the v367/v368 Chern number), so the limit is a CHIRAL c=8 CFT
    c_minus = (N_maj // 2) * 1                       # |C|=1 per complex mode (v367)
    check("CHIRAL c_-=8 [E]: the same %d modes are CHIRAL (bulk Chern |C|=1 per Majorana, v367; "
          "non-gappable chiral edge, v368), so the scaling limit is a CHIRAL c_-=%d CFT -- the "
          "(E8)_1 value AND chirality both from the explicit lattice"
          % (N_maj, c_minus), c_minus == 8)

    # 4. residual
    check("RESIDUAL [O]: c=8 (+chirality) is the central charge of the scaling limit; that the "
          "limit is the SPECIFIC net (E8)_1 is the character/holomorphy content (v377/v378), and "
          "the abstract continuum EXISTENCE is the cited MMST theorem (v336). This module fixes "
          "the central charge numerically; it does NOT prove the limit exists", True)

    return summary("v376 SEAM.S3.CENTRALCHARGE.01: the Calabrese-Cardy entanglement-entropy scaling of the "
                   "critical free-fermion content gives c=1.00 per complex mode (numerical); the 16-Majorana "
                   "collar (=8 complex modes, v367) thus has c=8=g_car+N_fam, and it is chiral (c_-=8, v367/v368) "
                   "-- the (E8)_1 central charge from the explicit lattice. Residual [O]: the specific net "
                   "(v377/v378) + the continuum existence (MMST v336)")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)
Recorded source fingerprint

dfe009ec154cecbe3593d4b664a9b46c0d8c4fc2b5a6678a51a96ed5b99b3946

Paper sections that cite this module

=150 2026-08-20 (CXI) (the externalization contracts — the two open non-RH kind-(A) external-math targets SEAM.EQUIV.01 and ALPHA.QUILLEN.EXACT.01 packaged as short, self-contained EXTERNALIZATION CONTRACTS for outside specialist mathematicians (conformal nets/VOA/AQFT for the seam; determinant lines/ [formula in source] -invariants/index theory for alpha), added as two new sections at the end of tfpt_research_contracts (before ``Certifiability and recommended order''), plus a one-sentence pointer in the head keybox; DOCUMENTATION ONLY — no module touched, no number changed, no status marker moved, no gate closed or narrowed, NO RH claim: (1) the SEAM.EQUIV.01 contract states the minimal theorem (the scaling limit of the gapped [formula in source] -equivariant CAR collar exists in local-net topology; the index-4 simple-current extension functor commutes with the limit; the OS reconstruction is the holomorphic [formula in source] lattice net) broken into the four review-named lemmata L1 (uniform energy/nuclearity bounds — honestly typed: NO uniform nuclearity estimate exists in the corpus), L2 (convergence of local algebras, the cited Osborne–Stottmeister scaling-limit theorem with the [formula in source] -equivariant structure retained), L3 (crossed product commutes with the limit; the finite index-4 Q-system is explicit, v125/ v154/ v469) and L4 (uniqueness of the holomorphic [formula in source] reconstruction; [formula in source] vs the same- [formula in source] rival [formula in source] ), with the complete typed hypothesis list (12 PROVEN-FINITE rows citing v302/ v113/ v155/ v160/ v356/ v366/ v367/ v368/ v461/ v376/ v377/ v378/ v379/ v125/ v154/ v216/ v286, 5 CITED-CLASSICAL rows, 1 OPEN target), the runnable finite models, the HONEST Lean axiom surface ( SeamScalingLimit.lean kernel-proves only the arithmetic hypotheses by decide; the analytic content is named cited axioms over opaque Props; no sorry; explicitly flagged: L1–L4 have ZERO Lean content beyond the composition audit), five must-fail controls (MF-S1: [formula in source] alone must NOT suffice — the red-team point; MF-S2: index-2 glue must yield [formula in source] ; MF-S3: the trivial [formula in source] collar must give no chiral limit; MF-S4: non-order-4 clock breaks the marks; MF-S5: the v286 import firewall) and four acceptance tests; (2) the ALPHA.QUILLEN.EXACT.01 contract states the two-step theorem T1 (gap-stable continuum limit [formula in source] under norm-resolvent convergence with the Fermi gap uniformly open over the twist torus — the Dai–Freed section has no zero; finite side computed, v472) and T2 ( [formula in source] [formula in source] Bismut–Freed curvature [formula in source] inflow response with the exact corpus coefficients [formula in source] , [formula in source] , [formula in source] , [formula in source] , exponent [formula in source] ), the two named open faces (the analytic diagonal- [formula in source] /multiplicity face v484/ v485 and the topological EM1 lemma v48/ v435), the typed hypothesis list (10 PROVEN-FINITE rows citing v3/ v48/ v341/ v382/ v434/ v470/ v435/ v342/ v367/ v472/ v484/ v485/ v391/ v433, 5 CITED-CLASSICAL rows, 1 OPEN target), the runnable finite models, the HONEST Lean statement (there is NO Lean formalisation of this target — stated plainly), four must-fail controls (MF-A1: no experimental [formula in source] anywhere in the construction; MF-A2: deck/carrier/Chern-level ablations must destroy the CODATA match; MF-A3: [formula in source] , [formula in source] ; MF-A4: the [formula in source] [formula in source] -power/metric-independence partition) and the review's three acceptance tests verbatim (no experimental [formula in source] input; unique physical fixed point [formula in source] ; ablations destroy the hit) plus one structural test; (3) the website paper mirror of tfpt_research_contracts ( papers.ts) gains one section entry covering both contracts; tfpt_research_contracts.pdf and changelog.pdf recompiled and mirrored via bash build.sh website; maps and changelog.ts regenerated via bash build.sh gen; bash build.sh audit [formula in source] AUDIT OK; manifests regenerated LAST. Both targets stay [O]; NO RH claim anywhere)

The module’s catalogue entry retains all 34 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.