Computadora cuntica de Benioff

La computadora cuntica de Benioff es una idea de que la cinta de la mquina de Turing podra ser reemplazada por una secuencia de sistemas cunticos simples de dos-estados creada por Paul Benioff. Esto proporcion una manera primitiva de codificar una secuencia de dgitos binarios. De manera similar, el cabezal de la mquina de Turing fue reemplazado por una interaccin cuntica mecnica que poda leer o resetear el valor del estado del espn. Las reglas fueron reemplazadas por una ecuacin de Schrdinger diseada de forma que una configuracin inicial de espines evolucionara a un conjunto final de espines que se pudieran descodificar en bits resultado del clculo en cuestin. En consecuencia, el programa que ejecutaba la computadora era implcitamente contenido en los detalles de la ecuacin de Schrdinger. La mquina evolucionaba en pasos de una duracin prefijada tal que, al final de cada paso, la cinta estaba siempre en uno de sus estados fundamentales en los que cada espn estaba bien totalmente hacia arriba, 1, o bien hacia abajo, 0. Sin embargo, durante un paso, la mquina podra estar temporalmente en superposiciones de estados de espn. Esta computadora no aprovecha el potencial que proporcionan las computaciones superpuestas ya que al final de cada paso el cabezal mide el estado de la cinta, lo cual colapsa cualquier superposicin de la misma. Este modelo no es factible en la prctica, entre otras razones, porque para construir el hamiltoniano ser necesario conocer de antemano la respuesta del programa. Este problema se podra solucionar fijando un hamiltoniano dependiente del tiempo.

Computadora cuntica de Feynman

El modelo de la mquina de Turing es una manera de describir una computadora abstracta. Otro es cmo construir un circuito a partir de puertas lgicas primitivas. Ambas aproximaciones son equivalentes. El modelo de Feynman es una versin cuntica de un circuito lgico combinacional. Se describe la computacin a realizar a nivel de circuito, construyndolo con puertas cunticas reversibles. En general, podemos entender el circuito como k puertas lgicas actuando sobre m qubits. La transformacin conseguida por el circuito puede ser escrita como AkAk-1...Ai donde Ai es un operador que describe la accin de la puerta i-sima.

David Deutsch
La primera mquina de Turing cuntica verdadera fue descubierta por David Deutsch. Su modelo se diferencia del de la Benioff en que mantiene el registro de memoria cuntico (la cinta) en superposicin de estados computacionales. El operador U de evolucin temporal tiene que ser local, envolviendo slo interacciones entre qubits adyacentes, e independiente del tiempo. Esto asegura que, en cada paso computacional, slo interactan qubits adyacentes y la computacin tiene un tiempo de finalizacin bien definido. Para lograrlo es necesario un hamiltoniano dependiente del tiempo.