Computacin cuntica

1
Computacin cuntica
El incremento de la integracin de componentes en los microprocesadores est llegando a un punto en el que fenmenos cunticos tienen lugar haciendo que sea imposible seguir en esta lnea de avance. La computacin cuntica se presenta como la alternativa para un futuro no muy lejano en el que se trata directamente con las propiedades cunticas de las partculas para realizar el procesamiento de la informacin. En la seccin 1 se hace una pequea introduccin y se comenta el fenmeno que impide se siga aumentando el grado de integracin. En la seccin 2 se tratan los fundamentos tericos de la computacin cuntica. En la seccin 3 se habla sobre distintos aspectos de la computacin cuntica como las posibles arquitecturas o los algoritmos y su potencia en comparacin con el paradigma de computacin clsica.

Alejandro Avils del Moral

Computacin cuntica

1.1 Introduccin
Hasta ahora, el principal avance en la capacidad de computacin se ha derivado de una mayor integracin de transistores en los microchips, pero el nivel de miniaturizacin est aproximndose a los lmites fsicos que mantienen la coherencia de la informacin del sistema. Esta limitacin es consecuencia directa de las propiedades cunticas que presentan los electrones, los cuales se comportan como ondas y pueden escapar de sus confinamientos fsicos a escala de nanmetros. Este efecto es conocido como efecto tnel.

Figura 1.1: Representacin grfica del efecto tnel. En la parte superior ilustra el comportamiento en la mecnica clsica y en la inferior el de la cuntica. El efecto tnel explica el comportamiento anmalo que presentan las partculas a escalas cunticas, violando las leyes de la mecnica clsica. A dicha escala las partculas tienen un comportamiento ondular que, en el mbito de la computacin, implica que un electrn al chocarse con una barrera de potencial (la pared de la imagen) puede llegar a atravesarla, perdiendo su significando y

Computacin cuntica

provocando un comportamiento arbitrario en los microchips, imposible de controlar. Parece obvio que el avance tecnolgico debe tomar un nuevo rumbo que sortee estos problemas y para ello es necesario adoptar un paradigma capaz de enfrentarse a limitaciones cunticas. Es as como surge la idea de la computacin cuntica, aplicando las leyes de la mecnica cuntica en la teora de la informacin y computacin.

1.2 Fundamentos tericos

Antes de embarcarse en las explicaciones ms cercanas al mbito computacional se explicarn de forma superficial los fundamentos que hacen posible la computacin cuntica.

1.2.1 Mecnica Cuntica

Para hablar sobre cuestiones ms cercanas a la computacin cuntica considero necesario comentar algunos hitos tericos e interpretaciones que se hacen de la mecnica cuntica, las cuales dieron lugar a su posterior aplicacin en las ciencias de la informacin. Los hitos tericos que dieron lugar a la mecnica cuntica: 1900: Max Planck propone el cuanto de energa. 1905: Albert Einstein propone el fotn. 1913 1915: Niels Bohr y Arnold Sommerfeld proponen la Teora cuntica antigua. 1924: Louis de Broglie propone la dualidad onda-partcula. 1925: Erwin Schrdinger propone la Mecnica ondulatoria y Werner Heisenberg la Mecnica matricial. 1926 1930: Max Born, Pascual Jordan, Wolfang Pauli, John Von Neumann, etc. demuestran que la mecnica ondulatoria y la matricial son equivalentes. Se unifica y formaliza la teora cuntica poniendo gran nfasis en la medicin y la naturaleza estadstica de la percepcin de la realidad. 1930 actualidad: Se unifica Desarrollo de aplicaciones de la Teora Cuntica. La mecnica cuntica ha conseguido dar resultados ms exactos que la fsica clsica en cuanto a la descripcin del comportamiento de partculas individuales y, aunque se apoya en un formalismo matemtico bien establecido consistente en espacios vectoriales del lgebra lineal, su interpretacin fsica

Computacin cuntica

