pith. sign in

arxiv: 2407.08048 · v4 · pith:VLTCYOCDnew · submitted 2024-07-10 · 🧮 math.NT · math.MG· quant-ph

SIC-POVMs and orders of real quadratic fields

Gene S. Kopp , Jeffrey C. Lagarias This is my paper

Pith reviewed 2026-05-23 22:54 UTC · model grok-4.3

classification 🧮 math.NT math.MGquant-ph
keywords SIC-POVMWeyl-Heisenberg SICideal class monoidreal quadratic orderclass field theoryequiangular linesGalois multipletover-order
0
0 comments X

The pith

The number of known geometric equivalence classes of Weyl-Heisenberg SICs in dimension d equals the cardinality of the ideal class monoid of the real quadratic order of discriminant (d+1)(d-3) for 4 ≤ d ≤ 90.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a direct numerical match between the enumerated geometric classes of Weyl-Heisenberg SIC-POVMs and arithmetic invariants attached to real quadratic orders. For every dimension d from 4 through 90, the count of distinct classes coincides exactly with the size of the ideal class monoid of the order O_Δd where the discriminant is fixed by the formula Δd = (d+1)(d-3). The authors conjecture that the equality persists for all larger d and that Galois multiplets of SICs stand in one-to-one correspondence with over-orders of O_Δd. If the conjectures hold, the arithmetic data would determine both the number and the Galois orbits of inequivalent SICs, and would refine earlier predictions about the class fields containing the vector coordinates of the equiangular lines.

Core claim

For 4 ≤ d ≤ 90 the number of known geometric equivalence classes of Weyl-Heisenberg SICs equals the cardinality of the ideal class monoid of the real quadratic order O_Δd of discriminant Δd = (d+1)(d-3). The authors conjecture that this numerical equality extends to every d ≥ 4, that Galois multiplets of SICs correspond bijectively to over-orders O' of O_Δd with the multiplet size equal to the ring class number of O', and that the refined class fields generated by the SIC vector ratios are precisely the class fields attached to these orders via the class field theory of orders.

What carries the argument

The ideal class monoid of the real quadratic order O_Δd of discriminant Δd = (d+1)(d-3), whose cardinality equals the observed number of geometric equivalence classes of Weyl-Heisenberg SICs.

If this is right

  • The conjectured equality implies that more than one geometric equivalence class of Weyl-Heisenberg SICs exists for every d > 22.
  • Galois multiplets of SICs stand in one-to-one correspondence with over-orders O' of O_Δd, the size of each multiplet being the ring class number of O'.
  • The refined class fields attached to the over-orders form a partially ordered set under inclusion, with explicit non-strict inclusions characterized for all d < 500.
  • The class field generated by the ratios of SIC vector entries is the class field of the order O_Δd over Q(sqrt(Δd)).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A proof of the conjecture would supply an arithmetic construction or existence criterion for Weyl-Heisenberg SICs in every dimension.
  • The correspondence suggests that the ring class groups of these quadratic orders control the Galois action on the set of SICs.
  • Verification of the conjecture for a single new dimension beyond 90 would require an independent enumeration of SIC classes in that dimension.

Load-bearing premise

The existing enumerations of geometric equivalence classes of Weyl-Heisenberg SICs up to dimension 90 are complete and correctly classified.

What would settle it

Discovery of any dimension d between 4 and 90, or any d greater than 90, in which the number of geometric equivalence classes of Weyl-Heisenberg SICs differs from the cardinality of the ideal class monoid of the order with discriminant (d+1)(d-3).

Figures

Figures reproduced from arXiv: 2407.08048 by Gene S. Kopp, Jeffrey C. Lagarias.

Figure 5.1
Figure 5.1. Figure 5.1: Left side: For d = 35, over-orders of O1152, and their ring class numbers h = h∆0(f ′) 2 = [PITH_FULL_IMAGE:figures/full_fig_p022_5_1.png] view at source ↗
Figure 6.1
Figure 6.1. Figure 6.1: Left side: For d = 35, field inclusions of ray class fields E˜ 35,f′ [PITH_FULL_IMAGE:figures/full_fig_p026_6_1.png] view at source ↗
read the original abstract

