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.
