Sintesi Tecnica: Calcolo quantistico con l'ipotesi di termalizzazione degli autostati invece della preparazione della funzione d'onda

Enunciazione del Problema

Il documento affronta un collo di bottiglia significativo negli algoritmi quantistici per la risoluzione di problemi di algebra lineare della forma $\hat{A}x = b$. Sebbene si ipotizzi che i computer quantistici risolvano tali problemi in tempo polilogaritmico, i metodi attuali spesso si basano sulla preparazione della funzione d'onda per inizializzare uno stato di ingresso specifico $|\Psi\rangle$. L'autore sostiene che preparare una funzione d'onda generale su un computer quantistico è costoso in modo esponenziale, richiedendo tipicamente $O(N)$ operazioni (dove $N$ è la dimensione dello spazio di Hilbert), il che annulla il potenziale vantaggio esponenziale degli algoritmi quantistici. Il problema centrale è trovare un metodo per calcolare quantità di algebra lineare (come inverse di matrici, tracce o determinanti) che eluda la necessità di una elaborata preparazione della funzione d'onda specifica per lo stato.

Metodologia

La soluzione proposta, denominata ETH-Σ (Ipotesi di Termalizzazione degli Autostati - Somma), sostituisce la fase standard di preparazione della funzione d'onda con un processo di termalizzazione guidato dall'Ipotesi di Termalizzazione degli Autostati (ETH). La metodologia consta di tre componenti principali:

1. Termalizzazione a una Sovrapposizione Uguale:
   Invece di preparare uno stato specifico, l'algoritmo inizia con uno stato arbitrario, non autostato, $|r\rangle$ e lo evolve sotto un operatore di evoluzione temporale $e^{-i\hat{A}t}$. Il documento ipotizza che per sistemi non integrabili (caotici), lo stato mediato nel tempo di questa evoluzione approssimi una sovrapposizione uguale di tutti gli autostati di $\hat{A}$.

   • Ciò si basa sull'ETH, che suggerisce che i singoli autostati di sistemi caotici agiscono come ensemble termici.
   • Per garantire la "piena ergodicità" (probabilità uguale su tutto lo spazio di Hilbert, non solo in un settore di simmetria), l'autore suggerisce di modificare l'operatore $\hat{A}$ con "colpi" (perturbazioni) per rompere le simmetrie e indurre caos quantistico, assicurando che il sistema esplori l'intero spazio.

2. Stima di Fase Quantistica (QPE) per la Ponderazione:
   Una volta che il sistema è termalizzato (in media), l'algoritmo applica la subroutine di Stima di Fase Quantistica. Questa mappa gli autostati $|k\rangle$ di $\hat{A}$ su un registro ausiliario contenente i loro corrispondenti autovalori $E_k$.

   • La QPE permette all'algoritmo di accedere agli autovalori in sovrapposizione.
   • Un operatore diagonale $\hat{\Upsilon}$ viene applicato al registro ausiliario per ponderare questi autovalori mediante una funzione $f(E_k)$. Ad esempio, per calcolare la matrice inversa, $f(E_k) = 1/E_k$.

3. Formulazione Duale (Operatore vs. Vettore):
   Il documento presenta l'algoritmo in due forme:

   • Forma Vettoriale: Richiede uno stato iniziale $|r\rangle$ e un vettore target $|\Phi\rangle$. Calcola la sovrapposizione $|\langle \Phi | \psi \rangle|^2$.
   • Forma Operazionale (Proposta Primaria): Riformula il problema utilizzando matrici densità. L'ingresso è trattato come un operatore $\hat{\Delta} = |\Phi\rangle\langle\Phi|$ (o un operatore generale). L'algoritmo calcola il valore di aspettazione $\langle \hat{\Delta} \otimes \hat{\Upsilon} \rangle$ sull'insieme mediato nel tempo. Questa forma evita la necessità di preparare funzioni d'onda specifiche sul computer quantistico, poiché l'"ingresso" è definito classicamente o tramite operatori semplici (come l'identità o le porte di Hadamard).

Contributi Chiave

