El seminario online “Lógica cuántica y computación cuántica” tiene como objetivo servir como un curso introductorio a la computación cuántica y a los fundamentos de la física cuántica, poniendo énfasis en sus aspectos lógicos y algebraicos. Está organizado por el Grupo de Lógica Cuántica y Probabilidad Cuántica, en colaboración con el LIFIA y la red RIPAISC.

La primera reunión online tendrá lugar el 3 de Octubre de 15 a 17hs (ART).

El formato consiste en presentaciones online de los distintos tópicos que cubre el seminario, dejando espacio para preguntas y debates entre lxs participantes. Los encuentros tendrán lugar cada quince días, los días Jueves de 15 a 17hs (ART). Las presentaciones estarán a cargo del Dr. Federico Holik, pero habrá, cada tanto, charlistas invitadxs que expondrán sobre distintos temas vinculados a la temática del seminario.

Para inscribirse al seminario y recibir el link para la reunión, es necesario completar el siguiente formulario:

https://go.ripaisc.net/holik-sem

El link para la reunión se enviará el mismo 3 de Octubre a quienes se hayan inscripto.

La lista (no exhaustiva) de temas a cubrir incluye:

- Introducción matemática: formalismo de espacios de Hilbert.
- Axiomas de la teoría cuántica.
- Ejemplos de fenómenos cuánticos y computadoras cuánticas.
- Ventaja cuántica y era NISQ.
- Entrelazamiento y teorema de Bell.
- Compuertas lógicas cuánticas y circuitos.
- Uso de Qiskit y Braket.
- Aspectos geométricos del espacio de estados cuánticos.
- Introducción a la lógica cuántica.
- Probabilidad cuántica: axiomatización.
- Teorema de Kochen-Specker y contextualidad.
- Conjuntos de compuertas lógicas universales.
- Comparación entre la computación cuántica y la clásica.
- Algoritmos cuánticos (distintos ejemplos).
- Función de Wigner y probabilidades negativas.
- Indistinguibilidad cuántica, teorías de cuasiconjuntos.
- Boson sampling y ventaja cuántica.
- Interpretaciones del formalismo cuántico.
- Ingeniería del software cuántico.

Bibliografía (lista no exhaustiva):

- Nielsen, Michael A.; Chuang, Isaac L. (2000). Quantum Computation and Quantum Information (1st ed.). Cambridge: Cambridge University Press.

- Peres, Asher (1995). Quantum Theory: Concepts and Methods. Springer.