Computación cuántica en la web1
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Computación cuántica <strong>en</strong> <strong>la</strong> web<br />
Salvador Contreras Hernández 1 , América Ivet Muñoz Galicia 2 , Diego García Jara 3<br />
María Patricia Tzili Cruz 4<br />
Universidad Politécnica del Valle de México, Av. Universidad Politécnica esquina con Río de <strong>la</strong> P<strong>la</strong>ta, col. Vil<strong>la</strong><br />
Esmeralda, Tultit<strong>la</strong>n Estado de México, 59700. México.<br />
salvador.contreras@gmail.com 1 , america.i.munoz@gmail.com 2 , garcia_jara@yahoo.com.mx 3 , ptzili18@gmail.com 4<br />
Resum<strong>en</strong><br />
La investigación, <strong>en</strong>señanza y apr<strong>en</strong>dizaje de <strong>la</strong> computación cuántica se está b<strong>en</strong>eficiando actualm<strong>en</strong>te de <strong>la</strong> nueva<br />
máquina cuántica de cinco qubits creada por <strong>la</strong> empresa International Business Machine. La interface web permite el<br />
desarrollo y ejecución de algoritmos cuánticos. El diseño de estos algoritmos se hace a través de circuitos <strong>en</strong> el<br />
compositor cuántico. El artículo resalta <strong>la</strong> importancia de esta tecnología <strong>en</strong> el área de <strong>la</strong>s ci<strong>en</strong>cias computacionales.<br />
Abstract<br />
Research, teaching and learning of quantum computing today is b<strong>en</strong>efiting for the new quantum machine of five<br />
qubits that was created by International Business Machine <strong>en</strong>terprise. The web interface allows the developm<strong>en</strong>t and<br />
execution of quantum algorithms. The design of these algorithms is done through the circuits in quantum composer.<br />
The article importance highlights this technology in computer sci<strong>en</strong>ce area.<br />
Pa<strong>la</strong>bras c<strong>la</strong>ve: Cómputo cuántico, compositor cuántico, algoritmos cuánticos.<br />
Key words: Quantum computing, quantum composer, quantum algorithms.<br />
1. Introducción<br />
Hasta hace muy poco tiempo, el estudio de <strong>la</strong> computación cuántica, <strong>en</strong> lo refer<strong>en</strong>te a algoritmos,<br />
se desarrol<strong>la</strong>ba casi <strong>en</strong> su totalidad de manera teórica. Se e<strong>la</strong>boraban algoritmos cuánticos, desde<br />
el punto de vista matemático, y éstos eran probados <strong>en</strong> máquinas clásicas con simu<strong>la</strong>dores de<br />
computador cuántico. Sin embargo, <strong>en</strong> mayo del 2016, <strong>la</strong> empresa IBM (International Business
Machine) puso a disposición del público <strong>en</strong> g<strong>en</strong>eral una interfaz <strong>en</strong> <strong>la</strong> web para interactuar un<br />
procesador cuántico de cinco qubits, <strong>en</strong> donde se incluye información teórica y relevante sobre<br />
computación cuántica. Este hecho repres<strong>en</strong>ta un hito <strong>en</strong> <strong>la</strong> historia de <strong>la</strong> computación y permitirá<br />
acelerar el desarrollo de <strong>la</strong> tecnología cuántica, <strong>en</strong> materia de software.<br />
IBM d<strong>en</strong>omina Quantum Experi<strong>en</strong>ce al proyecto de computación cuántica con una interfaz <strong>en</strong><br />
línea, <strong>en</strong> <strong>la</strong> cual se pued<strong>en</strong> hacer experim<strong>en</strong>tos de manera real, <strong>en</strong> aspectos de <strong>la</strong> teoría de <strong>la</strong><br />
información cuántica como <strong>la</strong> superposición, <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to, tele-portación y algoritmos.<br />
La <strong>en</strong>señanza <strong>en</strong> áreas como <strong>la</strong> mecánica y computación cuántica puede aprovechar <strong>la</strong> máquina<br />
de IBM para hacer que los estudiantes compr<strong>en</strong>dan los fundam<strong>en</strong>tos de <strong>la</strong> teoría cuántica<br />
experim<strong>en</strong>tando directam<strong>en</strong>te <strong>en</strong> el hardware pero desde <strong>la</strong> comodidad de <strong>la</strong>s au<strong>la</strong>s o de su casa.<br />
Además los investigadores ti<strong>en</strong><strong>en</strong> <strong>en</strong> este computador cuántico una herrami<strong>en</strong>ta muy importante<br />
para el desarrollo de proyectos <strong>en</strong> el ámbito de <strong>la</strong> teoría cuántica de <strong>la</strong> información. Se debe<br />
ac<strong>la</strong>rar que se trata de un procesador cuántico para realizar cálculos, algoritmos y probar<br />
conceptos fundam<strong>en</strong>tales de <strong>la</strong> teoría de <strong>la</strong> información cuántica.<br />
Los estudiantes de <strong>la</strong>s áreas re<strong>la</strong>cionadas con <strong>la</strong> computación cuántica pued<strong>en</strong> e<strong>la</strong>borar sus<br />
programas desde el <strong>la</strong>boratorio de cómputo de su escue<strong>la</strong> o facultad, si<strong>en</strong>do supervisados por su<br />
profesor. Estas prácticas al parecer son simples ya que con cualquier computadora conectada a<br />
Internet se puede acceder a un procesador cuántico <strong>en</strong> línea y experim<strong>en</strong>tar algoritmos cuánticos,<br />
pero <strong>la</strong> importancia y complejidad de ello radica <strong>en</strong> que al trabajar con el compositor cuántico se<br />
están manipu<strong>la</strong>do átomos directam<strong>en</strong>te a través de instrucciones de un l<strong>en</strong>guaje de programación<br />
cuántico o de <strong>la</strong> interfaz gráfica mediante el diseño de circuitos cuánticos. Por su parte los<br />
investigadores avanzarán <strong>en</strong> aspectos nuevos <strong>en</strong> esta materia y se podrán <strong>en</strong>contrar aplicaciones<br />
tanto inmediatas como a mediano y <strong>la</strong>rgo p<strong>la</strong>zo.<br />
2. ¿Qué es <strong>la</strong> computación cuántica?<br />
Como anteced<strong>en</strong>te, se debe com<strong>en</strong>tar que mi<strong>en</strong>tras que <strong>en</strong> <strong>la</strong> computación clásica los bits se<br />
repres<strong>en</strong>tan con impulsos eléctricos, <strong>en</strong> <strong>la</strong> computación cuántica se hace a través de <strong>la</strong>s<br />
propiedades de partícu<strong>la</strong>s, lo cual otorga paralelismo natural a los cálculos.
Debido a que <strong>en</strong> <strong>la</strong> mecánica cuántica se determina <strong>la</strong> probabilidad de que una partícu<strong>la</strong> se<br />
<strong>en</strong>cu<strong>en</strong>tre <strong>en</strong> una posición determinada, se dice <strong>en</strong>tonces que los algoritmos cuánticos son<br />
probabilísticos. Estos algoritmos deb<strong>en</strong> ser diseñados considerando todas <strong>la</strong>s alternativas posibles<br />
de solución de acuerdo al problema abordado y, empleando <strong>la</strong> técnica correcta, deberá determinar<br />
<strong>la</strong> opción que repres<strong>en</strong>te una probabilidad de 1 o cercana a este valor.<br />
La computación cuántica es un área de <strong>la</strong>s ci<strong>en</strong>cias computacionales que está actualm<strong>en</strong>te <strong>en</strong><br />
auge <strong>en</strong> todo el mundo debido a los avances prometedores <strong>en</strong> el hardware. La dificultad más<br />
grande a <strong>la</strong> que se <strong>en</strong>fr<strong>en</strong>ta esta disciplina concierne a <strong>la</strong> parte física, ya que se ti<strong>en</strong>e que<br />
<strong>en</strong>contrar <strong>la</strong> forma de contro<strong>la</strong>r los átomos o partícu<strong>la</strong>s subatómicas que intervi<strong>en</strong><strong>en</strong> <strong>en</strong> los<br />
cálculos, <strong>en</strong> otras pa<strong>la</strong>bras, <strong>la</strong>s partícu<strong>la</strong>s que repres<strong>en</strong>tan los qubits. Actualm<strong>en</strong>te solo se han<br />
podido contro<strong>la</strong>r efici<strong>en</strong>tem<strong>en</strong>te unos cuantos átomos pero se espera que con el paso del tiempo<br />
los físicos experim<strong>en</strong>tales <strong>en</strong> esta área puedan contro<strong>la</strong>r un número de partícu<strong>la</strong>s mucho mayor,<br />
con <strong>la</strong> consecu<strong>en</strong>cia de que el poder de cómputo explotará expon<strong>en</strong>cialm<strong>en</strong>te.<br />
En <strong>la</strong> década de los 80s Richard Feynman (Feynman, 1999) propone por vez primera <strong>la</strong><br />
posibilidad de hacer cómputo a través de partícu<strong>la</strong>s subatómicas como los electrones, por<br />
ejemplo. Estas partícu<strong>la</strong>s ti<strong>en</strong><strong>en</strong> un comportami<strong>en</strong>to radicalm<strong>en</strong>te distinto a lo que vemos <strong>en</strong> el<br />
mundo macroscópico, ya que no se puede determinar con certeza algunas de sus propiedades, <strong>en</strong><br />
un mom<strong>en</strong>to determinado, hasta realizar una medición directa sobre el<strong>la</strong>s, pero. Esta medición<br />
hace que el sistema decaiga y los f<strong>en</strong>óm<strong>en</strong>os cuánticos desaparezcan. Por ejemplo, no podemos<br />
saber <strong>la</strong> posición exacta de un electrón al dispararlo contra una doble r<strong>en</strong>dija con una pantal<strong>la</strong> que<br />
los detecte detectora <strong>en</strong> <strong>la</strong> parte trasera, hasta que choca <strong>en</strong> esta última. Cuando esto sucede,<br />
sabemos <strong>la</strong> posición del electrón y se pierde <strong>la</strong> incertidumbre. Existe otra característica que se le<br />
d<strong>en</strong>omina superposición de estados y es <strong>la</strong> que permite que <strong>la</strong>s partícu<strong>la</strong>s puedan t<strong>en</strong>er valores<br />
distintos al mismo tiempo. En el caso de propiedades binarias y propias de <strong>la</strong> física cuántica,<br />
como el espín de un electrón, se pued<strong>en</strong> repres<strong>en</strong>tar los valores 0 y 1 al mismo tiempo.
3. Experim<strong>en</strong>tación <strong>en</strong> el compositor cuántico<br />
En el contexto del IBM Quantum Composer, se d<strong>en</strong>omina experim<strong>en</strong>tos a <strong>la</strong> actividad de<br />
desarrollo o construcción de algoritmos. Los circuitos cuánticos se desarrol<strong>la</strong>n <strong>en</strong> <strong>la</strong> interfaz<br />
gráfica o compositor agregando <strong>la</strong>s compuertas adecuadas al algoritmo que se implem<strong>en</strong>ta. Se<br />
ti<strong>en</strong>e <strong>la</strong> posibilidad de experim<strong>en</strong>tar con <strong>la</strong> superposición cuántica, que es <strong>la</strong> base para todos los<br />
algoritmos <strong>en</strong> esta área (Niels<strong>en</strong>, 1998). La superposición es el f<strong>en</strong>óm<strong>en</strong>o de <strong>la</strong>s partícu<strong>la</strong>s<br />
subatómicas que permite <strong>la</strong> repres<strong>en</strong>tación de los qubits, donde estos pued<strong>en</strong> estar <strong>en</strong> estados<br />
superpuestos. Este f<strong>en</strong>óm<strong>en</strong>o otorga un paralelismo natural a los cálculos realizados con qubits y<br />
es el que permite que el poder de cálculo t<strong>en</strong>ga un alcance extraordinario.<br />
Es posible experim<strong>en</strong>tar <strong>en</strong> <strong>la</strong> máquina cuántica de IBM con los algoritmos conocidos, tales<br />
como algoritmo de Shor y de Grover, para determinar su comportami<strong>en</strong>to y verificar <strong>la</strong> exactitud<br />
de los resultados, los cuales se desarrol<strong>la</strong>n más ade<strong>la</strong>nte.<br />
Los algoritmos cuánticos se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el área de estudio del software para cómputo cuántico.<br />
Estos algoritmos deb<strong>en</strong> ser desarrol<strong>la</strong>dos considerando algunos elem<strong>en</strong>tos indisp<strong>en</strong>sables como <strong>la</strong><br />
superposición cuántica y <strong>la</strong> probabilidad de <strong>la</strong>s posibles respuestas. Además se requiere de<br />
matemáticas especializadas para repres<strong>en</strong>tar el algoritmo que se desea utilice los conceptos<br />
cuánticos para trabajar. Entre estos conceptos se <strong>en</strong>cu<strong>en</strong>tra el <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to y <strong>la</strong> tele-portación.<br />
3.1 Entre<strong>la</strong>zami<strong>en</strong>to<br />
El <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to es una característica de <strong>la</strong>s partícu<strong>la</strong>s atómicas, que se puede repres<strong>en</strong>tar con<br />
l<strong>en</strong>guaje matemático <strong>en</strong> mecánica cuántica. Si dos partícu<strong>la</strong>s están <strong>en</strong>tre<strong>la</strong>zadas, se puede conocer<br />
alguna propiedad de una al medir <strong>la</strong> otra (Lai, 2016). La teoría de <strong>la</strong> información cuántica<br />
también conti<strong>en</strong>e el concepto de <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to. Éste fue descubierto <strong>en</strong> <strong>la</strong>s ecuaciones<br />
matemáticas utilizadas <strong>en</strong> <strong>la</strong> mecánica cuántica, es decir, fue una predicción que esta área de <strong>la</strong>s<br />
ci<strong>en</strong>cias estableció mucho antes de que se comprobara experim<strong>en</strong>talm<strong>en</strong>te. John C<strong>la</strong>user fue el<br />
primero <strong>en</strong> afirmar que se podría hacer una máquina que comparara miles de partícu<strong>la</strong>s<br />
<strong>en</strong>tre<strong>la</strong>zadas, utilizando el estudio matemático de John Bell (Bell, 1965), qui<strong>en</strong> establecía una<br />
forma matemática eficaz para determinar si el <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to era un asunto real (C<strong>la</strong>user, 2002).<br />
En <strong>la</strong>s décadas de los 40s y 50s, este asunto del <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to cuántico era considerado un<br />
debate filosófico, inclusive por el mismo Albert Einstein, <strong>en</strong> su famoso artículo On the Einstein
Podolsky Ros<strong>en</strong> paradox, <strong>en</strong> Einstein et al. (1935), donde considera que el <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to no es<br />
real. Sin embargo, C<strong>la</strong>user desarrolló una máquina para comparar el estado de <strong>la</strong>s partícu<strong>la</strong>s y<br />
después A<strong>la</strong>in Aspect realizó nuevam<strong>en</strong>te el experim<strong>en</strong>to, llegando a <strong>la</strong> conclusión de que el<br />
<strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to, ese descubrimi<strong>en</strong>to matemático predicho por <strong>la</strong> mecánica cuántica, es real<br />
(Aspect, 1982).<br />
Este <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to <strong>en</strong> cómputo cuántico puede ser implem<strong>en</strong>tado <strong>en</strong> simu<strong>la</strong>dores, como por<br />
ejemplo; QCL (Quantum Computation Language), QCF (Quantum Computing Functions) o<br />
bi<strong>en</strong>, el compositor cuántico de IBM (IBM Quantum Experi<strong>en</strong>ce, 2016), <strong>en</strong>tre otros disponibles<br />
actualm<strong>en</strong>te. El primero es un l<strong>en</strong>guaje basado <strong>en</strong> C que implem<strong>en</strong>ta <strong>la</strong>s operaciones<br />
fundam<strong>en</strong>tales para programación cuántica. El código se desarrol<strong>la</strong> <strong>en</strong> un editor de texto y se<br />
compi<strong>la</strong> para obt<strong>en</strong>er el resultado (Ömer, 2005). QCF es un una librería que se implem<strong>en</strong>ta a un<br />
software especializado <strong>en</strong> tópicos matemáticos con uso de matrices, Mat<strong>la</strong>b, que conti<strong>en</strong>e<br />
también <strong>la</strong>s compuertas básicas y funciones más comunes para desarrollo de algoritmos cuánticos<br />
(Fox, 2003). Por su parte, el compositor cuántico de IBM conti<strong>en</strong>e una interfaz gráfica <strong>en</strong> web<br />
para el desarrollo de algoritmos, a través de circuitos cuánticos. Esta interfaz permite seleccionar<br />
<strong>en</strong>tre el simu<strong>la</strong>dor o <strong>la</strong> máquina cuántica real para <strong>la</strong> ejecución de los algoritmos.<br />
Para implem<strong>en</strong>tar el <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to, desde <strong>la</strong> perspectiva de <strong>la</strong> información cuántica, se puede<br />
experim<strong>en</strong>tar con el diseño de circuitos a través del compositor cuántico. El <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to se<br />
logra colocando una compuerta H o de Hadamard <strong>en</strong> uno de los cinco qubits, para que después se<br />
coloque una compuerta CNOT, donde el qubit con <strong>la</strong> compuerta H es el destino (Sicard, 1999).<br />
3.2 Tele-portación cuántica<br />
Para <strong>la</strong> simu<strong>la</strong>ción <strong>en</strong> máquinas clásicas del proceso de tele-portación cuántica se puede usar el<br />
experim<strong>en</strong>to desarrol<strong>la</strong>do <strong>en</strong> el CERN (Organización Europea para <strong>la</strong> Investigación Nuclear),<br />
donde se transmite información de un punto a otro auxiliándose de <strong>la</strong> característica de<br />
<strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to de <strong>la</strong>s partícu<strong>la</strong>s sub atómicas (Gisin,2003). El experim<strong>en</strong>to consiste <strong>en</strong> g<strong>en</strong>erar<br />
primero un par de qubits <strong>en</strong>tre<strong>la</strong>zados, para el emisor y el receptor que usualm<strong>en</strong>te recib<strong>en</strong> los<br />
nombres de Alice y Bob.<br />
El emisor y el receptor se quedan con uno de los qubits <strong>en</strong>tre<strong>la</strong>zados. Ahora Alice y Bob se
<strong>en</strong>cu<strong>en</strong>tran separados a una distancia arbitraria, Alice desea transmitir información a Bob, por lo<br />
que necesitará de dos qubits, uno el <strong>en</strong>tre<strong>la</strong>zado con el de Bob y otro que conti<strong>en</strong>e <strong>la</strong> información<br />
a <strong>en</strong>viar, que l<strong>la</strong>maremos |φ . Para ello Alice aplica <strong>la</strong> compuerta NOT a los dos qubits, luego<br />
aplica <strong>la</strong> compuerta cuántica de Hadamard al primer qubit. Después Alice realiza una medición<br />
sobre sus dos qubits y obti<strong>en</strong>e los dos bits clásicos b ! y b ! que <strong>en</strong>vía a Bob a través de un canal<br />
de comunicación clásico. Finalm<strong>en</strong>te Bob realiza <strong>la</strong> transformación sobre su qubit <strong>en</strong>tre<strong>la</strong>zado de<br />
acuerdo a los bits clásicos b ! y b ! , Z ! !X ! !, donde X y Z son <strong>la</strong>s matrices de Pauli σx y σz. El<br />
resultado obt<strong>en</strong>ido por Bob es el qubit que posee Alice, |φ .<br />
Todas estas compuertas necesarias para implem<strong>en</strong>tar <strong>la</strong> tele-portación cuántica están disponibles<br />
<strong>en</strong> el compositor cuántico. Las aplicaciones de esta característica <strong>en</strong> <strong>la</strong> información cuántica, son<br />
diversas, aunque <strong>en</strong> principio el uso inmediato será <strong>en</strong> <strong>la</strong> criptografía, debido a <strong>la</strong> posibilidad de<br />
transmitir información de un lugar a otro de forma segura, ya que no pasará por el medio cásico<br />
ningún dato que ponga <strong>en</strong> riesgo <strong>la</strong> confid<strong>en</strong>cialidad de <strong>la</strong> información. Aunque también se debe<br />
resaltar el riesgo que esto implica, ya que se podría <strong>en</strong>viar información o un sitio remoto sin ser<br />
detectado.<br />
3.3 El compositor cuántico<br />
El compositor cuántico es una interfaz que permite el diseño de algoritmos cuánticos <strong>en</strong> forma de<br />
circuitos. Conti<strong>en</strong>e cinco líneas que repres<strong>en</strong>tan <strong>la</strong> ejecución del algoritmo <strong>en</strong> el tiempo, donde<br />
éste transcurre de izquierda a derecha. Cada línea corresponde a un qubit (ver figura 1). La<br />
ejecución conti<strong>en</strong>e los estados de estos qubits <strong>en</strong> el tiempo. Los estados se pued<strong>en</strong> modificar<br />
colocando <strong>la</strong>s compuertas adecuadas para el tipo de acción que se quiere aplicar al qubit (IBM<br />
Quantum Experi<strong>en</strong>ce, 2016).<br />
Conti<strong>en</strong>e un m<strong>en</strong>ú <strong>en</strong> el que se puede elegir si desea ejecutar el algoritmo desarrol<strong>la</strong>do <strong>en</strong> el<br />
compositor cuántico, <strong>en</strong> <strong>la</strong> máquina real o bi<strong>en</strong>, si desea utilizar el simu<strong>la</strong>dor. También conti<strong>en</strong>e<br />
una opción para que se muestr<strong>en</strong> los resultados obt<strong>en</strong>idos por el algoritmo. Estos resultados se<br />
muestran <strong>en</strong> una esfera de Bloch (Niels<strong>en</strong>, 2000) y <strong>en</strong> una gráfica de barras. Para utilizar el<br />
compositor y <strong>la</strong> máquina cuántica se ti<strong>en</strong><strong>en</strong> que registrar como usuarios de IBM o bi<strong>en</strong>, ingresar<br />
con sus datos de Google, Twitter, Hithub o Linkedin.
Fig. 1. Compositor cuántico para <strong>la</strong> máquina de cinco qubits 1<br />
3.4 Algoritmo para factorización de números primos<br />
La factorización de números primos consiste <strong>en</strong> <strong>en</strong>contrar, a partir de un número n, dos números<br />
primos que multiplicados <strong>en</strong>tre si d<strong>en</strong> como resultado n. No existe un algoritmo clásico para<br />
solucionar este problema, por lo que <strong>en</strong>contrar los factores primos de un numero grande, de<br />
ci<strong>en</strong>tos de dígitos por ejemplo, podría tardarse ci<strong>en</strong>tos de años ya que el tiempo para <strong>en</strong>contrar <strong>la</strong><br />
solución crece expon<strong>en</strong>cialm<strong>en</strong>te con el tamaño del número n.<br />
Fig. 2. Estado de <strong>la</strong> máquina cuántica 2<br />
En 1996 Peter Shor, investigador del Instituto Tecnológico de Massachusetts, diseñó un<br />
algoritmo cuántico para resolver este problema <strong>en</strong> un tiempo considerablem<strong>en</strong>te m<strong>en</strong>or (Shor,<br />
1996). Este algoritmo inicia poni<strong>en</strong>do todos los qubits <strong>en</strong> una superposición de estados y<br />
aplicando <strong>la</strong>s compuertas necesarias para que se calcul<strong>en</strong> todas <strong>la</strong>s alternativas posibles <strong>en</strong> un<br />
solo instante. El algoritmo proporciona como <strong>la</strong> solución <strong>la</strong> alternativa que t<strong>en</strong>ga una<br />
probabilidad de 1 o cercana a este valor cuando los números que multiplicados <strong>en</strong>tre si produzcan<br />
n.<br />
1 Quantum Composer, IBM Quantum Experi<strong>en</strong>ce<br />
2 Quantum Composer, IBM Quantum Experi<strong>en</strong>ce
Se calcu<strong>la</strong> que mi<strong>en</strong>tras que una máquina clásica tardaría ci<strong>en</strong>tos de años <strong>en</strong> resolver este<br />
problema, para números grandes, una cuántica tardaría m<strong>en</strong>os de cuatro segundos. El algoritmo<br />
de Shor se ha probado <strong>en</strong> máquinas cuánticas reales y funciona, solo que aún no t<strong>en</strong>emos<br />
máquinas con un número grande qubits, lo que implica que se ha probado únicam<strong>en</strong>te para<br />
números pequeños.<br />
Por otra parte, algunos algoritmos importantes para criptografía actualm<strong>en</strong>te se basan <strong>en</strong> el<br />
problema de <strong>la</strong> factorización de números primos, lo que implica que pued<strong>en</strong> estar <strong>en</strong> riesgo <strong>en</strong> un<br />
futuro cercano si <strong>la</strong> tecnología cuántica <strong>en</strong> hardware evoluciona a tal grado que se pueda disponer<br />
de máquinas de unos cuantos bits adicionales a los que ahora t<strong>en</strong>emos. Lo importante ahora no es<br />
<strong>la</strong> complejidad <strong>en</strong> tamaño de problemas que estas máquinas cuánticas pued<strong>en</strong> resolver, sino <strong>la</strong><br />
forma <strong>en</strong> que realizan los cálculos. La difer<strong>en</strong>cia de estos cálculos <strong>en</strong> hardware cuántico, con<br />
respecto a <strong>la</strong> tecnología clásica, es que ya no usan impulsos eléctricos para repres<strong>en</strong>tar los bits,<br />
ahora son átomos o partícu<strong>la</strong>s sub atómicas para ello.<br />
3.5 Algoritmo cuántico para búsqueda<br />
Otra aplicación de <strong>la</strong> tecnología cuántica es <strong>la</strong> búsqueda de un registro <strong>en</strong> una base de datos<br />
desord<strong>en</strong>ada. El problema de búsqueda es particu<strong>la</strong>rm<strong>en</strong>te interesante y complicado cuando no<br />
hay un índice donde buscar. Por ejemplo, <strong>en</strong> un directorio telefónico <strong>en</strong>contrar el número de<br />
teléfono de una persona es re<strong>la</strong>tivam<strong>en</strong>te fácil si existe un índice. Pero si el problema <strong>en</strong> cambio,<br />
consiste <strong>en</strong> hacer una búsqueda del nombre de una persona a partir de su número telefónico, se<br />
t<strong>en</strong>dría que revisar registro por registro para <strong>en</strong>contrarlo. Si <strong>la</strong> cantidad de registros es n, <strong>en</strong>tonces<br />
<strong>la</strong> complejidad de <strong>la</strong> búsqueda sería del ord<strong>en</strong> de n/2. La complejidad del algoritmo clásico para<br />
búsqueda es de n, mi<strong>en</strong>tras que <strong>la</strong> de Grover es de n (Grover, 1996). Se muestra <strong>en</strong> <strong>la</strong> figura 3<br />
el circuito cuántico realizado <strong>en</strong> el compositor cuántico para una búsqueda de un número de dos<br />
qubits por medio del algoritmo de Grover.<br />
4. Importancia de <strong>la</strong> máquina cuántica de IBM<br />
El paso que ha dado IBM al poner una máquina cuántica de cinco qubits a disposición de todo el<br />
mundo, repres<strong>en</strong>ta un hecho histórico, ya que por primera vez una empresa comparte los<br />
resultados de <strong>la</strong> investigación <strong>en</strong> hardware para cómputo cuántico, con los investigadores
interesados <strong>en</strong> desarrol<strong>la</strong>r algoritmos cuánticos.<br />
Fig. 3. Circuito cuántico para el algoritmo de Grover 3<br />
A pesar de que no se contaba hasta hace poco tiempo con una máquina cuántica para<br />
experim<strong>en</strong>tación, <strong>la</strong> tecnología clásica para simu<strong>la</strong>r procesos <strong>en</strong> <strong>la</strong> teoría de <strong>la</strong> información<br />
cuántica, ha sido desarrol<strong>la</strong>da correctam<strong>en</strong>te, por lo que es posible realizar algoritmos eficaces<br />
que resuelvan problemas pequeños. Esta forma de trabajar <strong>en</strong> simu<strong>la</strong>dores se pres<strong>en</strong>tó debido a<br />
que <strong>la</strong> tecnología <strong>en</strong> hardware disponible para este fin solo se <strong>en</strong>contraba <strong>en</strong> <strong>la</strong>s grandes<br />
organizaciones como IBM o <strong>en</strong> universidades d<strong>en</strong>tro de proyectos de investigación. Ahora con <strong>la</strong><br />
posibilidad de utilizar un computador cuántico, los investigadores <strong>en</strong> esta área podrán desarrol<strong>la</strong>r<br />
proyectos de cómputo cuántico, <strong>en</strong> el diseño de algoritmos, <strong>en</strong> una máquina cuántica real.<br />
Se debe resaltar que al utilizar una máquina cuántica, los qubits, son repres<strong>en</strong>taciones de los bits<br />
clásicos pero a través de partícu<strong>la</strong>s sub atómicas, lo que implica f<strong>en</strong>óm<strong>en</strong>os como <strong>la</strong><br />
superposición de estados, o <strong>en</strong> otras pa<strong>la</strong>bras, permite que el bit clásico se convierta <strong>en</strong> un qubit<br />
donde el 0 y el 1 coexist<strong>en</strong> simultáneam<strong>en</strong>te. Esta característica proporciona un paralelismo<br />
natural que se puede aprovechar para hacer cálculos muy grandes que los computadores clásicos<br />
no podrían efectuar o se tardarían ci<strong>en</strong>tos de años <strong>en</strong> realizar. Para obt<strong>en</strong>er un resultado utilizando<br />
qubits, se ti<strong>en</strong>e que hacer <strong>la</strong> medición correspondi<strong>en</strong>te, con lo que el sistema arrojaría una de<br />
múltiples opciones, dep<strong>en</strong>di<strong>en</strong>do del algoritmo. La medición causa que el sistema de qubits <strong>en</strong><br />
3 Quantum Composer, IBM Quantum Experi<strong>en</strong>ce
coher<strong>en</strong>cia se destruya.<br />
Los cálculos que se pued<strong>en</strong> hacer simultáneam<strong>en</strong>te con cinco qubits están <strong>en</strong> el ord<strong>en</strong> de 2 ! , y<br />
aunque son pequeños se pued<strong>en</strong> utilizar para probar aspectos fundam<strong>en</strong>tales de <strong>la</strong> computación<br />
cuántica como el <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to, <strong>la</strong> tele-portación, <strong>la</strong>s compuertas cuánticas o inclusive el<br />
concepto de qubit. El problema para contar con máquinas cuánticas de más qubits consiste <strong>en</strong><br />
hacer trabajar a todos estos de manera coordinada para que ejecut<strong>en</strong> los cálculos. Las partícu<strong>la</strong>s<br />
subatómicas utilizadas hasta ahora para hacer computación no pued<strong>en</strong> ser contro<strong>la</strong>das por<br />
tiempos prolongados, es decir, no pued<strong>en</strong> mant<strong>en</strong>er coher<strong>en</strong>cia por mucho tiempo y este<br />
problema se complica cuando crece el número de qubits.<br />
Por otra parte, el alcance de una computadora cuántica para cálculos complejos es un tema que ha<br />
com<strong>en</strong>zado a inquietar a algunos sectores de <strong>la</strong> pob<strong>la</strong>ción <strong>en</strong> el mundo, ya que si bi<strong>en</strong> es cierto<br />
que solo hay máquinas de cinco o siete qubits, los resultados son prometedores y se podría<br />
considerar que solo es cuestión de tiempo para que aum<strong>en</strong>t<strong>en</strong> este número. Los resultados<br />
logrados hasta ahora por <strong>la</strong>s empresas e investigadores que trabajan <strong>en</strong> el desarrollo del hardware<br />
para computadoras cuánticas, permit<strong>en</strong> vislumbrar un futuro promisorio <strong>en</strong> esta área de <strong>la</strong><br />
computación.<br />
Pero el aum<strong>en</strong>to del número de átomos o qubits, ¿qué implicaciones ti<strong>en</strong>e? Un computador<br />
cuántico de dosci<strong>en</strong>tos qubits podría hacer cálculos muy grandes, considerando <strong>la</strong> totalidad del<br />
espacio de soluciones de un problema, es decir, podría repres<strong>en</strong>tar todas <strong>la</strong>s alternativas de<br />
respuestas de manera simultánea. Un algoritmo cuántico solo ti<strong>en</strong>e que determinar <strong>la</strong><br />
probabilidad de <strong>la</strong> respuesta correcta y seleccionar ésta de una <strong>en</strong>orme gama de respuestas. Con<br />
dosci<strong>en</strong>tos átomos se podrían hacer cálculos numéricos con cantidades de posibles respuestas<br />
mayores al número de átomos del universo.<br />
5. Conclusiones<br />
El desarrollo de <strong>la</strong> tecnología cuántica, tanto <strong>en</strong> hardware como <strong>en</strong> software, ha permitido que<br />
hoy <strong>en</strong> día exista lo necesario para <strong>la</strong> creación de algoritmos que son probados a través de<br />
simu<strong>la</strong>dores e inclusive por medio de computadoras cuánticas. La aparición de <strong>la</strong> máquina
cuántica de IBM repres<strong>en</strong>ta un avance <strong>en</strong>orme <strong>en</strong> <strong>la</strong>s ci<strong>en</strong>cias computacionales, pero también<br />
pert<strong>en</strong>ec<strong>en</strong> a otras disciplinas como <strong>en</strong> <strong>la</strong> física, ing<strong>en</strong>iería y matemáticas, por lo que no debe<br />
pasar desapercibido este acontecimi<strong>en</strong>to inclusive <strong>en</strong> otras áreas de conocimi<strong>en</strong>to.<br />
El apr<strong>en</strong>dizaje por parte de estudiantes que abordan estos temas <strong>en</strong> <strong>la</strong>s au<strong>la</strong>s, ahora es posible con<br />
experim<strong>en</strong>tación <strong>en</strong> el <strong>la</strong>boratorio de cómputo cuántico de IBM, desde <strong>la</strong> web. Los cambios que<br />
se produc<strong>en</strong> <strong>en</strong> <strong>la</strong>s partícu<strong>la</strong>s de <strong>la</strong> máquina cuántica al manipu<strong>la</strong>r<strong>la</strong> a través del compositor, son<br />
reales, es decir, se puede trabajar con compuertas que manipu<strong>la</strong>n directam<strong>en</strong>te <strong>la</strong>s partícu<strong>la</strong>s.<br />
F<strong>en</strong>óm<strong>en</strong>os como <strong>la</strong> superposición, <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to y tele-portación pued<strong>en</strong> experim<strong>en</strong>tarse <strong>en</strong> el<br />
computador cuántico, lo que significa que ahora contamos con un poderoso <strong>la</strong>boratorio para<br />
experim<strong>en</strong>tos de software que anteriorm<strong>en</strong>te eran prácticam<strong>en</strong>te imposibles de realizar fuera de <strong>la</strong><br />
simu<strong>la</strong>ción.<br />
No solo el apr<strong>en</strong>dizaje se verá b<strong>en</strong>eficiado, sino <strong>la</strong> <strong>en</strong>señanza por parte de profesores al incluir<br />
prácticas de desarrollo de algoritmos, experim<strong>en</strong>tación con <strong>la</strong>s compuertas cuánticas y su<br />
aplicación <strong>en</strong> los circuitos cuánticos, todo esto desde el sitio web del proyecto Quantum<br />
Experi<strong>en</strong>ce de IBM.<br />
Los temas de investigación que pued<strong>en</strong> ser abordados por los investigadores <strong>en</strong> el área de<br />
software para cómputo cuántico, están re<strong>la</strong>cionados directam<strong>en</strong>te con los conceptos m<strong>en</strong>cionados<br />
<strong>en</strong> párrafos anteriores; <strong>la</strong> superposición, <strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to y tele-portación cuántica. D<strong>en</strong>tro del<br />
<strong>en</strong>tre<strong>la</strong>zami<strong>en</strong>to, se requiere estudiar <strong>la</strong> forma de medir de éste, <strong>la</strong>s posibilidades que ti<strong>en</strong>e para<br />
<strong>la</strong>s comunicaciones aprovechando <strong>la</strong> compartición de atributos de <strong>la</strong>s partícu<strong>la</strong>s, <strong>en</strong>te otras.<br />
Las aplicaciones podrían abrir nuevas alternativas de análisis de datos <strong>en</strong> computación, física,<br />
química, medicina y otras donde se requiera un poder de cómputo considerable. Por ejemplo, el<br />
estudio de <strong>la</strong>s partícu<strong>la</strong>s elem<strong>en</strong>tales <strong>en</strong> mecánica cuántica, <strong>la</strong>s reacciones químicas, predicción<br />
del clima y f<strong>en</strong>óm<strong>en</strong>os naturales como terremotos y tornados, análisis del código g<strong>en</strong>ético,<br />
comunicaciones y criptografía, <strong>en</strong>tre muchas más. Por ahora el reto <strong>en</strong> el desarrollo de software<br />
cuántico se <strong>en</strong>cu<strong>en</strong>tra <strong>en</strong> <strong>la</strong> creación de nuevos algoritmos y <strong>en</strong> <strong>la</strong> aplicación de los ya exist<strong>en</strong>tes<br />
para <strong>la</strong> solución de nuevos problemas, principalm<strong>en</strong>te <strong>en</strong> aquellos que toman un tiempo<br />
expon<strong>en</strong>cial, de acuerdo al tamaño de los datos de <strong>en</strong>trada.
Refer<strong>en</strong>cias<br />
Aspect, A<strong>la</strong>in; Dalibard, Jean; Roger, Gérard. (1982). Experim<strong>en</strong>tal test of Bell's inequalities<br />
using time-varying analyzers. Physical review letters. vol. 49, no 25, p. 1804.<br />
Recuperado: http://www.drchinese.com/David/Aspect.pdf<br />
Bell, John Stewart. (1964). On the Einstein Podolsky Ros<strong>en</strong> paradox. Recuperado:<br />
https://cds.cern.ch/record/111654/files/vol1p195-200_001.pdf<br />
C<strong>la</strong>user, John Francis. (2002). Early History of Bell's Theorem. Quantum [Un]speakables: From<br />
Bell to Quantum Information, Springer Berlin Heidelberg. pp. 61-98, doi="10.1007/978-3-662-<br />
05032-3_6.<br />
Einstein, Albert; Podolsky, Ros<strong>en</strong>; Ros<strong>en</strong>, Nathan. (1935), “Can Quantum-Mechanical<br />
Description of Physical Reality Be Considered Complete?” Physical Review, 47: 777–780<br />
Recuperado: http://journals.aps.org/pr/pdf/10.1103/PhysRev.47.777<br />
Gisin, Nico<strong>la</strong>s. (2003). Quantum teleportation: principles and applications. Academic Training<br />
Lectures, CERN G<strong>en</strong>eva, Switzer<strong>la</strong>nd. Recuperado de: https://cds.cern.ch/record/688042?ln=es<br />
Grover, Lov Kumar. (1996). A fast quantum mechanical algorithm for database search.<br />
In Proceedings of the tw<strong>en</strong>ty-eighth annual ACM symposium on Theory of computing (STOC<br />
'96). ACM, New York, NY, USA, 212-219. DOI=http://dx.doi.org/10.1145/237814.237866<br />
Feynman, Richard Phillips. (1999). Simu<strong>la</strong>ting physics with computers, pp. 133–53; reprinted<br />
from International Journal of Theoretical Physics 21, 467-99<br />
Recuperado: https://people.eecs.berkeley.edu/~christos/c<strong>la</strong>ssics/Feynman.pdf<br />
Fox, Charles. (2003). Quantum computing functions (QCF) for Mat<strong>la</strong>b.<br />
Recuperado de http://www.robots.ox.ac.uk:5000/~parg/pubs/qcf.pdf<br />
IBM Quantum Experi<strong>en</strong>ce, 2016. Quantum Composer. http://www.research.ibm.com/quantum/<br />
Lai, Anna Chiara; Pedicini, Marco; Rognone, Silvia. (2016). Quantum Entanglem<strong>en</strong>t and the Bell<br />
matrix. Quantum Information Process. 15: 2923. doi:10.1007/s11128-016-1302-3<br />
Niels<strong>en</strong>, Michael Aaron; Chuang, Isaac L. (2000).Quantum Computation and Quantum<br />
Information, Cambridge University Press, Cambridge Eng<strong>la</strong>nd.<br />
Niels<strong>en</strong>, Michael Aaron. (1998). Quantum Information Theory. Ph.D. thesis. The University of<br />
New Mexico. Recuperado de: https://www.cse.msu.edu/~zhangh40/mth/0011036.pdf<br />
Ömer, Bernhard. (2005) C<strong>la</strong>ssical Concepts in Quantum Programming. International Journal of<br />
Theoretical Physics 44: 943. doi:10.1007/s10773-005-7071-x
Shor, Peter. (1997). Polynomial-time Algorithms for Prime Factorisation and Discrete<br />
Logarithms on a Quantum Computer, SIAM J. Comp., Vol.26, p.1484.<br />
Sicard, Andrés R. (1999). Algunos elem<strong>en</strong>tos introductorios acerca de <strong>la</strong> computación<br />
cuántica. Memorias VII Encu<strong>en</strong>tro ERM, Universidad de Antioquia, Medellín.<br />
Recuperado: http://www1.eafit.edu.co/asr/pubs/icq.pdf