16.05.2017 Views

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!