Anti-distinguishability of quantum channels
Questo articolo investiga l'anti-distinguibilità perfetta a singola query di ensemble di canali quantistici finiti stabilendo condizioni necessarie e sufficienti basate sull'operatore di Choi per l'esclusione debole e forte, rivelando distinzioni fondamentali dalla distinzione degli stati e dimostrando che, mentre certi mix di rumore precludono l'esclusione, specifici ensemble come le porte di fase qubit commutanti ammettono criteri di inviluppo convesso esatti sia per l'esclusione debole che per quella forte senza assistenza.
Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Nel mondo della fisica quantistica, gli scienziati spesso trattano il comportamento di un sistema come un mistero da risolvere. Hanno un elenco di possibili spiegazioni su come funzioni una macchina — forse funziona seguendo una tra diverse regole interne differenti, o "dinamiche". L'obiettivo standard è identificare esattamente quale regola venga utilizzata. Per farlo, i ricercatori inviano una sonda, uno specifico stato quantistico, attraverso il dispositivo e misurano il risultato. Se l'esito è unico per una determinata regola, possono individuare con precisione la risposta. Tuttavia, in molte situazioni reali, trovare la risposta esatta è troppo difficile o richiede risorse che semplicemente non esistono. A volte, la cosa più utile che uno scienziato possa fare non è dire cosa stia accadendo, ma dire con assoluta certezza cosa non stia accadendo. Questa è l'arte dell'esclusione: escludere le possibilità una per una finché le opzioni rimanenti non diventano chiare, anche se il vincitore finale non è ancora stato identificato.
Questo approccio, noto come anti-distinguibilità, è stato studiato a lungo per gli stati quantistici statici, ma un nuovo studio di Ardra Ajitha Vijala e Nidhin Sudarsanan Ragini porta questo concetto nel regno dinamico dei canali quantistici. Un canale quantistico è la descrizione matematica di come un sistema cambia nel tempo, come una porta che trasforma un input in un output. I ricercatori si sono posti una domanda fondamentale: se avete una collezione di diversi canali possibili, potete progettare un singolo esperimento che garantisca che ogni possibile risultato elimini almeno un candidato? Hanno scoperto che la risposta dipende fortemente dalla struttura dei canali e dal tipo di sonda utilizzato. Il loro lavoro rivela che, sebbene sia spesso facile escludere un'unica opzione, escludere ogni opzione con un singolo colpo è un gioco molto più severo, governato da rigide regole geometriche che possono essere infrante proprio dalla presenza di rumore.
Il team si è concentrato su due livelli di questo compito di esclusione. Il primo, che chiamano esclusione "debole", richiede che per ogni possibile risultato di misura che potreste ottenere, ci sia almeno un canale nella lista che non avrebbe potuto produrlo. Il secondo, l'esclusione "forte", è uno standard molto più difficile: richiede che per ogni canale nella lista, ci sia un qualche risultato di misura che potrebbe accadere solo se quel canale specifico non fosse quello in funzione. In altre parole, con l'esclusione forte, ogni singolo candidato deve essere in grado di essere escluso da un certo esito. I ricercatori hanno dimostrato che, per una coppia di canali, queste due idee sono le stesse di distinguere perfettamente tra loro. Ma una volta che si hanno tre o più canali, le regole cambiano. Diventa possibile escludere i candidati senza essere in grado di identificare il vincitore, ed è possibile escludere alcuni candidati ma non altri.
Una scoperta importante del documento è che la natura fisica dei canali stessi agisce come un guardiano. Se un canale è a "rango pieno" (full rank), ovvero preserva tutte le informazioni dell'input in modo tale da far apparire il suo output come uno stato completamente misto e rumoroso, non può essere escluso. Se anche un solo candidato in un gruppo è questo tipo di canale robusto e rumoroso, non potrete mai progettare un esperimento che lo escluda con certezza. Questo perché un tale canale produce un output che si sovrappone a tutto il resto. I ricercatori hanno dimostrato che, per ottenere l'esclusione forte, ogni singolo candidato deve essere a "rango deficitario" (rank-deficient), ovvero devono tutti avere una parte dello spazio di output vuota o inutilizzata. Se anche un solo candidato riempie l'intero spazio, il compito di esclusione fallisce.
Lo studio ha esplorato anche come la scelta della sonda — lo stato di input inviato nel canale — conti. In molti compiti quantistici, l'uso di uno stato speciale entangled, dove la sonda è collegata a un sistema ausiliario, fornisce un enorme vantaggio. Qui, i risultati sono stati più sorprendenti. Per alcune famiglie di canali, come quelli che sostituiscono semplicemente l'input con uno stato fisso (canali di sostituzione o "replacer channels"), la capacità di escludere i candidati dipende interamente dagli stati che vengono sostituiti, non dalla sonda. Se gli stati di sostituzione possono essere esclusi, i canali possono essere esclusi, e ciò può essere fatto con una sonda semplice, non entangled. Tuttavia, per altre famiglie, come i canali di misura-e-preparazione (measure-and-prepare), la scelta della sonda è critica. I ricercatori hanno trovato casi in cui una sonda semplice, non entangled, permetteva l'esclusione perfetta, mentre le sonde entangled più potenti fallivano completamente. Questo accade perché la sonda entangled costringe l'esperimento a guardare il canale in un modo che sfuma le differenze necessarie per l'esclusione.
Uno degli aspetti più sorprendenti delle loro scoperte riguarda le misurazioni "non etichettate". Immaginate un dispositivo che misura un sistema quantistico e fornisce un risultato, ma le etichette sui risultati sono rimescolate. Sapete che il dispositivo ha tre possibili esiti, ma non sapete quale effetto fisico corrisponda a quale etichetta. I ricercatori hanno dimostrato che potete escludere ogni modo possibile in cui le etichette potrebbero essere assegnate se e solo se almeno un effetto di misura è a "rango deficitario". Se ogni effetto è robusto e completo, nessun amount di sonda ingegnosa potrà districare le etichette. Ma se un effetto è debole o incompleto, può essere scelta una specifica sonda per rendere quell'effetto impossibile da attivare, escludendo istantaneamente tutte le assegnazioni di etichette che avrebbero richiesto tale effetto.
Il documento ha anche affrontato il problema del "rumore comune". Se ogni canale in una lista è mescolato con un piccolo pizzico dello stesso rumore casuale, la capacità di escluderli svanisce. Anche se il rumore è molto piccolo, finché è presente in ogni singolo candidato, nessun esperimento può escluderli con certezza. Ciò suggerisce che nel mondo reale, dove il rumore è inevitabile, l'esclusione perfetta potrebbe essere impossibile per molti ensemble, a meno che il rumore non sia attentamente controllato o eliminato.
Infine, i ricercatori hanno esaminato una classe specifica di gate quantistici chiamati gate di fase, che spostano la fase di uno stato quantistico. Hanno scoperto che per questi gate, la capacità di escludere i candidati dipende dalla disposizione geometrica delle loro fasi su un cerchio. Se le fasi sono disposte in modo tale che la loro media punti al centro del cerchio, l'esclusione è possibile. Se sono raggruppate, non lo è. Sorprendentemente, per questa specifica famiglia, i ricercatori hanno dimostrato che non serve mai una sonda entangled; un input semplice, non entangled, è sempre sufficiente per ottenere la migliore esclusione possibile.
In sintesi, questo lavoro mappa i confini di ciò che è possibile quando si cerca di escludere la dinamica quantistica. Stabilisce che l'esclusione non è solo una versione più debole dell'identificazione; è un compito distinto con i propri requisiti rigorosi. La capacità di escludere un canale dipende dal fatto che il canale lasci o meno intatta una parte del mondo quantistico, se il gruppo di canali condivide una sorgente di rumore comune e se la sonda è scelta per adattarsi alla specifica geometria del problema. Queste scoperte forniscono un insieme chiaro di regole per gli sperimentatori: se volete certificare che un sistema non si sta comportando in un certo modo, dovete prima controllare se il sistema stesso permette tale certificazione e, se lo permette, dovete scegliere la vostra sonda con precisione chirurgica.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.