Linear Time & Storage Simulation of Non-Clifford Circuits via Symmetric Cartesian Collapse: A Trajectory-Based Solution to the Exponential Bottleneck

Sintesi Tecnica: Simulazione di Circuiti Non-Clifford in Tempo e Spazio Lineari tramite il Collasso Cartesiano Simmetrico

Problematica
Il documento identifica due colli di bottiglia esponenziali primari che affliggono la simulazione classica dei circuiti quantistici universali:

1. Il Collo di Bottiglia delle Rotazioni Non-Clifford: Mentre le operazioni Clifford sono tracciabili efficientemente (teorema di Gottesman-Knill), le rotazioni non-Clifford (ad esempio, gate T, $R_z(\theta)$ arbitrari) introducono fattori di fase complessi. Nei framework standard dello stato-vettore, queste operazioni costringono le rappresentazioni sparse in array densi, facendo aumentare i requisiti di memoria per il tracciamento degli "stati magici" (magic states).
2. Il Collo di Bottiglia dell'Entanglement Multi-Qubit: I simulatori standard si affidano ai prodotti tensoriali per rappresentare stati entangled, richiedendo il tracciamento di $2^n$ ampiezze complesse. Ciò porta a fallimenti catastrofici della memoria su hardware classico oltre i circa 50 qubit.

I simulatori convenzionali "Dense Matrix" tentano di calcolare tutti i risultati probabilistici simultaneamente, il che, sostiene l'autore, è un malinteso fondamentale della natura fisica dell'hardware quantistico, poiché ignora il potenziale della modellazione di singole traiettorie discrete.

Metodologia: Collasso Cartesiano Simmetrico (SCC)
La soluzione proposta, il Collasso Cartesiano Simmetrico (SCC), sostituisce le matrici dense dello stato-vettore con un approccio basato su traiettorie utilizzando una lista di vettori spaziali 3D. La metodologia si basa su tre pilastri fondamentali:

1. Rappresentazione Geometrica (Equivalenza di Coordinate):
   Invece di memorizzare ampiezze complesse in uno spazio di Hilbert $2^n$-dimensionale, il sistema rappresenta ogni qubit come un vettore reale $V_i = (x_i, y_i, z_i)^T$ all'interno di uno spazio euclideo 3D ($\mathbb{R}^3$). Gli stati della base computazionale mappano i poli dell'asse Z, mentre gli stati di sovrapposizione mappano gli assi X e Y. Ciò riduce l'overhead di memoria globale da $O(2^n)$ a $O(n)$.

2. Rotazioni Geometriche Unificate:
   I gate a singolo qubit (sia Clifford che non-Clifford) vengono eseguiti non tramite moltiplicazione di matrici unitarie, ma come pure rotazioni vettoriali euclidee 3D utilizzando la Formula di Rotazione di Rodrigues. Trattando tutti i gate come rotazioni vettoriali geometriche attorno a specifici assi, le operazioni non-Clifford ereditano lo stesso footprint di memoria lineare e il tempo di esecuzione dei gate Clifford standard, eliminando la penalità di complessità degli "stati magici".

3. Entanglement Bidirezionale e Phase Kickback:
   Le operazioni di entanglement multi-qubit (ad esempio, CNOT) sono modellate come operazioni di traiettoria localizzate e bidirezionali, piuttosto che come prodotti tensoriali globali:

   • Azione del Gate in Avanti (Forward Gate Action): La coordinata Z locale del qubit di controllo determina se il gate target viene attivato.
   • Phase Kickback all'Indietro (Backward Phase Kickback): L'allineamento geometrico del qubit target con l'asse del gate esercita una rotazione di feedback (phase kickback) sul qubit di controllo. Ciò preserva le correlazioni senza il tracciamento della fase globale.

4. Risoluzione Simmetrica su 3 Assi (Il Collasso):
   Per prevenire la perdita di informazioni durante i passaggi intermedi, il framework introduce il Postulato del Vertice Cartesiano. Invece di proiettare gli stati su un singolo asse Z (il che distruggerebbe le informazioni di fase X/Y), il sistema risolve i vettori continui simmetricamente su tutti e tre gli assi contemporaneamente. Lo stato collassa verso il vertice più vicino di un cubo delimitatore $V_{cartesian} = (\pm 1, \pm 1, \pm 1)$.

   • Questa risoluzione è bloccata sulla probabilità (probability-locked): La probabilità di collassare a $+1$ o $-1$ su qualsiasi asse è determinata dal valore di aspettativa pre-collasso di quella coordinata.
   • Questo meccanismo preserva la "storia direzionale" e la coerenza di fase dello stato in uno spazio discreto di interi.