todava es controvertida y abierta a debate ya que describe fenmenos ajenos a nuestra intuicin ordinaria y nuestro cerebro es incapaz de concebirlos por naturaleza. La mecnica clsica es determinista, lo que implica que el conocimiento del estado del sistema y su dinmica permite predecir con certeza absoluta el valor de cualquier variable. La naturaleza probabilstica de la mecnica cuntica rompe con este determinismo, planteando una serie de debates de ndole filosfica. El estado de un sistema y su medicin, equivalentes en la mecnica clsica, no son as en la mecnica cuntica, llegando a sugerir cuestionarse la propia realidad percibida. Incluso Einstein, uno de los fundadores de la teora, se mostr disgustado con esta prdida de realismo en la medicin quedando patente en su famosa afirmacin Dios no juega a los dados con el universo. Qu ha conseguido explicar entonces la mecnica cuntica? La estructuras de tomos y molculas. Las reacciones qumicas. La estructura electrnica de los slidos. La fsica nuclear y de partculas. La fsica a bajas temperaturas. La estructura formal de una mecnica se compone por tres elementos: el estado mecnico del sistema, los observables, relacin entre el estado y los resultados de las medidas, y la dinmica, evolucin del estado en el tiempo. En la mecnica clsica no existe diferenciacin entre el estado y los observables, exhibiendo una filosofa positivista, pero en la cuntica no se puede obviar su separacin. Finalmente, y concretando esta estructura formal en la mecnica cuntica tenemos: Estado mecnico: vector en espacio de Hilbert. Observables: operador lineales autoadjuntos. Dinmica unitaria. Dicho esto, sin entrar en definiciones matemticas o explicaciones fsicas ms detalladas, posteriormente se deduce de aqu el qubit y las distintas posibilidades de operacin que se presentan con respecto al bit.

1.2.2 Informacin cuntica: el qubit

En cuanto a la teora de la informacin, sta trata del estudio del procesamiento de informacin, es decir, su almacenamiento, transformacin y transmisin. Desde un punto de vista fsico, el computador es pues un sistema en que a los estados se les da un significado y la computacin consta de una

Computacin cuntica

preparacin del sistema en un estado especfico (entrada), una evolucin del estado en el tiempo (procesamiento) y una medicin del estado final (salida). El computador clsico es un sistema fsico que evoluciona de forma clsica y cuyo ingrediente bsico es el bit y su espacio de estados es 0 1. El estado se puede representar como una cadena de bits y estos se ven modificados segn la dinmica especificada (algoritmo). En cuanto al computador cuntico, su unidad mnima de informacin es el qubit (quantum bit), anlogo al bit en el sentido en que puede tener dos valores (0 1), pero muy distinto en cuanto a que su estado puede ser combinacin de ambos, un efecto conocido como superposicin cuntica que pone de manifiesto su naturaleza continua. A pesar de esto, slo es posible obtener un resultado discreto de una medicin sobre un qubit con una probabilidad dada. Es muy conocido el experimento del gato de Schrdinger para explicar la superposicin cuntica y por extensin la naturaleza del qubit. En l se propone una caja cerrada con un gato en su interior, una botella de gas venenoso, un tomo radiactivo con un 50% de probabilidades de desintegrarse y un dispositivo detector, que de ocurrir dicha desintegracin har que la botella se rompa y el gato muera. El estado del gato (nuestro qubit), supongamos que es 1 de estar vivo y 0 de estar muerto, depende directamente de una partcula sujeta a las leyes de la mecnica cuntica, encontrndose pues simultneamente en ambos estados potenciales mientras la caja se encuentre cerrada, ya que el estado de las partculas subatmicas no puede ser descrito ms que probabilsticamente. Al abrir la caja, con el simple hecho de realizar una medicin sobre el sistema se producen modificaciones en l, observndose entonces solamente o un gato vivo o uno muerto.

Figura 1.2: El experimento del Gato de Schrndinger.

Computacin cuntica

