Kirkwood-Dirac Pseudo-Distribution

• The Kirkwood–Dirac pseudo-distribution is a quasiprobability representation that extends joint probability to incompatible quantum measurements while allowing negative or complex values.
• It maintains proper Born rule marginals and quantifies quantum resources like nonclassicality, contextuality, and coherence through its distinctive negativity.
• Operational protocols such as weak measurement schemes and moment-based witnesses enable its experimental verification and application in quantum metrology and thermodynamics.

The Kirkwood–Dirac (KD) pseudo-distribution is a canonical quasiprobability representation of quantum states relative to two orthonormal bases. Originally introduced to extend the notion of joint probability to incompatible measurements in quantum mechanics, the KD distribution is now central to quantum foundations, metrology, quantum information theory, and the study of nonclassicality. A distinctive property of the KD distribution is that its entries can be negative or nonreal, in sharp contrast to genuine probability distributions, and such negativity or complex character serves as a resource indicator for quantum advantage, contextuality, and coherence.

1. Formal Definition and Fundamental Properties

Given a $d$-dimensional Hilbert space and two orthonormal bases $A = \{|a_j\rangle\}_{j=1}^d$ and $B = \{|b_k\rangle\}_{k=1}^d$, the KD pseudo-distribution of a density operator $\rho$ is defined as

$$\mathrm{KD}_\rho(j,k) = \langle a_j|\rho|b_k\rangle\,\langle b_k|a_j\rangle.$$

For a pure state $\rho=|\psi\rangle\langle\psi|$, this specializes to

$$Q_{jk}(|\psi\rangle) = \langle a_j|\psi\rangle\,\langle\psi|b_k\rangle\,\langle b_k|a_j\rangle.$$

The KD matrix obeys the following properties:

• Normalization: $\sum_{j,k} Q_{jk} = \operatorname{Tr}\rho = 1$;
• Correct marginals (Born probabilities): $\sum_k Q_{jk} = |\langle a_j|\psi\rangle|^2$ and $\sum_j Q_{jk} = |\langle\psi|b_k\rangle|^2$;
• Quasiprobability: KD entries can be negative or complex; only in special cases does the KD array correspond to a classical probability distribution (every entry real and nonnegative) (Xu, 2022).

For general observables $A$ and $B$ with spectral decompositions into nondegenerate projectors, the definition generalizes to

$$\mathrm{KD}_{A,B}(\rho)(i,j) = \operatorname{Tr}[\,|a_i\rangle\langle a_i|\,\rho\,|b_j\rangle\langle b_j|\,] = \langle b_j | a_i \rangle\,\langle a_i | \rho | b_j \rangle$$

(Arvidsson-Shukur et al., 2024).

This family further admits generalization to sequences of noncommuting observables or even POVMs, and is operationally equivalent to weak-value statistics for appropriately defined measurement sequences.

2. Classicality, Nonclassicality, and Support Uncertainty

A pure state $|\psi\rangle$ is termed KD-classical (w.r.t. bases $A,B$) if all KD matrix elements are real and nonnegative, $Q_{jk}(|\psi\rangle) \ge 0$ for all $j,k$; otherwise it is KD-nonclassical (Xu, 2022).

The structure and characterization of KD-classical pure states is governed by the following theorems:

• Theorem 1 (Algebraic criterion): $|\psi\rangle$ is KD-classical (for $A,B$) if and only if there exist index sets $S_A,S_B$, real phases $\{\alpha_j\}_{j\in S_A}$, $\{\beta_k\}_{k\in S_B}$, and positive amplitudes such that the phase of each nonzero transition matrix entry $U_{jk}^{AB} = |U_{jk}|e^{i\theta_{jk}}$ satisfies $\theta_{jk} \equiv \alpha_j + \beta_k\mod 2\pi$ and $|\psi\rangle$ admits both $A$- and $B$-basis expansions with the given supports and phases, ensuring all nonzero $Q_{jk}$ are positive real.
• Support-uncertainty bound: For any pure state, define $$n_A(|\psi\rangle) = |\{j : \langle a_j|\psi\rangle \neq 0\}|$$ and $$n_B(|\psi\rangle) = |\{k : \langle b_k|\psi\rangle \neq 0\}|$$. Then, $|\psi\rangle$ KD-classical implies $n_A + n_B \leq d+1$; conversely, $n_A + n_B > d+1$ necessitates KD nonclassicality for completely incompatible bases (Xu, 2022, Bievre, 2022, Bievre, 2021).

For the special case of mutually unbiased bases (MUBs)—i.e., $|\langle a_j|b_k\rangle| = 1/\sqrt{d}$ for all $j,k$—KD-classicality is tightly characterized by $n_A\, n_B = d$ for pure states. This resolves the De Bièvre conjecture for the discrete Fourier transform (DFT) case (Xu, 2022).

3. Geometric and Convex Structure of KD-Positive States

The set of KD-positive states—states for which the KD distribution is a bona fide probability distribution—forms a convex, closed polytope. Its extremal points include the eigenstates of the respective observables and, in certain cases, additional states depending on the interplay of the bases (Langrenez et al., 2023, Langrenez et al., 2024). Explicit structural results include:

• Dimension and vertices: For $d=2$, all bases, and for $d=3$, generic bases, as well as for prime-dimensional DFT pairs, every KD-positive state is a convex combination of the $2d$ basis projectors (Langrenez et al., 2023, Xu, 2024).
• Block structure Theorem: For a pure KD-classical state, the nonzero-support submatrix of $U^{AB}$ can be partitioned into $s$ nonoverlapping nonnegative blocks. The sum of corresponding supports is constrained: $n_A + n_B \leq d + s$, and $s \leq d/2$.
• Mixed KD-positive states: For certain non-prime or degenerate cases, there exist mixed KD-positive states not decomposable as convex mixtures of pure KD-classical states; these are characterized geometrically by extended faces of the KD-positive set (Langrenez et al., 2023, Langrenez et al., 2024).

Measures for KD non-positivity (negativity) include the total variation

$$N_0(\rho) = \sum_{i,j}|Q_{ij}(\rho)| \quad (N_0=1 \text{ iff KD-positive})$$

and its convex-roof extension, which serves as a faithful witness for mixtures of pure KD-classical states (Langrenez et al., 2024).

4. Connections to Quantum Resources and Operational Applications

Negative or nonreal KD entries directly witness nonclassical behavior in various quantum resource paradigms:

• Quantum metrology: Negative KD-values enable quantum phase estimation protocols to exceed classical precision bounds via mechanisms such as weak-value amplification (Xu, 2022, Arvidsson-Shukur et al., 2024).
• Quantum chaos and scrambling: Out-of-time-ordered correlators (OTOCs) are expressible in terms of KD-like quasiprobabilities; robust negativity under open-system evolution is an indicator of information scrambling (Arvidsson-Shukur et al., 2024).
• Quantum thermodynamics: KD distributions for noncommuting energy measurements describe "work" distributions with correct marginals, even capturing effects due to initial coherence. Negativity signals the presence of contextuality and nonclassical heat/work flows (Arvidsson-Shukur et al., 2024, Pezzutto et al., 10 Mar 2025).
• Contextuality and foundations: KD negativity or nonreality underpins measurement-disturbance, weak-value anomalies, and violations of classical bounds in Leggett–Garg or consistent-histories frameworks. Nonnegativity of KD arrays is equivalent to the existence of noncontextual ontological models for the process; thus, KD negativity is a necessary signature of contextuality but not sufficient (Schmid et al., 2024, Spriet et al., 3 Nov 2025).

The KD pseudo-distribution's ability to encode quantum coherence and contextuality forms the basis for resource-theoretic monotones and quantifiers, such as KD mana for computational power (Thio et al., 9 Jun 2025) or entanglement monotones for bipartite systems (Budiyono, 7 Jan 2025). In the case of MUBs, KD-based coherence monotones reproduce and generalize established resource-theoretic quantities (Liu et al., 2024).

5. Measurement Protocols and Practical Witnesses

Direct measurement of the KD distribution is possible via weak-value protocols or systematic moment reconstruction:

• Weak measurement schemes: Weak measurement of one observable, followed by strong postselection on a complementary observable, samples conditional KD distributions; repeated over all settings reconstructs the full KD table (Jordan et al., 5 Feb 2026, Lostaglio et al., 2022). In discrete settings, Vandermonde-matrix inversion relates observable moments to KD entries.
• Moment-based witnesses: Simpler certification of nonclassicality can be achieved by checking statistical moment inequalities (e.g., $(q_2)^2 \leq q_3$ for the second and third KD moments, violation indicating negativity), or more generally, via negativity of Hankel determinants constructed from KD moments. These witnesses are experimentally friendly and require only shadow tomography or randomized measurements for efficient evaluation (Chakrabarty et al., 9 Jun 2025).
• Operational identification: KD negativity and nonreality map to accessible quantities such as average and variance in quantum thermodynamic protocols, direct state reconstruction, and resource monotones, thus providing both theoretical and experimental routes to quantifying nonclassicality.

6. Hierarchy and Limitations: Classical, KD, and Postquantum Sets

KD quasiprobabilities occupy a strict intermediary inside a broader hierarchy:

• Classical joint distributions $\subset$ KD quasiprobabilities $\subset$ postquantum quasiprobabilities: Every classical joint distribution is a KD distribution, but not vice versa; KD arrays obey strict sum, marginal, and $|q_{ij}| \leq p_\text{max}$ pointwise bounds, while postquantum distributions satisfy only normalization and a $\ell^\infty$ bound (Liu et al., 12 Apr 2025).
• Universal norm bounds: For any KD distribution $q_{ij}$, $\sum_{i,j} |q_{ij}|^2 \leq 1$ and $\sum_{i,j}|q_{ij}| \leq \sqrt{N}$, providing global nonclassicality witnesses (Liu et al., 12 Apr 2025).
• Boundary cases: For two observables with complete incompatibility (e.g., MUBs in prime dimensions), KD-classical pure states are restricted solely to the basis eigenstates, and the set of KD-positive states forms their convex hull (Xu, 2024, Langrenez et al., 2023).

7. Conceptual Significance and Uniqueness

The KD pseudo-distribution is uniquely characterized among all Born-compatible quasiprobability representations: it is the only representation where the conditional expectation of an observable (conditioned on the outcome of a second, incompatible observable) coincides with the $L^2$-optimal predictor by functions of the latter (Spriet et al., 3 Nov 2025). Only the KD representation sustains the "pull-through" property essential for statistical calculus of joint and conditional probabilities in the quantum regime.

The operational and mathematical completeness of the KD pseudo-distribution underpins its central role in modern quantum theory, quantifying the quantum-classical boundary, resource-theoretic utility, and foundational structure of quantum processes.