1. MODELOS
1.1. Computadora cuántica de Benioff
1.1.1. La computadora cuántica de Benioff es una idea de que la cinta de la máquina de Turing podría ser reemplazada por una secuencia de sistemas cuánticos simples de dos-estados creada por Paul Benioff. Esto proporcionó una manera primitiva de codificar una secuencia de dígitos binarios. De manera similar, el cabezal de la máquina de Turing fue reemplazado por una interacción cuántica mecánica que podía leer o resetear el valor del estado del espín. Las reglas fueron reemplazadas por una ecuación de Schrödinger diseñada de forma que una configuración inicial de espines evolucionara a un conjunto final de espines que se pudieran descodificar en bits resultado del cálculo en cuestión.
1.2. Computadora cuántica de Feynman
1.2.1. El modelo de Feynman es una versión cuántica de un circuito lógico combinacional. Se describe la computación a realizar a nivel de circuito, construyéndolo con puertas cuánticas reversibles. En general, podemos entender el circuito como k puertas lógicas actuando sobre m qubits. La transformación conseguida por el circuito puede ser escrita como Ak·Ak-1·...·Ai, donde Ai es un operador que describe la acción de la puerta i-ésima.Para realizar la composición de matrices Ai hacemos lo siguiente: Sean los |n| átomos del registro. Añadimos un conjunto nuevo de |k+1| átomos que configuran lo que vamos a llamar el contador de posiciones del programa. Denotamos como <qi> al operador de aniquilación de la posición |i| y como <q*i> al operador de creación de la posición |i|, de tal forma que ambos operan desde |i = 0| hasta |i = k|. Necesitamos ahora un electrón cambiando continuamente de una posición a otra. Así, si en un instante dado una posición está vacía el estado de esa posición es |0>, y si en un estado dado una posición está ocupada el estado de esa posición es |1>. Con este planteamiento Feynman propone como Hamiltoniano: H = SUMA (i=0 -> k-1) <q*i+1> <qi> Ai+1 + Complejo Conjugado
1.3. Computadora cuántica de Deutsch
1.3.1. La primera máquina de Turing cuántica verdadera fue descubierta por David Deutsch. Su modelo se diferencia del de la Benioff en que mantiene el registro de memoria cuántico (la cinta) en superposición de estados computacionales. El operador U de evolución temporal tiene que ser local, envolviendo sólo interacciones entre qubits adyacentes, e independiente del tiempo. Esto asegura que, en cada paso computacional, sólo interactúan qubits adyacentes y la computación tiene un tiempo de finalización bien definido. Para lograrlo es necesario un hamiltoniano dependiente del tiempo.