El qubit, definido matemticamente, es un espacio vectorial complejo bidimensional de mdulo 1 que puede ser entendido con la siguiente representacin geomtrica: la Esfera de Bloch. Los estados bsicos se expresan con la notacin bra-ket, (ket cero) y (ket uno), y los estados puros como una combinacin lineal de estos: siendo y nmeros complejos que representan probabilidades de amplitud y que deben cumplir la siguiente ecuacin: . Dicho esto, la probabilidad de obtener el estado es y la de obtener es . Analizando la Figura 1.3, la superficie es un espacio bidimensional que representa los estados puros del qubit, expresados mediante vectores de un espacio de Hilbert, y, finalmente, el interior es el conjunto de estados entrelazados, combinacin de varios estados puros, necesarios para expresar sistemas de varios qubits.

Figura 1.3: Esfera de Bloch representando los dos estados bsicos (ket cero) y (ket uno) y todos los estados puros en superposicin. Algunas propiedades resultantes de esta perspectiva de la informacin cuntica sin equivalencia en la computacin clsica son el paralelismo cuntico y el entrelazamiento cuntico, y de ellas se deriva en gran medida la potencia de la computacin cuntica. Una rpida comparativa de las posibilidades que aportan estas cualidades: un computador cuntico de tan slo 30 qubits tiene una capacidad de cmputo de 10 teraflops, mientras que, por poner un ejemplo ilustrativo, la videoconsola ms potente en la actualidad, la PlayStation 3, tiene una capacidad de 2.5 teraflops.

Computacin cuntica

1.2.2.1 Paralelismo cuntico

Como se ha podido ver, el qubit representa ambos estados superpuesto y , y las puertas lgicas y, por extensin, algoritmos cunticos operarn sobre todas las combinaciones de la entrada a la vez.

1.2.2.2 Entrelazamiento cuntico

Se dice que varios qubits pueden representarse mediante un estado de entrelazamiento cuntico, expresando una correlacin mayor de lo que es posible en sistemas clsicos. Es similar al eje de coordenadas cartesiano, en que el combinacin, resultado del producto cartesiano, se describe como e . , su

Un sistema de dos qubits entrelazados, recordemos son representados como vectores en un espacio de Hilbert, forman un nuevo espacio H2, fruto de su producto tensorial, en el que se pueden expresar nuevos estados, imposibles de describir con qubits por separado. Al medir el sistema se dice que colapsa y se produce una proyeccin del estado entrelazado en cada qubit. En la Esfera de Bloch, si entendemos los estados entrelazados como puntos del interior, la proyeccin se realiza sobre la superficie. La adicin de qubits al sistema incrementa la dimensin del espacio de estados posibles, dotando a la computacin cuntica de una capacidad de procesamiento muy superior a la clsica. Gracias al entrelazamiento cuntico, adems de la capacidad de cmputo, emerge un fenmeno conocido como teleportacin cuntica.

1.2.2.3 Teleportacin cuntica

La teleportacin cuntica, descrita tericamente en 1993 y demostrada experimentalmente en 1997, es un fenmeno que se sustenta en el entrelazado cuntico para transmitir un qubit desde una localizacin a otra sin que atraviese el espacio que separa ambos puntos. En la teleportacin cuntica no se transmite materia, energa, ni permite la comunicacin de informacin clsica, por lo que tampoco es til para la comunicacin a velocidades mayores a la de la luz. Suponiendo un estado entrelazado formado a partir de dos qubits: , las probabilidades de obtener o son idnticas ya que . Ahora, los qubits son separados y se realiza la medida en ellos de forma individual. Si uno de ellos devuelve el valor 0, debido al entrelazamiento

Computacin cuntica

cuntico, y puesto que no existen los estados o , el otro tambin devolver el mismo valor, aunque se encuentre a aos luz de distancia. Esta caracterstica se utiliza para la implementacin prctica de la teleportacin cuntica.

Figura 1.4: Protocolo de teleportacin cuntica de un qubit a travs de un par de qubits entrelazados. Los prerrequisitos necesarios para llevara a cabo una teleportacin cuntica son los siguientes: Un qubit para teleportar. Un canal de comunicacin convencional capaz de transmitir dos bits. Una forma de generar un estado entrelazado a partir de dos qubits (EPR pair). Esto se considera un canal cuntico. Tal y como se ilustra en la figura 1.4, el protocolo de una teleportacin cuntica se define de forma resumida en: 1. Se genera un estado entrelazado a partir de un par de qubits posteriormente distribuidos en dos localizaciones A y B.

