Computacin Cuntica

Dayarina Santos Juan Miguel Garca Jan Luis Vargas

12-0441 13-0346 07-0918

Lenguajes Formales y Teora de Autmatas

Profesora: Rina Familia

24/02/2014 Santo Domingo Rep. Dom.

Introduccin

La computacin cuntica es un nuevo estilo de computacin la cual fue propuesta en la dcada de los 80s y se ha demostrado una gran capacidad total mente superior a las computadoras actuales gracias a la implementacin de las leyes de la fsica y los bits cunticos.

La computacin cuntica
La computacin cuntica a diferencia de la computacin clsica utiliza las leyes de la cunticas en el entorno de la computacin a diferencia de la

computacin actual donde cada bit puede estar en un estado discreto y alternativo a la vez, la unidad fundamental de almacenamiento es el bit cuntico, donde cada bit cuntico puede tener mltiples estados

simultneamente en un instante determinado. La computacin cuntica est basada en las interacciones del mundo atmico, y tiene elementos como el bit cuntico, las compuertas cunticas, los estados confusos, la tele transportacin cuntica, el paralelismo cuntico, y la criptografa cuntica. Una arquitectura cuntica, muy aceptada entre los investigadores y orientada a ser compatible con las actuales arquitecturas, cuenta con memoria y una unidad de procesamiento aritmtico/lgico, y con elementos cunticos como la tele transportadora de cdigo y el planificador dinmico. Su avance terico ha sido muy exitoso, an as, su realizacin depende de la futura implementacin de una computadora cuntica, sin embargo ya se est desarrollando tecnologa comercial basada en esta teora. Fue primeramente expuesto por Paul Benioff en 1981 luego en los aos de los 90 comienzan a surgir las primeras maquinas capaces de hacer clculos cunticos y para finales de este ao en los laboratorios de IBM-Almaden, se cre la primera mquina de 3-Qbit y adems fue capaz de ejecutar por primera vez el algoritmo de bsqueda de Grover.

Pero no es hasta el 2011 que la primera computadora cuntica comercial es vendida por la empresa D-Wave a Lockheed Martin por 10 millones de dlares. La computacin cuntica pretende utilizar un principio bsico de la mecnica cuntica por el cual todas las partculas subatmicas (protones, neutrones, electrones, etc.) tienen una propiedad asociada llamada spin.

El spin se asocia con el movimiento de rotacin de la partcula alrededor de un eje. Esta rotacin puede ser realizada en un sentido, o el opuesto. Si por ejemplo tomamos como bit al spin de un protn, podemos usar una direccin como 1 y otra como 0. Estos bits, tomados a partir del spin de las partculas han recibido el nombre de qubits. Sin embargo, en mecnica cuntica el estado de una partcula se determina a travs de la asignacin de una probabilidad, no podemos hablar de un estado 1 0 claramente determinado. Esta aparente ambigedad tiene una ventaja que convierte a la computacin cuntica en un desarrollo revolucionario: La lgica de un bit es uno u otro, mientras que un qubit (nombre dado al bit cuntico) entraa el concepto ambos a la vez. Si tomamos por ejemplo dos bits, sus estados posibles son cuatro: 00, 01, 10, 11. Son necesarios cuatro pares de bits para representar la misma informacin que un solo par de qubits con comportamiento ambiguo. Los qubits pueden representar en este caso cuatro nmeros a la vez, cuatro respuestas posibles a la vez. Procesamiento paralelo real, la Meca de la computacin. Sus aplicaciones principales entran en el campo de la criptografa y teora de numero, y en el anlisis de gigantescos volmenes de informacin. No todos los problemas pueden ser resueltos por este tipo de lgica. Sin embargo, una computadora cuntica podra resolver los que s pueden, a una velocidad varias veces superior a la de los microprocesadores conocidos hasta hoy, esta tambin se considera una tecnologa hipottica, pues an slo se ha quedado en la investigacin sin llegar a desarrollar un sistema completo utilizando esta lgica, pero an as, si se logra implantar algn da ser definitivamente demasiado cara debido a las caractersticas necesarias para su buen funcionamiento.

