Pith. sign in

REVIEW 1 major objections 2 minor 42 references

How Stark units enter SIC overlaps

T0 review · 1 major / 2 minor · reviewed 2026-06-26 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The overlap units in SIC-POVMs are always products of integral powers of square roots of Stark units from ray class fields attached to the maximal ring of integers in the base field.

desk verdict The paper extends the number-theoretic pattern for SIC overlaps to ray class fields and non-minimal cases but rests on evidence from selected dimensions without a general proof. read the letter →

arxiv 2606.23535 v1 pith:HRO5CLPX submitted 2026-06-22 quant-ph math.NT

Ingemar Bengtsson , Gary McConnell This is my paper · ORCID
classification quant-phmath.NT
keywords SIC-POVMStarkunitsrayclassfieldsoverlapalgebraicquantummeasurementsfieldtheorymodularcocycle
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper examines the algebraic form of the mutual scalar products among vectors in a SIC-POVM. Through a mix of exact results and numerical checks in selected cases, it shows that these units factor as products of powers of square roots of Stark units drawn from ray class fields over the maximal ring of integers of the base field. Non-minimal SICs involve a lattice of such fields rather than a single one. The pattern also accounts for the exact appearance of plus or minus one overlaps in every second dimension via a property of the ray class fields, and it remains consistent with direct evaluation from the Shintani-Faddeev modular cocycle.

What carries the argument

Ray class fields attached to the maximal ring of integers of the base field, whose Stark units supply the square-root factors that multiply to produce the SIC overlap units.

What would settle it

A single SIC-POVM in any dimension whose overlap unit cannot be written as a product of integral powers of square roots of Stark units from the relevant ray class fields.

Watch

Extended reading notes

Core claim

The overlap units are always products of integral powers of square roots of Stark units from ray class fields all of which are attached to the maximal ring of integers in the base field. In the non-minimal case a lattice of such ray class fields is involved. In every second dimension some of the overlap units equal ±1, and this follows from a special property of the ray class fields. The observations are complementary to but consistent with the claim that the overlap units can be calculated directly from the Shintani-Faddeev modular cocycle.

Load-bearing premise

The pattern observed in the checked dimensions and minimal or non-minimal cases extends without exception to every SIC-POVM.

Editorial extensions

If this is right

  • The scalar products admit an explicit description in terms of number-theoretic data attached to the base field.
  • Some overlap units are forced to equal exactly plus or minus one in every second dimension counted in the appropriate way.
  • Non-minimal SIC-POVMs require a lattice of ray class fields rather than a single field.
  • The factorization remains consistent with direct evaluation via the Shintani-Faddeev modular cocycle.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the pattern is general, it may supply a systematic route to exact algebraic expressions for SICs in additional dimensions.
  • Numerical verification in further dimensions would provide a direct test of whether exceptions exist.
  • The same ray-class data might link to other algebraic features appearing in quantum information constructions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 2 minor

Summary. The manuscript presents a mixture of exact calculations and numerical evidence from selected dimensions (both minimal and non-minimal SIC-POVMs) suggesting that the overlap units are always products of integral powers of square roots of Stark units drawn from ray class fields attached to the maximal ring of integers of the base field, with a lattice of such fields appearing in the non-minimal case. It further shows that in every second dimension (counted in a specified manner) some overlap units equal ±1, and demonstrates that this follows from a special property of the ray class fields. The observations are stated to be complementary to and consistent with direct calculation via the Shintani–Faddeev modular cocycle.

Significance. If the observed pattern holds in general, the work would establish a concrete bridge between the algebraic structure of SIC overlaps and Stark units in class-field theory, potentially supplying new tools for analyzing SIC existence and construction. Credit is due for the exact demonstration that the ±1 overlaps follow from ray-class-field properties and for the explicit consistency check against the independent modular-cocycle approach; these are genuine strengths of the manuscript.

major comments (1)
  1. [Abstract] Abstract: the central claim that the overlap units 'are always' products of the indicated form rests on evidence from selected dimensions and cases only; no general derivation, reduction, or exhaustive verification is supplied that would establish the pattern for arbitrary SIC-POVMs. This makes the universal statement observational rather than deductive and is load-bearing for the paper's main assertion.
