Bath dimension and initial entropy for closed repeated use of a quantum channel

Nel mondo dell'informazione quantistica, un canale è semplicemente un modo per inviare un messaggio da un luogo all'altro, come un filo che trasporta un segnale o un cavo in fibra ottica che trasporta luce. Ma a differenza di un filo classico, che può essere usato ripetutamente senza cambiare, un canale quantistico è fragile. Quando si invia un bit quantistico, o qubit, attraverso di esso, il processo lascia inevitabilmente una traccia. L'ambiente che aiuta a trasportare il segnale assorbe parte dell'informazione, alterandosi leggermente. In un esperimento standard, una tantum, gli scienziati spesso immaginano di poter semplicemente scartare questo ambiente usato e ricominciare da capo con uno pulito per il messaggio successivo. Questo funziona bene per un singolo calcolo, ma fallisce il test di una macchina reale e chiusa. Un dispositivo fisico non può magicamente scartare la propria storia o evocare un ambiente nuovo di zecca per ogni singolo passaggio. Deve portare con sé il peso delle proprie interazioni passate, conservando il residuo di ogni messaggio che ha mai inviato all'interno della propria struttura finita.

Questo crea un difficile enigma per ingegneri e fisici: come si costruisce una macchina che possa ripetere un compito quantistico per una durata lunga, ma finita, senza esaurire lo spazio o diventare troppo disordinata? La macchina ha una quantità fissa di memoria interna per un determinato orizzonte temporale, e ogni volta che elabora un messaggio, deve lasciare l'output pronto per l'utente mantenendo intatto il resto del proprio stato interno. Non può resettarsi, e non può prendere pezzi freschi dall'esterno. La domanda non riguarda solo quanto spazio serve alla macchina, ma anche la qualità dello stato in cui inizia. Deve iniziare in uno stato perfettamente puro e ordinato, o può tollerare l'inizio con uno stato che è già un po' misto e caotico? L'equilibrio tra la dimensione della memoria della macchina e il disordine iniziale che le è permesso è la chiave per rendere sostenibile un dispositivo quantistico.

Un ricercatore ha ora mappato i limiti esatti di questo equilibrio. Ha studiato un tipo specifico di dispositivo quantistico che deve servire un flusso di input uno alla volta, restituendo un output prima che arrivi il successivo, senza aiuto esterno. Ha scoperto che ci sono due costi principali per far funzionare tale macchina ripetutamente: la dimensione fisica della sua banca di memoria e la quantità di disordine iniziale, o entropia, che le è permessa di detenere. Questi due costi non sono indipendenti; sono legati tra loro in un rigido compromesso. Il ricercatore ha dimostrato che, per ogni dato canale quantistico, esiste una dimensione minima per la memoria della macchina, e questa dimensione dipende da quanto disordine iniziale la macchina è permessa di avere. Se si fornisce alla macchina un inizio perfettamente puro, essa necessita di una certa quantità di spazio. Se si permette di iniziare con uno stato disordinato e misto, può cavarsela con meno spazio, ma il "costo" totale di spazio più disordine non può scendere sotto una soglia specifica determinata dal canale stesso.

Lo studio rivela che la progettazione più efficiente per un tale macchina non è necessariamente quella che parte perfettamente pulita. Invece, la macchina ottimale spesso parte con una quantità specifica e calcolata di "mistezza". Questo disordine iniziale funge da risorsa che la macchina può spendere per risparmiare spazio fisico. Il ricercatore ha trovato un confine matematico preciso che definisce tutte le combinazioni possibili di dimensione della memoria e disordine iniziale che funzionano. Se un progettista tenta di costruire una macchina che cada al di sotto di questo confine, essa fallirà inevitabilmente nel riprodurre il corretto comportamento quantistico per tutti i possibili utenti, specialmente per quelli abbastanza accorti da adattare la propria strategia in base agli output precedenti. Il lavoro mostra che la dimensione minima della memoria richiesta è esattamente la media di due proprietà fondamentali del canale: una relativa a quanta informazione viene persa nell'ambiente, e un'altra relativa a quanto spazio extra è necessario per evitare che lo stato interno della macchina riveli segreti sull'input.