This paper concerns SIC-POVMs and their relationship to class field theory. SIC-POVMs are generalized quantum measurements (POVMs) described by $d^2$ equiangular complex lines through the origin in $\mathbb{C}^d$. Weyl--Heisenberg SICs are those SIC-POVMs described by the orbit a single vector under a finite Weyl--Heisenberg group ${\rm WH}(d)$. We relate known data on the structure and classification of Weyl--Heisenberg SICs in low dimensions to arithmetic data attached to certain orders of real quadratic fields. For $4 \le d \le 90$, we show the number of known geometric equivalence classes of Weyl--Heisenberg SICs in dimension $d$ equals the cardinality of the ideal class monoid of the real quadratic order $\mathcal{O}_{\Delta_d}$ of discriminant $\Delta_d=(d+1)(d-3)$; we conjecture the equality extends to all $d \ge 4$. We prove that this conjecture implies the existence of more than one geometric equivalence class of Weyl--Heisenberg SICs for $d > 22$. We conjecture Galois multiplets of SICs are in one-to-one correspondence with the over-orders $\mathcal{O}'$ of $\mathcal{O}_{\Delta_d}$ in such a way that the number of classes in the multiplet equals the ring class number of $\mathcal{O}'$. We test that conjecture against known data on exact SICs in low dimensions. We refine the class field hypothesis of Appleby, Flammia, McConnell, and Yard (arXiv:1604.06098) to predict the exact class field over $\mathbb{Q}(\sqrt{\Delta_d})$ generated by the ratios of vector entries for the equiangular lines defining a Weyl--Heisenberg SIC. The refined conjectures use a recently developed class field theory for orders of number fields (arXiv:2212.09177). The refined class fields assigned to over-orders $\mathcal{O}'$ have a natural partial order under inclusion; the inclusions of these fields fail to be strict in some cases. We characterize such cases and give a table of them for $d < 500$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript reports an exact numerical match, for 4 ≤ d ≤ 90, between the number of known geometric equivalence classes of Weyl–Heisenberg SIC-POVMs in dimension d and the cardinality of the ideal class monoid of the real quadratic order O_Δd of discriminant Δd = (d+1)(d−3). It conjectures that the equality persists for all d ≥ 4, proves that this conjecture implies the existence of more than one geometric equivalence class for d > 22, and proposes that Galois multiplets of SICs correspond to over-orders O′ of O_Δd with the number of classes in each multiplet equal to the ring class number of O′. The paper refines the class-field hypothesis of Appleby–Flammia–McConnell–Yard by assigning to each over-order a specific class field over Q(√Δd) generated by the coordinate ratios of the equiangular lines, using the class-field theory for orders developed in arXiv:2212.09177; these refined fields are partially ordered by inclusion and the non-strict cases are characterized for d < 500.

Significance. If the conjectures hold, the work supplies a precise arithmetic dictionary linking the classification of Weyl–Heisenberg SICs to ideal-class monoids and ring class numbers of real quadratic orders, thereby importing tools from algebraic number theory into the study of equiangular lines. The explicit verification against independently tabulated class-monoid cardinalities up to d = 90, the direct implication of multiple inequivalent SICs for d > 22, and the falsifiable class-field predictions constitute concrete, non-circular contributions. The partial-order analysis of the refined class fields for d < 500 further organizes the conjectural landscape.

minor comments (1)
  1. The opening paragraph of the abstract asserts the equality for “known” data; a brief parenthetical reminder in §1 that the enumerations are taken from the published tables of Scott–Grassl–etc. would make the scope of the claim even clearer to readers outside quantum information.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and detailed summary of our work, as well as for the recommendation to accept the manuscript. We are pleased that the arithmetic dictionary between Weyl-Heisenberg SICs and ideal class monoids of real quadratic orders, along with the refined class-field predictions, was viewed as a concrete contribution.

Circularity Check

0 steps flagged

Numerical match to independently computed arithmetic invariants; no circularity

