Theory of direct measurement of the quantum pseudo-distribution via its characteristic function

Sintesi Tecnica: Teoria della Misura Diretta della Pseudo-Distribuzione Quantistica tramite la sua Funzione Caratteristica

Problema
Nella meccanica quantistica, la non-commutazione degli osservabili impedisce un'assegnazione congiunta univoca delle loro proprietà, rendendo impossibile una distribuzione di probabilità congiunta standard. Sebbene esistano varie pseudo-distribuzioni (ad esempio, Wigner, Husimi, Glauber-Sudarshan) per rappresentare gli stati quantistici, il campo affronta una mancanza di unicità: non è chiaro quale pseudo-distribuzione sia la "corretta" per un dato esperimento, e molti metodi esistenti per misurare tali distribuzioni si basano sulla scansione di misure deboli su tutti gli autoproiettori, il che è dispendioso in termini di risorse. Inoltre, collegare queste distribuzioni a fenomeni non classici (come la contestualità) è complicato dall'infinito numero di possibili rappresentazioni. Gli autori affrontano la necessità di un metodo agnostico rispetto alla teoria per ricostruire una pseudo-distribuzione univoca direttamente dai dati sperimentali, senza assunzioni a priori sulla sua forma.

Metodologia
Il documento propone un framework basato su tre eventi temporali consecutivi: preparazione di uno stato iniziale $|\psi\rangle$, una misura debole (non invasiva) dei momenti di un osservabile $\hat{A}$, e una misura proiettiva finale in una base $\{|b_j\rangle\}$.

1. Approccio a Variabili Discrete: Per uno spazio di Hilbert di dimensione $d$, gli autori analizzano i valori di aspettazione condizionati delle potenze di un osservabile, $\langle \hat{A}^n \rangle_{\psi}^{b_j}$, per $n = 0, \dots, d-1$. Formulano un'equazione matriciale $\vec{A} = V \cdot \vec{Q}$, dove $\vec{A}$ contiene i momenti condizionati misurati, $\vec{Q}$ rappresenta la pseudo-distribuzione condizionata ignota e $V$ è una matrice di Vandermonde costruita a partire dagli autovalori di $\hat{A}$. Invertendo $V$, la pseudo-distribuzione viene determinata univocamente.
2. Approccio alla Funzione Caratteristica: Gli autori estendono questo approccio alle variabili continue e alle distribuzioni congiunte utilizzando la funzione caratteristica. Definiscono una funzione caratteristica debole $Z(\chi) = \langle e^{i\chi \hat{O}} \rangle_{\psi}^{\phi}$, che può essere misurata direttamente tramite un singolo setup sperimentale con un parametro sintonizzabile, piuttosto che misurando un numero infinito di momenti. La pseudo-distribuzione viene poi recuperata tramite una trasformata di Fourier inversa di questa funzione caratteristica.
3. Misure Congiunte e Invertite: Il metodo è generalizzato a due osservabili non commutanti ($\hat{A}$ e $\hat{B}$) costruendo una funzione caratteristica congiunta $Z(\lambda, \chi) = \langle e^{i\lambda \hat{A}} e^{i\chi \hat{B}} \rangle$. Gli autori propongono due configurazioni sperimentali: una che misura la posizione seguita dal momento, e un'altra che inverte l'ordine (momento seguito dalla posizione).

Risultati Chiave

• Unicità della Distribuzione di Kirkwood-Dirac: Il documento dimostra che, se si richiede che i valori di aspettazione condizionati quantistici soddisfino la stessa struttura statistica delle aspettative condizionate classiche (ovvero $\langle \hat{A}^n \rangle = \sum a_i^n Q_{i|j}$), la risultante pseudo-distribuzione è identificata univocamente come la distribuzione di Kirkwood-Dirac (KD).
• Protocollo di Misura Diretta: Gli autori forniscono un metodo costruttivo per misurare direttamente la distribuzione KD. Nel caso discreto, ciò comporta l'inversione di una matrice di Vandermonde derivata dalle misure dei momenti. Nel caso continuo, ciò comporta la misurazione della funzione caratteristica (il valore di aspettazione di un operatore esponenziale) e l'esecuzione di una trasformata di Fourier inversa.
• Verifica della Commutazione Canonica: Confrontando le pseudo-distribuzioni congiunte ottenute dalle sequenze di misura $x \to p$ e $p \to x$, gli autori mostrano che la differenza nelle loro funzioni di correlazione fornisce la relazione di commutazione canonica $[\hat{x}, \hat{p}] = i\hbar$. Ciò fornisce una sonda sperimentale diretta della relazione di commutazione per qualsiasi stato quantistico.
• Connessione con i Valori Deboli (Weak Values): Si dimostra che la pseudo-distribuzione condizionata è equivalente al valore debole del proiettore sugli autostati dell'osservabile misurato.

Significatività e Rivendicazioni
Il documento sostiene di aver stabilito una teoria per un approccio basato sulla funzione caratteristica per le pseudo-distribuzioni che offre una ricostruzione "agnostica rispetto alla teoria" della rappresentazione dello stato quantistico.

• Unificazione Teorica: Risolve l'ambiguità su quale pseudo-distribuzione utilizzare, mostrando che la distribuzione KD è l'unica soluzione che preserva la forma statistica classica delle aspettative condizionate nel regime quantistico.
• Efficienza Sperimentale: Il metodo proposto è presentato come più efficiente rispetto alle tecniche precedenti che richiedevano la scansione di misure deboli su tutti gli autoproiettori. La natura "tutto in una volta" della misurazione della funzione caratteristica codifica le proprietà globali dello stato.
• Verifica Fondamentale: Il lavoro fornisce una prescrizione operativa diretta per verificare la relazione di commutazione canonica, collegando la natura complessa della distribuzione KD direttamente alla non-commutatività fondamentale della meccanica quantistica.
• Potenziale per la Tomografia: Gli autori suggeriscono che questo approccio possa offrire un metodo più efficiente in termini di risorse per la tomografia dello stato quantistico nei sistemi a variabili continue rispetto alle trasformate di Radon inverse o alle tecniche di massima verosimiglianza, particolarmente per stati non gaussiani.

Il documento conclude osservando che sono stati condotti lavori indipendenti su argomenti correlati e posiziona la distribuzione KD come la pseudo-distribuzione naturale per esperimenti in cui le aspettative condizionate coincidono con i predittori classici.