The Signal
Gli autori di Arclight compilano filtri a tempo immaginario riutilizzabili
Uno studio di Hengyue Li e colleghi descrive un approccio compilato all’evoluzione probabilistica a tempo immaginario, in cui la dimensione del circuito per tentativo resta invariata al variare del tempo di evoluzione. I benchmark mostrano
Quantum.world Team · Scritto con l’IA · verificato ·
«I test numerici mostrano un costo online inferiore rispetto ai metodi basati su Pauli termine per termine, a parità di soglia di accuratezza.»
Hengyue Li e coautori, gli autori dello studio
Una base compilata sostituisce i passi temporali ripetuti
Il 29 ottobre Hengyue Li e colleghi hanno pubblicato su arXiv lo studio «Probabilistic imaginary-time evolution via compiled diagonal representations». Il metodo, che chiamano fast imaginary-time evolution (FITE), è rivolto alle simulazioni quantistiche che usano l’evoluzione a tempo immaginario per sopprimere le componenti a energia più alta e preparare stati più vicini allo stato fondamentale di un sistema. Poiché l’operazione non è unitaria, il circuito proposto usa un’ancilla e la postselezione: i tentativi falliti vengono scartati.
FITE compila dapprima una trasformazione di base approssimata per un Hamiltoniano, poi la esprime mediante stringhe Pauli-Z che commutano tra loro. Ogni filtro può coprire l’intero tempo immaginario richiesto, anziché ripetere filtri brevi attraverso molti passi di una formula di prodotto. Per una rappresentazione compilata fissata, la variazione del tempo di evoluzione modifica gli angoli dei filtri, non la struttura del circuito né il numero di gate per tentativo; la rappresentazione può inoltre essere riutilizzata per diversi stati di ingresso.
Gli autori descrivono la compilazione della base e il recupero dei coefficienti come operazioni offline. Il loro metodo proietta l’Hamiltoniano fisico sui termini diagonali mantenuti per ricavare i coefficienti. I principali confronti numerici usano però una scorciatoia basata sulla conversione di fase per ottenere quei coefficienti, una distinzione importante per interpretare i risultati dei benchmark.
Il numero di gate varia tra tre modelli di piccole dimensioni
I test comprendono un modello di Hubbard a due siti codificato in due qubit, una catena XY aperta a cinque qubit e una catena XYZ a tre qubit. I ricercatori confrontano FITE con filtri di Pauli termine per termine del primo e del secondo ordine e con un filtro raggruppato a due siti. I principali benchmark dei circuiti sono privi di rumore, usano stati di ingresso casuali secondo la misura di Haar complessa e contano i gate CX logici; escludono la preparazione degli stati di ingresso, la compilazione offline, la stima dei coefficienti e l’instradamento sull’hardware.
A una soglia comune di infedeltà media dell’uno per cento, FITE usa 12, 58 e 50 gate CX per ogni tentativo completo rispettivamente negli esempi Hubbard, XY e XYZ, indipendentemente dal tempo immaginario. A un tempo di evoluzione β = 1,1, le probabilità medie di postselezione riportate sono rispettivamente circa 21, 263 e 123 volte quelle del metodo Pauli di primo ordine usato come riferimento. I miglioramenti nel successo relativo non garantiscono un’elevata probabilità di successo assoluta: per XYZ, a quel tempo FITE riesce solo in circa 0,000409 dei tentativi.
Per valutare l’accuratezza, lo studio testa 16.384 stati di ingresso per modello e fissa la soglia di infedeltà media usando una stima più 1,96 errori standard. La soglia si applica all’insieme campionato di stati di ingresso, non a ogni possibile stato di ingresso. Gli autori riferiscono inoltre che ridurre l’intervallo di compilazione può diminuire gli errori, mentre l’errore residuo nei risultati principali è dominato dalla distorsione del risultato bersaglio Trotter del primo ordine.
I nuovi tentativi e i filtri raggruppati cambiano il confronto
Il numero di gate per tentativo rappresenta solo una parte del costo quando la postselezione può fallire. A β = 1,1 nell’esempio XYZ, il costo atteso di FITE per ogni risultato accettato è di circa 236.000 gate CX, contro circa 3.300 per il filtro raggruppato usato come riferimento. Quest’ultimo usa un numero leggermente maggiore di gate per tentativo completo — 56 contro i 50 di FITE — ma la sua maggiore probabilità di successo compensa ampiamente la differenza.
A β = 5, il costo atteso di FITE per ogni risultato XYZ accettato sale a 7,21 × 1014 gate CX, anche se ogni tentativo completo continua a usarne 50. Il risultato illustra perché una dimensione del circuito indipendente dal tempo non dimostri di per sé che una simulazione sia meno costosa. Nel confronto degli autori, i costi per risultato accettato sono inferiori a quelli dei metodi di riferimento termine per termine del primo e del secondo ordine per tutti i tempi campionati, e inferiori a quelli del filtraggio raggruppato per XY, ma non per ogni modello e metodo di riferimento.
Il test di scalabilità rimane un campanello d’allarme
Lo studio non dimostra una scalabilità efficiente verso sistemi più grandi. Nei test sulle dimensioni, le configurazioni XYZ a quattro e cinque qubit restano al di sopra dell’uno per cento di infedeltà media nonostante circuiti di base più grandi e ricerche di ottimizzazione; gli autori affermano che questi test non dimostrano una scalabilità efficiente. La validità pratica di FITE dipende quindi dalla possibilità di trovare una base compilata sufficientemente accurata e con un circuito poco profondo, di mantenere le probabilità di postselezione a livelli utilizzabili e di riutilizzare il lavoro offline un numero di volte sufficiente a ripagarne il costo.
Per il benchmark XYZ a tre qubit con β = 5, il calcolo riportato nello studio stesso stima il costo atteso di FITE in 7,21 × 1014 gate CX per ogni risultato accettato. È il limite più evidente nei risultati riportati: un numero fisso di gate per tentativo non significa che il costo per ottenere uno stato con successo sia fisso o basso.