Presentación del grupo 7132 - 2008-2.

Esta materia está pensada para darse en dos cursos. Éste sería el primero.

En este curso nos centraremos en el formalismo detrás de la Computación Cuántica. El curso se dividirá en 3 partes:

Parte 1)Estudiaremos la reversibilidad y irreversiblidad de los procesos clásicos vs. la reversibilidad y irreversiblidad de los procesos cuánticos,además de estudiar la complejidad de los problemas para diversos algoritmos.Se dará un breve repaso a los espacios de Hilbert.

Parte 2)El formalismo de la Computación Cuántica se centra en el estudio de 3componentes análogos a su correspondiente componente en Teoría de la Computación (clásica):

A)Estados.- Estudiaremos las posibles representaciones de estados cuánticos, enfocándonos a un caso en particular: el qubit. Haré mucho énfasis en estados mixtos y estados entangled, que son los que más importancia tienen para el desarrollo de una computadora cuántica. Los estados puros también los estudiaremos, pero con menos ahínco, ya que la mayoría de la bibliografía se centra en estos, por ser cómodos didácticamente.

B)Compuertas (procesos).- Estudiaremos las diferentes compuertas cuánticas que existen, así también crearemos algunas con un objetivo especial.

C)Mediciones.- Estudiaremos el comportamiento de la medición cuántica y las ventajas que aporta la medición cuántica sobre la clásica (trivial) para el diseño de algoritmos cuánticos. Pondremos énfasis en el tipo de caos que es generado por la medición cuántica.

Parte 3) Diseño de algoritmos. Aquí armaremos un par de algoritmos cuánticos. Este tema es la parte fundamental del segundo curso.

En el siguiente seminario veremos algoritmos cuánticos, teletransportación y entanglement. Estudiaremos esta última propiedad con especial esmero, con el fin de plantear experimentos.