3 de marzo de 2017

Jornada de lógica, computación e información cuántica @ UNQ

Jornada de lógica, computación e información cuántica
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.