Documente Academic
Documente Profesional
Documente Cultură
Andres Sicard Ramrez (email: asicard@eafit.edu.co) Juan Fernando Ospina Giraldo (email: judoan@epm.net.co) Luis Fernando Moreno (email: lmorenos@eafit.edu.co) Mario Elkin Velez Ruz (email: mvelez@eafit.edu.co) Grupo de Logica y Computacion Departamento de Ciencias Basicas Universidad EAFIT, Medelln, Colombia 2004
p. 1
Contenido
1. Introduccin a la computacin cuntica 2. Preliminares (matemticos, fsicos, informticos) 3. Circuitos cunticos 4. Algoritmos cunticos (Deutsch, Deutsch-Jozsa, Shor) 5. Simuladores 6. Realizacin fsica
p. 2
Quantum computation and quantum information. Cambridge: Cambridge University Press, 2000 .
N. David Mermin. From cbits to qubits: teaching
arXiv.org/abs/quant-ph/9812037.
p. 3
Recursos Internet
Servidor de los Alamos (arxiv.org/) (xxx.lanl.gov). Virtual Journal of Quantum Computation (www.vjquantuminfo.org/). Artculos clsicos (pm1.bu.edu/~tt/qcl.html). Centre for Quantum Computation - Oxford (www.qubit.org/) Simuladores (www.vcpc.univie.ac.at/~ian/hotlist/qc/programming.shtml)
p. 4
Alan Mathison Turing (1936): Mquina de Turing K. de Leeuw, E. F. Moore, C. E. Shannon y N. Shapiro (1956): Computacin probabilista. Charles H. Bennett (1973): Computacin reversible.
Compuerta no reversible: Compuerta reversible: x y x y xor xor xy x xy
p. 5
ssi z = 0 (compuerta and), ssi y = 1 (compuerta xor ), ssi x = y = 1 (compuerta not), ssi x = 0; y = 1 (compuerta identidad).
p. 6
z(xy) =
Richard Feynman (1982, 1985): Computacin mecnico-cuntica. David Deutsch (1985): Mquinas de Turing cunticas.
|x
p. 8
Peter Shor (1994): Algoritmo para factorizar un nmero en sus factores primos de complejidad temporal polinomial
T (n)
Complejidad exponencial
Complejidad polinomial
p. 9
Nmero de dgi- Algoritmo tos clsico 129 1.85 aos 250 2.1 106 aos 1000 4.5 1025 aos
p. 10
Lov K. Grover (1996): Algoritmo de busqueda en una base de datos desorganizada. Implementacin
p. 11
Simuladores Bernhard mer (1994): QCL: A Programming Language for Quantum Computers (para Linux). Colin P. Williams y Scott H. Clearwater (1997): Simulador implementado en MATHEMATICAT M .
p. 12
Preliminares matemticos
lgebra lneal Espacios vectoriales y operadores lneales Representaciones matriciales y espectros Espacios y operadores unitarios lgebra multilineal Producto tensorial de espacios vectoriales Producto tensorial de operadores lineales Anlisis lneal Funciones de operadores lneales Ecuaciones de evolucin Espacios de Hilbert y lgebras Banach Transformada cuntica de Fourier
p. 13
lgebra lneal
Espacios vectoriales y operadores lneales Representaciones matriciales y espectros Espacios y operadores unitarios Matrices hermticas, matrices de Pauli
p. 14
lgebra multilineal
Producto tensorial de espacios vectoriales Producto tensorial de operadores lneales Matrices de Dirac y lgebras de Clifford Grupos y lgebras de Lie
p. 15
Anlisis lneal
Funciones de operadores lneales Exponencial de operadores lneales Ecuaciones de evolucin Espacios de Hilbert y lgebras Banach Transformada cuntica de Fourier
p. 16
Preliminares fsicos
p. 17
p. 18
p. 19
p. 20
p. 21
p. 22
p. 23
p. 24
p. 25
p. 26
p. 27
p. 28
p. 29
p. 30
p. 31
p. 32
p. 33
p. 34
p. 35
p. 36
p. 37
Primer postulado: A cada sistema fsico descrito por la mecnica cuntica se le asocia un espacio de Hilbert, y a cada estado del sistema un vector (ket), de ese espacio. Segundo postulado: Toda cantidad fsica medible est descrita por un operador A que acta sobre el espacio de Hilbert, este operador es un observable. Tercer postulado: El nico resultado posible de una medida fsica, es un autovalor del correspondiente observable.
p. 38
Cuarto postulado (caso discreto no degenerado): Cuando una cantidad fsica es medida sobre un sistema, el cual est en un estado normalizado | x , la probabilidad de encontrar el autovalor an correspondiente a un observable A es:
P (an ) = | n|x |2 ,
p. 39
Quinto postulado: Si la medida de una cantidad fsica sobre un sistema que est en un estado | x da un resultado an , el estado del sistema est, inmediatamente despus de la medida, en la proyeccin normalizada,
Pn | x ,
x|Pn |x
p. 40
Sexto postulado: La evolucin en el tiempo del vector de estado | x(t) es gobernada por la ecuacin de Schrdinger:
d i | x(t) = H(t) | x(t) , dt
p. 41
Preliminares informticos
In(computabilidad) Mquinas de Turing Mquina universal de Turing Compuertas lgicas universales In(tratabilidad) Notacin asinttica Complejidad algortmica Clases de complejidad P y N P Problemas N P -completos
p. 42
Circuitos cunticos
Compuertas cunticas de 1-qubit Espacio vectorial de 1-qubit Operador unitario sobre 1-qubit Matrices de Pauli (X, Y, Z) Compuertas de Hadamard (H ), fase (S ) y /8 (T ) Operadores de rotacin y descomposiciones Compuertas cunticas controladas Compuerta CN OT Compuerta U controlada y su implementacin Compuerta C 2 (U ) y su implementacin Compuertas cunticas universales
p. 43
Compuerta Hadamard
Circuito
Representacin matricial
1 2
1 1 1 1
p. 44
Compuerta de Pauli X
Circuito
Representacin matricial
0 1 1 0
p. 45
Compuerta de Pauli Y
Circuito
Representacin matricial
0 i i 0
p. 46
Compuerta de Pauli Z
Circuito
Representacin matricial
1 0 0 1
p. 47
Compuerta de fase
Circuito
Representacin matricial
1 0 0 i
p. 48
Compuerta /8
Circuito
Representacin matricial
1 0 0 ei/4
p. 49
Compuerta U
Circuito
Representacin matricial
U = ei AXBXC, ABC = I
p. 50
Compuerta CN OT
Circuito
|c |t |c
|t c
Representacin matricial
1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0
p. 51
Operacin U controlada
Circuito
|c |t U
|c Uc | t
Representacin matricial
I 0 0 Uc
p. 52
Compuerta X controlada
Circuito
|c |t X
|c Xc | t
Representacin matricial
I 0 0 Xc
p. 53
Compuerta Z controlada
Circuito
|c |t Z
|c Zc | t
Representacin matricial
I 0 0 Zc
p. 54
Circuito
|c |t ei I
|c eic I | t
Representacin matricial
I 0 0 eic I
p. 55
Circuito equivalente
0 ei
p. 56
Operacin U controlada
Circuito
Representacin matricial
U = ei AXBXC, ABC = I
p. 57
Operacin C 2 (U )
Circuito
| c2 | c1 |t U | c2 | c1 U c1 c2 | t
Representacin matricial
I 0 I 0 ,I = c1 c2 0 I 0 U
p. 58
Operacion C 2 (U )
Circuito
V V
V es cualquier operador unitario que satisface V 2 = U . V (1 i)(I + iX)/2 corresponde a la compuerta Toffoli.
p. 59
Algoritmos cunticos
|0 |0 | 0
y y f (x) | 1
Uf
x
| 0,f (0) +| 1,f (1) 2
| 2
Circuito cuntico para evaluar f (x) : {0, 1} {0, 1}. La compuerta Uf acta sobre un sistema 2-qubit. Aprovecha la superposicin de estados del primer qubit para evaluar paralelamente f (0) y f (1).
p. 60
Algoritmo de Deutsch
|0
1 2
|0 |1 | 0 | 1
Uf | 2 | 3
1 2
|0 |1
p. 61
Algoritmo de Deutsch-Jozsa
|0
H n
H n
1 2
|0 |1 | 0 | 1
Uf | 2 | 3
1 2
|0 |1
p. 62
Factorizacin cuntica
p. 63
c0 | 0
2n n + c1 | 1
+ . . . + c2n 1 | 2n 1 , n
donde
Fq | k
n
1 = 2n
2n 1 j=0
2ijk 2n
|j
para 0
k < 2n .
p. 64
+ + 2n 1 | 2n 1 n ) n
+ + 2n 1 Fq | 2n 1 n
p. 65
= | k1 k2 . . . kn se
| 0 +e2i0.k1 k2 ...kn | 1
| 0 +e2i0.kn1 kn | 1
| k1 | k2 | k3
| k4
R2
R3
R4 H R2 R3 H R2
| 2 | 3
| 4 | 5
| 6
| 7 | 8
| 9
| 0
| 1
| 11 | 10 | 12
p. 66
2n n
|k
c0 | 0
2n n + c1 | 1
+ . . . + c2n 1 | 2n 1 , n
donde
1 Fq | k n
1 = 2n
2n 1 j=0
2ijk 2n
|j
para 0
k < 2n .
p. 67
Estimacin de fase
Problema: Suponga un operador unitario U con un autovector | u y un autovalor asociado e2i , es decir, U | u = e2i | u . El problema de la estimacin de fase es determinar , con [0, 1). Se dene la compuerta V de tal forma que
V (| j t | u ) = | j Uj | u m
= | j e2ij | u
= e2ij | j | u .
p. 68
|j t|u
p. 69
V (| j t | u | j t Uj | u
m)
e2ij | j t | u
p. 70
2ij
1 2t
2t 1 2ijk e 2t k=0
|k t|u
1 2t
2t 1 j=0 t
k 2i 2t j
|k t|u
= 2t
|u
|0
H t
1 Fq
V
|u
m
m | 0 | 1 | 2 | 3
|u
p. 72
El orden r de x mdulo N
Sean x, N dos enteros positivos coprimos con x < N . El orden de x mdulo N es el menor entero positivo r, tal que xr md N = 1. o Ejemplo: Sean x = 5 y N = 21 , el orden r de 5 mdulo 21 es 6, pues
51 md 21 = 5 , o 52 md 21 = 4 , o 53 md 21 = 20 , o 54 md 21 = 16 , o 55 md 21 = 17 , o 56 md 21 = 1 . o
p. 73
2. Empleando H t se crea una superposicin uniforme de todos los estados de la base del sistema t-qubit sobre el primer registro
| 1 1 = 2t
2t 1 j=0
|j t|1
p. 74
V(x,N ) (| j t | 1 n ) |j xj md N o .
b=0 a=0
| ar + b
xb md N o
.
p. 75
4. Se mide el segundo registro y, con probabilidad b md N de los r o 1/r, se obtiene un estado x posibles
| 3 = 1 2t /r
2t 1 r
ar + b
o x md N
a=0
p. 76
a=0
1 2t
2t 1 k=0
2ik(ar+b ) 2t
|k
x md N o
1 = r 1 = r
1 2t /r
2t 1 r
2i
k t /r 2
a 2i( k )b 2t
a=0
|k .
o x md N
e
s=0
s 2i( r )b
2t r t
x md N o
p. 77
6. Se mide el primer registro y se obtiene donde s toma cualquier valor entre cero y (r 1). Luego se divide por 2t y se aplica el algoritmo de fracciones continuas para obtener r o un r factor de r.
2t r,
p. 78
|0
H t V(x,N )
1 Fq
|1
n | 0 | 1 | 2 | 3 | 4
p. 79
Algoritmo de Shor
Problema: Dado un entero N , determinar sus factores primos no triviales. 1. Mientras que N sea par divida N por dos y retorne el factor 2. 2. Verique que N sea compuesto. Mediante el algoritmo de Manindra esto es posible en tiempo polinomial. 3. Determine si N es de la forma ab , con a > 2 y b 2, pues el mtodo para encontrar el orden puede fallar si N es de esta forma con a primo impar. Si N = ab , retorne b veces el factor a. Si N no es de la forma ab vaya al paso (4).
p. 80
4. Aleatoriamente elija un x, tal que 1 < x < N 1. Mediante el algoritmo de Euclides encuentre el mximo comn divisor entre x y N . Mientras que m.c.d.(x, N ) > 1, retorne el factor m.c.d.(x, N ) y a N asgnele N dividido por m.c.d.(x, N ). Si ahora N es un nmero primo termine el algoritmo. De lo contrario evale si es necesario encontrar los otros factores de N cunticamente. En caso armativo vaya al paso (5), sino, encuentre los otros factores clsicamente. 5. Ejecute el algoritmo cuntico para encontrar el orden r de x mdulo N .
p. 81
6. Si r es impar hay que ejecutar nuevamente la parte cuntica del algoritmo con un nuevo x, vaya al paso (4). Si r es par se dene y como
xr/2 md N = y , o
(1)
donde 0
xr/2
lados se obtiene
xr = k2 N + y 2 .
(2)
p. 82
De la diferencia entre (2) y (3) se encuentra que (y 1)(y + 1) = (k3 k2 )N , es decir, N divide a (y 1)(y + 1). Luego, si 1 < y < N 1 entonces 0 < y 1 < y + 1 < N , lo cual implica que N no divide a y 1 a y + 1 separadamente. Se concluye que y 1 y y + 1 contienen factores de N por el teorema fundamental de la aritmtica. As, el m.c.d.(y 1, N ) y el m.c.d.(y + 1, N ) son factores no triviales de N .
p. 83
Simuladores cunticos
En computacin, la simulacin es la ejecucin de un algoritmo que nge un sistema de tal forma que dadas unas condiciones iniciales, se pretende determinar cules sern las condiciones nales de ste.
En el presente: software clsico ejecutable en un computador clsico que slo alcanza a simular sistemas cunticos pequeos. En el futuro: software cuntico ejecutable en un computador cuntico que tendr el potencial de simular sistemas cunticos grandes.
p. 84
En www.vcpc.univie.ac.at/~ian/hotlist/qc/programming.shtml hay una lista de enlaces a simuladores y lenguajes de computacin cuntica. Dos de ellos que permiten la construccin y simulacin de circuitos cunticos son:
qcad QuaSi
p. 85
qcad
Ventajas: Su GUI es amigable. La contruccin de los circuitos es fcil. Resultados en forma grca, adems de la notacin de Dirac.
p. 86
qcad
Desventajas: Compuertas de medicin ignoradas. No permite la realizacin de la simulacin paso a paso. Para mostrar los resultados representa los qubits de derecha a izquierda as | xn xn1 . . . x2 x1 , es decir, el primer qubit es el del extremo derecho y el ltimo es el del extremo izquierdo. Esto es contrario a la forma usual. El usuario no puede denir sus propias compuertas. Est limitado a las predenidas.
p. 87
El siguiente circuito fue construido y simulado utilizando quasi. Este circuito es una implementacin optimizada del algoritmo de Shor para factorizar el nmero 15 con x = 7.
H H H
H 90 H 45 90 H
| 0
| 2
| 4 | 6
| 8 | 10 | 12 | 14 | 16
p. 88
Resultado simulacin
1 | = | 0010 | 000 + | 0010 | 001 4 | 0010 | 010 | 0010 | 011 + | 1000 | 010 + | 1000 | 011 + | 1000 | 000 + | 1000 | 001 +
i | 1011 | 010 + i | 1011 | 011 + | 1110 | 000 | 1110 | 001 + i | 1110 | 010 i | 1110 | 011 .
p. 89
QuaSi
Ventajas: Simulacin paso a paso. Solamente los resultados con amplitudes diferentes de cero son mostrados. Demostraciones del algoritmo de Shor, del algoritmo de Deutsch-Jozsa y del algoritmo de Grover.
p. 90
QuaSi
Su GUI consta de cuatro ventanas: en la primera se construye el circuito; en la segunda se observa la evolucin de la simulacin en la notacin de Dirac; en la tercera se graca el valor absoluto de cada amplitud y su desplazamiento de fase relativo y en la cuarta ventana las amplitudes son mostradas divididas en su parte real (azul) e imaginaria (roja). Permite la creacin de compuertas denidas por el usuario, denir funciones y cargar archivos XML que contienen instrucciones para la creacin de circuitos cunticos.
p. 91
QuaSi
Desventajas: Algunas veces se bloquea durante la construccin del circuito. Es tedioso a la hora de hacer modicaciones a los circuitos. Al repetir la simulacin de un circuito n veces los datos obtenidos no corresponden con los esperados estadsticamente.
p. 92
Circuito cuntico para transportar un qubit de un espacio fsico a otro en ausencia de un canal fsico de comunicacin.
|0
|0
|0 | 0 | 1 | 2 | 3 | 4 | 5 | 6
X | 7
Z | 8
p. 93
| 0 = | 0 | 0 | 0 , ` 1 | 1 = | 0 |0 + |1 |0 2 ` 1 = | 0 | 00 + | 10 ,
2
| 2 = | 0 | 3
1 2
| 00 + | 11
| 4 = = | 5 =
| 000 + | 011 + ` | 0 | 00 + | 11 + `
` | 110 2 2
+ | 101
` ,
|1 +
| 10 + | 01
|0 + |1
| 00 + | 11
` |0 2
p. 96
Realizacin fsica
Resonancia nuclear magntica (NMR) Implementacin NMR con fase geomtrica Computador cuntico atmico Iones atrapados Implementacin ptica
p. 97