SIC-POVM

In the Bloch sphere representation of a qubit, the states of a SIC-POVM form a regular tetrahedron. Zauner conjectured that analogous structures exist in complex Hilbert spaces of all finite dimensions.

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 ^{[ citation needed ]}. SIC-POVMs have several applications in the context of quantum state tomography ^[1] and quantum cryptography, ^[2] and a possible connection has been discovered with Hilbert's twelfth problem. ^[3]

Definition

Unsolved problem in mathematics:

Do SIC-POVMs exist in all dimensions?

(more unsolved problems in mathematics)

A POVM over a ${\displaystyle d}$-dimensional Hilbert space ${\displaystyle {\mathcal {H}}}$ is a set of ${\displaystyle m}$ positive-semidefinite operators ${\displaystyle \left\{F_{i}\right\}_{i=1}^{m}}$ that sum to the identity:

$${\displaystyle \sum _{i=1}^{m}F_{i}=I.}$$

If a POVM consists of at least ${\displaystyle d^{2}}$ operators which span the space of self-adjoint operators ${\displaystyle {\mathcal {L}}({\mathcal {H}})}$, it is said to be an informationally complete POVM (IC-POVM). IC-POVMs consisting of exactly ${\displaystyle d^{2}}$ elements are called minimal. A set of ${\displaystyle d^{2}}$ rank-1 projectors ${\displaystyle \left\{\Pi _{i}\right\}_{i=1}^{d^{2}}}$ which have equal pairwise Hilbert–Schmidt inner products,

$${\displaystyle \mathrm {Tr} \left(\Pi _{i}\Pi _{j}\right)={\frac {d\delta _{ij}+1}{d+1}},}$$

defines a minimal IC-POVM with elements ${\displaystyle F_{i}={\frac {1}{d}}\Pi _{i}}$ called a SIC-POVM.

Properties

Symmetry

Consider an arbitrary set of rank-1 projectors ${\displaystyle (\Pi _{i})_{i=1}^{d^{2}}}$ such that ${\displaystyle F_{i}=\Pi _{i}/d}$ is a POVM, and thus ${\displaystyle {\frac {1}{d}}\sum _{i}\Pi _{i}=I}$. Asking the projectors to have equal pairwise inner products, ${\displaystyle \mathrm {Tr} (\Pi _{i}\Pi _{j})=c}$ for all ${\displaystyle i\neq j}$, fixes the value of ${\displaystyle c}$. To see this, observe that

$${\displaystyle {\begin{aligned}d&=\mathrm {Tr} (I^{2})\\&={\frac {1}{d^{2}}}\sum _{i,j}\mathrm {Tr} (\Pi _{i}\Pi _{j})\\&={\frac {1}{d^{2}}}\left(d^{2}+cd^{2}(d^{2}-1)\right)\end{aligned}}}$$

implies that ${\displaystyle c={\frac {1}{d+1}}}$. Thus,

$${\displaystyle \mathrm {Tr} \left(\Pi _{i}\Pi _{j}\right)={\frac {d\delta _{ij}+1}{d+1}}.}$$

This property is what makes SIC-POVMs symmetric; with respect to the Hilbert–Schmidt inner product, any pair of elements is equivalent to any other pair.

Superoperator

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

${\displaystyle {\begin{aligned}{\mathcal {G}}:{\mathcal {L}}({\mathcal {H}})&\rightarrow {\mathcal {L}}({\mathcal {H}})\\A&\mapsto \displaystyle \sum _{\alpha }|\psi _{\alpha }\rangle \langle \psi _{\alpha }|A|\psi _{\alpha }\rangle \langle \psi _{\alpha }|\end{aligned}}}$

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

${\displaystyle {\begin{aligned}{\mathcal {G}}(\Pi _{\beta })&=\displaystyle \sum _{\alpha }\Pi _{\alpha }\left|\langle \psi _{\alpha }|\psi _{\beta }\rangle \right|^{2}\\&=\displaystyle \Pi _{\beta }+{\frac {1}{d+1}}\sum _{\alpha \neq \beta }\Pi _{\alpha }\\&=\displaystyle {\frac {d}{d+1}}\Pi _{\beta }+{\frac {1}{d+1}}\Pi _{\beta }+{\frac {1}{d+1}}\sum _{\alpha \neq \beta }\Pi _{\alpha }\\&=\displaystyle {\frac {d}{d+1}}\Pi _{\beta }+{\frac {d}{d+1}}\sum _{\alpha }{\frac {1}{d}}\Pi _{\alpha }\\&=\displaystyle {\frac {d}{d+1}}\left(\Pi _{\beta }+I\right)\end{aligned}}}$

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:

${\displaystyle G={\frac {d}{d+1}}\left({\mathcal {I}}+I\right)}$ where ${\displaystyle I(A)=A{\text{ and }}{\mathcal {I}}(A)=\mathrm {Tr} (A)I}$

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

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

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

${\displaystyle {\begin{aligned}\rho =I|\rho )&=\displaystyle \sum _{\alpha }\left[(d+1)\Pi _{\alpha }-I\right]{\frac {(\Pi _{\alpha }|\rho )}{d}}\\&=\displaystyle \sum _{\alpha }\left[(d+1)\Pi _{\alpha }-I\right]{\frac {\mathrm {Tr} (\Pi _{\alpha }\rho )}{d}}\\&=\displaystyle \sum _{\alpha }p_{\alpha }\left[(d+1)\Pi _{\alpha }-I\right]\quad {\text{ where }}p_{\alpha }=\mathrm {Tr} (\Pi _{\alpha }\rho )/d\\&=\displaystyle -I+(d+1)\sum _{\alpha }p_{\alpha }|\psi _{\alpha }\rangle \langle \psi _{\alpha }|\\&=\displaystyle \sum _{\alpha }\left[(d+1)p_{\alpha }-{\frac {1}{d}}\right]|\psi _{\alpha }\rangle \langle \psi _{\alpha }|\end{aligned}}}$

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

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

Finding SIC sets

Simplest example

For ${\displaystyle d=2}$ the equations that define the SIC-POVM can be solved by hand, yielding the vectors

$${\displaystyle {\begin{aligned}|\psi _{1}\rangle &=|0\rangle \\|\psi _{2}\rangle &={\frac {1}{\sqrt {3}}}|0\rangle +{\sqrt {\frac {2}{3}}}|1\rangle \\|\psi _{3}\rangle &={\frac {1}{\sqrt {3}}}|0\rangle +{\sqrt {\frac {2}{3}}}e^{i{\frac {2\pi }{3}}}|1\rangle \\|\psi _{4}\rangle &={\frac {1}{\sqrt {3}}}|0\rangle +{\sqrt {\frac {2}{3}}}e^{i{\frac {4\pi }{3}}}|1\rangle ,\end{aligned}}}$$

which form the vertices of a regular tetrahedron in the Bloch sphere. The projectors that define the SIC-POVM are given by ${\displaystyle \Pi _{i}=|\psi _{i}\rangle \langle \psi _{i}|}$, and the elements of the SIC-POVM are thus ${\displaystyle F_{i}=\Pi _{i}/2=|\psi _{i}\rangle \!\langle \psi _{i}|/2}$.

For higher dimensions this is not feasible, necessitating the use of a more sophisticated approach.

Group covariance

General group covariance

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

• ${\displaystyle \forall |\psi \rangle \langle \psi |\in P,\quad \forall U_{g}\in G,\quad U_{g}|\psi \rangle \in P}$
• ${\displaystyle \forall |\psi \rangle \langle \psi |,|\phi \rangle \langle \phi |\in P,\quad \exists U_{g}\in G,\quad U_{g}|\phi \rangle =|\psi \rangle }$

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${\displaystyle |\phi \rangle }$ such that

${\displaystyle |\langle \phi |U_{g}|\phi \rangle |^{2}={\frac {1}{d+1}}\ \forall g\neq id}$.

The SIC-POVM is then the set generated by the group action of ${\displaystyle U_{g}}$ on ${\displaystyle |\phi \rangle }$.

The case of Z_d × Z_d

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

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

and the shift operator as

${\displaystyle S|e_{i}\rangle =|e_{i+1{\pmod {d}}}\rangle }$

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

${\displaystyle {\begin{aligned}W(p,q)W^{\dagger }(p,q)&=S^{p}T^{q}T^{-q}S^{-p}\\&=Id\end{aligned}}}$

It can be checked that the mapping ${\displaystyle (p,q)\in \mathbb {Z} _{d}\times \mathbb {Z} _{d}\rightarrow W(p,q)}$ is a projective unitary representation. It also satisfies all of the properties for group covariance, ^[6] 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 were positively known whether such sets could be constructed in a Hilbert space of arbitrary dimension. Originally proposed in the dissertation of Zauner, ^[7] a conjecture about the existence of a fiducial vector for arbitrary dimensions was hypothesized.

More specifically,

For every dimension ${\displaystyle d\geq 2}$ there exists a SIC-POVM whose elements are the orbit of a positive rank-one operator ${\displaystyle E_{0}}$ under the Weyl–Heisenberg group ${\displaystyle H_{d}}$. What is more, ${\displaystyle E_{0}}$ commutes with an element T of the Jacobi group ${\displaystyle J_{d}=H_{d}\rtimes SL(2,\mathbb {Z} _{d})}$. The action of T on ${\displaystyle H_{d}}$ modulo the center has order three.

