COMPUTACIN CUNTICA

RESUMEN
La Computacin Cuntica aprovecha las caractersticas de las partculas previstas por la mecnica
cuntica, especialmente la superposicin y el enmaraamiento, para ejecutar procesos y
realizar clculos con ciertas ventajas respecto a los sistemas tradicionales. Se trata de una
tecnologa en desarrollo cuyo florecimiento est por venir. En este artculo se revisan los principios
que la soportan, los retos que enfrenta y las posibilidades para los investigadores que deseen
involucrarse.

DESCRIPTORES
Computacin cuntica. Qubit. Superposicin. Enmaraamiento. Algoritmos cunticos. Teora de la
Informacin.

COMPUTACIN CUNTICA

HISTORIA DE LA COMPUTACION CUANTICA

Cuando tericos tales como Richard Feynmann, del California Institute of Technology, de
Pasadena (California); Paul Benioff, de Argonne National Laboratory, en Illinois; David
Deutsch, de la Universidad de Oxford, en Inglaterra, y Charles Bennett, del T.J. Watson
Research Center de IBM en Yorktown Heights (Nueva York), propusieron por primera vez el
concepto de las computadoras cunticas en las dcadas de 1970 y 1980, muchos cientficos
dudaron que alguna vez ese tipo de computadora pudiera resultar prctica. Pero en 1994, Peter
Shor, de AT and T Research, describi un algoritmo cuntico especficamente diseado para
factorizar nmeros grandes y exponencialmente ms rpido que las computadoras
convencionales, lo suficientemente rpido como para birlar la seguridad de muchos
criptosistemas de clave pblica. El potencial del algoritmo de Shor alent a muchos cientficos
a tratar de explotar las capacidades de las computadoras cunticas. En los ltimos aos, varios
grupos de investigacin de todo el mundo han alcanzado progresos significativos en este
campo.
Mientras estuvo en IBM, Chuang ampli su reputacin como uno de los experimentalistas en
computacin cuntica ms importantes del mundo. Dirigi el grupo que demostr la primera
computadora cuntica de 1 qubit (en 1998 en la Universidad de California en Berkeley). En
IBM Almaden, Chuang y sus colegas fueron los primeros en demostrar los importantes
algoritmos cunticos, el algoritmo de Grover concebido en 1999 para hacer bsquedas en bases
de datos con ayuda de una computadora cuntica de 3 qubits, y la bsqueda de pedidos ideada
el ao pasado (agosto del 2000) con una computadora cuntica de 5 qubits. La factorizacin
con el algoritmo de Shor anunciada hoy es el algoritmo ms complejo que se haya demostrado
hasta ahora usando una computadora cuntica.
 Adems de su ambicioso programa experimental, la Divisin de Investigacin de IBM
Research es conocida tambin por sus muchas contribuciones tericas en el emergente campo
de la informacin cuntica. Los cientficos de IBM fueron pioneros en criptografa cuntica, en
comunicaciones cunticas (incluso el concepto de teleporte cuntico) y en metodologas
eficientes para corregir errores. David DiVincenzo, miembro del cuerpo de investigadores del
laboratorio Watson de IBM, ha promulgado los cinco criterios necesarios para construir una
computadora cuntica prctica: 1) un sistema fsico de escala flexible con qubits bien
caracterizados; 2) capacidad de inicializar el estado de un qubit; 3) tiempos de descoherencia
ms largos que el tiempo de operacin de la puerta cuntica; 4) un conjunto universal de
puertas cunticas; y 5) la capacidad de medir qubits especficos.

COMPUTACIN Y BITS

La ms pequea unidad de informacin es el bit. Un bit slo puede tener uno de dos
valores, que para efectos prcticos representamos como 1 o 0, pero como bien apuntaron Claude
Shannon, padre de la teora de la informacin, y Warren Weaver en el libro Teora Matemtica de
la Comunicacin: la informacin no debe confundirse con el significado. La informacin sobre
el resultado de la lotera para un nmero en particular puede representarse con un bit: 1 gan, 0 no
gan, pero el significado de tal mensaje sera muy grande, y por otra parte una fotografa digital
puede requerir una gran cantidad de bits pero tener un pobre significado. No debe por tanto
asociarse cantidad de informacin con cantidad de significado.

Dnde se almacena un bit de informacin es una cuestin mucho ms prctica y que desde que las
computadoras digitales empezaron a existir se convirti en un factor clave de eficiencia
energtica, capacidad y velocidad de cmputo. Si para almacenar un bit se requiere una gran
cantidad de energa la computadora resultar anti-econmica, como suceda cuando se usaban
bulbos al vaco y relevadores para almacenamiento; si almacena pocos bits su funcionalidad se
reduce y si es lenta para acceder a cada bit entonces presentar resultados en lapsos
inaceptables.

