Non-stabilizerness of Neural Quantum States

Sintesi Tecnica: Non-stabilizer-ness di Stati Quantistici Neurali

Definizione del Problema
La complessità quantistica nei sistemi a molti corpi si basa su due risorse distinte: l'entanglement e la non-stabilizer-ness (spesso definita "magic"). Mentre l'entanglement è stato ampiamente caratterizzato, la non-stabilizer-ness rimane difficile da quantificare in sistemi di grandi dimensioni. Le misure esistenti, come le Entropie di Rényi degli Stabilizer (SRE), richiedono tipicamente procedure di minimizzazione computazionalmente intensive o sono limitate a specifici ansatz come gli Stati a Rete di Tensori (MPS). Di conseguenza, i metodi attuali non riescono ad affrontare sistemi con forti correlazioni e alte dimensioni spaziali, dove i metodi Tensor Network (TN) sono limitati dalla scalabilità dell'entanglement e i metodi Quantum Monte Carlo (QMC) soffrono spesso del problema del segno. Esiste una critica necessità di un framework scalabile per valutare la "magic" in arbitrarie funzioni d'onda variazionali, in particolare quelle capaci di rappresentare l'entanglement a legge di volume (volume-law).

Metodologia
Gli autori introducono un framework per stimare le SRE (specificamente $M_2$) per arbitrari sistemi di molti qubit codificati come Stati Quantistici Neurali (NQS). L'approccio si basa su due schemi di campionamento Monte Carlo:

1. Stimatore Replicato: Questo metodo utilizza uno spazio di Hilbert replicato quattro volte. Definendo uno stato $|\Phi\rangle = |\Psi^*, \Psi^*, \Psi^*, \Psi\rangle$ e un operatore unitario specifico $\hat{U}$ che crea interazioni tra le repliche, la SRE è espressa come un valore di aspettazione $\langle \Phi | \hat{U} | \Phi \rangle / \langle \Phi | \Phi \rangle$. Ciò consente la stima stocastica tramite campionamento dalla distribuzione di Born di $|\Phi\rangle$. Gli autori notano che questo stimatore può soffrire di outlier statistici a causa della natura non locale di $\hat{U}$, ma ciò può essere mitigato utilizzando l'annealed importance sampling.
2. Stimatore della Base di Bell: Questo approccio sfrutta l'equivalenza tra i valori di aspettazione delle stringhe di Pauli e le ampiezze sugli stati di Bell di due copie del sistema. Richiede che lo stato $|\Psi\rangle$ sia lo stato fondamentale di un Hamiltoniano $\hat{H}$. Il metodo prevede la trasformazione del sistema in uno stato raddoppiato $|\Gamma\rangle$ tramite una trasformazione di Clifford $\hat{C}$, tale che la SRE sia stimata mediando i rapporti di ampiezza sulle distribuzioni $|\Gamma(\nu)|^2$. Sebbene questo stimatore sia positivo-definito e statisticamente più robusto, è limitato agli stati fondamentali e richiede l'apprendimento dell'altamente entangled stato $|\Gamma\rangle$, il che introduce accoppiamenti non locali.

Nei risultati principali, gli autori impiegano principalmente lo Stimatore Replicato a causa delle sfide associate all'apprendimento dello stato fondamentale trasformato $|\Gamma\rangle$ per modelli complessi. Gli ansatz NQS utilizzati includono Restricted Boltzmann Machines (RBM) per ensemble casuali e Deep Vision Transformers (ViT) per il modello di Heisenberg, ottimizzati tramite Variational Monte Carlo (VMC) con Stochastic Reconfiguration.

Contributi Chiave

• Framework Algoritmico: Il documento presenta due algoritmi Monte Carlo per misurare le SRE in arbitrari ansatz variazionali, estendendo l'analisi della magic oltre i limiti dei metodi TN verso sistemi ad alta dimensione e alto entanglement.
• Caratterizzazione dell'Espressività NQS: Gli autori dimostrano che le parametrizzazioni NQS possono catturare simultaneamente un esteso entanglement e una finita non-stabilizer-ness, una capacità non condivisa dai classici TN (che catturano un basso entanglement) o dagli stati stabilizer (che hanno zero magic).
• Diagramma di Fase del Modello di Heisenberg $J_1-J_2$: Il framework viene applicato al paradigmatico modello di Heisenberg $J_1-J_2$ in 1D e 2D, un sistema in cui i metodi standard di computazione della magic sono intrattabili.

Risultati

• Ensemble NQS Casuale: L'analisi di un ensemble di RBM casuali con entanglement a legge di volume rivela che la densità media di SRE ($m_2 = M_2/N$) converge a un valore finito e non nullo ($m_2^* \approx 0.241$) nel limite termodinamico. Ciò conferma che le funzioni d'onda delle reti neurali codificano intrinsecamente la non-stabilizer-ness insieme all'entanglement.
• Modello $J_1-J_2$ 1D: Nella catena di spin 1D, la densità di SRE mostra un minimo al punto di Majumdar-Ghosh ($J_2 = J_1/2$). All'aumentare della dimensione del sistema, la densità di SRE si avvicina a zero in questo punto, in modo coerente con la nota natura stabilizer dello stato fondamentale di Majumdar-Ghosh (una sovrapposizione di singoletti dimerizzati).
• Modello $J_1-J_2$ 2D: Nel reticolo quadrato 2D, la densità di SRE mostra un netto calo vicino al regime di massima frustrazione ($J_2/J_1 \approx 0.6$). A differenza del caso 1D, il minimo rimane non nullo all'aumentare della dimensione del sistema. Questo comportamento è interpretato come evidenza di una fase Valence Bond Solid (VBS) esistente tra gli ordini Néel e antiferromagnetico a strisce, caratterizzata da una ridotta ma non nulla non-stabilizer-ness.

Significato e Rivendicazioni
Il documento afferma che combinando NQS con la stima Monte Carlo delle SRE, è possibile superare i limiti degli approcci allo stato dell'arte per il calcolo della magic. La metodologia consente l'indagine della non-stabilizer-ness in stati altamente entangled in arbitrarie dimensioni spaziali, un regime precedentemente inaccessibile. I risultati forniscono nuove intuizioni sulla relazione tra magic e fenomeni fisici, come le transizioni di fase e la frustrazione, suggerendo che la magic agisce come una risorsa distinta che può essere ridotta (ma non necessariamente eliminata) in specifiche fasi ordinate come la VBS. Gli autori pongono questo lavoro come un passo verso la comprensione del ruolo delle risorse quantistiche in scenari fisici complessi, notando come l'espressività degli NQS permetta loro di rappresentare stati vicini agli stati casuali di Haar, che possiedono l'entanglement e la non-stabilizer-ness massimali.