Wigner entropy conjecture and the interference formula in quantum phase space

Sintesi Tecnica: Congettura dell'Entropia di Wigner e la Formula di Interferenza nello Spazio delle Fasi Quantistico

Enunciato del Problema
Il documento affronta la congettura dell'entropia di Wigner, la quale postula un limite inferiore fondamentale sull'entropia differenziale di Shannon della funzione di Wigner per stati quantistici che ammettono una descrizione probabilistica classica (ovvero, stati Wigner-positivi). Sebbene il principio di incertezza implichi un'incertezza minima, il limite inferiore congetturato specifico è $h(W_{\hat{\rho}}) \geq \ln \pi + 1$ per tutti gli stati Wigner-positivi $\hat{\rho} \in \mathcal{W}_+$. Questa congettura rimane non dimostrata per l'insieme generale degli stati Wigner-positivi, nonostante sia nota per essere valida per gli stati gaussiani e i loro involucri convessi. Gli autori mirano ad estendere la validità di questa congettura a una classe più ampia e non banale di stati quantistici.

Metodologia
Gli autori impiegano una combinazione di analisi dello spazio delle fasi, disuguaglianze dell'informazione teorica e una specifica identità matematica nota come formula di interferenza.

1. Stati Beam-Splitter: Lo studio si concentra su una specifica famiglia di stati Wigner-positivi chiamati stati beam-splitter (BS). Questi sono definiti come gli stati ridotti a singolo modo ottenuti facendo passare uno stato di input separabile (prodotto) attraverso un beam splitter bilanciato e scartando l'altro modo. L'insieme degli stati BS, indicato con $\mathcal{B}$, include tutti gli stati gaussiani e gli stati passivi, ma è strettamente più grande dell'involucro convesso degli stati gaussiani.
2. La Formula di Interferenza: Uno strumento centrale introdotto è la formula di interferenza esterna, originariamente stabilita nell'analisi dei segnali ma sottoutilizzata nell'ottica quantistica. Questa formula mette in relazione la convoluzione di due funzioni di Wigner con il modulo al quadrato della loro funzione di Wigner incrociata:
   $$W_{\psi} * W_{\phi} = 2\pi \mathcal{L}_2 [ |W_{\psi\phi}|^2 ]$$
   dove $\mathcal{L}_s$ è un operatore di riscalamento. Questa identità rivela che la funzione di Wigner di un elemento stato BS (prodotto da input puri $|\psi\rangle$ e $|\phi\rangle$) è proporzionale al modulo al quadrato di una funzione di Wigner incrociata.
3. Limiti di Norma: La dimostrazione sfrutta i limiti noti sulle norme $p$ delle funzioni di Wigner incrociate stabiliti da E. Lieb. Tali limiti mettono in relazione le norme delle funzioni di Wigner incrociate con quella della funzione di Wigner dello stato di vuoto.

Contributi Chiave e Risultati

• Dimostrazione per gli Stati Beam-Splitter: Gli autori dimostrano che la congettura dell'entropia di Wigner è vera per l'intero insieme degli stati beam-splitter $\mathcal{B}$. Utilizzando la formula di interferenza esterna, mappano la funzione di Wigner di qualsiasi stato BS elementare in una distribuzione della forma $|W_{\psi\phi}|^2$. Applicando i limiti di Lieb sulle norme $p$ delle funzioni di Wigner incrociate, dimostrano che l'entropia di Rényi di questa distribuzione è minimizzata dallo stato di vuoto (o da coppie gaussiane accoppiate).
• Congettura Estesa dell'Entropia di Wigner-Rényi: Gli autori generalizzano il risultato all'entropia di Wigner-Rényi, definita come $h_\alpha(W) = \frac{\alpha}{1-\alpha} \ln \|W\|_\alpha$. Dimostrano che per ogni stato $\hat{\sigma} \in \mathcal{B}$, l'entropia di Rényi soddisfa il limite inferiore congetturato:
  $$h_\alpha(W_{\hat{\sigma}}) \geq \ln \pi + \frac{\ln \alpha}{\alpha - 1}$$
  Questo risultato è valido per l'intervallo del parametro $\alpha \in [1/2, \infty]$.
• Gestione degli Stati Misti: La dimostrazione per l'intero insieme $\mathcal{B}$ (che include stati misti formati da miscele convesse di stati BS elementari) si basa sulla concavità dell'entropia di Shannon (per $\alpha=1$) e sulla quasi-concavità dell'entropia di Rényi (per $\alpha > 1$). Poiché il limite inferiore è costante (indipendente dai componenti specifici della miscela), la disuguaglianza si estende dagli stati elementari all'intero insieme convesso $\mathcal{B}$.
• Stati Husimi: Come corollario, i risultati forniscono una prova alternativa per la congettura dell'entropia di Wehrl (un caso specifico della congettura dell'entropia di Wigner per le funzioni Q di Husimi), che corrisponde a stati BS dove uno degli input è il vuoto.

Significatività e Rivendicazioni
Il documento sostiene di fornire nuove prove a supporto della validità della congettura dell'entropia di Wigner, dimostrandola per una classe di stati significativamente più ampia rispetto a quanto precedentemente stabilito. L'insieme degli stati beam-splitter $\mathcal{B}$ è descritto come, presumibilmente, la più grande famiglia nota di stati Wigner-positivi, comprendendo stati gaussiani, stati passivi e vari stati non gaussiani.

Gli autori evidenziano la formula di interferenza come uno strumento potente e precedentemente sottoutilizzato che rivela una simmetria di "auto-convoluzione" negli stati puri e vincola la forma delle funzioni di Wigner valide.

Tuttamente, il lavoro mantiene una posizione modesta riguardo alla completezza della dimostrazione:

• La dimostrazione non è una risoluzione completa della congettura per tutti gli stati Wigner-positivi, poiché esistono stati Wigner-positivi che non sono stati beam-splitter.
• Il risultato per l'entropia di Rényi è limitato a $\alpha \geq 1/2$. Gli autori notano che la dimostrazione non si estende a $\alpha < 1/2$ a causa delle limitazioni nelle disuguaglianze di Lieb riguardanti le norme $p$ per $p < 1$.
• La congettura rimane aperta per l'insieme generale $\mathcal{W}_+$ e per l'intervallo $\alpha \in (0, 1/2)$.

In conclusione, il lavoro fa progredire la comprensione del confine tra classico e quantistico stabilendo un limite inferiore rigoroso sull'incertezza nello spazio delle fasi per una vasta e fisicamente rilevante classe di stati, utilizzando un'applicazione innovativa della formula di interferenza per collegare le tecniche di analisi dei segnali con la teoria dell'informazione quantistica.