Computación Cuántica

Algunas novedades

2009-07-13T18:23:00.004-03:00

Bueno, hace mucho que no escribo nada por acá, así que comentaré un poco en qué ando.

El paper del Scalar Type System lo ampliamos bastante con todas las demostraciones y detalles y estamos a punto de enviarlo a la revista Theoretical Computer Science. Pronto subiré la versión extendida.
Estuve trabajando en agregar subtyping al Vectorial Type System con Barbara Petit a quién visité hace unos meses y también haciendo muchos cambios a ese sistema de tipos.
El 18 de Mayo fui a visitar al grupo LAMA en Chambéry, donde dí una charla acerca de este sistema de tipos.
En agosto voy a Toronto, Canadá a una escuela de verano: Canadian Quantum Information Summer School, lo cual me genera muchas expectativas ya que espero poder ampliar un poco el panorama y tomar algún otro tema en paralelo con el que estoy desarrollando (para no quedarme estancado sólo con esto).

Bueno, esto es un resumen de los últimos meses, ya que he tenido bastante abandonado el blog. Dentro de poco estaré subiendo la versión extendida de Scalar al arXiv (ni bien la enviemos al journal) y pondré un link por aquí, y a mi vuelta de Canadá, comentaré un poco de la escuela.

Video Abstracts en el Quantiki

2009-05-13T15:38:00.003-03:00

Hoy me llegó un email de Martin Plenio del Imperial College . En su email me comentaba que él y Daniel Burgarth (Oxford) han creado una nueva herramienta para la difusión de papers a la cual llaman Video Abstracts. La idea es bien simple: grabar un pequeño video de unos 5 minutos en frente a un pizarrón, donde el autor explique de qué se trata el paper. O sea, en lugar de tener un abstract escrito, tenemos un video del abstract, lo cual puede ser mucho mas interesante.
Estos videos son subidos a YouTube y linkeados a los papers del arXiv.
Es una idea reciente, pero los primeros video abstracts ya pueden encontrarse en el Quantiki, bajo el artítulo Video Abstracts.
Espero pronto estar grabando alguno para contribuir con la idea, la cual me parece muy buena!

Visita al TypiCal

2009-05-08T06:54:00.004-03:00

Los días lunes y martes pasados estuve visitando a Benoît Valiron del proyecto TypiCal en la École Polytechnique de París. Allí dí un seminario (abstract y transparencias aquí) y estuvimos debatiendo con Benoît sobre el trabajo que estoy haciendo.

Fue una muy productiva visita!

Estación de RER donde está la École

Mi hotel estaba a sólo unas cuadras de la torre, así que el martes a la mañana aproveché para ir hasta allí y tomar algunas fotos antes de ir al Laboratorio.

Vectorial, Lógica Lineal y Ortogonalidad

2009-04-26T05:54:00.006-03:00

El miércoles y jueves pasados estuve en Lyon, invitado por Barbara Petit del grupo PLUME de la École Normale Supérieure de Lyon. Allí di un seminario sobre los sistemas de tipos que he desarrollado: Scalar, Additive y Vectorial, y algunos de los problemas sobre cómo chequear ortogonalidad entre términos y algunas pistas para resolverlo.

Olivier Laurent se dio cuenta de simplemente ver la presentación, la conexión entre Additive y Intuitionistic Multiplicative Exponential Linear Logic.

Pronto estaré publicando un nuevo paper sobre Additive (con esa conexión a la lógica lineal) y Vectorial. Además, hemos empezado a trabajar juntos con Barbara en el problema de la ortogonalidad, usando subtyping.

Próximos viajes:
Los días 4 y 5 de Mayo voy a París a visitar a Benoît Valiron y Gilles Dowek del proyecto TypiCal, en la École Polytechnique de París, donde daré otro seminario. Luego, el 18 de Mayo estaré en Chambery, donde iremos con mi director, Pablo Arrighi, a participar de una serie de seminarios organizados por Lionel Vaux del grupo LAMA.

System F escalar: los slides

2009-04-11T11:28:00.002-03:00

Subí a mi home page los slides que usé para la presentación del System F escalar. Aquí pueden bajar la versión para ver en pantalla (qpl09-talk.pdf) y aquí una versión print friendly (qpl09-talk-to-print.pdf).