Utilizing the notion of group covariance on ${\displaystyle \mathbb {Z} _{d}\times \mathbb {Z} _{d}}$, this can be restated as ^[8]

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

${\displaystyle \displaystyle \omega =e^{\frac {2\pi i}{d}},\quad \quad D_{j,k}=\omega ^{\frac {jk}{2}}\sum _{m=0}^{d-1}\omega ^{jm}|k+m{\pmod {d}}\rangle \langle m|}$

Then ${\displaystyle \exists |\phi \rangle \in \mathbb {C} ^{d}}$ such that the set ${\displaystyle \left\{D_{j,k}|\phi \rangle \right\}_{j,k=1}^{d}}$ is a SIC-POVM.

Partial results

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

Exact expressions for SIC sets have been found for Hilbert spaces of all dimensions from ${\displaystyle d=2}$ through ${\displaystyle d=53}$ inclusive, and in some higher dimensions as large as ${\displaystyle d=5779}$, for 115 values of ${\displaystyle d}$ in all. ^{[lower-alpha 1]} Furthermore, using the Heisenberg group covariance on ${\displaystyle \mathbb {Z} _{d}\times \mathbb {Z} _{d}}$, numerical solutions have been found for all integers up through ${\displaystyle d=193}$, and in some larger dimensions up to ${\displaystyle d=2208}$. ^{[lower-alpha 2]}

Relation to spherical t-designs

A spherical t-design is a set of vectors ${\displaystyle S=\left\{|\phi _{k}\rangle$ :|\phi _{k}\rangle \in \mathbb {S} ^{d}\right\}} on the d-dimensional generalized hypersphere, such that the average value of any ${\displaystyle t^{th}}$-order polynomial ${\displaystyle f_{t}(\psi )}$ over ${\displaystyle S}$ is equal to the average of ${\displaystyle f_{t}(\psi )}$ over all normalized vectors ${\displaystyle |\psi \rangle }$. Defining ${\displaystyle {\mathcal {H}}_{t}=\displaystyle \bigotimes _{i=1}^{t}{\mathcal {H}}}$ as the t-fold tensor product of the Hilbert spaces, and

${\displaystyle S_{t}=\displaystyle \sum _{k=1}^{n}|\Phi _{k}^{t}\rangle \langle \Phi _{k}^{t}|,\quad |\Phi _{k}^{t}\rangle =|\phi _{k}\rangle ^{\otimes t}}$

as the t-fold tensor product frame operator, it can be shown that ^[8] a set of normalized vectors ${\displaystyle \left\{|\phi _{k}\rangle \in \mathbb {S} ^{d}\right\}_{k=1}^{n}}$ with ${\displaystyle n\geq {t+d-1 \choose d-1}}$ forms a spherical t-design if and only if

${\displaystyle \displaystyle \mathrm {Tr} \left[S_{t}^{2}\right]=\sum _{j,k}\left|\langle \phi _{j}|\phi _{k}\rangle \right|^{2t}={\frac {n^{2}t!(d-1)!}{(t+d-1)!}}}$

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