An ms importante es cmo se procesa cada bit, qu papel juega, si representa una

entrada, una salida, un resultado intermedio, un indicador de proceso que sirve para realizar
clculos posteriores, etc. Aqu es cuando el bit se convierte en parte de una computacin, de una
operacin o de un clculo.

Los bits estn participando constantemente en nuevas computaciones que a su vez

responden a procesos bien estructurados denominados algoritmos.

Y aunque nos parezca que las computadoras actuales son omnipotentes la cruda realidad es que
tienen muchas limitaciones. El conjunto de problemas que pueden resolver es ms bien pobre,
aunque claro, los problemas que les ataen usualmente los resuelven mucho ms rpido que lo que
nosotros los seres humanos podramos hacerlo.

Parte de su limitacin fundamental radica en que tienen una cantidad finita de estados, son
mquinas discretas y en un momento dado solo pueden estar en uno de esos estados
perfectamente identificado y se puede predecir con exactitud que llegar a l, esto es, son
mquinas determinsticas.

En 1982 Richard Feynman observ que ciertos procesos cunticos no pueden ser simulados
eficientemente por una computadora tradicional y sugiri que estos efectos podran ser

utilizados para realizar computaciones en una manera totalmente nueva. En 1985 Feynman
present el concepto en una conferencia titulada Quantum Mechanical Computers y as naci
este nuevo campo.

Utilizando los principios de la mecnica cuntica se ha identificado un tipo de mquina que puede
estar en ms de un estado al mismo tiempo: la computadora cuntica. Esta cualidad le ayuda, en
teora, porque todava no se ha construido un prototipo funcional y estable, aunque ya se han
presentado bastantes candidatos, a realizar computaciones en tiempos inconcebibles para las
computadoras clsicas.

POTENCIAL DE LA COMPUTACIN CUNTICA

Supongamos que encontrar los nmeros primos de exactamente 48 dgitos toma 10 aos usando
los procesadores comnmente disponibles. Una computadora cuntica usara slo una fraccin de
ese tiempo, digamos unas pocas horas, gracias a que en lugar de pasar afanosamente por cada uno
de los posibles estados que la resolucin del problema requiere, el algoritmo cuntico toma un
atajo pasando por muchsimos estados al mismo tiempo y volviendo al proceso tradicional
nicamente para reportar resultados o para tomar la siguiente entrada. Este atajo se denomina
paralelismo cuntico.

En el corazn de la computadora cuntica reina el flamante y elusivo sucesor del bit: el qubit1 o
quantum binary digit, que puede presentar uno de los dos estados del bit (1 y 0) pero tambin
es capaz de colocarse en ambos estados al mismo tiempo gracias a la superposicin la ley bsica
de la mecnica cuntica proeza imposible para cualquier sistema digital en uso.

Al superponer estados, los qubits pueden procesar la informacin en simultneo, en lugar de

hacerlo en serie o en paralelo, como las computadoras actuales. Por ejemplo, para procesar 8 bits
en paralelo se usaran 8 bits fsicos que en un ciclo de computacin representan un solo valor de
entre 256 posibles, con lo cual el sistema tiene 256 estados. Procesar todos los estados requerira
igual cantidad de ciclos como mnimo. En cambio, en la computadora cuntica 8 qubits podran
asumir todas las combinaciones de estados de 8 bits y procesar todo en un solo ciclo de
computacin.

Con todo, las computadoras cunticas no sern de uso general. No es probable que veamos
aplicaciones completas basadas exclusivamente en este tipo de computacin. Esto se debe a que en
la gran mayora de problemas en los que nos ayudan estas mquinas hoy en da, necesitamos
conocer los resultados de cada operacin individual. Por ejemplo, al procesar

una lista de 1 milln de clientes para asignarles una cuota mensual, se necesita registrar el
resultado para cada uno de ese milln de registros. En teora es posible realizar todas las
operaciones en un solo paso usando computacin cuntica, pero solamente uno de todos los
resultados podr ser conocido en cada momento, lo que en la prctica significa que no se obtiene
ningn beneficio de rendimiento para este caso. Nuevamente esto es un resultado previsto por la
mecnica cuntica pues los estados cunticos superpuestos se colapsan a un solo valor al
momento en que se efecta una medicin.
Lo que s veremos ser combinaciones de computacin clsica y computacin cuntica, lo que de
hecho ser el caso general. Con tcnicas cunticas se cubrirn secciones especiales de cada
algoritmo para las que su uso rinda los mejores beneficios.