La presentación era de 15 minutos, así que los slides están muy resumidos, lo que puede ser útil para un primer pantallazo sobre de qué se trata. Si les interesa, el paper completo está aquí: arXiv:0903.3741.

El workshop en general estuvo muy bueno. Filmaron todas las presentaciones, así que supongo que pronto estarán online (avisaré cuando estén y dónde).

System F escalar: hacia una lógica cuántica.

2009-03-22T06:22:00.008-03:00

Primer paper desde que empecé con este proyecto de doctorado. Fue aceptado en el VI Workshop Quantum Physics and Logic que se va a llevar a cabo en Oxford el 8 y 9 de Abril próximos. Está disponible para descargar libremente aquí: arXiv:0903.3741.

Título:

Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic

(System F escalar para el λ-Cálculo Algebraico Lineal: Hacia una Lógica Física Cuántica)

Y acá dejo el abstract en español:

El λ-cálculo algebraico lineal [1] extiende el λ-cálculo con la posibilidad de crear combinaciones lineales arbitrarias de términos α.t+β.u. Dado que se pueden expresar operadores de punto fijo sobre sumas en este cálculo, surge la noción de infinito, y por lo tanto, la noción de formas indefinidas. Como consecuencia, a fin de garantizar confluencia, t-t no siempre reduce a 0, sólo si t es cerrado y en forma normal. En este paper proveemos un sistema de tipos estilo System F para el λ-cálculo algebraico lineal, el cual garantiza normalización y por lo tanto no hay necesidad de esas restricciones: t-t siempre reduce a 0. Además este sistema de tipos lleva la cuenta de "la cantidad de un tipo". Por lo tanto puede verse como un sistema de tipos probabilístico, garantizando que los términos definen funciones probabilísticas correctas. Por último, se puede ver este sistema de tipos como un paso en la búsqueda de una lógica física cuántica a través del isomorfismo de Curry-Howard [2].

Bueno, tal como se expresa en el abstract, lo que hicimos fue darle tipos al λ-cálculo algebraico lineal. Usamos System F, o sea un sistema de tipos polimórfico, expresado à la Curry. Los tres resultados que se podrían destacar son:

Con System F tenemos strong normalization, o sea, todo término que tiene un tipo normaliza, siguiendo cualquier vía de reducción. Por lo tanto, no tenemos más el problema de los infinitos del λ-cálculo algebraico lineal.
El sistema de tipos hace que cualquier función probabilística expresada en el lenguaje, esté bien definida, o sea, que, por ejemplo, en una función que devuelve una cosa u otra dependiendo de su argumento, ambos branches suman lo mismo.
La idea de darle tipos a este cálculo, no es por el lenguaje en sí, sino para extraer una lógica utilizando el isomorfismo de Curry-Howard, lo cual, a diferencia de la lógica cuántica definida en 1936 por Barkhoff y von Neumann [3] (la cual no se sabe cómo relacionar con la computación cuántica), esta lógica no está definida ad hoc sino extraída de un sistema de tipos de un cálculo que permite expresar la computación cuántica. Por supuesto, este es el primer paso, aún falta trabajo por hacer hasta tener un sistema de tipos que sólo admita programas representables por la computadora cuántica (i.e. que sus términos estén normalizados y que sus compuertas sean unitarias), pero aquí, con este primer sistema de tipos, hacemos un intento de interpretación de la lógica: como ya dije, esta lógica no está inventada ad hoc, sino extraída automáticamente del sistema de tipos, entonces ¿qué significa esta lógica? ¿qué interpretación le podemos dar? A modo de discusión dejamos algunas ideas en la última sección del paper.

Referencias:

[1] Pablo Arrighi y Gilles Dowek. Linear-algebraic λ-calculus: higher-order, encodings and confluence. Lecture Notes in Computer Science (RTA'08), 5117:17-31, 2008. (arXiv:quant-ph/0612199).

[2] Morten H. Sørensen y Pawel Urzyczyn.Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics). Elsevier Science Inc., New York, NY, USA, 2006. (PDF).

[3] George D. Birkhoff y John von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823-843, 1936. (JSTOR).

Update 11/04/09: Slides disponibles