minor comments (2)
  1. Clarify the precise counting convention behind 'every second dimension (counted in a certain way)' and give an explicit list or table of the dimensions in which the ±1 property was verified.
  2. Distinguish more clearly, perhaps in a dedicated table or subsection, which overlap units were obtained by exact algebraic computation and which by numerical approximation, so that the rigor of each piece of evidence is transparent.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation and for identifying the need to align the abstract's phrasing more precisely with the observational character of the results. We agree that the central claim rests on evidence from selected dimensions and will revise the abstract to make this explicit.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim that the overlap units 'are always' products of the indicated form rests on evidence from selected dimensions and cases only; no general derivation, reduction, or exhaustive verification is supplied that would establish the pattern for arbitrary SIC-POVMs. This makes the universal statement observational rather than deductive and is load-bearing for the paper's main assertion.

    Authors: We agree with the referee that the manuscript supplies exact calculations and numerical evidence only for selected dimensions (both minimal and non-minimal) and does not contain a general derivation or exhaustive verification. The abstract's use of 'are always' therefore overstates the deductive status of the claim. We will revise the abstract to replace this with language such as 'evidence suggests that the overlap units are products...' and to reiterate that the pattern is conjectural, supported by the mixture of exact and numerical results presented. The body of the paper already qualifies the claim as 'suggesting,' so the change will be limited to the abstract for consistency. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: empirical pattern suggested by evidence with one specific algebraic property derived from ray class fields

full rationale

The manuscript presents a mixture of exact and numerical evidence suggesting a pattern in SIC-POVM overlap units involving Stark units from ray class fields, without any derivation chain that reduces the claimed result to fitted inputs or self-referential definitions. The statement that certain overlap units equal ±1 'follows from a special property of the ray class fields' is presented as a direct algebraic consequence rather than a fit or self-citation. Observations are explicitly positioned as complementary to (not derived from) an independent claim about the Shintani-Faddeev modular cocycle. No load-bearing self-citation, ansatz smuggling, or renaming of known results appears. The generalization rests on evidence rather than a closed logical loop, so the derivation chain is self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The claim rests on the unproven generalization from checked cases to all dimensions and on background facts about ray class fields and Stark units that are treated as standard in the cited literature. No free parameters or new invented entities are introduced in the abstract.

assumptions (2)
  • domain assumption Ray class fields attached to the maximal ring of integers carry Stark units whose square roots generate the observed overlap units.
    Invoked when the abstract states that the overlap units are products of integral powers of square roots of Stark units from those fields.
  • ad hoc to paper The pattern observed in selected dimensions extends to every dimension and every SIC-POVM.
    The abstract presents the statement as a suggestion based on evidence rather than a derived theorem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of How Stark units enter SIC overlaps." pith.science (2026). https://pith.science/paper/HRO5CLPX

@misc{pith2026260623535,
  author       = {Pith},
  title        = {Pith review of: How Stark units enter SIC overlaps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HRO5CLPX}},
  note         = {Machine review of arXiv:2606.23535}
}
abstract

It has been observed that the mutual scalar products of the vectors in a SIC-POVM are given by algebraic units, and at least in some cases by square roots of Stark units. The full picture is somewhat more complicated, especially if non-minimal SIC-POVMs are considered. We present a mixture of exact and numerical evidence suggesting that the overlap units are always products of integral powers of square roots of Stark units from ray class fields all of which are attached to the maximal ring of integers in the base field. In the non-minimal case a lattice of such ray class fields is involved. In every second dimension (counted in a certain way) some of the overlap units equal $\pm 1$, and we show that this follows from a special property of the ray class fields. Our observations are complementary to but consistent with the claim that the overlap units can be calculated directly from the Shintani--Faddeev modular cocycle.

Figures

Figures reproduced from arXiv: 2606.23535 by the authors.

Figure 1
Figure 1. A field inclusion diagram including the real quadratic field K, the Hilbert class field H, and the four ray class fields Kd , Kd∞1 , Kd∞2 , and Kd∞1∞2 . The degree hK of the extension from K to H determines the number of unitarily non-equivalent minimal SICs. To go from the real field Kd∞2 to the complex field Kd∞1 , as required by the procedures that have been proposed for constructing SICs, we have to flip the sig… view at source ↗
Figure 2
Figure 2. The lattice of divisors of a rational prime p in a quadratic field, depending on whether p is inert, splits, or ramifies [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. For d = p 2 : the lattice of divisors of p 2 , depending on whether p is inert, splits, or ramifies. subsets of overlaps that belong to the various subfields. In this section we will lay out how the same pattern of baby overlaps arises from a consideration of the Weyl–Heisenberg group in dimension d, assuming that the SIC is left invariant by a symmetry of order three. The reader may find the argument somewhat loose… view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: When the dimension is a prime p, the Weyl–Heisenberg group consists of p + 1 cyclic subgroups having only the unit element in common. The result is a flower with p + 1 petals. When d is a prime power the petals of the flower intertwine in a characteristic fashion, as i…
Figure 5
Figure 5. Figure 5: The lattice of divisors f of f0 = 70 for d = 199, with K = Q( √ 2). For f = 1 the class number is just hK which is 1. For f = 70 it is 12, and the excess e = 12 too. The SICs corresponding to f = 1 and 5 have anti-unitary symmetry and have been constructed from Stark u…
Figure 6
Figure 6. Figure 6: The inclusion lattice for SIC fields when d = 35. The degree of the ring class field is h = 2 for f = 6, h = 4 for f = 12, and the excess e = 2 for f = 4, 12. √ d + 1⟨Ψ|D ⊗ 1|Ψ⟩ = 1 , (37) where we assumed that the Hilbert space is Cn−2 ⊗ Cn. If n is even something sim…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 8 canonical work pages

  1. [1]

    D. M. Appleby, H. Yadsan-Appleby, and G. Zauner,Galois automorphisms of symmetric measurements, Quant. Inf. Comp.13(2013) 672

    2013

  2. [2]

    Appleby, S

    M. Appleby, S. Flammia, G. McConnell, and J. Yard,Generating ray class fields of real quadratic fields via complex equiangular lines, Acta Arithmetica192(2020) 211; also published as arXiv:1604.06098

    work page arXiv 2020

  3. [3]

    Hilbert,Matematische Probleme, G¨ ottinger Nachrichten (1900) 253; also pub- lished asMathematical problems, Bull

    D. Hilbert,Matematische Probleme, G¨ ottinger Nachrichten (1900) 253; also pub- lished asMathematical problems, Bull. AMS8(1902) 437

    1900

  4. [4]

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

    1976

  5. [5]

    Zauner:Quantendesigns

    G. Zauner:Quantendesigns. Grundz¨ uge einer nichtkommutativen Designtheorie, PhD thesis, Univ. Wien 1999. Also published asQuantum designs: Foundations of a noncommutative design theory, Int. J. Quant. Inf.9(2011) 445

    1999

  6. [6]

    J. M. Renes, R. Blume-Kohout, A. J. Scott, and C. M. Caves,Symmetric infor- mationally complete quantum measurements, J. Math. Phys.45(2004) 2171. 41

    2004

  7. [7]

    C. A. Fuchs, M. C. Hoang, and B. C. Stacey,The SIC question: History and state of play, Axioms6(2017) 21

    2017

  8. [8]

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

    2021

Show all 42 references
  1. [9]

    Appleby, I

    M. Appleby, I. Bengtsson, M. Grassl, M. Harrison, and G. McConnell,SIC- POVMs from Stark units: Prime dimensionsn 2 + 3, J. Math. Phys.63(2022) 112205

    2022

  2. [10]

    Bengtsson, M

    I. Bengtsson, M. Grassl, and G. McConnell,SIC-POVMs from Stark units: Di- mensionsn 2 + 3 = 4p,pprime, J. Math. Phys.66(2025) 082202

    2025

  3. [11]

    Kopp and J

    G.S. Kopp and J. C. Lagarias,Ray class groups and ray class fields for orders of number fields, Essential Number Theory4(2025) 1

    2025

  4. [12]

    G. S. Kopp and J. C. Lagarias,SIC-POVMs and orders of real quadratic fields, arXiv:2407.08048

    arXiv

  5. [13]

    A. J. Scott and M. Grassl,SIC-POVMs: A new computer study, J. Math. Phys. 51(2010) 042203

    2010

  6. [14]

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

    arXiv

  7. [15]

    G. S. Kopp,The Shintani–Faddeev modular cocycle: Stark units fromq- Pochhammer ratios, arXiv:2411.06763

  8. [16]

    Appleby, S

    M. Appleby, S. Flammia, and G. S. Kopp,A constructive approach to Zauner’s conjecture via the Stark conjectures, arXiv:2501.03970

  9. [17]

    Grassl,On (square roots of) powers of Stark units in the fiducial vector, un- published manuscript (2023)

    M. Grassl,On (square roots of) powers of Stark units in the fiducial vector, un- published manuscript (2023)

    2023

  10. [18]

    Neukirch:Algebraic Number Theory, Springer, Berlin 2013

    J. Neukirch:Algebraic Number Theory, Springer, Berlin 2013

    2013

  11. [19]

    Lang:Algebraic Number Theory, Springer, New York 1986

    S. Lang:Algebraic Number Theory, Springer, New York 1986

    1986

  12. [20]

    Georges Gras,Class Field Theory: From Theory to Practice, corrected second printing, Springer-Verlag Berlin (2005)

    2005

  13. [21]

    Tate:Les conjectures de Stark sur les fonctionsLd’Artin ens= 0, Progress in Mathematics47, Birkh¨ auser, Boston 1984

    J. Tate:Les conjectures de Stark sur les fonctionsLd’Artin ens= 0, Progress in Mathematics47, Birkh¨ auser, Boston 1984

    1984

  14. [22]

    Bosma, J

    W. Bosma, J. J. Cannon, and C. Playoust,The Magma algebra system I: The user language, J. Symbolic Computation24(1997) 235

    1997

  15. [23]

    D. M. Appleby,SIC-POVMs and the extended Clifford group, J. Math. Phys.46 (2005) 052107

    2005

  16. [24]

    Grassl and A

    M. Grassl and A. J. Scott,Fibonacci–Lucas SIC-POVMs, J. Math. Phys.58 (2017) 122201

    2017

  17. [25]

    D. M. Appleby, I. Bengtsson, S. Brierley, D. Gross, M. Grassl, and J.- ˚A. Larsson, The monomial representations of the Clifford group, Quant. Inf. Comp.12(2012) 0404

    2012

  18. [26]

    Bengtsson and M

    I. Bengtsson and M. Grassl,A conjecture on almost flat SIC-POVMs, arXiv:2512.13201

  19. [27]

    Bang,Congruence properties of Tchebycheff polynomials, Mathematica Scan- dinavica2, (1954), 327–333

    T. Bang,Congruence properties of Tchebycheff polynomials, Mathematica Scan- dinavica2, (1954), 327–333

    1954

  20. [28]

    McConnell,Some new infinite families of non-p-rational real quadratic fields, arXiv:2406.14632

    G. McConnell,Some new infinite families of non-p-rational real quadratic fields, arXiv:2406.14632. 42

  21. [29]

    Appleby, T.Y

    M. Appleby, T.Y. Chien, S. Flammia, and S. Waldron,Constructing exact sym- metric informationally complete measurements from numerical solutions, J. Phys. A51(2018) 165302

    2018

  22. [30]

    Appleby,Ray class SICs: Symmetries and Galois action, unpublished manuscript (2018)

    M. Appleby,Ray class SICs: Symmetries and Galois action, unpublished manuscript (2018)

    2018

  23. [31]

    Appleby, I

    M. Appleby, I. Bengtsson, I. Dumitru, and S. Flammia,Dimension towers of SICs. I. Aligned SICs and embedded tight frames, J. Math. Phys.58(2017) 112201

    2017

  24. [32]

    Bengtsson and B

    I. Bengtsson and B. Srivastava,Dimension towers of SICs. II. Some constructions, J. Phys.A55(2022) 215302

    2022

  25. [33]

    Andersson and I

    O. Andersson and I. Dumitru,Aligned SICs and embedded tight frames in even dimensions, J. Phys.A52(2019) 4525302

    2019

  26. [34]

    Ostrovskyi and D

    V. Ostrovskyi and D. Yakymenko,Geometric properties of SIC-POVM tensor square, Lett. Math. Phys.112(2022) 7

    2022

  27. [35]

    Cohen and P

    H. Cohen and P. Stevenhagen,Computational class field theory, inAlgorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography, edited by Joseph P. Buhler and Peter Stevenhagen. MSRI Publications Volume44(2008), 497-534

    2008

  28. [36]

    S. I. Gelfand and Y. J. Manin,Methods of Homological Algebra, SMM Springer Verlag 2nd Edition (2003)

    2003

  29. [37]

    Weyl:Gruppentheorie und Quantenmechanik, Hirzel, Leipzig 1928; also pub- lished asTheory of Groups and Quantum Mechanics, Dutton, New York 1932

    H. Weyl:Gruppentheorie und Quantenmechanik, Hirzel, Leipzig 1928; also pub- lished asTheory of Groups and Quantum Mechanics, Dutton, New York 1932

    1928

  30. [38]

    Schwinger,Unitary operator bases, Proc

    J. Schwinger,Unitary operator bases, Proc. Natl. Acad. Sci.46(1960) 570

    1960

  31. [39]

    L. P. Hughston and S. M. Salamon,Surveying points in the complex projective plane, Adv. Math.286(2016) 1017

    2016

  32. [40]

    Sz¨ oll˝ osi,All complex equiangular tight frames in dimension 3, arXiv:1402.6429

    F. Sz¨ oll˝ osi,All complex equiangular tight frames in dimension 3, arXiv:1402.6429

    arXiv

  33. [41]

    S. B. Samuel and Z. Gedik,Group theoretical classification of SIC-POVMs, J. Phys.A57(2024) 295304

    2024

  34. [42]

    B. C. Stacey:A First Course in the Sporadic SICs, Springer 2021. 43

    2021

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.