Quasiprobability Representations Research Articles

A structure theorem for generalized-noncontextual ontological models

It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model. Existing works on generalized noncontextuality have focused on experimental scenarios having a simple structure: typically, prepare-measure scenarios. Here, we formally extend the framework of ontological models as well as the principle of generalized noncontextuality to arbitrary compositional scenarios. We leverage a process-theoretic framework to prove that, under some reasonable assumptions, every generalized-noncontextual ontological model of a tomographically local operational theory has a surprisingly rigid and simple mathematical structure — in short, it corresponds to a frame representation which is not overcomplete. One consequence of this theorem is that the largest number of ontic states possible in any such model is given by the dimension of the associated generalized probabilistic theory. This constraint is useful for generating noncontextuality no-go theorems as well as techniques for experimentally certifying contextuality. Along the way, we extend known results concerning the equivalence of different notions of classicality from prepare-measure scenarios to arbitrary compositional scenarios. Specifically, we prove a correspondence between the following three notions of classical explainability of an operational theory: (i) existence of a noncontextual ontological model for it, (ii) existence of a positive quasiprobability representation for the generalized probabilistic theory it defines, and (iii) existence of an ontological model for the generalized probabilistic theory it defines.

Minimizing the negativity of quantum circuits in overcomplete quasiprobability representations

Minimizing the negativity of quantum circuits in overcomplete quasiprobability representations

Approximating outcome probabilities of linear optical circuits

Quasiprobability representations are important tools for analyzing a quantum system, such as a quantum state or a quantum circuit. In this work, we propose classical algorithms specialized for approximating outcome probabilities of a linear optical circuit using quasiprobability distributions. Notably, we can reduce the negativity bound of a circuit from exponential to at most polynomial for specific cases by modulating the shapes of quasiprobability distributions thanks to the symmetry of the linear optical transformation in the phase space. Consequently, our scheme provides an efficient estimation of outcome probabilities within an additive-error whose precision depends on the classicality of the input state. When the classicality is high enough, we reach a polynomial-time estimation algorithm of a probability within a multiplicative-error by an efficient sampling from a log-concave function. By choosing appropriate input states and measurements, our results provide plenty of quantum-inspired classical algorithms for approximating various matrix functions beating best-known results. Moreover, we give sufficient conditions for the classical simulability of Gaussian Boson sampling using our approximating algorithm for any (marginal) outcome probability under the poly-sparse condition.

Quantum Bayesian Inference in Quasiprobability Representations

Quantum Bayesian Inference in Quasiprobability Representations

Uniqueness of Noncontextual Models for Stabilizer Subtheories.

We give a complete characterization of the (non)classicality of all stabilizer subtheories. First, we prove that there is a unique nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory in all odd dimensions, namely Gross's discrete Wigner function. This representation is equivalent to Spekkens' epistemically restricted toy theory, which is consequently singled out as the unique noncontextual ontological model for the stabilizer subtheory. Strikingly, the principle of noncontextuality is powerful enough (at least in this setting) to single out one particular classical realist interpretation. Our result explains the practical utility of Gross's representation by showing that (in the setting of the stabilizer subtheory) negativity in this particular representation implies generalized contextuality. Since negativity of this particular representation is a necessary resource for universal quantum computation in the state injection model, it follows that generalized contextuality is also a necessary resource for universal quantum computation in this model. In all even dimensions, we prove that there does not exist any nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory, and, hence, that the stabilizer subtheory is contextual in all even dimensions.

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

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.

Discrete Wigner functions from informationally complete quantum measurements

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 orthogonalizations of minimal informationally complete measurements (MICs). By not imposing a particular discrete phase space structure at the outset, we push Wigner functions to their limits in a suitably quantified sense, revealing a new way in which the symmetric informationally complete measurements (SICs) are significant. Finally, we speculate that astute choices of MICs from the orthogonalization preimages of Wigner bases may in general give quantum measurements conceptually underlying the associated quasiprobability representations.

On Measures of Classicality/Quantumness in Quasiprobability Representations of Finite-Dimensional Quantum Systems

