23 de marzo de 2017
Universidad Nacional de Quilmes
Roque Sáenz Peña 352, Bernal
-- Aula CyT-2 --
El 23 de marzo se realizará una jornada de lógica, computación e
información cuántica. El objetivo es juntar a quienes trabajamos en
temas afines a la computación cuántica desde las ciencias de la
computación en la región. Contaremos con charlas de Gabriel Senno
(Universidad de Buenos Aires), Octavio Malherbe (Universidad de la
República) y Federico Holik (Universidad Nacional de La Plata), y se
realizará en la Universidad Nacional de Quilmes de 10:30 a 16:30 horas.
Esta convocatoria nace de jóvenes investigadores del área, y queremos
que sea lo más amplia posible. Se agradece la difusión.
Por motivos de organización, se ruega confirmar participación
escribiendo a alejandro.diaz-caro@unq.edu.ar.
==============================================================
Programa:
10:30 Café
11:00 Gabriel Senno: Yendo desde una ventaja cuántica en
complejidad comunicacional a una gran violación de Bell resistente al
loophole de la detección
12:00 Almuerzo
14:00 Octavio Malherbe: Modelos de la computación cuántica y realizabilidad
15:00 Café
15:30 Federico Holik: Probabilidades cuánticas y modelos probabilísticos generalizados
==============================================================
Resúmenes:
Gabriel Senno (Universidad de Buenos Aires) -
Yendo desde una ventaja cuántica en complejidad comunicacional a una
gran violación de Bell resistente al loophole de la detección
La teoría de la complejidad comunicacional estudia la cantidad de
comunicación que tiene que haber entre dos jugadores Alice y Bob para
que puedan computar de manera distribuida una función bipartita dada. Se
conocen numerosas funciones para las cuales hay una ventaja cuántica,
es decir: la cantidad de comunicación cuántica (medida en qbits) es
menor que la clásica (medida en bits); para algunas funciones, la
ventaja es incluso exponencial. Dada su evidente similitud con el
escenario de no-localidad, una de las preguntas abiertas en el área es:
̣¿qué relación hay entre ventaja cuántica en complejidad comunicacional y
violación de desigualdades de Bell? Voy a mostrar como, para una gran
familia de funciones para las cuales hay ventaja cuántica, se pueden
construir desigualdades de Bell y distribuciones cuánticas que las
violan en una magnitud exponencial en la ventaja. Estas violaciones son,
además, resistentes al loophole de la detección.
Octavio Malherbe (Universidad de la República) - Modelos de la computación cuántica y realizabilidad
En esta charla hablaremos sobre los modelos categóricos de la
computación cuántica para el cálculo lambda cuántico de
Valiron-Selinger. Intentaremos luego movernos al contexto de la
realizabilidad para hablar sobre algunas líneas de investigación que
venimos desarrollando con el equipo de lógica de Montevideo en el marco
del proyecto realizabilidad y computación cuántica.
Federico Holik (Universidad Nacional de La Plata) - Probabilidades cuánticas y modelos probabilísticos generalizados
En esta charla discutimos las probabilidades cuánticas desde el
punto de vista de una generalización no conmutativa de la teoría de la
medida. Nos enfocamos en distintos aspectos geométricos, tales como la
invariancia ante la acción de grupos. Describimos cómo extender este
abordaje a otras teorías probabilisticas, y estudiamos la relación con
la teoría de la información cuántica.
0 comments:
Publicar un comentario