Almost no experiments have classical Kirkwood-Dirac representations

Résumé technique : « Presque aucune expérience ne possède de représentations de Kirkwood-Dirac classiques »

Énoncé du problème
Un défi central de l'information quantique est de délimiter la frontière entre les phénomènes classiques et quantiques. Dans le cadre des quasi-probabilités, un état est considéré comme « classique » s'il admet une représentation sous la forme d'une distribution de probabilité positive. Bien que la fonction de Wigner ait été pivot en la matière, la distribution de Kirkwood-Dirac (KD) est apparue comme un outil polyvalent pour l'information quantique à variables discrètes, offrant des applications en métrologie, en valeurs faibles, en thermodynamique et en contextualité.

La distribution KD $Q(\rho)$ est définie par rapport à deux bases arbitraires, $\{|a_i\rangle\}$ et $\{|b_j\rangle\}$, associées à des observables $A$ et $B$. Un état $\rho$ est KD-positif (classique) si tous les éléments de $Q(\rho)$ sont réels et non négatifs. Un problème ouvert critique est la caractérisation complète de l'ensemble des états KD-positifs, noté $E_{KD+}$. Contra-rément à la fonction de Wigner, où l'ensemble des états positifs est connu pour être limité aux états gaussiens (pour les états purs), la structure de $E_{KD+}$ pour les distributions KD est complexe. Il n'est pas nécessairement un polytope, et ses points extrémaux peuvent inclure des états mixtes qui ne sont pas des combinaisons convexes d'états purs KD-positifs (appelés « états exotiques »). Cette complexité rend difficile l'identification de la non-classicalité ou la simulation efficace de circuits quantiques à l'aide de distributions KD.

Méthodologie
Les auteurs emploient une approche géométrique probabiliste pour caractériser les ensembles d'états KD-positifs, d'observables KD-réels et d'unitaires préservant la positivité KD.

1. Sélection de bases aléatoires : Au lieu d'analyser des cas spécifiques, potentiellement pathologiques, les auteurs considèrent deux ensembles de projecteurs de base, $A = \{|a_i\rangle\langle a_i|\}$ et $B = \{|b_j\rangle\langle b_j|\}$, choisis aléatoirement selon la mesure de Haar sur le groupe unitaire $U(d)$.
2. Formulation algébrique linéaire : Le problème est transposé à l'étude de la matrice de transition $U$ (où $U_{ij} = \langle a_i | b_j \rangle$). Les auteurs définissent une application linéaire $C_U$ agissant sur l'espace des matrices réelles. Ils démontrent que l'espace des observables KD-réelles, $V_{KDr}$, est isomorphe au noyau de cette application, $\text{Ker}(C_U)$.
3. Analyse dimensionnelle : Les auteurs établissent que l'enveloppe convexe des projecteurs de base, $\text{conv}(A \cup B)$, est toujours contenue dans $E_{KD+}$. Le cœur de la preuve consiste à montrer que pour presque toutes les matrices unitaires $U$ (spécifiquement celles sans entrées nulles), la dimension de l'espace des observables KD-réelles est minimale ($2d-1$). Cela implique qu'aucun état ou observable KD-positif « supplémentaire » n'existe au-delà de l'enveloppe convexe et de l'espace vectoriel réel des projecteurs de base.
4. Théorie de la mesure : En construisant une matrice unitaire spécifique $U_\star$ pour laquelle la dimension du noyau est minimale et en utilisant le fait que le déterminant de l'application linéaire pertinente est un polynôme non nul dans les éléments de la matrice de $U$, les auteurs invoquent la Proposition 3 (un résultat concernant la mesure de Haar nulle des ensembles de zéros de fonctions analytiques réelles) pour prouver que cette structure minimale est vérifiée avec une probabilité de 1.

Contributions clés et résultats
L'article présente le Théorème 1, qui affirme que pour presque tous les choix de deux bases de dimension $d$ (avec $d > 2$), les ensembles d'objets classiques dans le cadre KD sont minimaux et explicitement caractérisés :

• États KD-positifs ($E_{KD+}$) : L'ensemble des états KD-positifs est exactement l'enveloppe convexe des deux bases :
  $$E_{KD+} = \text{conv}(A \cup B)$$
  Cet ensemble est un polytope de dimension $2(d-1)$ possédant exactement $2d$ sommets connus (les projecteurs des deux bases). Il n'y a pas d'états mixtes extrémaux « exotiques » pour la plupart des distributions KD.
• Observables KD-réelles ($V_{KDr}$) : Une observable est KD-réelle si et seulement si elle appartient à l'espace vectoriel réel engendré par les deux bases :
  $$V_{KDr} = \text{span}_{\mathbb{R}}(A \cup B)$$
• Mesures KD-positives ($M_{KD+}$) : Tout élément de mesure possédant une représentation KD positive doit être une combinaison linéaire des projecteurs de base avec des coefficients non négatifs.
• Unitaires préservant la positivité KD : Les seules transformations unitaires qui projettent des états KD-positifs vers des états KD-positifs sont les phases globales triviales :
  $$T = e^{i\alpha}I, \quad \alpha \in \mathbb{R}$$

Signification et implications
Les auteurs soutiennent que ces résultats simplifient fondamentalement la compréhension de la classicalité dans le cadre KD pour « presque toutes » les configurations expérimentales :

1. Robustesse de la non-classicalité : Puisque l'ensemble des états classiques est un polytope simple avec des facettes connues, la construction de témoins de non-classicalité devient directe. On peut facilement borner par le bas la distance d'un état donné par rapport à l'ensemble classique en utilisant la géométrie connue de $E_{KD+}$.
2. Contextualité : Les résultats clarifient les conditions de la contextualité généralisée. Puisque l'ensemble des états d'entrée produisant un comportement classique (non contextuel) est minimal et bien défini pour presque toutes les observables, la détection de la contextualité est robuste face au choix spécifique des bases.
3. Absence d'états exotiques : L'article démontre que les états KD-positifs « exotiques » (états mixtes qui ne peuvent être décomposés en états purs KD-positifs) sont des phénomènes rares, n'existant que dans des distributions KD sur mesure (par exemple, des systèmes de spin-1 ou des systèmes multi-qubits spécifiques).
4. Simulation classique : Les résultats impliquent de sévères limitations sur l'efficacité de la simulation classique de circuits quantiques à l'aide de distributions KD. Puisque les seuls circuits KD-positifs impliquent une initialisation dans $\text{conv}(A \cup B)$ suivie immédiatement d'une mesure dans $M_{KD+}$, presque tous les circuits quantiques non triviaux présenteront une non-positivité KD, ce qui les rend difficiles à simuler classiquement via des méthodes d'échantillonnage de Monte Carlo reposant sur des quasi-probabilités positives.

En conclusion, l'article établit que la complexité souvent associée aux distributions KD est l'exception plutôt que la règle. Pour la vaste majorité des configurations expérimentales, la frontière classique-quantique est nette, simple et entièrement caractérisée par la géométrie convexe des bases de mesure.