Sunteți pe pagina 1din 9

Philippe Jorrand & Florin Ciontu

Informatica cuantic!

Secolul XX ne-a nv!"at c! lumea fizic! este fundamental descris! de procese cuantice. Calculatoarele
sunt obiecte fizice care, pn! ast!zi, exploateaz! fenomenele fizicii clasice (chiar #i atunci cnd se "ine
seama de anumite fenomene cuantice, esen"a naturii lor cuantice nu este exploatat!). Cercetarea n
informatica cuantic! const! tocmai n a explora poten"ialul, legile #i limit!rile fizicii cuantice pentru
a reprezenta, trata #i comunica informa"ia. ncepute mai nti n snul laboratoarelor de fizic!,
cercet!rile n informatica cuantic! #i au originea n cteva probleme puse de personalit!"i ca
Richard P. Feynman, laureat al premiului Nobel n fizic!, la nceputul anilor '80. Doar n cea de a
dou! jum!tate a anilor '90 c"iva cercet!tori informaticieni, n cea mai mare parte cu preocup!ri n
informatica teoretic! (teoria informa"iei, complexitate, criptografie) #i-au reconsiderat domeniul de
cercetare, abordnd informatica cuantic!.

n informatica clasic!, cea a calculatoarelor, software-ului "i telecomunica#iilor de ast!zi, codarea
"i tratarea informa#iei sunt concepute pe baze ce se sprijin! n ntregime pe fizica clasic!. Chiar dac! n
procesul de concepere al tranzistorilor nu putem evita luarea n calcul a unor fenomene specifice prezente
la scar! cuantic!, aceste fenomene sunt mai degrab! evitate dect exploatate, scopul final fiind de a ob#ine
un comportament macroscopic. Mai mult, o trecere n revist! a informaticii clasice relev! c! pn! "i
modelele teoretice fundamentale, ca ma"ina Turing "i calculul lambda, sunt construite plecnd de la ipoteze
implicite - niciodat! enun#ate - conform c!rora prelucrarea "i comunicarea informa#iei sunt bazate, n esen#a
lor, pe fizica clasic!.
Evolu#ia tehnologiilor actuale ne permite s! prezicem c!, n urm!torii dou!zeci de ani, elementul
de baz! al informa#iei binare - bitul - va putea fi implementat la scar! atomic!. Vom putea, de exemplu, s!
utilizam spinul -$/2 al unei particule, sau polarizarea vertical! sau orizontal! a unei particule, sau chiar
nivelul de energie al unui electron ntr-un atom de hidrogen: toate acestea ofer! diferite posibilit!#i de a
coda st!rile de baz! 0 "i $. La acest nivel, legile fizicii clasice nceteaz! de a se mai aplica, l!snd loc celor
apar#innd fizicii cuantice care, cteodat!, nu sunt foarte compatibile cu intui#ia noastr!. Pentru a ob#ine
densit!#i de $0
$6
por#i pe chip "i frecven#e, probabil, mai mari de $0
$5
Hz - performan#e prev!zute pentru
anul 2020 n cazul unei evolu#ii "normale" - trebuie adoptate modele teoretice, bazate fundamental "i
explicit pe legile fizicii cuantice. n loc de a "corija" efectele cuantice, va trebui s! le exploat!m, n
contextul n care prin ns!"i natura lor pot s! furnizeze o putere de calcul nc! neb!nuit!.

"Un bit poate avea dou! valori: 0 sau $". Uita"i asta!

n informatica clasic! un bit poate avea dou! valori: 0 sau $. n informatica cuantic!, aceste st!ri 0
"i $ iau forma a doi vectori ortogonali, unul notat |0> iar cel!lalt |$> (nota#ia lui Dirac: a se pronun#a ket
zero "i ket unu, pentru c! exist! de asemenea <0| "i <$|, bra zero "i bra unu, astfel nct <x|y>, care
cap!t! semnifica#ia produsului scalar, s! se poat! pronun#a braket). Un bit cuantic, numit qubit (quantum
bit) poate deci fi ntr-una din st!rile |0> sau |$>. Dar un qubit se poate g!si de asemenea, conform
principiilor mecanicii cuantice, ntr-o stare care este o superpozi#ie coerent! a acestor dou! st!ri de baz!.
Pentru un qubit, aceast! superpozi#ie ia de asemenea forma unui vector (n fizica cuantic! vorbim despre
func#ii de und!) ce evolueaz! ntr-un spa#iu cu dou! dimensiuni. Acest vector poate fi exprimat ca o
combina#ie liniar! a celor dou! st!ri |0> "i |$> ale bazei ortogonale:
c0 |0> + c$ |$>
ns! aten#ie, coeficien#ii c0 "i c$ sunt numere complexe deoarece, n fizica cuantic!, la ini#iativa
lui von Neumann, vectorul de stare evolueaz! ntr-un spa#iu Hilbert. Coeficien#ii sunt numi#i amplitudini de
probabilitate "i sunt astfel nct |c0 |
2
+ |c$ |
2
= $.
Putem sugera o intui#ie par#ial! - dar fidel! realit!#ii - a rolului coeficien#ilor c0 "i c$. n
informatica cuantic!, contrar unei impresii care "i are probabil originea ntr-o interpretare pripit! a fizicii
cuantice, calculele sunt complet deterministe. Probabilit!#ile intervin doar n momentul n care vrem s!
cunoa"tem rezultatul unui calcul, adic! suntem pu"i n situa#ia de a observa ("a m!sura" ar zice mai degrab!
un fizician) o stare din lumea cuantic! pentru a putea mai apoi extrage o valoare lizibil! n lumea clasic!.
Astfel, dac! un qubit n starea c0 |0> + c$ |$> este rezultatul unui calcul cuantic, aceast! stare trebuie
interpretat! ca "i cum st!rile |0> "i |$> ar fi efectiv ob#inute - amndou! n acela"i timp - ca rezultate ale
acestui calcul. M!surarea acestui rezultat, n concordan#! cu legile cuantice, are ca urmare fie (cu o
probabilitate |c0|
2
) reducerea rezultatului la vectorul |0> pierznd ireversibil orice informa#ie asupra faptului
c! $ fusese de asemenea ob#inut ca valoare a acestui rezultat, fie (cu o probabilitate |c$|
2
) reducerea la
vectorul |$> avnd ca urmare citirea valorii $ "i pierderea oric!rei informa#ii privitoare la prezen#a lui 0 n
componenta rezultatului ob#inut.
Vom vedea c! amplitudinile de probabilitate permit folosirea, n cursul unui calcul, a unor
fenomene de interferen#! care, n momentul observ!rii unei superpozi#ii cuantice, vor cre"te sau - din contr!
- vor diminua probabilitatea de a ob#ine anumite valori.