Computacin cuntica 2.

3. 4.

Se realiza una medicin del qubit entrelazado y el qubit a transmitir, generando dos bits clsicos y destruyndose ambos qubits. Usando el canal convencional, los dos bits se transmiten desde A hasta B. En la localizacin B el qubit entrelazado se modifica, usando los dos bits clsicos para seleccionar cul de los cuatro es el estado cuntico correcto. Esto genera un qubit idntico al que se deseaba transmitir.

Los resultados experimentales de esta tcnica alcanzaron una distancia de 600 metros en 2004 utilizando fibra ptica, incrementados a 16 kilmetros en 2010 con una precisin del 89%. En este mismo ao se ha conseguido realizar teleportaciones con un 100% de precisin.

1.3 Computacin cuntica

Una vez comentados los fundamentos tericos fsicos y matemticos que sustentan y da sentido a la computacin cuntica se analizar la trayectoria seguida por este paradigma computacional desde los comienzos, los problemas de construccin que an existen en la actualidad, las puertas lgicas que implementarn las arquitecturas cunticas, algunos de los algoritmos cunticos ya existentes, y dems detalles relacionados con su potencia frente a la computacin clsica y las utilidades esperadas.

1.3.1 Historia
La computacin cuntica an se encuentra en los albores de su vida. Desde 1981 que se propusieran los fundamentos tericos ya ha superado la desconfianza que generaba con las primeras etapas de experimentacin y actualmente se avanza en direccin a su aplicacin prctica. Hitos de la computacin cuntica: 1981: Paul Benioff propone tericamente un computador que opera con algunos principios de la mecnica cuntica. 1981-1982: Richard Feynman defiende la utilidad de la computacin cuntica afirmando que algunas operaciones complejas se podran ejecutar mucho ms rpidas utilizando fundamentos cunticos. 1985: David Deutsch describe el primer computador cuntico universal.

Computacin cuntica 1993: Dan Simon demuestra la ventaja prctica de un computador cuntico con respecto a uno clsico. 1993: Charles Benett descubre el teletransporte cuntico. 1994: Peter Shor define un algoritmo capaz de calcular nmeros primos muchsimo ms rpido que los tradicionales, capaz de romper la mayora de sistemas criptogrficos. 1995: Peter Shor propone un sistema de correccin de errores para clculos cunticos. 1996: Lov Grover define un algoritmo cuntico de bsqueda. 1997: Se realizan con xito algunos experimentos como la comunicacin cuntica segura o el teletransporte cuntico de un fotn. 1998-1999: Se consigue transmitir un qubit, se construyen los primeros computadores cunticos de 2 y 3 qubits y se ejecuta el algoritmo de Grover. 2001: Se consigue ejecutar el algoritmo Shor en un computador de 7-qubits. 2005: Se crea el primer qubyte, 8 qubits unidos mediante trampas de iones 2007: Se disea el primer bus cuntico con componentes superconductores. 2008: Se consigue por primera vez almacenar un qubit por 1.75 segundos en el interior de un ncleo de un tomo de fsforo. 2009: Se construye el primer procesador cuntico de estado slido, similar a los convencionales.

1.3.2 Hardware
Existen mltiples dificultades en cuanto a la construccin de computadores cunticos, y por ahora slo se han resuelto algunos problemas triviales. Es por ello que an no existe un hardware ideal si no una lista de requisitos a cumplir, establecidos por David DiVicenzo: El sistema debe ser fsicamente escalable para incrementar el nmero de qubits. Los qubits del sistema deben poder ser inicializados a valores arbitrarios. Las puertas cunticas deben ser ms rpidas que el tiempo de decoherencia cuntica para mantener la coherencia a travs de las operaciones. Poseer un conjunto universal de puertas lgicas para manipular los qubits de forma controlada. Los qubits resultado de un clculo deben poderse leer fcilmente.

Computacin cuntica

