31 de octubre de 2011

Dick y Ken entrevistan a Kurt Gödel

Muy buen entrada en el blog Gödel's Lost Letter and P=NP. Vale la pena leerlo.

30 de octubre de 2011

QIP 2012

Los papers de QIP 2012 y el programa ya están listos! Pueden ver en este link. Siempre QIP tiene papers de muy alta calidad. Por algo es la mejor conferencia en nuestra área. Quiero destacar algunos papers:

  1. Merkle Puzzles in a Quantum World. Gilles Brassard, Peter Hoyer, Kassem Kalach, Marc Kaplan, Sophie Laplante, Louis Salvail.

    Está como featured talk, y es un paper escrito por mi gran amigo Kassem. Un excelente trabajo con una gran aplicación en un problem natural del método del adversario negativo. Este trabajo también lo presentaron en CRYPTO'11.
  2. Local quantum circuits are appoximate polynomial-designs. Fernando Brandao, Aram Harrow, Michal Horodecki.

    Fernando es de Brasil, y es profesor asistente en la Universidad de Minas Gerais. Aún no tuve el placer de conocerlo, espero poder hacerlo y charlar un poco sobre el interés que hay en Brasil y latino-américa en computación cuántica.
  3. Improved Output-Sensitive Quantum Algorithms for Boolean Matrix Multiplication. Francois Le Gall.

    Francois es un colega de la Universidad de Tokyo. Su paper es fabuloso, mejorando el paper de Harry Buhrman y Robert Spalek basado en quantum walks. Francois utiliza una reducción a triangle finding, que al mismo tiempo está basado nuevamente en quantum walks. Este paper también lo va a estar presentando en SODA'12 que será en Kyoto.

29 de octubre de 2011

Quantum Information and Foundations StackExchange Proposal

[Este post es en inglés, ya que se trata de crear un sitio en inglés]

I just copy and paste an email from the quantum-foundations mailing list.
Dear fellow researchers:
We hope you can all join us in building a new web-based research community for quantum computing, information and foundations on StackExchange, and possibly earn some social media reputation points while they're at it (good for bragging rights, at least).
StackExchange is a collection of web sites where users can ask questions of a technical nature and receive high-quality answers from their communities. We hope to use StackExchange to coordinate expertise and facilitate research in the quantum information and quantum foundations communities, and so we have created a proposal for a new site dedicated to doing just that. StackExchange has already been found to be highly useful in pure mathematics [1], theoretical computer science [2], and applied [3] and theoretical physics [4], but our proposal addresses that quantum information and foundations lie frustratingly between these fields, and thus each of these existing sites excludes many excellent contributors.
If you're new to the idea of a StackExchange site, here's some examples of StackExchange sites being used in practice to help make it more clear what we're trying to build up: 
      - http://mathoverflow.net/questions/77985 
      - http://cstheory.stackexchange.com/questions/6085/shors-factoring-algorithm-help
(Peter Shor himself answered this one!) 
      - http://cstheory.stackexchange.com/questions/990/can-we-quantify-the-degree-of-quantumness-in-a-quantum-algorithm 
      - http://physics.stackexchange.com/questions/3777/informational-capacity-of-qubits-and-photons 
(Shor answered this one, too.) 
      - http://physics.stackexchange.com/questions/15482/how-do-i-calculate-the-position-on-the-bloch-sphere-of-a-quantum-gate-with-a-giv 
(even fairly basic questions are OK) 
      - http://physics.stackexchange.com/questions/11702/how-could-a-particle-be-isolated-to-avoid-decoherence 
(Yep, Shor.) 
      - http://theoreticalphysics.stackexchange.com/questions/370/rigorous-security-proof-for-wiesners-quantum-money 
(Asked by Scott Aaronson and answered by Daniel Gottesman.) 
      - http://theoreticalphysics.stackexchange.com/questions/93/models-of-neutrinos-consistent-with-operas-results
If you are interested in helping make this proposal happen, you can help by submitting example questions to the proposal site [5], and later joining in the private beta once it goes live. Remember, the more people that join in, the more useful the site will become! Currently, we need 15 new users for the proposal to go live, so your help is definitely appreciated. Thanks for reading! We hope to see you on StackExchange soon!
Sincerely,
Chris Ferrie
Chris Granade
Links:
  [1] http://mathoverflow.net/ (Not actually an SE site, but very similar!)
  [2] http://cstheory.stackexchange.com/
  [3] http://physics.stackexchange.com/
  [4] http://theoreticalphysics.stackexchange.com/
  [5] http://area51.stackexchange.com/proposals/36039/quantum-information-and-foundations

25 de octubre de 2011

Otro pionero de la computación nos deja

Primero Steve Jobs, depués Dennis Ritchie, y ahora John McCarthy. El fue uno de los iniciadores de la inteligencia artificial. De hecho, él fue la persona quien acuñó ese término. Además fue el creador del primer lenguaje funcional LISP. También fué ganador del premio Turing 1971.

Recuerdo que una vez cuando estaba comenzando en la universidad, le había enviado un email a John McCarthy con algunas preguntas. Ya ni recuerdo sobre que le escribí, pero no recibí ninguna respuesta.


18 de octubre de 2011

Poster: Foro Digiteo

En octubre comencé un postdoc financiado por el consorcio Digiteo. 
Hoy se realizó el Foro Anual de Digiteo, donde se muestran los proyectos en los cuales han invertido. Por lo tanto, tuve que presentar un poster allí explicando mi proyecto. Aquí les dejo el poster en PDF para descargar.

Mayoritariamente, los proyectos financiados por Digiteo son de aplicación inmediata (mucho de robótica, visión, ciudades inteligentes, etc), pero todos los años financian algún que otro proyecto teórico, como el mío. Grata fue la sorpresa de encontrarme con un trabajo de "Practical" Quantum Coin Flipping!