Informazioni sul calcolo quantistico

Articolo
03/01/2024

Il calcolo quantistico ha la promessa di risolvere alcune delle più grandi sfide del nostro pianeta - nelle aree dell'ambiente, dell'agricoltura, dell'agricoltura, dell'energia, dell'energia, del clima, della scienza dei materiali e altro ancora. Per alcuni di questi problemi, l'elaborazione classica è sempre più difficile con l'aumentare delle dimensioni del sistema. Quando progettato per la scalabilità, i sistemi quantistici avranno probabilmente funzionalità che superano quelle dei supercomputer più potenti di oggi. Come comunità globale di ricercatori quantistici, scienziati, ingegneri e leader aziendali collaborano per migliorare l'ecosistema quantistico, ci aspettiamo di vedere l'accelerazione dell'impatto quantistico in ogni settore.

Suggerimento

Per accelerare il percorso di calcolo quantistico, vedere Codice con Azure Quantum, una funzionalità univoca del sito Web di Azure Quantum. In questo caso, è possibile eseguire esempi predefiniti Q# o programmi personalizzati Q# , generare nuovo Q# codice dai prompt, aprire ed eseguire il codice in VS Code per il Web con un clic e porre a Copilot eventuali domande sul calcolo quantistico.

Perché usare computer quantistici?

L'idea di un computer quantistico è nata dalla difficoltà di simulare sistemi quantistici in un computer classico. Negli anni '80, Richard Feynman e Yuri Manin suggerisce in modo indipendente che l'hardware basato su fenomeni quantistici potrebbe essere più efficiente per la simulazione di sistemi quantistici rispetto ai computer convenzionali.

Esistono molti modi per descrivere i motivi per i quali la meccanica quantistica è difficile da simulare. Il più semplice consiste nel vedere che la questione, a livello quantistico, si trova in una moltitudine di possibili configurazioni (note come stati).

Il calcolo quantistico aumenta esponenzialmente

Si consideri un sistema di elettroni in cui ci sono $40$ posizioni possibili. Il sistema potrebbe quindi essere in una qualsiasi delle $configurazioni 2^{40}$ (poiché ogni posizione può avere o meno un elettrone). Per archiviare lo stato quantistico degli elettroni in una memoria computer convenzionale sarebbe necessario in eccesso di $130$ GB di memoria! Se abbiamo consentito alle particelle di trovarsi in una delle 41$ posizioni, ci sarebbero due volte più configurazioni a $2^{41}$ che a sua volta richiederebbero più $di $260$ GB di memoria per archiviare lo stato quantistico.

Questo gioco di aumentare il numero di posizioni non può essere giocato in modo indefinito. Se vogliamo archiviare lo stato in modo convenzionale, supereremo rapidamente le capacità di memoria delle macchine più potenti del mondo. Per poche centinaia di elettroni la memoria necessaria per archiviare il sistema supera il numero di particelle nell'universo. Non c'è quindi speranza che i computer convenzionali riescano mai a simulare la propria dinamica quantistica.

Trasformare difficoltà nell'opportunità

L'osservazione di questa crescita esponenziale ci ha portato a porre una domanda potente: possiamo trasformare questa difficoltà in un'opportunità? In particolare, se la dinamica quantistica è difficile da simulare, cosa accadrebbe se dovessimo creare hardware con effetti quantistici come operazioni fondamentali? È possibile simulare sistemi quantistici di interazione delle particelle usando una macchina che sfrutta esattamente le stesse leggi della fisica? E potremmo usare quei computer per analizzare altre attività assenti dalle particelle quantistiche, ma sono cruciali per noi? Queste domande hanno portato alla genesi del calcolo quantistico.

Nel 1985 David Deutsch ha dimostrato che un computer quantistico potrebbe simulare in modo efficiente il comportamento di qualsiasi sistema fisico. Questa individuazione è stata la prima indicazione che i computer quantistici potrebbero essere usati per risolvere i problemi che sono intratrabili nei computer classici.