LOS FACTORES PRIMOS Y LA SEGURIDAD INFORMTICA

Existe un problema que es notablemente adecuado para la aplicacin de la computacin cuntica.

Se trata de la descomposicin de nmeros enteros enormes en sus factores primos, o lo que es lo
mismo, dado un nmero entero positivo cualquiera, encontrar todos los nmeros primos que al
multiplicarse dan por resultado ese nmero.

Si el nmero a factorizar es grande resolver este problema requiere tal capacidad de cmputo, que
para ciertos nmeros muy grandes, puede considerarse irresoluble con las tcnicas de computacin
clsica2.

Las tcnicas criptogrficas de llave pblica y llave privada, como RSA o intercambio de clave de
Diffie y Hellman, entre otras, pueden recibir ataques, es decir, intentos no autorizados de
desencriptamiento, pero los atacantes se enfrentarn con el problema de factorizacin de nmeros
grandes y el problema del logaritmo discreto respectivamente. Estos problemas se vuelven
computacionalmente irresolubles si los nmeros primos involucrados son muy grandes.

Pero con computacin cuntica un villano informtico podra y fcilmente resolver ambos
problemas y descifrar la informacin contenida en los mensajes. Esta posibilidad compromete
seriamente la seguridad de muchsimos sistemas informticos actuales, incluyendo bancos,
universidades, empresas de Internet, etc.

Tal escenario de ataque informtico con computacin cuntica fue descubierto por Peter Shor, en
1994, trabajando para AT&T. Shor describi completamente el algoritmo cuntico para encontrar
los dos nmeros primos que factorizan a un nmero, sabiendo que es el
resultado de multiplicar dos primos, y por ello se le nombr en su honor Algoritmo de
Shor.

Aunque el desarrollo de computadoras cunticas todava tomar algunos aos nadie sabe cuntos
es importante empezar a pensar en nuevos mtodos para garantizar la seguridad de las
comunicaciones informticas. La solucin involucra el desarrollo de nuevos algoritmos de
encriptamiento, con computacin cuntica.

EL PAPEL DEL ENMARAAMIENTO CUNTICO

Albert Einstein deca del enmaraamiento cuntico quantum entanglement en ingls que se
trata de una escalofriante accin a distancia (spooky action at a distance). Este fenmeno establece
un vnculo entre dos objetos de forma que el estado cuntico de uno no puede describirse
completamente sin hacer mencin del estado del otro, aun cuando entre los dos medie una
distancia considerable.

Por ejemplo, si dos partculas estn cunticamente enmaraadas y al medir el espn de una de las
dos y se encuentra que apunta hacia arriba, inmediatamente se conoce que el espn de la otra
apunta hacia abajo. La distancia entre ellas es totalmente irrelevante.

En una computadora cuntica se aprovecha el enmaraamiento para determinar o manipular el

estado de todos los qubits sin que sea necesario observar a cada uno individualmente.

Ambas propiedades, el enmaraamiento y la superposicin son igualmente importantes para

implementar este tipo de computacin.

EL PROBLEMA DE LA ESCALABILIDAD

Disear y construir un qubit que funcione puede resultar una tarea difcil y complicada. Se ha
hecho ya con iones atrapados entre campos magnticos, que se leen con un lser especialmente
calibrado para que la luz tenga cierta frecuencia y longitud de onda. Con esta tcnica se puede
apuntar el lser a un in particular y leer su estado, que como se dijo antes, en ese momento deja la
superposicin y se colapsa a un nico valor.

El verdadero problema es agregar ms qubits y hacer que funcionen juntos por enmaraamiento.
Al agregar ms qubits, ms iones por ejemplo, se enfrentan problemas difciles de resolver. Es
necesario aislarlos de cualquier influencia externa para evitar que se produzca una decoherencia,
es decir, una lectura del estado del qubit que le obliga a abandonar la superposicin y colapsar a
un nico estado, lo que significara el fin de ese
ciclo de computaciones cunticas. La coherencia significa, en este contexto, mantener los estados
de superposicin de las partculas involucradas y para lograrlo hay que evitar cualquier interaccin
con el entorno, como la que podra darse por choques de tomos vagando por el lugar o algunas
formas de radiacin.

Al mismo tiempo debe implementarse un mtodo de carga de entradas y lectura de resultados.

Ambas cosas implican una interaccin del entorno con la computadora. Es difcil mantener
un balance entre aislamiento e interaccin.

ALGORITMOS CUNTICOS

El Algoritmo de Shor que permite encontrar factores primos usando computadoras

