Exploring Variational Entanglement Hamiltonians

Sintesi Tecnica: Esplorazione degli Hamiltoniani di Entanglement Variazionali

Definizione del Problema
La caratterizzazione di stati quantistici complessi a molti corpi, in particolare la loro struttura di entanglement, è una sfida centrale nella fisica della materia condensata e nello sviluppo di dispositivi quantistici. Mentre i metodi numerici classici spesso falliscono per stati altamente entangled, gli algoritmi quantistici variazionali (VQA) offrono una via per esplorare questi sistemi. Un focus specifico è l'apprendimento dell'Hamiltoniano di Entanglement (EH), $\hat{H}_A$, che definisce la matrice di densità ridotta di un sottosistema tramite $\hat{ \rho }_A = e^{-\hat{H}_A}$. L'EH e il suo spettro (lo Spettro di Entanglement, ES) fungono da diagnostici critici per le fasi topologiche e le transizioni di fase quantistica.

Gli approcci variazionali attuali, come quelli proposti da Kokail et al., si basano sul teorema di Bisognano–Wichmann (BW), il quale postula che l'EH sia una versione spazialmente deformata dell'Hamiltoniano del sistema. Tuttavia, questo teorema è esatto solo per le teorie quantistiche di campo (QFT) relativistiche e funge meramente da approssimazione per i modelli su reticolo. Di conseguenza, i metodi esistenti affrontano tre sfide primarie:

1. Errori di Approssimazione: La forma BW potrebbe non catturare accuratamente l'EH nei sistemi su reticolo, portando a una scarsa fedeltà nella risoluzione di gap spettrali e degenerazioni.
2. Overhead di Misurazione: L'ottimizzazione della funzione di costo richiede l'evoluzione temporale e misurazioni in molteplici istanti temporali, comportando costi di risorse significativi.
3. Ambiguità di Convergenza: Non è chiaro se un valore basso della funzione di costo garantisca la convergenza in termini di distanza di traccia o se riproduca fedelmente le caratteristiche spettrali.

Metodologia
Gli autori analizzano le proprietà di convergenza dell'algoritmo variazionale per l'apprendimento dell'EH utilizzando cicli di feedback quantistico-classico ibridi (QCFL). Lo studio impiega simulazioni classiche di modelli di spin unidimensionali, specificamente il Modello di Ising in Campo Trasverso (TFIM) e il modello XXZ, confrontando i risultati con calcoli numericamente esatti.

Componenti metodologiche chiave includono:

• Riformulazione della Funzione di Costo: Gli autori reinterpretano la funzione di costo discreta, che somma le deviazioni al quadrato degli osservabili nel tempo, come un integrale continuo. Ciò consente l'applicazione di schemi di quadratura iterativi (ad esempio, Gauss-Legendre, Gauss-Kronrod, Tanh-sinh) piuttosto che semplici regole di integrazione per punto a destra.
• Variazioni dell'Ansatz: Vengono confrontati due ansatz variazionali:
  • Ansatz di tipo BW ($\hat{H}^{BW}_A$): Segue il teorema BW, assegnando un parametro variazionale per sito a un blocco quasi-locale.
  • Ansatz che viola il BW ($\hat{H}^{BWV}_A$): Un ansatz più espressivo che non aderisce strettamente alla deformazione spaziale BW, permettendo molteplici parametri per sito (ad esempio, accoppiamenti distinti per diversi termini di interazione).
• Modellazione del Rumore: Le simulazioni incorporano rumore gaussiano per modellare le imperfezioni dei dispositivi (errori di lettura e di gate) e il rumore di campionamento, analizzando la robustezza di diversi schemi di integrazione in queste condizioni.
• Analisi della Trainabilità: Lo studio investiga il problema dei "plateau barren" (plateau sterili) analizzando la media e la varianza dei gradienti per entrambi gli ansatz al variare delle dimensioni del sistema.

Contributi Chiave e Risultati

1. Superiorità degli Schemi di Quadratura Avanzati:
   L'interpretazione della funzionale di costo come un integrale permette l'uso di sofisticati schemi di quadratura. Gli autori dimostrano che metodi come Gauss-Legendre e Gauss-Kronrod convergono al livello del rumore con significativamente meno punti temporali (ad esempio, 5 punti) rispetto alla regola del punto a destra, che richiede circa 50 volte più passi per raggiungere la stessa precisione. Questa riduzione nelle misurazioni richieste persiste anche in presenza di rumore, riducendo l'overhead di misurazione di oltre un ordine di grandezza.

2. Miglioramento della Trainabilità e dell'Accuratezza tramite l'Ansatz che Viola il BW:
   Contrariamente all'aspettativa che l'aumento dell'espressività conduca a plateau barren, l'ansatz che viola il BW ($\hat{H}^{BWV}_A$) mostra una migliore trainabilità. La media e la varianza dei gradienti sono significativamente potenziate rispetto allo standard ansatz BW, indicando una riduzione della concentrazione della funzione di perdita.

   • Accuratezza: Per i modelli TFIM e XXZ, l'ansatz che viola il BW cattura le deviazioni dalla forma BW. Nel TFIM, esso corrisponde perfettamente ai parametri ottenuti tramite la funzione di costo del commutatore, mentre l'ansatz BW mostra deviazioni significative, particolarmente sotto condizioni di contorno periodiche.
   • Ricostruzione Spettrale: L'ansatz che viola il BW ricostruisce i rapporti universali dei bassi livelli dello spettro di entanglement con una precisione oltre tre volte superiore rispetto all'ansatz BW.

3. Analisi di Convergenza e Fedeltà:
   Gli autori stabiliscono che un basso valore della funzione di costo non garantisce necessariamente un'alta fedeltà in termini di distanza di traccia. Tuttavia, la funzione di costo riproduce fedelmente le degenerazioni e i gap spettrali, che sono essenziali per le applicazioni alle fasi topologiche. L'algoritmo identifica con successo i punti critici quantistici (ad esempio, $\Gamma=1$ in TFIM, $\Delta=-1$ in XXZ) dove la funzione di costo si avvicina a zero, corrispondendo a stati fondamentali non entangled o critici.

4. Estrapolazione al Limite Termodinamico:
   Estrapolando i risultati al limite termodinamico per il modello XXZ a $\Delta = -0.5$, lo studio conferma una chiara discrepanza tra i parametri ottimali e la previsione BW. Le discrepanze osservate sono circa due volte inferiori a quelle riportate nella letteratura precedente, suggerendo che il metodo variazionale fornisca una descrizione più raffinata dell'EH.

Significatività
Il documento fornisce un'analisi rigorosa dell'apprendimento variazionale dell'Hamiltoniano di Entanglement, offrendo miglioramenti pratici per l'implementazione su dispositivi quantistici a scala intermedia rumorosi (NISQ). Riformulando la funzione di costo come un integrale, gli autori dimostrano una via per ridurre drasticamente i costi di misurazione. Inoltre, l'introduzione di un ansatz modificato, che viola il BW, migliora sia la trainabilità che l'accuratezza dell'Hamiltoniano appreso, consentendo una migliore risoluzione delle caratteristiche spettrali senza richiedere risorse esponenziali. Il lavoro chiarisce i limiti del teorema BW nei modelli su reticolo e stabilisce che, sebbene bassi valori della funzione di costo non assicurino la fedeltà globale dello stato, essi sono indicatori affidabili di gap spettrali e degenerazioni cruciali per identificare le fasi topologiche.