Optimal Two-Qubit Gate-Cutting Cost and Measures of Nonlocality

I computer quantistici promettono di risolvere problemi impossibili per le macchine odierne, ma affrontano un ostacolo fisico fondamentale: sono incredibilmente fragili. Per eseguire un calcolo complesso, gli scienziati devono spesso collegare molti piccoli processori quantistici tra loro. Tuttavia, queste macchine sono difficili da connettere e, quando lo sono, le connessioni spesso introducono errori che rovinano il calcolo. Per aggirare questo problema, i ricercatori hanno sviluppato una tecnica chiamata "circuit cutting" (taglio dei circuiti). Immaginate di cercare di risolvere un enorme puzzle di tessere scomponendolo in sezioni più piccole e gestibili, risolvendo ciascuna di esse separatamente e poi ricomponendo le risposte. Nel mondo quantistico, questo significa suddividere un grande calcolo in pezzi più piccoli che possano essere eseguiti su dispositivi separati, per poi ricombinare i risultati. Il problema è che questo processo di suddivisione è costoso. Richiede di eseguire lo stesso esperimento molte, molte volte per filtrare il rumore introdotto dalla separazione, un costo che cresce rapidamente man mano che il calcolo diventa più complesso.

La domanda centrale per chiunque cerchi di costruire queste macchine è: quanto è costosa questa suddivisione per un tipo specifico di porta quantistica? Una porta è semplicemente un'operazione di base che cambia lo stato di due bit quantistici, o qubit. Alcune porte sono molto "locali", il che significa che non creano molta entanglement tra i bit, mentre altre sono altamente "non locali", intrecciando i bit in modi complessi. Gli scienziati sanno da tempo che più una porta è entangled, più è difficile tagliarla. Ma la relazione è stata poco chiara. I ricercatori hanno utilizzato diverse misurazioni differenti per descrivere quanto una porta sia entangled, sperando che una di queste misurazioni potesse predire perfettamente il costo del taglio. Se una regola così semplice fosse esistita, gli ingegneri avrebbero potuto stimare facilmente le risorse necessarie per qualsiasi algoritmo quantistico.

Un nuovo studio di Michael Hart sfida questa speranza. Esaminando con estrema precisione la matematica delle porte a due qubit, l'autore dimostra che nessuna singola misurazione dell'entanglement può determinare univocamente il costo del taglio di una porta. Invece, lo studio mappa l'esatto intervallo di costi possibili per ogni livello di entanglement. Le scoperte rivelano che due porte possono apparire quasi identiche in termini delle loro proprietà di entanglement, eppure una potrebbe essere economica da dividere mentre l'altra potrebbe essere proibitivamente costosa. Questo lavoro non offre solo una nuova formula; traccia una mappa completa dei confini, mostrando i costi minimi e massimi assoluti possibili per ogni tipo di porta.

Lo studio si concentra sulla "quasiprobability extent" (estensione della quasiprobabilità), un numero che rappresenta l'overhead richiesto per tagliare una porta. Un valore di uno significa che la porta è locale e non costa nulla in più per essere divisa, mentre un valore di sette rappresenta la porta a due qubit più costosa possibile. L'autore ha analizzato cinque modi diversi con cui gli scienziati tipicamente descrivono il comportamento non locale di una porta: quanto essa crea entanglement con input casuali, quanto è "tipica" rispetto ad altre porte, quanta informazione viene condivisa tra i due qubit, la forza della sua struttura interna e l'entanglement massimo che può creare da un semplice stato iniziale. Per ciascuna di queste cinque descrizioni, il documento calcola i limiti inferiori e superiori più stretti possibili per il costo del taglio.

I risultati mostrano un panorama di incertezza. Ad esempio, se si conosce una specifica "capacità di entanglement" di una porta, si può essere certi che il costo del taglio rientrerà tra un numero basso specifico e il massimo di sette. Tuttavia, il documento dimostra che non è possibile restringere ulteriormente il campo senza ulteriori informazioni. Il costo potrebbe trovarsi in qualsiasi punto di quella ampia fascia, a seconda della specifica geometria interna della porta. Lo studio identifica specifiche famiglie di porte che si collocano su questi confini. Una famiglia, che include la famosa porta CNOT, fornisce costantemente il modo più economico per ottenere un certo livello di entanglement. Un'altra famiglia, correlata alla porta SWAP, fornisce costantemente il percorso più costoso. Nel mezzo, ci sono porte che si trovano in vari punti, ma nessuna delle misurazioni standard può dirvi esattamente dove si collocherà una nuova porta senza conoscerne la piena struttura interna.

Il risultato forse più sorprendente riguarda i "perfect entanglers" (entangler perfetti), una classe speciale di porte capaci di trasformare input semplici in stati massimamente entangled. Si potrebbe presumere che, poiché queste porte sono così potenti, avranno tutte un costo simile e alto per essere tagliate. Lo studio mostra che questo non è vero. Sebbene tutti i perfect entanglers abbiano un costo di almeno tre, possono arrivare fino a sette. Ciò significa che due porte con identiche capacità di entanglement massima possono avere costi di taglio che differiscono di oltre il doppio. La ricerca identifica che questa variazione dipende dalla specifica disposizione dei componenti interni della porta, che le misurazioni standard spesso trascurano.

L'autore chiarisce anche perché i precedenti tentativi di trovare una regola semplice siano falliti. Il costo del taglio è determinato da una specifica proprietà matematica dello spettro della porta, ovvero un modo per descrivere le sue frequenze interne. Le cinque misurazioni comuni utilizzate dagli scienziati sono come guardare un oggetto complesso da cinque angolazioni diverse; ognuna fornisce un pezzo utile di informazione, ma nessuna cattura la forma completa. Lo studio dimostra che anche quando due porte hanno lo stesso valore per una di queste misurazioni, i loro spettri interni possono essere disposti in modi diversi, portando a costi di taglio differenti. Il documento stabilisce che l'unico modo per conoscere il costo esatto è conoscere l'intero spettro, o accettare che il costo si trovi all'interno dei confini ampi e netti che lo studio ha ora delineato.

Questo lavoro fornisce una guida definitiva per ingegneri e teorici. Conferma che, sebbene sia possibile prevedere gli scenari peggiori e migliori per la suddivisione di qualsiasi porta, non è possibile prevedere il costo esatto da un singolo numero. Lo studio esclude la possibilità di una scorciatoia universale. Al contrario, offre una mappa precisa del terreno, mostrando esattamente dove si trovano i precipizi e le valli. Per il campo dell'informatica quantistica, ciò significa che la stima delle risorse deve essere più sfumata. Gli ingegneri non possono semplicemente inserire un singolo numero di entanglement per ottenere un costo; devono considerare l'intero intervallo di possibilità o analizzare la specifica struttura della porta. Lo studio conclude che la relazione tra non località e costo di taglio è molto più intricata di quanto precedentemente pensato, governata da un piccolo insieme di schemi geometrici ricorrenti che definiscono i limiti di ciò che è possibile.