We consider measurements, described by a positive-operator-valued measure (POVM), whose outcome probabilities determine an arbitrary pure state of a D-dimensional quantum system. We call such a measurement a pure-state informationally complete (PSI-complete) POVM. We show that a measurement with 2D-1 outcomes cannot be PSI-complete, and then we construct a POVM with 2D outcomes that suffices, thus showing that a minimal PSI-complete POVM has 2D outcomes. We also consider PSI-complete POVMs that have only rank-one POVM elements and construct an example with 3D-2 outcomes, which is a generalization of the tetrahedral measurement for a qubit. The question of the minimal number of elements in a rank-one PSI-complete POVM is left open.
Simple minimal but informationally complete positive operator-valued measures are constructed out of the expectation-value representation for qudits. Upon suitable modification, the procedure transforms any set of d^2 linearly independent hermitean operators into such an observable. Minor changes in the construction lead to closed-form expressions for informationally complete positive measures in d-dimensional Hilbert spaces.
We introduce a new kind of quantum measurement that is defined to be symmetric in the sense of uniform Fisher information across a set of parameters that injectively represent pure quantum states in the neighborhood of a fiducial pure state. The measurement is locally informationally complete---i.e., it uniquely determines these parameters, as opposed to distinguishing two arbitrary quantum states---and it is maximal in the sense of a multi-parameter quantum Cramer-Rao bound. For a $d$-dimensional quantum system, requiring only local informational completeness allows us to reduce the number of…
Generalized symmetric informationally complete (SIC) measurements are SIC measurements that are not necessarily rank one. They are interesting originally because of their connection with rank-one SICs. Here we reveal several merits of generalized SICs in connection with quantum state tomography and Lie algebra that are interesting in their own right. These properties uniquely characterize generalized SICs among minimal IC measurements although, on the face of it, they bear little resemblance to the original definition. In particular, we show that in quantum state tomography generalized SICs ar…
In the present work, we suggest an approach for describing dynamics of finite-dimensional quantum systems in terms of pseudostochastic maps acting on probability distributions, which are obtained via minimal informationally complete quantum measurements. The suggested method for probability representation of quantum dynamics preserves the tensor product structure, which makes it favourable for the analysis of multi-qubit systems. A key advantage of the suggested approach is that minimal informationally complete positive operator-valued measures (MIC-POVMs) are easier to construct in comparison…
We study informationally overcomplete measurements for quantum state estimation so as to clarify their tomographic significance as compared with minimal informationally complete measurements. We show that informationally overcomplete measurements can improve the tomographic efficiency significantly over minimal measurements when the states of interest have high purities. Nevertheless, the efficiency is still too limited to be satisfactory with respect to figures of merit based on monotone Riemannian metrics, such as the Bures metric and quantum Chernoff metric. In this way, we also pinpoint th…
I construct a POVM which has 2d rank-one elements and which is informationally complete for generic pure states in d dimensions, thus confirming a conjecture made by Flammia, Silberfarb, and Caves (quant-ph/0404137). I show that if a rank-one POVM is required to be informationally complete for all pure states in d dimensions, it must have at least 3d-2 elements. I also show that, in a POVM which is informationally complete for all pure states in d dimensions, for any vector there must be at least 2d-1 POVM elements which do not annihilate that vector.
We show that there are informationally complete joint measurements of two conjugated observables on a finite quantum system, meaning that they enable to identify all quantum states from their measurement outcome statistics. We further demonstrate that it is possible to implement a joint observable as a sequential measurement. If we require minimal noise in the joint measurement, then the joint observable is unique. If the dimension d is odd, then this observable is informationally complete. But if d is even, then the joint observable is not informationally complete and one has to allow more no…
Wigner functions provide a way to do quantum physics using quasiprobabilities, that is, "probability" distributions that can go negative. Informationally complete POVMs, a much younger subject than phase space formulations of quantum mechanics, are less familiar but provide wholly probabilistic representations of quantum theory. In this paper, we show that the Born Rule links these two classes of structure and discuss the art of interconverting between them. In particular, we demonstrate that the operator bases corresponding to minimal discrete Wigner functions (Wigner bases) are orthogonaliza…
A quantum measurement is Fisher symmetric if it provides uniform and maximal information on all parameters that characterize the quantum state of interest. Using (complex projective) 2-designs, we construct measurements on a pair of identically prepared quantum states that are Fisher symmetric for all pure states. Such measurements are optimal in achieving the minimal statistical error without adaptive measurements. We then determine all collective measurements on a pair that are Fisher symmetric for the completely mixed state and for all pure states simultaneously. For a qubit, these measurem…
We introduce a class of informationally complete positive-operator-valued measures which are, in analogy with a tight frame, "as close as possible" to orthonormal bases for the space of quantum states. These measures are distinguished by an exceptionally simple state-reconstruction formula which allows "painless" quantum state tomography. Complete sets of mutually unbiased bases and symmetric informationally complete positive-operator-valued measures are both members of this class, the latter being the unique minimal rank-one members. Recast as ensembles of pure quantum states, the rank-one me…
We prove necessary and sufficient conditions for the informational completeness of an arbitrary set of Gaussian observables on continuous variable systems with finite number of degrees of freedom. In particular, we show that an informationally complete set either contains a single informationally complete observable, or includes infinitely many observables. We show that for a single informationally complete observable, the minimal outcome space is the phase space, and the observable can always be obtained from the quantum optical $Q$-function by linear postprocessing and Gaussian convolution, …
C. A. Fuchs and M. Sasaki defined the quantumness of a set of quantum states in \cite{Quantumness}, which is closely related to the fidelity loss in transmission of the quantum states through a classical channel. In \cite{Fuchs}, Fuchs showed that in $d$-dimensional Hilbert space, minimum quantumness is $\frac{2}{d+1}$, and this can be achieved by all rays in the space. He left an open problem, asking whether fewer than $d^2$ states can achieve this bound. Recently, in a different context, A. J. Scott introduced a concept of generalized $t$-design in \cite{GenSphet}, which is a natural general…
It has been shown that classes of (minimal asymmetric) informationally complete POVMs in dimension d can be built using the multiparticle Pauli group acting on appropriate fiducial states [M. Planat and Z. Gedik, R. Soc. open sci. 4, 170387 (2017)]. The latter states may also be derived starting from the Poincaré upper half-plane model H. For doing this, one translates the congruence (or non-congruence) subgroups of index d of the modular group into groups of permutation gates whose some of the eigenstates are the seeked fiducials. The structure of some IC-POVMs is found to be intimately relat…
What is the minimal number of elements in a rank-1 positive-operator-valued measure (POVM) which can uniquely determine any pure state in $d$-dimensional Hilbert space $\mathcal{H}_d$? The known result is that the number is no less than $3d-2$. We show that this lower bound is not tight except for $d=2$ or 4. Then we give an upper bound of $4d-3$. For $d=2$, many rank-1 POVMs with four elements can determine any pure states in $\mathcal{H}_2$. For $d=3$, we show eight is the minimal number by construction. For $d=4$, the minimal number is in the set of $\{10,11,12,13\}$. We show that if this n…
Minimal informationally complete positive operator-valued measures (MIC-POVMs) are special kinds of measurement in quantum theory in which the statistics of their $d^2$-outcomes are enough to reconstruct any $d$-dimensional quantum state. For this reason, MIC-POVMs are referred to as standard measurements for quantum information. Here, we report an experiment with entangled photon pairs that certifies, for what we believe is the first time, a MIC-POVM for qubits following a device-independent protocol (i.e., modeling the state preparation and the measurement devices as black boxes, and using o…
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 …
It is crucial for various quantum information processing tasks that the state of a quantum system can be determined reliably and efficiently from general quantum measurements. One important class of measurements for this purpose is symmetric informationally complete positive operator-valued measurements (SIC-POVMs). SIC-POVMs have the advantage of providing an unbiased estimator for the quantum state with the minimal number of outcomes needed for full tomography. By virtue of Naimark's dilation theorem, any POVM can always be realized with a suitable coupling between the system and an auxiliar…
The Generalized BEADS Representation: An Informationally Complete Visualization of Mixed Quantum States
Technical University of Munich, TUM School of Computation, Information and Technology（慕尼黑工业大学计算、信息与技术学院）；Technical University of Munich, TUM School of Natural Sciences（慕尼黑工业大学自然科学学院）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）
Minimal Informationally Complete quantum measurements, or MICs, illuminate the structure of quantum theory and how it departs from the classical. Central to this capacity is their role as tomographically complete measurements with the fewest possible number of outcomes for a given finite dimension. Despite their advantages, little is known about them. We establish general properties of MICs, explore constructions of several classes of them, and make some developments to the theory of MIC Gram matrices. These Gram matrices turn out to be a rich subject of inquiry, relating linear algebra, numbe…
A popular account of the mixing patterns for the three generations of quarks and leptons is through the characters $κ$ of a finite group $G$. Here we introduce a $d$-dimensional Hilbert space with $d=cc(G)$, the number of conjugacy classes of $G$. Groups under consideration should follow two rules, (a) the character table contains both two- and three-dimensional representations with at least one of them faithful and (b) there are minimal informationally complete measurements under the action of a $d$-dimensional Pauli group over the characters of these representations. Groups with small $d$ th…
We introduce informationally complete measurements whose outcomes are entanglement witnesses and so answer the question of how many witnesses need to be measured to decide whether an arbitrary state is entangled or not: as many as the dimension of the state space. The optimized witness-based measurement can provide exponential improvement with respect to witness efficiency in high-dimensional Hilbert spaces, at the price of a reduction in the tomographic efficiency. We describe a systematic construction, and illustrate the matter at the example of two qubits.
Recently, several intriguing conjectures have been proposed connecting symmetric informationally complete quantum measurements (SIC POVMs, or SICs) and algebraic number theory. These conjectures relate the SICs and their minimal defining algebraic number field. Testing or sharpening these conjectures requires that the SICs are expressed exactly, rather than as numerical approximations. While many exact solutions of SICs have been constructed previously using Gröbner bases, this method has probably been taken as far as is possible with current computer technology (except in special cases where …
We introduce an operational and statistically meaningful measure, the quantum tomographic transfer function, that possesses important physical invariance properties for judging whether a given informationally complete quantum measurement performs better tomographically in quantum-state estimation relative to other informationally complete measurements. This function is independent of the unknown true state of the quantum source, and is directly related to the average optimal tomographic accuracy of an unbiased state estimator for the measurement in the limit of many sampling events. For the ex…
We show that quantum state tomography with perfect knowledge of the measurement apparatus proves to be, in some instances, inferior to strategies discarding all information about the measurement at hand, as in the case of data pattern tomography. In those scenarios, the larger uncertainty about the measurement is traded for the smaller uncertainty about the reconstructed signal. This effect is more pronounced for minimal or nearly minimal informationally complete measurement settings, which are of utmost practical importance.
We characterize minimal measurement setups for validating the quantum coherence of an unknown quantum state. We show that for a $d$-level system, the optimal strategy consists of measuring $d$ orthonormal bases such that each measured basis is mutually unbiased with respect to the reference basis, and together with the reference basis they form an informationally complete set of measurements. We show that, in general, any strategy capable of validating quantum coherence allows one to evaluate also the exact value of coherence. We then give an explicit construction of the optimal measurements f…
We propose an experiment that realizes a symmetric informationally complete (SIC) probability-operator measurement (POM) in the four-dimensional Hilbert space of a qubit pair. The qubit pair is carried by a single photon as a polarization qubit and a path qubit. The implementation of the SIC POM is accomplished with the means of linear optics. The experimental scheme exploits a new approach to SIC POMs that uses a two-step process: a measurement with full-rank outcomes, followed by a projective measurement on a basis that is chosen in accordance with the result of the first measurement. The ba…
Symmetric informationally complete (SIC) 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 d…
We consider the implementation of a symmetric informationally complete probability-operator measurement (SIC POM) in the Hilbert space of a d-level system by a two-step measurement process: a diagonal-operator measurement with high-rank outcomes, followed by a rank-1 measurement in a basis chosen in accordance with the result of the first measurement. We find that any Heisenberg-Weyl group-covariant SIC POM can be realized by such a sequence where the second measurement is simply a measurement in the Fourier basis, independent of the result of the first measurement. Furthermore, at least for t…
We study the geometric measure of entanglement (GM) of pure symmetric states related to rank-one positive-operator-valued measures (POVMs) and establish a general connection with quantum state estimation theory, especially the maximum likelihood principle. Based on this connection, we provide a method for computing the GM of these states and demonstrate its additivity property under certain conditions. In particular, we prove the additivity of the GM of pure symmetric multiqubit states whose Majorana points under Majorana representation are distributed within a half sphere, including all pure …
Various forms of optimality for quantum observables described as normalized positive operator valued measures (POVMs) are studied in this paper. We give characterizations for observables that determine the values of the measured quantity with probabilistic certainty or a state of the system before or after the measurement. We investigate observables which are free from noise caused by classical post-processing, mixing, or pre-processing of quantum nature. Especially, a complete characterization of pre-processing and post-processing clean observables is given, and necessary and sufficient condi…
Symmetric informationally complete positive operator-valued measurement (SIC-POVM) is one important class of quantum measurement which is crucial for various quantum information processing tasks. SIC-POVMs have the advantage of providing an unbiased estimator for quantum states with the minimal number of outcomes needed for full tomography. We present an experimental approach on a photonic quantum walk which can be used to implement SIC-POVMs on a single-qbubit. The projection measurements of single-photons' positions correspond to elements of SIC-POVM on the polarization of single-photons.
We introduce a reliable compressive procedure to uniquely characterize any given low-rank quantum measurement using a minimal set of probe states that is based solely on data collected from the unknown measurement itself. The procedure is most compressive when the measurement constitutes pure detection outcomes, requiring only an informationally complete number of probe states that scales linearly with the system dimension. We argue and provide numerical evidence showing that the minimal number of probe states needed is even generally below the numbers known in the closely-related classical ph…
Quantum tomography is a critically important tool to evaluate quantum hardware, making it essential to develop optimized measurement strategies that are both accurate and efficient. We compare a variety of strategies using nearly pure test states. Those that are informationally complete for all states are found to be accurate and reliable even in the presence of errors in the measurements themselves, while those designed to be complete only for pure states are far more efficient but highly sensitive to such errors. Our results highlight the unavoidable tradeoffs inherent to quantum tomography.
We provide a detailed analysis of the question: how many measurement settings or outcomes are needed in order to identify a quantum system which is constrained by prior information? We show that if the prior information restricts the system to a set of lower dimensionality, then topological obstructions can increase the required number of outcomes by a factor of two over the number of real parameters needed to characterize the system. Conversely, we show that almost every measurement becomes informationally complete with respect to the constrained set if the number of outcomes exceeds twice th…
We find a minimal set of necessary and sufficient conditions for the existence of a local procedure that converts a finite pure state into one of a set of possible final states. This result provides a powerful method for obtaining optimal local entanglement manipulation protocols for pure initial states. As an example, we determine analytically the optimal distillable entanglement for arbitrary finite pure states. We also construct an explicit protocol achieving this bound.
It has been recently shown that an observable that identifies all pure states of a d-dimensional quantum system has minimally 4d-4 outcomes or slightly less (the exact number depending on the dimension d). However, no simple construction of this type of observable with minimal number of outcomes is known. In this work we investigate the possibility to have a covariant observable that identifies all pure states and has minimal number of outcomes for this purpose. It is shown that the existence of these kind of observables depends on the dimension of the Hilbert space. The fact that these kind o…
Paper withdrawn. Results are similar to V. P. Belavkin, "Optimum distinction of non-orthogonal quantum signals," Radio Engineering and Electronic Physics, vol. 20, June 1975, p. 39-47.
We show that for any positive integer $n$, the maps $x \in \mathbb{C}^n \mapsto \{\left|\langle x, z_i \rangle \right|^2\}_{i=1}^{4n} \in \mathbb{R}^{4n}$, where $z_i$ are the columns of four $n\times n$ unitary matrices, are generically injective modulo multiplication by a global phase factor, yielding a family of embeddings of $\mathbb{C}P^{n-1}$ into $\mathbb{R}^{4n-4}$. In particular, this implies that distribution measurements about a pure state with four generic full-rank observables are informationally complete, which is sharp for $n \geq 6$. To complement this information-theoretic stu…
Finding the least measurement settings to determine an arbitrary pure state has been long known as the Pauli problem. In the fixed measurement scheme four orthonormal bases are required even though there are far less parameters in a pure state. Peres conjectured that two unbiased bases suffice to determine a pure state up to some finite ambiguities. Here we shall at first prove Peres conjecture in the case of $d=3,4$, namely, two unbiased measurements determine a pure state up to to 6 and 16 candidates for a qutrit and ququad, respectively. And then, taking Peres' conjecture for established, w…
Courant Institute of Mathematical Sciences, New York University（纽约大学库朗数学科学研究所）；Université de Lorraine, CNRS, Inria, LORIA（洛林大学、法国国家科学研究中心、法国研究与信息技术研究院、洛林信息与自动研究实验室）
In this paper we analyze the canonical forms into which any pure three-qubit state can be cast. The minimal forms, i.e. the ones with the minimal number of product states built from local bases, are also presented and lead to a complete classification of pure three-qubit states. This classification is related to the values of the polynomial invariants under local unitary transformations by a one-to-one correspondence.
We consider the problem of quantum-state tomography under the assumption that the state is pure, and more generally that its rank is bounded by a given value. In this scenario, new notions of informationally complete POVMs emerge, which allow for high-fidelity state estimation with fewer measurement outcomes than are required for an arbitrary rank state. We study this in the context of matrix completion, where the POVM outcomes determine only a few of the density matrix elements. We give an analytic solution that fully characterizes informational completeness and elucidates the important role …
Certification of quantum systems and their properties has become a field of intensive studies. Here, taking advantage of the one-sided device-independent scenario (known also as quantum steering scenario), we propose a self-testing scheme for all bipartite entangled states using a single family of steering inequalities with the minimal number of two measurements per party. Building on this scheme we then show how to certify all rank-one extremal measurements, including non-projective $d^2$-outcome measurements, which in turn can be used for certification of the maximal amount of randomness fro…
Mutually unbiased bases (MUB) are interesting for various reasons. The most attractive example of (a complete set of) MUB is the one constructed by Ivanović as well as Wootters and Fields, which is referred to as the canonical MUB. Nevertheless, little is known about anything that is unique to this MUB. We show that the canonical MUB in any prime power dimension is uniquely determined by an extremal orbit of the (restricted) Clifford group except in dimension 3, in which case the orbit defines a special symmetric informationally complete measurement (SIC), known as the Hesse SIC. Here the extr…
Similarly to quantum states, also quantum measurements can be "mixed", corresponding to a random choice within an ensemble of measuring apparatuses. Such mixing is equivalent to a sort of hidden variable, which produces a noise of purely classical nature. It is then natural to ask which apparatuses are "indecomposable", i. e. do not correspond to any random choice of apparatuses. This problem is interesting not only for foundations, but also for applications, since most optimization strategies give optimal apparatuses that are indecomposable. Mathematically the problem is posed describing each…
Quantum Gibbs state sampling algorithms generally suffer from either scaling exponentially with system size or requiring specific knowledge of spectral properties \textit{a priori}. Also, these algorithms require a large overhead of bath or scratch/ancilla qubits. We propose a method, termed the minimal effective Gibbs ansatz (MEGA), which uses a quantum computer to determine a minimal ensemble of pure states that accurately reproduce thermal averages of typical observables. This technique employs properties of correlation functions that can be split into a lesser and greater part; here, we pr…
We prove that all states (mixed or pure) of qubit-qutrit ($2\times 3$) systems have entanglement-preserving unitary (EPU) equivalence to a compact subset of true-generalized X (TGX) states called EPU-minimal TGX states which we give explicitly. Thus, for any spectrum-entanglement combination achievable by general states, there exists an EPU-minimal TGX state of the same spectrum and entanglement. We use I-concurrence to measure entanglement and give an explicit formula for it for all $2\times 3$ minimal TGX states (a more general set than EPU-minimal TGX states) whether mixed or pure, yielding…
An entanglement bound based on local measurements is introduced for multipartite pure states. It is the upper bound of the geometric measure and the relative entropy of entanglement. It is the lower bound of minimal measurement entropy. For pure bipartite states, the bound is equal to the entanglement entropy. The bound is applied to pure tripartite qubit states and the exact tripartite relative entropy of entanglement is obtained for a wide class of states.
We obtain a simple formula for the average gate fidelity of a linear map acting on qudits. It is given in terms of minimal sets of pure state preparations alone, which may be interesting from the experimental point of view. These preparations can be seen as the outcomes of certain minimal positive operator valued measures. The connection of our results with these generalized measurements is briefly discussed.
