Almost no experiments have classical Kirkwood-Dirac representations

Sintesi Tecnica: "Quasi nessun esperimento possiede rappresentazioni classiche di Kirkwood-Dirac"

Problema
Una sfida centrale nell'informazione quantistica è delineare il confine tra fenomeni classici e quantistici. Nel quadro delle quasiprobabilità, uno stato è considerato "classico" se ammette una rappresentazione come distribuzione di probabilità positiva. Sebbene la funzione di Wigner sia stata fondamentale in questo senso, la distribuzione di Kirkwood-Dirac (KD) è emersa come uno strumento versatile per l'informazione quantistica a variabili discrete, offrendo applicazioni nella metrologia, nei valori deboli, nella termodinamica e nella contestualità.

La distribuzione KD $Q(\rho)$ è definita rispetto a due basi arbitrarie, $\{|a_i\rangle\}$ e $\{|b_j\rangle\}$, associate agli osservabili $A$ e $B$. Uno stato $\rho$ è KD-positivo (classico) se tutti gli elementi di $Q(\rho)$ sono reali e non negativi. Un problema aperto critico è la piena caratterizzazione dell'insieme degli stati KD-positivi, denotato $E_{KD+}$. A differenza della funzione di Wigner, dove l'insieme degli stati positivi è noto essere limitato agli stati gaussiani (per gli stati puri), la struttura di $E_{KD+}$ per le distribuzioni KD è complessa. Non è necessariamente un politopo e i suoi punti estremi possono includere stati misti che non sono combinazioni convesse di stati puri KD-positivi (cosiddetti "stati esotici"). Questa complessità rende difficile identificare la non-classicità o simulare circuiti quantistici efficientemente utilizzando le distribuzioni KD.

Metodologia
Gli autori impiegano un approccio geometrico probabilistico per caratterizzare gli insiemi di stati KD-positivi, osservabili KD-reali e unitari che preservano la positività KD.

1. Selezione Casuale delle Basi: Invece di analizzare casi specifici, potenzialmente patologici, gli autori considerano due insiemi di proiettori di base, $A = \{|a_i\rangle\langle a_i|\}$ e $B = \{|b_j\rangle\langle b_j|\}$, scelti casualmente secondo la misura di Haar sul gruppo unitario $U(d)$.
2. Formulazione Algebrica Lineare: Il problema viene mappato nello studio della matrice di transizione $U$ (dove $U_{ij} = \langle a_i | b_j \rangle$). Gli autori definiscono una mappa lineare $C_U$ che agisce sullo spazio delle matrici reali. Essi dimostrano che lo spazio degli osservabili KD-reali, $V_{KDr}$, è isomorfo al nucleo di questa mappa, $\text{Ker}(C_U)$.
3. Analisi Dimensionale: Gli autori stabiliscono che l'inviluppo convesso dei proiettori di base, $\text{conv}(A \cup B)$, è sempre contenuto in $E_{KD+}$. Il nucleo della prova consiste nel dimostrare che per quasi tutte le matrici unitarie $U$ (specificamente quelle senza elementi nulli), la dimensione dello spazio degli osservabili KD-reali è minima ($2d-1$). Ciò implica che non esistono "ulteriori" stati o osservabili KD-positivi oltre l'inviluppo convesso e lo span reale dei proiettori di base.
4. Teoria della Misura: Costruendo una specifica matrice unitaria $U_\star$ per la quale la dimensione del nucleo è minima e utilizzando il fatto che il determinante della rilevante mappa lineare è un polinomio non nullo nelle componenti della matrice di $U$, gli autori invocano la Proposizione 3 (un risultato riguardante la misura di Haar nulla degli insiemi di zeri di funzioni analitiche reali) per dimostrare che questa struttura minima vale con probabilità 1.

Contributi Chiave e Risultati
Il paper presenta il Teorema 1, il quale afferma che per quasi tutte le scelte di due basi $d$-dimensionali (con $d > 2$), gli insiemi di oggetti classici nel framework KD sono minimi ed esplicitamente caratterizzati:

• Stati KD-Positivi ($E_{KD+}$): L'insieme degli stati KD-positivi è esattamente l'inviluppo convesso delle due basi:
  $$E_{KD+} = \text{conv}(A \cup B)$$
  Questo insieme è un politopo di dimensione $2(d-1)$ con esattamente $2d$ vertici noti (i proiettori delle due basi). Non esistono stati misti estremi "esotici" per quasi tutte le distribuzioni KD.
• Osservabili KD-Reali ($V_{KDr}$): Un osservabile è KD-reale se e solo se appartiene allo spazio vettoriale reale spaziato dalle due basi:
  $$V_{KDr} = \text{span}_{\mathbb{R}}(A \cup B)$$
• Misure KD-Positive ($M_{KD+}$): Qualsiasi elemento di misura con una rappresentazione KD positiva deve essere una combinazione lineare dei proiettori di base con coefficienti non negativi.
• Unitari che Preservano la Positività KD: Le uniche trasformazioni unitarie che mappano stati KD-positivi in stati KD-positivi sono fasi globali triviali:
  $$T = e^{i\alpha}I, \quad \alpha \in \mathbb{R}$$

Significato e Implicazioni
Gli autori sostengono che questi risultati semplificano fondamentalmente la comprensione della classicità nel framework KD per "quasi tutti" gli allestimenti sperimentali:

1. Robustezza della Non-Classicità: Poiché l'insieme degli stati classici è un semplice politopo con facce note, la costruzione di testimoni (witnesses) per la non-classicità diventa immediata. È possibile facilmente porre un limite inferiore alla distanza di un dato stato dall'insieme classico usando la geometria nota di $E_{KD+}$.
2. Contestualità: I risultati chiariscono le condizioni per la contestualità generalizzata. Poiché l'insieme degli stati di input che producono un comportamento classico (noncontestuale) è minimo e ben definito per quasi tutti gli osservabili, la rilevazione della contestualità è robusta rispetto alla specifica scelta delle basi.
3. Assenza di Stati Esotici: Il paper dimostra che gli stati KD-positivi "esotici" (stati misti che non possono essere decomposti in stati puri KD-positivi) sono fenomeni rari, esistenti solo in distribuzioni KD tailor-made (ad esempio, specifici sistemi spin-1 o sistemi multi-qubit).
4. Simulazione Classica: I risultati implicano gravi limitazioni sull'efficienza delle simulazioni classiche di circuiti quantistici utilizzando le distribuzioni KD. Poiché gli unici circuiti KD-positivi comportano l'inizializzazione in $\text{conv}(A \cup B)$ seguita immediatamente dalla misura in $M_{KD+}$, quasi tutti i circuiti quantistici non banali esibiranno non-positività KD, rendendoli difficili da simulare classicamente tramite metodi di campionamento Monte Carlo che si basano su quasiprobabilità positive.

In conclusione, il paper stabilisce che la complessità spesso associata alle distribuzioni KD è l'eccezione piuttosto che la regola. Per la stragrande maggioranza delle configurazioni sperimentali, il confine classico-quantistico è netto, semplice e completamente caratterizzato dalla geometria convessa delle basi di misura.