
In the context of quantum mechanics and quantum information theory, symmetric, informationally complete, positive operator-valued measures (SIC-POVMs) are a particular type of generalized measurement (POVM). SIC-POVMs are particularly notable thanks to their defining features of (1) being informationally complete; (2) having the minimal number of outcomes compatible with informational completeness, and (3) being highly symmetric. In this context, informational completeness is the property of a POVM of allowing to fully reconstruct input states from measurement data.
The properties of SIC-POVMs make them an interesting candidate for a "standard quantum measurement", utilized in the study of foundational quantum mechanics, most notably in QBism. SIC-POVMs have several applications in the context of quantum state tomography and quantum cryptography, and a possible connection has been discovered with Hilbert's twelfth problem.
A POVM over a -dimensional Hilbert space is a set of positive-semidefinite operators that sum to the identity:
If a POVM consists of at least operators which span the space of self-adjoint operators , it is said to be an informationally complete POVM (IC-POVM). IC-POVMs consisting of exactly elements are called minimal. A set of rank-1 projectors which have equal pairwise Hilbert–Schmidt inner products, defines a minimal IC-POVM with elements called a SIC-POVM.
Consider an arbitrary set of rank-1 projectors such that is a POVM, and thus . Asking the projectors to have equal pairwise inner products, for all , fixes the value of . To see this, observe that implies that . Thus, This property is what makes SIC-POVMs symmetric: Any pair of elements has the same Hilbert–Schmidt inner product as any other pair.
In using the SIC-POVM elements, an interesting superoperator can be constructed, the likes of which map . This operator is most useful in considering the relation of SIC-POVMs with spherical t-designs. Consider the map
This operator acts on a SIC-POVM element in a way very similar to identity, in that
But since elements of a SIC-POVM can completely and uniquely determine any quantum state, this linear operator can be applied to the decomposition of any state, resulting in the ability to write the following:
From here, the left inverse can be calculated to be , and so with the knowledge that
an expression for a state can be created in terms of a quasi-probability distribution, as follows:
where is the Dirac notation for the density operator viewed in the Hilbert space . This shows that the appropriate quasi-probability distribution (termed as such because it may yield negative results) representation of the state is given by
For the equations that define the SIC-POVM can be solved by hand, yielding the vectors
which form the vertices of a regular tetrahedron in the Bloch sphere. The projectors that define the SIC-POVM are given by , and the elements of the SIC-POVM are thus .
For higher dimensions this is not feasible, necessitating the use of a more sophisticated approach.
A SIC-POVM is said to be group covariant if there exists a group with a -dimensional unitary representation such that
The search for SIC-POVMs can be greatly simplified by exploiting the property of group covariance. Indeed, the problem is reduced to finding a normalized fiducial vector such that
The SIC-POVM is then the set generated by the group action of on .
So far, most SIC-POVM's have been found by considering group covariance under . To construct the unitary representation, we map to , the group of unitary operators on d-dimensions. Several operators must first be introduced. Let be a basis for , then the phase operator is
and the shift operator as
Combining these two operators yields the unitary Weyl operator , which generates the Heisenberg-Weyl group.
It can be checked that the mapping is a projective unitary representation. It also satisfies all of the properties for group covariance, and is useful for numerical calculation of SIC sets.
Given some of the useful properties of SIC-POVMs, it would be useful if it were positively known whether such sets could be constructed in a Hilbert space of arbitrary dimension. Originally proposed in the dissertation of Zauner, a conjecture about the existence of a fiducial vector for arbitrary dimensions was hypothesized.
More specifically,
For every dimension there exists a SIC-POVM whose elements are the orbit of a positive rank-one operator under the Weyl–Heisenberg group . What is more, commutes with an element T of the Jacobi group . The action of T on modulo the center has order three.
Utilizing the notion of group covariance on , this can be restated as
For any dimension , let be an orthonormal basis for , and define
Then such that the set is a SIC-POVM.
Zauner's conjecture on the existence of SIC-POVMs for arbitrary dimensions has been a long-standing open question.
Exact expressions for SIC sets have been found for Hilbert spaces of all dimensions from through inclusive, and in some higher dimensions as large as , for 115 values of in all. Furthermore, using the Heisenberg group covariance on , numerical solutions have been found for all integers up through , and in some larger dimensions up to .
There exists a construction that has been conjectured to work for all prime dimensions of the form for integer .
In 2025, Appleby, Flammia and Kopp gave a construction of SICs that was conjectured to work for all dimensions. This relied on a number theoretic conjecture that was claimed to be settled by Radchenko and Wheeler in 2026.
A spherical t-design is a set of vectors on the d-dimensional generalized hypersphere, such that the average value of any -order polynomial over is equal to the average of over all normalized vectors . Defining as the t-fold tensor product of the Hilbert spaces, and
as the t-fold tensor product frame operator, it can be shown that a set of normalized vectors with forms a spherical t-design if and only if
It then immediately follows that every SIC-POVM is a 2-design, since and
which is precisely the necessary value that satisfies the above theorem.
In a d-dimensional Hilbert space, two distinct bases are said to be mutually unbiased if
This seems similar in nature to the symmetric property of SIC-POVMs. Wootters points out that a complete set of unbiased bases yields a geometric structure known as a finite projective plane, while a SIC-POVM (in any dimension that is a prime power) yields a finite affine plane, a type of structure whose definition is identical to that of a finite projective plane with the roles of points and lines exchanged. In this sense, the problems of SIC-POVMs and of mutually unbiased bases are dual to one another.
In dimension , the analogy can be taken further: a complete set of mutually unbiased bases can be directly constructed from a SIC-POVM. The 9 vectors of the SIC-POVM, together with the 12 vectors of the mutually unbiased bases, form a set that can be used in a Kochen–Specker proof. However, in 6-dimensional Hilbert space, a SIC-POVM is known, but no complete set of mutually unbiased bases has yet been discovered, and it is widely believed that no such set exists.