SIC-POVMs and orders of real quadratic fields

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 C d . Weyl–Heisenberg covariant SICs are those SIC-POVMs described by the orbit a single vector under a finite Weyl–Heisenberg group WH ( d ) . We relate known data on the structure and classification of Weyl–Heisenberg covariant SICs in low dimensions to arithmetic data attached to certain orders of real quadratic fields. For 4 ≤ d ≤ 90 , we show the number of known geometric equivalence classes of Weyl–Heisenberg covariant SICs in dimension d equals the cardinality of the ideal class monoid of (not necessarily invertible) ideal classes in the real quadratic order O Δ d of discriminant Δ d = ( d + 1 ) ( d − 3 ) ; we conjecture the equality extends to all d ≥ 4 . We prove that this conjecture implies the existence of more than one geometric equivalence class of Weyl–Heisenberg covariant SICs for every d > 22 . We conjecture that Galois multiplets of SICs may be put in one-to-one correspondence with the over-orders O ′ of O Δ d in such a way that the number of geometric classes in the multiplet equals the ring class number of 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 [8] to predict the exact class field over Q ( Δ 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 [36] . The refined class fields assigned to over-orders O ′ have a natural partial order under inclusion; the inclusions of these class fields fail to be strict in some cases. We characterize such cases and give a table of them for d < 500 .