Verification

verify_het_sg.py

Every matrix and operator in the paper is built from the graph geometry and diffed against the manuscript; every derived number is recomputed and diffed against the reported value, 242 checks in all.

Download verify_het_sg.py

What the script does

For every matrix and operator defined in the paper it builds the graph geometry of the cube \(Q_3\) and the prism \(Q_4\) with NetworkX (networkx.hypercube_graph), applies the paper's stated rule to form each operator, and diffs the result entrywise against the value printed in the manuscript. It then recomputes every derived number from those objects and diffs each against the reported value — 242 checks in all.

Objects covered include the cube and prism adjacency and Laplacian A3,A4,L0,L1, the entanglement matrix Ment, the disentangler D8, the incidence B, Iz, DB, the composite C, the deformed bond action M\(Q_3\) and its inverse sub-blocks, and the weighted Laplacian Lω.

The derived numbers

The residual capacity \(\xi^{*}=1/36\), the 17/16 identity, \(g^{2}=17/72\), the counts \(c_{I}=4\) and \(c_{C}=2\), the couplings through the full M\(Q_3\) inverse giving the bare \(g_{L}^{2}=0.253173\) and \(g_{Y}^{2}=0.229006\) and the bond-action \(g_{L}^{2}=0.255268\) and \(g_{Y}^{2}=0.227406\), the gravitational constant GN (0.906033 bare to 0.999057 ℓP2), the descent \(\exp(-1/\xi^{*})=\exp(-36)\), the vacuum expectation value v=246.9 GeV, the string tension \(\sqrt{\sigma}=422.4\) MeV, and the scalar glueball mass \(m_{0^{++}}=1732.34\) MeV.

How to run

Requirements: Python 3.8+ with NumPy and NetworkX. Run python3 verify_het_sg.py; the final line reads

Expected output
RESULT:  242 PASSED,  0 FAILED

Scope

The property checks — eigenvalues, ranks, Betti numbers, positive-definiteness — require no answer key. The diff step verifies internal consistency: that the NetworkX geometry with the paper's rules reproduces the matrices in the text, and that those reproduce every derived number. It does not verify that the underlying physics is correct.