16.05.2017 Views

Computación cuántica en la web1

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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!