Se cree que esta tecnologa proporcionar sistemas en los que participarn muchos qubits, lo que har posible construir un ordenador cuntico. Bajo esta linease ha escrito en la Universidad de Michigan el artculo titulado "Scalable quantum computing with Josephson charge qubits". La informacin se procesar mediante tomos individuales o partculas subatmicas llamadas qubits Pero la tarea no resulta nada sencilla puesto que para poder utilizar esta tecnologa ser estrictamente necesario manipular preparar, y medir el frgil estado cuntico de un sistema. Asimismo dentro de las mayores dificultades que se presentan son que es necesario manejar muchos qubits, y controlar la conectividad entre ellos. Las compuertas lgicas son operaciones unarias sobre qubits. La compuerta puede ser escrita como P(q )= 0 0 + exp(iq ) + 1 1 , donde q = w t. Aqu algunas compuertas cunticas elementales: [Steane97] I 0 0 + 1 1 = identidad X 0 1 + 1 0 = NOT Z P(p ) Y XZ

H Donde I es la identidad, X es el anlogo al clsico NOT, Z cambia el signo a la amplitud, y H es la transformacin de Hadamard. Esas compuertas forman uno de los ms pequeos grupos de la computacin cuntica. La tecnologa de la fsica cuntica puede implementar esas compuertas eficientemente. Todos excepto el CNOT operan en un simple qubit; la compuerta CNOT opera en dos qubits.

Una compuerta de dos qubits en especial interesante, es la conocida como "U controlada", [Steane97] 0 0 I + 1 1 U son operadores actuando sobre dos qubits, donde I es la operacin de identidad sobre un qubit, y U es una compuerta. El estado del qubit U es controlado mediante el estado del qubit I. Por ejemplo el NOT controlado (CNOT) es: 00 00 ; 01 01 ; 10 11 ; 11 10 La capacidad computacional de procesamiento paralelo de la computacin cuntica, es enormemente incrementada por el procesamiento masivamente en paralelo, debido a una interaccin que ocurre durante algunas millonsimas de segundo. Este fenmeno de la mecnica cuntica es llamado "entanglement". Debido al "entanglement", dos partculas subatmicas, permanecen indefectiblemente relacionadas entre si, si han sido generadas en un mismo proceso. Por ejemplo la desintegracin en un positrn y un electrn. Estas partculas forman subsistemas que no pueden describirse

separadamente. Cuando una de las dos partculas sufre un cambio de estado, repercute en la otra. Esta caracterstica se desencadena cuando se realiza una medicin sobre una de las partculas. La tele transportacin cuntica es descrita por Stean [Steane97] como la posibilidad de "transmitir qubits sin enviar qubits". En la computacin tradicional para transmitir bits, estos son clonados o copiados y luego enviados a travs de diferentes medios como el cobre, fibra ptica, ondas de radio y otros. En la computacin cuntica no es posible clonar, copiar, o enviar qubits de un lugar a otro como se hacen con los bits. Si enviamos un qubit donde es un estado desconocido, el receptor no podr leer su estado con certidumbre, cualquier intento de medida

podra modificar el estado del qubit, por lo tanto se perdera su estado, imposibilitando su recuperacin. La tele transportacin cuntica, resuelve este problema, esta se basa en el "entanglement" para poder transmitir un qubit sin necesidad de enviarlo. El emisor y el receptor poseen un par de qubits "enredados" (entangled). Entonces el qubit es transmitido desde el emisor, desaparece del emisor y el receptor tiene el qubit tele transportado. Este fenmeno es posible debido a un mecanismo conocido como el efecto EPR. En la tele transportacin cuntica primero dos qubits E y R son "enredados" y luego separados (entangled), el qubit R es ubicado en el receptor y el qubit E es ubicado en el emisor junto al qubit original Q a ser transmitido, al realizar la lectura del estado de los dos qubits Q y E, estos cambian su estado a uno aleatorio debido a la interaccin. La informacin leda es enviada al receptor, donde esta informacin es utilizada para un tratamiento que es aplicado al qubit R, siendo ahora R una rplica exacta del qubit Q. La superposicin cuntica permite un paralelismo exponencial o paralelismo cuntico en el clculo, mediante el uso de las compuertas lgicas de qubits. [Steffen01] Los qubits, a diferencia de los bits, pueden existir en un estado de superposicin, representado por a 0 + b 1 , donde a y b son nmeros complejos que satisfacen la relacin a 2 + b 2 = 1. Dada una compuerta lgica de un qubit f, que transforma el estado a en el estado f(x) , cuando el qubit de entrada tiene en el estado [Steffen01] una superposicin igual de 0 y 1 . Por linealidad de los mecnica cuntica, la compuerta lgica f transforma el estado del qubit a . [Steffen01]

