Symmetric informationally complete positive operator valued measure and probability representation of quantum mechanics
S. N. Filippov, V. I. Man'ko
备注：
22 pages, 1 figure, LaTeX, partially presented at the Workshop "Nonlinearity and Coherence in Classical and Quantum Systems" held at the University "Federico II" in Naples, Italy on December 4, 2009 in honor of Prof. Margarita A. Man'ko in connection with her 70th birthday, minor misprints are corrected in the second version
发表信息：
Journal of Russian Laser Research 31 (2010) 211-231
Symmetric informationally complete positive operator valued measures (SIC-POVMs) are studied within the framework of the probability representation of quantum mechanics. A SIC-POVM is shown to be a special case of the probability representation. The problem of SIC-POVM existence is formulated in terms of symbols of operators associated with a star-product quantization scheme. We show that SIC-POVMs (if they do exist) must obey general rules of the star product, and, starting from this fact, we derive new relations on SIC-projectors. The case of qubits is considered in detail, in particular, the relation between the SIC probability representation and other probability representations is established, the connection with mutually unbiased bases is discussed, and comments to the Lie algebraic structure of SIC-POVMs are presented.
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 …
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 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…
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…
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 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.
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 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.
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.
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, …
Examples of symmetric informationally complete positive operator valued measures (SIC-POVMs) have been constructed in every dimension less than or equal to 67. However, it remains an open question whether they exist in all finite dimensions. A SIC-POVM is usually thought of as a highly symmetric structure in quantum state space. However, its elements can equally well be regarded as a basis for the Lie algebra gl(d,C). In this paper we examine the resulting structure constants, which are calculated from the traces of the triple products of the SIC-POVM elements and which, it turns out, characte…
Symmetric informationally complete measurements (SICs in short) are highly symmetric structures in the Hilbert space. They possess many nice properties which render them an ideal candidate for fiducial measurements. The symmetry of SICs is intimately connected with the geometry of the quantum state space and also has profound implications for foundational studies. Here we explore those SICs that are most symmetric according to a natural criterion and show that all of them are covariant with respect to the Heisenberg-Weyl groups, which are characterized by the discrete analogy of the canonical …
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 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 unified approach to (symmetric informationally complete) positive operator valued measures and mutually unbiased bases is developed in this article. The approach is based on the use of operator equivalents expanded in the enveloping algebra of SU(2). Emphasis is put on similarities and differences between SIC-POVMs and MUBs.
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…
In this thesis we study symmetric structures in Hilbert spaces known as symmetric informationally complete positive operator-valued measures (SIC-POVMs), mutually unbiased bases (MUBs), and MUB-balanced states. Our tools include symmetries such as the Weyl-Heisenberg (WH) group symmetry, Clifford unitaries, Zauner symmetry, and Galois-unitaries (g-unitaries), which are non-linear operators defined to generalize the notion of anti-unitaries.
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 variatio…
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…
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…
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…
It is well-known in classical frame theory that overcomplete representations of a given vector space provide robustness to additive noise on the frame coefficients of an unknown vector. We describe how the same robustness can be shown to exist in the context of quantum state estimation. A key element of the discussion is the application of classical frame theory to operator-valued vector spaces, or operator spaces, which arise naturally in quantum mechanics. Specifically, in the problem we describe the frame vectors are represented by the elements of an informationally complete or overcomplete…
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…
Mutually unbiased bases (MUBs) and symmetric informationally complete (SIC) positive operator-valued measurements (POVMs) are two related topics in quantum information theory. They are generalized to mutually unbiased measurements (MUMs) and general symmetric informationally complete (GSIC) measurements, respectively, that are both not necessarily rank 1. We study the quantum separability problem by using these measurements and present separability criteria for bipartite systems with arbitrary dimensions and multipartite systems of multi-level subsystems. These criteria are proved to be more e…
We discuss symmetric quantum measurements and the associated covariant observables modelled, respectively, as instruments and positive-operator-valued measures. The emphasis of this work are the optimality properties of the measurements, namely, extremality, informational completeness, and the rank-1 property which contrast the complementary class of (rank-1) projection-valued measures. The first half of this work concentrates solely on finite-outcome measurements symmetric w.r.t. finite groups where we derive exhaustive characterizations for the pointwise Kraus-operators of covariant instrume…
QBism regards quantum mechanics as an addition to probability theory. The addition provides an extra normative rule for decision-making agents concerned with gambling across experimental contexts, somewhat in analogy to the double-slit experiment. This establishes the meaning of the Born Rule from a QBist perspective. Moreover it suggests that the best way to formulate the Born Rule for foundational discussions is with respect to an informationally complete reference device. Recent work [DeBrota, Fuchs, and Stacey, Phys. Rev. Res. 2, 013074 (2020)] has demonstrated that reference devices emplo…
We construct inequalities between Rényi entropy and the indexes of coincidence of probability distributions, based on which we obtain improved state-dependent entropic uncertainty relations for general symmetric informationally complete positive operator-valued measures (SIC-POVM) and mutually unbiased measurements (MUM) on finite dimensional systems. We show that our uncertainty relations for general SIC-POVMs and MUMs can be tight for sufficiently mixed states, and moreover, comparisons to the numerically optimal results are made via information diagrams.
In quantum mechanics the statistics of the outcomes of a measuring apparatus is described by a positive operator valued measure (POVM). A quantum channel transforms POVM's into POVM's, generally irreversibly, thus loosing some of the information retrieved from the measurement. This poses the problem of which POVM's are "undisturbed", namely they are not irreversibly connected to another POVM. We will call such POVM clean. In a sense, the clean POVM's would be "perfect", since they would not have any additional "extrinsical" noise. Quite unexpectedly, it turns out that such cleanness property i…
Classical information can be completely hidden in the correlations of bipartite quantum systems. However, it is impossible to hide or mask all quantum information according to the no-hiding and no-masking theorems derived recently. Here we show that any set of informationally complete quantum states is neither hidable nor maskable, thereby strengthening the no-hiding and no-masking theorems known before. Then, by virtue of Hurwitz-Radon matrices (representations of the Clifford algebra), we show that information about real quantum states can be completely hidden in the correlations, although t…
We show that a large class of dissipative systems can be brought to a canonical form by introducing complex co-ordinates in phase space and a complex-valued hamiltonian. A naive canonical quantization of these systems lead to non-hermitean hamiltonian operators. The excited states are unstable and decay to the ground state . We also compute the tunneling amplitude across a potential barrier.
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)（慕尼黑量子科学与技术中心）
In order to realize supersymmetric quantum mechanics methods on a four dimensional classical phase-space, the complexified Clifford algebra of this space is extended by deforming it with the Moyal star-product in composing the components of Clifford forms. Two isospectral matrix Hamiltonians having a common bosonic part but different fermionic parts depending on four real-valued phase space functions are obtained. The Hamiltonians are doubly intertwined via matrix-valued functions which are divisors of zero in the resulting Moyal-Clifford algebra. Two illustrative examples corresponding to Jay…
Algebra of quantum mechanics via classical phonons. II: Klein-Gordon dynamics, the Heisenberg formalism, the Dirac canonical commutation rule and the Poincare algebra through the continuous Poisson bracket formalism
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.
Quantum measurements play a fundamental role in quantum mechanics and quantum information processing, but it is not easy to implement generalized measurements, the most powerful measurements allowed by quantum mechanics. Here we propose a simple recipe for implementing generalized measurements on a qudit via quantum walks. With this recipe, any discrete quantum measurement can be implemented via a one-dimensional discrete quantum walk; the number of steps is only two times the number of measurement outcomes. As an illustration, we present a unified solution for implementing arbitrary symmetric…
The complex-valued quantum mechanics considers quantum motion on the complex plane instead of on the real axis, and studies the variations of a particle complex position, momentum and energy along a complex trajectory. On the basis of quantum Hamilton-Jacobi formalism in the complex space, we point out that having complex-valued motion is a universal property of quantum systems, because every quantum system is actually accompanied with an intrinsic complex Hamiltonian originating from the equation. It is revealed that the conventional real-valued quantum mechanics is a special case of the comp…
A complete set of mutually unbiased bases for a Hilbert space of dimension N is analogous in some respects to a certain finite geometric structure, namely, an affine plane. Another kind of quantum measurement, known as a symmetric informationally complete positive-operator-valued measure, is, remarkably, also analogous to an affine plane, but with the roles of points and lines interchanged. In this paper I present these analogies and ask whether they shed any light on the existence or non-existence of such symmetric quantum measurements for a general quantum system with a finite-dimensional st…
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…
We examine the longstanding problem of introducing a time observable in Quantum Mechanics; using the formalism of positive-operator-valued measures we show how to define such an observable in a natural way and we discuss some consequences.
Algebra of quantum mechanics via classical phonons. I: The Schrodinger equation as the Newtonian equation of motion and quantum observables as classical averages
Quasiprobability representations, such as the Wigner function, play an important role in various research areas. The inevitable appearance of negativity in such representations is often regarded as a signature of nonclassicality, which has profound implications for quantum computation. However, little is known about the minimal negativity that is necessary in general quasiprobability representations. Here we focus on a natural class of quasiprobability representations that is distinguished by simplicity and economy. We introduce three measures of negativity concerning the representations of qu…
In (quant-ph/0701141) Rajeev studied quantization of the damped simple harmonic oscillator and introduced a complex-valued Hamiltonian (which is normal). In this note we point out that the quantization is interpreted as a quantum mechanics with {\bf complex time}. We also present a problem on quantization of classical control systems.
It is a well-known fact that the optimal POVM for quantum state tomography is the symmetric, informationally complete, positive operator valued measure (SIC-POVM). We investigate the same problem only in the case when there are some a priori information about the state, specifically when some parameters are known. In this paper we mainly focus on solving a 3-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…
An experimental demonstration of two-qutrit state tomography via one-qutrit symmetric informationally complete positive operator-valued measure (SIC-POVM) is presented. A two-qutrit state is encoded in the transversal paths of a spontaneous parametric down-converted photon pair. A spatial light modulator allows to implement the necessary 81 POVM elements to reconstruct the state. The quality of the reconstruction is evaluated by comparing independent measurements with the predicted results calculated with the reconstructed state. Entanglement in the system is calculated via negativity and gene…
Schroedinger (Nature, v.169, p.538 (1952)) demonstrated that, contrary to the widespread belief, charged particles may be described by real fields. Therefore the sets of solutions with real-valued charged fields are considered in the present work for some versions of (non-second-quantized) quantum electrodynamics (for Dirac spinors "real-valued" is understood as "satisfying the Majorana condition"). In some of the versions any solution may be obtained from a solution from those sets by a gauge transform. The solutions from those sets have common features suggesting a natural interpretation alo…
We prove a theorem showing that quantum mechanics is not directly a stochastic process characterizing Brownian motion but rather its square root. This implies that a complex-valued stochastic process is involved. Schrödinger equation is immediately derived without further assumptions using Itō integrals that are properly generalized. Fluctuations in space arise from a Brownian motion and the combined effect of a stochastic process with a symmetric Bernoulli distribution typical of tossing a coin.