Nel 1994, Peter Shor ha scoperto un algoritmo quantistico per i numeri interi di fattorizzazione che esegue esponenzialmente più velocemente dell'algoritmo classico più noto. La risoluzione dei fattori rende possibile la possibilità di interrompere molti dei nostri cryptosystem di chiavi pubbliche sottostanti la sicurezza di e-commerce oggi, tra cui RSA e Elliptic Curve Cryptography. Questa scoperta ha provocato un grande interesse nel calcolo quantistico e ha portato allo sviluppo di algoritmi quantistici per molti altri problemi.

Da quel momento, gli algoritmi quantistici veloci ed efficienti sono stati sviluppati per molte delle nostre attività classiche: simulando sistemi fisici in chimica, fisica e scienza dei materiali, cercando un database non ordinato, risolvendo sistemi di equazioni lineari e Machine Learning.

Che cos'è un qubit?

Proprio come i bit sono l'oggetto fondamentale delle informazioni nel calcolo classico, i qubit (bit quantistici) sono l'oggetto fondamentale delle informazioni nel calcolo quantistico.

Un qubit è l'unità di base delle informazioni nel calcolo quantistico. Qubits gioca un ruolo simile nel calcolo quantistico come bit giocano nel calcolo classico, ma si comportano in modo molto diverso. I bit classici sono binari e possono contenere solo una posizione di $0$ o $1$, ma i qubit possono contenere una sovrapposizione di tutti gli stati possibili. Ciò significa che un qubit può essere in uno stato pari $a 0$, $1$ o qualsiasi sovrapposizione quantistica dei due. Ci sono possibili sovrapposizioni infinite di $0$ e $1$ e ognuno di essi è uno stato qubit valido.

Nel calcolo quantistico, le informazioni vengono codificate nella sovrapposizione degli stati $0$ e $1$. Ad esempio, con $8$ bit, è possibile codificare $256$ valori diversi, ma è necessario scegliere uno di essi per codificarlo. Con $8$ qubit, è possibile codificare contemporaneamente i $256$ valori. Questo comportamento è dovuto al fatto che un qubit può essere in una sovrapposizione di tutti gli stati possibili.

Per altre informazioni, vedere Qubit nel calcolo quantistico.

Come creare un computer quantistico

Un computer quantistico è un computer che sfrutta i fenomeni meccanici quantistici. I computer quantistici usano stati quantistici di materia per archiviare e calcolare le informazioni. Possono &virgolette; programma" interferenza quantistica per eseguire operazioni più veloci o migliori dei computer classici.

Quando si crea un computer quantistico, è necessario pensare a come creare i qubit e come archiviarli. Dobbiamo anche pensare a come modificarli e come leggere i risultati dei calcoli.

La maggior parte delle tecnologie qubit usate sono i qubit intrappolati, i qubit superconduttori e i qubit topologici. Per alcuni metodi di archiviazione qubit, l'unità che ospita i qubit viene mantenuta a una temperatura vicina allo zero assoluto per massimizzare la coerenza e ridurre l'interferenza. Altri tipi di alloggiamento dei qubit usano una camera sottovuoto per ridurre al minimo le vibrazioni e stabilizzare i qubit. I segnali possono essere inviati ai qubit usando diversi metodi, tra cui microonde, laser e tensione.

Cinque criteri per un computer quantistico

Un computer quantistico valido deve avere queste cinque funzionalità:

Scalabile: Può avere molti qubit.
Inizializzabile: Può impostare i qubit su uno stato specifico (in genere lo $stato 0$ ).
Resiliente: Può mantenere i qubit nello stato di sovrapposizione per molto tempo.
Universale: Un computer quantistico non deve eseguire tutte le operazioni possibili, solo un set di operazioni denominato set universale. Un set di operazioni quantistice universali è tale che qualsiasi altra operazione può essere decomposta in una sequenza di loro.
Affidabile: Può misurare in modo accurato i qubit.

