Deferred Cyclotomic Representation for Stable and Exact Evaluation of q-Hypergeometric Series

1. Il Problema: Sfide Computazionali nelle Serie q-Ipergeometriche

Le serie q-ipergeometriche finite sono fondamentali in teoria delle rappresentazione, topologia quantistica e fisica matematica (ad esempio, per calcolare coefficienti di ricoppiamento come i simboli 6j quantistici e invarianti di nodi). Tuttavia, la loro valutazione numerica e simbolica presenta due ostacoli critici:

• Espansione Esplosiva delle Espressioni (Expression Swell): Gli approcci simbolici esatti trattano le serie come funzioni razionali o polinomiali dense nel parametro di deformazione $q$. Questo porta a una crescita rapida della dimensione delle espressioni intermedie durante le operazioni algebriche (somma e prodotto), rendendo i calcoli proibitivi in termini di memoria e tempo.
• Instabilità Numerica e Cancellazione Catastrofica: La valutazione numerica in virgola mobile soffre di cancellazione catastrofica. Le serie sono somme alternate di termini che crescono esponenzialmente, mentre il risultato finale è spesso molto piccolo. Questo crea un numero di condizione elevato ($\kappa$), dove la sottrazione di numeri grandi e quasi uguali porta a una perdita massiccia di precisione, rendendo i risultati inaffidabili anche in doppia precisione per spin elevati.

Il problema di fondo non è solo algoritmico, ma rappresentazionale: le rappresentazioni convenzionali nascondono la struttura moltiplicativa intrinseca dei fattoriali quantistici, costringendo le cancellazioni a avvenire solo dopo l'espansione completa.

2. Metodologia: Rappresentazione Ciclotomica Differita (DCR)

L'autore introduce la Deferred Cyclotomic Representation (DCR), un nuovo paradigma che separa la struttura algebrica dalla sua valutazione numerica.

• Fattorizzazione Ciclotomica: Invece di espandere i numeri e i fattoriali quantistici in polinomi in $q$, la DCR li scompone nei loro fattori ciclotomici irriducibili $\Phi_d(q^2)$. Ogni numero intero quantistico $[n]_q$ e fattoriale $[n]_q!$ è espresso come prodotto di potenze di $q$ e dei polinomi ciclotomici $\Phi_d$.
• Vettori di Esponenti Sparsi: La serie viene codificata non come una funzione, ma come un oggetto combinatorio discreto: un vettore di esponenti interi sparsi. Ogni termine della somma è rappresentato da un vettore che indica la potenza di ciascun generatore ciclotomico.
• Aritmetica Intera: In questa rappresentazione, le operazioni moltiplicative (moltiplicazione, divisione, fattoriali) si riducono a semplici addizioni e sottrazioni di vettori di interi. Le cancellazioni tra numeratore e denominatore avvengono esattamente a livello degli esponenti, prima di qualsiasi valutazione numerica.
• Fase di Compilazione e Proiezione:
  1. Compilazione: Si costruisce una volta sola l'oggetto combinatorio (DCR) che codifica la struttura della serie, indipendente dal valore di $q$.
  2. Proiezione: La valutazione in un campo specifico (es. radici dell'unità, numeri complessi, limite classico $q \to 1$) avviene applicando un omomorfismo di anelli (mappa di proiezione) che sostituisce i generatori ciclotomici con i loro valori numerici.

3. Contributi Chiave

1. Rappresentazione Ciclotomica: Dimostrazione che le ampiezze q-ipergeometriche ammettono una rappresentazione in una base di esponenti ciclotomici sparsi, rivelando la struttura moltiplicativa nascosta.
2. Valutazione Differita: Introduzione della DCR come oggetto combinatorio che separa la compilazione algebrica dalla valutazione numerica, permettendo la riutilizzazione dello stesso oggetto per diversi valori di $q$.
3. Riduzione della Complessità: La costruzione della DCR scala quasi linearmente con la lunghezza della somma, evitando l'esplosione delle espressioni tipica delle rappresentazioni polinomiali.
4. Stabilità Numerica: Esecuzione di cancellazioni algebriche esatte prima della valutazione numerica. Questo riduce drasticamente il range dinamico delle quantità intermedie, mitigando l'amplificazione degli errori di cancellazione.
5. Unificazione Strutturale: La DCR offre una prospettiva unificata dove proprietà come l'ammissibilità alle radici dell'unità e il limite classico emergono come proprietà intrinseche dello stesso oggetto combinatorio.

4. Risultati Sperimentali

L'autore ha validato il framework utilizzando il simbolo quantistico 6j come caso di test, implementato nel pacchetto Julia QRecoupling.jl.

• Uso della Memoria:
  • La costruzione DCR scala linearmente ($O(j)$) con lo spin $j$, occupando meno di 51 KB per $j=120$.
  • L'approccio convenzionale "eager" (CAS) soffre di esplosione delle espressioni, superando i 50 GB di memoria per $j=120$.
• Stabilità Numerica:
  • La DCR comprime il range dinamico delle quantità intermedie di oltre 8000 ordini di grandezza rispetto ai metodi convenzionali.
  • In precisione doppia (Float64), il metodo convenzionale perde affidabilità e segno per $j \approx 90$, mentre la DCR mantiene accuratezza e segno corretto fino a spin molto più elevati, ritardando l'insorgenza dell'errore catastrofico.
• Efficienza Temporale:
  • Sebbene la costruzione iniziale abbia un costo, la valutazione successiva (proiezione) è estremamente rapida.
  • Per valutazioni ripetute su diversi parametri (es. scansione di $q$), la DCR offre vantaggi significativi grazie all'amortizzazione del costo di compilazione, permettendo esplorazioni efficienti di spazi parametrici continui.

5. Significato e Implicazioni

La Rappresentazione Ciclotomica Differita rappresenta un cambiamento concettuale fondamentale nell'analisi computazionale delle ampiezze quantistiche:

• Precondizionatore Algebrico: La DCR agisce come un precondizionatore universale che risolve le complessità algebriche prima che entrino in gioco l'aritmetica a virgola mobile o i sistemi simbolici pesanti.
• Scalabilità per la Fisica Teorica: Rende trattabili calcoli su larga scala in modelli di stato-somma (come la funzione di partizione di Turaev-Viro) e spin foam, dove la separazione tra struttura locale e somma globale è cruciale.
• Nuova Prospettiva Teorica: Suggerisce che le ampiezze quantistiche a diversi valori di deformazione non sono oggetti distinti, ma proiezioni di un'unica struttura combinatoria sottostante. Questo apre nuove strade per lo studio delle identità di coerenza (come l'identità del pentagono) a livello di dati di esponente, indipendentemente dal campo di valutazione.

In sintesi, il lavoro dimostra che allineare la rappresentazione dei dati alla struttura moltiplicativa intrinseca del problema (fattorizzazione ciclotomica) risolve simultaneamente problemi di stabilità numerica, efficienza computazionale e chiarezza teorica.