Hierarchy of hidden nonlocality: A genuine activation of Incompletability

Sintesi Tecnica: Gerarchia della Nonlocalità Nascosta: Una Vera Attivazione dell'Incompletabilità

Enunciato del Problema
Il saggio affronta i limiti operativi delle Operazioni Locali e Comunicazione Classica (LOCC) nel contesto della discriminazione di stati quantistici. Sebbene sia ben stabilito che determinati insiemi di stati ortogonali non possono essere distinti perfettamente tramite LOCC (un fenomeno noto come "nonlocalità senza entanglement"), il saggio investiga il comportamento dinamico di insiemi che sono inizialmente localmente distinguibili. Nello specifico, gli autori esplorano se un insieme di stati ortogonali, perfettamente distinguibile tramite LOCC e privo di ridondanza locale, possa essere trasformato, tramite LOCC, in un insieme che non è solo localmente indistinguibile, ma anche "strettamente incompletabile". L'incompletabilità stretta si riferisce a un insieme di stati prodotto ortogonali che non può essere esteso a una base completa di prodotti ortonormali dello spazio di Hilbert sottostante, nemmeno in uno spazio ingrandito. La questione centrale è se l' "attivazione dell'incompletabilità" costituisca un fenomeno distinto e più forte della precedentemente studiata "attivazione della nonlocalità".

Metodologia
Gli autori utilizzano un rigoroso quadro teorico basato sulla teoria dell'informazione quantistica, avvalendosi dei seguenti concetti e strumenti:

• LOCC e OPLM: Lo studio si concentra sulle Misurazioni Locali Preservanti l'Ortogonalità (OPLM), un sottoinsieme di LOCC in cui le misurazioni locali preservano l'ortogonalità a coppie dell'insieme di stati.
• Definizioni di Attivazione: Il saggio definisce formalmente gli insiemi "attivabili per la nonlocalità" (trasformabili in insiemi localmente indistinguibili) e gli insiemi "attivabili per l'incompletabilità" (trasformabili in insiemi strettamente incompletabili).
• Protocolli Costruttivi: Gli autori forniscono protocolli LOCC espliciti e deterministici per specifici sistemi bipartiti (ad esempio, $\mathbb{C}^2 \otimes \mathbb{C}^4$ e $\mathbb{C}^6 \otimes \mathbb{C}^6$) per dimostrare la trasformazione di insiemi completabili e distinguibili in insiemi incompletabili.
• Teoria delle Risorse della Coerenza: Per analizzare la relazione tra questi fenomeni, gli autori restringono le operazioni alle Operazioni Locali Incoerenti e Comunicazione Classica (LICC). Utilizzano concetti quali l'entropia di von Neumann, l'entropia relativa della coerenza e le proprietà degli stati incoerenti per dimostrare vincoli strutturali sull'attivazione dell'incompletabilità.
• Controesempi: Per stabilire la gerarchia, gli autori costruiscono specifici controesempi di insiemi che esibiscono l'attivazione della nonlocalità ma falliscono nell'esibire l'attivazione dell'incompletabilità.

Contributi Chiave e Risultati

1. Esistenza dell'Attivazione dell'Incompletabilità:
   Il saggio dimostra l'esistenza di insiemi ortogonali di stati prodotto che sono inizialmente perfettamente distinguibili tramite LOCC e privi di ridondanza locale. Attraverso specifici protocolli LOCC, questi insiemi vengono trasformati in insiemi strettamente incompletabili. Questa trasformazione è definita "attivazione dell'incompletabilità".

2. Stabilimento di una Gerarchia:
   Gli autori dimostrano una gerarchia stretta tra i due fenomeni di attivazione:

• Teorema 1: Qualsiasi insieme che esibisce l'attivazione dell'incompletabilità esibisce necessariamente l'attivazione della nonlocalità.
• Il Contrario Fallisce: Il saggio fornisce un controesempio esplicito (un insieme di nove stati prodotto in $\mathbb{C}^6 \otimes \mathbb{C}^6$) che può essere trasformato in un insieme localmente indistinguibile (attivazione della nonlocalità) ma non può essere trasformato in un insieme strettamente incompletabile.
• Conclusione: L'attivazione dell'incompletabilità è un fenomeno strettamente più forte dell'attivazione della nonlocalità.

3. Ruolo di LICC e Coerenza:
   All'interno del quadro delle LICC, il saggio stabilisce una connessione fondamentale tra incompletabilità, coerenza ed entanglement.

• Teorema 2: Se un insieme di stati prodotto mutuamente ortogonali è perfettamente distinguibile tramite LOCC e la sua incompletabilità può essere attivata tramite LICC, allora esiste una completazione di questo insieme a una base completa ortonormale dello spazio di Hilbert. Tuttavia, tale base completata risultante non è perfettamente distinguibile tramite LOCC.
• Meccanismo: La prova si basa sul fatto che gli insiemi strettamente incompletabili devono possedere una coerenza quantistica non nulla rispetto a ogni base localmente distinguibile. Poiché le operazioni LICC non possono aumentare la coerenza media di un insieme, l'attivazione dell'incompletabilità implica che l'insieme iniziale doveva essere completabile a una base che non è più localmente distinguibile.

Significato e Rivendicazioni
Il saggio sostiene di aver scoperto un'interazione fondamentale tra distinguibilità locale, incompletabilità, coerenza e nonlocalità. Introducendo la nozione di "attivazione dell'incompletabilità", gli autori forniscono una nuova prospettiva operativa sulla struttura dell'informazione quantistica localmente accessibile.

La significatività risiede nel:

• Raffinare la Comprensione della Nonlocalità: Dimostra che la nonlocalità non è semplicemente una proprietà statica di un insieme, ma può essere una caratteristica emergente attivata attraverso misurazioni locali.
• Gerarchia delle Risorse: Stabilisce una gerarchia non banale dove l'impossibilità di completare una base (incompletabilità) è una condizione più stringente dell'impossibilità di distinguere gli stati (nonlocalità).
• Legame Coerenza-Nonlocalità: Evidenzia che, sotto operazioni ristrette (LICC), l'attivazione dell'incompletabilità è intrinsecamente legata alla generazione di coerenza quantistica, suggerendo che l'entanglement (e la relativa nonlocalità) possa essere visto come una forma di coerenza vincolata che persiste sotto descrizioni locali.

Gli autori concludono che questi risultati fanno luce sulla struttura dell'informazione quantistica localmente accessibile e suggeriscono direzioni future, come la caratterizzazione dell'attivazione dell'incompletabilità in sistemi multipartiti e l'identificazione di esempi a dimensione minima di queste strutture di attivazione.