2 de julio de 2015

Charla en el Workshop on Physics and Information

El lunes pasado fui invitado a dar una charla en el Workshop on Physics and Information que se llevó acabo en el Institut Henri Poincaré de París, ciudad en la que estoy desde Mayo y hasta fin de Julio trabajando con Sophie Laplante, de LIAFA, en temas de no-localidad y quantum communication complexity.

Acá les dejo el título y resumen de la charla:

Consequences of the Physical CTT over experimental setups in quantum physics
We study the limitations that the physical Church-Turing thesis imposes when performing experimental verifications of quantum theory. First, we show that different preparations of the (theoretically) same proper mixed state are distinguishable if computable. Then, we show that using independent PRNGs to choose the inputs for a Bell tests is not enough to observe a proper Bell inequality violation. That is, we give a local model that reproduces any correlations arising from a Bell scenario in which the measurement choices were made following algorithms.

Y estas son las diapositivas:

19 de junio de 2015

Mudanza a Paraguay

Desde Abril de este año estoy como profesor investigador a tiempo completo en la Universidad Nacional de Asunción (UNA). Después de casi 8 años en Japón, he viajado por debajo de la línea del ecuador y espero quedarme por aquí.

Actualmente estoy en el proceso de la creación de un grupo de investigación en Teoría de la Computación junto con otro profesor del área, y espero pronto tener un sitio web del grupo. Las áreas de investigación del grupo serían complejidad computacional, algoritmos, teoría de grafos, computación cuántica, en un sentido bien amplio.

Aún no tengo muy clara la situación por aquí, pero tengo entendido que hay muchas oportunidades para estudiantes de universidades sudamericanas para hacer intercambios. Una de estas redes, a la cual pertenece la UNA, es la AUGM. Esta red permite el intercambio de profesores y estudiantes. Tenemos un muy buen programa de postgrado en Ciencias de la Computación en áreas como computación científica, optimización, inteligencia artificial, visión por computador y otros; y a partir de este año se incluye teoría de la computación. Si hay estudiantes interesados en visitarnos, pueden consultar en sus universidades si hay algún acuerdo de intercambio y vemos como hacer.

10 de junio de 2015

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 proyectivas, 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.