⚛️ quantum physics

Tight Quasiprobabilistic Entropic Uncertainty Relations for Discrete Quantum Systems

This paper establishes tight entropic uncertainty relations for discrete quantum systems by proving that pure states with positive Kirkwood-Dirac and Gross-Wigner quasiprobability distributions minimize entropy, while demonstrating that large nonpositivity in Kirkwood-Dirac distributions corresponds to large uncertainty.

Original author: Jonathan J. Thio, Stephan De Bièvre, Crispin H. W. Barnes, David R. M. Arvidsson-Shukur

Published 2026-11-04

📖 6 min read🧠 Deep dive

CC BY 4.0

Original author: Jonathan J. Thio, Stephan De Bièvre, Crispin H. W. Barnes, David R. M. Arvidsson-Shukur

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the author. For technical accuracy, refer to the original paper. Read full disclaimer

In the quantum world, the rules of certainty that govern our daily lives break down. A particle cannot possess a definite position and a definite speed at the same time; the more precisely we know one, the less we can know about the other. This is not a limitation of our measuring tools, but a fundamental feature of nature known as the uncertainty principle. For decades, physicists have sought to quantify this fuzziness, not just by measuring how much a value wavers, but by calculating the amount of "disorder" or unpredictability in the possible outcomes. In the language of information theory, this disorder is called entropy. A state with high entropy is highly uncertain, like a shuffled deck of cards, while a state with low entropy is predictable, like a deck sorted by suit.

Physicists have long suspected that there are specific quantum states that represent the absolute limit of this uncertainty. These are the "minimal uncertainty states," the most orderly configurations nature allows. For continuous systems, such as the motion of a particle through space, it was proven that these minimal states are the coherent states, which behave almost like classical waves. However, when scientists tried to apply this same logic to discrete systems—quantum objects that exist in a finite number of steps, like the bits in a quantum computer—the story became complicated. A decade ago, a hypothesis suggested that for these discrete systems, the states with the lowest uncertainty would be those that look "positive" in a special mathematical map called a quasiprobability distribution. This map is a tool used to visualize quantum states, but unlike a standard probability map, it can sometimes show negative values, which signal purely quantum behavior. The hypothesis was that if a state had no negative values in this map, it would be the most orderly state possible. Recently, this idea was proven false for the continuous version of this map, leaving a gap in our understanding of discrete quantum systems.

In a new study, researchers Jonathan J. Thio, Stephan De Bièvre, Crispin H. W. Barnes, and David R. M. Arvidsson-Shukur have filled this gap by proving that the hypothesis is indeed true for two specific types of discrete quantum maps. They focused on systems where the mathematical tools used to describe position and momentum are "mutually unbiased," meaning they are as different from each other as possible, and on a specific type of map used for odd-numbered quantum systems. The team demonstrated that for these systems, the states that minimize uncertainty are exactly the pure states that show up as entirely positive in these maps. In other words, the most orderly quantum states are the ones that look the most like classical, everyday objects in these specific mathematical representations.

The researchers did not just prove that these states exist; they showed that any state that is "mixed"—a combination of different possibilities rather than a single, pure state—will always have higher uncertainty than the pure positive states. This is a significant finding because it clarifies the boundary between the classical and the quantum. If a state has any "negativity" in its map, it is inherently more uncertain. The team also showed the reverse: if a state has a large amount of this negativity, it must have a large amount of uncertainty. This establishes a direct link between the "quantumness" of a state, measured by how much it deviates from being positive, and how unpredictable it is.

The study also addressed a subtle but important distinction. While the researchers proved that the pure positive states are the most orderly, they found that not all positive states are equally orderly in every context. For one of the maps they studied, known as the Gross-Wigner distribution, there are some pure positive states that are not the absolute minimum of uncertainty. This nuance highlights that the relationship between positivity and order is delicate and depends on the specific mathematical map being used. However, for the other map they studied, the Kirkwood-Dirac distribution, the connection is perfect: every pure positive state is a minimal uncertainty state.

This work matters because it helps scientists understand which quantum states are the most useful for tasks like quantum computing and sensing. In these fields, "negativity" in a quasiprobability map is often viewed as a resource, a fuel that powers quantum advantages over classical computers. By proving that high negativity correlates with high uncertainty, the researchers have shown that the very feature that makes a quantum system powerful also makes it unpredictable. Conversely, the states that are most predictable and orderly are the ones that look the most classical. This insight helps researchers identify which states are best for preserving information and which are best for performing complex calculations.

