1.RESUMEN.
En los ltimos aos, ha despegado y se ha constituido toda una nueva disciplina, la
computacin cuntica, que en ltimo trmino pretende desencadenar una nueva
concepcin en la arquitectura de los ordenadores, para dar lugar al ordenador
cuntico. A continuacin, veremos tanto las motivaciones para este cambio tecnolgico,
como los nuevos conceptos implicados y los primeros ordenadores cunticos.
2. INTRODUCCION.
Las grandes revoluciones en la historia de la tecnologa han implicado nuevas formas
de utilizar la naturaleza, explotando distintos recursos tales como materiales, fuerzas y
fuentes de energa. Estas revoluciones han estado impulsadas habitualmente por
progresos conceptuales, como por ejemplo, cuando Newton unific el movimiento de
todos los cuerpos(a escala de la percepcin humana y por encima), notando que
cualquier mvil satisfaca unas mismas ecuaciones, fuera una manzana, un pndulo o
un planeta; o cuando definimos el concepto de energa, subyacente tanto en un electrn
acelerado en el anillo del CERN, como en una hoja de lechuga.
Otro hito en la evolucin conceptual fue el reconocimiento de que, algo que ahora
llamamos informacin, era un concepto compartido por objetos, y que era susceptible
de ser manipulado, de la misma forma en que son manipulados el momento y la energa
en las ecuaciones de movimiento de un cuerpo; por ejemplo, consideremos como
objetos los enunciados siguientes:
" Es un ordenador","c'est une ordinateur","it's a computer".
Podemos notar que tienen algo en comn(su contenido de informacin), aunque no
comparten las mismas palabras, las mismas combinaciones de letras. Para poder
manipular ese "algo, asignamos por ejemplo los siguientes nmeros a las letras
:a->34,b->35,c->36, ....., de esta forma la expresin en espaol quedara como: 38 52
54 47........
Pues bien, a lo largo del ltimo siglo la " tecnologa de la informacin ", ha ido
implicando una secuencia de avances en los componentes de los ordenadores, de forma
que stos han ido duplicando su velocidad cada dos aos, al tiempo que reducan el
tamao de sus componentes a la mitad. (Los circuitos actuales contienen transistores y
lneas de conduccin cuya anchura es menor que un micrmetro).
Pues bien, las tcnicas de integracin de microcircuitos estn llegando a sus lmites,
puesto que los procedimientos litogrficos ms avanzados, por medio de los cuales los
elementos podran reducirse cien veces menos, hacen que los circuitos integrados
apenas consigan funcionar, al presentarse la materia que componen los dispositivos
como una muchedumbre de tomos, donde ya se percibe el carcter individual de los
mismos. A esta escala, los dispositivos de los circuitos del ordenador son descritos por
la teora cuntica de la materia.
No es slo esta barrera tecnolgica la nica motivacin para el surgimiento de la
computacin cuntica; nuevos problemas de clculo, como la simulacin de la
interaccin de molculas cidas con protenas, la descomposicin prima de enteros de
orden mayor que 120, la prediccin meteorolgica,... etc., descubren las limitaciones
de la computacin binaria y secuencial, invocando ya a una nueva concepcin de la
arquitectura y el clculo informticos, estando sustentada su base terica en la
mecnica cuntica.
3.MECANICA CUANTICA.
A una escala del orden del micro- al nano-metro, la materia(los tomos y molculas
que los componen) no se comporta al modo clsico, esto es satisfaciendo las ecuaciones
de movimiento que son vlidas para objetos tales como manzanas, cohetes o bolas de
billar, sino que su comportamiento es descrito por las leyes de la mecnica cuntica, y
describiendo un comportamiento muy diferente al supuesto clsicamente, pero
corroborado por los experimentos una y otra vez.
Para apreciar cmo podra actuar un ordenador cuntico, abordemos el siguiente
fenmeno, descrito por la mecnica cuntica:
La dualidad onda-partcula significa que bajo ciertas condiciones, objetos(partculas)
considerados normalmente como slidos, se comportan como si fueran ondas(sonido
luz), y a la inversa. En esencia la mecnica cuntica establece los tipos de ondas
asociados a los distintos tipos de partculas, y recprocamente. ( Ver:figura 1).
La primera consecuencia de la dualidad onda-partcula es que los sistemas atmicos,
como los tomos y sus partculas constituyentes, slo pueden existir en estados de
energa discretos. As, cuando un tomo salta de un estado de energa a otro(pensemos
en el gas de las farolas cuando comienzan a encenderse o bien en los tomos de un
objeto incandescente), absorbe o emite energa en cantidades exactas, llamadas
cuntos de luz fotones, que podran considerarse las partculas que componen la luz.
Una segunda consecuencia es que las ondas mecanocunticas, como las ondas de agua,
pueden superponerse; tomadas individualmente, estas ondas describen la posicin de
las partculas que representan, pero al combinar dos o ms de tales ondas, la posicin
de la partcula se vuelve incierta, de forma que, por ejemplo, un electrn puede en
ocasiones encontrarse en dos lugares al mismo tiempo.
Finalmente introduzco los conceptos de coherencia y de decoherencia, que juegan un
importante papel en la descripcin de sistemas cunticos: el primero de ellos se refiere
al proceso por el que dos ondas cunticas superpuestas se comportan como una sla
onda; el segundo se refiere al proceso por el cual dos ondas coherentes recuperan su
respectiva identidad individual dicindose que hay decoherencia.
4.2.ORDENADORES CUNTICOS.
Ahora, en qu consistira la diferencia entre un ordenador cuntico y otro clsico?.
Pues bien, un ordenador cuntico funcionara asociando el conocido carcter discreto
del procesamiento de informacin digital(esto es, los bits) con el extrao carcter de la
mecnica cuntica(niveles finitos de energa, estados atmicos discretos).
As, una hilera de tomos de hidrgeno podra alojar cubits igual de bien que alojan
bits una serie de condensadores. Un tomo en estado fundamental electrnico(el menor
estado discreto de energa)podra ser la codificacin de un 0, y en estado excitado un
1.Pero para que tal sistema cuntico pueda funcionar como un ordenador, no se debe
limitar a almacenar cubits, sino que quien lo maneje ha de ser capaz de introducir
informacin en el sistema, ha de procesar tal informacin mediante manipulaciones
lgicas simples, y ha de poder devolver la informacin procesada: en conclusin han
de poder leer, escribir y efectuar operaciones aritmticas.
Es esto posible actualmente?.
5. HARDWARE.
Hoy se sabe como leer y escribir informacin en sistemas cunticos;veamos los
procesos y un problema no resuelto
6.1.TRAMPA DE IONES
CADENA DE IONES
Propuesto por P.Zoller y J.I.Cirac, consiste en una cadena lineal de iones(es decir,
tomos molculas con carga elctrica no nula) atrapados por una configuracin
conveniente de campos electromagnticos, encerrados en un recipiente aislado de
campos electromagnticos espreos(distintos de los que permiten atrapar a los iones), y
en un ambiente de alto vaco para suprimir el choque de los iones con otros tomos
sueltos.
Cada uno de los iones almacena un cubit de informacin,correspondindose los valores
de 0 y 1 con dos rbitas distintas de uno de los electrones del ion correspondiente.Las
operaciones lgicas entre distintos cubits se realizan enfocando luz lser sobre los
iones lo que hace que cambien su rbita.Para leer el resultado se iluminan con luz de
una determinada frecuencia todos los iones,y segn en la rbita en la que se encuentre
cada uno, emitir luz o no,lo que permite conocer el valor del correspondiente cubit.
Ahora,en los ordenadores cunticos los cubits han de poder "comunicarse" entre ellos
a la hora de crear puertas lgicas,anlogas a las empleadas en los ordenadores
habituales.
Por ejemplo, veamos la versin cuntica de la operacin XOR en la trampa de iones. Se
trata de una operacin lgica entre dos cubits, en la que el 1 no cambia y el 2 pasa al
estado 0, si ambos se encontraban inicialmente en el mismo estado(i.e, 00 11) o al
estado 1 si estaban en distinto estado(10 01).
Para realizar esta operacin es necesario que el primer cubit le diga al 2 en qu
estado se encuentra; ha de existir, por tanto un medio de comunicacin(cable cuntico)
entre los cubits. En el caso de los iones la comunicacin entre ellos se realiza a travs
del movimiento.
Imaginemos los iones dispuestos en una cadena lineal, en la que cada uno se une a los
vecinos por medio de un muelle(que impide el acercamiento) y donde los tomos de los
extremos permanecen unidos por sendos muelles a paredes fijas(la trampa).
Supongamos que los tomos estaban parados inicialmente; si provocamos ligeramente
el movimiento de uno de ellos, ste empujar al siguiente y as hasta el ltimo tomo,
que tras rebotar en la pared empujar al anterior, etc.los tomos se pondrn a oscilar
conjuntamente y cmo se muevan, depender de cmo se mueva el primer tomo. (Hay
que indicar que este movimiento conjunto de todos los iones slo se puede realizar en
7.CONCLUSIONES.
La vertiginosa evolucin que ha experimentado el campo de la computacin cuntica
en el ltimo decenio, permite vislumbrar posibles ordenadores cunticos, sus
potencialidades en la resolucin de tareas clsicas(como la factorizacin de nmeros)
y nuevas aplicaciones antes apenas sospechadas, como la simulacin de la evolucin de
sistemas cunticos, y nuevos algoritmos que realicen ms efectivamente tareas que sus
anlogos clsicos. El hardware en la actualidad se encuentra en su infancia, pues no se
puede decir que las trampas de iones o las tcnicas de NMR puedan constituir un
ordenador cuntico prctico para los usuarios, pero es el inicio de una nueva
tecnologa, que va implicar cambios sustanciales en la forma de concebir la
arquitectura de los ordenadores y de las operaciones a realizar, y todo ello sustentado
en el dominio de la materia a escala microscpica, y el entendimiento ms profundo de
la teora de la informacin y de la teora de nmeros.
Hoy por hoy, construir un ordenador cuntico es una tarea que excede las capacidades
tcnicas disponibles; sin embargo, las ventajas de un ordenador cuntico operativo y
las continuas adhesiones a este empeo, hacen que el reto de hacerlo realidad est
cada vez ms prximo.
APNDICE:
1. ALGORITMOS CUNTICOS.
Se aprecia una conexin entre mecnica cuntica y teora de la informacin(la teora
subyacente a la construccin de ordenadores), que surge cuando se observa que
propiedades simples de sistemas cunticos, tales como las perturbaciones inevitables
implicadas en cualquier medida del sistema cuntico, podran tener potencial uso
prctico, en la que se bautizado como la "criptografa cuntica".
Esta nueva disciplina abarca varias ideas, y entre la que est ms firmemente
establecida es la distribucin de clave cuntica. ste es un ingenioso mtodo, en el cual
los estados cunticos transmitidos se usan para realizar la siguiente operacin:
Establecer en dos lugares separados un par de idnticas pero aleatorias secuencias de
dgitos binarios, sin permitir que una tercera parte pueda hacerse con la secuencia; Y
esto es til cuando se tiene en cuenta que una secuencia aleatoria puede ser usada
como clave criptogrfica para permitir comunicaciones seguras. La propiedad notable
es que los principios de la mecnica cuntica garantizan un tipo de conservacin de la
informacin cuntica, de tal forma que cuando la necesaria informacin cuntica de la
secuencia ha llegado a las partes interesadas en hacerse con una clave, pueden estar
seguros que slo ha ido a parar a ellos(y no a los espas). Ahora, de la misma forma
que la potencial capacidad de estos sistemas cunticos para garantizar la seguridad en
la transmisin de informacin secreta, la capacidad de clculo puede ser usada para
atacar sistemas criptogrficos clsicos, tales como DES(Data Encryption Standard)
el RSA(Rivest, Shamir, Adleman).
Romper un DES requiere una bsqueda de entre 2^56 =7 x10^16 posibles claves. Si
esta bsqueda puede ser comprobada a una razn de 1 milln de claves por segundo,
un ordenador clsico necesitara miles de aos para hallar la clave correcta, mientras
que un ordenador cuntico precisara menos de cuatro minutos usando un algoritmo
cuntico, el algoritmo de Grover.
Este algoritmo fue presentado para el problema de dado un conjunto de datos {Xi},
hallar un dato particular, X0.Esto sera similar a la bsqueda de un n de telfono en
las entradas de un listn telefnico(recordar el algoritmo de bsqueda visto en
prcticas). Pues bien, frente a los algoritmos clsicos que requieren un a media de N/2
pasos, el algoritmo de Grover requiere del orden de N^1/2.
Hay otros dos algoritmos que mejoran notablemente el tiempo de clculo de frente a los
anlogos clsicos, el algoritmo de factorizacin de Shor y el algoritmo de bsqueda del
periodo de una funcin.
Pero,es posible realizar estos clculos cunticos?.
Hay que indicar que, los efectos de interferencia cuntica que permiten algoritmos
como el de factorizacin de Shor son extremadamente frgiles: El supuesto ordenador
cuntico es ultra-sensible al ruido experimental, esto es, a los efectos fsicos del resto
de componentes del ordenador. As en cualquier estado altamente superpuesto de
cubits, un nico error que afecte slo a uno de los cubits puede destruir la coherencia
del estado completo.Por ello son precisos cdigos de correccin de errores que
funcionen tan efectivamente, que difcilmente un nico cubit falle en el curso del
clculo.
Son la versin cuntica de los cdigos de correccin de errores clsicos, tales como los
de Hamming o de Huffman, pero con la particularidad de que son esenciales para un
funcionamiento efectivo en la transmisin de datos.
BIBLIOGRAFIA:
Figuras:
figura 1::vision de una molcula de agua.
Humor: