Snchez Pia Eduardo

Sistemas Expertos
Qu es la computacin cuntica?
La computacin cuntica es una forma radicalmente nueva de procesar la informacin, posibilitada por propiedades exclusivas
de la mecnica cuntica tales como la superposicin de estados (que origina el denominado paralelismo cuntico) y la
existencia de correlaciones sin anlogo clsico (entrelazamiento y correlaciones cunticas).

La ventaja de estas propiedades es que permiten en principio resolver ciertos problemas que
resultan muy difciles para la computacin actual. Este tipo de problemas se denominan
duros o hard: En ellos, el nmero de pasos, es decir de operaciones necesarias para llevar a
cabo cierto clculo (y por lo tanto el tiempo de clculo) aumenta "exponencialmente" con
el tamao de la entrada. En forma sencilla, esto quiere decir esencialmente que el tiempo de
clculo se duplica (o se multiplica por algn factor mayor a 1) cada vez que aumentamos el
tamao de la entrada en una unidad. El tiempo de cmputo de un problema de este tipo
puede pasar de unas horas a un tiempo an mayor que la edad del universo!, tan slo aumentado ligeramente el tamao de la
entrada.
Un ejemplo tpico y de sumo inters actual de un problema considerado hard es el de la factorizacin. Factorizar un nmero
natural significa escribirlo como producto de factores primos, es decir de nmeros ms pequeos que slo son divisibles por
1 y por si mismos. Por ejemplo, factorizar el nmero 15 (un nmero de dos dgitos) significa escribirlo como 3x5, de modo
que 15 es divisible por 3 (15/3=5) y por 5 (15/5=3), pero 3 y 5 no son divisibles por ningn nmero salvo por 1 y el mismo
nmero.
Factorizar parece pues a primera vista un problema fcil y sin inters prctico. En realidad es todo lo contrario: Difcil y de
sumo inters prctico. Si bien la factorizacin de un nmero de pocos dgitos parece y es de hecho una tarea fcil para cualquier
PC actual, la factorizacin de un nmero de muchos dgitos (por ejemplo 300) no lo es en absoluto. El nmero de pasos
aumenta en realidad exponencialmente con el nmero de dgitos. Por ejemplo, la factorizacin del siguiente nmero de 232
dgitos,
N=123018668453011775513049495838496272077285356959533479219732245215172640050726365
75187452021997864693899564749427740638459251925732630345373154826850791702612214291
3461670429214311602221240479274737794080665351419597459856902143413
se logr recin en 2010 y demand alrededor de dos aos en cientos de mquinas (hubiese tardado alrededor de mil aos en
una sla PC actual). Para un nmero de 300 dgitos el tiempo sera de alrededor de un milln de aos en una PC actual.
La pregunta que surge inmediatamente es Pero a quien puede interesarle factorizar nmeros de este tamao? Parecera que
slo a matemticos (y posiblemente a algunos fsicos tericos) pero a nadie ms. Sin embargo, es un problema que interesa
enormemente no slo a los matemticos y fsicos sino tambin a los bancos y al sistema financiero y especialmente a los
servicios de espionaje: La criptografa actual,

empleada tanto en las transacciones con tarjetas de crdito por internet como en el envo de mensajes en
clave por parte de organismos militares, se basa esencialmente en la dificultad para factorizar tales
nmeros grandes. De ser posible una rpida factorizacin de estos nmeros, se podran quebrar las
claves empleadas y hacer temblar el sistema financiero y el aparato militar mundial.
La criptografa actual se denomina asimtrica o de clave pblica, pues la clave para encriptar el mensaje
es de pblico conocimiento pero la clave para descifrar el mismo slo est en poder del receptor. La
obtencin de la clave del receptor a partir de la clave pblica es en principio posible, pero requiere precisamente la
factorizacin de un nmero grande.
Y a todo esto, Qu es lo que puede hacer la computacin cuntica? Precisamente, en el ao 1994, Peter Shor, un matemtico
de los laboratorios Bell, demostr que de ser posible construir una computadora cuntica, esta podra transformar el problema
de la factorizacin de hard a factible, y podra entonces quebrar la criptografa actual (al menos la basada en la dificultad de
factorizacin). Por ejemplo, podra reducir los tiempos de cmputo que exige la factorizacin de millones de aos a quizs
pocos minutos. Pero lo importante no es en realidad esto sino que tal tiempo de cmputo no aumentara rpidamente con el
Snchez Pia Eduardo
Sistemas Expertos
tamao de la entrada, es decir con el nmero de dgitos. Es un resultado que va ciertamente ms all que la computacin
clsica (la actual).

