GHU Lab · General laboratory guide
AN ENGLISH STORY BETWEEN PHYSICS AND MATHEMATICSBetween physics and mathematics
Can changing one boundary open a mass gap? Can three two-component functions be independent? Follow the reasoning on an animated whiteboard, then check it in the laboratory.
11:34 · 29 chapters · 1920 × 1080 · English captions embedded · Synthetic English narration: Microsoft Zira
Open the MP4 directlyDownload videoProofs and mathematical scopeCertificates and checker on GitHubSubtitlesTranscript
Try the English laboratory demo · Tool guide
Follow the explanations
Transcript
What the evidence supports
The companion includes ordinary proofs and 113 executable checks: rational root brackets, a positive Gram bound, all quadratic trace coefficients and conditional congruences, alongside independent numerical comparisons. These are scoped results, not a complete physical model or a proof-assistant formalization. Each example retains its assumptions.
Primary sources and documentation
- Boundary tools: equations, assumptions and API
- Fujimoto et al. — 6d Dirac fermion on a rectangle — section 3.1.2, equations 3.32–3.43, footnote 10; appendix B; illustrative profile ansatz, not a full-domain theorem
- Asaka, Buchmüller, Covi — Bulk and brane anomalies in six dimensions — equations 41–43, 71–72; appendix D
- Dobrescu, Poppitz — Number of fermion generations derived from anomaly cancellation — equations 3–4; identical-assignment assumption
- Lee, Tachikawa — Some comments on 6d global gauge anomalies — sections 2.6–2.7 and 3.3; integral tensor quantization