See

discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/229025363

COMPUTACIN CUNTICA

Article

CITATIONS READS

0 579

3 authors, including:

Leonel Vinicio Morales

Francisco Marroqun University
18 PUBLICATIONS 12 CITATIONS

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Crowd-Computer Interaction View project

Structured User Interface Design - Abstract UI Modeling View project

All content following this page was uploaded by Leonel Vinicio Morales on 02 June 2014.

The user has requested enhancement of the downloaded file.

Facultad de Ingeniera - Universidad Rafael Landvar Revista Electrnica No. 12

COMPUTACIN CUNTICA

Por Ing. Leonel Morales Daz, leonel@ingenieriasimple.com

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.

ABSTRACT
Quantum Computing takes advantage of some features of particles described by quantum
mechanics, specifically superposition and entanglement, to allow the execution of processes
and calculations with computational advantage over the traditional systems. Quantum
Computing is an emerging technology that will see an increase of development in the years
to come. In this article the author briefly reviews the supporting theory, the challenges the
technology confronts and the opportunities for researches willing to get involved.

KEYWORDS
Quantum Computing. Qubit. Superposition. Entanglement. Quantum algorithms.
Information theory.

URL_12_SIS01.pdf Abril, 2009. Pginas 23 a 30

Facultad de Ingeniera - Universidad Rafael Landvar Revista Electrnica No. 12

COMPUTACIN CUNTICA

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

URL_12_SIS01.pdf Abril, 2009. Pginas 24 a 30

Facultad de Ingeniera - Universidad Rafael Landvar Revista Electrnica No. 12

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
1
Algunos autores en espaol lo denominan Cubit, pero ese trmino parece menos adecuado por forzar la
composicin de una palabra en espaol cuntico con un trmino de uso comn pero de origen
anglosajn bit. El trmino ms comn en la literatura es el utilizado aqu Qubit.

URL_12_SIS01.pdf Abril, 2009. Pginas 25 a 30

Facultad de Ingeniera - Universidad Rafael Landvar Revista Electrnica No. 12

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

2
A la computacin no cuntica, basada en estados fijos, sin superposicin ni enmaraamiento, se le llama
computacin clsica, por analoga con la distincin entre mecnica clsica y la mecnica cuntica.

URL_12_SIS01.pdf Abril, 2009. Pginas 26 a 30

Facultad de Ingeniera - Universidad Rafael Landvar Revista Electrnica No. 12

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

URL_12_SIS01.pdf Abril, 2009. Pginas 27 a 30

Facultad de Ingeniera - Universidad Rafael Landvar Revista Electrnica No. 12

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

URL_12_SIS01.pdf Abril, 2009. Pginas 28 a 30

Facultad de Ingeniera - Universidad Rafael Landvar Revista Electrnica No. 12

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.

AGRADECIMIENTOS
Enrique Pazos Avalos, guatemalteco estudiante de doctorado en fsica en la universidad de
Maryland, gentilmente accedi a revisar el manuscrito de este artculo y sugiri
correcciones. Mil gracias.

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

URL_12_SIS01.pdf Abril, 2009. Pginas 29 a 30

 Facultad de Ingeniera - Universidad Rafael Landvar Revista Electrnica No. 12

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: MORALES DAZ, LEONEL VINICIO

Ingeniero de Siste-
mas e Ingeniero E-
Bone, Simon & Castro, Matias. A Brief History of lectrnico, graduado
Quantum Computing, disponible en de la Universidad
Francisco Marro-
http://www.doc.ic.ac.uk/~nd/surprise_97/journal/vol4/spb qun, con maestra
3/ en Sistemas de
Informacin y Bases
Morales Daz, Leonel. "El Poderoso Qubit, disponible de Datos de la Universidad Galileo.
Docente universitario, ha sido Director
en http://guateciencia.wordpress.com/2009/03/10/el- de la Carrera de Informtica y
poderoso-qubit/ Sistemas de la Universidad Rafael
Landvar. Actualmente se desem-
Wikipedia. Artculos de Quantum Computer, Quantum pea como consultor en desarrollo de
sistemas e interaccin humano-
Superposition, Quantum Entanglement, Qubit, Shors computador. Web site:
Algorithm, Grovers Algorithm www.ingenieriasimple.com/leonel

URL_12_SIS01.pdf Abril, 2009. Pginas 30 a 30

View publication stats