Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2601.13475

Symmetric Informationally Complete Positive Operator Valued Measure and Zauner conjecture-version 3

Stefan Joka

quant-phSubmitted Jan 20, 2026• Announced Jan 21, 2026• 0 citations• Revised Feb 7, 2026 (v3)
v1 · Jan 20, 2026v2 · Jan 22, 2026v3 · Feb 7, 2026v4 · Mar 7, 2026v5 · May 31, 2026
arXivHTMLPDF

Abstract

In this paper, we show that in Hilbert space of any finite dimension N, there are N^2 pure states which constitute Symmetric Informationally Complete Positive Operator Valued Measure (SIC-POVM).
Comments
there was a gap in the version 2 of this paper, we fixed it in the version 3

Related papers

Operational Symmetric Informationally Complete Positive Operator-Valued Measures

Jake Lyons

In this work, we generalise an object that has proved interesting to both the pure and applied mathematician alike. Specifically, symmetric informationally complete positive operator valued measures (SIC-POVMs) were first encountered in the study finite tight frames, where they provide examples of complex equiangular tight frames. Then, the quantum information theory community discovered their own utility for these objects, for they provided a particularly useful example of a generalised measurement of a quantum system, a type of positive operator valued measure. In particular, they have proven useful to quantum state tomography and for probing quantum foundations. SIC-POVMs are collections of rank-one orthogonal projections acting on finite-dimensional Hilbert spaces and operational SIC-POVMs are their arbitrary rank counterparts. In this thesis, we cover necessary background on the standard quantum formalism, define SIC-POVMs and outline how they have been constructed up until this point via the orbit of the Weyl-Heisenberg group, which motivates Zauner’s conjecture. We go on to discuss generalised operational SIC-POVMs and give some new theorems that classify them. We then show that an infinite family of operational SIC-POVMs can be obtained via the representation theory of the symmetric group. Possibly shedding light on the unproven Zauner’s conjecture, we prove that an element of this infinite family cannot be generated via an orbit of the Weyl-Heisenberg group. We finish by describing the relation between these operational SIC-POVMs and Bell inequalities.

•Jul 14, 2026•0 citations

Construction of all general symmetric informationally complete measurements

Gilad Gour, Amir Kalev

We construct the set of all general (i.e. not necessarily rank 1) symmetric informationally complete (SIC) positive operator valued measures (POVMs). In particular, we show that any orthonormal basis of a real vector space of dimension corresponds to some general SIC POVM and vice versa. Our constructed set of all general SIC POVMs contains weak SIC POVMs for which each POVM element can be made arbitrarily close to a multiple times the identity. On the other hand, it remains open if for all finite dimensions our constructed family contains a rank 1 SIC POVM.

Journal of Physics A Mathematical and Theoretical•Aug 4, 2014•104 citations

SIC-POVMs and the Stark Conjectures

Gene S. Kopp

Abstract The existence of $d^2$ pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in $d$-dimensional Hilbert space is known only for finitely many dimensions $d$. We prove that, if there exists a set of real units in a certain ray class field (depending on $d$) satisfying certain algebraic properties, a SIC-POVM exists, when $d$ is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at $s=0$ and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.

arXiv:1807.05877•International Mathematics Research Notices•Jun 19, 2019•19 citations

SIC-POVMs and the Stark Conjectures

Gene S. Kopp

The existence of pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in -dimensional Hilbert space is known only for finitely many dimensions ⁠. We prove that, if there exists a set of real units in a certain ray class field (depending on ⁠) satisfying certain algebraic properties, a SIC-POVM exists, when is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.

•Sep 15, 2021•32 citations

Necessary condition for existence of conditional SIC-POVM (Mathematics for Uncertainty and Fuzziness)

博通 大野

