Un nuevo modelo de computación: La computación cuántica

Mario E. Vélez, Andrés Sicard

Se construyen las componentes de la conexión y las componentes de la curvatura de un haz fibrado principal asociado a un modelo de computación cuántica geométrica de qubit proveniente de la óptica cuántica.

Manuel Calixto

Alejandro Díaz-Caro, Pablo E. Martínez López

La computación cuántica plantea un nuevo modelo de computación que incorpora formas inéditas de pensar los problemas. Conceptos claves para ello son el enredo cuántico, el paralelismo y el no clonado. Si bien estos conceptos no tienen un correlativo en la computación clásica, su estudio puede tener consecuencias en el estudio del comportamiento probabilista y no-determinista de programas clásicos. Asimismo, la simple observación de estas nuevas formas de pensar los problemas es fuente de inspiración para resolver problemas clásicos. Este proyecto se centra en el diseño de lenguajes de programación cuántica como fin en sí mismo, y como medio para el desarrollo de lenguajes de programación clásica con características novedosas.

Alejandro Díaz-Caro

Jorge Carlos Navarro Muñoz

"Debido a la disminución del tamaño en los procesos de fabricación de microchips de computadora, se esta llegando a limites físicos donde efectos cuánticos pueden interferir en el desempeño de tales dispositivos. Por otra parte, aun con el poder de cómputo actual el cálculo de sistemas microscópicos es ineficiente. Para tratar de resolver estos inconvenientes, se ha desarrollado un nuevo modelo computacional que aproveche efectos cuánticos: la computadora cuántica. Esto ha dado lugar a nuevos recursos como el entanglement,que se define como una correlación especial entre dos sistemas microscópicos. Esta propiedad resulta ser critica en los procesos involucrados en computación cuántica. En este trabajo, se útilizo un hamiltoniano tipo Tight Binding para estudiar el entanglement en sistemas unidimensionales con y sin desorden, así como la aplicación de un método computacional para optimizar dicha propiedad en sistemas unidimensionales y en redes cuadrada y triangular."

Juan Ignacio Cirac Sasturáin