${\displaystyle \mathrm {Tr} (S_{2}^{2})=\displaystyle \sum _{j,k}|\langle \phi _{j}|\phi _{k}\rangle |^{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 ${\displaystyle \left\{|\psi _{i}\rangle \right\},\left\{|\phi _{j}\rangle \right\}}$ are said to be mutually unbiased if

${\displaystyle \displaystyle |\langle \psi _{i}|\phi _{j}\rangle |^{2}={\frac {1}{d}},\quad \forall i,j}$

This seems similar in nature to the symmetric property of SIC-POVMs. Wootters points out that a complete set of ${\displaystyle d+1}$ 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. ^[17]

In dimension ${\displaystyle d=3}$, the analogy can be taken further: a complete set of mutually unbiased bases can be directly constructed from a SIC-POVM. ^[18] 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. ^[19] 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. ^{[20] [21]}

See also

• Measurement in quantum mechanics
• Mutually unbiased bases
• POVM
• QBism

Notes

1. Details of these exact solutions can be found in the literature. ^{[7] [8] [9] [10] [11] [12] [13] [14]}
2. Like the exact solutions, the numerical solutions have been presented over the years in a series of publications by different authors. ^{[8] [10] [15] [16] [5] [14]}

References

1. Caves, Carlton M.; Fuchs, Christopher A.; Schack, Rüdiger (September 2002). "Unknown quantum states: The quantum de Finetti representation". Journal of Mathematical Physics . 43 (9): 4537–4559. arXiv: quant-ph/0104088 . Bibcode:2002JMP....43.4537C. doi:10.1063/1.1494475. ISSN   0022-2488. S2CID   17416262.
2. Fuchs, C. A.; Sasaki, M. (2003). "Squeezing Quantum Information through a Classical Channel: Measuring the 'Quantumness' of a Set of Quantum States". Quant. Info. Comp. 3: 377–404. arXiv: quant-ph/0302092 . Bibcode:2003quant.ph..2092F.
3. Appleby, Marcus; Flammia, Steven; McConnell, Gary; Yard, Jon (2017-04-24). "SICs and Algebraic Number Theory". Foundations of Physics . 47 (8): 1042–1059. arXiv: 1701.05200 . Bibcode:2017FoPh...47.1042A. doi:10.1007/s10701-017-0090-7. ISSN   0015-9018. S2CID   119334103.
4. C.M. Caves (1999); http://info.phys.unm.edu/~caves/reports/infopovm.pdf
5. Fuchs, Christopher A.; Hoang, Michael C.; Stacey, Blake C. (2017-03-22). "The SIC Question: History and State of Play". Axioms. 6 (4): 21. arXiv: 1703.07901 . doi: 10.3390/axioms6030021 .
6. Appleby, D. M. (2005). "SIC-POVMs and the Extended Clifford Group". Journal of Mathematical Physics. 46 (5): 052107. arXiv: quant-ph/0412001 . Bibcode:2005JMP....46e2107A. doi:10.1063/1.1896384.
7. G. Zauner, Quantendesigns – Grundzüge einer nichtkommutativen Designtheorie. Dissertation, Universität Wien, 1999. http://www.gerhardzauner.at/documents/gz-quantendesigns.pdf
8. Renes, Joseph M.; Blume-Kohout, Robin; Scott, A. J.; Caves, Carlton M. (2004). "Symmetric Informationally Complete Quantum Measurements". Journal of Mathematical Physics. 45 (6): 2171. arXiv: quant-ph/0310075 . Bibcode:2004JMP....45.2171R. doi:10.1063/1.1737053. S2CID   17371881.
9. A. Koldobsky and H. König, “Aspects of the Isometric Theory of Banach Spaces,” in Handbook of the Geometry of Banach Spaces, Vol. 1, edited by W. B. Johnson and J. Lindenstrauss, (North Holland, Dordrecht, 2001), pp. 899–939.
10. Scott, A. J.; Grassl, M. (2010). "SIC-POVMs: A new computer study". Journal of Mathematical Physics. 51 (4): 042203. arXiv: 0910.5784 . Bibcode:2010JMP....51d2203S. doi:10.1063/1.3374022. S2CID   115159554.
11. TY Chien. ``Equiangular lines, projective symmetries and nice error frames. PhD thesis University of Auckland (2015); https://www.math.auckland.ac.nz/~waldron/Tuan/Thesis.pdf
12. "Exact SIC fiducial vectors". University of Sydney . Retrieved 2018-03-07.
13. Appleby, Marcus; Chien, Tuan-Yow; Flammia, Steven; Waldron, Shayne (2018). "Constructing exact symmetric informationally complete measurements from numerical solutions". Journal of Physics A: Mathematical and Theoretical. 51 (16): 165302. arXiv: 1703.05981 . Bibcode:2018JPhA...51p5302A. doi:10.1088/1751-8121/aab4cd. S2CID   119736328.
14. Stacey, Blake C. (2021). A First Course in the Sporadic SICs. Cham, Switzerland: Springer. p. 6. ISBN   978-3-030-76104-2. OCLC   1253477267.
15. Fuchs, Christopher A.; Stacey, Blake C. (2016-12-21). "QBism: Quantum Theory as a Hero's Handbook". arXiv: 1612.07308 [quant-ph].
16. Scott, A. J. (2017-03-11). "SICs: Extending the list of solutions". arXiv: 1703.03993 [quant-ph].
17. Wootters, William K. (2004). "Quantum measurements and finite geometry". arXiv: quant-ph/0406032 .
18. Stacey, Blake C. (2016). "SIC-POVMs and Compatibility among Quantum States". Mathematics. 4 (2): 36. arXiv: 1404.3774 . doi: 10.3390/math4020036 .
19. Bengtsson, Ingemar; Blanchfield, Kate; Cabello, Adán (2012). "A Kochen–Specker inequality from a SIC". Physics Letters A . 376 (4): 374–376. arXiv: 1109.6514 . Bibcode:2012PhLA..376..374B. doi:10.1016/j.physleta.2011.12.011. S2CID   55755390.
20. Grassl, Markus (2004). "On SIC-POVMs and MUBs in Dimension 6". arXiv: quant-ph/0406175 .
21. Bengtsson, Ingemar; Życzkowski, Karol (2017). Geometry of quantum states : an introduction to quantum entanglement (Second ed.). Cambridge, United Kingdom: Cambridge University Press. pp. 313–354. ISBN   9781107026254. OCLC   967938939.