Questi cinque criteri sono spesso noti come criteri di Di Vincenzo per il calcolo quantistico.

La creazione di dispositivi in grado di soddisfare questi cinque criteri è una delle sfide tecniche più complesse mai affrontate dal genere umano. Microsoft collabora con alcuni dei migliori produttori di computer quantistici nel mondo per consentire l'accesso alle soluzioni di calcolo quantistico più innovative tramite Azure Quantum. Per altre informazioni, vedere l'elenco completo dei provider Azure Quantum.

Che cosa può essere usato per il calcolo quantistico e Azure Quantum?

Un computer quantistico non è un super computer in grado di fare tutto più rapidamente. Infatti, uno degli obiettivi della ricerca di calcolo quantistico consiste nello studio dei problemi che possono essere risolti da un computer quantistico più veloce di un computer classico e della quantità di velocità possibile.

I computer quantistici funzionano in modo eccezionale con problemi che richiedono il calcolo di un numero elevato di possibili combinazioni. Questi tipi di problemi sono disponibili in molte aree, ad esempio simulazione quantistica, crittografia, machine learning quantistico e problemi di ricerca.

Per le informazioni più recenti sulla ricerca quantistica di calcolo quantistico di Microsoft, vedere la pagina Microsoft Research Quantum Computing .

Stima delle risorse

I computer quantistici disponibili oggi consentono esperimenti e ricerche interessanti, ma non sono in grado di accelerare i calcoli necessari per risolvere i problemi reali. Mentre il settore attende progressi hardware, gli innovatori quantistici del software sono ansiosi di fare progressi e prepararsi per un futuro quantistico. La creazione di algoritmi che verranno infine eseguiti nei computer quantistici a tolleranza di errore di domani è un'attività spaventosa. Questi innovatori si trovano a dover affrontare domande quali le risorse hardware necessarie? Quanti qubit fisici e logici sono necessari e quale tipo? Quanto tempo è il tempo di esecuzione?

È possibile usare Azure Quantum Resource Estimator per rispondere a queste domande. Di conseguenza, sarà possibile perfezionare gli algoritmi e creare soluzioni che sfruttano i computer quantistici ridimensionati quando diventano disponibili.

Per iniziare, vedere Eseguire la prima stima delle risorse.

Altre informazioni sulla valutazione dei requisiti per il vantaggio quantistico pratico usando Azure Quantum Resource Estimator in arXiv:2211.07629.

Simulazione quantistica

La meccanica quantistica è la citazione sottostante &; il sistema&operativo virgolette; del nostro universo. Descrive come si comportano i componenti fondamentali della natura. I comportamenti della natura, come le reazioni chimiche e biologiche o le formazioni di materiali, coinvolgono spesso interazioni quantistiche tra molti corpi. Per simulare sistemi meccanici intrinsecamente quantistici, ad esempio molecole, il calcolo quantistico è promettente, perché i qubit (bit quantistici ) possono essere usati per rappresentare gli stati naturali in questione. Esempi di sistemi quantistici che possiamo modellare includono fotosintesi, superconduttività e formazioni molecolari complesse.

Azure Quantum Elements è progettato per accelerare l'individuazione scientifica. Reinventare la produttività di ricerca e sviluppo con flussi di lavoro di simulazione ottimizzati per la scalabilità nei cluster hpC (Computing) di Azure High-Performance, l'intelligenza artificiale accelerata, l'intelligenza artificiale aumentata usando l'intelligenza artificiale, l'integrazione con gli strumenti quantistici per iniziare a sperimentare con hardware quantistico esistente e l'accesso in futuro al supercomputer quantistico di Microsoft. Per altre informazioni, vedere Sblocco della potenza di Azure per Dynamics molecolare.

Accelerazione dei processi di calcolo quantistico

