Papyrus 91

A symmetric, informationally complete, positive operator valued measure (SIC-POVM) is a special case of a generalized measurement on a Hilbert space, used in the field of quantum mechanics. A measurement of the prescribed form satisfies certain defining qualities that makes it an interesting candidate for a "standard quantum measurement," utilized in the study of foundational quantum mechanics. Furthermore, it has been shown that applications exist in quantum state tomography and quantum cryptography.

Definition

Due to the use of SIC-POVMs primarily in quantum mechanics, Dirac notation will be used to represent elements associated with the Hilbert space.

In general, a POVM over a $d$-dimensional Hilbert space $\mathcal{\mathscr{H}}$ is defined as a set $M$ of positive semidefinite operators $\{F_i\}$ on the Hilbert space that sum to the identity:

$\sum _{i=1}^M{F}_i=I.$

A SIC-POVM is more restrictive in that the operators must be subnormalized projectors related to one another such that they have the properties of symmetry and informational completeness.

In this context informational completeness means that the probabilities of observing the various outcomes entirely determines any quantum state being measured by the scheme. This requires $d^2$ linearly independent operators. Symmetry means that the inner product of all pairs of subnormalized projectors $F_i,F_j$ is a constant:

$\mathrm{T}\mathrm{r}\left(F_i{F}_j\right)=\frac{\mathrm{T}\mathrm{r}\left({\mathrm{\Pi }}_i{\mathrm{\Pi }}_j\right)}{d^2}=\frac{{|⟨{\psi }_i|{\psi }_j⟩|}^2}{d^2}=\frac{1}{d^2(d+1)}i\ne j.$

The combination of symmetry and informational completeness means $M$ is composed entirely of operators of the form

$F_i=\frac{1}{d}{\mathrm{\Pi }}_i,$

where ${\mathrm{\Pi }}_i$ is a rank-one projector.

Properties

Symmetry

As defined above, the distinct pairwise inner product of the pure states must be a constant. Remembering that $\frac{1}{d}\sum _{\alpha }{\mathrm{\Pi }}_{\alpha }=I$ and setting $\mathrm{T}\mathrm{r}({\mathrm{\Pi }}_{\alpha }{\mathrm{\Pi }}_{\beta })={\mu }^2$, its value can be thus demonstrated:

$\begin{array}{rl}d& =\mathrm{T}\mathrm{r}(I^2)\\ & =\frac{1}{d^2}\sum _{\alpha ,\beta }\mathrm{T}\mathrm{r}({\mathrm{\Pi }}_{\alpha }{\mathrm{\Pi }}_{\beta })\\ & =\frac{1}{d^2}(d^2+{\mu }^2{d}^2(d^2-1))\end{array}$

From which it follows in general that

$\mathrm{T}\mathrm{r}\left({\mathrm{\Pi }}_i{\mathrm{\Pi }}_j\right)={|⟨{\psi }_i|{\psi }_j⟩|}^2=\frac{1}{d+1}i\ne j$

Superoperator

In using the SIC-POVM elements, an interesting superoperator can be constructed, the likes of which map $\mathcal{ℬ}(\mathcal{\mathscr{H}})\to \mathcal{ℬ}(\mathcal{\mathscr{H}})$. This operator is most useful in considering the relation of SIC-POVMs with spherical t-designs. Consider the map

$\begin{array}{rl}\mathcal{𝒢}:\mathcal{ℬ}(\mathcal{\mathscr{H}})& \to \mathcal{ℬ}(\mathcal{\mathscr{H}})\\ A& \mapsto \sum _{\alpha }|{\psi }_{\alpha }⟩⟨{\psi }_{\alpha }|A|{\psi }_{\alpha }⟩⟨{\psi }_{\alpha }|\end{array}$

This operator acts on a SIC-POVM element in a way very similar to identity, in that

$\begin{array}{rl}\mathcal{𝒢}({\mathrm{\Pi }}_{\beta })& =\sum _{\alpha }{\mathrm{\Pi }}_{\alpha }{|⟨{\psi }_{\alpha }|{\psi }_{\beta }⟩|}^2\\ & ={\mathrm{\Pi }}_{\beta }+\frac{1}{d+1}\sum _{\alpha \ne \beta }{\mathrm{\Pi }}_{\alpha }\\ & =\frac{d}{d+1}{\mathrm{\Pi }}_{\beta }+\frac{1}{d+1}{\mathrm{\Pi }}_{\beta }+\frac{1}{d+1}\sum _{\alpha \ne \beta }{\mathrm{\Pi }}_{\alpha }\\ & =\frac{d}{d+1}{\mathrm{\Pi }}_{\beta }+\frac{d}{d+1}\sum _{\alpha }\frac{1}{d}{\mathrm{\Pi }}_{\alpha }\\ & =\frac{d}{d+1}({\mathrm{\Pi }}_{\beta }+I)\end{array}$

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:

