27 de marzo de 2010

Trabajos en progreso

  • Scalar. Con Pablo Arrighi estamos preparando la versión completa del Scalar Type System para un journal. Ya recibimos algunas críticas y estamos enviando una versión corregida. El 11 de abril es el deadline, así que se supone que la terminemos antes. En cuanto esté lista subiré la actualización al arXiv y avisaré aquíUpdate: Aquí está arXiv:0903.3741
  • Vectorial. También con Pablo estamos terminando el Vectorial Type System para enviar a una conferencia (aquí dejo los slides que presenté en las Jornadas GEOCAL-LAC a las que fui la semana pasada). El deadline es el viernes 2 y aún falta bastante por hacer, así que no sé si llegaremos... ya comentaré. Update: No llegamos, aún quedan por retocar algunas cosas, así que apuntaremos a algún otro congreso Update: Paper aceptado en DCM 2011
  • Lineal → Alg. Con Simon Perdrix, Benoît Valiron y Christine Tasson estamos trabajando en una traducción del linear-algebraic lambda-calculus de Pablo Arrighi y Giles Dowek al algebraic lambda-calculus de Lionel Vaux. Tenemos un deadline este miércoles, lo cual es complicado ya que es muy poco tiempo y todos estamos ocupados con otras cosas, pero si llegamos con esto les comento. Esto es un work-in-progress para un Workshop. Update: Extended abstract enviado, ahora estamos preparando una versión un poquito mas larga (con más detalles) para subir al arXiv, avisaré cuando aparezca. Update 20/04/10: Paper aceptado en el HOR2010. Ahora tenemos hasta el 17 de mayo para enviar la versión extendida, así que no creo que ponga otra versión online antes de esa fecha. Update 18/05/10: Extended abstract (5 páginas + ref) | arXiv:1005.2897 (con todas las pruebas). Post en el blog.
  • Additive → IMELL. Con Barbara Petit estamos trabajando en una traducción de Additive (vendría a ser un Vectorial sin escalares, o sea, sólo sumas) en Linear Logic (más precisamente: Intuisionistic Multiplicative Exponential Linear Logic, o sea, La parte de Linear Logic que tiene sólo multiplicaciones y bangs (!) y no "tercero excluído"). Update: paper finalizado y aceptado 
  • FullAdditive. Pablo Buiras, de Rosario, está trabajando en una extensión del Additive, ya que el additive que tenemos ahora sólo sirve para el cálculo sin escalares (o sea, el linear-algebraic lambda-calculus que tiene sumas, pero no escalares ni 0), la idea es hacer un sistema de tipos con sumas y no escalares, para el cálculo completo, lo cual presenta problemas no triviales sobre cómo hacer la interpretación (abtracta?) de los términos en los tipos. Esa es una tesis de Licenciatura (lo que acá en Francia sería una tesis de Master), la cual voy a dirigir junto a Mauro JaskelioffUpdate: el trabajo final, en forma de paper, ya fue publicado 
  • Lineal diferencial. Esta es una inquietud que surgió a partir de una visita de Emmanuel Beffara a nuestro laboratorio, en la que estamos trabajando con Emmanuel, Simon y Benoît: Cómo agregar un operador diferencial al linear-algenbraic lambda-calculus.
A medida que vaya teniendo resultados / papers completos los iré posteando aquí.

Escuela: "Foundational Structures in Quantum Computation and Information" en Oxford

Como mencioné en un post anterior, justo antes del QPL de este año se realizará una escuela sobre estructuras fundamentales en información y computación cuántica. Habrá cursos en los siguientes temas:

  • modelo de computación cuántica basado en medición (MBQC: measurement-based quantum computation); propiedades de grafos de estados; MBQC y física de materia condensada; computación cuántica ciega (blind quantum computing); determinismo en MBQC; modelo de computación clásica basado en medición y no-localidad;
  • categorías monoidales, álgebras de Frobenius y su cálculo gráfico; (co)algebra de observables complementarios y enredo cuántico multipartito, y aplicaciones en MBQC; grupos de fase y no-localidad;
  • simulación clásica de circuitos cuánticos; topología categórica de computación cuántica; cálculo gráfico para medición y canales de información; teorías probabilísticas generalizadas; modelos operacionales convexos y no-localidad;
  • autómatas celulares cuánticos (QCA); QCAs y causalidad; typos de alto orden en computación cuántica; lógicas cuánticas y máquinas cuánticas; métodos coalgebraicos.
De la mayoría de los temas, conozco poco y nada; y por eso planeo asistir a la escuela :)

La escuela dura cinco días, del 24 al 28 de Mayo, en Oxford y es organizada por Bob Coecke y Ross Duncan.

Trataré de ir haciendo resúmenes diarios sobre lo que vaya viendo.

11 de marzo de 2010

Videos de QIP 2010

Las últimas semanas disfruté (y sigo disfrutando) de los videos de las presentaciones de QIP 2010. Se pueden acceder a todas ellas a traves de este enlace.

Muy buenos todos los videos, en especial me gustó mucho la presentación introductoria de Umesh Vazirani sobre la relación entre la física y las ciencias de la computación y los últimos avances en algoritmos cuánticos.

Recomiendo ver el video de QIP=PSPACE. Este fue uno de los mayores avances en complejidad computacional el año pasado.

1 de marzo de 2010

Escuela de verano canadiense en Información Cuántica

En julio de este año se organiza la décima escuela de verano en información cuántica en la Universidad de British Columbia. El link de la escuela es este. Los cursos van a ser dictados por personas conocidas en computación cuántica, por lo que promete mucho. Además van a estar organizando un workshop de 3 días para que los estudiantes puedan presentar su investigación. Serán dos semanas muy interesantes.