Classically Spoofing System Linear Cross Entropy Score Benchmarking

Sintesi Tecnica: Analisi del Benchmarking del Punteggio di Entropia Incrociata Lineare per la Simulazione di Sistemi (sXES) per Circuiti a Profondità Sublineare

Problema
Recenti affermazioni di "supremazia quantistica" si sono ampiamente basate sulla metrica di Linear Cross-Entropy Benchmarking (Linear XEB) per verificare che i dispositivi quantistici eseguano compiti (come il Random Circuit Sampling, RCS) che sono intrattabili per i computer classici. La difficoltà teorica della simulazione classica di Linear XEB poggia sulla congettura della Cross-Entropy Quantum Threshold (XQUATH). Tuttavia, lavori recenti hanno smentito la XQUATH per circuiti a profondità sublineare, minando la robustezza di Linear XEB come benchmark di supremazia.

In risposta, è stato proposto un benchmark variante chiamato System Linear Cross Entropy Score (sXES) per esperimenti di simulazione di Hamiltonian quantistici utilizzando circuiti Minimal Quantum Singular Value Transform (mQSVT). A differenza del classico RCS, i circuiti mQSVT possiedono una struttura distinta che coinvolge molteplici copie della stessa unitaria $U$ e della sua coniugata $U^\dagger$. Questa differenza strutturale ha portato alla sXQUATH (System Linear Cross-Entropy Quantum Threshold Assumption), la quale postula che nessun algoritmo classico in tempo polinomiale possa approssimare le probabilità di output dei circuiti mQSVT con un errore quadratico medio significativamente inferiore a un'approssimazione uniforme banale. La relazione formale tra sXQUATH e XQUATH era precedentemente poco chiara, lasciando aperta la questione se le tecniche di spoofing esistenti potessero essere adattate per confutare la sXQUATH.

Metodologia
Gli autori impiegano un algoritmo di Pauli path per costruire un'approssimazione classica efficiente della distribuzione di probabilità di output dei circuiti mQSVT. Il nucleo del loro approccio consiste nell'espandere la matrice di densità del circuito in termini di matrici di Pauli normalizzate ad ogni layer.

Passaggi tecnici chiave:

1. Espansione Pauli Path: La probabilità di output $p(U, x)$ è espressa come una somma di coefficienti di Fourier corrispondenti a percorsi di Pauli (Pauli paths) $s$. Per un circuito mQSVT con $d$ blocchi, un Pauli path è una sequenza di sotto-percorsi che attraversano $U$ e $U^\dagger$.
2. Superamento dei problemi di ortogonalità: Nel classico RCS, la "proprietà di ortogonalità" garantisce che il valore atteso del prodotto dei coefficienti di Fourier per percorsi distinti sia zero. Questa proprietà fallisce nei circuiti mQSVT perché la stessa unitaria casuale $U$ appare più volte (specificamente $2d$ volte in un circuito a $d$ blocchi). Di conseguenza, l'analisi richiede momenti di ordine superiore (specificamente il quarto momento) di unitarie Haar-random, piuttosto che solo il secondo momento utilizzato nei precedenti risultati di spoofing RCS.
3. Calcolo di Weingarten: Per valutare i valori attesi di prodotti di ampiezze di transizione coinvolgenti molteplici copie della stessa unitaria, gli autori utilizzano il calcolo di Weingarten. Ciò consente di esprimere i momenti delle unitarie Haar-random in termini di funzioni di Weingarten e operatori di permutazione.
4. Costruzione specifica del percorso: Gli autori definiscono un Pauli path $r$ specifico ed efficientemente computabile che inizia con Pauli non-identità ($Z \otimes Z$) sul primo qubit e sul suo partner accoppiato nel primo layer, seguiti da Pauli identità nei layer successivi. Costruiscono un'approssimazione classica $q(U, x) = 2^{-n} + F(U, r, x)$, dove $F(U, r, x)$ è il coefficiente di Fourier per il percorso $r$.

Contributi Chiave e Risultati
Il documento presenta due teoremi primari che dimostrano il fallimento della sXQUATH e la spoofabilità del benchmark sXES:

1. Confutazione della sXQUATH (Teorema 1): Gli autori dimostrano che per circuiti mQSVT a singolo blocco ($d=1$) con profondità sublineare ($d_U = o(n)$), l'algoritmo classico costruito $q(U, x)$ ottiene un errore quadratico medio (MSE) significativamente inferiore all'approssimazione banale ($2^{-n}$). Nello specifico, mostrano che la quantità $sXQ$ (la differenza nell'MSE tra l'approssimazione banale e quella proposta) scala come $\Omega(2^{-3n})$. Questo confuta direttamente la congettura sXQUATH per questo regime, provando che un algoritmo classico in tempo polinomiale può approssimare le probabilità di output meglio di quanto consentito dall'assunzione.

2. Spoofing del benchmark sXES (Teorema 2): Gli autori dimostrano che lo stesso algoritmo può fare lo spoof del benchmark sXES per circuiti mQSVT rumorosi. Mostrano che per circuiti corrotti da rumore depolarizzante sopra una certa soglia, l'algoritmo classico produce un punteggio sXES comparabile a quello di un circuito quantistico rumoroso. Lo sXES "spoofato" è limitato da $2^{-n}(\sum_{x \neq 0^n} \mathbb{E}_U[p(U, x)] + c d_U)$, indicando che il benchmark non può distinguere tra l'esperimento quantistico rumoroso e la simulazione classica in questi regimi.

Significato
Il documento afferma che questi risultati estendono i risultati seminali di Aharonov et al. (2023) riguardanti lo spoofing di Linear XEB in RCS. Dimostrando che sXES è anch'esso suscettibile di efficiente spoofing classico tramite algoritmi di Pauli path, gli autori sostengono che:

• La base teorico-complessità di sXES (sXQUATH) è fragile, particolarmente per i circuiti a profondità sublineare.
• Le differenze strutturali tra i circuiti mQSVT e il classico RCS non forniscono una protezione sufficiente contro le attuali tecniche di simulazione classica allo stato dell'arte.
• Le future affermazioni di supremazia quantistica, sia basate su RCS che sulla simulazione di Hamiltonian, richiedono nuovi task di benchmarking con garanzie teorico-complessità più forti che possano escludere lo spoofing da parte di algoritmi di Pauli path e metodi simili.

Il lavoro non propone nuovi protocolli sperimentali o applicazioni future, ma funge da risultato teorico di cautela, evidenziando la necessità di metodi di verifica più robusti nella ricerca di un vantaggio quantistico.