11

1.3.2.1 Decoherencia cuntica

Para que se mantenga la coherencia de la informacin, se comenta en uno de los puntos que las operaciones deben realizarse a una velocidad mayor a la de decoherencia cuntica. Esto quiere decir, que debido a que las partculas usadas para representar los qubits se encuentran en constante interaccin con el entorno, tienden a formar cuerpos mayores que dejan de comportarse segn las leyes de la mecnica cuntica y por ello se deshacen los estados de superposicin en los qubits y los resultados obtenidos son incorrectos. Para mantener el estado de coherencia se dice es necesario obtener una tasa de errores inferior a 10-4 y as aplicar mecanismos de correccin de errores.

1.3.2.2 Implementaciones
A lo largo de los aos se han propuesto gran cantidad de distintos sistemas fsicos, demostrando el estado de infancia en que se encuentra la computacin cuntica. Algunos de ellos, distinguidos segn el mtodo fsico en que se basan para implementar el qubit y sin entrar en detalles, son: Superconductores. Implementan el qubit como el estado de pequeos circuitos superconductores. Trampas de iones. El qubit es implementado por los estados internos de los iones suspendidos. Entramados pticos. Qubit implementado por el estado interno de tomos neutrales atrapados en un entramado ptico. Elctricamente definidos o de puntos cunticos autoensamblados. El qubit se implementa por el spin de un electrn en un punto cuntico. Resonancia nuclear magntica (NMR) de molculas en disolucin. Qubit entendido como el spin nuclear de la molcula disuelta. Resonancia nuclear magntica (NMR) en estado slido. Qubit entendido como el spin nuclear de tomos donantes de fsforo en silicio. Electrones en helio. El qubit viene definido por el spin del electrn. Molculas imn. Fullereno. Qubit basado en el spin electrnico de tomos o molculas encerradas en estructuras de fullereno.

Computacin cuntica ptica cuntica. Qubits distinguidos segn los estados de los distintos modos del campo electromagntico. Transistores utilizando trampas electroestticas. Etc

1.3.3 Puertas lgicas cunticas

O simplemente puertas cunticas, son los elementos bsicos que componen los circuitos cunticos y, a diferencia de muchas puertas lgicas usadas en computacin clsica, son reversibles. A pesar de esta particularidad, los computadores cunticos pueden ejecutar todas las operaciones booleanas posibles en computacin clsica. Esto se debe a que en computacin clsica, aunque no se haga, todas las operaciones se pueden implementar con puertas lgicas reversibles, como por ejemplo puertas Toffoli, que tienen su equivalente exacto en computadores cunticos. Las puertas cunticas se describen normalmente mediante matrices unitarias de 2kx2k, siendo k el nmero de qubits de entrada/salida, los cuales son iguales para permitir la reversibilidad. La puerta lgica se aplica multiplicando la matriz por el vector que define el estado cuntico de los qubits.

1.3.3.1 Hadamard
Input H

Matriz:

1.3.3.2 Pauli-X
Equivalente a la puerta NOT. Realiza una rotacin de radianes en el eje X de la Esfera de Bloch que representa al qubit.

Computacin cuntica Input X

13

Matriz:

1.3.3.3 Pauli-Y
De igual forma que la puerta Pauli-X, aplica una rotacin de radianes en el eje Y de la Esfera de Bloch. Input Y

Matriz:

1.3.3.4 Pauli-Z
Aplica en este caso la rotacin sobre el eje Z. sta es un caso especial de puerta de cambio de fase cuyo = . Input Z

Matriz:

1.3.3.5 Puertas de cambio de fase

La probabilidad de medir o no cambia despus de aplicarlas, sin embargo modifican la fase del estado cuntico. Esto es equivalente a trazar un crculo horizontal de radianes sobre la Esfera de Bloch.

2 Input

Computacin cuntica R

Matriz:

1.3.3.6 Swap (intercambio)

Intercambia los dos qubits de entrada y su matriz viene representada por:

1.3.3.7 Controladas
Son puertas que actan sobre 2 o ms qubits, donde uno o varios sirven de control. Por ejemplo, la puerta CNOT realiza una operacin NOT sobre el segundo qubit slo cuando el primero es |1>.

De forma ms general, se puede definir la puerta controlada-U, en el que el primer qubit es de control y sobre el segundo se aplica la operacin definida por la matriz U.

Computacin cuntica Input R

15

Matriz:

Cuando la matriz U es alguna de las matrices de Pauli, a las puertas se les llama controlada-X, controlada-Y o controlada-Z.

1.3.3.8 Toffoli
Tambin llamada CCNOT, es una puerta universal de 3-bits en la computacin clsica. En cuntica es anloga y trabaja con 3 qubits, realizando una operacin Pauli-X sobre el tercero si los dos primeros se encuentran en el estado . Input Toffoli

1.3.3.9 Fredkin
Tambin llamada CSWAP Al igual que la puerta Toffoli, es universal en computacin clsica. Tiene la propiedad de conservar el mismo nmero de 1s y 0s en la salida.

2 Input

Computacin cuntica Fredkin

1.3.4 Algoritmos cunticos

Los algoritmos cunticos son aquellos que se ejecutan sobre circuitos cunticos, que, por extensin de las leyes de la mecnica cuntica, son probabilsticos. As como las puertas cunticas son capaces de implementar todas las funciones booleanas de la computacin clsica, los algoritmos cunticos son capaces de realizar las mismas operaciones clsicas adems de las propias. Una apreciacin sobre la potencia de los algoritmos cunticos es que todos los problemas que pueden resolver tambin pueden ser resueltos por un algoritmo clsico en un equipo con suficientes recursos (tiempo y memoria). De igual forma, aquellos imposibles de resolver con algoritmos clsicos, como los problemas de decisin indecidible, siguen siendo irresolubles con los cunticos. Esto no quiere decir que no aporten una ventaja significativa. Los problemas que pueden ser eficientemente resueltos por un algoritmo cuntico son denominados BQP (BoundedError-Quantum-Polynomial) y se definen como aquellos problemas que pueden ser resueltos por un algoritmo en tiempo polinomial cuya probabilidad de error est acotada por debajo de 0.5. Dicho de otra forma, se dice que un algoritmo resuelve un problema BQP si, para cada instancia, su respuesta ser correcta con una alta probabilidad en tiempo polinomial.

Computacin cuntica

17

Figura 1.5: Representacin grfica de los subconjuntos de problemas segn su complejidad computacional abarcados por BQP. La clasificacin de la complejidad computacional de los problemas BQP se sabe que est contenida en la clase tipo #P, subclase de los PSPACE. Se cree tambin que abarca todos los problemas P, resolubles en tiempo polinomial por una mquina de Turing determinista, y un subconjunto de los NP, como la factorizacin de enteros o el clculo de logaritmos discretos, excluyendo los NPCompletos. Algunos de los algoritmos cunticos ms conocidos y utilizados para la experimentacin son el algoritmo de Shor, el de Grover y el de Deutsch-Jozsa.

1.3.4.1 Algoritmo de Shor

El algoritmo de Shor resuelve el problema del logaritmo discreto y el problema de la factorizacin de enteros en tiempo polinomial mientras que el mejor algoritmo clsico los resuelve en tiempo superpolinomial, concretamente con una eficiencia de . Su eficiencia descansa en el uso de la transformada cuntica de Fourier y la exponenciacin modular binaria. Cabe destacar, que dado un computador cuntico con suficiente nmero de qubits, este algoritmo es capaz de romper el esquema criptogrfico basado en clave pblica, RSA. ste se basa en el supuesto de que los nmeros extremadamente grandes son imposibles de factorizar en un tiempo razonable, cosa que ya ha sido demostrada falsa en la computacin cuntica.

1.3.4.2 Algoritmo de Grover

El algoritmo de Grover busca en una base de datos desestructurada con N entradas usando slo consultas.

Computacin cuntica