Qu es lo que hace tan potente a una computadora cuntica? Un aspecto central es el paralelismo cuntico
derivado de la posibilidad de superposicin. Un sistema cuntico puede estar en varios estados a la vez. Por
ejemplo, el electrn del tomo de hidrgeno en su estado fundamental est en un estado de energa definida
(la ms baja), pero no en una posicin definida: Se encuentra en realidad en una superposicin de estados
de posicin definida. Viendo este fenmeno desde la perspectiva de la informtica, significa que es posible
superponer distintas entradas en una computadora cuntica, y est procesa todas esta entradas al mismo
tiempo, pues la superposicin de entradas la ve como una sla entrada ms. Otro aspecto central aunque
ms difcil de explicar es la presencia de entrelazamiento cuntico, es decir, de correlaciones cunticas sin anlogo clsico,
que hacen que la computadora cuntica no pueda ser simulada eficientemente por una computadora clsica.

Las computadoras cunticas no se basan en bits, como las computadoras clsicas (las actuales),
sino en qubits, es decir, quantum bits. Mientras el bit de las computadoras clsicas pude tomar
los valores 0 o 1 nicamente, el quantum bit puede estar en los estados 0 y 1, pero tambin en
cualquier superposicin de ambos estados. El estado de un qubit puede verse como un punto en
la superficie de una esfera (llamada esfera de Bloch). La computadora clsica es un caso
restringido muy especial de la cuntica: Aquel en que el qubit slo puede estar en el polo norte o
en el polo sur de la esfera.
El problema de la factorizacin no es el nico que las computadoras cunticas pueden resolver
en forma ms eficiente que las clsicas (es decir, las basadas en bits). Otros problemas hard, tal
como el de bsqueda de un objeto en un conjunto desordenado (tal como encontrar el titular de
un nmero telefnico a partir de una gua conociendo slo el nmero) pueden ser tambin
resueltos en forma ms eficiente por una computadora cuntica, aunque en el caso de la bsqueda
la reduccin del nmero de pasos no es tan espectacular como en el caso de la factorizacin, como mostr el informtico
hind Lov Grover en 1996. Nuevos algoritmos cunticos capaces de resolver problemas duros en forma eficiente han sido
recientemente desarrollados, como por ejemplo la resolucin de sistemas lineales de grandes dimensiones (en realidad, la
obtencin de cierta informacin a partir de la solucin), desarrollado en 2009.
Sin embargo, una computadora cuntica capaz de resolver los problemas anteriores no ha sido an construida. Este es uno de
los mayores desafos de la fsica actual. Hasta ahora, slo se han construido computadoras cunticas de pocos qubits (la figura
izq. muestra una computadora cuntica preliminar programable de dos qubits desarrollada en 2010 en el NIST, basada en
redes pticas, existiendo tambin otros desarrollos con ms qubits para programas especficos). Para que la computadora
cuntica funcione como tal, es necesario que se mantenga la coherencia cuntica y evitar la decoherencia, originada por la
interaccin de los componentes cunticos con el entorno. Se requiere pues un control muy preciso del sistema, tanto en su
preparacin como su evolucin y medida final. Recordemos sin embargo que hace no tanto tiempo, una computadora con la
rapidez y memoria de las actuales notebooks o PC's no le pareca factible a nadie, ni siquiera a los propios diseadores o
fabricantes de PCs. Pensemos por ejemplo en una de las primeras computadoras electrnicas, la famosa computadora ENIAC
de 1946, que pesaba 27 toneladas! y ocupaba 63 metros cuadrados! Es pues posible que en un futuro no muy lej ano, una
computadora cuntica capaz de resolver problemas hard pueda ser construida. La palabra final la tienen por el momento los
fsicos!