Daniel Flores Cordero

Charles Rodríguez B.
 AGENDA
 Motivación.
 Marco Histórico.
 Computación Clásica.
 Computación Cuántica.
 Ejemplo de Algoritmo Cuántico.
 Ventajas/Desventajas.
 Conclusiones.
 Referencias.
MOTIVACIÓN: LEY DE MOORE
 MOTIVACIÓN: LEY DE MOORE
Pozos de potencial.
●

Comportamiento de partículas cuánticas.

●

Un demonio observa a super mario cuántico prisionero,

●

Si lo pezca su función de onda colapsará, dejandolo encerrado.

●

Frecuencia de saltos para ser liberado...

●
MOTIVACIÓN: EFECTO TÚNEL

−kx
=e

ikx
=e
 EFECTO TÚNEL:
RADIACIÓN DE UN GLUÓN
 MARCO HISTÓRICO

●Los orígenes teóricos de la computación

cuántica son relativamente recientes.

●1981 Paul Benioff habló por primera vez sobre

las posibilidades de la computación cuántica.

●1982 Richard Feynman sugirió aprovechar

algunas propiedades cuánticas para realizar
cálculos computacionales.

1985, el físico David Deutsch describió el

●

modelo de un computador cuántico Universal.

●1993, investigadores de IBM lograron efectuar la

primera teleportación cuántica (aplicación
práctica del efecto de entrelazamiento).
 MARCO HISTÓRICO

●En forma simultánea se comienzan a experimentar

con la superposición y a desarrollar algoritmos
cuánticos. Veremos con detalle el caso de Peter
Shor(1994)

●1998 se presentan los primeros computadores de

1 Qubit y 2 Qubit.

● 2005 se dio a conocer una máquina de 8 Qubits

●2007 la empresa canadiense D-Wave presentó

uno de 16 Qubits.

●Al mismo tiempo se han ido desarrollando

elementos complementarios, tales como medios de
almacenamiento, buses de comunicación, etc.
 MARCO HISTÓRICO

1994, Peter Shor.

Problema:
Encontrar un factor no trivial,
basandose en un entero de n-bits
RSA VS ALGORITMO DE SHOR

exp(O( n1/3 log2/3 n )) O( n3 )

 ENIAC
●más de 17.000 válvulas de vacío,
●1.500 relés,

●10.000 condensadores,

●70.000 resitencias

● 5 millones de soldaduras.

Sus 27 toneladas, repartidas en 167 metros cuadrados,

fueron presentadas a la prensa el 15 de febrero de 1946
 LA ECUACIÓN DE
SCHRÖDINGER
La ecuación de Schrödinger dependiente del tiempo, calcula la energía total del sistema.

La ecuación de onda de Schrödinger

ENERGÍA POTENCIAL
 LA ECUACIÓN DE
SCHRÖDINGER
Asimilar las expresiones clásica y cuántica del hamiltoniano, implica asociarlas con las energías...

●Identificar al momento lineal p con un operador que actúa sobre la función de onda calculando su
derivada.

●Una función de la posición x, sería un operador que multiplica la expresión V(x) (La energía
potencial) por la función de onda.

El significado físico de los operadores es el de calcular una magnitud observable en un proceso de

medición.
NOTACIÓN DE DIRAC
 COMPUTACIÓN CLÁSICA

 Unidad mínima: bit

 Concepto de Algoritmo
 Compuertas Lógicas
 AUTÓMATAS CLÁSICOS

 (Σ, Γ, S, s0 , δ, Z)
Donde:
 Σ alfabeto de entrada.
 Γ alfabeto de salida.
 S estado finito de estados.
 s0 estado inicial.
 δ mapa de transició́n que recibe el siguiente
estado.
 Z mapa de salida de un estado s.
 COMPUTACIÓN CUÁNTICA

"Cualquiera que no esté

impactado al conocer la teoría
mecánico-cuántica, no la ha
entendido"
Niels Bohr
 COMPUTACIÓN CUÁNTICA
 Unidad mínima: qubit.
 Mismo concepto de
algoritmo.
 Existen nuevas compuertas lógicas.
 Capacidad exponencial de procesamiento
paralelo
MEJORA COMPUTACIONAL
 IMPLEMENTACIÓN DE UN
SISTEMA OPERATIVO CUÁNTICO
 Capacidad de soportar accesos múltiples
 Que tan localizado es el impacto de los
cambios
UTILIZACIÓN DE QUBITS
EXPLICACIÓN BREVE DE
ORBITALES
 QUBIT

ESTADO
QUBIT
QUBIT
QUBIT
OPERADORES DE PAULI
COMPUERTA NOT
COMPUERTA CNOT
MÁQUINA DE TURING CUÁNTICA
MÁQUINA DE TURING CUÁNTICA
 AUTÓMATAS CUÁNTICOS

 Características
 Procesamiento paralelo sincronizado
 No determinista
 AUTÓMATAS CUÁNTICOS
 (Σ, Γ, S, H, s0 , |ψ0 , δ, U, A)
Donde:
 Σ alfabeto de entrada.
 Γ alfabeto de salida.
 S estado finito de estados.
 H es el espacio de Hilbert, asociado con los
estados cuánticos del Autó́mata.
 s0 es el estado inicial.
 AUTÓMATAS CUÁNTICOS
 (Σ, Γ, S, H, s0 , |ψ0> , δ, U, A)
Donde:
 |ψ0> es el estado cuántico inicial.
 U es un conjunto, cada Us,σ es el operador de
transición de estado cuá́ntico en s para la
entrada σ.
 A es un conjunto, donde cada As es el
operador de medida en el estado s.
Ejemplo algoritmo

N: Tamaño de la Hilera
M: Tamaño del Patrón

