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.
v174_seam_fock_readings.py
verification/v174_seam_fock_readings.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.
"""v174 -- Seam Fock-space readings: the CAR cone compression, the Witten-index
origin of the quark Plucker norm 11, and the Affleck-Ludwig g-theorem rigidity.
Three exact audit bridges from the problem_b note that give already-used objects a
sharper QFT/topological reading. None is new physics; each is an exact identity
plus an honest reading.
[I] 1. CAR CONE COMPRESSION ("the QFT cone is large, but not independent").
The even CAR algebra of the 16 seam Majoranas has
dim Lambda^even(R^16) = 2^15 = 32768 directions, with big
connected-cumulant blocks C(16,4)=1820, C(16,6)=8008, C(16,8)=12870.
But a quasi-free Bogoliubov transport is the second quantisation
Gamma(t) of a 16-dim one-particle operator, Gamma(t)|_{Lambda^m}=Lambda^m(t),
so the whole cone is generated by the 16-dim one-particle spectrum --
compression 2^15/16 = 2048 = 2^11. (The explicit count behind v161.)
[I] 2. WITTEN INDEX = THE PLUCKER NORM 11. The mu4-corner fermions span a
Fock space of dimension 2^{|mu4|} = 2^4 = 16 = dim S^+. Quadratic
Boundary Locality (QBL, degree <= 2) truncates it to
sum_{k<=2} C(4,k) = 1+4+6 = 11 = the Plucker norm ||Pl(K)||_1 (v42); the
discarded high-degree complement is C(4,3)+C(4,4) = 5 = g_car, so
11 = dim S^+ - g_car. Hence the quark ratio
c_u/c_d = g_car * 11 / (N_fam^2 * Delta_Q) = 55/117 reads the dimension of
the QBL-protected boundary state space (a topological Witten index), not a
free integer.
[I]/[L] 3. AFFLECK-LUDWIG g-THEOREM RIGIDITY. The UV carrier data have central
charge c_UV = c((D5)_1) + c((A3)_1) = 5+3 = 8, and the IR seam net is
(E8)_1 with c_IR = 8, so Delta c = 0 along the seam boundary RG flow. By
the c-/g-theorem a flow needs Delta c > 0 to dissipate; Delta c = 0 forces
an exact isometry -- no relevant or marginal perturbation can turn on.
This is the boundary-entropy form of the v157/v158 rigid-fixed-point
statement: the seam vacuum is frozen by central-charge conservation.
Status [I]/[L] (exact integer/central-charge identities); the readings are audit.
Exact; mirrored on the Wolfram path.
"""
import math
from tfpt_constants import check, summary, reset, g_car, N_fam, dim_Splus
DELTA_Q = 13 # Delta_Q = p0 + p3 = N_fam + A_Lambda
def run():
reset()
print("v174 seam Fock-space readings (CAR cone, Witten index 11, g-theorem)")
# 1. CAR cone compression
cone = 2**15
blocks = (math.comb(16, 4), math.comb(16, 6), math.comb(16, 8))
comp = cone // 16
check("CAR CONE COMPRESSION: dim Lambda^even(R^16) = 2^15 = 32768 with "
"cumulant blocks C(16,4)=1820, C(16,6)=8008, C(16,8)=12870; quasi-free "
"Bogoliubov Gamma(t)|_Lambda^m = Lambda^m(t) reduces the whole cone to a "
"16-dim one-particle problem -- compression 2^15/16 = 2048 = 2^11 (the "
"explicit form of v161)",
cone == 32768 and blocks == (1820, 8008, 12870)
and comp == 2048 == 2**11, exact=True)
# 2. Witten index = Plucker norm 11
full = 2**4
trunc = sum(math.comb(4, k) for k in range(3)) # 1+4+6 = 11
discarded = sum(math.comb(4, k) for k in range(3, 5)) # 4+1 = 5
cu_cd = (g_car * trunc, N_fam**2 * DELTA_Q) # (55, 117)
check("WITTEN INDEX = PLUCKER NORM 11: the 4 mu4-corner fermions have a "
"2^4 = 16 = dim S^+ Fock space; QBL (degree <= 2) keeps "
"sum_{k<=2} C(4,k) = 1+4+6 = 11 = ||Pl(K)||_1, discards "
"C(4,3)+C(4,4) = 5 = g_car, so 11 = dim S^+ - g_car; the quark ratio "
"c_u/c_d = g_car*11/(N_fam^2*Delta_Q) = 55/117 reads this topological "
"state-space dimension",
full == 16 == dim_Splus and trunc == 11 and discarded == g_car == 5
and trunc + discarded == dim_Splus
and cu_cd == (55, 117), exact=True)
# 3. Affleck-Ludwig g-theorem rigidity
c_uv = 5 + 3
c_ir = 8 # (E8)_1
check("AFFLECK-LUDWIG g-THEOREM RIGIDITY: c_UV = c((D5)1)+c((A3)1) = 5+3 = 8 "
"= c_IR((E8)1), so Delta c = 0 along the seam boundary RG flow; a flow "
"needs Delta c > 0 to dissipate, so Delta c = 0 forces an exact isometry "
"-- no relevant/marginal perturbation can turn on (the boundary-entropy "
"form of the v157/v158 rigid fixed point)",
c_uv == 8 and c_ir == 8 and (c_uv - c_ir) == 0, exact=True)
return summary("v174 seam Fock-space readings")
if __name__ == "__main__":
raise SystemExit(1 if run() else 0)
Recorded source fingerprint
0890cda9da4a02287de37fbd809dce0f388877ae79854d5a0f12fc48b511b063
Paper sections that cite this module
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.