Fixed-Boost Wigner Noise: Strict Trace-Distance Contraction without Quantum Degradability

Sintesi Tecnica: Rumore di Wigner a Boost Fisso e Contrazione della Distanza di Traccia

Enunciato del Problema
Il saggio affronta una questione fondamentale nell'informazione quantistica relativistica: una riduzione di tutti i contrasti di spin osservabili (distanze di traccia) sotto un boost di Lorentz fisso implica necessariamente che il canale rumoroso risultante sia un post-processing (degradazione) dell'originale? Nello specifico, se una preparazione target produce distinguibilità degli stati di spin strettamente minori rispetto a una preparazione sorgente lungo ogni asse calibrato sotto lo stesso boost, deve esistere un canale CPTP (completamente positivo e preservante la traccia) indipendente dallo stato $\Lambda$ tale che $\Phi_{target} = \Lambda \circ \Phi_{source}$?

Lavori precedenti hanno stabilito che gli stati di spin ridotti dipendono dai boost dell'osservatore e dalle distribuzioni di momento tramite rotazioni di Wigner. Mentre modelli semplici di dephasing possono spesso essere ordinati da un singolo parametro di coerenza, il saggio investiga uno scenario più complesso in cui gli assi delle rotazioni di Wigner variano attraverso il piano trasversale, creando rotazioni di ramo non commutanti. La questione operativa centrale è se lo smorzamento componente per componente (contrazione di tutti i coefficienti di Bloch) sia sufficiente a garantire l'ordine di post-processing statistico quantistico.

Metodologia
Gli autori utilizzano un approccio geometrico e analitico rigoroso per caratterizzare l'insieme dei canali di spin ridotti generati da un singolo boost fisso dell'osservatore.

1. Costruzione del Modello: Lo studio assume una preparazione prodotto autonoma $\rho_{SP} = \rho_S \otimes \rho_P$, dove lo stato di momento $\rho_P$ è un operatore di classe traccia. La dinamica di spin è descritta da un canale di unità casuale derivante dalla trasformazione unitaria di Lorentz del traccia di momento.
2. Caratterizzazione Geometrica: Gli autori derivano il cono convesso esatto delle matrici di Bloch realizzabili con un boost fisso e una distribuzione di momenti trasversali con simmetria d'inversione. Ciò comporta l'analisi della media delle rotazioni di Wigner $R_n(\pm \theta)$ su un piano ortogonale all'asse del boost.
3. Famiglia Analitica: All'interno di questo cono, gli autori costruiscono una specifica famiglia di canali diagonali di Pauli parametrizzata da pesi $u$ e $v$ (rappresentanti la massa di probabilità di coppie di momenti opposti). I canali sono definiti come:
   $$M_\alpha = \text{diag}(1-\alpha, 1-\alpha, 1-2\alpha)$$
   dove $\alpha$ è una funzione dell'angolo di Wigner e dei pesi del momento.
4. Ottimizzazione e Verifica: Il saggio risolve il problema di ottimizzazione per la distanza minima della norma di diamante tra un canale target e qualsiasi convertitore fisico applicato a un canale sorgente. Utilizza le disuguaglianze di Fujiwara-Algoet e l'analisi degli autovalori di Choi per testare la completa positività.
5. Analisi di Robustezza: Il modello idealizzato a "ramo di momento netto" viene esteso a pacchetti d'onda puri e normalizzabili. Gli autori forniscono espliciti limiti di perturbazione e certificati di tomografia a scatti finiti per dimostrare che i risultati valgengono per stati fisicamente realizzabili con dispersione di momento finita.

Contributi Chiave e Risultati

