informacin
Quantum Computation: a revolution in handling information
Pedro J. Salas Peralta
Dpto. Tecnologas Especiales Aplicadas a la Telecomunicacin
ngel L. Sanz Senz
Dpto. Fsica Aplicada a las Tecnologas de la Informacin
Universidad Politcnica de Madrid
Ciudad Universitaria s/n, 28040 Madrid
Abstract
In this work we review the main contributions to a new interdisciplinary field
emerging around the border between Quantum Mechanics and Information Theory. The
marriage of these two fields is leading to a new, and astonishing, non-classical way of
handling information. The development of a new quantum technology will enable us to
have a quantum computer in the next future.
PACS: 03.67.Lx
1. Introduccin
El concepto de ordenador se pierde en la historia del ser humano. Los primeros
fueron construidos con propsitos muy concretos y eran poco verstiles. Un ejemplo son
los monumentos megalticos, como las estructuras de Stonehenge, en Inglaterra, que
servan para predecir eventos astronmicos. Evidentemente, si se hubiera deseado utilizar
tales construcciones para otros cometidos habra sido necesario cambiar las piedras de
sitio o incluso de tamao. El proceso de programacin sera realmente difcil.
A lo largo de la historia, las mquinas de clculo se fueron complicando a la vez
que se iban volviendo ms verstiles, pasando desde el baco hasta las mquinas
calculadoras de Pascal o Leibnitz. Sin embargo, la escasa utilidad de tales mquinas para
la vida diaria de la poca las releg al olvido durante cien aos.
A medida que el tamao de los ordenadores ha ido disminuyendo, ha aumentado
su velocidad de funcionamiento. La tecnologa de los ordenadores ha evolucionado
siguiendo un proceso de miniaturizacin que lleva desde los rels, vlvulas y transistores
hasta los circuitos integrados... Parece que el prximo nivel ser el molecular. Sin
embargo, llegados a este nivel no slo hay que contar con la Mecnica Cuntica (MC)
para conseguir un funcionamiento correcto de los dispositivos, sino que adems participa
activamente en el comportamiento global. En la actualidad se est aprendiendo a captar y
aprovechar las ventajas que se derivan de considerar a la informacin como un ente
cuntico, perspectiva sta que abre toda una serie de nuevas posibilidades capaces de
producir vrtigo al propio Bohr.
2. Computacin clsica
Cabe, quizs, situar el origen moderno de la teora de la computacin en la
respuesta a un problema propuesto por David Hilbert en 1900. Hilbert plante la
necesidad de preguntarse no sobre la veracidad de ciertas proposiciones matemticas,
sino acerca de la capacidad real que tienen las matemticas para responder a tales
cuestiones. El inters por las soluciones que aportan las matemticas a determinadas
sentencias se desplaz hacia un inters por demostrar la posibilidad de dar respuestas.
Turing se enfrent a este desafo y empez a pensar en una posible solucin
mecnica del problema. Introdujo el concepto de Mquina de Turing (MT), dispositivo
formado por un cabezal de lectura/escritura y una cinta ilimitada. Esta MT puede
adquirir un conjunto finito de estados internos Qi que le indican qu hacer a
continuacin. Cuando se alcanza un determinado estado final Qf, la MT se detiene y
escribe el resultado, habitualmente en forma de un s o un no. El funcionamiento es
simple: el cabezal comienza en un determinado estado interno inicial, lee un smbolo en la
primera casilla y, dependiendo del estado concreto y del smbolo ledo, ejecuta una
accin: modifica el smbolo o lo deja igual. A continuacin el cabezal se mueve a otra
casilla.
El inters de la MT es que permite estudiar la computacin desde dos puntos de
vista:
a) Posibilidad de computar ciertas funciones.
Las MT realizan clculos mecnicos que ejecutan un algoritmo o procedimiento
efectivo. Podemos preguntarnos si el concepto de mquina de Turing engloba a todas las
operaciones matemticas representadas por algoritmos. La respuesta es la tesis de
Church-Turing: cualquier funcin que sea computable, se puede computar mediante
una mquina de Turing constituida por un dispositivo fsico "razonable". Las MT no
aspiran llegar a ser realmente construidas, tan slo pretenden captar lo esencial del
comportamiento de un ordenador. Dado que una determinada MT puede ser descrita por
completo especificando los estados internos {Qi} y los datos de entrada X, es posible
considerar al conjunto {Qi, X} como los datos de otra MT que simulara a la primera.
Estas MT se denominan universales, ya que simulan el funcionamiento de cualquier otra.
Las MT no tienen que ser necesariamente deterministas (MTD), realizando la
computacin a travs de un camino concreto. Existe la posibilidad de que, partiendo de
una determinada configuracin de la MT, la siguiente configuracin pueda alcanzarse
C0
C01
t=0
t1
t2
C012
Figura 1: Mquina de Turing clsica
slo con una cierta probabilidad. Estamos ahora ante una Mquina de Turing
Probabilista (MTP). Su funcionamiento puede representarse mediante un esquema en
rbol (figura 1). La computacin sigue una nica ruta (que une las configuraciones C0,
C01 y C012, camino mostrado con flechas) que se produce con una cierta probabilidad
lgica clsica se basa en puertas no reversibles, aquellas que no permiten obtener los bits
de partida despus de realizada la operacin. Esto es lo que sucede, por ejemplo con la
puerta NAND.
La idea de computacin clsica reversible la introdujo matemticamente Yves
Lecerf en 1963. Bennett la desarroll en 1973 demostrando que, desde un punto de
vista terico, es posible la existencia de una mquina de Turing reversible. En la
representacin de circuitos se plantearon algunas puertas clsicas reversibles, como es la
puerta CNOT (control-not). Esta puerta acta sobre pares de bits: realiza una operacin
NOT sobre el segundo bit slo si el primero es 1. Se puede obtener una nica puerta
universal reversible anloga a la NAND para la lgica irreversible: se trata de la puerta
de Toffoli (toma el nombre de su creador); no es mas que una "control-control-NOT"
(CCNOT). Esta puerta no es la nica; as por ejemplo Fredkin ide otra, la que lleva su
nombre. Acta sobre tres bits, de forma que intercambia el segundo con el tercero si el
primero es 1; es un control-swap".
La existencia de mquinas de Turing reversibles nos indica que para efectuar un
cmputo concreto no existe una cantidad mnima de energa que necesariamente deba
ponerse en juego.
La teora clsica de la computacin habitualmente no haca referencia alguna a la
fsica del dispositivo, al suponer que los fundamentos de la teora son independientes de
la realizacin fsica. Hubieron de pasar 20 aos hasta que Deutsch, Feynman y otros
pusieran de manifiesto que esta idea es falsa, mostrando que existe una conexin entre
las leyes de la fsica y la informacin, en concreto la computacin. A partir de este
momento iba a desarrollarse una ms de tantas uniones entre distintas ideas que aparecen
en la historia de la fsica: computacin y MC. De esta unin nace la Computacin
Cuntica.
De forma general podemos decir que la computacin es la creacin de conjuntos
de smbolos (resultados) a partir de ciertos conjuntos de smbolos iniciales (o datos). Si
interpretamos los smbolos como objetos fsicos, la computacin corresponde a la
evolucin de los estados de los sistemas. Si la evolucin es cuntica, tenemos la
Computacin Cuntica (Williams y Clearwater 1997).
4. Computacin cuntica
Ya que el sentido comn deja de ser correcto cuando descendemos a los reductos
cunticos, bien podra suceder que el paradigma de la MT no fuera todo lo independiente
de la fsica que desebamos. La pregunta surgi con cierta timidez: seran las MT
basadas en la MC equivalentes a las clsicas? Dado que la MC permita nuevas formas de
evolucin a travs de superposiciones coherentes de estados, la respuesta se adivinaba
negativa.
La posibilidad de que una mquina de Turing cuntica pudiera hacer algo
genuinamente cuntico fue planteada por Richard Feynman en 1982 (Feynman 1982,
Hey y Allen 1996) al demostrar que ninguna mquina de Turing clsica (probabilista o
no) podra simular algunos comportamientos cunticos sin incurrir en una ralentizacin
exponencial; en cambio una mquina de Turing cuntica s podra hacerlo. Esta diferencia
de comportamiento surge de que la dimensin del espacio de Hilbert accesible al sistema
aumenta de forma exponencial (2n) con el nmero de amplitudes (n) a manejar y guardar.
Feynman describi un simulador cuntico universal que simulaba el comportamiento de
cualquier sistema fsico finito. Desafortunadamente, Feynman no dise este simulador y
su idea tuvo poco impacto
donde 0> y 1> son los dos estados en los que puede encontrarse el sistema. Los
coeficientes a y b son nmeros complejos; si el qubit est normalizado se cumplir
|a|2+|b|2=1. Notemos que, al no existir restricciones a los posibles valores de los
coeficientes (salvo quizs la condicin de normalizacin del vector de estado), en un solo
+
0 |0>
1 |1>
|Q>=a|0> +b|1>
1
2
[0
+ 1 ] L
1
2
[0
+ 1 ]=
2 m 1
1
2m / 2
x
x =0
1
f = Uf { 0 } = Uf m / 2
2
2 m 1
x =0
1
x 0 = m/2
2
2 m 1
f (x)
x=0
NOT
1 1 + i 1 i
2 1 i 1 + i
1 1 1
2 1 1
U CNOT
0
=
0
0
1
0
0
0
0
0
1
0
1
|Qc>
|QiQc>
simulaciones de evolucin fsica de sistemas, etc.. Los ordenadores clsicos slo pueden
calcular funciones, y por tanto cualquier secuencia de nmeros resultante no es
completamente aleatoria.
La MC, sin embargo, est fundamentada en leyes indeterministas. Esta
indeterminacin es de carcter bsico, a diferencia de la imposibilidad de prediccin
clsica que se desprende de una especificacin incompleta de las condiciones iniciales del
problema (caos determinista). Por ejemplo, partiendo de un qubit |0> y aplicando una
puerta de Hadamard, obtenemos el qubit {|0>+|1>}/21/2. Si realizamos una medida,
colapsamos el vector de estado del qubit en los estados |0> o |1> con un 50% de
probabilidad cada uno. Este mtodo podra ser ampliado (por lo menos en principio) a la
generacin de nmeros aleatorios entre 0 y 2N-1, sin mas que preparar una superposicin
de todos los estados de un sistema de N qubits. La medida del vector de estado causara
su colapso aleatorio en uno de sus trminos. Trasladando la notacin binaria a decimal
del qubit, tendramos el nmero aleatorio requerido.
Algoritmo de Deutsch.
El problema de Deutsch-Jozsa (1992) fue el primer ejemplo de problema que
poda resolverse exponencialmente ms rpido en un ordenador cuntico que en una MT
clsica. Consideremos un conjunto de funciones booleanas del tipo f: {0,1} {0,1}; en
concreto hay cuatro de ellas: dos constantes f(0)=f(1)=0 y f(0)=f(1)=1 y otras dos
balanceadas, f(0)=0, f(1)=1 y f(0)=1, f(1)=0. Es el problema que surge si deseamos
averiguar si una moneda es falsa (con dos caras o dos cruces) o autntica (con una cara y
una cruz). No estamos interesados en saber los valores concretos de las funciones, sino
nicamente en una caracterstica global de la funcin: averiguar si la funcin f es
constante o balanceada. Desde un punto de vista clsico tenemos que hacer, al menos,
dos clculos de la funcin para averiguarlo. Sin embargo, la informacin obtenida de si la
funcin es constante o balanceada corresponde a un solo bit, luego deberamos ser
capaces de obtener el resultado en un slo clculo. Mediante un algoritmo cuntico
podemos conseguirlo.
El mtodo sera el siguiente. Preparamos dos estados |0> y |1>, los rotamos con
una transformacin de Hadamard, realizamos el clculo de la funcin mediante una
puerta habitual Uf (dado que f:{0,1}{0,1}, se trata de una control-f):
U f x , y = x, y f (x )
(|0>+|1>)(|0>-|1>) |00>+|10>-|01>-|11> Uf
|0,0 f(0)>+|1,0 f(1)>-|0,1 f(0)>-|1,1 f(1)>
y volvemos a rotar el primer qubit:
|0>{|f(0)>+|f(1)>-|1 f(0)> -|1 f(1)>}+ |1>{|f(0)>-|f(1)>-|1 f(0)>+|1 f(1)>}
Despus de esto, medimos el primer qubit, y si obtenemos |0>, la funcin es constante, y
si obtenemos |1> la funcin es balanceada. El circuito cuntico aparece en la figura 4.
Por tanto con una sola medida hemos conseguido el objetivo. Fue el primer
algoritmo que mostr este comportamiento.
|0>
|1>
|0>, f es constante
|1>, f es balanceada
(|0>-|1>)
Uf
(|0>+|1>)(|0>-|0>)
1
q
1/ 2
q 1
i 2 kx / q
k =0
1024
2048
4096
ao 2006
105 aos
5 1015 aos
3 1029 aos
ao 2024
38 aos
1012 aos
7 1025 aos
ao 2042
3 das
3 108 aos
2 1022 aos
En un ordenador cuntico
nmero de qubits
5124
10244
20484
nmero de
3 109
2 1011
2 1012
4.5 minutos
36 minutos
4.8 horas
puertas
tiempo
1.- Eleccin de los qubits, es decir de los posibles sistemas fsicos, con dos niveles
cunticos.
2.- Control del espacio de Hilbert del ordenador. Es preciso poder manejar los qubits,
sus superposiciones coherentes, borrado de registros, etc.
3.- Control de transformaciones unitarias. Una vez elegido el sistema cuntico con el
que representamos el qubit, se debe poder efectuar operaciones mediante puertas
cunticas. Eligiendo un conjunto universal de ellas, por ejemplo {rotaciones de un
qubit, CNOT}, se podrn realizar cualquier tipo de computaciones.
4.- Control de errores cunticos. Este aspecto es fundamental, y es el actual cuello de
botella de estos procesos. Se necesitan: (a) mtodos pasivos de correccin, es decir
un buen aislamiento del ordenador de su entorno, (b) mtodos de deteccin y
fundamental del ion Be+ como qubit imagen, mientras que los dos primeros modos de
vibracin (fonones) simulan el qubit de control. De esta forma, ambos qubits de la
puerta CNOT estn en distintos grados de libertad del mismo sistema. Monroe et al
(1995) obtienen un funcionamiento correcto de la puerta en un 90%, as como una
decoherencia del orden de dec 1 ms (valor demasiado grande), mientras que el
tiempo necesario para realizar una operacin elemental es del orden de tp 10-5 s. El
principal problema que presenta el sistema es su dificultad para ser escalado.
Siguiendo el mismo esquema, es posible usar conjuntos de iones atrapados en trampas
de Paul lineales (Cirac y Zoller 1995), lo cual eliminara el problema de escala. Hasta
el momento y a pesar del gran esfuerzo dedicado, no se ha implementado ninguna
puerta CNOT mediante estos sistemas. Se han construido trampas para controlar
conjuntos de iones Ca+, en los que se usan niveles S1/2 y D5/2 (con vida media de 1s)
para representar al qubit (Ngerl et al 1998).
Dentro de los sistemas con espines acoplados, las tcnicas de RMN han permitido
importantes progresos. El mtodo presenta varias ventajas: los aspectos
experimentales se conocen desde hace mucho tiempo y son usados de forma habitual
en los laboratorios de espectroscopia; trabajan a temperatura ambiente y tienen
tiempos de decoherencia muy largos, del orden de cientos o miles de segundos. Su
|11>
|10>
|01>
|00>
2+
1+
1-
2-