We uncover features of generalized contextuality by connecting it to the Kirkwood-Dirac (KD) quasiprobability distribution. Quantum states can be represented by KD distributions, which take values in the complex unit disk. Only for “KD-positive” states are the KD distributions joint probability distributions. A KD distribution can be measured by a series of weak and projective measurements. We design such an experiment and show that it is contextual iff the underlying state is not KD positive. We analyze this connection with respect to mixed KD-positive states that cannot be decomposed as convex combinations of pure KD-positive states. Our result is the construction of a noncontextual experiment that enables an experimenter to verify contextuality.
We uncover features of generalized contextuality by connecting it to the Kirkwood-Dirac (KD) quasiprobability distribution. Quantum states can be represented by KD distributions, which take values in the complex unit disk. Only for “KD-positive” states are the KD distributions joint probability distributions. A KD distribution can be measured by a series of weak and projective measurements. We design such an experiment and show that it is contextual iff the underlying state is not KD positive. We analyze this connection with respect to mixed KD-positive states that cannot be decomposed as convex combinations of pure KD-positive states. Our result is the construction of a noncontextual experiment that enables an experimenter to verify contextuality.
Quantum theory is fundamentally different from its classical counterpart. This difference has led to striking new insights in the foundations of physics and the theories of computation and information. Nevertheless, characterising the difference between classical and quantum theory has proven to be a difficult problem. In this thesis, I present my progress towards a general solution for this open problem. My main tool is the Kirkwood-Dirac (KD) quasiprobability distribution. The KD distribution provides an alternative description of quantum states, operations and measurements in terms of quasiprobability distributions. The KD quasiprobability distribution obeys all properties of probability distributions except that its values may, in general, lie in the complex unit disc instead of the interval [0,1]. For some experiments, however, all associated KD distributions are genuine probability distributions. For such `KD-positive’ states, operations and measurements, the KD distribution enables the construction of a classical model. The absence of such a construction can provide a natural criterion for the definition of the quantum-classical boundary. In the first part of my thesis, I present my results on the mathematical structure of the KD distribution. I summarise previous literature, and prove several new results, including a proof that the set of KD-positive states is almost always minimal, which was published in Physical Review A; novel bounds on the entries of the KD distribution and KD nonpositivity, a measure of how far a KD distribution is from being positive; and the construction of exotic states, mixed KD-positive states that cannot be written as the convex combination of pure KD-positive states, for Hilbert spaces of any odd dimension. These results lay the foundation for the objective of the remainder of this thesis: the application of the KD distribution in quantum foundations, computation and information. In the foundational setting, I study contextuality, a notion of nonclassicality often used in quantum foundations. An experiment is contextual if it is impossible to describe its indistinguishable procedures identically classically. I design an experiment that is contextual if and only if the input state of the experiment is not KD-positive. By analysing this connection with respect to the aforementioned exotic states, I obtain a quantum protocol that allows an experimenter to verify contextuality using a noncontextual experiment, thereby uncovering a previously unknown feature of contextuality. This section of the thesis is based on my publication in Physical Review A `Verification of contextuality by noncontextual experiments’ KDContextualityPaper. In the computational setting, I study the Delfosse-Guerin-Bian-Raussendorf (DGBR) model of quantum computation with a restricted set of input states. For certain sets of input states, this model is computationally as powerful as a universal quantum computer. However, for other sets of input states, this model is efficiently simulable on a classical computer and thus cannot be as powerful as a universal quantum computer, unless quantum computers offer no advantage over their classical counterparts. I prove that if all states in the set of input states are KD-positive, then the DGBR model is classically efficiently simulable. In this setting, some exotic states are bound-magic states, magic states that are nevertheless simulable input states in the DGBR model. I use my previous work on exotic states to construct the first bound-magic states on qubits. Furthermore, I show that KD nonpositivity is a resource monotone for quantum computation, establishing KD nonpositivity as a necessary resource for quantum computational advantage. This section of the thesis is based on my article `Kirkwood-Dirac nonpositivity is a necessary resource for quantum computing’, which has been accepted for publication in Physical Review Letters. In the information-theoretical setting, I study the uncertainty principle. In modern quantum information theory, the uncertainty principle is formulated as an `entropic lower bound’ on the sum of the entropies of the outcome distributions of two observables. I extend the definition of the standard entropic functions to the KD distribution and the Margenau-Hill (MH) distribution, which is the real part of the KD distribution. I introduce the MH Shannon entropy and the KD Rényi entropy, and establish their basic properties. For the MH Shannon entropy, I prove a generalised subadditivity relation, which yields a state-dependent entropic uncertainty relation that strengthens the previous best bound in most regimes and implies the finite-dimensional analogue of the Van Herstraeten--Cerf conjecture. For the KD Rényi entropy, I prove an entropic uncertainty relation strengthening the Maassen--Uffink bound, in which the KD nonpositivity appears as an additive correction. This yields a new interpretation of KD nonpositivity as a measure of quantum uncertainty, as well as a new entropic witness of KD positivity. Applying these results to cryptographic games, I show that KD nonpositivity is the key resource governing the optimal strategy in each case. This section is based on my article `Kirkwood-Dirac nonpositivity is sufficient for quantum uncertainty'. These results demonstrate that the KD distribution provides an effective formulation of quantum theory for studying the quantum-classical boundary in various settings. My work establishes explicit connections between the KD distribution and quantum foundations, computation, and information, opening up these fields to be studied using the extensive KD toolkit.
The Kirkwood-Dirac (KD) quasiprobability is a quantum analog expression of the phase-space probability in classical statistical mechanics, yet it can behave nonclassically by taking negative or nonreal values. The nonclassicality of the KD quasiprobability distribution has lately been shown to provide advantages in some quantum information tasks and shed light on a number of aspects of quantum physics. Characterization and quantification of KD nonclassicality are crucial both theoretically and experimentally. Most of the existing measures of KD nonclassicality concentrate merely on the negative or/and imaginary part(s) of the KD distribution. Yet it is not clear whether these measures can account for all nonclassicality in the distribution. In this paper, we suggest a KD nonclassicality measure based on the two quantum modification terms in the quasiprobability distribution. The present paper is mainly motivated by the following two considerations: First, the two quantum modification terms are actually the sources of the negative and imaginary parts of the KD quasiprobability respectively. Secondly, these quantum modification terms deviate the KD quasiprobability from the classical joint probability distribution function of two successive projective measurements (termed as the Wigner formula), which can be obtained from the multiplication principle in classical probability theory. Our measure refines the quantification of KD nonclassicality in the sense that even for real and nonnegative KD distribution, its quantum modification terms can still exist, resulting in a nonvanishing KD nonclassicality. As an illustration, we analyze the KD nonclassicality of the positive KD distribution in the postselected metrology scheme [S. Das, S. Modak, and M. N. Bera, Phys. Rev. A 107, 042413 (2023)], which provides interpretation on the source of quantum advantages. We also give an upper bound on the KD nonclassicality measure and offer an easily verifiable sufficient condition for nonvanishing KD nonclassicality.
Abstract Just a few years after the inception of quantum mechanics, there has been a research program using the nonclassical values of some quasiprobability distributions to delineate the nonclassical aspects of quantum phenomena. In particular, in Kirkwood–Dirac (KD) quasiprobability distribution, the distinctive quantum mechanical feature of noncommutativity which underlies many nonclassical phenomena, manifests in the nonreal values and/or the negative values of the real part. Here, we develop a faithful quantifier of quantum coherence based on the KD nonclassicality which captures simultaneously the nonreality and the negativity of the KD quasiprobability. The KD-nonclassicality coherence thus defined, is upper bounded by the uncertainty of the outcomes of measurement described by a rank-1 orthogonal projection-valued measure (PVM) corresponding to the incoherent orthonormal basis which is quantified by the Tsallis 1 2 -entropy. Moreover, they are identical for pure states so that the KD-nonclassicality coherence for pure state admits a simple closed expression in terms of measurement probabilities. We then use the Maassen–Uffink uncertainty relation for min-entropy and max-entropy to obtain a lower bound for the KD-nonclassicality coherence of a pure state in terms of optimal guessing probability in measurement described by a PVM noncommuting with the incoherent orthonormal basis. We also derive a trade-off relation for the KD-nonclassicality coherences of a pure state relative to a pair of noncommuting orthonormal bases with a state-independent lower bound. Finally, we sketch a variational scheme for a direct estimation of the KD-nonclassicality coherence based on weak value measurement and thereby discuss its relation with quantum contextuality.
Kirkwood-Dirac representations of quantum states are increasingly finding use in many areas within quantum theory. Usually, representations of this sort are only applied to provide a representation of quantum states (as complex functions over some set). We show how standard Kirkwood-Dirac representations can be extended to a fully compositional representation of all of quantum theory (including channels, measurements, and so on), and prove that this extension satisfies the essential features of functoriality (namely, that the representation commutes with composition of channels), linearity, and quasistochasticity. Interestingly, the representation of a positive operator-valued measure (POVM) element is uniquely picked out to be the collection of weak values for it relative to the bases defining the representation. We then prove that if one can find any Kirkwood-Dirac representation that is everywhere real and non-negative for a given experimental scenario or fragment of quantum theory, then the scenario or fragment is consistent with the principle of generalized noncontextuality, a key notion of classicality in quantum foundations. We also show that the converse does not hold: even if one verifies that all Kirkwood-Dirac representations (as defined herein) of an experiment require negativity or imaginarity, one cannot generally conclude that the experiment witnesses contextuality.
The Kirkwood–Dirac (KD) quasiprobability distribution describes any quantum state with respect to the eigenbases of two incompatible observables. While the KD quasiprobability distribution behaves similarly to a classical probability distribution, it can take on negative or nonreal values. Recently, the framework of the temporal Kirkwood–Dirac quasiprobability distribution has been proposed, generalizing the KD quasiprobability distribution to arbitrary multi-time quantum processes. In this work, we specifically focus on the temporal KD quasiprobability distribution within the context of two-time dynamics. We begin by constructing a nonclassicality measure derived from the real and imaginary parts of the temporal KD quasiprobability distribution. Next, we establish two uncertainty relations closely linked to this nonclassicality measure, one of which shows that the nonclassicality measure is bounded below by the measurement disturbance caused by the first measurement. Finally, we elucidate the relationships among temporal KD nonclassicality, the spatiotemporal Born rule, and spatiotemporal compatibility.
The Kirkwood-Dirac (KD) quasiprobability describes measurement statistics of joint quantum observables, and has generated great interest as prominent indicators of non-classical features in various quantum information processing tasks. It relaxes the Kolmogorov axioms of probability by allowing for negative and even imaginary probabilities, and thus incorporates the classical probability theory as its inner boundary. In this work, we introduce the postquantum quasiprobability under mild assumptions to provide an outer boundary for KD quasiprobability. Specifically, we present qualitative and quantitative evidence to show that the classical, KD, and postquantum quasiprobabilities form a strict hierarchy, in the sense that joint probability distributions are a strict subset of KD quasiprobability distributions that are a strict subset of postquantum ones. Surprisingly, we are able to derive some nontrivial bounds valid for both classical probability and KD quasiprobability, and even valid for the KD quasiprobability generated by an arbitrary number of measurements. Finally, other interesting bounds are obtained, and their implications are noted. Our work solves the fundamental problems of what and how to bound the KD quasiprobability, and hence provides a deeper understanding of utilizing it in quantum information processing.