In the present report we discuss measures of classicality/quantumness of states of finite-dimensional quantum systems, which are based on a deviation of quasiprobability distributions from true statistical distributions. Particularly, the dependence of the global indicator of classicality on the assigned geometry of a quantum state space is analysed for a whole family of Wigner quasiprobability representations. General considerations are exemplified by constructing the global indicator of classicality/quantumness for the Hilbert-Schmidt, Bures and Bogoliubov-Kubo-Mori ensembles of qubits and qutrits.

Quasiprobability distributions for quantum-optical coherence and beyond

We study the quasiprobability representation of quantum light, as introduced by Glauber and Sudarshan, for the unified characterization of quantum phenomena. We begin with reviewing the past and current impact of this technique. Regularization and convolution methods are specifically considered since they are accessible in experiments. We further discuss more general quantum systems for which the concept of negative probabilities can be generalized, being highly relevant for quantum information science. For analyzing quantum superpositions, we apply recently developed approaches to visualize quantum coherence of states via negative quasiprobability representations, including regularized quasiprobabilities for light and more general quantum correlated systems.

Quasistates and quasiprobabilities

The quasiprobability representation of quantum states addresses two main concerns, the identification of nonclassical features and the decomposition of the density operator. While the former aspect is a main focus of current research, the latter decomposition property has been studied less frequently. In this contribution, we introduce a method for the generalized expansion of quantum states in terms of so-called quasistates. In contrast to the quasiprobability decomposition through nonclassical distributions and pure-state operators, our technique results in classical probabilities and nonpositive semidefinite operators, defining the notion of quasistates, that carry the information about the nonclassical characteristics of the system. Therefore, our method presents a complementary approach to prominent quasiprobability representations. We explore the usefulness of our technique with several examples, including applications for quantum state reconstruction and the representation of nonclassical light. In addition, using our framework, we also demonstrate that inseparable quantum correlations can be described in terms of classical joint probabilities and tensor-product quasistates for an unambiguous identification of quantum entanglement.

Quasiprobability representation of quantum coherence

We introduce a general method for the construction of quasiprobability representations for arbitrary notions of quantum coherence. Our technique yields a non-negative probability distribution for the decomposition of any classical state. Conversely, quantum phenomena are certified in terms of signed distributions, i.e., quasiprobabilities, and a residual component unaccessible via classical states. Our unifying method combines well-established concepts, such as phase-space distributions in quantum optics, with resources of quantumness relevant for quantum technologies. We apply our approach to analyze various forms of quantum coherence in different physical systems. Moreover, our framework renders it possible to uncover complex quantum correlations between systems, for example, via quasiprobability representations of multipartite entanglement.

All the noncontextuality inequalities for arbitrary prepare-and-measure experiments with respect to any fixed set of operational equivalences

Within the framework of generalized noncontextuality, we introduce a general technique for systematically deriving noncontextuality inequalities for any experiment involving finitely many preparations and finitely many measurements, each of which has a finite number of outcomes. Given any fixed sets of operational equivalences among the preparations and among the measurements as input, the algorithm returns a set of noncontextuality inequalities whose satisfaction is necessary and sufficient for a set of operational data to admit of a noncontextual model. Additionally, we show that the space of noncontextual data tables always defines a polytope. Finally, we provide a computationally efficient means for testing whether any set of numerical data admits of a noncontextual model, with respect to any fixed operational equivalences. Together, these techniques provide complete methods for characterizing arbitrary noncontextuality scenarios, both in theory and in practice. Because a quantum prepare-and-measure experiment admits of a noncontextual model if and only if it admits of a positive quasiprobability representation, our techniques also determine the necessary and sufficient conditions for the existence of such a representation.

Algebraic probability-theoretic characterization of quantum correlations

Quantum entanglement and nonlocality are inequivalent notions: There exist entangled states that nevertheless admit local-realistic interpretations. This paper studies a special class of local-hidden-variable theories, in which the linear structure of quantum measurement operators is preserved. It has been proven that a quantum state has such linear hidden-variable representations if, and only if, it is not entangled. Separable states are known to admit nonclassical correlations as well, which are captured by quantum discord and related measures. In the unified framework presented in this paper, zero-discordant states are characterized as the only states that admit fully consistent classical probability representations. Possible generalization of this framework to the quasiprobability representation of multipartite quantum states is also discussed.

Negativity Bounds for Weyl–Heisenberg Quasiprobability Representations