full rationale

The core claim is an observed equality, for d ≤ 90, between two independently tabulated quantities: the count of already-enumerated geometric equivalence classes of Weyl-Heisenberg SICs (external data) and the cardinality of the ideal class monoid of O_Δd (computed from the discriminant Δd = (d+1)(d-3) via standard algebraic number theory). No equation or definition in the paper sets one quantity equal to the other by construction, fits a parameter to SIC counts, or renames a known result. The extension to all d ≥ 4 is explicitly labeled a conjecture. The implication that the conjecture forces multiple classes for d > 22 is a purely logical deduction. Refinement of the Appleby et al. class-field hypothesis via the cited order class-field theory (arXiv:2212.09177) is an application of external machinery, not a self-referential reduction. All load-bearing steps remain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the observed numerical agreement between published SIC class counts and class monoid cardinalities of quadratic orders, the completeness of those SIC enumerations, and the applicability of the cited 2022 class-field theory for orders to the coordinate fields of SIC vectors. The discriminant formula is chosen to produce the match rather than derived from an independent principle.

axioms (2)
  • standard math Properties of the ideal class monoid of real quadratic orders
    Invoked when equating the cardinality of the monoid to the number of SIC classes.
  • domain assumption The class field theory for orders developed in arXiv:2212.09177
    Used to refine the earlier class-field hypothesis and to assign fields to over-orders.