Contributi Chiave e Risultati
Il documento presenta un framework teorico e benchmark empirici che dichiarano di affrontare il problema della scalabilità esponenziale:

• Verifica della Scalabilità Lineare: L'autore dimostra che l'impronta di memoria scala strettamente linearmente ($O(n)$) con il numero di qubit, indipendentemente dalla profondità dei gate o dalla presenza di gate non-Clifford.
• Il Test del Doppio Hadamard: Viene presentato un test di reversibilità in cui uno stato $|0\rangle$ subisce un gate di Hadamard, un collasso stocastico a 3 assi e un secondo Hadamard. I risultati mostrano che il sistema riesce a tornare allo stato $|0\rangle$, provando che il collasso stocastico intermedio preserva la coerenza di fase se l'informazione a 3 assi viene mantenuta.
• Bell Test Parallelo a 1000 Qubit: Il simulatore è stato eseguito su un normale PC consumer (8GB di RAM) per simulare 1.000 qubit (500 coppie entangled). L'esperimento ha comportato l'esecuzione di questo circuito a 1.000 qubit attraverso 1.000 traiettorie indipendenti per raccogliere le frequenze finali.
  • Preservazione dell'Entanglement: Il simulatore ha mantenuto una forte correlazione tra le coppie entangled, con la frequenza empirica di stati misti non validi (ad esempio, $|01\rangle$ o $|10\rangle$) registrata come 0,00% (un valore arrotondato) nei dati riportati.
  • Accuratezza: Le frequenze empiriche per vari angoli di rotazione ($\theta = 30^\circ, 45^\circ, 60^\circ$) hanno corrisposto da vicino alle previsioni della meccanica quantistica teorica con piccole deviazioni (ad esempio, 84,9% rispetto a 85,36% per $\theta=45^\circ$).
• Efficienza Non-Clifford: I benchmark hanno confermato che i circuiti saturi di gate T e rotazioni arbitrarie scalano in modo identico ai circuiti solo-Clifford, mostrando un picco esponenziale di costi computazionali assente.

Significatività e Rivendicazioni
Il documento afferma che il framework SCC sposta fondamentalmente il paradigma della simulazione quantistica dal "calcolare tutte le possibilità" al "tracciare singole traiettorie bloccate sulla probabilità".

• Rompere la Barriera dei 50 Qubit: L'autore asserisce che questo metodo permette di simulare oltre 1.000 qubit su una macchina con 8GB di RAM, notando che l'approccio può raggiungere questo risultato in "meno di dieci secondi", sebbene il tempo di esecuzione specifico per il benchmark a 1.000 qubit non sia dettagliato esplicitamente nel testo.
• Invertire il Collo di Bottiglia: Il lavoro sostiene che il collo di bottiglia esponenziale della memoria è un artefatto del metodo di simulazione, non un limite fisico. Imponendo un collasso simmetrico a 3 assi, il framework preserva la coerenza quantistica senza ricorrere a matrici di densità globali.
• Potenziale Ibrido: Il modello basato su traiettorie suggerisce una nuova architettura in cui gli algoritmi classici possono interagire direttamente con i gate quantistici, potenzialmente semplificando operazioni complesse come l'aritmetica modulare nell'algoritmo di Shor, trattandole come funzioni classiche integrate nella traiettoria quantistica.

Limitazioni Riconosciute
Il documento riconosce con modestia che, sebbene l'SCC elimini i requisiti di memoria esponenziali, esso trasferisce la sfida computazionale alla costruzione dei gate. Le operazioni che non corrispondono naturalmente a semplici rotazioni geometriche (come la Trasformata di Fourier Quantistica o l'aritmetica modulare) devono essere decomposte in sequenze di gate di rotazione fondamentali, richiedendo metodi di progettazione efficienti per i gate compositi. Il framework non elimina tutte le difficoltà, ma le ricolloca dalla memorizzazione alla costruzione.