The Signal
Il controesempio di Yang smentisce una congettura sull’ottimalità dei canali quantistici
Un articolo di Jianting Yang, pubblicato su Quantum il 28 ottobre 2026, presenta un controesempio in due dimensioni a un criterio di verifica dell’ottimalità proposto da Bryan Coutts, Mark Girard e John Watrous. L’esempio mostra che un calc
Quantum.world Team · Scritto con l’IA · verificato ·
Un canale quantistico ottimale può non superare un test concepito per certificarne l’ottimalità. In un articolo pubblicato su Quantum il 28 ottobre 2026, Jianting Yang presenta un controesempio esplicito a una congettura su quando un calcolo spettrale possa certificare il canale migliore per un compito di trasformazione di stati.
«Costruendo un controesempio in spazi di Hilbert a 2 dimensioni, confutiamo questa congettura», scrive Jianting Yang. Il risultato riguarda uno specifico test proposto, non l’impiego più generale dell’ottimizzazione convessa o dei certificati duali nell’informazione quantistica.
Il problema emerge quando la matrice dell’errore è singolare
Il problema di ottimizzazione consiste nel determinare quale canale quantistico trasformi meglio uno stato iniziale in uno stato obiettivo, misurando la discrepanza con la distanza di traccia. Nell’articolo del 2021 «Certifying optimality for convex quantum channel optimization problems», Bryan Coutts, Mark Girard e John Watrous hanno formulato condizioni per certificare l’ottimalità dei canali e proposto un test spettrale per questo problema di trasformazione.
Il test considera il segno degli autovalori della matrice dell’errore, ossia la differenza tra lo stato obiettivo e lo stato in uscita dal canale. Yang si concentra sul caso in cui tale matrice non è di rango pieno, cioè ha almeno un autovalore pari a zero. Il lavoro precedente aveva stabilito la validità del test quando la matrice dell’errore è di rango pieno; restava da capire se la condizione proposta continuasse a valere quando la matrice è singolare.
In presenza di un autovalore nullo, il sottodifferenziale della norma di traccia, ossia l’insieme degli operatori che possono fornire un certificato valido, non è più costituito da un unico elemento. Secondo la congettura, assegnare il valore zero al segno di ciascun autovalore nullo avrebbe comunque prodotto un test di ottimalità necessario e sufficiente. L’esempio di Yang mostra che questa particolare scelta può fallire, anche quando esiste un canale ottimale.
La simmetria riduce la ricerca a due parametri
Yang costruisce il controesempio introducendo una simmetria nel problema di trasformazione di stati. La riduzione trasforma una minimizzazione della norma nucleare su una matrice semidefinita positiva 4 per 4 in un programma lineare di dimensione inferiore. Nella verifica finale, le soluzioni diagonali ammissibili sono descritte da due parametri reali, ciascuno compreso tra zero e uno.
La soluzione costruita raggiunge un limite inferiore della funzione obiettivo ed è quindi ottimale, scrive Yang. Eppure il suo operatore ottenuto dal segno degli autovalori non soddisfa le condizioni di certificazione formulate nella congettura. L’articolo riferisce che i metodi numerici hanno contribuito a trovare l’esempio, mentre la verifica della sua ottimalità è analitica.
Il fallimento di un certificato non esclude gli altri
Il controesempio limita ciò che si può dedurre dallo spettro di una matrice dell’errore non di rango pieno: quel calcolo, da solo, non produce sempre un certificato duale valido. L’articolo di Yang afferma che un certificato valido potrebbe invece trovarsi altrove nell’insieme del sottodifferenziale. Non dimostra che sia impossibile certificare l’ottimalità dei canali, né che il precedente risultato per il caso di rango pieno non sia valido.
La conseguenza pratica per chi usa questi test è circoscritta ma importante: nei casi singolari, un calcolo basato sul segno degli autovalori non può, da solo, stabilire se un canale candidato sia ottimale. L’articolo lascia aperta la questione di come ottenere un certificato efficiente nel caso generale in cui la matrice non è di rango pieno; il suo risultato concreto è l’esempio in due dimensioni che smentisce il test proposto.