Informatica quantistica

L'informatica quantistica è l'insieme delle tecniche di calcolo e del loro studio che utilizzano i quanti per memorizzare ed elaborare le informazioni. Molte sono le differenze con l'informatica classica, soprattutto nei principi fondamentali.

Origini

La macchina di Turing (MT) utilizza gli assiomi della fisica classica, ossia lo stato del nastro e della testina sono sempre univocamente identificabili, gli spostamenti sono sempre regolati dalle leggi del moto, etc. Quindi la MT è totalmente deterministica (MTD). Una sua variante, che si dimostra equivalente ma più veloce, è la macchina di Turing probabilistica (MTP). Può risolvere ogni problema che è possibile risolvere tramite la MTD, ma di solito lo fa più velocemente (nel senso della teoria della complessità algoritmica). Anch'essa, però, è soggetta agli assiomi della fisica classica, e soprattutto nessuna delle due è reversibile, per il secondo principio della termodinamica. Dato che la meccanica quantistica è reversibile, una macchina di Turing quantistica (MTQ) deve essere reversibile. Inoltre deve rispettare i vincoli della meccanica quantistica, tra cui il principio di indeterminazione di Heisenberg e l'equazione di Schrödinger.

Lo sviluppo di una MTQ, e quindi di un calcolatore quantistico, ha richiesto, come spesso avviene, diversi passaggi. Nel 1973 Charles Bennet dimostrò che è possibile costruire una MT reversibile. Nel 1980, Paul Benioff ha dimostrato che la reversibilità è una condizione necessaria per realizzare una MTQ. Due anni dopo Richard Feynman pubblicò il suo famoso lavoro sul computer quantistico. In esso, stabilisce che:

Una MTD può simulare un sistema quantistico solo con un rallentamento esponenziale (nel senso della teoria della complessità algoritmica).
Un computer basato sui qubit non è soggetto a tale limitazione, ed è dunque un simulatore quantistico universale.

Finalmente, nel 1985, David Deutsch dell'Università di Oxford descrive la prima vera MTQ.

I primi prototipi di computer a qubit sono stati realizzati dal Centro ricerche dell'IBM di Almaden nel 1997, misurando lo spin dei nuclei atomici di particolari molecole tramite la risonanza magnetica nucleare. Sono stati realizzati "processori" a 5 e 7 qubit, con cui tra l'altro è stato applicato per la prima volta l'algoritmo di fattorizzazione di Shor

Principi dell'informatica quantistica

Le regole che stanno alla base del calcolo quantistico differiscono notevolmente da quelle classiche, e sembrano molto più restrittive. In realtà, è possibile mostrare che le macchine di Turing quantistiche (MTQ) non solo permettono di raggiungere la stessa affidabilità nei calcoli, ma riescono a eseguire compiti che le macchine di Turing classiche non possono fare: ad esempio, generare numeri veramente casuali, e non pseudo-casuali. Andiamo ad elencare i principi:

No-cloning: l'informazione quantistica non può essere copiata con fedeltà assoluta, e quindi neanche letta con fedeltà assoluta. (William Wootters, 1982).
L'informazione quantistica può invece essere trasferita con fedeltà assoluta, a patto che l'originale venga distrutto nel processo. Il teletrasporto quantistico è stato ottenuto per la prima volta da Nielsen, Klinn e LaFlamme nel 1998.
Ogni misura compiuta su di un sistema quantistico distrugge la maggior parte dell'informazione, lasciandolo in uno stato base. L'informazione distrutta non può essere recuperata. Ciò è una derivazione diretta dai postulati della meccanica quantistica (PMQ)
Anche se in qualche caso è possibile conoscere esattamente in che stato base si troverà il sistema dopo una misura, il più delle volte avremo solo previsioni probabilistiche. Anche questo deriva direttamente dai PMQ
Alcune osservabili non possono avere simultaneamente valori definiti con precisione, per il principio di indeterminazione di Heisenberg. Ciò ci impedisce sia di stabilire con esattezza le condizioni iniziali prima del calcolo, sia di leggere i risultati con precisione.
L'informazione quantistica può essere codificata, e solitamente lo è, tramite correlazioni non-locali tra parti differenti di un sistema fisico. In pratica, si utilizza l'entanglement.

Approcci al qubit

Oltre all'approccio fisico al qubit, rappresentato tramite trappole di ioni, punti quantistici, o spin atomici, vi è anche l'approccio topologico, che recentemente sta attraversando un boom di notorietà, grazie alle proprietà dei gas bidimensionali di elettroni.

Critiche

Alcuni criticano le possibilità dell'informatica quantistica, in quanto per poter avere elevate precisioni sia in ingresso che in uscita, occorre sia tempo che energia. Questo è senz'altro vero, tuttavia vi è un aspetto che viene sottovalutato: la precisione è infinita durante il calcolo. Questo significa che durante elaborazioni complesse, non vi sono ulteriori errori di cancellazione, overflow o underflow determinati dalla rappresentazione digitale, come invece accade con i processori binari. In altre parole un algoritmo quantistico è sempre stabile, tranne che per l'input e l'output.

Bibliografia e letture consigliate

Letture tecniche

Libri e dispense

Articoli

(EN) Bennett, Charles (1973), Logical reversibility of computation, IBM J. Res. Develop., n 17, pagine 525-532.
(EN) Benioff, Paul (1980), The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines, J. Statist. Phys. n. 22, pagine 563-591.
(EN) Wootters, W. e Zurek, W. (1982), "A single quantum cannot be cloned", Nature n. 299, pagine 802-803.
(EN) Quantum Computing with Molecules, Scientific American Feature article

Voci correlate

Collegamenti esterni

(EN) IBM Reseach Quantuminfo
(EN) Entanglement e Informatica quantistica, su plato.stanford.edu.
(EN) Centro di calcolo quantistico Australiano, su qcaustralia.org.
Template:Thesaurus BNCF
(EN) Centre for quantum computation, su qubit.org.

Controllo di autorità	Thesaurus BNCF 45999 · GND (DE) 4705961-8

Portale Meccanica quantistica: accedi alle voci di Wikipedia che trattano di meccanica quantistica