Error message
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: UpdateQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: MergeQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryInterface::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryInterface::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryExtender::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryExtender::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQuery::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQuery::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
Seminario sobre lógica y computación cuántica
Source:
Seminario sobre lógica y computación cuántica
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.
Submitted 6 months 5 days ago by
holik.