$G=\frac{d}{d+1}(\mathcal{ℐ}+I)$ where $\mathcal{ℐ}(A)=A\text{ and }I(A)=\mathrm{T}\mathrm{r}(A)I$

From here, the left inverse can be calculated to be $G^{-1}=\frac{1}{d}[(d+1)I-\mathcal{ℐ}]$, and so with the knowledge that

$I=G^{-1}G=\frac{1}{d}\sum _{\alpha }[(d+1){\mathrm{\Pi }}_{\alpha }\odot {\mathrm{\Pi }}_{\alpha }-I\odot {\mathrm{\Pi }}_{\alpha }]$,

an expression for a state $\rho$ can be created in terms of a quasi-probability distribution, as follows:

$\begin{array}{rl}\rho =I|\rho )& =\sum _{\alpha }[(d+1){\mathrm{\Pi }}_{\alpha }-I]\frac{({\mathrm{\Pi }}_{\alpha }|\rho )}{d}\\ & =\sum _{\alpha }[(d+1){\mathrm{\Pi }}_{\alpha }-I]\frac{\mathrm{T}\mathrm{r}({\mathrm{\Pi }}_{\alpha }\rho )}{d}\\ & =\sum _{\alpha }{p}_{\alpha }[(d+1){\mathrm{\Pi }}_{\alpha }-I]\text{ where }{p}_{\alpha }=\mathrm{T}\mathrm{r}({\mathrm{\Pi }}_{\alpha }\rho )/d\\ & =-I+(d+1)\sum _{\alpha }{p}_{\alpha }|{\psi }_{\alpha }⟩⟨{\psi }_{\alpha }|\\ & =\sum _{\alpha }[(d+1)p_{\alpha }-\frac{1}{d}]|{\psi }_{\alpha }⟩⟨{\psi }_{\alpha }|\end{array}$

where $|\rho )$ is the Dirac notation for the density operator viewed in the Hilbert space $\mathcal{ℬ}(\mathcal{\mathscr{H}})$. This shows that the appropriate quasi-probability distribution (termed as such because it may yield negative results) representation of the state $\rho$ is given by

$(d+1)p_{\alpha }-\frac{1}{d}$

Finding SIC sets

Group covariance

General group covariance

A SIC-POVM $P$ is said to be group covariant if there exists a group $G$ with a $d^2$-dimensional unitary representation such that

• $\mathrm{\forall }|\psi ⟩⟨\psi |\in P,\mathrm{\forall }{U}_g\in G,U_g|\psi ⟩\in P$
• $\mathrm{\forall }|\psi ⟩⟨\psi |,|\varphi ⟩⟨\varphi |\in P,\mathrm{\exists }{U}_g\in G,U_g|\varphi ⟩=|\psi ⟩$

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 $|\varphi ⟩$ such that

$|⟨\varphi |U_g|\varphi ⟩{|}^2=\frac{1}{d+1}\mathrm{\forall }g\ne id$.

The SIC-POVM is then the set generated by the group action of $U_g$ on $|\varphi ⟩$.

The case of Z_d × Z_d

So far, most SIC-POVM's have been found by considering group covariance under ${\mathbb{\mathbb{Z}}}_d\times {\mathbb{\mathbb{Z}}}_d$. To construct the unitary representation, we map ${\mathbb{\mathbb{Z}}}_d\times {\mathbb{\mathbb{Z}}}_d$ to $U(d)$, the group of unitary operators on d-dimensions. Several operators must first be introduced. Let $|e_i⟩$ be a basis for $\mathcal{\mathscr{H}}$, then the phase operator is

$T|e_i⟩={\omega }^i|e_i⟩$ where $\omega =e^{\frac{2\pi i}{d}}$ is a root of unity

and the shift operator as

$S|e_i⟩=|e_{i+1modd}⟩$

Combining these two operators yields the Weyl operator $W(p,q)=S^p{T}^q$ which generates the Heisenberg-Weyl group. This is a unitary operator since

$\begin{array}{rl}W(p,q)W^{†}(p,q)& =S^p{T}^q{T}^{-q}{S}^{-p}\\ & =Id\end{array}$

It can be checked that the mapping $(p,q)\in {\mathbb{\mathbb{Z}}}_d\times {\mathbb{\mathbb{Z}}}_d\to W(p,q)$ is a projective unitary representation. It also satisfies all of the properties for group covariance, and is useful for numerical calculation of SIC sets.

Zauner's conjecture