cunticas, fue el primero que demostr un uso prctico y de gran inters para este tipo de
computacin.

Una buena parte del trabajo de investigacin actual en el campo consiste en desarrollar nuevos
algoritmos. Lo que se busca es tomar un problema que se considera irresoluble, impracticable o
simplemente no apto para computadoras clsicas y crear una versin que pueda aprovechar las
propiedades de superposicin y enmaraamiento de las computadoras cunticas.

Estos algoritmos tienen usualmente dos partes: una de computacin clsica y otra de computacin
cuntica. En la primera las tcnicas aplicables son las mismas que conocen buena parte de los
estudiantes de ciencias de la computacin o ingeniera en informtica y sistemas. En la segunda se
trabaja con los vectores de probabilidades y los estados que describen el sistema para obtener un
resultado y puede ser bastante complicada de analizar y disear.

Entre los ejemplos ms notables se encuentra el Algoritmo de Grover, por el que se pueden
localizar valores concretos en bases de datos no ordenadas. Con la mayora de manejadores de
bases de datos actuales, la solucin pasara por construir un ndice sobre el campo de bsqueda y
luego utilizar ese ndice para localizar ms fcilmente el valor deseado. Este podra ser el caso, por
ejemplo, si se intenta buscar el nombre de una persona dado su nmero de telfono en una gua
telefnica que est ordenada alfabticamente. Se construira un ndice sobre los nmeros de
telfono y con l se buscara el nombre de la persona.

Considrese el siguiente problema: dado un nmero de factura y el nmero de NIT de su emisor,

localizar a los contribuyentes que reportaron ese nmero de factura en sus declaraciones de IVA
en la base de datos de la SAT. Para resolverlo con computacin

clsica habra que construir un ndice sobre los nmeros de factura reportados por los
contribuyentes en una base de datos que bien podra ser de las ms grandes del pas.

Pero la construccin del ndice implica recorrer afanosamente cada uno de los registros para
indexarlos y solo entonces aprovecharlo para la bsqueda que interesa.

Como hay una buena probabilidad de que el nmero no sea el ltimo de la lista puede resultar
mejor recorrer la base de datos registro por registro, comparndolo contra el valor buscado, es
decir, una bsqueda secuencial pura.

El Algoritmo de Grover muestra cmo puede realizarse esa bsqueda secuencial con computacin
cuntica y reducir el tiempo que toma a nada ms la raz cuadrada del que tomara con una
computadora tradicional.

CONCLUSIN

La computacin cuntica es una excelente oportunidad de investigacin y desarrollo para

matemticos, fsicos, informticos y expertos en ciencias de la computacin. Por estar en su
infancia, esta nueva rama del conocimiento ver el despliegue de su potencial en los aos por
venir, pero no hay que hacerse muchas ilusiones de verla llegar a nuestro escritorio muy pronto.

REFERENCIAS

Scientific American. Artculos disponibles sin necesidad de suscripcin

Monroe, Christopher R. y Wineland, David J. Quantum Computing with Ions, disponible en

lnea en http://www.sciam.com/article.cfm?id=quantum-computing-with-ions

Robinson, Hans. What makes a quantum computer so different (and so much faster) than a
conventional computer, entrevista, disponible en http://www.sciam.com/article.cfm?id=what- makes-
a-quantum-comp

Minkel, JR. First Commercial Quantum Computer Solves Sudoku Puzzles, disponible en lnea
en http://www.sciam.com/article.cfm?id=first-commercial-quantum-computer

Gershenfeld, Neil & Chuang, Isaac L. Quantum Computing with Molecules, disponible en lnea
en http://www.media.mit.edu/physics/publications/papers/98.06.sciam/0698gershenfeld.html

ACM artculos en la biblioteca digital que pueden requerir suscripcin y pago:

Bacon, Dave & Leung, Debbie. Toward a World with Quantum Computers,
Communications of the ACM, Septiembre de 2007.

Rieffel, Eleanor & Polak, Wolfgang. An Introduction to Quantum Computing for Non-
Physicists, ACM Computing Surveys, Septiembre de 2000.

Jorrand, Philippe & Lalire, Marie. Toward a quantum process algebra, Proceedings of the
1st conference on Computing frontiers, Abril de 2004.

Prawer, Steven. Quantum mechanical approaches to information processing, Proceedings of the

20th annual international conference on Supercomputing, Junio de 2006.
 Otros artculos en Internet:

Wikipedia. Artculos de Quantum Computer, Quantum

Superposition, Quantum Entanglement, Qubit, Shors
Algorithm, Grovers Algorithm

CURIOSITY