28 de marzo de 2017

Próximos seminarios: París y La Plata

Del 3 al 12 de abril estaré en París, visitando el grupo de Gilles Dowek. El jueves 6 a las 14hs daré el siguiente seminario en el grupo Deducteam (Librería del laboratorio LSV, Cachan):

A lambda calculus for density matrices
Density matrices describe quantum systems in mixed state, that is, a statistical set of several quantum states. All the postulates of quantum mechanics can be described in such a formalism, and hence, also quantum computing can be done using density matrices. One advantage of this formalism is that it gives a natural way to reason about the probabilistic outputs of an algorithm.  In this talk we present an extension to lambda calculus for density matrices with a linear type system. Its denotational semantics is the set of density matrices and functions upon them, and so, it is possible to equate programs producing the same density matrices. For example the process of tossing a coin, and according to its result, apply Z or not to a balanced superposition, and the process of tossing a coin and not looking at its result, may look quite different in most quantum programming languages. Yet both processes output the same density matrices thus have the same denotation in our calculus.
A la vuelta, el martes 25 de abril a las 10:30hs, daré el siguiente seminario en el departamento de Física de la Universidad Nacional de La Plata (esquina de calles 115 y 49):

Cálculo lambda y computación cuántica
En esta charla vamos a dar una rápida introducción al cálculo lambda, un modelo de computación equivalente a las Máquinas de Turing, y su relación con la lógica intuicionista. Luego presentaremos diferentes extensiones al cálculo lambda para computación cuántica, en sus dos paradigmas: el paradigma de control clásico y datos cuánticos, orientado principalmente a estudiar propiedades en los lenguajes de programación para la computadora cuántica, y el paradigma de control y datos cuánticos, orientado a estudiar las consecuencias lógicas de la computación cuántica desde un punto de vista computacional.

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.