Este algoritmo sirve para ilustrar que en computacin cuntica existe un modelo de bsqueda ms rpido que la simple comprobacin secuencial de todos los elementos, la mejor opcin en computacin clsica. Tambin puede ser utilizado para el clculo de la media y la mediana en grandes conjuntos de datos o el clculo de problemas de colisin.

1.3.4.3 Algoritmo de Deutsch-Jozsa

El algoritmo de Deutsch-Jozsa resuelve un problema de caja negra que requerira un nmero exponencial de consultas a la caja negra para una mquina de Turing determinista con una nica consulta en un computador cuntico. Aunque su uso prctico es nulo, es uno de los primeros ejemplos de algoritmo cuntico capaz de incrementar la eficiencia de forma exponencial cualquier algoritmo clsico determinista.

1.3.5 Arquitecturas cunticas

Dada la falta de madurez prctica de la computacin cuntica y de su falta de inters comercial actualmente, las especificaciones de arquitecturas estndar son inexistentes, como ya se comentaba en el apartado relativo al hardware, y las particulares estn detalladas a un nivel que se escapa del alcance de este trabajo. No obstante, de entre las distintas implementaciones vistas previamente las nicas que tienen posibilidad de llegar realmente de ser de uso general son aquellas basadas en estado slido. Uno de los problemas ms importantes a los que se enfrentan las arquitecturas cunticas de cara a su generalizacin es la escalabilidad fsica. La interaccin entre los qubits est restringida entre aquellos prximo y su solucin radica en la existencia de cables cunticos que utilicen la teleportacin cuntica y as se pueda operar con qubits que se encuentren almacenados en una posicin arbitraria del computador cuntico. La teleportacin cuntica se propone segn el siguiente esquema usando las puertas cunticas explicadas.

Computacin cuntica

19

Figura 1.6: Esquema de teleportacin cuntica usando un estado entrelazado 00, un qubit , dos bits b1 y b2, y las puertas CNOT, H, Z y X. Recientemente, en una conferencia de la American Physical Society ha sido presentada una arquitectura de estado slido llamada RezQu y enfocada en la construccin de computadores cunticos escalables. En ella se present un microprocesador cuntico de 4-qubits y se espera que para finales de aos se pueda ampliar a 10.

1.4 Conclusiones
Es un hecho innegable que la computacin clsica est comenzando a encontrar limitaciones insalvables de seguir en la direccin de una mayor integracin. A pesar de las mltiples tcnicas que se vienen observando en los ltimos aos como el aumento del nmero de ncleos de los procesadores de cara una mayor paralelizacin de los procesos, la computacin cuntica avanza imparable camino a cambiar drsticamente el campo de la computacin, encontrar una forma de aplicacin prctica, y hacerse extensible al uso especfico o general en un futuro no muy lejano. La evolucin de la computacin cuntica an se encuentra en una fase muy inicial, resolviendo problemas fundamentales necesarios para encontrar formas eficaces de implementacin fsica. Tambin es destacable el cambio que supone este nuevo paradigma de computacin en cuanto a su escalabilidad software de cara a los futuros programadores que debern disear programas cuyo funcionamiento interno, vistas las puertas cunticas, dista enormemente del que estamos acostumbrados. En cuanto a las consecuencias de la proliferacin de computadores cunticos, ya se ha comentado supone un gran problema de seguridad para muchos

Computacin cuntica

de los esquemas criptogrficos. Se habla pues de un campo de la criptogrfia denominada post-cuntica, en la que se buscan primitivas irrompibles por computadores cunticos. Por ltimo y comentando la aplicabilidad de los computadores cunticos ms all de la capacidad de cmputo. reas de investigacin como la nanotecnologa as como las del propio estudio de partculas subatmicas son imposibles de simular de forma completamente fidedigna mediante la computacin cuntica, es por ello que se cree que algunas de las utilidades ms comunes de la computacin cuntica sern aquellas relacionadas con la simulacin cuntica.

