ppt - Département de physique

011011010101001001010100010010110001001010100100100110010010
010010100100101100101010010011001001011011110110001011101011
101000101110010011000101100100101001001110010010011001001001
100111001010010100011010101001001010100100101010011001001001
010010100100101100101010010011001001011011110110101110101001
101000101110010011000101100100101001001110010010011001001001
100111001010001010101010101001001010010010110000010010011010
010010100100101100101010010011001001011011110101010101110101
101000101110010011000101100100101001001110010010011001001001
100111001010001010101001001010110110101011000101001001001110
010010100100101100101010010011001001011011110110000101110101
101000101110010011000101100100101001001110010010011001001001
100111001010001010101010100111101101101010100100110010010010
010010100100101100101010010011001001011011110110101011101011
101000101110010011000101100110110101000100100101100100100101
010010100100101100101010010011001001011011100101010111010111
101000101110010011000101100100101001001110010010011001001001
100111001010001010101010100111000101 01001001111100100100101
100111001010001010101010100111001010100100100010010011101101
Une approche consistante au
calcul quantique
David Poulin
LITQ
Université de Montréal†
Directeur: Gilles Brassard
Javier 2002
†Adresse actuelle: Département de physique, Université de Waterloo
et T-6 Division, Los Alamos National Laboratory

Aperçu
•CQ.
•Y a-t-il un avantage au CQ?
•Puissance de calcul de la mécanique quantique.
•Puissance de communication de la MQ.
•Formalisme des Histoires Consistantes.
•HC pour le CQ.
•HC pour l’étude de la puissance de calcul
de la MQ.
David Poulin, LITQ Université de Montréal

CQ
David Poulin, LITQ Université de Montréal
Classique
0 ou 1
000...0 (0)
000...1 (1)
111...1 (2n-1)
1 bit
nbits
Mesure
b1b2b3...bn
b1b2b3...bn
Quantique
| + |1| |2 + | |2=1
1 qubit
12
0
n
iiic
ex. 4 qubits: |7= |0111
1
12
0
2
n
iic
nqubits
Mesure
12
0
n
iiic
i avec probabilité |ci|2

CQ
David Poulin, LITQ Université de Montréal
Classique Quantique
A
BNAND (A B)
B
A
A
B
AA
A
|a
|b
|a
|bif a=0
|bif a=1
U|0  (
|0+ |1)
|1  (
*|0- *|1)

CQ –Les exploits
Les calculateurs quantiques peuvent simuler les
calculateurs classiques de façon efficace.
Nous croyons que l’inverse n’est pas vraie.
•Si factoriser est difficile. (Sous groupe abélien caché)
•Problèmes NP complets avec calculateur adiabatique.
•Gain quadratique (boîte noire).
•Simulation de systèmes quantiques.
David Poulin, LITQ Université de Montréal