Función de lista de secuentes en arboles de pruebas: ¿Alguien conoce algo así?

2009-02-12T08:18:00.003-02:00

Buenas,

Este post es para preguntar si alguien conoce algo parecido a esto (dado que ya he buscado en varios lugares y preguntado y nadie me ha sabido responder que haya algo así... pero debería haberlo ¿no?)

La idea es, dado un sistema de tipos deterministico, i.e. si me das un secuente y una regla de tipado, te doy la conclusión determinísticamente (Para ponerlo más claro, piensen en un sistema de tipos de segundo orden, donde hay un y la regla me dice que lo puedo eliminar reemplazando la por algo, bueno, eso no sería determinístico ya que a la la puedo reemplazar por diferentes cosas, algo determinístico en cambio sería si la regla fuese una familia de reglas (una por cada posible)), bueno, entonces, dado un sistema de tipos determinístico, lo que quiero es algo parecido a una función que tome una lista de sequentes y devuelva un árbol de prueba completo. O sea, es como si la función tuviera un árbol de pruebas vacío, donde sólo están las reglas a aplicar y los sequentes que hay en los axiomas, y cuando toma la lista de secuentes, los acomoda en los espacios vacíos de las hojas del árbol (o sea, los toma como hipótesis).

¿Se entiende la idea? Definirlo formalmente no es muy difícil, de hecho ya lo tengo hecho, pero quería saber si alguien conocía que ya exista algo así (como para no redefinir lo que ya existe).

Ya he preguntado a varias personas y nadie me supo decir que haya algo así, pero bueno, si a alguien esta "función" le suena parecido a algo que conozcan, avisen.

Tercera Escuela Mexicana de Verano en Computación e Información Cuánticas

2009-01-21T16:11:00.002-02:00

Retransmito la información que me llegó sobre la Escuela Mexicana de Verano de Computación Cuántica:

Tercera Escuela Mexicana de Verano en Computación e Información Cuánticas
http://www.cem.itesm.mx/dia/mexqc09/
1 al 19 de junio de 2009

El grupo de procesamiento cuántico de la información del Tecnológico de Monterrey Campus Estado de México y el grupo Aspuru-Guzik de la Universidad de Harvard tienen el placer de convocar a la comunidad científica a participar en la

Tercera Escuela Mexicana de Verano en Computación e Información Cuánticas

del 1 al 19 de junio de 2009 en las instalaciones del Tecnológico de Monterrey Campus Estado de México.

Actividades
- Primera semana (1-6 de junio). Curso de introducción (36 horas) a la computación e información cuánticas.
- Segunda semana (8-12 junio). Conferencias de once investigadores de talla mundial, demostración experimental de un sistema comercial de criptografía cuántica y pláticas técnicas por parte de la empresa SmartQuantum, y talleres de ejercicios en: algoritmos cuánticos, información cuántica, criptografía cuántica y un paquete de simulación de algoritmos cuánticos. Además, habrá carteles y charlas cortas por parte de los becarios de la escuela.
- Tercera semana (15-19 junio). Curso de introducción (30 horas) a los sistemas cuánticos abiertos.

Conferencistas
Dr. Daniel Browne, One-way Quantum Computation, Univ. College London.
Dr. Bob Coecke, Category Theory in Quantum Computation, Oxford University.
Prof. Ivan Deutsch, Quantum Control, University of New Mexico.
Prof. Edward Farhi, (Keynote speaker), Adiabatic Quantum Computing, MIT.
Dr. Marco Lanzagorta, Quantum Cryptography, ITT Corporation, US Naval Research Lab. Contractor.
Prof. Peter Love, Quantum Entanglement Quantification. Haverford College.
Dr. Keye Martin, Domain Theory in Quantum Computation. US Naval Research Laboratory.
Prof. Cristopher Moore, Scattering Algorithms. University of New Mexico and Santa Fe Institute.
Drs. Nicolas Pelloquin y François Guignot, A commercial quantum cryptography system, SmartQuantum.
Dr. Donald Sofge, Quantum Programming Languages, US Navy Center for Applied Research in Artificial Intelligence.
Dr. Rolando Somma, Quantum Simulated Annealing, Perimeter Institute.
Dr. Marko Znidaric, Entanglement Properties of Random Quantum States, University of Ljubljana.

