Shallow quantum circuit for generating extremely low-entangled approximate state designs

Sintesi Tecnica: Circuito Quantistico Poco Profondo per la Generazione di Design di Stato Approssimati con Entanglement Estremamente Basso

Problema
Gli stati quantistici casuali sono strumenti fondamentali nella scienza dell'informazione quantistica, utilizzati per comprendere l'entanglement, la termalizzazione e la simulazione della dinamica caotica. Essi svolgono inoltre ruoli critici nella crittografia, nel benchmarking dei dispositivi e nella tomografia ombra (shadow tomography). Tuttavia, generare stati veramente Haar-casuali richiede circuiti quantistici con una profondità esponenziale rispetto al numero di qubit ($n$), rendendoli impraticabili per i dispositivi del prossimo futuro (near-term). Di conseguenza, il campo si affida ad approssimazioni, principalmente agli approximate state $t$-designs (che imitano i primi $t$ momenti della distribuzione di Haar) e agli stati pseudocasuali.

Un limite significativo delle attuali costruzioni per gli approximate state $t$-designs è il loro costo in termini di risorse. La maggior parte dei metodi noti, basati su circuiti casuali a strati o sulla dinamica caotica, produce stati con entanglement a legge di volume (volume-law entanglement, che scala linearmente con $n$) e un alto grado di "magia" (non-Cliffordness) e coerenza. Sebbene lavori recenti sugli stati pseudocasuali abbiano dimostrato che è possibile ottenere un entanglement basso ($\omega(\log n)$), le proprietà di entanglement degli approximate state $t$-designs sono rimaste inesplorate. La questione aperta centrale affrontata in questo lavoro è se gli approximate state $t$-designs possano essere generati con entanglement, magia e coerenza estremamente bassi che non scalano con la dimensione del sistema, e se, in tal caso, possano essere implementati efficientemente tramite circuiti quantistici poco profondi senza qubit ancilla.

Metodologia
Gli autori propongono una nuova costruzione basata sull'intuizione che un design di stato a $k$-qubit possa essere esteso a un sistema a $n$-qubit preservando le sue proprietà di design e la struttura dell'entanglement, a patto che venga utilizzata una specifica mappatura.

1. Espansione della Dimensione tramite Mappature Iniettive Casuali:
   L'intuizione teorica centrale è il Lemma 1, che stabilisce come l'applicazione di un operatore unitario casuale $U_p$ a un $k$-qubit $\epsilon$-approximate state $t$-design (incorporato in un sottospazio con $n-k$ zeri) produca un $n$-qubit $\epsilon'$-approximate state $t$-design. L'operatore $U_p$ è definito da una mappatura iniettiva casuale $t$-indipendente $p$ da $[2^k]$ a $[2^n]$. Fondamentalmente, poiché $U_p$ preserva il numero di sovrapposizioni nella base computazionale, l'entanglement, la magia e la coerenza degli stati $n$-qubit risultanti rimangono determinati dalla dimensione del sottosistema $k$, non dalla dimensione totale $n$.

2. Limiti Inferiori Teorici:
   Gli autori dimostrano il Teorema 2, stabilendo che qualsiasi ensemble che formi un $\epsilon$-approximate state $t$-design deve possedere un entanglement medio, magia e coerenza di almeno $\Omega(\log(t/\epsilon))$. Ciò prova che le risorse richieste sono fondamentalmente vincolate dai parametri del design $t$ e $\epsilon$, non dalla dimensione del sistema $n$.

3. Implementazione tramite Circuito Poco Profondo:
   Per realizzare fisicamente questa costruzione, gli autori sviluppano un algoritmo esplicito (Algoritmi 1 e 2) per implementare la mappatura iniettiva casuale $U_p$ utilizzando un circuito quantistico poco profondo.

   • Meccanismo: Il circuito utilizza porte CNOT in parallelo per copiare il sottosistema a $k$-qubit nel resto del sistema, seguite da porte Multi-Controlled X (MCX) casuali per randomizzare i bit.
   • Profondità: La profondità del circuito è $O(t[\log t]^3 \log n \log(1/\epsilon))$ senza qubit ancilla. Con l'uso di qubit ancilla, la profondità migliora in $\tilde{O}(t[\log t]^2 \log n \log(1/\epsilon))$.
   • Efficienza: Questa profondità è significativamente inferiore rispetto ai metodi precedenti per la generazione di state design senza ancilla (ad esempio, circuiti casuali locali che richiedono una profondità $O(n)$).

