Profesor Hugo Nava Kopp
Universidad Nacional Autnoma de Mxico Facultad de Ciencias
Profesor: Jos Hugo Max Nava Kopp [Link]@[Link]
Temario de la materia:
Teora de la computacin cuntica 2
Seriacin sugerida: Haber cursado previamente Teora de la computacin cuntica 1.
1. Informacin cuntica. Objetivo: El alumno conocer esta rea de la computacin cuntica, su formalismo y sus principales objetos de estudio. 10 horas 1.1. 1.2. 1.3. Entrelazamiento. Algoritmo de teleportacin. Reversibilidad
2. Sistemas multipartitos. Objetivo: El alumno obtendr un conocimiento bsico del clculo tensorial y comprender cmo se forman los espacios de Hilbert de oprden mayor a partir de espacios de Hilbert de menor dimensin, para modelar matemticamente sistemas fsicos de ms de una partcula. 20 horas 2.1. Producto tensorial 2.1.1. Cuarto postulado de la mecnica cuntica 2.1.2. Operador de densidad reducido 2.2. Entanglement, Estados de Bell y el PER 2.2.1. Factorizacin tensorial 2.2.2. Separabilidad 2.2.3. Experimento Stern-Gerlach 2.3. Medidas de cuantificacin de entanglement 2.3.1. Compuertas generadoras de Entanglement 2.3.2. Entropa cuntica 3. Limitantes de la simulacin clsica de sistemas cunticos.- Objetivo: El alumnos comprender la imposibilidad de simular los sistemas cunticos de manera eficiente en una computadora clsica. 20 horas 3.1. Limitante de Feynman 3.2. Programacin clsica de algoritmos cunticos 3.2.1. Mquinas virtuales cunticas 3.2.2. Lenguajes de programacin cunticos 3.3. Clculo simblico para computacin cuntica 3.3.1. Generacin de los tres componentes de la computacin cuntica 3.4. Entanglement 3.4.1. Generacin de estados puros y mixtos en computadora clsica 3.4.2. Generacin de estados entangled en computadora clsica
Profesor Hugo Nava Kopp
4. Simulacin de algoritmos cunticos en una computadora clsica. Objetivo: Con la ayuda de software de clculo simblico (como Mathematica o Maple) el alumno realizar simulaciones de algoritmos cunticos. 15 horas 4.1. 4.2. 4.3. 4.4. Algoritmos de correccin de errores Algoritmo de Shor Algoritmo de Grover Algoritmo de Teleportacin
5. Hipercmputo. Objetivo: El alumno conocer la manera en que los algoritmos de computacin cuntica rebasan la eficiencia (i.e. disminuyen la complejidad) de los algoritmos clsicos 10 horas 5.1. 5.2. 5.3. Breve repaso de Teora de la complejidad Sistema RSA y su importancia para la seguridad Algoritmo de Shor
Bibliografa
1. Bengtsson, Ingemar. Zyczkowsky, Karol. Geometry of Quantum States. Cambridge University Press. USA, 2008. 2. Peres, Asher. Quantum Theory: Concepts and Methods. Kluwer Academic Publishers. USA, 1995. 3. Nielsen, Michael A. y Chuang, Isaac. Quantum Computation and Quantum Information. Cambridge University Press. USA. 2003. 4. Kaye, Phillip; LaFlamme, Raymond. An Introduction to Quantum Computing. Oxford University Press. USA. 2007. 5. Hirvensalo, Mika. Quantum Computing. Springer. USA, 2001. 6. Samuel J. Lomonaco. Jr. v Howard E. Brandt editores. Quantum Computation and Quantum Information. AMS Contemporary Mathematics, Vol. 305, American Mathematical Society, Providence, RI (2002). 7. Brookshear, J. Glenn. Teora de la Computacin. Lenguajes Formales, autmatas y Complejidad. Addison Wesley Iberoamericana. USA, 1993. 8. Davis, Martin, editor. The Undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions". Raven Press. USA, 1965. 9. Cormen, Thomas H. et al. Introduction to Algorithms. Second Edition. MIT [Link], 1990. 10. Mitchell, John C. Concepts in Programming Languages. Cambridge University Press. USA, 2003
