The Encoding Gauge of Fermionic Variational Quantum Algorithms: Classical Simulability is Encoding-Relative, Trainability is Invariant

Sintesi Tecnica: Il Gauge dell'Encoding degli Algoritmi Quantistici Variazionali Fermionici

Enunciato del Problema
Il saggio affronta un'ambiguità fondamentale nella valutazione del vantaggio quantistico per gli algoritmi quantistici variazionali (VQA) fermionici. Poiché un VQA offre un vero vantaggio solo se i suoi output resistono al calcolo classico efficiente, la scelta dell'encoding fermione-qubit (ad esempio, Jordan-Wigner, Bravyi-Kitaev, codifiche ad albero) è una convenzione di modellazione piuttosto che una proprietà fisica. Gli autori indagano se il verdetto sulla "simulabilità classica" sia intrinseco al problema fisico o dipendente dalla scelta della rappresentazione di encoding. Essi postulano che, se due encoding rappresentano lo stesso problema, dovrebbero teoricamente concordare sulla simulabilità, ma dimostrano che gli standard encoding, essendo legati ai Clifford, formano un "gruppo di gauge" sotto il quale le risorse di simulazione si trasformano diversamente.

Metodologia
Gli autori trattano l'insieme dei comuni encoding lineari fermione-qubit come un'orbita di encoding relazionata da unitari di Clifford. Classificano le risorse di simulazione in base alle loro proprietà di trasformazione sotto questo gruppo di gauge:

1. Risorse Gauge-Covarianti: Grandezze che cambiano sotto ricodifica. Queste includono il peso di Pauli, la larghezza del cono causale e l'entanglement (che determina i costi delle reti tensoriali).
2. Risorse Gauge-Invarianti: Grandezze preservate dalla coniugazione di Clifford. Queste includono la dimensione dell'algebra di Lie dinamica ($\dim \mathfrak{g}$) e la non-stabilizerità (misurata tramite l'entropia di Rényi dello stabilizzatore, $M_2$).

Lo studio impiega simulazioni numeriche su tre famiglie di problemi: modelli fermionici generici con interazione all-to-all, struttura elettronica molecolare (idrogeno molecolare e idruro di litio) e il modello di Fermi-Hubbard 1D. Utilizzano un ansatz strutturato non locale per sondare la transizione tra regimi trattabili e intrattabili. Gli autori calcolano il peso di troncamento dell'errore assoluto ($W^*$) per la propagazione di Pauli troncata, la dimensione dell'algebra di Lie dinamica tramite chiusura di stringhe di Pauli sparse e l'entropia di Rényi dello stabilizzatore. Analizzano inoltre la trainabilità calcolando i gradienti e la varianza dei plateau barren attraverso diversi encoding.

Contributi Chiave

1. Classificazione delle Risorse: Il saggio stabilisce una distinzione rigorosa in cui il peso di Pauli e la larghezza del cono causale sono gauge-covarianti, mentre la dimensione dell'algebra di Lie dinamica e la non-stabilizerità sono gauge-invarianti.
2. Verdetti Dipendenti dall'Encoding: Gli autori dimostrano che il verdetto di simulabilità classica per un circuito fisico fissato può cambiare in base all'encoding. Nello specifico, per un ansatz interagente, il costo della propagazione di Pauli troncata può passare da intrattabile (sotto Jordan-Wigner) a trattabile (sotto Bravyi-Kitaev o codifiche ad albero) all'aumentare della dimensione del sistema, esclusivamente a causa della riduzione del peso di Pauli.
3. La Proposizione del "Gauge Floor": Il saggio prova che il costo di simulazione ottimizzato per l'encoding è limitato superiormente dalle risorse invarianti. Di conseguenza, la durezza robusta rispetto all'encoding (durezza che persiste attraverso tutti gli encoding) richiede sia una grande dimensione dell'algebra di Lie dinamica sia una grande non-stabilizerità. Il peso covariante è necessario ma mai sufficiente per la durezza.
4. Invarianza della Trainabilità: Gli autori stabiliscono una dicotomia netta: mentre il costo di simulazione è relativo all'encoding, la trainabilità è invariante rispetto all'encoding. Dimostrano che il paesaggio dei costi, i gradienti e la varianza dei plateau barren sono identici in tutti gli encoding dell'orbita fino alla precisione di macchina. Questa invarianza deriva dalla fedeltà della rappresentazione (preservazione dei valori di aspettazione) piuttosto che dalla sola equivalenza di Clifford.

