Local state antimarking : Nonlocality without entanglement

Sintesi Tecnica: Antimarcatura dello Stato Locale: Nonlocalità senza Entanglement

Enunciato del Problema
La nonlocalità quantistica senza entanglement descrive il fenomeno per cui insiemi di stati prodotto non possono essere distinti perfettamente tramite Operazioni Locali e Comunicazione Classica (LOCC), pur essendo distinguibili globalmente. Sebbene ampiamente studiata nel contesto della discriminazione degli stati (LSD), ricerche recenti hanno esplorato se la "nonlocalità" persista in compiti meno esigenti, come l'esclusione degli stati (identificare uno stato che non è stato preparato) o la marcatura degli stati (identificare la permutazione di una sequenza).

Questo lavoro colma una lacuna nella gerarchia della nonlocalità indagando due compiti specifici:

1. Antidistinguibilità Locale degli Stati (LSAD): La capacità di identificare almeno uno stato da un insieme che non è stato preparato, utilizzando esclusivamente LOCC.
2. Antimarcatura Locale degli Stati (LSAM): Un compito unificato in cui le parti ricevono una sequenza non ripetitiva di stati e devono identificare almeno una permutazione (sequenza) che non è stata quella fornita, utilizzando esclusivamente LOCC.

Il problema centrale è determinare la relazione tra questi paradigmi basati sull'esclusione e i paradigmi di discriminazione consolidati (LSD, LSD Concluse, Marcatura Locale Concluse degli Stati), e identificare se nuove forme di nonlocalità emergono passando dall'esclusione di singoli stati all'esclusione di sequenze.

Metodologia
Gli autori impiegano un rigoroso quadro teorico basato sulla teoria dell'informazione quantistica, focalizzandosi specificamente su:

• Definizioni di Antidistinguibilità: Distinzione tra antidistinguibilità "forte" (dove ogni esito esclude uno stato specifico e ogni stato è escludibile) e versioni "deboli". Il lavoro adotta la definizione forte.
• Protocolli LOCC: Analisi delle capacità di parti spazialmente separate di eseguire misurazioni proiettive e comunicare classicamente per escludere stati o sequenze specifici.
• Dimostrazioni Teoriche: Utilizzo di teoremi riguardanti la decomposizione di insiemi di stati e le proprietà di stati puri mutuamente ortogonali per derivare condizioni per l'antidistinguibilità locale.
• Controesempi: Costruzione di insiemi specifici di stati prodotto (sia ortogonali che non ortogonali) per testare i limiti di questi paradigmi.

Contributi e Risultati Chiave

1. Antidistinguibilità Locale di Stati Ortogonali:
   Il lavoro dimostra un risultato fondamentale: Qualsiasi insieme di stati puri multipartiti mutuamente ortogonali è localmente antidistinguibile.

   • Metodo: Basandosi sul risultato seminale di Walgate et al. riguardante la distinguibilità locale di due stati ortogonali, gli autori costruiscono un protocollo in cui le parti possono eliminare almeno uno stato da qualsiasi coppia. Utilizzando casualità condivisa per selezionare coppie, dimostrano che l'intero insieme può essere antidistinguibile.
   • Implicazione: Ciò implica che i famosi stati prodotto "non locali" introdotti da Bennett et al. (che sono localmente indistinguibili) sono in realtà localmente antidistinguibili. La nonlocalità di questi stati svanisce sotto il paradigma LSAD.

2. Inequivalenza dei Paradigmi (LSAD vs CLSD):
   Gli autori dimostrano che LSAD e Discriminazione Locale Concluse degli Stati (CLSD) sono incomparabili.

   • Esistono insiemi di stati prodotto che sono non locali sotto CLSD ma locali sotto LSAD.
   • Viceversa, esistono insiemi (ad esempio, gli stati di Duan) che sono non locali sotto LSAD ma locali sotto CLSD.
   • Ciò stabilisce che LSAD fornisce una metrica distinta e raffinata per quantificare la "forza" della nonlocalità, rivelando sfumature che CLSD trascura.

3. Introduzione dell'Antimarcatura Locale degli Stati (LSAM):
   Il lavoro introduce LSAM, definita come il compito di escludere almeno una sequenza da un insieme di possibili sequenze non ripetitive.

   • Gerarchia: Gli autori stabiliscono le catene di implicazione: $LSD \implies LSM \implies LSAM$ e $LSD \implies LSAD \implies LSAM$. Di conseguenza, se un insieme fallisce LSAM, fallisce tutti gli altri compiti, indicando una forma più forte di nonlocalità.
   • Attivazione della Nonlocalità: Una scoperta significativa è l'"attivazione" della nonlocalità. Gli autori presentano insiemi di stati prodotto che non sono globalmente antidistinguibili (e quindi la questione dell'antidistinguibilità locale è irrilevante per i singoli stati). Tuttavia, quando questi stati sono organizzati in sequenze (permutazioni), l'insieme risultante di sequenze diventa globalmente antidistinguibile ma non localmente antidistinguibile.
   • Ciò rivela una forma di nonlocalità nascosta negli stati genitori ma sbloccata solo considerando le sequenze, un fenomeno non osservato nei compiti di discriminazione standard.

4. Controesempi Specifici:

   • Stati di Manna et al.: Stati precedentemente mostrati come non locali sotto LSAD sono dimostrati essere localmente antimarcabili (ammettendo LSAM), mostrando che LSAM è un compito più permissivo.
   • Stati di Duan: Sebbene non locali sotto LSAD, questi stati ammettono LSAM, evidenziando ulteriormente la gerarchia.
   • Esempio Tripartito ($S_{NL2}$): Un insieme di stati prodotto tripartiti è mostrato essere globalmente antidistinguibile e localmente distinguibile in modo conclusivo (ammettendo CLSD/CLSM), eppure fallisce LSAM. Ciò dimostra che LSAM può rilevare nonlocalità che è soppressa sia nei paradigmi CLSD che CLSM.
   • Esempio Bipartito ($S_U$): Viene presentato un insieme di stati che non è nemmeno globalmente antidistinguibile, eppure le sequenze formate da essi sono globalmente antimarcabili ma non localmente antimarcabili.

Significato e Affermazioni
Il lavoro afferma che il quadro LSAM offre uno strumento potente per caratterizzare la nonlocalità quantistica senza entanglement. Unificando esclusione e marcatura, rivela una gerarchia più rigorosa della nonlocalità.

• Caratterizzazione Raffinata: Il lavoro sostiene che le analisi basate su un singolo quadro possono essere fuorvianti; due insiemi possono apparire identici (entrambi locali o entrambi non locali) in un paradigma (ad esempio CLSD) ma divergere significativamente in un altro (ad esempio LSAD o LSAM).
• Nonlocalità Più Forte: L'incapacità di eseguire LSAM è presentata come un segnale di una forma di nonlocalità "più forte" rispetto all'incapacità di eseguire LSAD, LSM o LSD.
• Nessuna Gerarchia Rigida: Il lavoro conclude che non esiste una gerarchia rigida tra LSAD/LSAM e CLSD/CLSM. Esistono insiemi che permettono un compito mentre ne vietano rigorosamente un altro, e viceversa.

Gli autori notano modestamente che, sebbene abbiano trovato esempi di nonlocalità in LSAM che sono nascosti in altri paradigmi, la questione se stati mutuamente ortogonali possano mai essere antidistinguibili in modo non locale rimane aperta (suggerendo che tali stati sarebbero necessariamente misti). Identificano inoltre la necessità di un esempio bipartito di un insieme che sia globalmente antidistinguibile ma non localmente antimarcabile, poiché il loro esempio attuale è tripartito.