Uno degli obiettivi della ricerca nel campo della quantistica è quello di studiare quali problemi possono essere risolti più velocemente da un computer quantistico rispetto a un computer classico e quale può essere il grado di accelerazione. Due esempi noti sono l'algoritmo di Grover e l'algoritmo di Shor, che producono rispettivamente un polinomio e una velocità esponenziale rispetto alle loro controparti classiche.

L'algoritmo di Shor in esecuzione in un computer quantistico potrebbe interrompere schemi di crittografia classici, ad esempio lo schema Rivest-Shamir-Adleman (RSA), ampiamente usato in e-commerce per la trasmissione sicura dei dati. Questo schema si basa sulla difficoltà pratica di scomporre i numeri primi usando algoritmi classici. La crittografia quantistica promette di garantire la sicurezza delle informazioni sfruttando la fisica di base anziché i presupposti di complessità.

Come l'algoritmo di Shor per il factoring, il problema di spostamento nascosto è una fonte naturale di problemi per cui un computer quantistico ha un vantaggio esponenziale rispetto agli algoritmi classici più noti. Questo può essere utile per risolvere i problemi di deconvoluzione e consentire di trovare in modo efficiente modelli in set di dati complessi. Si scopre che un computer quantistico può calcolare in linea di principio le convoluzioni ad alta velocità, che a sua volta si basa sulla capacità del computer quantistico di calcolare le trasformazioni di Fourier estremamente rapidamente. Nella raccolta di esempi dell'area di lavoro di Azure Quantum è disponibile un esempio di notebook Jupyter Turni nascosti (è necessario un account Azure).

L'algoritmo di Grover accelera la soluzione alle ricerche di dati non strutturate, eseguendo la ricerca in meno passaggi rispetto a qualsiasi algoritmo classico. In effetti, qualsiasi problema che consente di verificare se un determinato valore $x$ è una soluzione valida (virgolette &; Sì o no problem") può essere formulata in termini di problema di ricerca. Di seguito vengono riportati alcuni esempi.

Problema di satisfiability booleano: il set di valori $booleani x$ un'interpretazione (assegnazione di valori alle variabili) che soddisfa la formula booleana specificata?
Problema del venditore in viaggio: $x$ descrive il ciclo più breve possibile che collega tutte le città?
Problema di ricerca del database: la tabella di database contiene un record $x$?
Problema di fattorizzazione integer: il numero $fisso N$ è divisibile per il numero $x$?

Per un esame più approfondito dell'algoritmo di Grover, vedere l'esercitazione Implementare l'algoritmo di Grover in Q#.

In che modo il calcolo quantistico risolve i problemi?

I computer quantistici sono dispositivi meccanici quantistici controllabili che sfruttano le proprietà della fisica quantistica per eseguire calcoli. Per alcune attività di calcolo, il calcolo quantistico aumenta la velocità in modo esponenziale grazie a tre fenomeni della meccanica quantistica: sovrapposizione , interferenza ed entanglement.

Sovrapposizione

Si supponga di svolgere attività fisica nel proprio soggiorno. Ci si volta completamente a sinistra e quindi completamente a destra. Provare quindi a voltarsi a sinistra e a destra contemporaneamente. Non è possibile farlo, o almeno, non senza dividersi a metà. Ovviamente, non è possibile trovarsi contemporaneamente in entrambi questi stati. Non si può essere rivolti verso sinistra e verso destra allo stesso tempo.

Tuttavia, se si è una particella quantistica, è possibile avere una certa probabilità di essere rivolti verso sinistra E una certa probabilità di essere rivolti verso destra a causa di un fenomeno noto come sovrapposizione (denominato anche coerenza).

