Autómata celular cuántico

Un autómata celular cuántico, o ACC, es un modelo abstracto de la computación cuántica, ideado en analogía de los modelos convencionales de la autómata celular introducidos por von Neumann. Este nombre también puede referirse a la autómata celular de puntos cuánticos, que son una implementación física propuesta de los autómatas celulares "clásicos", explotando los fenómenos de la mecánica cuántica. Las ACC han atraído mucha atención a consecuencia de su característico tamaño (a escala molecular o incluso atómica) y su consumo ultra bajo de energía, por lo que es uno de los candidatos para la sustitución de la tecnología CMOS.

Uso del término

En el contexto de los modelos computacionales o en el de los sistemas físicos, el autómata celular cuántica se refiere a la fusión de dos elementos (1) el estudio del autómata celular en las ciencias computacionales y (2) el estudio del procesamiento de información cuántica. En particular, las siguientes son características de los modelos de un autómata celular cuántica:

• El cálculo se obtiene por la operación en paralelo de múltiples dispositivos informáticos, o células. Las células, generalmente, son tomadas para ser sistemas cuánticos idénticos de dimensión finita (por ejemplo, cada célula es un qubit).
• Cada célula tiene una vecindad de otras células. Juntas forman una red de células, que se consideran como regular (por ejemplo, las células se acomodan como una rejilla con, o sin, condiciones periódicas de contorno).
• La evolución de todas las células tiene una serie de simetrías físicas. La localidad es una: el siguiente estado de una célula depende de su estado actual y el de sus vecinas. La homogeneidad es otra: la evolución actúa de la misma forma sobre todas las células, es independiente del tiempo.
• El estado espacial de las células y las operaciones que se realizan en ellas, deben estar motivadas por los principios de la mecánica cuántica.

Otra característica que a menudo es considerada importante para un modelo de la autómata celular cuántico es que debe ser universal para la computación cuántica es decir, que pueda simular de manera eficiente a las máquinas de Turing cuánticas,​​ algún circuito cuántico arbitrario​ o simplemente, todos los otros autómatas celulares cuánticos.​​

Los modelos propuestos recientemente imponen otras condiciones, por ejemplo, qué los autómatas celulares cuánticos deben ser reversibles y/o localmente unitarias, que tengan una función de transición global fácil de determinar a partir de la regla de actualización de células individuales.​ Resultados recientes muestran que estas propiedades se pueden derivar axiomáticamente, a partir de las simetrías de la evolución global.​​​

Modelos de ACC

Primeras propuestas

En 1982, Richard Feynman sugirió una primera aproximación a la cuantificación de un modelo de autómatas celulares.​ En 1985, David Deutsch presentó un desarrollo formal sobre el tema.​ Más tarde, Gerhard Grössing y Anton Zeilinger introdujeron el término "autómatas celulares cuánticos" para referirse a un modelo que definieron en 1988,​ aunque su modelo tenía muy poco en común con los conceptos desarrollados por Deutsch por lo que no se ha desarrollado de manera significativa como un modelo de cálculo.

Modelos de la computación cuántica universal

El primer modelo formal de autómatas celulares cuánticos para ser investigado en profundidad fue introducido por John Watrous.​ Este modelo fue desarrollado por Wim van Dam,​ así como Christoph Dürr, Huong LêThanh, y Miklos Santha,​​ Jozef Gruska.​ y Pablo Arrighi.​ Sin embargo, fue después cuando se dieron cuenta de que esta definición era demasiado floja, en el sentido de que algunos casos permitían señalización súper lumínica.​​ Una segunda ola de modelos incluye las de Susanne Richter y Reinhard Werner,​ de Benjamin Schumacher y Reinhard Werner,​ de Carlos Pérez Delgado y Donny Cheung,​ y de Pablo Arrighi, Vincent Nesme y Reinhard Werner.​​ Estas están estrechamente relacionadas y no sufren de ninguna cuestión de localidad. Al final se puede decir que todos están de acuerdo a la imagen de los autómatas celulares cuánticos como solo un gran circuito cuántico, infinito y repitiéndose a través del tiempo y el espacio.

Modelos de sistemas físicos

Modelos de autómatas celulares cuánticos han sido propuestos por David Meyer,​​ Bruce Boghosian y Washington Taylor,​ y Peter Love junto con Bruce Boghosian​ como un medio para simular rejillas cuánticas de gases, motivadas por el uso de autómatas celulares “clásicos” para la modelación de fenómenos físicos clásicos tales como la dispersión de gases.​

Autómata celular de puntos cuánticos

Una propuesta para la implementación clásica de autómatas celulares por sistemas diseñados con puntos cuánticos se ha propuesto con el nombre de "autómatas celulares de puntos cuánticos" por Doug Tougaw y Craig Lent,​ como un reemplazo de la computación clásica utilizando la tecnología CMOS. Con el fin de poder diferenciar mejor entre esta propuesta y modelos de autómatas celulares que realizan computación cuántica, muchos autores que trabajan sobre este tema ahora se refieren a esto como un autómata celular de puntos cuánticos.

Véase también

• Autómatas finitos cuánticos
• Autómata celular

Referencias

• Datos: Q4893239