KD Nonclassicality in Quantum Mechanics

• KD nonclassicality is defined by negative or nonreal entries in the Kirkwood–Dirac quasiprobability distribution, marking fundamentally quantum behavior.
• It underlies key phenomena such as measurement incompatibility, quantum entanglement, and provides a basis for computational advantages over classical simulations.
• Experimental protocols like weak measurement and classical shadow tomography offer rigorous, practical means to quantify and witness KD nonclassicality.

KD nonclassicality refers to the violation of classical probability structure in the Kirkwood–Dirac (KD) quasiprobability distribution, as indicated by the appearance of negative or nonreal values. This feature, absent in standard Kolmogorovian probability theory, is a signature of quantum mechanical behavior underpinning phenomena such as measurement incompatibility, entanglement, quantum contextuality, and computational advantage. KD nonclassicality is central to diverse quantum protocols and foundational questions, offering a unifying framework across measurement regimes and for a broad range of operational resources.

1. Definition and Structure of KD Quasiprobability

The KD distribution for a quantum state $\rho$ with respect to two orthonormal bases $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$ and $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$ is defined as

$$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$

Alternatively, $$Q_{i j}(\rho) = \langle b_j|a_i\rangle \langle a_i|\rho|b_j\rangle$$. For multipartite or time-ordered measurement scenarios, the definition generalizes to include ordered sequences of projections and, when relevant, time evolution.

This distribution is normalized: $\sum_{i, j} Q_{i j}(\rho) = 1$, and yields the correct standard marginals in each basis: $\sum_{j} Q_{i j} = p(a_i)$, $\sum_{i} Q_{i j} = p(b_j)$. However, for incompatible measurements or noncommutative scenarios, some entries $Q_{i j}$ may be negative or complex.

KD-classicality is defined by $Q_{i j} \in \mathbb{R}_{\geq 0}$ for all $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$0; any violation—negativity or a nonzero imaginary part—is termed KD nonclassicality (Bievre, 2021, Budiyono et al., 2022).

2. Hierarchies, Bounds, and Support Criteria

The set of probability distributions divides strictly into hierarchies: classical distributions $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$1 KD distributions $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$2 post-quantum (arbitrary normalized complex-valued) distributions (Liu et al., 12 Apr 2025).

A concise set of necessary and sufficient conditions for KD nonclassicality emerges for certain important bases:

• For mutually unbiased bases (MUBs) or DFT-related bases in $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$3 dimensions, the support uncertainty principle states $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$4 for any pure state $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$5, where $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$6 and $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$7 are the numbers of nonzero coefficients in the $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$8, $\mathcal A = \{|a_i\rangle\}_{i=0}^{d-1}$9 representations, respectively. KD nonclassicality arises if and only if $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$0; KD-classical states saturate the bound (Yang et al., 2023).
• For completely incompatible bases (COINC), only states with minimal total support $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$1 are KD-classical; all others are necessarily KD-nonclassical (Bievre, 2021).

These results underlie the uncertainty diagram, which encodes which support pairs $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$2 may allow classicality or necessitate nonclassicality.

Universal pointwise bounds apply for any KD distribution: $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$3 with corresponding $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$4, $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$5, and $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$6 norm constraints on aggregated negativity and imaginarity (Liu et al., 12 Apr 2025).

3. Quantification of KD Nonclassicality

Several functionals rigorously quantify the degree of KD nonclassicality:

• KD negativity (or mana): $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$7, vanishing if and only if KD-classicality is achieved (Lostaglio et al., 2022, Thio et al., 9 Jun 2025, Liu et al., 12 Apr 2025).
• Nonreality measure: $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$8 quantifies the total imaginary content, which is closely related to the disturbance or irreducible quantum share of measurement uncertainty (Budiyono et al., 2022, Budiyono, 2024).
• For bipartite states, the sum of $\mathcal B = \{|b_j\rangle\}_{j=0}^{d-1}$9 over all pairs of orthonormal product bases, maximized over all such choices, defines a measure $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$0 which is:
  • Faithful: $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$1 iff $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$2 is classical-classical (or classical-quantum one-sided).
  • Unitary-invariant and convex.
  • A lower bound to the quantum standard deviation in local measurements (Budiyono et al., 2022).
• The KD mana is a resource monotone under Clifford (or real Clifford) circuits, bounding the ability to distill quantum resources (Thio et al., 9 Jun 2025).

Moment-based criteria provide experimentally accessible nonclassicality witnesses: for the sequence of KD moments $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$3, positivity of $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$4 implies $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$5, and more generally, the Hankel matrix of moments is positive semidefinite. Violation signals nonpositivity (i.e., KD nonclassicality) and can be operationally detected (Chakrabarty et al., 9 Jun 2025).

4. Geometric and Structural Features

For DFT-related bases in prime power dimension, the set of KD-classical (i.e., nonnegative) states is the convex hull of particular pure KD-classical states associated with subgroups (divisors) of the full Hilbert space; directed graphs constructed from these divisors classify the extremal points (Cai et al., 14 Mar 2026).

In cases $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$6 or $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$7 (with $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$8 primes), the set of classical states forms a convex polytope whose extremal points are precisely projectors associated with the relevant subgroups. States outside this polytope are necessarily KD-nonclassical, and convex-geometric separation provides both necessary and sufficient tests for classicality (Yang et al., 2024).

For qubit Clifford circuits, pure Clifford stabilizer states (CSS) are exactly the KD-positive pure states, and their convex hull gives all KD-positive states; KD-nonpositivity is required for quantum advantage beyond Clifford simulation (Thio et al., 9 Jun 2025).

5. Operational and Information-Theoretic Implications

KD nonclassicality is closely tied to primary resources in quantum information processing:

• Quantum computational advantage: KD negativity is both necessary and sufficient for quantum computational speedup over real-Clifford circuits; any circuit entirely simulable with KD-positive states (in chosen bases) is classically efficiently simulable (Thio et al., 9 Jun 2025).
• Entanglement: The KD nonreality-based monotone $$Q_{i j}(\rho) = \langle a_i|\rho|b_j\rangle \langle b_j|a_i\rangle.$$9 is a faithful, Schur-concave entanglement measure for pure bipartite states, reduces to concurrence in the two-qubit case, and quantifies minimal disturbance under local von Neumann measurement (Budiyono, 7 Jan 2025).
• Quantum coherence: The maximum sum of absolute KD imaginary parts over mutually unbiased bases defines a convex coherence monotone that equals the $$Q_{i j}(\rho) = \langle b_j|a_i\rangle \langle a_i|\rho|b_j\rangle$$0-norm coherence for qubits and bounds it for higher dimensions (Liu et al., 2024, Budiyono et al., 2023).
• Measurement uncertainty and estimation: KD nonclassicality measures are bounded below by state-dependent commutators and trace-norm asymmetries; they are operationally interpretable as minimal estimation errors or maximal state disturbance in optimized estimation/disturbance tasks (Budiyono, 2024, Budiyono et al., 2022).
• Contextuality: Any nonreal or negative KD value is a rigorous signal of quantum contextuality (Lostaglio et al., 2022, Budiyono, 7 Jan 2025).

In thermodynamics, KD nonclassicality plays a role in nonclassical work extraction protocols, and quantum Fisher information enhancement in metrology is directly linked to KD negativity in postselected measurements (Lostaglio et al., 2022, Yang et al., 2023, Doucet et al., 2024).

6. Measurement, Experimental Access, and Universality

KD nonclassicality is directly accessible via several schemes:

• Weak measurement protocols and the direct estimation of weak values, which reconstruct the real and imaginary parts of KD entries without full tomography (Lostaglio et al., 2022).
• Interferometric circuits and cloning/SWAP tests, which provide efficient estimators for KD moments and entire arrays (Lostaglio et al., 2022, Chakrabarty et al., 9 Jun 2025).
• Classical shadow tomography, which makes moment-based diagnosis scalable to high-dimensional Hilbert spaces (Chakrabarty et al., 9 Jun 2025).

Crucially, the KD framework provides a universal description encompassing all quantum measurement strengths: the nonclassical features (complex/negative values) decay continuously under pointer-induced decoherence, interpolating between weak (fully quantum, complex KD) and strong (classical, nonnegative, real) measurement regimes (Zhang et al., 25 Jan 2026). This noiseless-to-classical transition is governed by a single decoherence parameter $$Q_{i j}(\rho) = \langle b_j|a_i\rangle \langle a_i|\rho|b_j\rangle$$1, which modulates the convolution between the initial KD and its classical limit (the Wigner or Margenau–Hill formula).

7. Fundamental Limits, Hierarchies, and Applications

The ultimate bounds on KD nonclassicality—pointwise, summed, and polynomial—establish a clear hierarchy: the set of KD distributions is strictly larger than the classical set but strictly smaller than the set of normalized, modulus-constrained arrays. Saturation of these universal bounds characterizes the maximal possible contextuality, resourcefulness for quantum computation, or metrological advantage that can be achieved through KD nonclassicality (Liu et al., 12 Apr 2025).

These findings frame KD negativity and nonreality as unifying resource concepts across foundational quantum mechanics and advanced quantum applications, rigorously connecting measurement incompatibility, entanglement, coherence, contextually witnessed nonclassicality, and computational power within a common operational and mathematical structure.