The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with the elusive symmetric informationally complete quantum measurements (SICs). We define a family of negativity measures which includes Zhu's as a special case and consider another member of the family which we call "sum negativity." We prove a sufficient condition for local maxima in sum negativity and find exact global maxima in dimensions $3$ and $4$. Notably, we find that Zhu's result on the SICs does not generally extend to sum negativity, although the analogous result does hold in dimension $4$. Finally, the Hoggar lines in dimension $8$ make an appearance in a conjecture on sum negativity.

Quasiprobability Representations of Quantum Mechanics with Minimal Negativity.

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 quantum states, unitary transformations, and quantum channels, respectively. Quite surprisingly, all three measures lead to the same representations with minimal negativity, which are in one-to-one correspondence with the elusive symmetric informationally complete measurements. In addition, most representations with minimal negativity are automatically covariant with respect to the Heisenberg-Weyl groups. Furthermore, our study reveals an interesting tradeoff between negativity and symmetry in quasiprobability representations.

Permutation Symmetry Determines the Discrete Wigner Function.

The Wigner function provides a useful quasiprobability representation of quantum mechanics, with applications in various branches of physics. Many nice properties of the Wigner function are intimately connected with the high symmetry of the underlying operator basis composed of phase point operators: any pair of phase point operators can be transformed to any other pair by a unitary symmetry transformation. We prove that, in the discrete scenario, this permutation symmetry is equivalent to the symmetry group being a unitary 2 design. Such a highly symmetric representation can only appear in odd prime power dimensions besides dimensions 2 and 8. It suffices to single out a unique discrete Wigner function among all possible quasiprobability representations. In the course of our study, we show that this discrete Wigner function is uniquely determined by Clifford covariance, while no Wigner function is Clifford covariant in any even prime power dimension.

Estimating Outcome Probabilities of Quantum Circuits Using Quasiprobabilities.

We present a method for estimating the probabilities of outcomes of a quantum circuit using Monte Carlo sampling techniques applied to a quasiprobability representation. Our estimate converges to the true quantum probability at a rate determined by the total negativity in the circuit, using a measure of negativity based on the 1-norm of the quasiprobability. If the negativity grows at most polynomially in the size of the circuit, our estimator converges efficiently. These results highlight the role of negativity as a measure of nonclassical resources in quantum computation.

From the attempt of certain classical reformulations of quantum mechanics to quasi-probability representations

The concept of an injective affine embedding of the quantum states into a set of classical states, i.e., into the set of the probability measures on some measurable space, as well as its relation to statistically complete observables is revisited, and its limitation in view of a classical reformulation of the statistical scheme of quantum mechanics is discussed. In particular, on the basis of a theorem concerning a non-denseness property of a set of coexistent effects, it is shown that an injective classical embedding of the quantum states cannot be supplemented by an at least approximate classical description of the quantum mechanical effects. As an alternative approach, the concept of quasi-probability representations of quantum mechanics is considered.

The resource theory of stabilizer quantum computation

Recent results on the non-universality of fault-tolerant gate sets underline the critical role of resource states, such as magic states, to power scalable, universal quantum computation. Here we develop a resource theory, analogous to the theory of entanglement, that is relevant for fault-tolerant stabilizer computation. We introduce two quantitative measures—monotones—for the amount of non-stabilizer resource. As an application we give absolute bounds on the efficiency of magic state distillation. One of these monotones is the sum of the negative entries of the discrete Wigner representation of a quantum state, thereby resolving a long-standing open question of whether the degree of negativity in a quasi-probability representation is an operationally meaningful indicator of quantum behavior.

Negative quasi-probability as a resource for quantum computation

A central problem in quantum information is to determine the minimal physical resources that are required for quantum computational speed-up and, in particular, for fault-tolerant quantum computation. We establish a remarkable connection between the potential for quantum speed-up and the onset of negative values in a distinguished quasi-probability representation, a discrete analogue of the Wigner function for quantum systems of odd dimension. This connection allows us to resolve an open question on the existence of bound states for magic state distillation: we prove that there exist mixed states outside the convex hull of stabilizer states that cannot be distilled to non-stabilizer target states using stabilizer operations. We also provide an efficient simulation protocol for Clifford circuits that extends to a large class of mixed states, including bound universal states.