Algoritmos cuánticos

Andrés Sicard

Grupo de Lógica y Computación

Departamento de Ciencias Básicas
Universidad EAFIT, Medellı́n, Colombia

VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 1

Computación Cuántica


Implementación























Clases de complejidad


Algorítmica


Problemas -completos


CC discreta













CC continua




















CC (no) adiabática


Modelos



abeliana











CC geométrica (holonómica)
no abealina


¡¡ Hipercomputación !!

VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 2

 -qubits




-qubit base computacional










-qubit









-qubit








.. .. ..
. . .








-qubit











Crecimiento lineal en el número de qubits
vs
Crecimiento exponencial en el espacio computacional
VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 3
Representación -qubits
-qubit superposición vector




-qubit
















..


-qubit



.





 



.. .. ..
. . .







..



-qubit


.


 






VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 4
Compuertas cuánticas (1)
-qubit






Negación






Representación matricial:





  

 





  




 














VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 5
Compuertas cuánticas (2)
-qubit

 















 



Hadamard















-qubit



Controlado:




VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 6
Compuertas cuánticas (3)
1. Operadores lineales


2. Operadores unitarios de evolución

3. Reversibles


Si entonces


4. Universales



Toffoli







VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 7
Paralelismo cuántico
La capacidad de un sistema cuántico de estar en varios
estados de la base computacional simultáneamente es
denominada paralelismo cuántico.

Un operador implementa una función si


 





 
Sea , entonces













VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 8

Medida cuántica
Los algoritmos cuánticos son probabilistas debido al
indeterminismo de los resultados de una medida
cuántica.


o77


o








oo


oo
oooo
o
ooo



// Medida cuántica

OO OOO
OOO
OOO











OOO


''





Por lo tanto, es necesario que y



son denominadas amplitudes de probabilidad.

VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 9

Interferencia (1)
Computación probabilista

uu III



uu II

u II


uu II
uzz u  $$
























 











VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 10

Interferencia (2)
Computación cuántica: interferencia destructiva



uu III
uu II






uu II
u II
uzz u  $$





















 








 


 






VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 11

Interferencia (3)
Computación cuántica: interferencia constructiva



uu III
uu II



uu II
u II
uzz u  $$





















 








 


 











VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 12
Algoritmos cuánticos: compleji-
dad algorítmica
CC CQ
Algoritmo Problema
Deutsch ¿Es una función




 

 
(1985) ba-

lanceada?


Deutsch- ¿Es una función





Jozsa


 

 
ba-


(1992) lanceada?
Grover Busquedad en una BD


(1996) desorganizada de


elementos







Shor Factorizar un número


(1994) entero
VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 13
Algoritmo de Shor vs. algoritmo
clásico

Nro. dígitos Alg. clásico Alg. de Shor

años minutos





años horas







años días




VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 14
Algoritmos cuánticos: computa-
bilidad
The term ‘hypermachine’ denotes any data processing
device (theoretical or that can be implemented)
capable of carrying out tasks that cannot be
performed by a Turing machine

Problema
Algoritmo
Deutsch (1985) Generación de números aleatorios
Kieu (2001-2004) Décimo problema de Hilbert
Calude-Pavlov Problema de la parada
(2001)

VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 15

Problemas abiertos
Complejidad algoritmica
Diseñar un algoritmo cuántico de tiempo
polinomial para un problema -completo

Computabilidad
Determinar si es posible construir un
hipercomputador cuántico

VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 16

Implementación
Técnicas
Resonancia nuclear magnética (NMR)
Implementación NMR con fase geométrica
Computador cuántico atómico
Iones atrapados
Implementación óptica
Logros alcanzados
1998: -qubit (University of California


Berkeley)
1999: -qubit (IBM-Almaden)


2000: -qubit (IBM-Almaden, Los Alamos)



2001: -qubit (IBM-Almaden)



VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 17

Recursos Internet
Servidor de los Alamos (arXiv.org) .
Virtual Journal of Quantum Computation
(www.vjquantuminfo.org/).
Artículos clásicos
(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).

VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 18

Recursos bibliográficos

[1] Isaac L. Chuang and Michael A. Nielsen. Quantum computation

and quantum information. Cambridge: Cambridge University
Press, 2000.
[2] Eleanor Rieffel and Wolfgang Polak. An introduction to quantum
computing for non-physicists. ACM Computing Surveys,
32(3):300–335, 2000. Preprint:
arXiv.org/abs/quant-ph/9809016.
[3] Dorit Aharonov. Quantum computation. Eprint:
arXiv.org/abs/quant-ph/9812037, 1998.
[4] A. Galindo and M. A. Martín-Delgado. Information and
computation: classical and quantum aspects. Rev. Mod. Phys.,
74(2):347–423, 2002. Preprint:
arXiv.org/abs/quant-ph/0112105. VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 19
Agradecimientos y contactos
La presentación y realización de este trabajo fue
financiada por la universidad EAFIT.

Andrés Sicard
email: asicard@eafit.edu.co
homepage:
http://sigma.eafit.edu.co:90/~asicard/personal

VII Ciclo de conferencias de Fı́sica, Universidad EAFIT, 2004– p. 20