El estado resultante es la superposicin de los 2 valores de salida, siendo f evaluado para los 2 valores de entrada en paralelo. Para una compuerta lgica g de 2 qubits, que tienen dos qubits de entrada en superposicin de 0 y 1 , tendramos una superposicin de 4 estados . [Steffen01] La compuerta lgica g transforma el estado de entrada a

[Steffen01] as g es evaluado en un solo paso para 4 valores de entrada. En una compuerta lgica h de 3 qubits, se tienen 3 qubits de entrada en superposicin de 0 y 1 , juntos hacen una superposicin de 8 estados, que son evaluados en paralelo. Por cada qubits adicional la cantidad de estados se duplica. Criptografa, es la ciencia matemtica de las comunicaciones secretas, tiene una larga y distinguida historia de uso militar y diplomtico que se remonta a los antiguos Griegos. Fue un elemento importante y decisivo durante la segunda guerra mundial. Hoy en da su uso es muy comn y necesario, para brindar seguridad en las transacciones comerciales, comunicaciones, y privacidad; que se llevan a cabo mediante Internet. [Bennett98] Dado M y f, donde M es un mensaje y f una funcin de encriptacin, tenemos C = f(M), C entonces es el mensaje encriptado. C es enviado al receptor mediante un canal pblico, este obtiene el mensaje original con f-1, haciendo M = f-1(C). Si f-1 es conocido y C es interceptado en el canal pblico, entonces se puede obtener M. La seguridad de f depende de la dificultad con que pueda obtenerse f-1. El factorizar es un aspecto muy importante en la criptografa moderna, debido a que, la seguridad del mecanismo de criptografa RSA de clave pblica, se basa en la dificultad de factorizar nmero grandes. El mejor

algoritmo para hallar los factores an sigue siendo el de las divisiones sucesivas. Dado M, R1 y R2, mediante el mecanismo de RSA se define una funcin p, tal que C1 = p(Q1, P1, M1) y C2 = p(Q2, P2, M2), donde P1 y P2 son claves pblicas generadas en base a Q1 y Q2 que son claves privadas pertenecientes a A y B respectivamente. A y B comparten sus respectivas claves pblicas P1 y P2, y ambos pueden obtener y descifrar sus mensajes mediante p-1, de tal modo que M1 = p-1(Q1, P1, M1) y M2 = p-1(Q2, P2, M2). El tiempo que requerira el realizar la factorizacin se estima en aproximadamente 4x1016 aos. Sin embargo en 1994 se logr desarrollar un algoritmo, usando recursos en redes, donde la factorizacin nicamente tomo 8 meses, el equivalente a 4,000 MIPS-aos. [Hughes94]. Los algoritmos cunticos de factorizacin, se estima que realizaran este clculo en segundos. Utilizando claves privadas, es posible al menos en teora tener un algoritmo de encriptacin imposible de romper. El emisor cada vez que enva un mensaje M, genera aleatoria mente una diferente clave privada P, mediante una funcin de encriptacin E se codifica el mensaje de tal modo que C = E( P, M ). El receptor necesita la clave privada P para poder realizar el proceso inverso M = E-1( P, C ). Actualmente este mecanismo es utpico, debido a la gran dificultad que surge en la distribucin de la clave privada P, debido a que necesita un canal muy seguro para su entrega. La criptografa cuntica hace posible la distribucin de la clave privada P. P es transmitida mediante un canal cuntico. Cualquier intento de medir P ser notado, debido a que es imposible observar un qubit sin dejar rastro. [Bennett98] La distribucin cuntica de claves es posible con la tecnologa existente. En 1997 Zbinden et al [Zbinden98] lograron distribuir cunticamente una clave a travs de 23 Km. de fibra bajo el lago Gnova.

