arXiv preprint ·
From Ghost SICs to SIC-POVMs: A Galois Reduction of Zauner's Conjecture
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
Symmetric informationally complete positive operator-valued measures (SIC-POVMs, or SICs) are optimal minimal measurements for quantum state tomography. Problem~1 of Horodecki, Rudnicki and Życzkowski's open problems in quantum information asks for SICs in infinitely many dimensions. By work of Appleby--Flammia--Kopp and Radchenko--Wheeler, ghost SICs, which satisfy the SIC equations with Hermiticity up to parity, exist unconditionally for $d\ge4$. We study the passage from ghosts to SICs. We compute all isolated points of the complexified SIC variety for $d=4,5,6$; exactly half are SICs. We prove that no symmetry of the SIC equations maps a ghost to a SIC, so the step is purely arithmetic, and that a SIC exists in dimension $d$ whenever the ghost overlap units satisfy a place law: each Galois conjugate is real or unimodular according to the infinite place of the real quadratic field $F$ below it. If the unit field is abelian over $F$, the place law is the Stark relation $c_-=κ$; equivalently, a Galois conjugate of an associated near-group fusion category is unitary exactly when it is pseudo-unitary. For $d$ a power of a prime $p\equiv5\pmod 6$ or of $3$, an infinite family, we prove that under the algebraic part of Stark's conjecture $c_-=κ$ is equivalent to the triviality of $κ$ on the Hilbert-class-field part of the unit field. That condition involves no complex conjugation, and it follows from a sign-free multiplet hypothesis. We state an explicit $GL_2$ reciprocity law for the squared ghost overlaps that implies $c_-=κ$, and we prove it for the computed algebraic overlaps in $d=5,7,11,15$ by Artin reciprocity and a check in every ray class. Zauner's conjecture remains open: the algebraic part of Stark's conjecture and the multiplet hypothesis are not proved here.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Quantum Physics
An example of universal braiding in Links--Gould topological quantum computation
Classical and Quantum Logics with Multiple Non-Equivalent and Non-Isomorphic Models
Three-dimensional QCA that are not stably circuits
Robustness of Magic and the Directed Geometry of State Conversion
Defining 2-group symmetries on lattices and extracting their anomalies
Get the few papers worth your time in Quantum Physics every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.