• Contrazione Stretta della Distanza di Traccia senza Degradabilità: Il risultato primario è la costruzione di un controesempio in cui, per $0 < u < v < 1/2$, il canale target $\Phi_v$ contrae strettamente ogni distanza di traccia a coppie tra distinti stati di spin rispetto al canale sorgente $\Phi_u$. Nonostante questo ordine stretto di tutti i contrasti osservabili, non esiste alcuna mappa CPTP $\Lambda$ tale che $\Phi_v = \Lambda \circ \Phi_u$.
• Caratterizzazione Esatta del Cono: Il saggio fornisce una descrizione esatta del "cono simmetrico a boost fisso". Una matrice reale $M$ appartiene a questo cono se e solo se assume la forma:
  $$M = \begin{pmatrix} I_2 - D & 0 \\ 0 & 1 - \text{Tr} D \end{pmatrix}$$
  dove $D \succeq 0$ e $\text{Tr} D \leq s$ (con $s$ correlato all'angolo di Wigner). Ciò rivela un vincolo cinematico mancato dai modelli più semplici a tre assi: il deficit longitudinale deve essere uguale al traccia del deficit trasversale.
• Deficienza Quantitativa: Gli autori calcolano l'esatta deficienza CPTP diretta (la distanza minima della norma di diamante da un convertitore fisico):
  $$\delta_\diamond(\beta|\alpha) = \frac{\alpha(\beta - \alpha)}{2 - 3\alpha} \quad \text{per } \alpha < \beta < 1/2$$
  Questo quantifica il "gap" che nessun post-processing fisico può colmare.
• Testatore degli Autovalori di Choi: Il fattore lineare unico $T = M_\beta M_\alpha^{-1}$ richiesto per mappare la sorgente al target mostra un autovalore di Choi normalizzato negativo:
  $$\lambda_{\min} = -\frac{s^2 u(v-u)}{2(1-su)(1-2su)} < 0$$
  Ciò prova che il fattore non è completamente positivo.
• Ostruzione Markoviana: Il saggio dimostra che i membri non identità di questa famiglia non possono essere inseriti in un semigruppo di Lindblad tempo-omogeneo diagonale di Pauli; essi violano la disuguaglianza $\lambda_z \geq \lambda_x \lambda_y$ richiesta per tali semigruppi, indicando che il rumore relativistico non è un semplice punto temporale positivo di un processo dissipativo standard.
• Stabilità e Tomografia: Si dimostra che i risultati persistono per pacchetti d'onda normalizzabili. Gli autori derivano espliciti limiti per il "vicinato di esclusione certificato", provando che, anche con errori di misura finiti e dispersione di momento finita, la non-degradabilità può essere sperimentalmente certificata tramite tomografia.

Significato e Rivendicazioni
Il saggio sostiene di dimostrare che ordinare tutte le distinguibilità di spin non assistite non determina l'ordine di post-processing statistico quantistico.

• Implicazione Operativa: Lo smorzamento componente per componente è un proxy insufficiente per la perdita di informazione in contesti relativistici. Un canale può essere "più rumoroso" in ogni senso osservabile (distanze di traccia minori, valori singolari minori) pur rimanendo "incomparabile" nel senso dell'informazione quantistica perché la trasformazione richiesta viola la completa positività.
• Intuizione Strutturale: Il fallimento della degradabilità deriva dal particolare accoppiamento delle tre contrazioni osservate imposte dalla cinematica del boost fisso. La contrazione longitudinale diventa troppo forte rispetto alle contrazioni trasversali per rientrare nel tetraedro CPTP.
• Modestia delle Rivendicazioni: Gli autori dichiarano esplicitamente di non pretendere di caratterizzare ogni canale prodotto da arbitrarie correlazioni spin-momento o ogni pacchetto d'onda di Lorentz. Il risultato è specifico per la realizzazione a "boost fisso" con momenti trasversali con simmetria d'inversione. Il saggio si concentra sull'esistenza di un insieme aperto di coppie di canali fisicamente generati dove l'intuizione standard (minore distanza $\implies$ post-processing) fallisce, piuttosto che su una classificazione completa di tutto il rumore relativistico.

In conclusione, il lavoro stabilisce che per un singolo boost di Lorentz fisso, l'insieme dei canali di spin ridotti forma una struttura in cui l'identità domina tutti i membri, ma tutti i membri a rumore positivo formano una antichain di Blackwell: sono totalmente ordinati per distanza di traccia, ma a coppie incomparabili sotto post-processing CPTP.