La arquitectura de una computadora cuntica es similar a la de las computadoras tradicionales, con ciertos elementos propios de la computacin cuntica. Oskin et al [Oskin02] propone una arquitectura de una computadora quntica que est conformada por una ALU cuntica, memoria cuntica, y un planificador dinmico. La correccin de errores es un aspecto que debe ser tomado muy en cuenta en el diseo de una arquitectura cuntica. Al igual que en las arquitecturas actuales en la arquitectura cuntica, la memoria cuntica es un elemento arquitectural muy importante. La memoria cuntica debe ser confiable, con el propsito de dotarla de tal caracterstica Oskin et al [Oskin02] incluyen una unidad especializada de "actualizacin" en cada banco de memoria. Una unidad especializada actualiza peridicamente los qubits lgicos individuales, ejecutando algoritmos de deteccin y correccin de errores. Para la implementacin de una computadora cuntica, se deben cumplir al menos cinco requisitos. Primero, se necesita un sistema de qubits. Segundo, los qubits deben ser individualmente direccionables y deben interactuar con otros para conformar compuertas lgicas de propsito general. Tercero, debe ser posible la inicializacin de las compuertas. Cuarto, se debe tener la posibilidad de extraer los resultados computacionales. Y Quinto, es la necesidad de un tiempo de coherencia duradero. El prximo sistema radicalmente distinto para el procesamiento de informacin ser la computacin cuntica. Los investigadores afirman que en ella se usarn los principios de la mecnica cuntica, para realizar clculos complejos en una fraccin del tiempo

necesario

hoy

en

da

en

los

superordenadores

ms

veloces.

A medida que avanza la teora al respecto, los expertos van proponiendo avances que permitirn que esta idea se haga realidad. Un reciente artculo publicado en Physical Review Letters, por ejemplo, propone un circuito realizable de forma experimental y una manera eficiente de implementar una computacin cuntica escalable.

Es precisamente la habilidad de aumentar la escala de la tecnologa, de aquella que permite realizar experimentos de 1 2 qubits, habituales en el laboratorio, a la que nos proporcionar sistemas en los que participarn muchos qubits, lo que har posible construir un ordenador cuntico. Franco Nori, de la University of Michigan, y sus colegas, han escrito un artculo en este sentido, titulado "Scalable quantum computing with Josephson charge qubits". Para implementar esta tecnologa, ser necesario preparar, manipular y medir el frgil estado cuntico de un sistema. Esto no es fcil, y es por eso que hasta ahora nos hemos centrado en qubits individuales. Pero para disponer de un ordenador cuntico sern necesarios muchos qubits, y controlar la conectividad entre ellos. Estas son las principales dificultades a las que nos enfrentamos, que el mtodo de Nori trata de solventar. El obstculo principal para la construccin de una computadora cuntica es la fragilidad de los estados superpuestos de los qubits con el mundo exterior debe disminuirse al nivel ms bajo posible para evitar la de coherencia de los estados superpuestos. Claro que el problema de aparicin de errores por influencias externas tambin existe en las computadoras clsicas. Por ejemplo, si guardamos un bit de informacin en el disco duro de una computadora clsica, con el tiempo este bit puede invertirse.

Una manera de prevenir este error es guardar copias de cada bit. Despus se compara peridicamente el valor de este bit con el de las copias, y si uno de ellos no coincide con los otros, se invierte. Desgraciadamente este mtodo no sirve en una computadora cuntica. Para determinar en qu estado se encuentra un qubit hay que interactuar con l, lo que destruye su estado y afecta el resultado del clculo. Aunque ya existe un progreso importante en el desarrollo de mtodos cunticos no-destructivos de correccin de errores, todava falta mucho para la construccin de una computadora cuntica suficientemente grande. Independientemente del resultado de estas investigaciones, esperamos que estos estudios nos proporcionen una mejor interpretacin de la naturaleza. Adems, slo se puede averiguar ms intentando.

Conclusin

La computacin cuntica abre con cada da avanza y con esto abre nuevas puertas al mundo de la computacin gracias a su complejidad aun no estn total mente listas para el pblico en general pero con los avances realizado las computadoras cunticas han demostrado un gran desempeo.

Referencias

Yuri Rubo. Julia Tagea(s.f.). Computacin cuntica. Recuperado de: http://www.comoves.unam.mx/numeros/articulo/67/computacion-cuantica Tecnologa (20 de abril de 2012). Computacin cuntica: definicin, origen y cronologa. Recuperado de: http://saramolinacruz76tecnologia.blogspot.com/2012/04/computacioncuanticadefinicion-origen-y.html