• Algoritmo ETH-Σ: La proposta di un nuovo quadro algoritmico che sfrutta la termalizzazione naturale dei circuiti quantistici per generare una sovrapposizione uguale di autostati, sostituendo efficacemente la fase di preparazione della funzione d'onda $O(N)$.
• Formulazione Duale: La derivazione di un metodo per calcolare funzioni di algebra lineare (come $\hat{A}^{-1}$, $\text{Tr}(\hat{A})$, $\log \det(\hat{A})$) trattando l'ingresso come un operatore $\hat{\Delta}$ piuttosto che come un vettore di stato, riducendo così l'overhead dell'inizializzazione dello stato.
• Piena Ergodicità tramite Colpi: La suggestione che "colpire" il sistema (aggiungendo perturbazioni per rompere le simmetrie) garantisce che la termalizzazione copra l'intero spazio di Hilbert, soddisfacendo la condizione di piena ergodicità necessaria affinché l'algoritmo funzioni come un risolutore generale di algebra lineare.
• Recupero dell'Ensemble Microcanonico: L'argomentazione secondo cui la precisione finita nella QPE recupera efficacemente un ensemble microcanonico (sommando su una finestra di stati), giustificando l'uso dell'ETH in un contesto computazionale in cui i limiti temporali infiniti esatti non sono fisicamente realizzabili.

Risultati ed Esempi

Il documento fornisce derivazioni teoriche ed esempi numerici (utilizzando la libreria DMRjulia) per dimostrare la fattibilità dell'approccio:

• Termalizzazione di Piccoli Operatori: Un test numerico con $\hat{A} = \sigma_z$ ha mostrato che uno stato casuale si termalizza al valore atteso della traccia sull'insieme, verificato su 100+ stati iniziali.
• Applicazioni di Algebra Lineare: Il documento delinea come ETH-Σ possa calcolare:
  • La traccia di una matrice ($\text{Tr}(\hat{A})$).
  • L'inversa di una matrice ($\hat{A}^{-1}$).
  • Il logaritmo del determinante ($\log \det(\hat{A})$).
  • Il gradiente del logaritmo-determinante (rilevante per la termodinamica e le funzioni di partizione).
• Complessità: Si afferma che l'algoritmo scala come $O(\frac{\tau}{\epsilon^\gamma} \log^2 N)$, dove $\tau$ è il tempo di termalizzazione, $\epsilon$ è la precisione e $N$ è la dimensione dello spazio di Hilbert. Si ipotizza che il tempo di termalizzazione $\tau$ sia polilogaritmico per sistemi non integrabili.

Significato e Affermazioni

Il documento afferma che questo approccio offre una soluzione in tempo polilogaritmico per una vasta classe di problemi di algebra lineare rimuovendo la "questione evidente" della preparazione della funzione d'onda.

• Modestia sulla Dimostrazione: L'autore dichiara esplicitamente che l'Ipotesi di Termalizzazione degli Autostati (ETH) è una congettura, non un teorema dimostrato per sistemi generali. Di conseguenza, il risultato principale (Proposizione 1) è presentato come una proposizione basata sull'ETH, supportata da una giustificazione della Teoria delle Matrici Casuali (RMT), piuttosto che come una dimostrazione matematica rigorosa.
• Limitazioni: Il documento riconosce che l'algoritmo dipende dal fatto che il sistema sia non integrabile. Osserva che i sistemi Localizzati a Molti Corpi (MBL), che non si termalizzano, impedirebbero all'algoritmo di funzionare. Tuttavia, l'autore suggerisce che l'MBL non sia il caso generale per i sistemi fisici di interesse.
• Fonti di Errore: Il documento identifica il numero di condizione della matrice e la precisione della QPE come le principali fonti di errore. Osserva che, sebbene la preparazione dello stato iniziale venga rimossa, la QPE richiede ancora risorse significative per alta precisione, in particolare per matrici con grandi numeri di condizione (piccoli autovalori).

In sintesi, il documento propone un cambiamento di paradigma nell'algebra lineare quantistica: invece di preparare uno stato specifico per risolvere un problema, si permette al circuito quantistico di termalizzare in uno stato "massimamente misto" di autostati e si utilizza la QPE per estrarre la funzione algebrica lineare desiderata. Questo approccio mira a bypassare il costo esponenziale della preparazione dello stato, a condizione che il sistema soddisfi l'Ipotesi di Termalizzazione degli Autostati.