Quasiprobability representations are well-established tools in quantum information science, with applications ranging from the classical simulability of quantum computation to quantum process tomography, quantum error correction, and quantum sensing. While traditional quasiprobability representations typically employ real-valued distributions, recent developments highlight the usefulness of complex-valued ones -- most notably, via the family of Kirkwood--Dirac quasiprobability distributions. Building on the framework of Schmid et al. [Quantum 8, 1283 (2024)], we extend the analysis to encompass complex-valued quasiprobability representations that need not preserve the identity channel. Additionally, we also extend previous results to consider mappings towards infinite-dimensional spaces. We show that, for each system, every such representation can be expressed as the composition of two maps that are completely characterized by their action on states and on the identity (equivalently, on effects) for that system. Our results apply to all complex-valued quasiprobability representations of any finite-dimensional, tomographically-local generalized probabilistic theory, with finite-dimensional quantum theory serving as a paradigmatic example. In the quantum case, the maps' action on states and effects corresponds to choices of frames and dual frames for the representation. This work offers a unified mathematical framework for analyzing complex-valued quasiprobability representations in generalized probabilistic theories.
Quasiprobability representations are well-established tools in quantum information science, with applications ranging from the classical simulability of quantum computation to quantum process tomography, quantum error correction, and quantum sensing. While traditional quasiprobability representations typically employ real-valued distributions, recent developments highlight the usefulness of complex-valued ones -- most notably, via the family of Kirkwood--Dirac quasiprobability distributions. Building on the framework of Schmid et al. [Quantum 8, 1283 (2024)], we extend the analysis to encompass complex-valued quasiprobability representations that need not preserve the identity channel. Additionally, we also extend previous results to consider mappings towards infinite-dimensional spaces. We show that, for each system, every such representation can be expressed as the composition of two maps that are completely characterized by their action on states and on the identity (equivalently, on effects) for that system. Our results apply to all complex-valued quasiprobability representations of any finite-dimensional, tomographically-local generalized probabilistic theory, with finite-dimensional quantum theory serving as a paradigmatic example. In the quantum case, the maps' action on states and effects corresponds to choices of frames and dual frames for the representation. This work offers a unified mathematical framework for analyzing complex-valued quasiprobability representations in generalized probabilistic theories.
Bayes' rule plays a crucial role in logical inference in information and physical sciences alike.Its extension into the quantum regime has been the subject of several recent works.These quantum versions of Bayes' rule have been expressed in the language of Hilbert spaces.In this paper, we derive the expression for the Petz recovery map within any quasiprobability representation, with explicit formulas for the two canonical choices of "normal quasiprobability representations" (which include discrete-Wigner representations) and of representations based on symmetric informationally complete positive operator-valued measures (SIC-POVMs).By using the same mathematical syntax of (quasi)stochastic matrices acting on (quasi)stochastic vectors, the core difference in logical inference between classical and quantum theory is found in the manipulation of the reference prior rather than in the representation of the channel.
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.
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.
Abstract Kirkwood-Dirac (KD) quasiprobability distributions serve as quantum analog representations of the classical phase-space probability, capable of exhibiting nonclassical behavior through negativity or nonreal values. Recent studies have demonstrated that the nonclassicality of KD quasiprobability distributions plays a crucial role in quantum information tasks and provides deep insights into foundational aspects of quantum mechanics. In this work, we introduce an interpolated KD quasiprobability distribution parametrized by a continuous variable α , which smoothly connects different KD quasiprobability representations. Based on the interpolated KD quasiprobability distribution, we propose a quantitative measure of nonclassicality and rigorously analyze its key properties, including unitary covariance, convexity, and monotonicity. Furthermore, we derive an upper bound for this measure and conduct a comparison with other nonclassicality measures. Finally, we evaluate the nonclassicality measures for several prototypical interpolated KD quasiprobability distributions, illustrating their applicability in quantum information theory.
We connect the structure theorem for quasiprobability representations to quantum error correction. For a code space invariant under a subgroup of an extended Weyl-Heisenberg group, the Brif-Mann construction gives a semi-functorial representation whenever its kernel satisfies the Stratonovich-Weyl axioms, and composes on channels covering full error-correction cycles. With phase-space parity available, a kernel other than the ordinary Wigner one exists iff the code space is invariant under a lattice of displacements: among compact-phase-space bosonic codes, this is only the ideal Gottesman-Kitaev-Preskill family; in finite dimension, this is every qudit stabiliser code, whose negative volume for odd prime dimension is the syndrome-averaged logical magic. For rotation-symmetric, one-photon, non-Pauli qudit and spin codes only the ordinary kernel remains, its negativity reflecting the physical carrier, not logical content; a sector-graded representation built from recovery isometries restores a resource reading. We add a channel atlas, a closed-form magic lifetime under displacement noise, a Kirkwood-Dirac layer, and finite-energy corrections.
The question of how to characterize disorder arises in a wide variety of settings, including information theory, economics, and quantum thermodynamics. The theory of majorization provides an elegant answer, playing a central role in these fields. However, the existing majorization framework is inapplicable to functions that both take negative values and are defined on infinite spaces. Yet such functions, in the form of quasiprobability distributions, are ubiquitous in fields such as quantum optics, signal analysis, and bosonic quantum computation. Here we develop a notion of majorization that is applicable to such functions, proving that it admits four equivalent characterizations that naturally reduce to the finite case, thereby generalizing a seminal theorem by Hardy, Littlewood, and Pólya. Moreover, we extend this equivalence to the setting where majorization is considered relative to an arbitrary positive distribution. We give several applications of our results in the context of quantum resource theories. These include deriving families of resource monotones and constraining quantum state conversions. We analytically and numerically study examples using the Wigner and Husimi functions, which feature prominently in quantum optics. Our results provide a comprehensive majorization framework for assessing the disorder of integrable functions over infinite measure spaces. Quasiprobability distributions, crucial in quantum optics and computation, challenge existing majorization frameworks due to their negative values and infinite domains. Here, the authors establish a novel majorization concept for such functions, offering four equivalent characterizations and extending applications to quantum resource theories, enhancing our understanding of quantum state transformations.