Given some of the useful properties of SIC-POVMs, it would be useful if it was 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 $d\ge 2$ there exists a SIC-POVM whose elements are the orbit of a positive rank-one operator $E_0$ under the Heisenberg group $H_d$. What is more, $E_0$ commutes with an element T of the Jacobi group $J_d=H_d⋊SL(2,{\mathbb{\mathbb{Z}}}_d)$. The action of T on $H_d$ modulo the center has order three.

Utilizing the notion of group covariance on ${\mathbb{\mathbb{Z}}}_d\times {\mathbb{\mathbb{Z}}}_d$, this can be restated as

For any dimension $d\in \mathbb{\mathbb{N}}$, let ${\left\{k\right\}}_{k=0}^{d-1}$ be an orthonormal basis for ${\mathbb{ℂ}}^d$, and define

$\omega =e^{\frac{2\pi i}{d}},D_{j,k}={\omega }^{\frac{jk}{2}}\sum _{m=0}^{d-1}{\omega }^{jm}|k+mmodd⟩⟨m|$

Then $\mathrm{\exists }|\varphi ⟩\in {\mathbb{ℂ}}^d$ such that the set ${\left\{D_{j,k}\right|\varphi ⟩\}}_{j,k=1}^d$ is a SIC-POVM

Partial results

Algebraic and analytical results for finding SIC sets have been shown in the limiting case where the dimension of the Hilbert space is $d=1,\dots ,15,19,24,35,48$. Furthermore, using the Heisenberg group covariance on ${\mathbb{\mathbb{Z}}}_d\times {\mathbb{\mathbb{Z}}}_d$, numerical solutions have been found for all integers less than $d=67$.

The proof for the existence of SIC-POVMs for arbitrary dimensions remains an open question, but is an ongoing field of research in the quantum mechanics community.

Relation to spherical t-designs

A spherical t-design is a set of vectors $S=\left\{\right|{\varphi }_k⟩:|{\varphi }_k⟩\in {\mathbb{𝕊}}^d\}$ on the d-dimensional generalized hypersphere, such that the average value of any $t^{th}$-order polynomial $f_t(\psi )$ over $S$ is equal to the average of $f_t(\psi )$ over all normalized vectors $|\psi ⟩$. Defining ${\mathcal{\mathscr{H}}}_t=\underset{i=1}{\overset{t}{⨂}}\mathcal{\mathscr{H}}$ as the t-fold tensor product of the Hilbert spaces, and

$S_t=\sum _{k=1}^n|{\mathrm{\Phi }}_k^t⟩⟨{\mathrm{\Phi }}_k^t|,|{\mathrm{\Phi }}_k^t⟩=|{\varphi }_k{⟩}^{\otimes t}$

as the t-fold tensor product frame operator, it can be shown that a set of normalized vectors ${\left\{\right|{\varphi }_k⟩\in {\mathbb{𝕊}}^d\}}_{k=1}^n$ with $n\ge (\genfrac{}{}{0ex}{}{t+d-1}{d-1})$ forms a spherical t-design if and only if

$\mathrm{T}\mathrm{r}\left[S_t^2\right]=\sum _{j,k}{|⟨{\varphi }_j|{\varphi }_k⟩|}^{2t}=\frac{n^{2}t!(d-1)!}{(t+d-1)!}$

It then immediately follows that every SIC-POVM is a 2-design, since

$\mathrm{T}\mathrm{r}(S_2^2)=\sum _{j,k}|⟨{\varphi }_j|{\varphi }_k⟩{|}^4=\frac{2d^3}{d+1}$

which is precisely the necessary value that satisfies the above theorem.

Relation to MUBs

In a d-dimensional Hilbert space, two distinct bases $\left\{\right|{\psi }_i⟩\},\left\{\right|{\varphi }_j⟩\}$are said to be mutually unbiased if

$|⟨{\psi }_i|{\varphi }_j⟩{|}^2=\frac{1}{d},\mathrm{\forall }i,j$

This seems similar in nature to the symmetric property of SIC-POVMs. In fact, the problem of finding a SIC-POVM is precisely the problem of finding equiangular lines in ${\mathbb{ℂ}}^d$; whereas mutually unbiased bases are analogous to affine spaces. In fact it can be shown that the geometric analogy of finding a "complete set of $N+1$ mutually unbiased bases is identical to the geometric structure analogous to a SIC-POVM ". It is important to note that the equivalence of these problems is in the strict sense of an abstract geometry, and since the space on which each of these geometric analogues differs, there's no guarantee that a solution on one space will directly correlate with the other.

An example of where this analogous relation has yet to necessarily produce results is the case of 6-dimensional Hilbert space, in which a SIC-POVM has been analytically computed using mathematical software, but no complete mutually unbiased bases has yet been discovered.

See also

• Measurement in quantum mechanics
• Mutually unbiased bases
• POVM
• Quantum Bayesianism