What is special about the Kirkwood-Dirac distributions? Only they produce natural conditional expectations

Sintesi Tecnica: Caratterizzazione delle Distribuzioni Kirkwood-Dirac tramite Aspettative Condizionali Quantistiche

Enunciato del Problema
In meccanica quantistica, definire una distribuzione di probabilità congiunta per due osservabili incompatibili (non commutanti) è fondamentalmente impossibile per tutti gli stati. Sebbene le rappresentazioni di quasiprobabilità (come la funzione di Wigner o le distribuzioni Kirkwood-Dirac) offrano un modo per aggirare questo limite consentendo valori negativi o complessi, esiste una vasta famiglia di tali rappresentazioni. Una questione aperta centrale è quale proprietà caratterizzi in modo univoco le rappresentazioni Kirkwood-Dirac (KD) tra tutte le possibili rappresentazioni di quasiprobabilità compatibili con Born. Inoltre, il concetto di "aspettativa condizionale" in meccanica quantistica è ambiguo; a differenza della probabilità classica, dove è definita in modo univoco come il miglior stimatore che minimizza l'errore quadratico medio, la non commutatività degli operatori introduce ambiguità di ordinamento e molteplici definizioni potenziali.

Metodologia
Gli autori adottano un approccio a due facce per affrontare queste problematiche:

1. Definizione basata sulla Minimizzazione: Definiscono l'aspettativa condizionale quantistica di un osservabile $\hat{X}$ dato un osservabile $\hat{Y}$ in uno stato $\hat{\rho}$ come la funzione di operatore $f(\hat{Y})$ che minimizza una funzione di costo per errore quadratico. A causa dell'ordinamento degli operatori, distinguono tra un'aspettativa condizionale "sinistra" ($E^\ell_{\hat{\rho}}(\hat{X}|\hat{Y})$) e una "destra" ($E^r_{\hat{\rho}}(\hat{X}|\hat{Y})$), corrispondenti a diversi ordinamenti degli operatori nella funzione di costo.
2. Quadro di Rappresentazione di Quasiprobabilità: Utilizzano il formalismo dei frame e dei dual-frame per definire rappresentazioni generali di quasiprobabilità $(Q, \tilde{Q})$. Per ogni tale rappresentazione compatibile con due insiemi completi di osservabili commutanti (CSCO) complementari $\hat{A}$ e $\hat{B}$, definiscono un'aspettativa condizionale corrispondente derivata dalla distribuzione di quasiprobabilità tramite un analogo della regola di Bayes.

La metodologia centrale consiste nel confrontare le aspettative condizionali derivate dalla procedura di minimizzazione (che sono indipendenti da qualsiasi specifica rappresentazione di quasiprobabilità) con quelle derivate da varie rappresentazioni di quasiprobabilità. Gli autori stabiliscono che le aspettative condizionali basate sulla minimizzazione soddisfano proprietà algebriche specifiche, in particolare una formula di "estrazione" (ad esempio, $E^\ell_{\hat{\rho}}(f(\hat{Y})\hat{X}|\hat{Y}) = f(\hat{Y})E^\ell_{\hat{\rho}}(\hat{X}|\hat{Y})$) e una legge delle aspettative iterate.

Contributi e Risultati Chiave

• Caratterizzazione delle Aspettative Condizionali Quantistiche: Il lavoro dimostra che le aspettative condizionali quantistiche sinistra e destra definite tramite minimizzazione sono le uniche mappe che soddisfano la proprietà di estrazione e la legge delle aspettative iterate. Queste definizioni recuperano naturalmente il concetto di "valori deboli" come aspettative condizionali operative senza fare affidamento su specifici protocolli di misura.
• Unicità delle Rappresentazioni Kirkwood-Dirac: Il risultato centrale (Teorema 1.1) stabilisce che, tra tutte le rappresentazioni di quasiprobabilità compatibili con Born con due CSCO complementari $\hat{A}$ e $\hat{B}$, solo la rappresentazione Kirkwood-Dirac sinistra produce un'aspettativa condizionale data $\hat{B}$ che coincide con l'aspettativa condizionale basata sulla minimizzazione sinistra. Analogamente, solo la rappresentazione KD destra coincide con l'aspettativa basata sulla minimizzazione destra. Ciò fornisce una caratterizzazione rigorosa e strutturale delle distribuzioni KD che le distingue da altre rappresentazioni (come quella di Wigner) che non soddisfano la proprietà di estrazione.
• Teorema No-Go Dipendente dallo Stato: Gli autori derivano un teorema no-go affermando che se l'aspettativa condizionale quantistica di un osservabile $\hat{X}$ dato $\hat{Y}$ in uno stato $\hat{\rho}$ ammette un valore "anomalo" (un valore al di fuori dell'intervallo spettrale di $\hat{X}$), allora non esiste alcuna distribuzione di probabilità congiunta per $\hat{X}$ e $\hat{Y}$ che sia sia compatibile con Born sia produca un'aspettativa condizionale corrispondente a quella quantistica. Questo risultato è dipendente dallo stato, richiedendo un singolo tripletto $(\hat{\rho}, \hat{X}, \hat{Y})$ per escludere l'esistenza di una probabilità congiunta.
• Insensibilità di Fase e Informazione di Fisher: Il lavoro collega la parte immaginaria dell'aspettativa condizionale quantistica all'informazione di Fisher classica nei problemi di stima di fase. Dimostrano che se uno stato $\hat{\rho}$ e un osservabile $\hat{X}$ sono "KD-reali" (possedendo simboli KD reali), l'aspettativa condizionale è autoaggiunta, la sua parte immaginaria si annulla e, di conseguenza, l'informazione di Fisher per la stima di fase utilizzando la base $\hat{A}$ o $\hat{B}$ è zero. Ciò implica che gli stati KD-reali sono "insensibili alla fase" rispetto alle misurazioni nelle basi definitorie.
• Ottimalità degli Osservabili Non KD-Reali: Per stati puri in cui $\hat{\rho}$ e $\hat{X}$ sono KD-reali ma non commutano, gli autori dimostrano che l'osservabile ottimale per la stima di fase (il derivato logaritmico simmetrico $\hat{L}$) non può essere KD-reale. Ciò evidenzia un compromesso: mentre gli stati KD-reali permettono interpretazioni di probabilità congiunta di tipo classico per basi specifiche, sono inefficienti per la stima di fase in quelle stesse basi.

Significato
Il lavoro afferma che il suo significato primario risiede nel fornire una caratteristica definitoria per le rappresentazioni Kirkwood-Dirac. Collegando la struttura algebrica astratta delle distribuzioni di quasiprobabilità al concetto operativo di "miglior stimatore" (minimizzando l'errore quadratico), gli autori individuano le distribuzioni KD come le uniche rappresentazioni che preservano le proprietà fondamentali dell'aspettativa condizionale presenti nella teoria della probabilità classica (in particolare la proprietà di estrazione).

Inoltre, il lavoro chiarisce il significato fisico del "settore reale" delle rappresentazioni KD, identificandolo come il regime di insensibilità di fase in cui l'informazione di Fisher quantistica si annulla per specifiche basi di misura. Ciò offre una nuova prospettiva sul confine tra comportamento classico e quantistico, suggerendo che la "classicità" (nel senso di positività KD o realtà KD) comporta il costo della sensibilità di fase nelle basi associate. I risultati affinano anche la comprensione dei valori deboli, mostrando che essi sorgono naturalmente da un principio di minimizzazione indipendente da specifici setup sperimentali, e forniscono un quadro matematico preciso per analizzare i valori anomali e le loro implicazioni per l'esistenza di probabilità congiunte.