4. Applicazione alla Tomografia Ombra (Shadow Tomography):
   Gli autori applicano questa costruzione alla tomografia ombra classica. Utilizzando un ensemble di misurazione in cui l'unitario casuale $U$ è composto da un 3-design a $k$-qubit e dalla mappatura iniettiva casuale poco profonda $U_p$, costruiscono un estimatore ombra.

   • Caratteristica Chiave: L'estimatore risultante contiene sovrapposizioni tra solo due stati della base computazionale (per $k=1$).
   • Vantaggio: Ciò riduce drasticamente il costo del post-processing classico. A differenza degli estimatori basati su circuiti di Clifford casuali, che possono essere computazionalmente costosi da valutare per osservabili ad alto rango di stabilizzatore, questo metodo consente la valutazione efficiente di osservabili con complessità di campionamento costante o logaritmica, a seconda delle proprietà dell'osservabile.

Risultati Chiave

• Saturazione delle Risorse: L'ensemble costruito raggiunge il limite teorico di $\Theta(\log(t/\epsilon))$ per entanglement, magia e coerenza. Per valori fissi di $t$ ed $\epsilon$, queste risorse sono $O(1)$ rispetto al numero totale di qubit $n$.
• Efficienza del Circuito: Il circuito poco profondo proposto è il metodo più efficiente noto per generare approximate state $t$-designs senza qubit ancilla, con una profondità che scala logaritmicamente con $n$ anziché linearmente o polinomialmente.
• Certificazione dello Stato: Gli autori dimostrano che quasi tutti gli stati puri a $n$-qubit possono essere certificati (stima della fedeltà) utilizzando $O(1/\epsilon^2)$ misurazioni e circuiti di profondità $O(\log(n/\epsilon))$, un miglioramento significativo rispetto ai metodi precedenti che richiedevano $O(n^2)$ misurazioni.
• Efficienza della Shadow Tomography: Il nuovo estimatore ombra consente la certificazione di stati quantistici con ridotto overhead classico, particolarmente per osservabili a basso rango o per quelli con autostati anti-concentrati.

Significato e Rivendicazioni
Il documento afferma di aprire una nuova direzione nella generazione efficiente di stati quantistici casuali, disaccoppiando il costo delle risorse (entanglement, magia, coerenza) dalla dimensione del sistema. Gli autori dichiarano che il loro lavoro:

1. Risolve una Questione Aperta: Dimostra che possono esistere approximate state $t$-designs con risorse non estensive, sfidando l'assunto che un alto entanglement sia necessario per un comportamento simile a quello di Haar nei contesti di design.
2. Abilita Applicazioni Near-Term: La bassa profondità e il basso entanglement rendono questi stati realizzabili su dispositivi quantistici del prossimo futuro, specificamente su quelli con connettività all-to-all (ad esempio, computer quantistici a atomi neutri).
3. Migliora la Simulazione Classica: Riducendo l'entanglement e la complessità dell'estimatore ombra, il metodo offre una via per una simulazione classica e un post-processing più efficienti, facilitando compiti come la certificazione e il benchmarking dello stato quantistico con meno campioni e costi computazionali inferiori.

Gli autori sottolineano che, sebbene esistano stati pseudocasuali con basso entanglement, essi non garantiscono l'approssimazione accurata della fedeltà media per tutte le dimensioni di sistema nello stesso modo degli approximate state designs, evidenziando l'utilità unica della loro costruzione per specifici compiti di elaborazione dell'informazione quantistica.