"Avnd un registru pe n bi"i putem reprezenta 2n valori." n acela#i timp!

Un sistem de n qubi#i constituie un registru cuantic de m!rime n. S! lu!m spre exemplu cazul unui
registru de m!rime 3. Fiecare din cei trei qubi#i ai registrului evolueaz! ntr-un spa#iu cu dou! dimensiuni,
fiecare avnd propria s! baz! de forma {|0>, |$>}:
c$0 |0> + c$$ |$>
c20 |0> + c2$ |$>
c30 |0> + c3$ |$>
Conform principiilor fizicii cuantice, registrul - n ansamblul s!u evolueaz! - ntr-un spa#iu cu 8
dimensiuni (care este produsul tensorial al celor trei spa#ii Hilbert cu dou! dimensiuni), "i pentru care cea
mai "natural!" baz! este constituit! de 8 vectori de stare pe care i vom nota, pentru simplificare, cu |000>,
|00$>, |0$0>, |0$$>, |$00>, |$0$>, |$$0> "i |$$$>. Consecin#!: starea registrului nostru de 3 qubi#i este, n
general, o superpozi#ie a acestor 8 st!ri de baz!, fiind exprimat! printr-un vector de forma:
c000 |000> + c00$ |00$>
c0$0 |0$0> + c0$$ |0$$>
c$00 |$00> + c$0$ |$0$>
c$$0 |$$0> + c$$$ |$$$>
Astfel, n timp ce un registru clasic pe 3 bi#i nu poate con#ine la un moment dat dect una din cele
8 valori posibile, un registru cuantic pe 3 bi#i poate con#ine simultan cele 8 valori, ntr-o superpozi#ie
cuantic! coerent!. De o manier! general!, un registru cuantic de m!rime n evolueaz! ntr-un spa#iu cu 2
n

dimensiuni "i con#ine, n orice moment, o superpozi#ie cuantic! a celor 2
n
valori posibile. n informatica
cuantic!, num!rul de valori diferite pe care le putem suprapune "i prelucra simultan cre"te exponen#ial n
func#ie de m!rimea fizica a sistemului.
Calculele sunt efectuate prin intermediul anumitor operatori care transform! starea curent!. Pn!
aici, nimic deosebit. Dar suntem ntr-un domeniu unde domnesc legile fizicii cuantice: operatorii nu pot,
deci, opera dect n conformitate cu aceste legi, iar compunerea lor nu trebuie n nici un caz s! violeze
aceste legi. Cum st!rile iau forma unor vectori, ace"ti operatori vor lua n mod natural forma unor matrice
(cu coeficien#i complec"i din moment ce opereaz! ntr-un spa#iu Hilbert). Fizica cuantic! ne impune ca
fiecare operator dat s! fie unitar, adic! reprezentat printr-o matrice U astfel nct UU* = U*U = I, unde U*
este transpusa conjugatei lui U, iar I matricea unitate. Cu alte cuvinte, dac! U este o matrice unitar!, atunci
U
-$
= U*. Acest lucru este esen#ial deoarece consecin#a este c! fiecare operator - "i, prin urmare, fiecare
calcul - este reversibil, adic! ntotdeauna putem reg!si datele ini#iale plecnd de la rezultate.
Din fericire, aceast! constrngere de reversibilitate nu limiteaz! cu nimic familia de func#ii
calculabile de c!tre o ma"in! cuantic!. nc! din $973, f!r! nici o premis! care s!-i fi permis s! prezic!
dezvoltarea viitoare a informaticii cuantice, Charles Bennet de la IBM Research a ar!tat mai nti existenta
unei ma"ini Turing reversibile, care poate calcula acelea"i func#ii ca "i o ma"in! Turing clasic!. Mult mai
trziu, a fost demonstrat c! fiecare ma"in! cuantic! poate simula o ma"in! Turing reversibil!, iar mai apoi a
fost dezvoltat! o ma"in! Turing cuantic! pentru ca, n final, s! se demonstreze existen#a unei ma"ini Turing
universale. Exerci#iu teoretic gratuit ? Nu, pentru c! plecnd de la aceste rezultate putem afirma c!
informatica cuantic! poate efectua cel pu#in toate calculele posibile din informatica clasic!. Putem, n
sfr"it, introduce no#iunea de complexitate atunci cnd anumite probleme sunt tratate de o ma"in! cuantic!,
pentru ca mai apoi s! putem compara aceast! complexitate cuantic! cu complexitatea clasic!. Acesta este,
de fapt, domeniul n care, a"a cum vom vedea mai trziu, au fost ob#inute rezultate spectaculoase: o
problem! foarte important! n practic!, factorizarea, pentru care nu se cuno"teau dect algoritmi (clasici)
exponen#iali, a fost rezolvat! n timp polinomial de c!tre informatic! cuantic!.
Vom vedea acum pe un exemplu simplu cum se efectueaz! un calcul. Forma general! a st!rii unui
qubit este c0 |0> + c$ |$>. S! consider!m ca dat! ini#ial! a calculului nostru informa#ia stocat! ntr-un qubit
cu c0 = 0 "i c$ = $: acest qubit este deci n starea |$>. Vom aplica acestui qubit operatorul:

A=
1
]
1


$ $
$ $
2
$


Se poate verifica foarte u"or c! A este un operator unitar. ntr-un spa#iu cu dou! dimensiuni vom prezenta
st!rile |0> "i |$> ca vectorii coloan! urm!torii:

|0>=

0
$

"i

|$>=

$
0


Starea rezultat! n urma aplic!rii operatorului A st!rii |$> este:

> + > $ |
2
$
0 |
2
$


Semnifica#ia acestui rezultat este c! starea ob#inut! reprezint! o superpozi#ie cuantic! n care |0>
are amplitudinea de probabilitate +$/ 2 iar |$> are amplitudinea de probabilitate
2
$
. Dac! am vrea
s! m!sur!m n acest moment rezultatul calculului nostru am avea, deci, o "ans! din dou! ((
2
$
)
2
)
de ob#ine valoarea 0 "i aceea"i "ans! de a ob#ine valoarea $. ns! n loc s! observ!m "i s! distrugem aceast!
stare, mai bine s! continu!m calculul. Aplic!m din nou acela"i operator acestei st!ri. Fiecare din cei doi
termeni ai superpozi#iei va fi transformat independent de cel!lalt.
Rezultatul calculului este :

