Computación afín y autómatas afines, en Rusia

El paper que escribimos con Abuzer Yakaryılmaz (el cual comenté aquí), fue aceptado en el CSR 2016 (The 11th International Computer Science Symposium in Russia).

Pueden bajar un preprint de arXiv. La versión publicada es un poco más corta por límites de espacio, y está aquí: LNCS 9691:146-160.

Lo que hacemos en este trabajo es definir los autómatas afines. La idea surgió de un comentario que hice en una charla que dio Abuzer en mi grupo acerca de los autómatas cuánticos. La ganancia computacional que tenían estos autómatas parecía venir exclusivamente de las amplitudes negativas, entonces surgió la pregunta de si podríamos tener el mismo poder computacional simplemente usando un autómata probabilista con "probabilidades" negativas. Y así llegamos a las transformaciones afines: la idea es que un estado está representado por un vector cuyas componentes suman uno, sólo que no pedimos que sean positivas (como en un autómata probabilista). Luego usamos transformaciones afines (que mantienen la suma a uno) como matriz de transición. El resultado fue sorprendente ya que en el caso determinista, resultó ser más poderoso que los autómatas finitos cuánticos (y en el caso no determinista, igual).

Dejaré los slides una vez lo prepare para el simposio (que es en San Petersburgo del 9 al 13 de junio). Update: Aquí están.

Cabe aclarar que Abuzer es el especialista en autómatas (igual que Marcos Villagra, co-autor de este blog), mi campo principal es el cálculo lambda y la teoría de tipos... pero estuvo buena esta colaboración y espero ir aprendiendo más del tema.

Comenzando actividades

Hace casi un año que me mudé de vuelta a Asunción para iniciar mis actividades académicas. Me dijeron que el primer año resultaría duro y lo fue. Especialmente después de haber vivido casi ocho años en Japón y volver a acostumbrarme a mi propia cultura fue lo más difícil. Hasta este momento nunca me había dado cuenta de lo aculturado que estaba a Japón.

Actualmente estoy realizando un cambio en mis estudios y estoy aprovechando estos nuevos aires para incursionar en complejidad algebraica. Es un área de estudio que me siempre me provocó curiosidad y siempre disfruté estudiar. Ahora es una buena oportunidad para comenzar en esto. No significa que voy a dejar la computación cuántica, sino más bien, sería como un refuerzo que actuaría en sinergía con la computación cuántica. Los mismos conceptos aparecen en ambos como los tensores, los polinomios, y por supuesto, el álgebra abstracta.

Este año voy a estar muy concentrado en crear un grupo de investigación en teoría de la computación, el cual es un área (según mi entendimiento) inexistente en el Paraguay. Solo estamos dos personas que hacemos investigación en teoría de la computación. Espero poder cambiar eso en un futuro.

Por lo tanto estoy buscando estudiantes de grado y postgrado interesados en hacer teoría de la computación, en particular, las áreas de complejidad algebraica, computación cuántica y complejidad computacional clásica. Hay oportunidades de beca para estudiantes a tiempo completo, y nuestro consejo de ciencia y tecnología local ofrece todos los años becas de postgrado. Además, nuestro programa de postgraduación en Ciencias de la Computación es muy bueno, con expertos en diferentes áreas como bioinformática, optimización, ingeniería, computación científica y otros.

Voy a ir reportando avances de como vamos organizando el grupo. No quiero prometer publicaciones en el blog cada cierto tiempo estecífico, pero si voy a intentar cada tanto hacer una actualización. Es increíble como antes teníamos como una entrada en el blog cada semana, pero luego de graduarme y empezar a trabajar se hizo muy difícil escribir.

Este es un buen momento para volver a escribir.

Rūsiņš Mārtiņš Freivalds 1942-2016

Hoy me llegó la triste noticia de que Rūsiņš Freivalds falleció. El fue un pionero de la teoría de autómatas y la complejidad computacional. Entre sus muchas contribuciones quisiera resaltar  el primer algoritmo que demuestra la superioridad de la computación probabilística sobre la determinística; el demostró que el lenguaje {0ⁿ1ⁿ | n≥0} puede ser reconocido por un autómata probabilístico. También, fue el descubridor de un algoritmo asintóticamente óptimo para verificar la multiplicación de matrices, conocido como el Algoritmo de Freivalds. 

Tuve el placer de conocerlo y escuchar en varias ocasiones sus historias sobre como hacían investigación en la antigua unión soviética, del cual Latvia (o Letonia en español) fue parte. Siempre que él iba a alguna conferencia estaba acompañado de sus muchos estudiantes. En los últimos años sus trabajos se centraron en un modelo de computación basado en números p-ádicos. Aunque aparenta ser un modelo muy extraño, es una generalización muy natural y muy interesante.