We develop a comprehensive analysis of the Kirkwood-Dirac distributions in classical optics, revealing their deep connection with optical coherence as fundamental concept in optics. From their very definition, the Kirkwood-Dirac distributions emerge as generalized mutual coherence functions involving two different bases instead of just one. This perspective provides a unified interpretation of the so-called anomalous values, that are complex and negative values, as direct manifestations of coherence. We show that this interpretation consistently applies across all field variables considered in this work, including polarization, interference and wave propagation. Furthermore, we propose diverse methods of experimental determination of these distributions based on interference, in full agreement with their coherence-based interpretation.
We develop a comprehensive analysis of the Kirkwood-Dirac distributions in classical optics, revealing their deep connection with optical coherence as fundamental concept in optics. From their very definition, the Kirkwood-Dirac distributions emerge as generalized mutual coherence functions involving two different bases instead of just one. This perspective provides a unified interpretation of the so-called anomalous values, that are complex and negative values, as direct manifestations of coherence. We show that this interpretation consistently applies across all field variables considered in this work, including polarization, interference and wave propagation. Furthermore, we propose diverse methods of experimental determination of these distributions based on interference, in full agreement with their coherence-based interpretation.
Abstract There are several mathematical formulations of quantum mechanics. The Schrödinger picture expresses quantum states in terms of wavefunctions over, e.g. position or momentum. Alternatively, phase-space formulations represent states with quasi-probability distributions over, e.g. position and momentum. A quasi-probability distribution resembles a probability distribution but may have negative and non-real entries. The most famous quasi-probability distribution, the Wigner function, has played a pivotal role in the development of a continuous-variable quantum theory that has clear analogues of position and momentum. However, the Wigner function is ill-suited for much modern quantum-information research, which is focused on finite-dimensional systems and general observables. Instead, recent years have seen the Kirkwood–Dirac (KD) distribution come to the forefront as a powerful quasi-probability distribution for analysing quantum mechanics. The KD distribution allows tools from statistics and probability theory to be applied to problems in quantum-information processing. A notable difference to the Wigner function is that the KD distribution can represent a quantum state in terms of arbitrary observables. This paper reviews the KD distribution, in three parts. First, we present definitions and basic properties of the KD distribution and its generalisations. Second, we summarise the KD distribution’s extensive usage in the study or development of measurement disturbance; quantum metrology; weak values; direct measurements of quantum states; quantum thermodynamics; quantum scrambling and out-of-time-ordered correlators; and the foundations of quantum mechanics, including Leggett–Garg inequalities, the consistent-histories interpretation and contextuality. We emphasise connections between operational quantum advantages and negative or non-real KD quasi-probabilities. Third, we delve into the KD distribution’s mathematical structure. We summarise the current knowledge regarding the geometry of KD-positive states (the states for which the KD distribution is a classical probability distribution), describe how to witness and quantify KD non-positivity, and outline relationships between KD non-positivity, coherence and observables’ incompatibility.
The Kirkwood-Dirac distribution, serving as an informationally complete representation of a quantum state, has recently garnered increasing attention. We investigate the Kirkwood-Dirac classicality with respect to mutually unbiased bases. For prime dimensional Hilbert spaces, {we demonstrate that a quantum state exhibits Kirkwood-Dirac classicality for two distinct sets of mutually unbiased bases (A,B) and (A,B′) if and only if it is incoherent with respect to A}. We subsequently introduce a coherence monotone based on Kirkwood-Dirac nonclassicality with respect to mutually unbiased bases. Additionally, we establish that this coherence monotone can be expressed through weak values, suggesting that quantum coherence can be utilized to detect anomalous weak values.
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.
Abstract The Kirkwood-Dirac distribution, serving as an informationally complete representation of a quantum state, has recently garnered increasing attention. We investigate the Kirkwood-Dirac classicality with respect to mutually unbiased bases. For prime-dimensional Hilbert spaces, we demonstrate that a quantum state exhibits Kirkwood-Dirac classicality for two distinct sets of mutually unbiased bases ( A,B ) and if and only if it is incoherent with respect to A . We subsequently introduce a coherence monotone based on Kirkwood-Dirac nonclassicality with respect to mutually unbiased bases. Additionally, we establish that this coherence monotone can be expressed through weak values, suggesting that quantum coherence can be utilized to detect anomalous weak values.
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 question of when the Kirkwood-Dirac quasiprobability serves as the most appropriate description for quantum measurements has remained unresolved, particularly across different measurement strengths. While known to generate anomalous weak values in the weak measurement regime and to reduce to classical probabilities under projective measurement, the physical mechanism governing its continuous transformation has been lacking. Here we demonstrate that the KD quasiprobability provides a general framework for all measurement regimes by identifying pointer-induced decoherence as the universal mechanism controlling this transition. We show that the decoherence factor F(t) simultaneously quantifies the loss of quantum coherence and interpolates the measurement strength from weak to strong. Within this framework, the KD quasiprobability naturally deforms from its full complex form-governing weak values-to the real, non-negative Wigner formula describing projective measurements, while maintaining informational completeness throughout the transition. Our work resolves the fundamental question of the KD distribution's applicability by establishing it as the universal framework that seamlessly connects all quantum measurement regimes through a physically transparent decoherence pathway.