O(MN) VS O(M+N)
 cQPL: UN QCL
 Alojando un Qubit en memoria y midiéndolo:
new qbit q := 0;

q *= H;
measure q then { print "Head!" } else {print "Tail:(";};
 cQPL provee soporte para modelar protocolos de comunicación.

module Alice { module Bob {

new qbit a := 0; receive q1:qbit from Alice;
new qbit b := 0; receive q2:qbit from Bob;
send qbit a to Bob; dump q1;
send qbit b to Bob; dump q2;
} }

 Necesitamos ver el estado interno de la máquina cuántica, para ver lo que almacena q1 y q2.
ENLAZAMIENTO
TELEPORTACIÓN
CTRL+Z!
MEDICIÓN
 UN COMPUTADOR CUÁNTICO
REAL
Proteínas fotosintéticas (absorben fotones solares y excitan electrones) en moléculas de
clorofila actúan como un computador cuántico.
Más aún, se ha observado que los estados cuánticos coherentes tienen una vida mucho más
larga de lo esperado (más de 400 fs).
Las algas logran evitar la decoherencia del estado cuántico (que daría una vida media menor
de 100 fs) gracias a ciertos enlaces covalentes en las moléculas que actúan como antenas.
Los estados cuánticos coherentes en las moléculas fotosintéticas son uno de los grandes
responsables de la gran eficiencia energética de la fotosíntesis en algas.
 CONCLUSIONES
Aún en desarrollo, mucho potencial por explorar.
Abanico enorme de necesidades en los usuarios
La creación de Autómatas Cuánticos destinados a administrar y
controlar componentes cuánticos que permitan que una apropiada
miniaturización sea factible.
Un Sistema implementado con Autómatas Cuánticos es indispensable
en este momento.
 DESVENTAJAS

 Aún en desarrollo.
 Es un campo específico actualmente.
 Aún sin una computadora cuántica.
 En general, el problema actual con la computación
cuántica es que es difícil estabilizarla y conseguir
fiabilidad.
 Problemas de
corrección de errores.
 VENTAJAS

 Mayor cantidad de instrucciones procesadas

 Aprovechamiento de tiempos de espera
 Nuevas oportunidades
 Nuevo esquema de modelización
 REFERENCIAS

1. Moore, Gordon. “Progress in Digital Integrated Electronics” IEEE, IEDM Tech Digest pp. 11-13
(1975)
2. J. Hong, A. Vilenkin, S. Winitzki: “Particle creation in a tunneling universe”, Phys.Rev. D68
(2003) 023520 (2002)
3. Zettili Nouredine: Quantum Mechanics Concepts and Applications, Second Edition
Infrastructure. John Wiley and Sons, Ltd, United Kingdom, pp.168-170, 295-301 (2009)

4. Benioff, P., “Quantum mechanical Hamiltonian models of Turing machines”J. Stat. Phys., pp.
515-546. (1982)

5. Deutsch, D., “Quantum theory, the Church-Turing principle and the universal quantum
computer” Proc. of the Royal Society of London, Ser. A, A400, pp. 97-117. (1985)

6. Silberschatz, Abraham: Operating System Concepts, Eighth Edition

Infrastructure. John Wiley and Sons, Ltd, United Kingdom, pp.3 (2009)
7. Feynman R., “Simulating physics with computers” International Journal of Theoretical Physics
21, 6-7, pp. 467-488. (1982)
8. Shor, P. W., “Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a
Quantum Computer” Infrastructure. Los Alamos Physics Preprint Archive
http://xxx.lanl.gov/abs/quant-ph/9508027 (1994)
 REFERENCIAS

9. Calderbank, A. R. y Shor, P. W., “Good quantum error-correcting codes exist” Los Alamos
Physics Preprint Archive http://xxx.lanl.gov/abs/quant-ph/9512032 (1996)
10. Hodges, A., “A biography of Alan Turing" http://www.turing.org.uk/turing/ (May 2006)

11. Schrödinger, E. , “An undulatory theory of the mechanics of atoms and molecules”
The Physical Review, second series, Vol 28, No 6 (December, 1926)

12. Lenore B., Mike S. Steve S. “On a theory of computation and complexity over the real numbers:
NP- completeness, recursive functions and universal machines”, pp. 24-27, 1989.
13. C.E. Shannon, “A Mathematical Theory of Communication” Bell System Technical Journal, vol.
27, pp.379-423, 623-656, ( July, October, 1948)
14. Seabra Pereira, Manuel “A Portrait of State of the Art Research at the Technical University of
Lisbon”, pp. 54 (2007)
15. “Introducción al modelo cuántico de Computación” proyecto TIC2002-01541,-55 Dep.
Matemática Aplicada. E.U. Informática, Madrid, Spain, pp.2-3 (3 de junio de 2003)

16. Bongard J., Lipson H. (2004), “Automated Damage Diagnosis and Recovery for Remote
Robotics”, IEEE International Conference on Robotics and Automation (ICRA04), pp. 3545-
3550
 REFERENCIAS

17. Christel Baier y Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
18. Christel Baier, Nathalie Bertrand, y Marcus Größer. The Effect of Tossing Coins in Omega-
automata. In: Proceedings of CONCUR'09, pages 15-29, 2009.

19. Shi-Jian Gu, “Super Mario escape trip a proposal of object-intelligent-feedback-based classical
Zeno and anti-Zeno effects” ArXiv preprint (Jun 2009).

20. Julia Kempe. Quantum Random Walks - An Introductory Overview. arXiv:quant-ph/0303081.

21. Rienk van Grondelle, Vladimir I. Novoderezhkin,“Photosynthesis: Quantum design for a light
trap” News and Views, Nature 463: 614-615 (Febrero 2010)
GRACIAS!