Published August 17, 2026 | Version 1.0

The Conductor of the SIC-POVM Moduli Field: A Cyclic Structure Across Arithmetic, Logic, and Machine

Authors/Creators

  • 1. Independent Researcher

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

Frozen crystalline snapshot: branch crystalline/manuscripts3-2026-07-07, tag crystalline-manuscripts3-v1; p4rakernel commit eea2c0c. Manuscript trio frozen in ig-docs on the same branch and tag. Acknowledgements: Thanks to Harry T. Larson for imparting the importance of catching rising problems and never letting them go~. The conductor was found by refusing to accept a tool's refusal: when bnrstark declined the coordinate field for nonzero $r_2$, the question became which field the moduli actually generate, and that question had an answer. %────────────────────────────────────────────────────────────────────────────── Publisher: umpolungfish. License: LUNLICENSE (other-open on Zenodo).

Files

sic_moduli_conductor.pdf

Files (326.2 kB)

Name Size
md5:717f9a6aa03e95906c35c1c35565c55f
231.1 kB Preview Download
md5:89fa6ce4852400d99387d0c95039e584
95.1 kB Preview Download

Additional details

Related works

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.