Medición y confluencia en lambda cálculos cuánticos con qubits explícitos

Ayer llegué de Francia. Estuve 2 semanas en Grenoble y 2 semanas en Orsay.

En Grenoble estuvimos trabajando con Pablo Arrighi y Jonathan Grattage en extender mi tesis de grado de agregado de medición al Lambda Cálculo cuántico de van Tonder[1]. La idea fue extenderlo para probar confluencia y dejar el método lo suficientemente general para que pueda ser fácilmente usado para extender otros lambda cálculos (en particular, ahora estamos trabajando en extender el lambda cálculo de Pablo[3,4], que es quien me invitó a Grenoble, y el QML de Jon[5,6], también investigador en Grenoble).

Hoy enviamos el extended abstract al QPL08 que se realizará en Reykjavík, Islandia los próximos 12 y 13 de Julio.

El 21 de Abril nos avisarán si el paper ha sido aceptado.

Esas dos semanas y el tiempo que le siguió, he aprendido muchísimo! Ahora Pablo está tramitando una beca para ver si puedo empezar mi doctorado allí en Setiembre.

En Orsay también fueron muy amables, y también aprendí mucho. Ellos están trabajando en algoritmos y complejidad (cuánticos), un tema que no conocía en profundidad.

Tanto en Grenoble como en Orsay, dí una charla sobre mi tesis de grado, los slides los pueden obtener de aquí. (Igualmente si les interesa el tema, les recomiendo leer el extended abstract, ya que tiene algunos cambios bastante importantes).

Referencias.

[1] A. van Tonder. A lambda calculus for quantum computation. SIAM Journal on Computing, 33(5):1109-1135, 2004. (también en arXiv:quant-ph/0307150).

[2] P. Arrighi y G. Dowek. A computational definition of the notion of vectorial space. Electronic Notes in Theoretical Computer Science, 117:249-261, 2005. (también disponible en la página de Gilles Dowek).

[3] P. Arrighi y G. Dowek. Linear-algebraic lambda-calculus: higher-order, encodings and confluence. Enviado a RTA'08 (también en arXiv:quant-ph/0612199).

[4] T. Altenkirch y J. J. Grattage. A functional quantum programming language. En Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, 2005. (también en arXiv:quant-ph/0409065).

[5] T. Altenkirch, J. J. Grattage, J. K. Vizzotto, y A. Sabry. An algebra of pure quantum programming. Electronic Notes in Theoretical Computer Science, 170:23-47, 2007. (también en arXiv:quant-ph/0506012).

Volviendo a Francia

La semana que viene, más precisamente el 2 de Marzo, me voy a pasar un mes a Francia, estaré del 3 al 15 con el grupo de Pablo Arrighi en Grenoble y del 16 al 29 con el grupo de Miklos Santha en Orsay, quienes me han invitado.

Ambos grupos trabajan con Funcional Cuántico (entre otras cosas), un tema que cada día me apasiona más (y que cada día me doy más cuenta de lo poco que sé). Espero aprender mucho de ellos!

Volviendo...

Buenas! Ya se me están terminando los días por Europa, he estado en Paris, en los cursos del Institut Henri Poincaré, estuvieron allí gente como Bennett, Brassard, Winter, Aharonov, Cerf, Cleve, Gottesman, Zoller.... bueno, toda esa gente que son la cabeza de la computación cuántica hoy en día, estuvo increíble.
Para quienes quieran disfrutar de las charlas, la mayor parte de ellas fueron grabadas en video y están aquí, realmente valen la pena.
Para quienes quieran ver las fotos que tomé de París están aquí ;)
Luego de Paris (que estuve sólo el mes de Febrero), me he dado una vuelta por Valladolid, España, donde seguimos trabajando con Manolo, Juanjo y todo el grupo de allí, y de paso di un pequeño seminario sobre la Teleportación de N-qubits.
Bueno, ya postearé algo más en cuanto llegue a Argentina!

IHP, allí voy!

Me han aceptado en los cursos que se dictarán en el Instituto Henri Poincaré (que comenté en un post anterior), me asignaron la oficina 322 donde estaremos 3 canadienses, 1 francés, 3 estadounidenses, 1 turco, 1 inglés, 1 japonés, 2 alemanes, 1 maldoví, 2 italianos, 1 austríaco, 1 coreano, 1 taiwanés, 1 indú, 1 holandés, 1 portugués, 1 belga, 1 mexicano, 1 israelí y yo (argentino).

Luego de allí (que estaré sólo el mes de Febrero), Manuel Gadella, de la Universidad de Valladolid, España, me invitó a ir a su universidad un par de semanas a continuar una investigación que estamos haciendo en conjunto.

Aún estoy buscando beca (se aceptan sugerencias), hasta ahora he conseguido medio pasaje por medio del Ministerio de Migraciones (Argentina), mi estadía en España ya está arreglada, lo que aún estoy buscando es abaratar la estadía en París.

PD: A los lectores de este blog, les pido disculpas porque hace un tiempo que no posteaba nada (he estado con demasiadas tareas juntas) y ahora posteo algo más bien de tono personal... ya volveré a postear cosas interesantes ;)