Abstract
The state of a quantum system is a density matrix with several parameters. The concern herein is how to recover the parameters. Several possibilities exist for the optimal recovery method, and we consider some special cases. We assume that a few parameters are known and that the others are to be recovered. The optimal positive-operator-valued measure (POVM) for recovering unknown parameters with an additional condition is called a conditional symmetric informationally complete POVM (SIC-POVM). In this paper, we study the existence or nonexistence of conditional SIC-POVMs. We provide a necessary condition for existence and some examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Positive-operator-valued measures (POVMs) are motivated by quantum information theory. A POVM is a set \(\{F_i \}_{i=1}^k \subset M_n({\mathbb C})\) of positive operators such that \(\sum _i F_i=I\). A density matrix \(\rho \in M_n({\mathbb C})\) can be (partially) informed by the probability distribution \(\{{{\mathrm {Tr}}}\,\rho F_i\}_{i=1}^k\). A density matrix \(\rho \in M_n({\mathbb C})\) has \(n^2-1\) real parameters. To recover all of the parameters, \(k\ge n^2\) must hold for the POVM. We can take rank-one projections \(P_i\), \(1 \le i \le n^2\), such that
comprise a symmetric informationally complete POVM (SIC-POVM), also known as an equiangular tight frame [8, 25–29]. This currently popular idea [1, 2, 4, 10, 20, 33] was defined by Zauner [31, 32]. Zauner proved the existence when \(n \le 5\), and there has been further mathematical and numerical discussions on the same [5, 23]. Whether a SIC-POVM exists for every dimension is not known. We can also consider fewer than \(n^2\) projections with similar properties.
A SIC-POVM \(\{F_i \}_{i=1}^{n^2}\) of an n-level system is relevant for quantum state tomography [2, 15, 17, 19, 21] and is optimal for several arguments; for example, SIC-POVMs are optimal for linear quantum state tomography. The minimization of the determinant of the average covariance matrix was studied in [17], and the minimization of the square of the Hilbert–Schmidt distance between the estimation and the true density was investigated in [21].
However, if some of the \(n^2-1\) parameters of a density matrix \(\rho \) are known, a SIC-POVM is not the optimal POVM for linear quantum state tomography for such \(\rho \). It is obvious that the optimal POVM depends on the known parameters. The optimal POVM in such a case is studied in [18, 22]. A set of projectors \(P_i\), \(1\le i \le N\) satisfying
where N is the dimension of the subspace corresponding to the unknown parameter, comprises a conditional SIC-POVM [18]. A conditional SIC-POVM is the optimal POVM for linear quantum state tomography in this case.
The existence of a conditional SIC-POVM is a fundamental question. SIC-POVMs and mutually unbiased bases (MUBs) involve similar problem. Neither the existence of SIC-POVMs in higher-dimensional Hilbert spaces nor the nonexistence of MUBs in a six-dimensional Hilbert space has been proved. On the other hand, conditional SIC-POVMs are considered as equiangular tight frames. The existence of equiangular tight frames is also studied in many literature (e.g., [8, 26–28]).
The main result of this paper, Theorem 2, presents a necessary condition for the existence of a conditional SIC-POVM. Using the necessary condition, we show some examples of nonexistence of conditional SIC-POVMs. Some other examples of conditional SIC-POVMs are also considered in Sect. 4.
2 The optimality of conditional SIC-POVMs
In this section, we survey the optimal POVMs for linear quantum state tomography and conditional SIC-POVMs according to [18, 21, 22].
A quantum state (or a density matrix) \(\rho \in M_n({\mathbb C})\) satisfies the conditions \({{\mathrm {Tr}}}\,\rho =1\) and \(\rho \ge 0\). We decompose \(M_n({\mathbb C})\) into three orthogonal self-adjoint subspaces:
where \(A:=\{ \lambda I: \lambda \in {\mathbb C}\}\) is one dimensional. Denote the orthogonal projections onto the subspaces A, B, C by \(\mathbf {A},\mathbf {B},\mathbf {C}\). A density matrix \(\rho \in M_n({\mathbb C})\) has the form
Assume that \(\mathbf {B}\rho \) and \(\mathbf {C}\rho \) are the known and unknown traceless parts of \(\rho \), respectively, and that \(\mathbf {C}\rho \) is to be estimated.
We use the notation \(\rho _*=\rho -\mathbf {B}\rho \). The aim of quantum state tomography is to recover \(\rho _*\). Though there exist several methods of quantum state tomography, we only consider linear quantum state tomography (see Remark 1 or [21] for details).
If the dimension of B is m, then the dimension of C is \(n^2-m-1\). To reconstruct \(\rho _*\), we must use a POVM with at least \(N=n^2-m\) elements. Additionally, we assume that a POVM \(\{F_i\}_{i=1}^k\) is in \(A\oplus C\) according to [18].
An informationally complete POVM is a POVM with the property that each quantum state is uniquely determined by its measurement statistics.
Definition 1
A POVM \(\{F_i\}_{i=1}^k \subset A \oplus C\) is informationally complete with respect to \(A\oplus C\), if for each pair of states \(\rho , \sigma \in M_n({\mathbb C})\) with \(\rho _* \ne \sigma _*\) there exists i such that \({{\mathrm {Tr}}}\,(\rho _* F_i) \ne {{\mathrm {Tr}}}\,(\sigma _* F_i)\).
We remark \({{\mathrm {Tr}}}\,(\rho F_i) = {{\mathrm {Tr}}}\,(\rho _* F_i) + {{\mathrm {Tr}}}\,( (\mathbf {B}\rho ) F_i) = {{\mathrm {Tr}}}\,(\rho _* F_i)\).
The next proposition follows easily.
Proposition 1
A POVM \(\{F_i\}_{i=1}^k \subset A \oplus C\) is informationally complete with respect to \(A \oplus C\) if and only if \(\mathrm{span}\{F_{i}\}_{i=1}^k = A \oplus C\).
If a POVM \(\{F_i\}_{i=1}^k\subset A \oplus C\) is informationally complete w.r.t. \(A \oplus C\), then there exists a set of self-adjoint operators \(\{Q_i\}_{i=1}^k \subset M_n({\mathbb C})\) satisfying
for any state \(\rho \in M_n({\mathbb C})\). We call \(\{Q_i \}_{i=1}^k\) a dual frame of \(\{F_i \}_{i=1}^k\), though this is slightly different from the original definition. Define the superoperator \(\mathbf {F}\) on \(M_n({\mathbb C})\) by
which is invertible on \(\mathrm{supp} \mathbf {F}= A \oplus C\), where \(|F_{i} \rangle \langle F_{i}| X = {{\mathrm {Tr}}}\,(F_{i} X) F_{i}\) for all \(X \in M_n({\mathbb C})\). Then, the set of
is a dual frame of \(\{F_i\}_{i=1}^k\), and is called the canonical dual frame of \(\{F_i\}_{i=1}^k\).
If a measurement corresponding to \(\{F_i\}_{i=1}^k\) is performed on a system in a state corresponding to \(\rho \in M_n({\mathbb C})\), then the probability of obtaining a measurement value i is
Assume that \(y_1, \ldots , y_M\) are outcomes of measurements on M identical copies of the state \(\rho \), with the result that \(y_i \in \{ 1, 2, \ldots , k\}\). Let \(x_j\) be the number of outcomes j, i.e., \(x_j = | \{ i \,:\, y_i = j\}|\). An approximate value of \(p_i\) is
Then, our estimate of \(\rho _*\) is
The error measured by the square of the Hilbert–Schmidt norm is
Since \(\hat{p}_i\) is considered as a random variable, we can take the expectation \(E\left( \Vert \rho _* - \hat{\rho }_* \Vert ^2_2\right) \), of the above error. We assume that the choice of an unknown state \(\rho \in M_n({\mathbb C})\) depends on a probability measure \(\mu \) on the set of all states in \(M_n({\mathbb C})\). Additionally, we assume \(\int \rho \mathrm{d}\mu (\rho ) = \frac{1}{n}I\). For a POVM \(\{F_i\}_{i=1}^k\) and a dual frame \(\{Q_i\}_{i=1}^k\) of \(\{F_i\}_{i=1}^k\), we denote the expected value of the error by
(see, e.g., [18]). We would like to minimize e(F, Q).
Proposition 2
[18, 21, 22] For a fixed informationally complete POVM \(\{F_i\}_{i=1}^k \subset A \oplus C\) w.r.t. \(A \oplus C\), the expected value of the error e(F, Q) is minimized when \(\{Q_i\}_{i=1}^k\) is the canonical dual frame of \(\{F_i\}_{i=1}^k\).
A POVM \(\{F_i\}_{i=1}^k\) (with the canonical dual frame \(\{Q_i\}_{i=1}^k\)) is optimal, if the average of the expected values of the error e(F, Q) is the minimum among all POVMs and all dual frames. If a POVM is optimal, then it satisfies the following condition.
Theorem 1
[18, 22] An informationally complete POVM \(\{F_i\}_{i=1}^k \subset A \oplus C\) w.r.t. \(A \oplus C\) is optimal if and only if
In addition, let \(k=N\) and \(P_i = \frac{N}{n}F_i\). Then, the POVM \(\{F_i\}_{i=1}^N\) is optimal, or equivalently the equality (5) holds if and only if
When \(\{F_i\}_{i=1}^N\) satisfies (5), then \(P_i\) is a rank-one projection and \(\{F_i\}_{i=1}^N\) (and also \(\{P_i\}_{i=1}^N\)) is called a conditional SIC-POVM.
Remark 1
There exist several methods of quantum state tomography. In this paper, we only consider an estimate \(\hat{\rho }_*\) given by (3) and (4). Such a method is called linear quantum state tomography [21]. Remark that there exist better estimation methods of quantum state tomography (see, e.g., [19, 30]).
Remark 2
The square root of the value
in Theorem 1 is called Welch bound [25, 29]. A set of unit vectors \(\{ \xi _i \}_{i=1}^N \subset {\mathbb C}^n\) is called an equiangular tight frame if
for all \(1\le i, j \le N\), and \(i \ne j\). Therefore, a conditional SIC-POVM is actually an equiangular tight frame. However, the existence of conditional SIC-POVM also depends on the subspace B which corresponds to the known space. Hence, the existence of conditional SIC-POVMs and the existence of equiangular tight frames are slightly different (see Remark 4 for details).
3 Necessary condition for existence of conditional SIC-POVMs
In this section, we present a necessary condition for the existence of a conditional SIC-POVM. The existence of conditional SIC-POVMs is a fundamental question. It is often not easy to prove nonexistence, as in the case of MUBs in a six-dimensional Hilbert space, but we can prove nonexistence in some cases using the necessary condition.
Lemma 1
Let a set of rank-one projections \(\{ P_i \}_{i=1}^N\) be a conditional SIC-POVM in \(A \oplus C\), and let
Then, \(\{ S_i \}_{i=1}^N\) is an orthonormal basis of \(A \oplus C\).
Proof
The normality of \(\{S_i \}_{i=1}^N\) is proved by simple calculation:
for any \(1\le i \le N\). The orthogonality of \(\{S_i \}_{i=1}^N\) is shown as follows:
for any \(1\le i< j \le N\). \(\square \)
Theorem 2
If there exists a conditional SIC-POVM in \(A \oplus C\), then for any \(X \in B\) and any orthonormal basis \(\{R_i\}_{i=1}^m\) of B, the following equation holds:
Proof
Let \(\{ P_i\}_{i=1}^N\) be a conditional SIC-POVM in \(A \oplus C\) and define \(\{ S_i \}_{i=1}^N\) by (6). From the previous lemma, \(\{ S_1, \ldots , S_N, R_1, \ldots R_m \}\) is an orthonormal basis of \(M_n({\mathbb C})\). It is well known that
B is orthogonal to \(A = {\mathbb C} I\), with the result that \({{\mathrm {Tr}}}\,(X) = 0\). Hence, we will calculate \(\sum _{i=1}^N S_i^* X S_i \). Since \(P_i\) is a rank-one projection, \(P_i X P_i = t P_i\) for some \(t \in {\mathbb C}\). However, \({{\mathrm {Tr}}}\,(P_i X P_i ) = \langle P_i , X \rangle =0 \) implies that \(t=0\); therefore, \(P_i X P_i = 0\). From the equation
we have
This implies the assertion. \(\square \)
If Eq. (7) in Theorem 2 holds for an orthonormal basis \(\{R_i \}_{i=1}^m\) of B, the equation also holds for any other orthonormal basis of B. Indeed, let \(\{T_i \}_{i=1}^m\) be another orthonormal basis of B. Then, we have the equation
for any \(X \in M_n({\mathbb C})\). Therefore, combining (8), we obtain
so that
Hence, it is enough to check Eq. (7) for only one orthonormal basis of B.
4 Examples of conditional SIC-POVMs
In this section, we show some examples of the existence or nonexistence of conditional SIC-POVMs. Some open problems are also discussed.
Example 1
If we have no information regarding the state (\(m=0,N=n^2\)), then
Hence, this well-known SIC-POVM is a conditional SIC-POVM (if it exists [20]).\(\square \)
One of the most important POVMs is a POVM which corresponds to an orthonomal basis. Example 2 says that such a POVM is a conditional POVM. In Examples 3, 4, and 5, we consider a conditional SIC-POVM which complements such a POVM.
Example 2
If we know the off-diagonal elements of the state, and we want to estimate the diagonal entries (\(m=n^2-n,N=n\)), then it follows from Theorem 1 that a conditional SIC-POVM has the properties
Hence, the diagonal matrix units form a conditional SIC-POVM. \(\square \)
Example 3
If we know the diagonal elements of the state, and we want to estimate the off-diagonal entries (\(m=n-1, N=n^2-n+1\)), then it follows from Theorem 1 that a conditional SIC-POVM has the properties
and that \(P_i\) has a constant diagonal.
Existence is not clear generally, but if \(n-1\) is a prime power, then it can be constructed on the basis of the prime power conjecture [6, 24], and details are provided in [18]. We provide examples in \(M_2({\mathbb C})\), \(M_3({\mathbb C})\), and \(M_4({\mathbb C})\). The case of a two-dimensional space is very simple, and it will be presented in the next example.
On the other hand, we cannot prove nonexistence using Theorem 2. Let \(\lambda = \exp ({2\pi \mathrm {i}/n})\), where \(\mathrm {i}= \sqrt{-1}\), and \(W = \text{ Diag }\,(1, \lambda , \lambda ^2, \ldots , \lambda ^{n-1}) \in M_n({\mathbb C})\). Then, the subspace B is \(\mathrm{span} \{ W^k \}_{k=1}^{n-1}\) and \(\{ \frac{1}{\sqrt{n}} W^k \}_{k=1}^{n-1}\) is an orthonormal basis of B. Here, we have
for any \(1 \le j \le n-1\). Therefore, the condition in Theorem 2 holds. \(\square \)
Example 4
Assume that for a density matrix \(\rho \in M_2({\mathbb C})\) the diagonal entries are known. To recover the other parameters, we use a POVM \(\{F_1,F_2,F_3\}\). A conditional SIC-POVM is described by projections \(P_i = 3F_i /2\) (\(1 \le i \le 3\)) such that the diagonal terms are the same and
Concretely,
where \(\lambda = \exp (2\pi \mathrm {i}/3)\). \(\square \)
Example 5
Assume that for a density matrix \(\rho \in M_3({\mathbb C})\) the diagonal entries are known, and the other parameters are to be found from a POVM \(\{F_i \}_{i=0}^6\). A conditional SIC-POVM is described by projections \(P_i =7F_i /3\) (\(0 \le i \le 6\)) such that the diagonal terms are the same and
We have
and the other projection matrices are parameterized by \(\alpha =\exp \left( 2\pi \mathrm {i}/ 7 \right) \):
We can see that in all of the matrices, the numbers \(\{\alpha ^i: 1 \le i \le 6\}\) appear exactly once; therefore, \({{\mathrm {Tr}}}\,P_0 P_i\) is constant for \(1 \le i \le 6\). Since \(\sum _{i=0}^6 {{\mathrm {Tr}}}\,P_0 P_i = 7/3\), we have \({{\mathrm {Tr}}}\,P_0 P_i = 2/9\). If we use the notation \(P_i=|x_i\rangle \langle x_i|\), then
with a unitary \(U= \text{ Diag }\,(1, \alpha ^6, \alpha ^4)\). This implies that \({{\mathrm {Tr}}}\,P_i P_{i+j}= {{\mathrm {Tr}}}\,P_0 P_{j}\); hence, \({{\mathrm {Tr}}}\,P_i P_{k}=2/9\) holds for \(i\ne k\). Consequently, the operators \(F_i=3P_i/7\) (\(0 \le i \le 6\)) form a conditional SIC-POVM.
It is easy to provide a similar example for \(M_4({\mathbb C})\). Let
with a unitary \(U=\text{ Diag }\,(1, \alpha , \alpha ^4, \alpha ^6)\) and \(\alpha =\exp \left( 2\pi \mathrm {i}/ 13 \right) \). Then, the operators \(F_i = 4 | x_i \rangle \langle x_i | /13\) \((0 \le i \le 12)\) form a conditional SIC-POVM. \(\square \)
Remark 3
We consider a similar example for \(M_7({\mathbb C})\). Assume that for a density matrix \(\rho \in M_7({\mathbb C})\), the diagonal entries are known, and the other parameters are to be found from a POVM \(\{F_i \}_{i=1}^{43}\). The question is the existence of the projections \(\{ P_k : 1 \le k \le 43\}\) such that the diagonal terms are the same and
This appears to be a complicated situation. Assume that \(\{\xi _i: 1 \le i \le 7\}\) is an orthonormal basis in the Hilbert space. The unit vectors \(\{p_k: 1 \le k \le 43\}\) provide the projections
The formulation \(p_k=\sum _{i=1}^7 p_{ki}\xi _i\) gives
so the (i, j)-entry of the matrix \(P_k\) is \( p_{ki} \overline{p}_{kj}\). Then, \({{\mathrm {Tr}}}\,P_k P_\ell = 6/49\) implies that
The condition
which is equivalent to \(\sum _k {P_k } = 43I /7\) can be reformulated as
The condition that the diagonal entries are the same implies
The essential problem is to construct an example that satisfies (9), (10), and (11).
Since \(7-1=6\) is not a prime power, the existence of the projections \(\{ P_k : 1 \le k \le 43\}\) does not follow from Example 3. Moreover, we cannot prove nonexistence using Theorem 2. It would be interesting to know the relation to existence.
A POVM which corresponds to MUBs is important in quantum information; for example, better estimation methods of quantum state tomography stated in Remark 1 use MUBs. It is known that \(n+1\) MUBs exist in \({\mathbb C}^n\) when n is a prime power (see, e.g., [3, 9, 30]). In the case of \(n=6\), the existence of 7 MUBs is open problem and it was conjectured that 4 MUBs do not exist [31, 32]. We consider a conditional POVM which complements 3 MUBs in \({\mathbb C}^6\).
Example 6
Consider MUBs in \(M_6 ({\mathbb C})\). It is known that there are three mutually unbiased orthonormal bases in \({\mathbb C}^6\). Let \(\lambda = \exp (2\pi \mathrm {i}/ 6)\), and let
Then, maximal abelian subalgebras corresponding to the three bases are
Assume that the known space is \(B = \mathrm{span} \{ S^k, W^k, S^k W^k : 1\le k \le 5\}\) \((m= 15, N = 21)\), and consider a conditional SIC-POVM. An orthonormal basis of B is
The equation \(SW = \lambda WS\) implies that
for any \(1\le j \le 5\). Similarly,
Therefore, the condition in Theorem 2 holds, and we cannot prove the nonexistence of a conditional SIC-POVM using Theorem 2. The existence of a conditional SIC-POVM in this case remains an open problem. \(\square \)
States on the coupled quantum system have recently been studied from many points of view. Here, we focus on density matrices in coupled quantum system \(M_n({\mathbb C}) \otimes M_n({\mathbb C})\) whose restrictions are the same or I / n. A set of such density matrices is considered in many literature [7, 11–14, 16]. A density matrix whose restrictions are I / n corresponds to a unital completely positive trace-preserving map. Moreover, if such a density matrix has rank one, the density matrix (or the state) is called a maximally entangled state. In Examples 7 and 8, we consider states whose restrictions are the same and show examples of nonexistence of conditional SIC-POVMs using Theorem 2.
Example 7
We consider a density matrix \(\rho \in M_4({\mathbb C})=M_2({\mathbb C})\otimes M_2({\mathbb C})\). The density matrix
has reduced densities:
Note that \(a_{ij}=\overline{a}_{ji}\) for \(1\le i,j \le 4\). We assume that \(\rho \) satisfies the condition \(\rho _1=\rho _2\). This condition implies that
\((m=3,N=13)\). Let
where \(\{e_{ij}\}_{i,j=1}^n\) is a set of matrix units. Then, an orthonormal basis of the known space B is \(\{R_1,R_2,R_3\}\). Furthermore, \(\rho \) has the form
which is orthogonal to B. In this case, a conditional SIC-POVM does not exist. Indeed, the equations
imply \(\sum _{i=1}^3 R_i^* R_1 R_i = R_1/2\), and this contradicts the condition in Theorem 2. \(\square \)
Remark 4
It is known that an equiangular tight frame exists if \(n=4\) and \(N=13\) (see, e.g., [27]), where n is the dimension of the Hilbert space and N is the number of vectors. The conditional SIC-POVM shown in Example 5 is an example of such an equiangular tight frame. On the other hand, Example 7 is also in the case \(n=4\) and \(N=13\). However, a conditional SIC-POVM does not exist in Example 7. This says that the existence of conditional SIC-POVMs depends on the known space B.
Example 8
We extend Example 7 to the case \(M_{n^2} ({\mathbb C}) = M_n({\mathbb C})\otimes M_n({\mathbb C})\). The density matrix
has reduced densities:
We assume that \(\rho \) satisfies the condition \(\rho _1 = \rho _2\). This condition implies that
for all \(1\le i,j \le n\). Let
and let
for \(1\le i,j \le n\), where \(\lambda = \exp (2\pi \mathrm {i}/n)\). Then, the known space B is \(\mathrm{span} \{ Q_{i,j} \}_{i,j=1}^n\), and \(\{ R_{i,j} : 1\le i,j \le n\} \backslash \{R_{n,n}\}\) is an orthonomal basis of B \((m=n^2-1,N = n^4-n^2+1)\). Note that \(R_{n,n} = 0\).
For \(1 \le i \le n-1\), \(1\le j,k \le n\) and \(j \ne k\), we have
so that
Furthermore, for \(1\le i,j \le n-1\),
so that
Therefore, for \(1\le i \le n-1\), we obtain
and this contradicts the condition in Theorem 2. Consequently, a conditional SIC-POVM does not exist. \(\square \)
Example 9
We consider another example similar to Example 7. We assume that \(\rho \in M_4({\mathbb C})=M_2({\mathbb C})\otimes M_2({\mathbb C})\) satisfies the condition \(\rho _1=\rho _2 =\frac{1}{2}I\). This condition implies that
\((m = 6, N =10)\). Let
The known space B is \(B = \mathrm{span} \{ R_i\}_{i=1}^6\). Moreover, \(\rho \) has the form
which is orthogonal to B. In this case, it is easy to see that for all \(X \in B\),
This is the condition in Theorem 2. Hence, we cannot prove the nonexistence of a conditional SIC-POVM in this case using Theorem 2. The existence of a conditional SIC-POVM in this case remains an open problem. \(\square \)
References
Appleby, D. M.: SIC-POVMs and MUBs: Geometrical relationships in prime dimension, Foundations of probability and physics 5, AIP Conference Proceedings, 1101, American Institute of Physics, New York, pp. 223–232 (2009)
Appleby, D.M., Ericsson, A., Fuchs, C.A.: Properties of QBist state spaces. Found. Phys. 41, 564–579 (2011)
Bandyopadhyay, S., Boykin, P.O., Roychowdhury, V., Vatan, F.: A new proof of the existence of mutually unbiased bases. Algorithmica 34, 512–528 (2002)
Colin, S., Corbett, J., Durt, T., Gross, D.: About SIC POVMs and discrete Wigner distributions. J. Opt. B Quantum Semiclassical Opt. 7, S778 (2005)
Flammia, S.T.: On SIC-POVMs in prime dimensions. J. Phys. A Math. Gen. 39, 13483–13493 (2006)
Gordon, D.M.: The prime power conjecture is true for \(n < 2{,}000{,}000\). Electron. J. Comb. 1, R6 (1994)
Haagerup, U., Musat, M.: Factorization and dilation problems for completely positive maps on von Neumann algebras. Commun. Math. Phys. 303, 555–594 (2011)
Holmes, R.B., Paulsen, V.I.: Optimal frames for erasures. Linear Algebra Appl. 377, 31–51 (2004)
Ivanovic, I.D.: Geometrical description of quantum state determination. J. Phys. A Math. Gen. 14, 3241–3245 (1981)
Klappenecker, A., Rötteler, M.: Mutually unbiased bases are complex projective 2-designs, Proceedings of 2005 IEEE International Symposium on Information Theory, Adelaide, pp. 1740–1744. Australia (2005)
Kümmerer, B.: Construction and Structure of Markov Dilations on \(W^*\)-Algebras. Habilitationsschrift, Tübingen (1986)
Kümmerer, B., Maassen, H.: The essentially commutative dilations of dynamical semigroups of \(M_n({\mathbb{C}})\). Commun. Math. Phys. 109, 1–22 (1987)
Landau, L.J., Streater, R.F.: On Birkhoff’s theorem for doubly stochastic completely positive maps on matrix algebras. Linear Algebra Appl. 193, 107–127 (1993)
Ohno, H.: Maximal rank of extremal marginal tracial states. J. Math. Phys. 51, 092101 (2010)
Paris, M., Řeháček, J.: Quantum State Estimation. Springer, Berlin (2004)
Parthasarathy, K.R.: Extremal quantum states in coupled systems. Ann. Inst. H. Poincaré 41, 257–268 (2005)
Petz, D., Ruppert, L.: Efficient quantum tomography needs complementary and symmetric measurements. Rep. Math. Phys. 69, 161–177 (2012)
Petz, D., Ruppert, L., Szántó, A.: Conditional SIC-POVMs. IEEE Trans. Inf. Theory 60, 351–356 (2014)
R̆ehác̆ek, J., Englert, B.-G., Kaszlikowski, D.: Minimal qubit tomography. Phys. Rev. A 70, 052321 (2004)
Renes, J.M., Blume-Kohout, R., Scott, A.J., Caves, C.M.: Symmetric informationally complete quantum measurements. J. Math. Phys. 45, 2171–2180 (2004)
Scott, A.J.: Tight informationally complete quantum measurements. J. Phys. A Math. Gen. 39, 13507–13530 (2006)
Scott, A.J.: Optimizing quantum process tomography with unitary 2-designs. J. Phys. A Math. Gen. 41, 055308 (2008)
Scott, A.J., Grassl, M.: Symmetric informationally complete positive-operator-valued measure: a new computer study. J. Math. Phys. 51, 042203 (2010)
Singer, J.: A theorem in finite projective geometry and some applications to number theory. Trans. Am. Math. Soc. 43, 377–385 (1938)
Strohmer, T., Heath Jr, R.W.: Grassmannian frames with applications to coding and communication. Appl. Comput. Harmonic Anal. 14, 257–275 (2003)
Sustik, M.A., Tropp, J.A., Dhillon, I.S., Heath Jr, R.W.: On the existence of equiangular tight frames. Linear Algebra Appl. 426, 619–635 (2007)
Tropp, J.A., Dhillon, I.S., Heath Jr, R.W., Strohmer, T.: Designing structured tight frames via an alternating projection method. IEEE Trans. Inf. Theory 51, 188–209 (2005)
van Lint, J.H., Seidel, J.J.: Equilateral point sets in elliptic geometry. Proc. Ned. Akad. Wetensch. Ser. A 69, 335–348 (1966)
Welch, L.R.: Lower bounds on the maximum cross-correlation of signals. IEEE Trans. Inf. Theory 20, 397–399 (1974)
Wootters, W.K., Fields, B.D.: Optimal state-determination by mutually unbiased measurements. Ann. Phys. 191, 363–381 (1989)
Zauner, G.: Quantendesigns - Grundzüge einer nichtkommutativen Designtheorie, Ph.D. thesis, University of Vienna (1999)
Zauner, G.: Quantum designs: foundations of a noncommutative design theory. Int. J. Quantum Inf. 9, 445–507 (2011)
Zhu, H.: SIC POVMs and Clifford groups in prime dimensions. J. Phys. A Math. Gen. 43, 305305 (2010)
Acknowledgments
This work was partially supported by the Hungarian Research Grant OTKA K104206 and JSPS KAKENHI Grant No. 25800061.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ohno, H., Petz, D. Examples of conditional SIC-POVMs. Quantum Inf Process 14, 3983–3999 (2015). https://doi.org/10.1007/s11128-015-1085-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11128-015-1085-y