|
2
$
0 |
2
$
$ |
2
$
0 |
2
$
2
$
+ > + =

> + >

pentru primul termen si

|
2
$
0 |
2
$
$ |
2
$
0 |
2
$
2
$
> + =

> >

pentru al doilea termen
Mai nti un termen, apoi doi, iar acum patru: vedem cum calculul se dezvolt! arborescent. Oprim
acum calculul "i s! m!sur!m rezultatul. Calcului detaliat mai sus arat! c! |0> a fost atins pe dou! c!i
diferite, de fiecare dat! avnd amplitudinea $/2, pe cnd $ a fost atins pe dou! c!i diferite, dar avnd mai
nti amplitudinea $/2 "i apoi -$/2. La fiecare nivel de arborescen#! al calculului not!m cu C
0
suma
amplitudinilor de probabilitate ata"ate apari#iilor lui |0>, iar cu C
$
cea a amplitudinilor de probabilitate
ata"ate lui |$>. Luarea n calcul de aceast! maniera a amplitudinilor de probabilitate este un mod de a
reprezenta fenomenul fizic de interferen#! care se va produce n cursul observ!rii rezultatului: n exemplul
nostru cele dou! apari#ii ale lui |0> se vor amplifica (interferen#! constructiv! sau aditiv!), pe cnd cele
corespunznd lui |$> se vor anihila reciproc(interferen#! distructiv!). La fiecare nivel al arborelui de calcul
vom avea o probabilitate | C
0
|
2
de a observa 0> "i | C
$
|
2
de a observa |$> (unitaritatea operatorilor
garanteaz!, de altfel, c! la fiecare nivel al arborelui se verific! rela#ia | C
0
|
2
+ | C
$
|
2
= $). Astfel, cu
toate c! fiecare ramifica#ie a arborelui a dezvoltat superpozi#ii de |0> "i |$>,n cazul acestui calcul
observatorul nu va vedea niciodat! |$> ca rezultat (din cauza interferen#ei distructive) "i va citi ntotdeauna
valoarea |0>.
Consider!m un alt exemplu. Cititorul care a derulat el nsu"i n detaliu calculul precedent a putut
constata c! aplicarea operatorului A vectorului |0> produce superpozi#ia ) $ | 0 )(| 2 $ ( + > . Dac!
aplic!m acest operator fiec!ruia dintre qubi#i unui registru cuantic pe trei qubi#i, ini#ial setat n starea |000>,
rezultatul ob#inut va fi:

) $$$ | $$0 | $0$ | $00 | 0$$ | 0$0 | 00$ | 000 (|
3
) 2 $ (
> + > + > + > + > + > + + >

Astfel, n trei opera#ii - cte una pentru fiecare qubit - am ob#inut o superpozi#ie de 2
n
valori diferite. Dac!
am fi avut un registru de m!rime n ini#ializat n starea |00...0>, n n opera#ii am fi ob#inut o superpozi#ie de
2
n
valori posibile, fiecare cu o amplitudine de probabilitate de
n
2 $ . S! presupunem c! avem un
operator F care realizeaz! o func#ie f cu argumente valori ntregi "i ale c!rei valori sunt de asemenea
ntregi. n cazul general, dac! lu!m un registru pe n qubi#i ini#ializat cu |00..0>, transformat apoi de c!tre A,
"i aplic!m F st!rii astfel ob#inute, vom avea o superpozi#ie a tuturor valorilor lui f(x), pentru x ntre 0 "i 2
n
-
$. Asupra acestei ultime superpozi#ii putem aplica operatori care s! exprime, prin folosirea interferen#elor
aditive sau distructive, propriet!#ile dorite sau nedorite pe care le c!ut!m. n final, putem face o
m!sur!toare asupra rezultatului.

Vizualizarea unei succesiuni
de por"i cuantice oarecare
Observ!m c! pentru fiecare poart! num!rul firelor de la
intrare este egal cu num!rul firelor de la ie"ire.

not
x not
y

not






Jocul interferen#elor, colapsul pachetului de und! n timpul m!sur!rii, precum "i alte fenomene
cuantice care nu au fost evocate aici - ca inseparabilitatea "i corelarea fizic! la distan#! - sunt tot attea
resurse cuantice, foarte puternice "i cteodat! paradoxale, ce pot fi utilizate pentru reprezentarea, tratarea "i
comunicarea informa#iei.

Por"i cuantice

Pentru ca aceste propriet!#i foarte interesante ale sistemelor cuantice s! nu r!mn! doar simple
curiozit!#i, avem nevoie de un mijloc concret de ac#iona asupra unui sistem de qubi#i astfel nct
modific!rile suferite de c!tre informa#ia con#inut! n acest sistem, s! fie controlabile. Trebuie subliniat c!
termenul control "i pierde sensul clasic "i semnific! mai degrab! a avea garan#ia c! rezultatul dorit va
putea fi m!surat cu o probabilitate mai mare de 50 %. n acest sens, exist! mai multe abord!ri ale acestei
probleme, cele mai des ntlnite fiind por#ile cuantice, conceptul de ma"in! Turing cuantic! "i automatele
celulare. n continuare vom prezenta prima din aceste abord!ri.
Ca "i por#ile logice clasice, por#ile cuantice au ca intr!ri un num!r oarecare de qubi#i; ns!
diferen#a este c! la ie"irea acestor por#i, num!rul de "fire" va fi ntotdeauna egal cu num!rul de fire la
intrare (condi#ie impus! de reversibilitatea calculului). Por#ile cuantice nu mai sunt o modalitate de a
calcula o valoare logic!, ci mai degrab! o modalitate de a modifica o informa#ie al c!rui "depozit", sistemul
cuantic, r!mne totdeauna acela"i. L!snd la o parte pentru nceput aspectele matematice, ne putem
imagina informa#ia cuantic! "circulnd" pe un num!r de fire egal cu dimensiunea registrului cuantic "i pe
care por#ile cuantice apar ca filtre ce modific! valorile anumitor fire, n cea mai mare parte a cazurilor
(por#i pe mai mul#i bi#i) n func#ie de con#inutul altora. (fig $.) O succesiune de por#i cuantice ("i deci de
opera#ii asupra datelor) reprezint! un program cuantic.
Reg!sim cu u"urin#! acela"i principiu al secven#ei de opera#ii prezent n programarea procedural!.
Diferen#a esen#ial! este c!, avnd pe aceste fire o superpozi#ie a tuturor valorilor reprezentabile ntr-un
registru cuantic, efectu!m calcule simultane asupra tuturor acestor valori.
Putem porni de la un set elementar de por#i cuantice pe un bit. n acest sens, exemplul unei por#i NOT este
destul de intuitiv. Am notat mai jos Qi valoarea ini#ial! a unit qubit, iar NOT Qi reprezint! noua valoare
dup! aplicarea unui filtru NOT.

Qi = a|0> + b|$>



NOT Qi = a|$> + b|0> = b|0> + a|$>


Un aspect esen#ial este c! NOT-ul cuantic nu nseamn! o inversare a valorilor componentelor.
Fundamentul matematic ce st! la baz! por#ilor cuantice este reprezentat de rota#ia vectorilor ce formeaz!
baz! spa#iului vectorial al sistemului cuantic. Cum n cazul lui NOT avem o simetrie fa#! de prima
bisectoare, rezultatul este interschimbarea valorilor pe fiecare ax!. n aceea"i clas!, a por#ilor pe $ bit,
putem ntlni por#i pentru opera#ii uzuale cum ar fi func#ia identic!, dar "i opera#ii care dep!"esc intui#ia
clasic! cum ar fi poarta Hadamard (transform! a doua componenta ntr-o superpozi#ie de componente
ini#iale) sau chiar por#i cu comportament bizar cum ar fi "radical din NOT".
ntre por#ile pe mai mul#i bi#i exist! o poart! - numit! C-NOT (sau poarta Toffoli) - care prezint!
un interes special. Un C-NOT clasic pe doi bi#i neag! al doilea bit n cazul n care primul este $. Varianta
cuantic! efectueaz! aceast! opera#ie asupra fiec!rei componente a sistemului de qubi#i la fel ca n cazul
por#ii NOT prezentat! anterior. n varianta generalizat! a acestei por#i, avem un num!r n de bi#i de control
al c!ror AND poate schimba cel de al n+$ - lea bit. Conven#ia general uzitat! pentru reprezentarea unei
por#i C-NOT este cea din figura 2.
Qubitul x este qubitul de control n func#ie de a c!rui valoare vom nega sau nu y. O simpl! analiz!
a cazurilor posibile ne face s! observ!m c! putem descrie valoarea lui y dup! aplicarea unei por#i C-Not
prin func#ia logica x XOR y.
n informatica cuantic! teoretic!, se utilizeaz! o reprezentare matricial! pentru por#ile cuantice,
reprezentare care are avantajul de a permite lucrul ntr-un cadru formal. Prezent!m mai jos operatorii
corespunz!tori transform!rilor de baz! pe un bit:
transformarea identic!:

I=

$ 0
0 $


nega#ia:


N=

0 $
$ 0

deplasarea de faz!:


F=
|
|

\
|
0 $
$ 0


combina#ie a nega#iei "i deplas!rii de faz!:


Z=
|
|

\
|
$ 0
0 $



Se poate verifica foarte u"or c! aceste matrice sunt unitare, multiplicndu-le cu operatorii adjunc#i
corespunz!tori.
Pentru cazul unui C-NOT pe doi bi#i n care primul bit este bitul de control, matricea
corespunz!toare este:


C-NOT=
|
|
|
|
|

\
|
0 $ 0 0
$ 0 0 0
0 0 $ 0
0 0 0 $



Operatorul este n mod evident unitar, de vreme ce C-NOT* = C-NOT "i C-NOT C-NOT = I, propriet!#i
verificabile printr-un simplu calcul. Un aspect important privind acest operator este c! el nu poate fi ob#inut
printr-o compunere de por#i pe un bit.
Teorema fundamental!, care demonstreaz! viabilitatea acestei abord!ri prin prisma por#ilor
cuantice, afirm! c! orice poart! cuantic! se poate ob#ine plecnd de la un set elementar de por#i pe un bit "i
poarta C-NOT pe doi bi#i.

Primul meu program cuantic ...

n primul rnd trebuie spus c! aceast! metod! de a programa este similar! unei "implement!ri
hardware ". A"a cum spuneam, putem calcula orice func#ie calculabil! cu ajutorul setului universal de por#i
amintit mai sus. Vom considera un exemplu foarte simplu : interschimbarea valorilor a doi qubi#i,
realizabil! prin secven#a de trei por#i C-NOT din figura 3.
Pentru prima "i a treia poart! bitul de control este x iar pentru a doua este y. Se observa c!, dup!
fiecare poart!, bitul de control r!mne neschimbat, iar al doilea bit cap!t! valoarea dat! de un XOR ntre
vechea sa valoare "i valoarea bitului de control.
Cititorul care prefer! o abordare mai matematic! poate verifica mult mai riguros acest calcul
aplicnd formula matricial! corespunz!toare lui C-NOT.

Probleme...
Chiar dac! nu exist! nici o dificultate de ordin teoretic ("i, de fapt, tocmai acest lucru d! speran#e
ntregii comunit!#i "tiin#ifice care lucreaz! n informatica cuantic!) atunci cnd este vorba de punerea n
practic! a acestor principii, natura cuantic! a fenomenelor exploatabile pune probleme de natur! "tehnic!".
Teoria cuantic! este o teorie f!cut! s! lucreze la scara ntregului univers privit ca sistem n care exist! o
interac#iune permanent! ntre toate microparticulele existente. Calculatorul nostru cuantic este doar o mic!
p!rticic! din acest univers care se comport! ntotdeauna de o manier! "i care va perturba tot timpul
calculele noastre care urmeaz! totu"i un fir determinist. A izola sistemul nostru "i a l men#ine stabil pentru
o durat! de timp rezonabil! devine foarte dificil din punct de vedere fizic. Chiar dac! am putea evita
decoeren#a, exist! alte probleme care apar la nivelul trat!rii informa#iei cuantice. Fiecare poart!, indiferent
de construc#ia ei fizic!, va introduce mici erori care se vor acumula "i, dup! un anumit timp, vor
compromite calculul.

...#i solu"ii

Din fericire, pentru problemele care #in de precizie, exist! o solu#ie "software": codurile cuantice
corectoare de erori. Aceast! idee utilizeaz! redundan#a folosind mai mul#i qubiti n reprezentarea unuia
singur. Putem, de exemplu, s! cod!m st!rile de baz! ale unui singur qubit utiliznd trei qubi#i. Vom avea :
|0> <=> |000>
|$> <=> |$$$>
"i deci, n cazul general al unei superpozi#ii:
a |0> +b |$> < = > a |000> + b |$$$>
Principiul utilizat n corec#ia erorilor este c! pentru fiecare stare |xyz> putem observa
observabilele test y xor z "i x xor z. De exemplu, dac! avem o eroare de tipul:
a|000> + b|$$$> a|$00> + b|$$$>
atunci cnd vom observa observabilele test pentru starea care trebuia s! fie |000> vom avea valorile (0,$)
care ne vor semnala c! avem o eroare care trebuie corectat!. Putem utiliza codurile cuantice corectoare de
erori n tratarea erorilor cu cauze foarte variate, dar principiul va fi ntotdeauna acela"i: o reprezentare non-
local! (n sensul unei independen#e de o singur! entitate fizic! ion, foton etc.) a informa#iei cuantice.

Rudimente de "hard" cuantic

No#iunea de qubit, a"a cum am prezentat-o, este mai degrab! un model. Punerea n practic! a
acestui model este adev!rata problem! a fizicienilor. n general, pentru un sistem cuantic se pot distinge
mai multe observabile (propriet!#i) care, n majoritatea cazurilor, sunt reprezentabile n spa#ii infinit
dimensionale. Pentru a modela no#iunea de qubit, informatica cuantic! utilizeaz! doar observabile care
evolueaz! ntr-un spa#iu bidimensional. Aceast! abordare p!streaz! o analogie foarte puternic! cu
informatica clasic!. O abordare n care, spre exemplu, nu am mai utiliza reprezentarea binar! a numerelor -
ci o reprezentare direct! n dimensiunile unui spa#iu cu dimensiune infinit!, ar fi mult mai radical! "i ar
schimba ns!"i paradigmele fundamentale ale informaticii.

Un exemplu

Interschimbarea valorilor a doi qubi"i folosind o secven"! de trei
Por"i C-NOT
X (X xor Y) xor X =Y

X Y

Y X

X xor Y X xor Y Y xor (X xor Y)=X



O modalitate de a implementa qubit-ul este cu ajutorul ionilor ("ion traps"). Starea cuantic! a unui
ion este reprezentat! de o combina#ie liniar! a st!rii de baz! (ground) - interpretat! ca |0> - "i a unei st!ri
excitate - interpretate ca |$>. O astfel de stare poate fi men#inut! pentru o durat! de timp comparabil! cu
durata de via#! a st!rii excitate. Asupra qubi#ilor realiza#i cu ajutorul acestei tehnologii putem ac#iona prin
intermediul unor pulsuri laser. Dac! focaliz!m o raz! laser cu o anumit! frecven#! asupra unui ion aflat n
starea |0> (ground), acesta va absorbi pulsul, va trece ntr-o stare excitat! - dar instabil!, de unde va reveni
n starea |0> emi#nd un foton, fapt care va produce o anume fluorescen#!. Ionii afla#i n starea |$> nu vor
reac#iona la pulsurile laser r!mnnd ntuneca#i. Problema principal! n folosirea acestei tehnologii este
faptul c! este foarte lent!. Fiecare puls trebuie men#inut cel pu#in o durat! invers propor#ional! cu frecven#a
sa. n practic! aceast! durat! este de $0
5
secunde, mult prea lent! n compara#ie cu timpii ob#inu#i pentru
circuitele clasice.
Alte posibilit!#i de realizare a qubit-ului sunt polarizarea fotonilor "i rezonan#a magnetic nuclear!
(NMR). Aceasta ultim! metod! pare a fi cea mai promi#!toare, n ultimul timp spre ea ndreptndu-se
aten#ia majorit!#ii fizicienilor care lucreaz! n domeniu. Primele demonstra#ii concrete ale fenomenelor
prezise teoretic : teleportarea, implementare unei por#i C-NOT etc. au fost realizate folosind aceast!
metod!. n esen#!, qubitii sunt stoca#i n anumi#i spini nucleari. La ac#iunea unui cmp magnetic spinii iau o
direc#ie paralel! cu liniile de cmp avnd fie acela"i sens (stare asimilat! cu |$>), fie sens contrar (stare
asimilat! cu |0>). Principala problem! a acestei metode este decoeren#a foarte mare pe care o implic! "i
care face deja realizarea unor sisteme cu mai mult de $0 qubi#i o adev!rat! provocare.
n momentul de fa#!, realiz!rile efective n informatica cuantic! sunt, n principal, sisteme n care se
reu"e"te implementarea unor opera#ii elementare cu ajutorul a doi sau trei qubi#i. Este nc! o distan#! mare
pn! la realizarea de sisteme n care s! se poat! manipula sute de qubi#i, dar n contextul unei explozii a
interesului pentru informatica cuantic! opiniile vis-a-vis de realizarea unor implement!ri utile n
urm!toarea decad! sunt, n general, optimiste.

"Vechiul sistem de criptare RSA nu mai oferea..." (din viitoarea istorie a informaticii)

Vom termina evocnd o veche problem! a c!rei solu#ie a marcat istoria nc! tn!r! a informaticii
cuantice. Este vorba de factorizarea unui ntreg n factori primi. Fie N un num!r con#innd L=logN cifre
zecimale. Cel mai naiv mod de a face factorizarea este de a mp!r#i N la 2, 3, ... vN "i de a verifica de
fiecare dat! dac! restul este nul. Acest algoritm cere cel mult vN mp!r#iri, deci de ordinul a $0
2 L
opera#ii
"i devine, astfel, exponen#ial n L, m!rimea datelor problemei. Recent au fost f!cute progrese semnificative
prin g!sirea unui algoritm sub-exponen#ial de ordinul exp[L
$/3
]. Cu toate c! mult mai rapid dect algoritmul
naiv, acesta este de asemenea departe de a fi eficace: n $994, un num!r de $29 cifre (cunoscut sub numele
de RSA$29) a fost factorizat utiliznd acest algoritm, ceea ce a ocupat timp de 8 luni $.600 de sta#ii
r!spndite n ntreaga lume. Ar trebui 800.000 de ani pentru a factoriza un num!r de 250 de cifre. Aceast!
dificultate este, de altfel, principala proprietate pe care se bazeaz! tehnicile de securitate cele mai fiabile
cum ar fi sistemul RSA cu cheie public! "i care vor tr!i nc! zile frumoase atta timp ct nu se va g!si un
algoritm polinomial pentru aceast! problem!. De altfel, nimic nu dovede"te c! un asemenea algoritm nu ar
putea exista "i n informatica clasic!.
n $994, Peter Shor de la AT&T's Bell Laboratories, a reu"it s! trateze aceast! problem! utiliznd
informatica cuantic!. Algoritmul s!u de factorizare, ameliorat n $999 de Richard Hughes de la Los Alamos
National Laboratory, func#ioneaz! dup! principiul urm!tor:

0. Fie N ntregul care trebuie factorizat.
1. Alegem un num!r oarecare a ntre 2 "i N - 1:
Dac! cel mai mare divizor comun (cmdc) z ntre a "i N nu este 1, stop: z este un divizor al lui N;
Altfel, a "i N sunt prime ntre ele "i continu!m cu pasul 2.
2. Fie func#ia f
N,a
(x) = a
x
mod N. Teoria numerelor spune c! aceast! func#ie este periodic!; fie r perioada
sa.
3. Dac! r este par, atunci calcul!m: z = max {cmdc(N, a
r/2
-1), cmdc(N, a
r/2
+1)};
Dac! z nu este egal cu 1, stop: z este un divizor al lui N;
Altfel ne ntoarcem la pasul 1, "i rencepem;
Dac! r nu este par ne rentoarcem la 1.

Fie L num!rul de cifre binare a lui N. Pa"ii $ "i 3 ai acestui algoritm, care calculeaz! cmmdc, sunt
polinomiali n L. Singura problem! r!mne pasul 2 n care calcul!m perioada r a func#iei f
N,a
(x). Dac! acest
pas ar fi polinomial, atunci algoritmul ar fi polinomial. Acesta este pasul pe care Peter Shor la pus sub
form! cuantic! utiliznd, ntr-o versiune cuantic! a transform!rii Fourier discrete, inseparabilitatea "i
corelarea cuantic! la distan#!. Algoritmul cap!t! astfel o complexitate cuantic! polinomial! de ordin:
L
2
*logL*loglogL.
Consecin#!: sistemul de criptare RSA nu va mai oferi nici o securitate n momentul n care primul
calculator cuantic va func#iona. Dar ceea ce informatica cuantic! ia cu o mn!, ofer! cu cealalt!: n timp ce
sistemele clasice de criptare nu fac dect s! limiteze riscurile indiscre#iilor prin tehnici matematice, au fost
deja experimentate metode cuantice de criptare n care mesajele sunt f!cute inviolabile prin nse"i legile
fizicii.
Dl. Philippe Jorand este Director de Cercetare CNRS - poate fi contactat la adresa Philippe.Jorrand@imag.fr, Florin
Ciontu este student al Institutului de Informatic! "i Matematici Aplicate Grenoble - IMAG "i cercet!tor asociat al laboratorului
Leibniz, Grenoble - poate fi contactat la adresa Florin.Ciontu@imag.fr

S-ar putea să vă placă și