Video de la presentación de Tesis

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

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!

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

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

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

QRBGS

El Instituto Ruđer Bošković de Croacia a lanzado un servicio online de generación de números aleatorios "reales" logrado por mecanismos cuánticos. El servicio se llama "Quantum Random Bit Generator Service" (QRBGS).

Los detalles técnicos se pueden ver en dos papers que han publicado[1][2] sobre el tema.

Ref.
[1] Radomir Stevanović, Goran Topić y Karolj Skala, Quantum Random Bit Generator Service for Monte Carlo and Other Stochastic Simulations, Lecture Notes in Computer Science, Springer, 2007 (Online aquí).
[2] Mario Stipčcević y Branka Medved Rogina, Quantum random number generator, arXiv:quant-ph/0609043.

Lenguajes de Programación Cuánticos

A todo aquel que le interesen los lenguajes de programación que se están desarrollando para la computación cuántica, les recomiendo el -bastante exhaustivo- review de Simon J. Gay: Quantum Programming Languages: Survey and Bibliography[1]
Además, en su página pueden encontrar un buscador de papers sobre el tema.

Ref:
[1] Mathematical Structures in Computer Science 16(4), 2006

Lambda Cálculo Cuántico

El viernes pasado dí una charla sobre el Lambda Cálculo Cuántico definido por André van Tonder[1] como parte de un ciclo de charlas sobre programación funcional organizadas por el Dr. Pablo E. Martínez López (a.k.a. Fidel).

Dejo las transparencias para quien quiera ver un poco de qué se trata (y también la versión para imprimir), aunque por supuesto, recomiendo recurrir a la fuente.

Ref.
[1] André van Tonder, "A Lambda Calculus for Quantum Computation". SIAM J. Comput. 33, 5 (May. 2004), 1109-1135. (preprint en arXiv)

WECIQ 2007

Del 29 al 31 de Octubre se desarrollará en la ciudad de Campina Grande, Brasil, el 2do Workshop-Escuela de Computación e Información Cuántica. El primero se hizo el año pasado en la ciudad de Pelotas, y estuvo realmente muy bueno!
Aún se pueden enviar resúmenes de trabajos hasta el 31 de Mayo. Le recomiendo a todo el que tenga la posibilidad de ir, que no se lo pierda.

The Official Hiring Scott Aaronson FAQ.

Casi una entrevista a sí mismo. Scott Aaronson, en un FAQ donde responde preguntas que le hicieron en un fin de semana que estuvo en la Universidad de Washington, Stanford, Caltech, Berkeley, y Cornell. No tiene desperdicio.

Scott Aaronson es un postdoc de la Universidad de Waterloo, afiliado con el Institute for Quantum Computing y el Department of Combinatorics and Optimization. Sus áreas de investigación son: complejidad computacional, computación cuántica y fundamentos de la mecánica cuántica.

Video de David DiVincenzo

Acá dejo un video de una charla de David DiVincenzo en el "International Workshop on Measurement-Based Quantum Computing" que se realizó en Oxford entre el 18 y 21 de Marzo pasados. La Charla se titula "The Pioneers of Quantum Computing" (Los Pioneros de la Computación Cuántica) y acá dejo el abstract.

Que lo disfruten.

LaTeX en Blogger

Gracias al dueño de éste blog (el muchacho pedía que en agradecimiento pongamos un link ;)) ya tengo en mi blog!!
Aquí dejo las instrucciones para todos los que quieran agregar a Blogger.

Y para hacer una prueba, construyamos un estadito de Bell ;)

Haddamard al primer qubit

CNOT entre el primero y el segundo

Y aquí tenemos nuestro estado de Bell :)

Umesh Vazirani se expresa

Voy a hacer una burda traducción (espero sepan disculpar los errores (y sugerir correcciones)) de la carta que le envió Umesh Vazirani al The Economist, porque realmente vale la pena.

Estimado Señor,

Su artículo “Orion’s belter”(1) respecto a la demostración de D-Wave de una "computadora cuántica funcional", fija un nuevo estándar para el periodismo descuidado de la ciencia. Lo más notorio es su afirmación de que las computadoras cuánticas pueden resolver problemas NP-completos en "un solo intento"(2) explorando exponencialmente muchas soluciones a la vez. Esta visión errónea hace volver a la infancia de la computación cuántica de hace una década, cuando se estableció que los axiomas de la física cuántica restringen severamente el tipo de información accesible durante una medición. Para problemas de búsqueda desestructurada como los problemas NP-completos esto significa que no hay una ganancia exponencial sino, como mucho, cuadrática.