Crucialmente, il documento esclude l'idea che una memoria piccola e fissa possa ripetere perfettamente un canale quantistico se il canale non è un'operazione semplice e reversibile. Per molti tipi comuni di canali quantistici, una macchina con una dimensione fissa e finita non può mimare perfettamente il canale ripetutamente se è costretta a partire da uno stato perfettamente puro. Il ricercatore ha dimostrato che, per certi canali, l'unico modo per far funzionare la macchina è permetterle di iniziare con uno stato misto. Ha inoltre mostrato che un semplice bit casuale condiviso, che potrebbe sembrare un modo economico per simulare un canale rumoroso, è in realtà insufficiente per un dispositivo veramente chiuso. Sebbene tale bit condiviso possa apparire corretto se si controlla l'output di un singolo messaggio, fallisce completamente quando un utente controlla l'intera cronologia dei messaggi insieme. La macchina deve mantenere uno stato interno complesso e coerente che evolva correttamente nel tempo, e una semplice moneta condivisa non può fare ciò.

Il ricercatore non si è limitato a trovare i limiti; ha anche mostrato come costruire una macchina che li raggiunga. Ha costruito un dispositivo teorico che utilizza una tecnica chiamata riciclo, dove la macchina gestisce attentamente le proprie parti interne in modo che lo "scarto" di un passaggio diventi la risorsa utile per il successivo. Questo dispositivo utilizza un orologio per tenere traccia del tempo e una specifica disposizione di qubit per memorizzare l'informazione necessaria. Funziona prendendo il residuo disordinato lasciato da un messaggio e usandolo per aiutare l'elaborazione del successivo, il tutto mantenendo il totale dell'informazione memorizzata all'interno della macchina sotto controllo. La costruzione dimostra che i limiti teorici trovati non sono solo numeri astratti, ma sono effettivamente raggiungibili. La macchina descritta può operare per un tempo arbitrariamente lungo, gestendo qualsiasi sequenza di input un utente possa scegliere, e produrrà gli output corretti con un errore che diventa trascurabile man mano che la macchina viene resa leggermente più grande.

Uno dei risultati più sorprendenti è che, per alcuni canali, la macchina più efficiente è strettamente mista. Ciò significa che la macchina non può essere costruita usando solo stati puri e ordinati; deve iniziare con uno stato che è già parzialmente casuale. Questo sfida l'intuizione che la purezza sia sempre il punto di partenza migliore. In questi casi, la casualità iniziale non è un difetto, ma un combustibile necessario. Il ricercatore ha anche identificato un tipo specifico di canale, che coinvolge un mix di smorzamento e rumore, in cui la macchina ottimale richiede una quantità non nulla di disordine iniziale e una dimensione della memoria che è strettamente maggiore di quella che sarebbe necessaria se il canale fosse perfettamente reversibile. Ciò conferma che il compromesso tra dimensione della memoria e disordine iniziale è un vincolo fisico reale che varia da un canale quantistico all'altro.

Il lavoro lascia alcune domande aperte, in particolare riguardo alla facilità con cui è possibile calcolare i numeri esatti per un dato canale. Le formule derivate dal ricercatore coinvolgono limiti complessi e ottimizzazioni che potrebbero essere difficili da calcolare per ogni possibile scenario. Inoltre, non ha fornito un progetto per costruire un circuito fisico che sia efficiente in termini di velocità o del numero di porte richieste; il suo obiettivo era dimostrare che un tale dispositivo è possibile in linea di principio. Tuttavia, ha fornito un esempio concreto per un tipo semplice di rumore chiamato dephasing (decoerenza di fase), mostrando come costruire una macchina che utilizzi una dimensione di memoria che cresce solo con la radice quadrata del numero di messaggi, un risparmio significativo rispetto agli approcci diretti. Ciò suggerisce che, sebbene il problema generale sia difficile, esistono casi specifici in cui dispositivi quantistici chiusi altamente efficienti possono essere realizzati.

In definitiva, questa ricerca cambia il nostro modo di intendere le risorse necessarie per il calcolo quantistico. Sposta la conversazione da "di quanto spazio abbiamo bisogno per un singolo utilizzo?" a "come gestiamo lo spazio e il disordine durante un intero ciclo di vita?". La risposta è che un dispositivo quantistico chiuso è un ecosistema autosufficiente. Non può fare affidamento sul mondo esterno per ripulire il proprio disordine o fornire nuovi componenti. Deve portare con sé la propria storia, e il costo del farlo è un preciso equilibrio tra la dimensione della sua memoria e il caos iniziale che è disposto ad accettare. Il ricercatore ha tracciato la mappa di questo paesaggio, mostrando esattamente dove si trovano i confini e provando che la strada più efficiente spesso comporta l'abbracciare un po' di disordine per risparmiare una grande quantità di spazio.