arXiv:1511.06666 · Journal of Physics A Mathematical and Theoretical

Optimal quantum-state tomography with known parameters

Dėnes Petz, László Ruppert

Published Feb 14, 2012• 18 citations

Abstract

It is a well-known fact that the optimal positive operator valued measure (POVM) for quantum-state tomography is the symmetric, informationally complete POVM (SIC-POVM). We investigate the same problem only in the case when there is some a priori information about the state, specifically when some parameters are known. In this paper, we mainly focus on solving a three-dimensional optimization problem, which gives us a non-trivial example for the so-called conditional SIC-POVMs, a straightforward generalization of the concept of SIC-POVMs. We also present other special cases to show further applications of the proposed numerical methods and to illustrate the complexity of this topic.

DOI: 10.1088/1751-8113/45/8/085306

Related papers

Examples of conditional SIC-POVMs

Hiromichi Ohno, Dėnes Petz

Quantum Information ProcessingAug 3, 20152 citations

Conditional SIC-POVMs

Dėnes Petz, László Ruppert, András Szántó

In this paper, we examine a generalization of the symmetric informationally complete POVMs. SIC-POVMs are the optimal measurements for full quantum tomography, but if some parameters of the density matrix are known, then the optimal SIC POVM should be orthogonal to a subspace. This gives the concept of the conditional SIC-POVM. The existence is not known in general, but we give a result in the special case when the diagonal is known of the density matrix.

IEEE Transactions on Information TheoryOct 10, 20136 citations

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

博通大野

数理解析研究所講究録Jul 1, 20140 citations

Conditional SIC-POVMs

D�nes Petz, László Ruppert, András Szántó

In this paper we examine a generalization of the symmetric informationally complete POVMs. SIC-POVMs are the optimal measurements for full quantum tomography, but if some parameters of the density matrix are known, then the optimal SIC POVM should be orthogonal to a subspace. This gives the concept of the conditional SIC-POVM. The existence is not known in general, but we give a result in the special cases when the diagonal is known of the density matrix.

arXiv:1202.5741Feb 26, 20120 citations

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

Isabelle Jianing Geng, Kimberly Golubeva, Gilad Gour

arXiv:2007.10483Physical Review LettersMar 8, 202118 citations

Construction of general symmetric-informationally-complete–positive-operator-valued measures by using a complete orthogonal basis

M. Yoshida, Gen Kimura

arXiv:2208.00578Physical Review AAug 10, 202212 citations

arXiv:1511.06666 · Journal of Physics A Mathematical and Theoretical

Optimal quantum-state tomography with known parameters

Dėnes Petz, László Ruppert

Published Feb 14, 2012• 18 citations

arXiv HTML PDF

Abstract

DOI: 10.1088/1751-8113/45/8/085306

Related papers

Examples of conditional SIC-POVMs

Hiromichi Ohno, Dėnes Petz

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.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.

Quantum Information ProcessingAug 3, 20152 citations

Conditional SIC-POVMs

Dėnes Petz, László Ruppert, András Szántó

IEEE Transactions on Information TheoryOct 10, 20136 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)$ .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, 20140 citations

Conditional SIC-POVMs

D�nes Petz, László Ruppert, András Szántó

arXiv:1202.5741Feb 26, 20120 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.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.10483Physical Review LettersMar 8, 202118 citations

Construction of general symmetric-informationally-complete–positive-operator-valued measures by using a complete orthogonal basis

M. Yoshida, Gen Kimura

A general symmetric-informationally-complete (GSIC)--positive-operator-valued measure (POVM) is known to provide an optimal quantum state tomography among minimal IC POVMs with a fixed average purity. In this paper we provide a general construction of a GSIC POVM by means of a complete orthogonal basis (COB), also interpreted as a normal quasiprobability representation. A spectral property of a COB is shown to play a key role in the construction of SIC POVMs and also for the bound of the mean-square error of the state tomography. In particular, a necessary and sufficient condition to construct a SIC POVM for any $d$ is constructively given by the power of traces of a COB. We give three simple constructions of COBs from which one can systematically obtain GSIC POVMs.A general symmetric-informationally-complete (GSIC)--positive-operator-valued measure (POVM) is known to provide an optimal quantum state tomography among minimal IC POVMs with a fixed average purity. In this paper we provide a general construction of a GSIC POVM by means of a complete orthogonal basis (COB), also interpreted as a normal quasiprobability representation. A spectral property of a COB is shown to play a key role in the construction of SIC POVMs and also for the bound of the mean-square error of the state tomography. In particular, a necessary and sufficient condition to construct a SIC POVM for any $d$ is constructively given by the power of traces of a COB. We give three simple constructions of COBs from which one can systematically obtain GSIC POVMs.

arXiv:2208.00578Physical Review AAug 10, 202212 citations

\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}

\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.

P_{1}

is a projection, then

\{P_{i}\}_{i=1}^{k}

is called a projection valued measure

(PVM)

d

is constructively given by the power of traces of a COB. We give three simple constructions of COBs from which one can systematically obtain GSIC POVMs.