The Conductor of the SIC-POVM Moduli Field: A Cyclic Structure Across Arithmetic, Logic, and Machine
Description
The squared magnitudes $N_k = |\psi_k|^2$ of a SIC-POVM fiducial vector in dimension $d$ generate an abelian extension of the real quadratic field $F_d = \mathbb{Q}(\sqrt{(d+1)(d-3)})$. This paper establishes that the conductor of this moduli field is the arithmetic expression of a single cyclic structure that also manifests as the Belnap trilattice in logic and as the self-hosting grammar of the IMASM machine substrate.
At $d=2048$, the conductor collapses to the principal ideal $(16^3)\infty_1$. This is not a numerical coincidence. The sixteen states and three orderings of the trilattice, the $(16,3)$ torus knot on the horn torus, and the $16^3$ carrier of the IMASM native alphabet are all expressions of the same invariant. The moduli field is the ray class field at $\mathfrak{f}_d = \mathfrak{p}_2^{v_2(d)+1} \prod_{\mathfrak{p}\mid p, \, p\mid d} \mathfrak{p} \cdot \infty_1$, taken modulo the class group of $F_d$, with exactly one infinite place ramified. At $d=16$, the $\sigma$-coinvariant count settles that the class group is not carried by the moduli; at $d=2048$ this yields degree $2^{21}$ over $F_d$. The calibration dimensions $d=4,8,12$ are cross-sections where this structure becomes visible through exact fiducials. The Lean~4 formalization discharges the tower data to zero axioms, and the IMASM-native Replicating Code demonstrates the same fixed-point closure operationally: the grammar reads itself. The conductor, the trilattice, and the machine are one object.
Notes
Files
sic_moduli_conductor.pdf
Additional details
Related works
- Is supplemented by
- Software: https://github.com/umpolungfish/p4rakernel (URL)
- Software: https://github.com/umpolungfish/momonad_os (URL)
Software
- Repository URL
- https://github.com/umpolungfish/p4rakernel
- Programming language
- Lean
References
- G.\ Zauner, Quantendesigns: Grundz\"uge einer nichtkommutativen Designtheorie, Ph.D.\ thesis, Universit\"at Wien, 1999.
- D.\ M.\ Appleby, H.\ Yadsan-Appleby, and G.\ Zauner, Galois automorphisms of a symmetric measurement, Quantum Inf.\ Comput.\ 13 (2013), 672--720.
- M.\ Appleby, S.\ Flammia, G.\ McConnell, and J.\ Yard, SICs and algebraic number theory, Found.\ Phys.\ 47 (2017), 1042--1059.
- M.\ Appleby, S.\ Flammia, G.\ McConnell, and J.\ Yard, Generating ray class fields of real quadratic fields via complex equiangular lines, Acta Arith.\ 192 (2020), 211--233.
- N.\ D.\ Belnap, A useful four-valued logic, in J.\ M.\ Dunn and G.\ Epstein (eds.), Modern Uses of Multiple-Valued Logic, Reidel, 1977, 5--37.
- Y.\ Shramko and H.\ Wansing, Some useful 16-valued logics: how a computer network should think, J.\ Philos.\ Logic 34 (2005), 121--153.
- The PARI Group, PARI/GP version 2.13, Univ.\ Bordeaux, 2021, https://pari.math.u-bordeaux.fr/.
- H.\ T.\ Larson, Catch a Rising Problem \ and Never Ever Let it Go, IRE Trans.\ Eng.\ Manag.\ 8(4) (1961), 173--174.