1er encuentro

Jornada de Lógica, Computación e Información Cuántica

23 de marzo de 2017

La Universidad Nacional de Quilmes (UNQ) será sede de una jornada de lógica, computación e información cuántica, a realizarse en el aula 22 de 10.30 a 16.30 horas el jueves 23 de marzo.
La actividad es una iniciativa de jóvenes investigadores del área y su objetivo es reunir a quienes trabajan en temas afines a la computación cuántica desde las ciencias de la computación en la región. Las charlas estarán a cargo de Gabriel Senno (Universidad de Buenos Aires), Octavio Malherbe (Universidad de la República) y Federico Holik (Universidad Nacional de La Plata).

:: Programa

10.30 – Café
11.00 – Gabriel Senno (UBA): 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 (UdelaR): Modelos de la computación cuántica y realizabilidad
15.00 – Café
15.30 – Federico Holik (UNLP/CONICET): Probabilidades cuánticas y modelos probabilísticos generalizados

:: Jueves 23 de marzo, de 10.30 a 17.30 horas, Aula 22, UNQ.

Auspicia: Departamento de Ciencia y Tecnología, Universidad Nacional de Quilmes.

Cobertura:

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? Se mostrará cómo, 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 se discutirá sobre los modelos categóricos de la computación cuántica para el cálculo lambda cuántico de Valiron-Selinger. Se intentará, luego, moverse al contexto de la realizabilidad para hablar sobre algunas líneas de investigación que se vienen 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 se discutirán las probabilidades cuánticas desde el punto de vista de una generalización no conmutativa de la teoría de la medida. El foco estará en distintos aspectos geométricos, tales como la invariancia ante la acción de grupos. Se describirá cómo extender este abordaje a otras teorías probabilisticas, y estudiar la relación con la teoría de la información cuántica