This paper is an announcement of our result and the detailed version will be submitted to somewhere.(See [2].)POVMs (positive operator valued measure) on quantum systems are considered as a measurement in quantum physics.If POVMs have a good condition, then we can determine a state by results of a measurement.In this case, the POVM is called informationally complete and the process is called quantum state tomography.First, we introduce SIC-POVMs (symmetric informationally complete POVM).SIC-POVMs is generated by vectors in $\mathbb{C}^{n}$ whose the absolute values of inner products of each vectors are same.Zauner conjectured that there exist such $n^{2}$ vectors in $\mathbb{C}^{n}$ for any $n$ .But the existence is only proved when $n\leq 15$ and $n=19$ , 24, 35,48[5, 8].Next, we introduce conditional SIC-POVMs.A state of a quantum system is a density matrix which has several parameters.When a few parameters are known, then SIC-POVM is not the best measurement to determine the state.Hence we need another POVM and it is a conditional SIC-POVM.Conditional SIC-POVMs are also generated by vectors in $\mathbb{C}^{n}$ .But the existence of conditional SIC-POVMs depends on the system.We will discuss the details in Sect. 4. 2 Preliminaries Definition 2.1 $\rho\in M_{n}(\mathbb{C})$ is called a density matrix (or state) if $\rho\geq 0$ and $\prime b(\rho)=1.$For any density matrix $\rho$ , we can define a state $\hat{\rho}$ by $\hat{\rho}(X)=h(\rho X)$ .Conversely, any state is written by the above form.Therefore, there exists a one-t $(\succ$ one correspondence between density matrices and states.Definition 2.2 A set of positive operators $\{P_{i}\}_{i=1}^{k}\subset M_{n}(\mathbb{C})$ is called a positive operator valued measure (POVM) if $P_{i}\geq 0(1\leq i\leq k)$ and $\sum_{i=1}^{k}P=I.$If $P_{1}$ is a projection, then $\{P_{i}\}_{i=1}^{k}$ is called a projection valued measure $(PVM)$ .

数理解析研究所講究録•Jul 1, 2014•0 citations

What Are the Minimal Conditions Required to Define a Symmetric Informationally Complete Generalized Measurement?

Isabelle Jianing Geng, Kimberly Golubeva, Gilad Gour

Symmetric informationally complete (SIC) positive operator valued measures (POVMs) are a class of quantum measurements which, in addition to being informationally complete, satisfy three conditions: (1) every POVM element is rank one, (2) the Hilbert-Schmidt inner product between any two distinct elements is constant, and (3) the trace of each element is constant. The third condition is often overlooked, since it may give the impression that it follows trivially from the second. We show that this condition cannot be removed, as it leads to two distinct values for the trace of an element of the POVM. This observation has led us to define a broader class of measurements which we call semi-SIC POVMs. In dimension two, we show that semi-SIC POVMs exist, and we construct the entire family. In higher dimensions, we characterize key properties and applications of semi-SIC POVMs, and note that the proof of their existence remains open.

arXiv:2007.10483•Physical Review Letters•Mar 8, 2021•18 citations
In this work, we generalise an object that has proved interesting to both the pure and applied mathematician alike. Specifically, symmetric informationally complete positive operator valued measures (SIC-POVMs) were first encountered in the study finite tight frames, where they provide examples of complex equiangular tight frames. Then, the quantum information theory community discovered their own utility for these objects, for they provided a particularly useful example of a generalised measurement of a quantum system, a type of positive operator valued measure. In particular, they have proven useful to quantum state tomography and for probing quantum foundations. SIC-POVMs are collections of rank-one orthogonal projections acting on finite-dimensional Hilbert spaces and operational SIC-POVMs are their arbitrary rank counterparts. In this thesis, we cover necessary background on the standard quantum formalism, define SIC-POVMs and outline how they have been constructed up until this point via the orbit of the Weyl-Heisenberg group, which motivates Zauner’s conjecture. We go on to discuss generalised operational SIC-POVMs and give some new theorems that classify them. We then show that an infinite family of operational SIC-POVMs can be obtained via the representation theory of the symmetric group. Possibly shedding light on the unproven Zauner’s conjecture, we prove that an element of this infinite family cannot be generated via an orbit of the Weyl-Heisenberg group. We finish by describing the relation between these operational SIC-POVMs and Bell inequalities.
We construct the set of all general (i.e. not necessarily rank 1) symmetric informationally complete (SIC) positive operator valued measures (POVMs). In particular, we show that any orthonormal basis of a real vector space of dimension corresponds to some general SIC POVM and vice versa. Our constructed set of all general SIC POVMs contains weak SIC POVMs for which each POVM element can be made arbitrarily close to a multiple times the identity. On the other hand, it remains open if for all finite dimensions our constructed family contains a rank 1 SIC POVM.
Abstract The existence of d2d^2d2 pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in ddd-dimensional Hilbert space is known only for finitely many dimensions ddd. We prove that, if there exists a set of real units in a certain ray class field (depending on ddd) satisfying certain algebraic properties, a SIC-POVM exists, when ddd is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at s=0s=0s=0 and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.
The existence of pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in -dimensional Hilbert space is known only for finitely many dimensions ⁠. We prove that, if there exists a set of real units in a certain ray class field (depending on ⁠) satisfying certain algebraic properties, a SIC-POVM exists, when is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.
This paper is an announcement of our result and the detailed version will be submitted to somewhere.(See [2].)POVMs (positive operator valued measure) on quantum systems are considered as a measurement in quantum physics.If POVMs have a good condition, then we can determine a state by results of a measurement.In this case, the POVM is called informationally complete and the process is called quantum state tomography.First, we introduce SIC-POVMs (symmetric informationally complete POVM).SIC-POVMs is generated by vectors in Cn\mathbb{C}^{n}Cn whose the absolute values of inner products of each vectors are same.Zauner conjectured that there exist such n2n^{2}n2 vectors in Cn\mathbb{C}^{n}Cn for any nnn .But the existence is only proved when n≤15n\leq 15n≤15 and n=19n=19n=19 , 24, 35,48[5, 8].Next, we introduce conditional SIC-POVMs.A state of a quantum system is a density matrix which has several parameters.When a few parameters are known, then SIC-POVM is not the best measurement to determine the state.Hence we need another POVM and it is a conditional SIC-POVM.Conditional SIC-POVMs are also generated by vectors in Cn\mathbb{C}^{n}Cn .But the existence of conditional SIC-POVMs depends on the system.We will discuss the details in Sect. 4. 2 Preliminaries Definition 2.1 ρ∈Mn(C)\rho\in M_{n}(\mathbb{C})ρ∈Mn​(C) is called a density matrix (or state) if ρ≥0\rho\geq 0ρ≥0 and ′b(ρ)=1.\prime b(\rho)=1.′b(ρ)=1.For any density matrix ρ\rhoρ , we can define a state ρ^\hat{\rho}ρ^​ by ρ^(X)=h(ρX)\hat{\rho}(X)=h(\rho X)ρ^​(X)=h(ρX) .Conversely, any state is written by the above form.Therefore, there exists a one-t (≻(\succ(≻ one correspondence between density matrices and states.Definition 2.2 A set of positive operators {Pi}i=1k⊂Mn(C)\{P_{i}\}_{i=1}^{k}\subset M_{n}(\mathbb{C}){Pi​}i=1k​⊂Mn​(C) is called a positive operator valued measure (POVM) if Pi≥0(1≤i≤k)P_{i}\geq 0(1\leq i\leq k)Pi​≥0(1≤i≤k) and ∑i=1kP=I.\sum_{i=1}^{k}P=I.∑i=1k​P=I.If P1P_{1}P1​ is a projection, then {Pi}i=1k\{P_{i}\}_{i=1}^{k}{Pi​}i=1k​ is called a projection valued measure (PVM)(PVM)(PVM) .
Symmetric informationally complete (SIC) positive operator valued measures (POVMs) are a class of quantum measurements which, in addition to being informationally complete, satisfy three conditions: (1) every POVM element is rank one, (2) the Hilbert-Schmidt inner product between any two distinct elements is constant, and (3) the trace of each element is constant. The third condition is often overlooked, since it may give the impression that it follows trivially from the second. We show that this condition cannot be removed, as it leads to two distinct values for the trace of an element of the POVM. This observation has led us to define a broader class of measurements which we call semi-SIC POVMs. In dimension two, we show that semi-SIC POVMs exist, and we construct the entire family. In higher dimensions, we characterize key properties and applications of semi-SIC POVMs, and note that the proof of their existence remains open.