Beruflich Dokumente
Kultur Dokumente
=
i
a i
i
a c ) (
i i
a a
c =
Mcanique quantique
Mesure en quantique
Soit un appareil (macroscopique) permettant de mesurer la
valeur dune observable A pour une particule.
La mesure est un processus alatoire
La probabilit que la mesure donne le rsultat a vaut
2 2
Aprs la mesure la fonction donde est transforme et
devient =
a
2 2
) (
a a
c a p = =
Mcanique quantique
Quelques remarques :
La fonction donde permet de dcrire un systme mais en terme
de probabilit
La fonction donde est norme 1
La mesure est une manire de prparer une particule dans un
tat quantique donn.
2 2 2
) ( 1 = = = =
i
i
i
i
i
a
a
a
a
a
i
c a p
Mcanique quantique
Intrication quantique
Soit, par exemple, un systme form de deux particules
pouvant prendre deux tats 0 et 1.
alors le systme peut prendre les 4 tats suivants
11 et 10 ; 01 ; 00
Mais aussi toute les superpositions
11 10 01 00
11 10 01 00
c c c c + + + =
11 et 10 ; 01 ; 00
Mcanique quantique
Soit par exemple ltat particulier
Si on mesure ltat de la particule et on obtient 0 (resp. 1) ,
alors ltat des deux particules est |00> (resp. |11>) et ltat
de la particule 2 est donc 0 (resp. 1)
( ) 11 00
2
1
+ =
de la particule 2 est donc 0 (resp. 1)
On dit que les particules sont dans des tats intriqus
Note : Cette proprit dintrication est utilise en
cryptographie quantique
Si un espion intercepte le signal on le sait
Ordinateur quantique : Principe Ordinateur quantique : Principe
Utiliser le principe de superposition des tats
quantiques pour faire des calculs en mme temps sur
tous les tats
Les 5 lments ncessaire la ralisation de lOQ
1) Un systme physique compos de qbits 1) Un systme physique compos de qbits
2) Initialiser dans ltat
3) Long temps de dcohrence et correction derreur
4) Un set universel de porte logique
Pour prparer les tats partir de
Raliser les oprations quantiques
5) Effectuer des mesures (lecture de rsultats)
n
0 ... 0 0
2 1
=
n
0 ... 0 0
2 1
=
OD: qbit
Les qbits
Pour cela on dfinit des qbit (quantum bit)
comme superposition dtats quantiques
1 bit = tat 0 ou 1
1qbit =
1 1 0
2
1
2
0 1 0
= + + = c c avec c c
1qbit =
2 bits = tat 00, 01 10 ou 11
2 qbits =
Gnralisation n bits
1 avec
11 10 01 00
2
11
2
10
2
01
2
00
11 10 01 00
= + + +
+ + + =
c c c c
c c c c
1 0 1 0
OQ: oprateurs
Les oprateurs lmentaires
Ils doivent :
respecter la norme des vecteurs donde
( )
2 2
= G
respecter la superposition dtats
tre rversible
G*G=id
=> G transformation unitaire
( ) ( ) ( ) ( ) ( ) 11 10 01 00
11 10 01 00
G c G c G c G c G + + + =
OQ: oprateurs
Exemples :
Porte Hadamard
( )
( )
+
1 1
1 1
2
1
1
0
1 0
1
1 0
2
1
G G
C -NOT
0010
0001
0100
1000
11
10
01
00
10
11
01
00
12 12
G G
( )
1 0
2
1
2
2 1
i i
2 1
i i G
OQ : oprateurs
Circuit quantique de porte dchange
Circuit quantique quelconque
OQ : oprateurs
Circuit quantique de transforme de Fourier
Complexit :
Quantique :n(n+1)/2
Classique : n.2
n
OQ : mesure
Indispensable pour accder aux rsultats qui est une
superposition dtats
Ex: 2 qbits
Problme
Processus alatoire
pas de contrle sur le rsultat de la mesure
11 10 01 00
11 10 01 00
c c c c + + + =
2
.., , , ) .., , , ( n c b a n c b a p =
pas de contrle sur le rsultat de la mesure
Destruction aprs mesure
Solution
Refaire le calcul => couteux
Chercher un algorithme tel que la solution du problme
revient un seul tat (ou un nombre acceptable dtats)
n c b a ..., , , =
OQ : enjeux
Factorisation en nombre premier
classique : exponentiel
quantique (Shor): polynomial
=> possibilit de casser les mthodes cryptographiques
classiques
Logarithme discret Logarithme discret
Simulations de physique quantique.
Recherche dans une base de donnes
Systmes dquations linaires matrices creuses
2008 Harrow, Hassidim et Lloyd
O(log(n)) au lieu de O(n)
OQ : Difficults
Technologiques
Trouver un systme quantique
Ralisable en pratique
Permettant de crer, modifier mesurer un
ensemble de n qbits
Qui offre un temps de dcohrence long
Ce temps dcroit fortement avec la taille du systme et
donc avec le nombre de qbit traits
Avec n grand
OQ : difficults
Algorithmiques
Trouver des algorithmes :
respectant les rgles de lOQ
rsolvant des problmes couteux en opration
classiques
plus efficaces que les calculs classiques
Sources
Thse de doctorat de Benjamin Levi (2004)
Simulation de systmes quantiques sur un
ordinateur quantique raliste
WIKIPEDIA
Cours Informatique quantique de Frdric Cours Informatique quantique de Frdric
Magniez
N 398 | JUIN 2006 | LA RECHERCHE
Alexandre Blais Calcul quantique universel
sur qubits supraconducteurs