The findings stand in contrast to the continuous world, where a similar hypothesis was recently disproven. In the continuous case, the most orderly states are not the only ones that minimize uncertainty in the way the hypothesis predicted. The fact that the hypothesis holds true for these discrete systems suggests that the rules of quantum order are different depending on whether the system is continuous or discrete. The researchers achieved this by developing a new mathematical approach that bypassed the difficulty of characterizing all possible mixed states. Instead of trying to list every possible combination, they focused on the structure of the pure states, showing that the rules governing them are sufficient to prove the result for the entire system.

Ultimately, this paper provides a clear, rigorous answer to a long-standing question about the nature of quantum uncertainty in discrete systems. It confirms that for specific, well-defined setups, the states that look most like classical objects are indeed the most certain. It also establishes that the "quantumness" of a state, measured by its negativity, is a reliable indicator of its unpredictability. As the field of quantum technology moves forward, understanding these boundaries between the classical and the quantum will be essential for designing better computers and more sensitive sensors. The work does not just add a new theorem to a textbook; it clarifies the landscape of quantum possibilities, showing exactly where the limits of order lie.

Technical Summary: Tight Quasiprobabilistic Entropic Uncertainty Relations for Discrete Quantum Systems

Problem Statement
The paper addresses the characterization of uncertainty in quantum systems through quasiprobability distributions. While the Heisenberg-Robertson and entropic uncertainty relations (e.g., Maassen-Uffink) quantify uncertainty via standard deviations or Shannon entropies of measurement outcomes, quasiprobability representations (such as the Wigner, Husimi, Kirkwood-Dirac, and Gross-Wigner functions) offer a phase-space perspective. A central question is whether the "classical" states—those possessing a positive quasiprobability distribution ( $Q$ -positive states)—minimize the uncertainty associated with these distributions.

Specifically, the authors investigate the validity of the inequality:
$H_1^Q(\hat{\rho}) \geq \min_{\hat{\rho}_{\text{pure}}^+} H_1^Q(\hat{\rho}_{\text{pure}}^+)$
where $H_1^Q$ is the Shannon entropy of the quasiprobability distribution $Q$ for a state $\hat{\rho}$ , and the minimum is taken over pure $Q$ -positive states. This inequality posits that mixed $Q$ -positive states are always more uncertain (have higher entropy) than the pure $Q$ -positive states.

This problem is motivated by historical precedents:

Husimi Function: Wehrl conjectured and Lieb proved that the Shannon differential entropy of the Husimi function is minimized by coherent states.
Continuous-Variable Wigner Function: An analogous conjecture suggested that pure Gaussian states minimize the Wigner differential entropy. However, this was recently disproven.
Discrete Systems: It remained an open question whether the analogous statement holds for discrete systems, specifically for the Gross-Wigner (GW) and Kirkwood-Dirac (KD) distributions. A significant complication is that the set of $Q$ -positive states ( $E_Q^+$ ) often contains mixed extremal states, making the characterization of the entropy minimum difficult.

Methodology
The authors employ the formalism of frames to define quasiprobability representations. They consider a Hilbert space $\mathcal{H}$ of finite dimension $d$ and a frame $(\hat{S}_\lambda)_{\lambda \in \Lambda}$ with a dual frame $(\hat{T}_\lambda)_{\lambda \in \Lambda}$ . The quasiprobability $Q_\lambda(\hat{\rho})$ and its dual symbol $\tilde{Q}_\lambda(\hat{C})$ are defined via trace operations.

The study focuses on two specific classes of representations:

Kirkwood-Dirac (KD) Representations: Defined by two sets of commuting observables $\hat{A}$ and $\hat{B}$ . The authors specifically analyze the case where the eigenbases of $\hat{A}$ and $\hat{B}$ are Mutually Unbiased Bases (MUB). In this case, the representation is "strongly self-dual."
Gross-Wigner (GW) Representations: Defined for $n$ qudits of odd dimension $d$ , associated with discrete position and momentum operators. This representation is also strongly self-dual.

