Weyl–Heisenberg-covariant SICs in every dimension
- Field
- Topic
Problem
Does every finite dimension admit a symmetric informationally complete measurement that is a single Weyl–Heisenberg orbit? For an integer \(d\geq2\), let \(\omega_d=e^{2\pi i/d}\) and define shift, phase, and displacement operators on the computational basis by
Equation (1) fixes a phase convention that does not affect the orbit of rank-one projectors. The question is whether, for every \(d\geq2\), there is a unit vector \(\lvert\phi\rangle\in\mathbb C^d\) satisfying
If Eq. (2) holds, the \(d^2\) projectors in the Weyl–Heisenberg orbit of \(\lvert\phi\rangle\) form a SIC.
Source
Renes, Blume-Kohout, Scott, and Caves explicitly conjecture the existence of a Weyl–Heisenberg-covariant SIC in every finite dimension [RBS+04].
Progress
Reports do not certify correctness or automatically change the problem's status. Progress policy.
Renes, Blume-Kohout, Scott, and Caves stated Eq. (2) in every dimension as Conjecture 1 and found numerical solutions through \(d=45\) [RBS+04].
Appleby, Bengtsson, Flammia, and Goyeneche reported numerical Weyl–Heisenberg SICs in every dimension through \(d=181\) and in many larger dimensions. These computations establish individual finite cases, not the all-dimensional assertion [ABFG19].
In \(2025\), Appleby, Flammia, and Kopp gave a construction of Weyl–Heisenberg SICs for every \(d>3\), conditional on the order-one abelian Stark conjecture for real quadratic fields and a special-value identity for the Shintani–Faddeev modular cocycle [AFK25].
In September \(2026\), Radchenko and Wheeler proved algebraicity of real-quadratic Stark–Shintani invariants and the rank-one twisted-convolution identity (Theorems 1 and 7) [RW26]. Appleby, Flammia, and Kopp extended the identity to all admissible tuples and constructed Weyl–Heisenberg-covariant ghost SICs for every \(d>3\) (Theorems 1.2–1.3) [AFK26]. This supplies the special-value identity in the earlier conditional construction; converting the ghost SICs to Hermitian SIC projectors requires the appropriate Galois conjugation.
The manuscript dated 4 October \(2026\), prepared and edited by Danylo Radchenko and Campbell Wheeler, reports Stark reciprocity and unitary Galois conjugates (Theorem 3 and Proposition 7). Section 9.2 applies these results to the earlier Weyl–Heisenberg construction and reports SIC existence in every dimension. [SU26]. The manuscript has not yet passed peer review. This is recorded as significant reported progress; the catalog status remains Unsolved.
Comment
The catalog retains Unsolved while documenting the reported progress above; a status change requires a separate maintainer decision. This record requires Eq. (2) in every \(d\ge2\). The Zauner-symmetric SIC problem additionally requires a fiducial with the specified Clifford symmetry.
References
- [RBS+04]
- J. M. Renes, R. Blume-Kohout, A. J. Scott, and C. M. Caves, “Symmetric Informationally Complete Quantum Measurements,” Journal of Mathematical Physics 45, 2171–2180 (2004).DOIarXiv
- [ABFG19]
- M. Appleby, I. Bengtsson, S. Flammia, and D. Goyeneche, “Tight Frames, Hadamard Matrices and Zauner’s Conjecture,” Journal of Physics A: Mathematical and Theoretical 52, 295301 (2019).DOIarXiv
- [AFK25]
- M. Appleby, S. T. Flammia, and G. S. Kopp, “A Constructive Approach to Zauner’s Conjecture via the Stark Conjectures,” preprint, arXiv:2501.03970v2 (2025).DOIarXiv
- [RW26]
- D. Radchenko and C. Wheeler, “Real Quadratic Fields and Finite Quantum Dilogarithms I,” preprint, arXiv:2609.21892v2 (2026).DOIarXiv
- [AFK26]
- M. Appleby, S. T. Flammia, and G. S. Kopp, “The Twisted Convolution Identity and Ghost \(r\)-SICs from Finite Quantum Dilogarithms,” preprint, arXiv:2609.39192v1 (2026).arXiv
- [SU26]
- “Stark Units for Real Quadratic Fields and Reciprocity Laws,” manuscript dated 4 October 2026. Cited by title, date, and URL as requested in the manuscript. Manuscript PDF.link