Computational Power of Clifford and Ising Quantum Computers

Nella ricerca di una macchina capace di risolvere problemi che vanno oltre la portata degli odierni supercomputer, gli scienziati stanno esplorando un percorso che si basa sulle strane regole del mondo quantistico. A differenza dei computer classici, che elaborano le informazioni come bit che sono o zero o uno, i computer quantistici utilizzano i qubit che possono esistere in una miscela di entrambi gli stati simultaneamente. Per rendere queste macchine pratiche, i ricercatori si rivolgono spesso a un tipo specifico di logica quantistica noto come operazioni di Clifford. Queste sono un insieme di regole che manipolano i qubit in un modo matematicamente ben compreso e che, cosa fondamentale, possono essere simulate efficientemente da ordinari computer classici. Ciò significa che, sebbene le operazioni di Clifford siano un passaggio necessario per costruire un computer quantistico universale, esse non sono abbastanza potenti da sole per superare le macchine classiche. Parallelamente a questo, esiste un campo di studio correlato che riguarda particelle chiamate anyoni, che esistono solo in strati bidimensionali di materiale. Queste particelle hanno una proprietà unica: quando vengono spostate l'una intorno all'altra, i loro percorsi si intrecciano in un modo che cambia lo stato del sistema senza che le particelle si tocchino mai. Questo processo, noto come braiding, è la base di un metodo proposto per il calcolo quantistico, chiamato calcolo quantistico topologico. La domanda centrale per i fisici e i matematici è stata se l'aggiunta della capacità di misurare queste particelle, piuttosto che limitarsi a muoverle, sbloccherebbe nuovi poteri computazionali che i computer classici non possono eguagliare.

Un team di ricercatori ha ora fornito una risposta definitiva a questa domanda, dimostrando che anche con l'aggiunta delle misurazioni, questi specifici sistemi quantistici rimangono entro la portata della simulazione classica. Lo studio si concentra su due concetti correlati: i computer quantistici di Clifford, che utilizzano un set ristretto di porte, e i computer quantistici di Ising, che utilizzano il braiding e la misurazione degli anyoni. I ricercatori hanno indagato se queste macchine potessero risolvere problemi che sono considerati troppo difficili da gestire efficientemente dai computer classici. Hanno iniziato esaminando i limiti teorici dei computer di Clifford. Hanno scoperto che se un computer classico è autorizzato a vedere l'intero problema di input prima di generare il circuito quantistico, la macchina quantistica non offre alcun vantaggio; essa semplicemente replica ciò che il computer classico poteva già fare. Tuttavia, la situazione diventa più sfumata quando il generatore del circuito è limitato a vedere solo la lunghezza dell'input, non i dettagli specifici. In questo scenario vincolato, i ricercatori hanno dimostrato che il computer quantistico può risolvere solo una classe molto ristretta di problemi noti come linguaggi affini. Questi sono problemi che possono essere ridotti a semplici equazioni lineari su numeri binari. Il team ha fornito una prova rigorosa mostrando che se questi computer quantistici ristretti potessero risolvere qualsiasi problema nella vasta classe di problemi nota come P, ciò implicherebbe una grande, irrisolta scoperta matematica: che la classe di problemi risolvibili in spazio polinomiale sia strettamente più grande di quelli risolvibili in tempo polinomiale. Poiché questa separazione è ampiamente ritenuta vera ma non provata, il risultato suggerisce che questi computer quantistici siano effettivamente limitati.

L'indagine si è poi rivolta al computer quantistico di Ising, che si basa sul comportamento esotico degli anyoni. I ricercatori hanno prima confermato il fatto noto che il semplice braiding di queste particelle — ovvero muoverle l'una intorno all'altra per eseguire calcoli — può essere simulato efficientemente da un computer classico. Questo era già stato compreso perché le operazioni di braiding corrispondono alle stesse porte di Clifford menzionate in precedenza. Il contributo originale di questo lavoro è stato quello di estendere tale simulazione includendo le misurazioni. In un computer quantistico topologico, è possibile misurare lo stato collettivo di un gruppo di anyoni per estrarre informazioni. I ricercatori hanno dimostrato che anche queste misurazioni, incluse le più potenti conosciute come misurazioni interferometriche, non aggiungono alcun potere computazionale extra. Hanno dimostrato che ogni possibile esito di misurazione in questo sistema è matematicamente equivalente a una misurazione standard di un tipo specifico di proprietà quantistica, nota come misurazione di Pauli. Poiché l'intero processo di braiding e misurazione degli anyoni di Ising può essere tradotto in una sequenza di porte di Clifford e misurazioni di Pauli, l'intero sistema rientra nell'ambito del teorema di Gottesman-Knill. Questo teorema afferma che qualsiasi computazione quantistica composta da questi elementi specifici può essere perfettamente simulata da un computer classico in un tempo ragionevole.

Le implicazioni di queste scoperte sono significative per il futuro dell'ingegneria quantistica. Lo studio chiarisce che, sebbene gli anyoni di Ising e le porte di Clifford siano componenti essenziali per costruire un computer quantistico universale, non sono sufficienti da soli per raggiungere la supremazia quantistica. Per costruire una macchina che possa davvero superare i computer classici, è necessario introdurre risorse aggiuntive, spesso chiamate "magia", che vadano oltre le capacità di questi specifici sistemi. I ricercatori hanno anche esplorato i confini di ciò che queste macchine possono decidere quando il generatore del circuito è cieco ai dettagli dell'input, caratterizzando i problemi risolvibili come quelli che rientrano in una specifica struttura geometrica dello spazio binario. Hanno fornito strumenti per distinguere tra i problemi che possono essere risolti da queste macchine e quelli che non possono, mostrando che molti problemi apparentemente semplici sono in realtà oltre la loro portata. In definitiva, il documento funge da mappa del territorio, definendo esattamente dove finisce il potere di questi specifici modelli quantistici e dove inizia la necessità di capacità quantistiche più avanzate e universali. Conferma che, senza l'aggiunta di risorse non-Clifford, la promessa del calcolo quantistico topologico rimane una simulazione della logica classica piuttosto che un salto in un nuovo regno computazionale.