Becas
Deseamos apoyar a estudiantes con alto desempeño académico y potencial para la investigación científica. En consecuencia, hemos diseñado un programa de becas completas y medias becas. Fecha límite para solicitud de becas: 1 de abril de 2009. Visite la página del evento para conocer los requisitos y documentos solicitados.

Perfil de asistentes
- Estudiantes de licenciatura (últimos dos años), maestría o doctorado en ingeniería, matemáticas, física o computación.
- Profesores-investigadores interesados en el cómputo cuántico.
- La lengua oficial de la escuela de verano es el inglés.

Más información sobre programa, becas, inscripciones y alojamiento, en nuestra página: http://www.cem.itesm.mx/dia/mexqc09/

Agradecemos el apoyo de las siguientes instituciones: COMECyT, CLAF, CINVESTAV, Universidad de Cambridge, AMC, SMF y UNAM.

Blog Boliviano sobre Computación Cuántica

2009-01-12T18:16:00.003-02:00

Buenas,
Les comento que hace unos seis meses ha surgido un nuevo weblog en Español sobre Computación Cuántica, mantenido por Hernán Payrumani: http://computacioncuantica.wordpress.com/
Tiene algunos posts en Inglés y otros en Español, y trata diversos temas dentro de la Computación Cuántica. Y algo importante: lo actualiza mucho más seguido que yo :) (pero prometo pronto enviar algo nuevo!).
Saludos y mucha suerte a Hernán con su blog!

System F à la Curry y Grupo de trabajo

2008-11-02T06:37:00.004-02:00

Buenas!

Les cuento que ya estoy instaladísimo en Grenoble. Lo que he hecho en estos días es adaptar un sistema de tipos polomórficos (System F à la Curry, ver [1], [3] o [4] para más detalles) al Linear-Algebraic Lambda-Calculus de Arrighi y Dowek [2], además hice una prueba de strong normalization (ver [1] o [3]) para este «Linear-Algebraic System F» y algunos comentarios respecto a que este sistema se corresponde de acuerdo al Isomorfismo de Curry-Howard (ver [4]) con la misma lógica (Lógica Proposicional de Segundo Orden) que el System F original. La idea ahora es empezar a jugar con reglas de tipos más complejas, hacer alguna clase de álgebra de tipos, para obtener alguna lógica un poco más loca. Ya les comentaré cuando tenga algo más armado :)

Este próximo jueves nos juntamos con el grupo de trabajo que estamos más o menos en los mismos temas, en lo que le hemos dado a llamar WHOCAS: «(informal) Workshop on Higer-Order Calculi and Algebraic Structures», seremos sólo 5 personas, ya que es un grupo de trabajo más que un workshop: Lionel Vaux, Benoît Valiron, Gilles Dowek, Pablo Arrighi y yo. La idea es que cada uno dará una pequeña charla de 40 minutos contando en qué está trabajando, así vemos qué colaboraciones pueden salir de allí. Luego del WHOCAS publicaré aquí las transparencias que use.

Referencias
[1] Jean-Yves Girard, Yves Lafont, Paul Taylor. Proofs and types. Cambridge University Press, 1989.
[2] Pablo Arrighi, Gilles Dowek. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. Lecture Notes in Computer Science: (RTA'08), 5117:17-31, 2008. (preprint en arXiv:quant-ph/0612199)
[3] Henk Barendregt. Lambda calculi with types, volume 2 of Handbook of Logic in Computer Science. Clarendon Press, Oxford, 1992.
[4] Morten Sørensen, Pawel Urzyczyn. Lectures on the Curry-Howard Isomorphism, volume 149 of Studies in Logic and the Foundations of Mathematics. Elsevier, 2006. (disponible para bajar en CiteSeer)

Preparando las valijas

2008-09-20T21:38:00.004-03:00

Los últimos posts de este blog han sido demasiado personales para mi gusto (comentando en qué ando). Pero bueno, lo voy a cambiar dentro de poco cuando empieze el doctorado.

Por ahora les comento, el Jueves 9 de Octubre llego a Grenoble, al grupo Quantum Computation in Grenoble, donde iniciaré mi doctorado bajo la dirección de Pablo Arrighi. La idea es que el doctorado dure tres años, espero terminarlo a tiempo :)

El trabajo será en lógica cuántica y teoría de tipos para la computación cuántica, e iré contando detalles a medida que vayamos obteniendo resultados. Mi idea es continuar este blog como un "diario de doctorado", donde iré contando los avances que vayamos teniendo.

Charla de Julia Kempe en la UBA

2008-08-11T23:06:00.003-03:00

Dia y hora:

MIERCOLES 13/8, 14hs

Lugar:

AULA FEDERMAN, PRIMER PISO, PABELLON 1
Facultad de Ciencias Exactas y Naturales, UBA

Titulo:

From Bell's inequalities to computational complexity

por Julia Kempe
Department of Computer Science, University of Tel Aviv, Israel

Resumen: Since the seminal work of John Bell it has been known that quantum entanglement between two parties can produce correlations that are not possible in a classical world, even with hidden variables. This has been one of the most remarkable discoveries and a formidable tool to prove the validity of quantum mechanics in the lab.

Computer scientists have long since appropriated Bell's inequalities. Perhaps the most prominent "application" is in unconditionally secure quantum cryptography. But among the most important challenges in the field currently is to understand the computational complexity of computing the violation of Bell's inequalities, or, in computer science lingo, the hardness of entangled multi-prover interactive proofs. Surprisingly, one of the most important approaches currently in this area builds on the work of Tsirelson who gave upper bounds on the maximal violation of Bell inequalities using semidefinite programming. I will explain the connection and the questions in this area and give an overview of some recent results, which, surprisingly, also give rise to new Bell inequalities.

Teoría de Categorías

2008-08-11T10:12:00.003-03:00

El viernes aparecieron en arXiv tres nuevos artículos de Bob Coecke. Son introducciones a Categorías Cuánticas. Acá les dejo los links para quienes les interese:

Categorical quantum mechanics (con Samson Abramsky) arXiv:0808.1023

Introducing categories to the practicing physicist arxiv:0808.1032

Toy quantum categories (con Bill Edwards) arXiv:0808.1037

Además de esos tres, apareció este otro, también de él, actualizado:

Quantum measurements without sums (con Dusko Pavlovic) arXiv:quant-ph/0608035

Beca francesa

2008-07-09T19:41:00.005-03:00

Bonjour!
Les comento que en Setiembre, si todo sale bien, iniciaré mis estudios de doctorado en el Laboratoire d'Informatiqué de Grenoble, Francia, más precisamente en el QCG bajo de dirección de Pablo Arrighi.
La semana pasada me llegó el mail donde me confirman que me han dado la beca! (ahora estoy esperando que me den todos los detalles de cómo tramitar la visa, todo el papelerío necesario, los detalles del monto de la beca, posible alojamiento, etc).
El tema de mi tesis de doctorado es "Models of quantum computation" y aquí pueden ver una descripción del proyecto (en Inglés).
Cómo decirlo.... ESTOY EUFORICO!!!! :)
Au revoir!

Paper sobre medición y confluencia enviado al QPL/DCM y subido al arXiv

2008-06-16T21:32:00.010-03:00

El domingo pasado mandamos la versión extendida del paper que se presentará en el próximo QPL/DCM 2008 que se llevará a cabo en Reykjavik, Islandia los próximos 12 y 13 de Julio. Además, subimos esta versión preliminar al arXiv y hoy apareció como arXiv:0806.2447v1 (se puede acceder y descargar gratuitamente desde allí).

Trataré de hacer un muy breve resumen sobre el paper, dejando links a Wikipedia donde sea conveniente (claro que si les interesa enserio, nada mejor que uno o dos buenos libros (mis recomendaciones: "Quantum Computation and Quantum Information" de Michael Nielsen e Isaac Chuang y algún libro de Semántica y sistemas de Reescritura).

Primero, el título: "Measurements and confluence in quantum lambda calculi with explicit qubits", en castellano sería algo así como "Medición y confluencia en Lambda Calculos Cuánticos con qubits explícitos". Trataré de hacer una breve reseña de cada uno de los conceptos que figuran en éste título:

Medición: En Computación Cuántica, la medición es un proceso intrínsecamente probabilístico. O sea, cuando uno mide en qué estado está el sistema, cambia el estado, pero a qué cambia no se sabe con anterioridad, sólo las probabilidades de que cambie a uno u otro estado. Enlace a la Wikipedia (en Inglés).

Confluencia: Es una propiedad deseable de los sistemas de reescritura. La idea básica es: si puedo reescribir un término de mi lenguaje de dos maneras posibles, es necesario que exista otro término al cual ambos puedan "confluir". Enlace a la Wikipedia (en Inglés).

Lambda Cálculo: Es un sistema formal que abstrae el concepto de función. Es la base de los lenguajes de programación funcionales. Enlace a la Wikipedia (en Español).

Lambda Cálculos Cuánticos: Se han realizado muchas extensiones al Lambda Cálculo. Entre ellas, podemos encontrar las extensiones que se hicieron para representar las propiedades cuánticas (como paralelismo, enredo, etc). En el paper pueden encontrar muchas citas sobre estos desarrollos. También pueden ver los excelentes surveys ([1][2]) que han hecho Simon Gay y Peter Selinger.

Con qubits explícitos: Hay algunas extensiones cuánticas al lambda cálculo que manipulan qubits de manera explícita (los símbolos que representan qubits, realmente representan qubits) y hay otros que los manipulan a través de una especie de "punteros", o "memoria" (los símbolos que representan qubits, en realidad son punteros a los mismos).

Ahora sí, habiendo dejando los conceptos en claro: nuestro trabajo presenta un método de cómo agregar medición a aquellas extensiones cuánticas del lambda cálculo que manejan qubits de manera explícita. Y presenta una prueba de confluencia, la cual está hecha de una manera lo suficientemente general como para permitir utilizar el método para sistemas de reescritura probabilísticos en general. En lo particular, el paper está escrito siguiendo las extensiones cuánticas introducidas por André van Tonder, por ser uno de los mas simples.

Hemos trabajado en esto con Pablo Arrighi, Manuel Gadella y Jonathan Grattage, de quienes he aprendido muchísimo.

Categories, Logic and Foundations of Physics: Los videos

2008-06-09T21:12:00.005-03:00

Copio (y traduzco) un post de Bob Coecke en el blog The n-Category Café:

Los videos del 2do workshop Categories, Logic and the Foundations of Physics que se realizó en Londres están disponibles aquí. También hay allí algunas charlas del workshop Logic, Physics and Quantum Information Theory organizado por Prakash Panagaden en Barbados. Desafortunadamente algunas de las charlas no salieron muy bien, por ejemplo la de Peter Selinger "completeness result for dagger compact categories". Esperamos poder compensar esto en el workshop Quantum Physics and Logic que se hará en julio en Islandia. Todos los créditos para Ben Jackson y Jamie Vicary por realizar esta filmación y ponerla online.

La fecha para el próximo workshop "Categories, Logic and the Foundations of Physics", el cual será en Oxford, es el 23 y 24 de agosto - dos días esta vez.

Ese congreso en Islandia es donde presentamos y nos fue aceptado el paper sobre medición y confluencia en lambdas cálculos cuánticos. Lamentablemente por razones económicas no podré ir, así que al menos espero poder ver los videos.

Nuevo blog sobre computación cuántica... desde Guatemala

2008-04-28T22:46:00.004-03:00

Desde Guatemala apareció un nuevo blog: "La Consigna", de Gerberth Adín Ramírez Rivera que, como tema central, trata sobre Computación Cuántica. Desde aquí les deseo suerte con el sitio!

A todos los interesados en saber de qué se trata ésto de computación cuántica, les recomiendo los primeros posts de ese blog, donde hace una didáctica introducción al tema.

Publicada la lista de papers aceptados para el QPL

2008-04-23T14:23:00.004-03:00

El paper que enviamos al QPL fue aceptado para una exposición completa de 30 minutos (en contraposición con una exposición corta de 15 minutos). La lista completa de los papers aceptados está publicada en la página del evento.

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

2008-03-31T15:28:00.009-03:00

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. Update: (16/6/08) En un post reciente pueden encontrar la versión extendida, la cual tiene varios cambios sustanciales

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

2008-02-24T21:26:00.004-02:00

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!

Video de la presentación de Tesis

2007-12-27T09:26:00.000-03:00

Lo prometido: el video de la presentación "Agregando Medición al Cálculo de van Tonder". Los créditos para mi hermana y mi novia por la excelente filmación :).

