Learning to Measure: Adaptive Informationally Complete Generalized Measurements for Quantum Algorithms
Guillermo García-Pérez, Matteo A. C. Rossi, Boris Sokolov, Francesco Tacchino, Panagiotis Kl. Barkoutsos, Guglielmo Mazzola, Ivano Tavernelli, Sabrina Maniscalco
Many prominent quantum computing algorithms with applications in fields such as chemistry and materials science require a large number of measurements, which represents an important roadblock for future real-world use cases. We introduce a novel approach to tackle this problem through an adaptive measurement scheme. We present an algorithm that optimizes informationally complete positive operator-valued measurements (POVMs) on the fly in order to minimize the statistical fluctuations in the estimation of relevant cost functions. We show its advantage by improving the efficiency of the variational quantum eigensolver in calculating ground-state energies of molecular Hamiltonians with extensive numerical simulations. Our results indicate that the proposed method is competitive with state-of-the-art measurement-reduction approaches in terms of efficiency. In addition, the informational completeness of the approach offers a crucial advantage, as the measurement data can be reused to infer other quantities of interest. We demonstrate the feasibility of this prospect by reusing ground-state energy-estimation data to perform high-fidelity reduced state tomography.
We propose entanglement criteria for multipartite systems via symmetric informationally complete (SIC) measurement and general symmetric informationally complete (GSIC) measurement. We apply these criteria to detect entanglement of multipartite states, such as the convex of Bell states, entangled states mixed with white noise. It is shown that these criteria are stronger than some existing ones.
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 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…
There has been much interest in so-called SIC-POVMs: rank 1 symmetric informationally complete positive operator valued measures. In this paper we discuss the larger class of POVMs which are symmetric and informationally complete but not necessarily rank 1. This class of POVMs is of some independent interest. In particular it includes a POVM which is closely related to the discrete Wigner function. However, it is interesting mainly because of the light it casts on the problem of constructing rank 1 symmetric informationally complete POVMs. In this connection we derive an extremal condition alt…
We study the quantum separability problem by using general symmetric informationally complete measurements and present a separability criterion for arbitrary dimensional bipartite systems. We show by detailed examples that our criterion is more powerful than the existing ones in entanglement detection.
A broad class of informationally complete symmetric measurements is introduced. It can be understood as a common generalization of symmetric, informationally complete POVMs and mutually unbiased bases. Additionally, it provides a natural way to define two new families of mutually unbiased symmetric measurement operators in any finite dimension. We show a general method of their construction, together with an example of an optimal measurement. Finally, we analyze the properties of symmetric measurements and provide applications in entropic relations and entanglement detection.
We study entanglement witness and present a construction of entanglement witnesses in terms of the symmetric informationally complete measurements (SIC-POVM). The capability of our witness is shown by some examples and it can be found this witness detects more entanglement than previous separability method given also by SIC-POVM. What's more, comparing with the dimension dependence of SIC-POVM, we also give the entanglement witnesses can be always constructed from general symmetric informationally complete measurements (GSIC-POVM).
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, …
This short note reviews the notion and fundamental properties of SIC-POVM and its connection with the length of separable states. We also review the t-design.
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 show that a special type of measurements, called symmetric informationally complete positive operator-valued measures (SIC POVMs), provide a stronger entanglement detection criterion than the computable cross-norm or realignment criterion based on local orthogonal observables. As an illustration, we demonstrate the enhanced entanglement detection power in simple systems of qubit and qutrit pairs. This observation highlights the significance of SIC POVMs for entanglement detection.
We analyze tight informationally complete measurements for arbitrarily large multipartite systems and study their configurations of entanglement. We demonstrate that tight measurements cannot be exclusively composed neither of fully separable nor maximally entangled states. We establish an upper bound on the maximal number of fully separable states allowed by tight measurements and investigate the distinguished case, in which every measurement operator carries the same amount of entanglement. Furthermore, we introduce the notion of nested tight measurements, i.e. multipartite tight information…
The Lüders rule provides a way to define a quantum channel given a quantum measurement. Using this construction, we establish an if-and-only-if condition for the existence of a $d$-dimensional Symmetric Informationally Complete quantum measurement (a SIC) in terms of a particular depolarizing channel. Moreover, the channel in question satisfies two entropic optimality criteria.
Informationally complete measurements on a quantum system allow to estimate the expectation value of any arbitrary operator by just averaging functions of the experimental outcomes. We show that such kind of measurements can be achieved through positive-operator valued measures (POVM's) related to unitary irreducible representations of a group on the Hilbert space of the system. With the help of frame theory we provide a constructive way to evaluate the data-processing function for arbitrary operators.
Eigenstates of permutation gates are either stabilizer states (for gates in the Pauli group) or magic states, thus allowing universal quantum computation [M. Planat and Rukhsan-Ul-Haq, Preprint 1701.06443]. We show in this paper that a subset of such magic states, when acting on the generalized Pauli group, define (asymmetric) informationally complete POVMs. Such IC-POVMs, investigated in dimensions $2$ to $12$, exhibit simple finite geometries in their projector products and, for dimensions $4$ and $8$ and $9$, relate to two-qubit, three-qubit and two-qutrit contextuality.
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…
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…
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 generalizat…
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 …
We examine the geometric structure of qutrit state space by identifying the outcome probabilities of symmetric informationally complete (SIC) measurements with quantum states. We categorize the infinitely many qutrit SICs into eight SIC families corresponding to independent orbits of the extended Clifford group. Every SIC can be uniquely identified from a set of geometric invariants that we use to establish several properties of the convex body of qutrits, which include a simple formula describing its extreme points, an expression for the rotation between the probability vectors for distinct q…
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…
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…
Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs) are crucial to many conceptual and practical aspects of quantum theory. Here, we develop their role in quantum nonlocality by: i) introducing families of Bell inequalities that are maximally violated by $d$-dimensional MUBs and SICs respectively, ii) proving device-independent certification of natural operational notions of MUBs and SICs, and iii) using MUBs and SICs to develop optimal-rate and nearly optimal-rate protocols for device independent quantum key distribution and device-independent quantum rando…
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…
Since Renes et al. [J. Math. Phys. 45, 2171 (2004)], there has been much effort in the quantum information community to prove (or disprove) the existence of symmetric informationally complete (SIC) sets of quantum states in arbitrary finite dimension. This paper strengthens the urgency of this question by showing that if SIC-sets exist: 1) by a natural measure of orthonormality, they are as close to being an orthonormal basis for the space of density operators as possible, and 2) in prime dimensions, the standard construction for complete sets of mutually unbiased bases and Weyl-Heisenberg cov…
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…
Informationally complete measurements allow the estimation of expectation values of any operator on a quantum system, by changing only the data-processing of the measurement outcomes. In particular, an informationally complete measurement can be used to perform quantum tomography, namely to estimate the density matrix of the quantum state. The data-processing is generally nonunique, and can be optimized according to a given criterion. In this paper we provide the solution of the optimization problem which minimizes the variance in the estimation. We then consider informationally complete measu…
Although quantum entanglement has already been verified experimentally and applied in quantum computing, quantum sensing and quantum networks, most of the existing measures cannot characterize the entanglement faithfully. In this work, by exploiting the Schmidt decomposition of a bipartite state $|ψ\rangle_{AB}$, we first establish a one-to-one correspondence relation between the characteristic polynomial of the reduced state $ρ_A$ and the polynomials its trace. Then we introduce a family of entanglement measures which are given by the complete eigenvalues of the reduced density matrices of th…
Symmetric informationally complete measurements (SICs) are elegant, celebrated and broadly useful discrete structures in Hilbert space. We introduce a more sophisticated discrete structure compounded by several SICs. A SIC-compound is defined to be a collection of $d^3$ vectors in $d$-dimensional Hilbert space that can be partitioned in two different ways: into $d$ SICs and into $d^2$ orthonormal bases. While a priori their existence may appear unlikely when $d>2$, we surprisingly answer it in the positive through an explicit construction for $d=4$. Remarkably this SIC-compound admits a close …
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.
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…
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…
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…
State of a $d$-dimensional quantum system can only be inferred by performing an informationally complete measurement with $m\geqslant d^2$ outcomes. However, an experimentally accessible measurement can be informationally incomplete. Here we show that a single informationally incomplete measuring apparatus is still able to provide all the information about the quantum system if applied several times in a row. We derive a necessary and sufficient condition for such a measuring apparatus and give illustrative examples for qubits, qutrits, general $d$-level systems, and composite systems of $n$ q…
In the four-dimensional Hilbert space, there exist 16 Heisenberg--Weyl (HW) covariant symmetric informationally complete positive operator valued measures (SIC~POVMs) consisting of 256 fiducial states on a single orbit of the Clifford group. We explore the structure of these SIC~POVMs by studying the symmetry transformations within a given SIC~POVM and among different SIC~POVMs. Furthermore, we find 16 additional SIC~POVMs by a regrouping of the 256 fiducial states, and show that they are unitarily equivalent to the original 16 SIC~POVMs by establishing an explicit unitary transformation. We t…
The article establishes a framework for dynamic generation of informationally complete POVMs in quantum state tomography. Assuming that the evolution of a quantum system is given by a dynamical map in the Kraus representation, one can switch to the Heisenberg picture and define the measurements in the time domain. Consequently, starting with an incomplete set of positive operators, one can obtain sufficient information for quantum state reconstruction by multiple measurements. The framework has been demonstrated on qubits and qutrits. For some types of dynamical maps, it suffices to initially …
Detecting $k$-nonstretchability via a class of informationally complete symmetric measurements
Hebei GEO University（河北地质大学）；Intelligent Sensor Network Engineering Research Center of Hebei Province, Hebei GEO University（河北省智能传感网络工程研究中心）；Hengshui University（衡水学院）
We consider the existence in arbitrary finite dimensions d of a POVM comprised of d^2 rank-one operators all of whose operator inner products are equal. Such a set is called a ``symmetric, informationally complete'' POVM (SIC-POVM) and is equivalent to a set of d^2 equiangular lines in C^d. SIC-POVMs are relevant for quantum state tomography, quantum cryptography, and foundational issues in quantum mechanics. We construct SIC-POVMs in dimensions two, three, and four. We further conjecture that a particular kind of group-covariant SIC-POVM exists in arbitrary dimensions, providing numerical res…
We construct the set of all general (i.e. not necessarily rank 1) symmetric informationally complete (SIC) positive operator valued measures (POVMs). In particular, we show that any orthonormal basis of a real vector space of dimension d^2-1 corresponds to some general SIC POVM and vice versa. Our constructed set of all general SIC-POVMs contains weak SIC-POVMs for which each POVM element can be made arbitrarily close to a multiple times the identity. On the other hand, it remains open if for all finite dimensions our constructed family contains a rank 1 SIC-POVM.
In quantum-state tomography on sources with quantum degrees of freedom of large Hilbert spaces, inference of quantum states of light for instance, a complete characterization of the quantum states for these sources is often not feasible owing to limited resources. As such, the concepts of informationally incomplete state estimation becomes important. These concepts are ideal for applications to quantum channel/process tomography, which typically requires a much larger number of measurement settings for a full characterization of a quantum channel. Some key aspects of both quantum-state and qua…