Sus afirmaciones sobre D-Wave son igualmente engañosas. Una computadora cuántica de 16 qubit tiene un poder de procesamiento menor que un teléfono celular y difícilmente representa un avance útil. Cualquier reivindicación de los logros de D-Wave debe por lo tanto basarse en su habilidad de incrementar el número de qubits en un par de ordenes de magnitud manteniendo sus frágiles estados cuánticos. Desafortunadamente D-Wave, como ellos mismos lo han dicho, no testearon si los qubits en su actual implementación están en un estado cuántico coherente. Entonces es demasiado exagerado afirmar que tienen una computadora cuántica funcional y peor aún, una escalable. Una imagen más deprimente emerge cuando uno examina más de cerca la propuesta de su algoritmo. Su afirmación acerca de la ganancia sobre algoritmos clásicos parece estar basado en que no han entendido un paper que van Dam, Mosca y yo escribimos sobre "El poder de la computación cuántica adiabática". Esa ganancia desafortunadamente no se encuentra al alcance de la mano, y por lo tanto la "computadora cuántica" de D-Wave, incluso si fuera una verdadera computadora cuántica, e incluso si puede ser escalada a miles de qubits, probablemente no sería más poderosa que un teléfono celular.

Saludos cordiales,
Umesh Vazirani
Roger A. Strauch, Profesor de Ciencias de la Computación
Director del Centro de Computación Cuántica de Berkeley

Notas

(1) N.T. Belter puede significar algo maravilloso o un insulto, es un juego de palabras entre "Orion es maravilloso", "Orion es idiota" y "El Cinturón de Orion" (Orion's Belt)
(2) N.T. "one shot"

Videos de la presentación de Orion, la computadora cuántica de D-Wave

Han subido a YouTube algunos videos de la presentación(*). Pueden verlos aquí

(*) Más información en los dos posts anteriores a éste:
D-Wave presenta sus primeros prototipos
World’s First Commercial Quantum Computer Demonstrated

World’s First Commercial Quantum Computer Demonstrated

«New System Aims at Breakthroughs in Medicine, Business Applications and Expanded Use of Digital Computers.

Venture-funded Canadian company shows new product applied to pattern-matching database search.

VANCOUVER, B.C. or MT. VIEW, CA – February 13, 2007 – The world’s first commercially viable quantum computer was unveiled and demonstrated today in Silicon Valley by D-Wave Systems, Inc., a privately-held Canadian firm headquartered near Vancouver.» Noticia completa »

Más información:
Un pequeño Review sobre ésta noticia (en español) »
Un Review mucho más completo, por Dave Bacon »
Y por último... un post en el blog de Dave Bacon donde enlaza múltiples opiniones sobre la "primera (?) computadora cuántica"

D-Wave presenta sus primeros prototipos

D-Wave Systems presenta este 13 de Febrero en Mountain View (California, EE.UU.) y repite la presentación el 15 de Febrero en Vancouver (Columbia Británica, Canadá) los primeros prototipos de Computadoras Cuánticas de 16 qubits.

Si bien éstos productos comerciales ya están casi para salir al mercado, cabe aclarar que son dispositivos para fines muy particulares, no "Computadoras Cuánticas de Propósito General".

Bueno, hay mucha expectativa puesta en la presentación, veremos cómo va.

Quienes quieran asistir, deben registrarse a dichas presentaciones en la página de D-Wave.

Rankeando papers

Dave Bacon tuvo la genial idea de darle una vuelta de tuerca más al arXiv (por ahora sólo al quant-ph que es el que más nos interesa) al crear la página SciRate.com.

La idea es simple, todos los días se copiará (y enlazará) a la sección new del archivo quant-ph del arXiv desde SciRate, y los usuarios registrados podrán "puntuar" cada uno de los papers, así, se tendrá un orden de mejor puntuado a peor puntuado (por los propios lectores) para poner alguna especie de "filtro".

¿Porqué surge ésta iniciativa?: Diariamente hay más de 20 papers nuevos sólo en la sección de Cuántica en el arXiv, eso hace que haya más ruido que ciencia. La idea es lograr un pequeño filtro (al menos para lograr ordenar de "causó más impresión" a "causó menos impresión").

Además, Dave habilitó un blog para poner sugerencias y comentarios sobre ésta iniciativa.

Si quieren ver la explicación de Dave sobre cómo funciona y el porqué de este sitio, click aquí.