Los slides los pueden bajar de aquí (versión para imprimir), ~~y en unos días subiré el informe de tesis completo (le estoy arreglando algunos detalles que no me gustaron)~~. Dejo un draft.

Obteniendo mi título

2007-12-15T17:34:00.000-03:00

Después de una larga ausencia por este blog, paso a contar la causa: Estuve estudiando a full para llegar a recibirme antes de terminar el año.

Y llegó el momento de presentar mi Tesis de Licenciatura en Ciencias de la Computación:

Día y Hora:

Viernes 21 de Diciembre de 2007, 10:45hs

Lugar:

Aula 23, Pellegrini 250, Rosario.
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario

Título de la tesis:

Agregando medición al Cálculo de van Tonder

Tesista:

Alejandro Díaz-Caro

Director:

Dr. Manuel Gadella

Co-Director:

Dr. Pablo Martínez López

Resumen:

El área de los lenguajes de programación cuánticos se está desarrollando a una gran velocidad. En particular, se han definido varias extensiones al Lambda Cálculo que proveen la sintaxis y semántica necesarias para modelar algoritmos cuánticos.
Uno de los trabajos más influyentes en este sentido es el \lambda_q de André van Tonder[1]. Este es un Lambda Cálculo, definido mediante su semántica operacional, para cómputos puramente cuánticos: la medición no es parte del cálculo.
La intención de este trabajo es agregar medición al \lambda_q, para lo cual nos valemos de algunas herramientas del Lambda Cálculo probabilístico definido por Di Pierro, Hanking y Wiklicky en [2]. Además, siguiendo la línea de trabajo de van Tonder, también hacemos uso de la la sintaxis para la lógica lineal de Philip Wadler[3].

Ref:
[1] A. van Tonder, "A Lambda Calculus for Quantum Computation", SIAM J. Comput. 33(5), Society for Industrial and Applied Mathematics, 1109–1135, 2004
[2] A. Di Pierro, C. Hankin y H. Wiklicky, "Probabilistic Lambda-calculus and Quantitative Program Analysis", Journal of Logic and Computation 15(2), 159–179, 2005
[3] P. Wadler, "A Syntax for Linear Logic", Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, Springer-Verlag, 513–529, 1994

~~En algunos días subiré el PDF completo de la tesis y el PDF de la presentación~~ (En otro post).

Update: Ya soy licenciado! Dejo algunas fotos (hay más en mi album picasa) y ~~en unos días subiré el video de la presentación~~ en otro post está el video de la presentación.

Antes de empezar, esperando a que llegue el director de escuela.

Abrazos y felicitaciones luego de la presentación.

Una vieja tradición argentina: Los compañeros y amigos ensucian a los egresados con huevos, harina, yerba mate, gaseosa y todo lo que se encuentre a la mano.

La foto de grupo, luego de los huevos. Por algún motivo nadie me quiso abrazar :P

Gracias Michael por tantas contribuciones!

2007-09-28T19:05:00.001-03:00

Después de muchos años de contribuir al campo de la Computación Cuántica, Michael Nielsen ha decidido cambiar de rumbo.
Hago una (mala) traducción del mensaje que se puede ver en su blog:

Luego de 12 años de trabajar en información y computación cuántica, he decidido virar mis contribuciones en una dirección completamente nueva.

Estoy haciendo esta cambio porque creo que puedo contribuir más en otra parte.

Me empecé a interesar en la computación e información cuántica en 1992, y empecé a trabajar fulltime en el área en 1995. Cuando comencé ésta era un área muy pequeña con sólo un puñado de investigadores al rededor del mundo. La mayoría de los científicos nunca habían oído acerca de computadoras cuánticas. Aquellos que sí lo habían hecho usaban lo que habían oído para echar agua fría en la idea de que alguna vez se pueda construir una. Hoy, en 2007, el área es una de las más activas en la física, y muchos investigadores, incluido yo, creen que es sólo una cuestión de tiempo y esfuerzo para que se construya una computadora cuántica a gran escala.

