Charla sobre la medición cuántica proyectiva en lambda cálculo en Rosario

Como ya es (lamentablemente) costumbre, comienzo por disculparme por lo poco que estoy posteando en el blog.

El mes de mayo estuve en París, primero trabajando con Mariangiola Dezani, de la Universidad de Torino, y luego con Gilles Dowek, del INRIA París. Con Gilles comenzamos un trabajo nuevo, del cual voy a hablar este martes 16 de junio a las 12hs en la Universidad Nacional de Rosario (más específicamente en la Facultad de Ciencias Exactas, Ingeniería y Agrimensura).

Les dejo el título y resúmen de la charla:

Sobre la medición cuántica proyectiva en lambda cálculo

Si se considera la superposición cuántica como una conjunción no-idempotente, la medición proyectiva corresponde a una proyección no-determinística sobre los pares. En este trabajo proponemos una extensión al lambda cálculo con pares simplemente tipado que tiene en cuenta mediciones , superposición equiprobable con interferencia destructiva y la propiedad cuántica del no-clonado. En esta charla daré una descripción del sistema y sus decisiones de diseño, así como un ejemplo del algoritmo de Deutsch en este cálculo.

 Update: Les dejo el link al preprint de este trabajo en arXiv: arXiv:1601.04294