1.5 Bibliografa
Gmez-Esteban, P. (marzo de 2009). Gato de Schrdinger [imagen]. Obtenido el 20 de abril de 2011 desde: http://eltamiz.com/images/2009/March/gatoschrodinger-cerrada.jpg Oskin, M. (2003). Building quantum wires. Obtenido el 22 de abril de 2011 desde: http://qarc.cs.berkeley.edu/publications/papers/p df/isca2003-qwires.pdf Rubia, D. (22 de marzo de 2011). Paso adelante en la computacin cuntica [blog]. Obtenido el 22 de abril de 2011 desde: http://alt1040.com/2011/03/paso-adelante-en-lacomputacion-cuantica Uchii, S. (28 de julio de 2004). Efecto tnel [imagen]. Obtenido el 20 de abril de 2011 desde: http://www.bun.kyotou.ac.jp/~suchii/Bohr/tunnel.jpg Wikipedia. (13 de abril de 2011). Computacin cuntica [wiki]. Obtenido el 15 de abril de 2011 desde: http://es.wikipedia.org/wiki/Computacin_cuntica Wikipedia. (17 de abril de 2011). Computational complexity theory [wiki]. Obtenido el 22 de abril de 2011 desde: http://en.wikipedia.org/wiki/Computational_comple xity_theory

Computacin cuntica

21

Wikipedia. (25 de junio de 2010). Decoherencia cuntica [wiki]. Obtenido el 22 de abril de 2011 desde: http://es.wikipedia.org/wiki/Decoherencia_cuntic a Wikipedia. (7 de marzo de 2011). Efecto tnel [wiki]. Obtenido el 20 de abril de 2011 desde: http://es.wikipedia.org/wiki/Efecto_tnel Wikipedia. (6 de febrero de 2011). Esfera de Bloch [wiki]. Obtenido el 20 de abril de 2011 desde: http://es.wikipedia.org/wiki/Esfera_de_Bloch Wikipedia. (31 de marzo de 2011). Gato de Schrdinger [wiki]. Obtenido el 20 de abril de 2011 desde: http://es.wikipedia.org/wiki/Gato_de_Schrdinger Wikipedia. (5 de agosto de 2010). Observable [wiki]. Obtenido el 18 de abril de 2011 desde: http://en.wikipedia.org/wiki/Quantum_mechanics Wikipedia. (12 de abril de 2011). Positivismo [wiki]. Obtenido el 18 de abril de 2011 desde: http://es.wikipedia.org/wiki/Positivismo Wikipedia. (25 de marzo de 2011). Post-quantum criptography [wiki]. Obtenido el 22 de abril de 2011 desde: http://en.wikipedia.org/wiki/Postquantum_cryptography Wikipedia. (25 de marzo de 2011). Quantum algorithm [wiki]. Obtenido el 22 de abril de 2011 desde: http://en.wikipedia.org/wiki/Quantum_algorithm Wikipedia. (13 de abril de 2011). Quantum computer [wiki]. Obtenido el 15 de abril de 2011 desde: http://en.wikipedia.org/wiki/Quantum_computer Wikipedia. (10 de abril de 2011). Quantum gate [wiki]. Obtenido el 21 de abril de 2011 desde: http://en.wikipedia.org/wiki/Quantum_gate Wikipedia. (15 de abril de 2011). Quantum mechanics [wiki]. Obtenido el 16 de abril de 2011 desde: http://en.wikipedia.org/wiki/Quantum_mechanics

Computacin cuntica

Wikipedia. (17 de abril de 2011). Quantum teleportation [wiki]. Obtenido el 22 de abril de 2011 desde: http://en.wikipedia.org/wiki/Quantum_teleportatio n Wikipedia. (2 de noviembre de 2009). Talk: PS3/Archive 1 [wiki]. Obtenido el 22 de abril de 2011 desde: http://en.wikipedia.org/wiki/Talk:PlayStation_3/A rchive1#2.18_Teraflops Wikipedia. (20 de abril de 2011). Teleportacin cuntica [wiki]. Obtenido el 22 de abril de 2011 desde: http://es.wikipedia.org/wiki/Teleportacin_cunti ca Wikipedia. (17 de julio de 2010). Undecidable problem [wiki]. Obtenido el 22 de abril de 2011 desde: http://en.wikipedia.org/wiki/Undecidable_problem