Para mi esto significa un momento propicio para cambiar de dirección.

La nueva dirección en la que trabajaré será desarrollar nuevas herramientas para la colaboración científica y publicación. Este es un área muy emocionante, y es también donde mis habilidades e intereses parecen ser más útiles. Soy un principiante en el área, por lo que en los próximos meses estaré haciendo un "vuelo de reconocimiento", orientándome, viendo qué necesito aprender, dónde puedo hacer alguna contribución, y lanzando algunos pequeños proyectos. Esto será excitante.

Quiero desde mi pequeño espacio, agradecer públicamente a Michael por la gran calidad de contribuciones que ha hecho al campo de la computación cuántica y especialmente por el libro que escribió junto a Isaac Chuang, "Quantum Computation and Quantum Information", el cual me ha servido de inspiración para entrar a esta área, y que recomiendo a cualquiera que se interese en el tema.

Foco en el Procesamiento de Información Cuántica basada en Medición

2007-07-25T20:28:00.000-03:00

La primeras contribuciones a una publicación sobre "Measurement-Based Quantum Information Processing", editada por Jian-Wei Pan y Terry Rudolph, ha sido publicada en el New Journal of Physics (NJP).

Todos los artículos están disponibles para su descarga gratuita en http://herald.iop.org/njp/m52/nad/249739/link/846

QCMC 2008: Primer anuncio

2007-07-20T00:48:00.001-03:00

Transcribo (y traduzco) el mail que me llegó del Primer Anuncio del QCMC 2008

Queridos Colegas,

Este es el primer anuncio de la Novena Conferencia Internacional en Comunicación, Medición y Computación Cuántica (QCMC), la cual se desarrollará en la Universidad de Calgary, Canadá, del 19 al 24 de Agosto de 2008.

El alcance de la conferencia será similar al de la serie de encuentros anteriores e incluirá los siguientes temas:

- Comunicación Cuántica y Criptografía Cuántica
- Medición Cuántica y Meteorología Cuántica
- Computación Cuántica y Teoría de la Información Cuántica
- Implementaciones del Procesado Cuántico de Información
- Control Cuántico

La fecha límite para la presentación de resúmenes de papers es el 15 de Abril de 2008, y la fecha límite para la registración es el 30 de Junio de 2008. Puede encontrar más detalles sobre el evento en el sitio web http://www.qcmc2008.org/

Calgary es una ciudad de un millón de habitantes en las colinas de las magníficas Montañas Rocosas Canadienses. Se encuentra cercana al Parque Nacional de Banff y ofrece a muchas actividades recreativas de verano incluyendo excursiones, rafting y kayak, escaladas, exploración de cuevas, buceo en lagos de montaña, ciclismo de montaña, visita a glaciares, ala delta, y equitación. Agosto es un mes excelente para la recreación debido a su clima clemente y tiempo seco.

Esperamos darle la bienvenida en Calgary en agosto de 2008.

En nombre de los comités de organización y de programación,

Alex Lvovsky, organizador principal.

Versión original:

Dear Colleagues,

This is the first announcement of the Ninth International Conference on Quantum Communication, Measurement and Computing (QCMC), which will be held at the University of Calgary, Canada, on August 19 to 24, 2008.

The scope of the conference will be similar to that of previous meetings in the series and include the following topics:

- Quantum Cryptography and Quantum Communications
- Quantum Measurement and Quantum Metrology
- Quantum Computing and Quantum Information Theory
- Implementations of Quantum Information Processing
- Quantum Control

The abstract submission deadline for contributed papers is April 15, 2008, and the early registration deadline is June 30, 2008. Further details about the meeting can be found on the website http://www.qcmc2008.org/.

Calgary is a city of one million inhabitants in the foothills of the magnificent Canadian Rocky Mountains. Calgary is close to Banff National Park and offers many summertime recreational activities including hiking, whitewater rafting and kayaking, climbing, caving, mountain-lake scuba diving, mountain biking, glacier trips, hang gliding, and horseback riding. August is an excellent month for recreation due to its clement warm and usually dry weather.

We look forward to welcoming you in Calgary in August 2008.

On behalf of the organizing and program committees,

Alex Lvovsky, principal organizer