Risultati

• Costo di Simulazione: I risultati numerici confermano che il peso massimo di Pauli degli hamiltoniani interagenti generici scala linearmente ($O(n)$) sotto Jordan-Wigner ma logaritmicamente ($O(\log n)$) sotto codifiche ad albero. Per un particolare ansatz strutturato, il peso di troncamento $W^*$ attraversa la soglia di trattabilità sotto Jordan-Wigner ma rimane al di sotto di essa sotto Bravyi-Kitaev per $n \geq 12$, invertendo il verdetto di simulabilità.
• Percorsi Invarianti: Gli autori mostrano casi in cui le risorse covarianti suggeriscono durezza, ma i percorsi invarianti rivelano simulabilità. Ad esempio, i fermioni liberi a lungo raggio hanno un peso di Pauli lineare (che suggerisce durezza) ma una dimensione dell'algebra di Lie polinomiale ($n^2-1$), rendendoli efficientemente simulabili tramite metodi algebrici di Lie in qualsiasi encoding.
• Raggiungere il "Floor": Viene costruita una famiglia a un parametro di modelli interagenti ($H(\lambda)$) dove, per $\lambda \neq 0$, tutti e tre i percorsi di certificazione (peso di Pauli, dimensione dell'algebra di Lie e magic) falliscono simultaneamente. In questo regime, il costo di simulazione è limitato solo dal "floor" stabilito dagli invarianti, e la ricodifica non può abbassare il costo al di sotto di questo limite.
• Trainabilità: La verifica numerica mostra che i vettori dei gradienti e i rapporti di varianza dei plateau barren sono esattamente 1.0 tra gli encoding. Gli autori confermano che ricodificare un circuito non allevia i plateau barren; la trainabilità si sposta solo se l'ansatz stesso viene modificato per esplorare una diversa algebra dinamica.

Significatività e Rivendicazioni
Il saggio inquadra le rivendicazioni di vantaggio quantistico affermando che un vantaggio che non è gauge-invariante è un artefatto dell'encoding. Gli autori sostengono che:

• La Simulabilità è Relativa: Si può ricodificare un circuito per facilitare la simulazione classica (riducendo il peso di Pauli), ma ciò non cambia la difficoltà intrinseca del problema se le risorse invarianti (dimensione dell'algebra di Lie e magic) rimangono grandi.
• La Trainabilità è Assoluta: La ricodifica non può migliorare la trainabilità. La piattezza del paesaggio (plateau barren) è determinata dalla dimensione invariante dell'algebra di Lie dinamica, non dalla scelta dell'encoding.
• Criteri di Certificazione: Per rivendicare la durezza di un problema per i computer classici, è necessario dimostrare che le risorse invarianti (grande algebra di Lie e grande magic) siano sostanziali. Affidarsi esclusivamente a un alto peso di Pauli (una risorsa covariante) è insufficiente, poiché un diverso encoding potrebbe rendere il problema simulabile.

Il lavoro conclude che una classificazione completa dei costi invarianti rispetto alla rappresentazione rimane un problema aperto, ma il "floor" identificato fornisce una condizione necessaria per la durezza robusta rispetto all'encoding. I risultati fungono da certificato per le rivendicazioni di vantaggio, distinguendo tra artefatti della rappresentazione e vere barriere computazionali.