The Signal
Naceur, Wang e colleghi certificano i limiti dell’ottimizzazione quantistica
Un articolo pubblicato su Quantum presenta un metodo per trasformare i risultati approssimati della programmazione semidefinita in certificati esatti per i limiti nella teoria quantistica. Gli autori lo mettono alla prova sulle disuguaglian
Quantum.world Team · Scritto con l’IA · verificato ·
«Per affrontare questo problema, introduciamo un quadro metodologico che consente di ricavare da dati numerici inesatti limiti rigorosi e certificati per problemi di ottimizzazione non commutativa, e lo applichiamo a diversi problemi paradigmatici della teoria dell’informazione quantistica».
Scrivono gli autori: Younes Naceur, Jie Wang, Victor Magron e Antonio Acín, autori dell’articolo.
I risultati in virgola mobile possono non rispettare il limite
Pubblicato il 28 ottobre 2026, l’articolo affronta una lacuna in un metodo comunemente usato per calcolare i limiti nella teoria quantistica. La programmazione semidefinita può stimare limiti per problemi che coinvolgono operatori non commutativi, tra cui le massime violazioni delle disuguaglianze di Bell e le energie dei sistemi quantistici a molti corpi. I solutori, però, lavorano con numeri a precisione finita e i loro risultati possono non soddisfare esattamente i vincoli matematici.
Di conseguenza, quello che sembra un limite superiore o inferiore può rivelarsi non valido. Gli autori osservano che un limite energetico impreciso può compromettere anche i calcoli successivi, quando un risultato viene usato in un’altra ottimizzazione. Il loro metodo prende il risultato approssimato del solutore e lo trasforma in un certificato le cui condizioni possono essere verificate mediante aritmetica razionale esatta.
L’aritmetica razionale corregge il certificato
La procedura parte da una matrice di Gram numerica, usata per esprimere il risultato dell’ottimizzazione come somma di quadrati. Per prima cosa, gli autori arrotondano i suoi elementi a numeri razionali vicini. Poi proiettano la matrice sul sottospazio affine che soddisfa i vincoli di uguaglianza del certificato, prima di modificarla per ripristinarne la semidefinitezza positiva.
Dopo l’arrotondamento, queste operazioni impiegano aritmetica razionale esatta anziché un altro calcolo in virgola mobile. Il risultato è un certificato algebrico di un limite valido, non una semplice stima decimale prodotta dal solutore. Gli autori descrivono anche un ulteriore passaggio per rendere il limite più stringente nei casi in cui la matrice proiettata si trovi strettamente all’interno del cono delle matrici semidefinite positive.
I test sulle disuguaglianze di Bell rivelano limiti numerici non validi
Un esempio svolto mostra perché la distinzione è importante. Per la disuguaglianza di Bell CHSH, la stima di un solutore al secondo livello è circa 2,828427122879, leggermente inferiore al massimo noto, 2√2. Non è quindi un limite superiore valido. Il risultato razionalizzato dell’articolo è circa 2,828427125402, superiore al massimo e dunque valido.
Gli autori hanno inoltre esaminato 88 disuguaglianze di Bell con due parti e due possibili esiti, a diversi ordini di rilassamento. Nei casi B2 e B3 usati per il confronto, erano non validi 6 limiti numerici su 20 per B2 e 26 su 66 per B3; tutti i limiti razionalizzati restavano limiti superiori validi rispetto ai valori di riferimento. Le versioni sparse del metodo spesso riducevano la correzione necessaria per certificare un limite, anche se il risultato dipendeva dall’ordine di rilassamento e dalla struttura del problema.
I test sulle catene di spin mostrano il compromesso computazionale
Il gruppo ha applicato il metodo ai limiti dell’energia dello stato fondamentale di una catena di Heisenberg J1–J2, usando calcoli che sfruttano le simmetrie per catene fino a 50 siti. I limiti certificati concordavano con i limiti superiori ottenuti mediante calcoli con il gruppo di rinormalizzazione della matrice densità. In questo test, gli autori hanno riscontrato che la correzione necessaria per passare dai limiti numerici a quelli razionali diminuiva al crescere della catena, ma sfruttare le simmetrie aumentava anche il costo computazionale della certificazione.
L’approccio non rende più stringente ogni limite: la certificazione può indebolire un risultato numerico e matrici di Gram più grandi possono aumentare questa perdita. L’articolo avverte inoltre che le dimensioni delle matrici della gerarchia crescono rapidamente con l’ordine di rilassamento, il che può peggiorare i limiti certificati anche quando si tentano ordini superiori. Per i calcoli di osservabili diversi dall’energia dello stato fondamentale, gli autori affermano che il metodo richiede prima limiti energetici razionali e certificati; stabilire limiti superiori variazionali certificati esula dall’ambito dell’articolo.