The authors utilize the Margenau-Hill (MH) distribution, defined as the real part of the quasiprobability distribution ( $Q^{\text{MH}} = \text{Re}(Q)$ ), to establish bounds. They leverage Jensen's inequality and properties of self-dual frames to relate the MH-Shannon entropy ( $H_1^{\text{MH}}$ ) to the purity of the state ( $\text{Tr}(\hat{\rho}^2)$ ).

Key Contributions and Results

Proof of Entropic Uncertainty for Discrete Systems (Theorem 1):
The paper proves that for both MUB KD representations and GW representations of odd-dimensional qudits, the Q-Shannon entropy is minimized exclusively by pure $Q$ -positive states. Specifically:
- For any state $\hat{\rho}$ in the set of MH-positive states ( $E_+^{\text{MH}}$ ), the entropy satisfies:
  $H_1(\hat{A}) + H_1(\hat{B}) \geq H_1^{\text{MH}}(\hat{\rho}) \geq -\ln(\text{Tr}(\hat{\rho}^2)) + \ln d \geq \ln d$
- The lower bound $H_1^{\text{MH}}(\hat{\rho}) = \ln d$ is saturated if and only if $\hat{\rho}$ is a pure $Q$ -positive state.
- This confirms that for these discrete systems, the "classical" states (pure positive ones) are indeed the minimal uncertainty states, analogous to the Wehrl-Lieb result for Husimi functions but contrasting with the disproven Wigner conjecture for continuous variables.
Characterization of Saturation:
- MUB KD: All pure KD-positive states saturate the standard entropic uncertainty relation $H_1(\hat{A}) + H_1(\hat{B}) = \ln d$ .
- GW: While pure GW-positive states minimize the GW-Shannon entropy, they do not all saturate the standard entropic uncertainty relation $H_1(\hat{A}) + H_1(\hat{B})$ . Some pure GW-positive states yield $H_1(\hat{A}) + H_1(\hat{B}) = 2 \ln d$ . Thus, the equivalence between minimal standard uncertainty and minimal quasiprobability entropy holds strictly for KD but not for GW.
Relation between Nonpositivity and Uncertainty:
The authors establish a complementary result: large quasiprobability nonpositivity (quantified by the "KD mana" $M(\hat{\rho})$ ) implies large uncertainty. They derive an upper bound on the KD mana in terms of the sum of Rényi-1/2 entropies of the observables:
$M(\hat{\rho}) \leq \ln(\sqrt{d}) - \frac{1}{2}[H_{1/2}(\hat{A}) + H_{1/2}(\hat{B})]$
This implies that states with high "quantumness" (high nonpositivity) necessarily possess high uncertainty, and conversely, low-uncertainty states have limited resourcefulness (low mana) for quantum advantages.
Distinction from Continuous Variables:
The paper highlights a fundamental difference between discrete and continuous variable systems. For the continuous-variable Wigner function, the analogous conjecture (that pure Gaussian states minimize Wigner entropy) is false. The authors show that the reasoning leading to the discrete bounds fails for continuous variables because continuous Wigner functions cannot be constant on their support, a property that holds for the discrete positive states in the studied representations.

Significance
The paper provides a rigorous proof that for specific discrete quasiprobability representations (MUB KD and GW), the set of pure positive states constitutes the unique minimizers of the associated Shannon entropy. This resolves a conjecture analogous to the Wehrl-Lieb theorem for these discrete systems.

The results clarify the landscape of "classicality" in quantum mechanics:

They confirm that for MUB KD and GW representations, the intuition that "mixed states are more uncertain than pure states" holds strictly within the set of positive states.
They demonstrate that the failure of the Wigner-Shannon conjecture in continuous variables is not a universal feature of quasiprobability distributions but is specific to the continuous nature of the phase space.
They establish a quantitative link between the resource of nonpositivity (mana) and uncertainty, reinforcing the role of nonpositivity as a resource for quantum computational advantage.

The authors note that for non-MUB KD distributions, the situation is more complex, and the equivalence between minimal standard uncertainty and minimal quasiprobability entropy may not hold, providing counterexamples in the appendices.

Technical Summary: Tight Quasiprobabilistic Entropic Uncertainty Relations for Discrete Quantum Systems

More like this