Quantum Nonlinear Properties from a Single Measurement Setting

Sintesi Tecnica: Proprietà Non Lineari Quantistiche da un'unica Impostazione di Misura

Enunciato del Problema
Le proprietà non lineari degli stati quantistici, come i momenti dello stato $\text{tr}(\rho^t)$, i valori di aspettazione di ordine superiore $\text{tr}(O\rho^t)$, le proprietà dei componenti principali e i momenti della trasposizione parziale (PT), sono fondamentali per l'elaborazione dell'informazione quantistica, la mitigazione degli errori e la fisica dei molti corpi. Tuttavia, la valutazione sperimentale di queste quantità è impegnativa. Gli approcci convenzionali, come i test di scambio generalizzati, richiedono operazioni collettive su più copie di uno stato, che sono sperimentalmente onerose. Le alternative recenti a copia singola, incluse le Misurazioni Randomizzate (RM) e la Stima delle Ombre Classiche (CSE), evitano le operazioni su più copie ma comportano tipicamente un sovraccarico sostanziale nel numero di impostazioni di misura (unitarie randomizzate). Nello specifico, raggiungere un errore di stima target $\epsilon$ richiede spesso un numero di impostazioni che scala come $\sim 1/\epsilon^2$ o addirittura esponenzialmente con la dimensione del sistema per determinati compiti. Questo frequente passaggio tra basi di misura è dispendioso in termini di risorse e incompatibile con i vincoli operativi di molte piattaforme hardware quantistiche a breve termine, che preferiscono variazioni minime delle impostazioni. Sebbene la stima a impostazione singola sia stata realizzata per quantità del secondo ordine (ad es. purezza $\text{tr}(\rho^2)$) in condizioni specifiche, estendere ciò a funzioni non lineari di ordine superiore ($t \ge 3$) con un'unica impostazione è rimasto una sfida aperta.

Metodologia: Stima Non Lineare Basata su Collisioni (CBNE)
Gli autori introducono un framework universale denominato Stima Non Lineare Basata su Collisioni (CBNE) per affrontare queste limitazioni. Il protocollo opera come segue:

1. Fase Sperimentale: Un'unitaria randomizzata fissa $U$ è estratta da un insieme unitario $\mathcal{E}$ (tipicamente un $2(t+1)$-design) e applicata a copie dello stato sconosciuto $\rho$ preparate in sequenza. Lo stato risultante è misurato nella base computazionale. Questo processo è ripetuto $N_M$ volte per la stessa unitaria $U$. Crucialmente, il protocollo richiede un'unica impostazione di misura ($N_U=1$) a condizione che la dimensione del sistema $d$ sia sufficientemente grande o che siano disponibili un piccolo numero di qubit ancilla.
2. Elaborazione dei Dati: Invece di stimare le singole probabilità di esito, il protocollo utilizza le statistiche di collisione. Esso conta il numero di collisioni $k$-arie (istanze in cui $k$ esiti di misura indipendenti sono identici) tra i $N_M$ risultati.
3. Stima:
   • Per i momenti dello stato $p_t = \text{tr}(\rho^t)$, i conteggi delle collisioni sono utilizzati per costruire stimatori $\hat{M}^U_k$ i cui valori di aspettazione sono correlati ai polinomi simmetrici dei momenti. Mediante la media su questi stimatori e la risoluzione di un sistema di equazioni polinomiali, è possibile recuperare sequenzialmente $p_2, \dots, p_t$.
   • Per osservabili generali, il framework stima $\text{tr}(O\rho^t)$ definendo uno stimatore di collisione generalizzato $\hat{\Gamma}^U_k(O_0)$ che incorpora la "quasi-probabilità" dell'osservabile $O$.
   • Il framework si estende alla Stima del Componente Principale (PCE) stimando il rapporto $\text{tr}(O\rho^t)/\text{tr}(\rho^t)$, che converge al valore di aspettazione dell'autostato principale all'aumentare di $t$.
   • Una variante, la Stima del Momento PT (PTME), applica unitarie randomizzate solo a un sottosistema $A$ e utilizza misurazioni di Bell su coppie tra $A$ e $B$ per stimare i momenti PT $p^{\text{PT}}_t = \text{tr}((\rho^{\top_B})^t)$, permettendo il rilevamento dell'entanglement.

