The Schur Square Closes the Tower: 650 as the Second Moment of the 2x3 Block Set

Engineering notes

Engineering notes will be added by the aipentium editorial team.

Chinese explanation / 中文解读

中文解读待补充：本站会优先为大语言模型、生成式AI、ChatGPT相关技术、计算机视觉、深度学习等高价值论文补充中文说明。

Original abstract

Description The complexified finite algebra of the spectral construction of the Standard Model, taken at ranks (Nw, Nc) = (2, 3), has endomorphism algebra M_6(C) and a canonical four-block decomposition of dimensions (1, 3, 8, 24), indexed by the divisors of 6 and given by the Jordan totient J_2. The second moment of that block set, 1^2 + 3^2 + 8^2 + 24^2 = 650, is the subject of this paper. The number is first identified operator-algebraically: 650 is the dimension of the commutant of the rate operator inside End(End V) = M_36(C), so by the bicommutant theorem it is a fixed point of the construction that produces it. Four exact statements are proved. The midpoint theorem: 2*650 = 1296 + 4, so the commutant sits at the exact arithmetic mean of the ambient algebra and its own commutant; the defect reduces identically to (ab - a - b)^2 - (6ab + 2(a + b) + 3) with a = Nw^2 - 1 and b = Nc^2 - 1, a size lemma forces ab <= 69, and the seed is the unique nondegenerate solution. The pronic closure: 650 = 25 * 26 = e1^2 (e1^2 + 1) where e1 = Nw + Nc, with a proof by case split on Nw, and the root 25 admits three coincident descriptions — the lag squared, the mixed block plus one, and the square of the Coxeter number of A_4. The growth law: the pronic recurrence b -> b(b+1) has increment b^2, so each rung of the tower adds exactly the endomorphism dimension already standing, and the third increment is 36 = dim End V. The pyramid: 650 = P(12), the square pyramid of height 12 = Nw^2 + Nc^2 - 1, and for consecutive ranks that equality forces the Gaussian norm to be exactly 13; among square pyramidal numbers there are exactly three positive pronic values, 30, 506 and 650, with 650 the largest, and finiteness follows from Siegel's theorem applied to 3y^2 = 4n^3 + 6n^2 + 2n + 3. The Gaussian arithmetic is the mechanism. Because the second moment factors as (1 + a^2)(1 + b^2), it is a norm from Z[i] by construction, and at the seed 650 = N((1 + i)(2 + i)^2 (2 + 3i)) = 2 * 25 * 13, in which the seed's own Gaussian integer 2 + 3i appears explicitly. Its norm 13 is the same prime that terminates the pronic tower, since the fourth look-ahead value is 1807 = 13 * 139 while the earlier values 3, 7 and 43 are Heegner numbers. The prime that stops the tower is a factor of the value the tower stops at. An evidential ledger separates proved identities from structural correspondences and from exact integer facts recorded but not banked as evidence. The reading of the split 650 = 576 + 74 in physical terms is graded as a correspondence awaiting a derivation, and the standard cautions against reading 1, 3, 8, 24 as a particle content are stated explicitly. Machine-checked formalisations of the core arithmetic in Lean and Agda, two independent verification scripts, and a self-contained interactive demonstration accompany the text. A closing appendix names the foundational deposits this result rests on, with DOIs and the minimal load order, stating for each exactly what is taken from it. Part of the Crystal Topos programme. Builds on the Discrete Core, the MERA Scaling Spectrum, the Type II-infinity Core, the Triangular Duality, and the Eight Towers and the Foliated Grid. Keywords Wedderburn-Artin decomposition; commutant dimension; bicommutant theorem; second moment; Jordan totient; pronic number; Sylvester's sequence; square pyramidal number; Gaussian integers; sum of two squares; Heegner numbers; class number one; Diophantine uniqueness; Siegel's theorem; noncommutative geometry; spectral triple; finite spectral algebra; Coxeter number; fusion category; Frobenius-Perron dimension; Crystal Topos; Lean; Agda The mathematics of this paper sits on top of the four foundational Crystal Topos papers (algebra 1–4 in the program: Discrete Core, MERA Scaling Spectrum, Type II∞ Core, and Triangular Duality). A reader who wants to use a large language model (Claude, ChatGPT, Gemini, or similar) as a study companion is strongly advised to load the foundation into the model before engaging with the present paper, but to do so as four separate uploads in four separate turns rather than as a single bundle. The reason is structural: every LLM has a finite context window and an internal attention budget, and when four dense formal papers arrive in a single message the model compresses each one into a thin summary in order to fit them all at once — the very algebraic detail you wanted it to absorb is exactly what gets discarded. Uploading them one at a time, with a short prompt in between each like "Please confirm you have read this paper and can summarize its main theorem and the Wedderburn projectors it defines" before sending the next, forces the model to process each paper at full fidelity and to commit its specific notation, claims, and proofs to the working context. Recommended order matches the foundational numbering: Discrete Core — it establishes the algebra A_F = ℂ ⊕ M₂(ℂ) ⊕ M₃(ℂ) and the Pontryagin dual that everything else uses. MERA Scaling Spectrum — it gives the tensor-network realization and the eigenvalue set {1, 1/2, 1/3, 1/6} that recurs in every later paper. Type II∞ Core — it identifies the von Neumann factor type and the Sd-invariant ⟨2, 3⟩. Triangular Duality — it ties the previous three together as one categorical object. After all four have been ingested and acknowledged, upload the present paper as the fifth turn. The model will now read this paper against the foundation rather than in isolation, and questions about why a particular channel value or Wedderburn projector takes the form it does will receive answers grounded in the actual algebraic construction rather than reconstructed by pattern-matching. Copyright © 2026 Daland Montgomery. This work is licensed under CC BY-SA 4.0. COPYLEFT NOTICE: Any work, derivation, or industrial application incorporating this material must be distributed under the same Open Source license. Commercial use without public disclosure of derivative works is prohibited. For a private, proprietary license (exempt from ShareAlike requirements), contact: quidbit@icloud.com Software Implementation: The formulas and constants derived in this work are implemented in the CrystalAgent engine, available under the AGPL-3.0 license at: https://github.com/CrystalToe/CrystalAgent.

Links and sources

Comments