pith-pipeline@v0.9.0 · 5949 in / 1683 out tokens · 42516 ms · 2026-05-23T22:54:33.431801+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Unit-generated orders of real quadratic fields I. Class number bounds

    math.NT 2025-12 accept novelty 6.0

    Unit-generated quadratic orders have class numbers asymptotically equivalent to log(|Δ|/2), implying only finitely many with class number 1 or 2-torsion class groups, all of which are classified or listed.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    D. M. Appleby. Symmetric informationally complete-pos itive operator valued measures and the extended Clifford group. J. Math. Phys. , 46(5):052107, 29, 2005

    work page 2005

  2. [2]

    D. M. Appleby and S. T. Flammia. Personal communication, 2024

    work page 2024

  3. [3]

    D. M. Appleby, S. T. Flammia, and C. A. Fuchs. The Lie algeb raic significance of symmetric informationally complete measurements. J. Math. Phys. , 52(2):022202, 34, 2011

    work page 2011

  4. [4]

    D. M. Appleby, H. Yadsan-Appleby, and G. Zauner. Galois a utomorphisms of a symmetric measurement. Quan- tum Inf. Comput. , 13(7-8):672–720, 2013

    work page 2013

  5. [5]

    Appleby, I

    M. Appleby, I. Bengtsson, M. Grassl, M. Harrison, and G. M cConnell. SIC-POVMs from Stark units: prime dimensions n2 + 3. J. Math. Phys. , 63(11):Paper No. 112205, 31, 2022

    work page 2022

  6. [6]

    Appleby, T.-Y

    M. Appleby, T.-Y. Chien, S. Flammia, and S. Waldron. Cons tructing exact symmetric informationally complete measurements from numerical solutions. J. Phys. A , 51(16):165302, 40, 2018

    work page 2018

  7. [7]

    Appleby, S

    M. Appleby, S. Flammia, and G. S. Kopp. A constructive app roach to Zauner’s conjecture via the Stark conjec- tures, 2024+. In preparation

    work page 2024

  8. [8]

    Appleby, S

    M. Appleby, S. Flammia, G. McConnell, and J. Yard. SICs an d algebraic number theory. Found. Phys. , 47(8):1042–1059, 2017

    work page 2017

  9. [9]

    Appleby, S

    M. Appleby, S. Flammia, G. McConnell, and J. Yard. Genera ting ray class fields of real quadratic fields via complex equiangular lines. Acta Arith., 192(3):211–233, 2020

    work page 2020

  10. [10]

    Bengtsson, M

    I. Bengtsson, M. Grassl, and G. McConnell. SIC-POVMs fr om Stark units: Dimensions n2 + 3 = 4 p, p prime,

    work page

  11. [11]

    Preprint arXiv:2403.02872

    work page arXiv

  12. [12]

    Byeon, M

    D. Byeon, M. Kim, and J. Lee. Mollin’s conjecture. Acta Arith., 126(2):99–114, 2007

    work page 2007

  13. [13]

    Campagna and R

    F. Campagna and R. Pengo. Entanglement in the family of d ivision fields of elliptic curves with complex multi- plication. Pacific J. Math. , 317(1):21–66, 2022

    work page 2022

  14. [14]

    B. Chen, T. Li, and S.-M. Fei. General SIC measurement-b ased entanglement detection. Quantum Inf. Process. , 14(6):2281–2290, 2015

    work page 2015

  15. [15]

    Chien and S

    T.-Y. Chien and S. Waldron. A characterization of proje ctive unitary equivalence of finite frames and applications . SIAM J. Discrete Math. , 30(2):976–994, 2016

    work page 2016

  16. [16]

    H. Cohen. A Course in Computational Algebraic Number Theory , volume 138 of Graduate Texts in Mathematics . Springer-Verlag, Berlin, 1993

    work page 1993

  17. [17]

    Magma handbook, 2015

    Computational Algebra Group, Sydney. Magma handbook, 2015

    work page 2015

  18. [18]

    H. Dai, S. Fu, and S. Luo. Detecting magic states via char acteristic functions. Internat. J. Theoret. Phys. , 61(2):Paper No. 35, 18, 2022

    work page 2022

  19. [19]

    Delsarte, J

    P. Delsarte, J. M. Goethals, and J. J. Seidel. Bounds for systems of lines, and Jacobi polynomials. Philips Res. Rep., 30:91–105, 1975

    work page 1975

  20. [20]

    P. A. M. Dirac. The Principles of Quantum Mechanics . Oxford, at the Clarendon Press, 1947. 3rd ed

    work page 1947

  21. [21]

    Dixon and S

    K. Dixon and S. Salamon. Moment maps and Galois orbits in quantum information theory. SIAM J. Appl. Algebra Geom., 4(4):502–531, 2020

    work page 2020

  22. [22]

    Fannjiang and T

    A. Fannjiang and T. Strohmer. The numerics of phase retr ieval. Acta Numer. , 29:125–228, 2020

    work page 2020

  23. [23]

    S. Flammia. Exact SIC fiducial vectors. http://www.physics.usyd.edu.au/~sflammia/SIC/

    work page

  24. [24]

    C. A. Fuchs, M. C. Hoang, and B. C. Stacey. The SIC questio n: History and state of play. Axioms, 6(3):21, 2017

    work page 2017

  25. [25]

    C. A. Fuchs and R. Schack. Quantum-Bayesian coherence. Rev. Mod. Phys. , 85:1693–1715, Dec 2013

    work page 2013

  26. [26]

    M. Grassl. Tomography of quantum states in small dimens ions. In Proceedings of the Workshop on Discrete Tomography and its Applications , volume 20 of Electron. Notes Discrete Math. , pages 151–164. Elsevier Sci. B. V., Amsterdam, 2005

    work page 2005

  27. [27]

    M. Grassl. Personal communication, 2022

    work page 2022

  28. [28]

    M. Grassl. Personal communication, 2024. SIC-POVMS AND REAL QUADRATIC ORDERS 37

    work page 2024

  29. [29]

    Halter-Koch

    F. Halter-Koch. Quadratic Irrationals: An Introduction to Classical Numbe r Theory . Pure and Applied Mathe- matics (Boca Raton). CRC Press, Boca Raton, FL, 2013

    work page 2013

  30. [30]

    M. A. Herman and T. Strohmer. High-resolution radar via compressed sensing. IEEE Trans. Signal Process. , 57(6):2275–2284, 2009

    work page 2009

  31. [31]

    S. G. Hoggar. Two quaternionic 4-polytopes. In The Geometric Vein , pages 219–230. Springer, New York-Berlin, 1981

    work page 1981

  32. [32]

    S. G. Hoggar. 64 lines from a quaternionic polytope. Geom. Dedicata, 69(3):287–289, 1998

    work page 1998

  33. [33]

    G. S. Kopp. Indefinite Theta Functions and Zeta Functions . PhD thesis, University of Michigan, Ann Arbor, Michigan, USA, Aug. 2017

    work page 2017

  34. [34]

    G. S. Kopp. SIC-POVMs and the Stark conjectures. Int. Math. Res. Not. IMRN , 2021(18):13812–13838, 2021

    work page 2021

  35. [35]

    G. S. Kopp and J. C. Lagarias. Ray class groups and ray cla ss fields for orders of number fields, 2022. Preprint arXiv:2212.09177

    work page arXiv 2022

  36. [36]

    G. S. Kopp and J. C. Lagarias. Unit-generated orders of r eal quadratic fields I. Class number bounds, 2024+. In preparation

    work page 2024

  37. [37]

    G. S. Kopp and J. C. Lagarias. Unit-generated orders of r eal quadratic fields II. Class monoids and special ray class fields, 2024+. In preparation

    work page 2024

  38. [38]

    Neukirch

    J. Neukirch. Algebraic Number Theory , volume 322 of Grundlehren der mathematischen Wissenschaften [Fun- damental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999. Translated from the 1992 G erman original and with a note by Norbert Schappacher

    work page 1999

  39. [39]

    J. M. Renes, R. Blume-Kohout, A. J. Scott, and C. M. Caves . Symmetric informationally complete quantum measurements. J. Math. Phys. , 45(6):2171–2180, 2004

    work page 2004

  40. [40]

    A. J. Scott. Tight informationally complete quantum me asurements. J. Phys. A , 39(43):13507–13530, 2006

    work page 2006

  41. [41]

    A. J. Scott. SICs: Extending the list of solutions, 2017 . Preprint arXiv:1703.03993

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  42. [42]

    A. J. Scott and M. Grassl. Symmetric informationally co mplete positive-operator-valued measures: a new com- puter study. J. Math. Phys. , 51(4):042203, 16, 2010

    work page 2010

  43. [43]

    H. M. Stark. L-functions at s = 1. III. Totally real fields and Hilbert’s twelfth problem. Advances in Math. , 22(1):64–84, 1976

    work page 1976

  44. [44]

    H. M. Stark. Class fields for real quadratic fields and L-series at 1. In Algebraic Number Fields: L-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 19 75), pages 355–375. Academic Press, London-New York, 1977

    work page 1977

  45. [45]

    Szymusiak and W

    A. Szymusiak and W. S/suppress lomczy´ nski. Informational power of the Hoggar symmetric informationally complete positive operator-valued measure. Phys. Rev. A , 94:012122, Jul 2016

    work page 2016

  46. [46]

    Tavakoli, I

    A. Tavakoli, I. Bengtsson, N. Gisin, and J. M. Renes. Com pounds of symmetric informationally complete mea- surements and their application in quantum key distributio n. Phys. Rev. Res. , 2:043122, Oct 2020

    work page 2020

  47. [47]

    S. F. D. Waldron. An Introduction to Finite Tight Frames . Applied and Numerical Harmonic Analysis. Birkh¨ auser/Springer, New York, 2018

    work page 2018

  48. [48]

    M. M. Wood. Gauss composition over an arbitrary base. Adv. Math. , 226(2):1756–1771, 2011

    work page 2011

  49. [49]

    G. Zauner. Quantendesigns: Grundz¨ uge einer nichtkommutativen Desi gntheorie. PhD thesis, University of Vi- enna, Vienna, Austria, 1999

    work page 1999

  50. [50]

    G. Zauner. Quantum designs: Foundations of a noncommut ative design theory. Int. J. Quantum Inf. , 9(1):445– 507, 2011. Department of Mathematics, Louisiana State University, Ba ton Rouge, LA, USA Email address : kopp@math.lsu.edu Department of Mathematics, University of Michigan, Ann Arb or, MI, USA Email address : lagarias@umich.edu

    work page 2011