Contributi Chiave

• Efficienza a Impostazione Singola: Il contributo principale è la dimostrazione che la stima non lineare per ordini $t \ge 3$ può essere realizzata con un'unica impostazione di misura ($N_U=1$) se la dimensione del sistema soddisfa $d \gtrsim B/\epsilon^2$ (dove $B$ dipende dall'osservabile) o aggiungendo $O(\log \epsilon^{-1})$ qubit ancilla. Ciò contrasta con il requisito convenzionale di molte impostazioni per la stima di ordine superiore.
• Indipendenza dall'Osservabile: La fase sperimentale della CBNE è indipendente dall'osservabile target $O$. Ciò permette la stima simultanea di più funzioni non lineari (ad es. momenti diversi o osservabili diversi) dallo stesso set di dati, una caratteristica ereditata dalla Stima delle Ombre Classiche ma generalizzata oltre i suoi limiti.
• Complessità Campionaria Ottimale: Per ordini generali $t \ge 3$, la CBNE raggiunge la complessità campionaria meglio nota tra i protocolli a copia singola, scalando come $O(\max\{d^{1-1/t}B^{1/t}/\epsilon^{2/t}, B/\epsilon^2\})$. In regimi ad alta precisione, questo corrisponde all'efficienza della stima lineare.
• Basso Sovraccarico di Post-Elaborazione: La post-elaborazione classica comporta un semplice conteggio delle collisioni e la risoluzione di sistemi polinomiali, evitando le pesanti operazioni matriciali richieste dagli stimatori standard a prodotto di snapshot della CSE.

Risultati

• Garanzie Teoriche: Gli autori forniscono teoremi rigorosi (Teoremi 1–3) che stabiliscono che CBNE e PTME forniscono stime con errore additivo $\epsilon$ con alta probabilità, dati specifici limiti sul numero di unitarie ($N_U$) e misurazioni per unitaria ($N_M$).
• Validazione Numerica: Le simulazioni sugli stati fondamentali del Modello di Ising a Campo Trasverso (TFIM) confermano la scalabilità teorica.
  • L'errore statistico scala come $N_M^{-t/2}$ nel regime a basse misurazioni ed esibisce una soppressione esponenziale con la dimensione del sistema $n$ (o dimensione effettiva tramite ancilla) nel regime ad alte misurazioni, validando la capacità a impostazione singola per sistemi grandi.
  • Il protocollo stima con successo le proprietà dei componenti principali e gli stati virtualmente raffreddati (Raffreddamento Virtuale Quantistico) con un'unica impostazione.
  • La PTME è dimostrata capace di rilevare l'entanglement utilizzando momenti PT di ordine superiore (tramite testimoni $D_k$) in modo più efficace rispetto ai criteri di ordine inferiore, sfruttando la stima simultanea di più momenti da un'unica impostazione.
• Design Approssimati: Il framework rimane efficace quando si utilizzano design unitari approssimati (ad es. circuiti a mattonelle superficiali) invece di design esatti, riducendo significativamente la profondità del circuito sperimentale richiesta.

Significato
Il paper afferma che la CBNE fornisce una via pratica e scalabile per misurare proprietà non lineari degli stati su dispositivi quantistici a breve termine. Dimostrando che il passaggio tra molteplici basi di misura non è fondamentalmente necessario per accedere a una vasta classe di proprietà non lineari, il lavoro sfida la dipendenza convenzionale da impostazioni di misura diversificate. La capacità di stimare momenti di ordine superiore, criteri di entanglement e componenti principali con un'unica impostazione e risorse ancilla minime offre una riduzione significativa del sovraccarico sperimentale, rendendo fattibili per l'hardware corrente questi compiti avanzati di caratterizzazione quantistica. Gli autori suggeriscono che ciò apre nuove direzioni per l'apprendimento quantistico e studi fondamentali, in particolare in scenari in cui il passaggio tra impostazioni di misura rappresenta un collo di bottiglia.