A differenza delle particelle classiche, se due stati A e B sono stati quantistici validi di una particella quantistica, qualsiasi combinazione lineare degli stati è anche uno stato quantistico valido: $\text{stato}=\alpha qubit A + \beta B$.$$$$ Questa combinazione lineare di stati $quantistici A$ e $B$ è detta sovrapposizione. In questo caso $\alpha$ , e $\beta$ sono le ampiezze di probabilità di $A$ e $B$, rispettivamente, in modo che $|\alpha|^{{2} + |\beta|^{2}= 1$.

Solo i sistemi quantistici come quelli a ioni o circuiti superconduttori possono trovarsi negli stati di sovrapposizione che consentono di sfruttare la potenza del calcolo quantistico. Una particella quantistica, ad esempio un elettrone, ha la propria proprietà "rivolta verso sinistra o destra", vale a dire spin, denominata su o giù, quindi lo stato quantistico di un elettrone è una sovrapposizione di &virgolette; spin up" and " spin down".

In generale, per renderlo più paragonabile al calcolo binario classico, se un sistema quantistico può trovarsi in due stati quantistici, questi stati sono denominati stato 0 e 1 stato.

Qubit e probabilità

I computer classici archiviano ed elaborano le informazioni in bit, che possono avere uno stato di 1 o 0, ma mai entrambi. L'equivalente nel calcolo quantistico è il qubit. Un qubit è qualsiasi sistema quantistico che può trovarsi in una sovrapposizione di due stati quantistici, 0 e 1. A ogni stato quantico possibile è associata un'ampiezza di probabilità. Solo dopo aver misurato un qubit, il suo stato viene compresso nello stato 0 o 1, a seconda della probabilità associata; pertanto, uno degli stati possibili viene ottenuto con una certa probabilità.

La probabilità del qubit di collassare in un modo o nell'altro è determinata dall'interferenza quantistica. L'interferenza quantistica influisce sullo stato di un qubit per influenzare la probabilità di un determinato risultato durante la misura e questo stato probabilistico è il punto di eccellenza della potenza del calcolo quantistico.

Ad esempio, per due bit in un computer classico, ogni bit può archiviare un valore di 1 o 0 e vengono così archiviati insieme quattro valori possibili: 00, 01, 10e 11, ma solo uno di questi alla volta. Con due qubit in sovrapposizione, tuttavia, ogni qubit può essere 1 o 0 o entrambi, quindi è possibile rappresentare contemporaneamente gli stessi quattro valori. Con tre qubit è possibile rappresentare otto valori, con quattro qubit è possibile rappresentare 16 valori e così via.

Per altre informazioni, vedere Il qubit nel calcolo quantistico.

Entanglement

Uno dei fenomeni più interessanti della meccanica quantistica è la capacità di due o più sistemi quantistici di diventare correlate tramite entanglement. L'entanglement è una correlazione quantistica tra sistemi quantistici. Quando i qubit diventano correlati tramite entanglement, formano un sistema globale, in modo che lo stato quantistico dei singoli sottosistemi non possa essere descritto in modo indipendente. Due sistemi sono entangled quando lo stato del sistema globale non può essere scritto come combinazione dello stato dei sottosistemi, in particolare, due sistemi sono entangled quando lo stato del sistema globale non può essere scritto come prodotto tensore degli stati dei sottosistemi. Uno stato del prodotto non contiene correlazioni.

I sistemi quantistici entangled mantengono questa correlazione anche se separati su distanze elevate. Ciò significa che qualsiasi operazione o processo applicato a un sottosistema è correlato anche agli altri sottosistemi. Poiché esiste una correlazione tra i qubit con entanglement, la misura dello stato di un qubit fornisce informazioni sullo stato degli altri qubit. Questa proprietà specifica è molto utile nel calcolo quantistico.

Nota

Non tutte le correlazioni tra le misure di due qubit implicano che due qubit siano entangled. Oltre alle correlazioni quantistiche, esistono anche correlazioni classiche. La differenza tra correlazioni classiche e quantistiche è sottile, ma è essenziale per la velocità offerta dai computer quantistici. Per altre informazioni, vedere Informazioni sulle correlazioni classiche.

Per altre informazioni, vedere l'esercitazione Esplorazione dell'entanglement quantistico con Q#.