Vous êtes sur la page 1sur 38

DE LA MAQUINA A LA COMPUTACION CUANTICA

Introduccin Desarrollo Argumentacin Sumario o resumen

Conclusin El origen de las computadoras

De donde vienen? Porque emergieron en 1940? Como las computadores difieren de las tecnologas anteriores del calculo? Hilos en la historia Charles Babbage/ada lovelace: maquina de diferencias, maquina analtica Maquincas tabuladoras, basados en tarjetas calculadoras ENIAC a EDVAC a UNIVAC y la primera computadora comercial industrial

Introduccin Breve historia de la computacin

El desarrollo formal de la teora de la computacin se origin casi cincuenta aos antes de que apareciera el primer ordenador digital, el ENIAC (1945) diseado por John Eckert y John Mauchly (con objeto de calcular trayectorias balsticas). Sus races se encuentran en los trabajos de Hilbert, Gdel, Rosser, Kleene, Church, Turing y Post, sobre la potencia del razonamiento matemtico con respecto a un problema computacional, propuesto por el alemn David Hilbert, hace ms de 90 aos. Este problema, llamado el Problema de Decisin (Entscheidungsproblem), se puede establecer de una manera informal: Dada una representacin formal de una afirmacin (enunciado) matemtica, disear un algoritmo

(programa) que determine si la afirmacin es verdadera (teorema) o falsa (no vlida lgicamente). Si tal programa existe, cualquier conjetura se puede probar o refutar expresndola formalmente y construyendo mecnicamente una demostracin, de manera que todo el razonamiento matemtico se basa en un fundamento lgico, donde todos los enunciados (afirmaciones) ciertos son demostrables (al igual que los falsos) y cada afirmacin es verdadera o falsa. As cualquier teora matemtica estara formada por un conjunto de axiomas y un conjunto de reglas de inferencia que permiten generar enunciados vlidos adicionales a partir de enunciados vlidos dados. La verdad de cada axioma se admite a priori. Dicho programa se puede escribir si se puede encontrar un conjunto de axiomas que: sean lo suficientemente potentes para permitir que se pueda probar cualquier enunciado verdadero, y que no admitan contradicciones, es decir, que una afirmacin y su negacin no puedan ser ciertas al mismo tiempo. En 1931, el matemtico austriaco Kurt Gdel publica su famoso teorema de incompletitud que establece que no puede existir un conjunto de axiomas con las dos propiedades anteriores y, por lo tanto, el programa anterior no se podr escribir. Ms concretamente: "Ningn sistema de razonamiento matemtico es losuficientemente potente para ser capaz de probar toda afirmacin cierta acerca de las propiedades de los nmeros naturales". La Teora de la Computabilidad se ocupa de construir un formalismo matemtico para razonar sobre la existencia o no existencia de algoritmos efectivos para problemas particulares. Los resultados que se prueben dentro de esta teora deben ser aplicables a todas las arquitecturas de ordenadores, independientemente de sus parmetros, como pueden ser la velocidad del procesador o el tamao de la memoria. Para ello tiene como base el concepto de modelo de computacin. Ejemplos de modelos de computacin son las mquinas de Turing, las mquinas RAM, las mquinas de Post y los algoritmos de Markov. Por lo tanto, necesitamos saber qu entendemos por algoritmo efectivo y por problema. Aunque el desarrollo formal de la teora de la computabilidad se realiza en el siglo XX, sin embargo la bsqueda de algoritmos efectivos para resolver ciertos problemas se viene realizando desde hace ms de 2000 aos. Los matemticos griegos, como se comprueba en los trabajos de Euclides y Pitgoras, pusieron gran nfasis en las tcnicas constructivas. As, en geometra se plantearon algunos problemas que dejaron sin resolver y que han constituido materia de investigacin durante mucho tiempo, como: El problema de la cuadratura del circulo: "Dado un circulo, construir un cuadrado con la misma rea utilizando regla y comps" El problema de la triseccin de un ngulo: "Dividir un ngulo dado en tres partes iguales mediante regla y un comps". El problema de la duplicacin del cubo: "Dado un cubo, construir otro con exactamente el doble de volumen que el original, utilizando regla y comps".

En este contexto, un algoritmo efectivo ser aquel que emplee en sus pasos de computacin slo regla y comps. Sin embargo, hoy se sabe que ninguno de estos problemas tiene solucin. Por lo tanto, no existe un mtodo de construccin apropiado y as no pueden existir tales algoritmos. En un programa de ordenador se genera una salida utilizando la entrada leda. As, cualquier programa se puede considerar como un evaluador de una funcin, f, que aplica algn dominio de valores de entrada, I, en algn rango de valores de salida, O. Por ejemplo, con un compilador de un lenguaje de programacin de alto nivel, I={ficheros de caracteres} y O={ficheros binarios}. La cuestin que surge ahora es: Qu problemas se pueden resolver con programas de ordenador? Tambin se puede formular de forma equivalente: Qu funciones se pueden computar? Vamos a recordar algunos modelos clsicos (mquinas) de computacin, como las mquinas de Turing (determinstica y no determinsticas) y los autmatas celulares que conducen a diferentes formalizaciones del concepto de algoritmo, todas ellas equivalentes (equivalentes tambin a otras formalizaciones ideadas por Kleene, Church, Post, etc.). Esta equivalencia refuerza la Tesis de Church-Turing que afirma: la clase de problemas que se pueden resolver utilizando el sistema de programacin de Turing es exactamente el mismo que los que se pueden resolver utilizando cualquier sistema de programacin razonable
En 1936, Alonzo Church public una conjetura audaz que slo las funciones recursivas son computables [10]. Unos meses ms tarde, independientemente de Church, Alan Turing public una prueba poderosa de una conjetura especulativa similar: cada nmero real computable es computable por la mquina de Turing [54]. Kurt Godel encontr que la tesis de Church era completamente insatisfactoria ", pero despus fue convencido por el argumento de Turing. Ms tarde, sin embargo, preocupado por una posible falla en el argumento de Turing. Por ahora, no hay pruebas abrumadoras experimentales en favor de la tesis Church-Turing. Adems, a menudo se supone que la tesis de Church-Turing ah resuelto el problema de qu es un algoritmo. Eso no es as. La tesis clarifica la nocin de funcin computable. Y hay ms, mucho ms que un algoritmo que la funcin que es computada. La tesis fue un gran paso hacia la comprensin algoritmos, pero no se ha solucionado el problema de qu es un algoritmo. Un mayor progreso en los cimientos de los algoritmos se logr por Kolmogorov y su alumno Uspensky en la dcada de 1950 [39, 40]. La mquina de Kolmogorov con su cinta reconfigurable tiene una cierta ventaja sobre la mquina de Turing. la nocin de la mquina de puntero fue una mejora de la nocin de mquina de Kolmogorov. En 1991, el segundo autor public la definicin de estado abstracto secuencial mquinas (ASMs, llamado lgebra de evolucin en el tiempo) [23]. En 2000, public una definicin de algoritmos secuenciales derivados de primeros principios [27]. En el mismo documento prueba que cada

algoritmo secuencial A es equivalente a su comportamiento en alguno ASM secuencial B. En particular, B simula a A paso a paso. En 1995, el segundo autor public la definicin de mquinas de estado abstracto paralelo y distribuido [25]. Los fundamentos del grupo de Ingeniera de Software en Microsoft Research desarrolla una potencia industrial especificacin del lenguaje ASML que permite escribir y ejecutar mquinas de estado abstracto paralelo y distribuidos [2]. En 2001, los autores publicaron una definicin de algoritmos paralelos derivada de los primeros principios, as como una prueba de que cada algoritmo paralelo es equivalente a una ASM paralelo [7]. Finalmente, notemos que los estudios fundacionales ir ms all de satisfacer nuestra curiosidad. Mquinas de Turing con su recuento honesto de operaciones permitieron a la teora de complejidad computacional. Mquinas kolmogorov mquinas de puntero habilitaron mejores medidas de complejidad. Las mquinas de estado abstracto permiten especificaciones precisas ejecutables de sistemas de software, aunque esta historia apenas comienza a desarrollarse [1, 2, 9].

2 The Church-Turing thesis


2.1 church + turing La clebre tesis de Church-Turing [10, 54] captur la nocin de funcin computable. Cada funcin computable a partir de los nmeros naturales a los nmeros naturales es recursiva y computable, en principio, por la mquina de Turing. La tesis suntuosamente ha confirmada en la prctica. Hablando en 1946 en la Conferencia Bicentenaria de Princeton, Godel dijo esto [19, artculo 1946]: Tarski ha destacado en su discurso (y creo que con razn) la gran importancia del concepto de recursividad general (o la computabilidad de Turing). Me parece que esta importancia se debe principalmente al hecho de que con este concepto he conseguido por primera vez dar una definicin absoluta de una idea epistemolgica interesante, es decir, no en funcin del formalismo elegido. En todos los dems casos tratados previamente, tales como demostrabilidad y definibilidad, nadie ha sido capaz de definir slo en relacin con la lengua dada, y para cada idioma, es evidente que el resultado obtenido no es el buscado. Por el concepto de computabilidad, sin embargo, a pesar de que no es ms que un tipo especial de demostrabilidad o decidibilidad, la situacin es diferente. Por una especie de milagro que no es necesario distinguir las rdenes, y en sentido cruzado no conduce fuera de la nocin definida. 2.2. Turign Church Se hizo comn hablar de la tesis de Church-Turing. De hecho las contribuciones de Church y Turing son diferentes, y es la diferencia entre ellas de importancia para nosotros. La tesis de Church fue una audaz hiptesis sobre el conjunto de funciones computables. Turing analiz lo que puede suceder durante un clculo y as lleg a su tesis.

Tesis de Church. La nocin de una funcin efectivamente calculable de los numeros naturales Church tena en mente funciones totales [10]. Ms tarde Kleene mejorado tesis Church hacindola extensiva a las funciones parciales [32]. Originalmente la hiptesis Church era que cada funcin efectivamente calculable a partir de los nmeros naturales a los nmeros naturales es definible en su clculo lambda. Godel no compr eso. En 1935, la Church escribi a Kleene en su conversacin con Gdel [14, Pgina 9]. En la discusin de [sic] con l de la nocin de lambda-definible, result que no haba buena definicin de la calculabilidad efectiva. Mi propuesta de que lambda-definible deber tomarse como una definicion de lo que l consideraba como completamente insatisfactoria. Yo le respond que si l propondra cualquier definicin de calculabilidad efectiva que pareca an parcialmente satisfactorio que se encargara de demostrar que estaba incluido en lambda-definible. Su nica idea en ese momento era de que podra ser posible, en trminos de calculabilidad efectiva como un concepto indefinido, para indicar un conjunto de axiomas que encarnan las propiedades de aceptacin general de esta nocin, y de hacer algo sobre esta base. Church continuo: Evidentemente se le ocurri ms tarde que la definicin de Herbrand de recursividad, que no tiene en cuenta a la calculabilidad efectiva, podra ser modificada en el sentido de calculabilidad efectiva, y l hizo esta propuesta en sus conferencias. En ese momento l se abordan directamente la cuestin de la relacin entre la recursividad en este nuevo sentido y calculabilidad efectiva, pero dijo que no crea que las dos ideas podran ser satisfactoriamente identificado "excepto heursticamente".

Las conferencias de Godel mencionadas por Church fueron dadas en el Instituto de Estudios Avanzados de Princeton desde febrero hasta mayo de 1934. En una carta de 15 de febrero 1965, con Martin Davis, Gdel escribi [14, pgina 8]:

Sin embargo, estaba, en el momento de estas conferencias [1934], no del todo convencido que mi concepto de recursividad comprende todas las posibles recurrencias. Poco despus de las clases de Gdel, Church y Kleene demostr que la nocin Herbrand-Gdel de recursividad general es equivalente a lambda -definible(en lo que se refiere a las funciones totales), y Church empez a estar convencido de la exactidu de su tesis para publicarlo. Pero Godel no qued convencido.

En efecto, por qu debera creer que lambda definible captura la nocin de computabilidad? El hecho de que lambda definible es equivalente a la recursividad general, y para diversas otras formalizaciones de computabilidad que rpidamente siguieron en el artculo de Church, slo demuestra que la nocin lambda definible de Church es muy robusto. Para ver una definicin matemtica que explica la nocin de computabilidad, una necesita un anlisis de este ltimo. Esto es lo que Turing precio para justificar su tesis.

Tesis de Turing permite que sea un alfabeto finito. Una funcin parcial de las cadenas sobre a cadenas sobre es efectivamente calculable si y slo si es computable por una mquina de Turing.

Observacin 2.1 Turing dise su mquina de calcular los nmeros reales, pero la versin de la mquina de Turing que se convirtieron en obras populares con las cadenas de un alfabeto fijo. Por lo tanto nuestra formulacin de la tesis de Turing. Turing analiz un clculo realizado por un humano. Hizo un nmero de supuestos simples sin prdida de generalidad. stos son algunos de ellos. El ordenador escribe en un papel cuadriculado y, adems, el papel de grfico habitual puede ser sustituido por una cinta dividida en cuadrados. El equipo utiliza slo un nmero finito de smbolos, un smbolo nico en un cuadrado. "El comportamiento de la computadora en cualquier momento se determina por los smbolos que se est observando, y su estado de la mente" en ese momento". Existe un lmite en el nmero de smbolos observados en un momento dado. Tambin vamos a suponer que el nmero de estados de memoria que deben tenerse en cuenta es finito. . . Si admitimos una infinidad de estados de la memoria, algunos de ellos sern arbitrariamente cerrados y confundir". Termina con una mquina de Turing que simula el clculo original. Esencialmente Turing deriv su tesis ms o menos de los primeros principios obvios aunque el no hizo el estado de aquellos primeros principios cuidadosamente. "Parece que slo despus de que la formulacin de Turing apareci", escribe Kleene en [33,Pgina 61], "Gdel acept la tesis de Church, que se haba convertido entonces la tesis de ChurchTuring . "Los argumentos de Turing ", agregados en [34, Pgina 48], eventualmente lo persuadieron. Lambda clculo Church estaba destinado a jugar un papel importante en la teora de programacin. La matemticamente elegante nocin Herbrand-Gdel-Kleene de las funciones recursivas parciales sirvi de trampoln para muchos desarrollos en la teora de la recursividad. La mquina de Turing nos dio un conteo de pasos honestos y se convirti, finalmente, el fundamento de la teora de la complejidad. Cuestiones relacionadas con

Fsica y clculos Qu tipo de clculos se puede llevar a cabo en nuestro universo fsico? no hablamos de lo que son las funciones computables. La cuestin es qu algoritmos son fsicamente ejecutable. No esperamos una respuesta definitiva pronto, o nunca. Es importante, sin embargo, para poner las cosas en perspectiva. Muchas de las preocupaciones de las ciencias de la computacin estn por encima del nivel de la fsica. Sera genial si la fsica cuntica nos permite factorizar nmeros rpido, pero esto probablemente no va a influir en gran medida la teora del lenguajes de programacin. Aqu hay algunas referencias interesantes Robin Gandy intent derivar tesis de Turing de una serie de "principios para mecanismos" [17]. Wilfried Sieg sigue esta lnea de investigacin [52]. David Deutsch [15] dise un ordenador cuntico universal, que se supone es capaz de simular el comportamiento de cualquier sistema fsico finito. Enfoque de Gandy es criticado en [16, pginas 280 {281]. Enfoque de Deutsch y computadoras cunticas en general son criticados en [43, Seccin 2]. Charles H. Bennett y Landauer Rolf plantean en [3] problemas importantes relacionados con los lmites fsicos fundamentales de la computacin. Marian Boykan Pour-El y Richards Ian [45] investigan en qu medida la computabilidad es preservada por las construcciones fundamentales de anlisis, como los que se usan en las teoras clsica y cuntica de la fsica. Tesis de Turing tiempo polinomial Hay varias versiones de la tesis Turing y tiempo polinomial discutidos en ciencias de la computacin terica. Por simplicidad, se restringe la atencin a los problemas de decisin. Para justificar el inters de la clase de problemas P resolubles en tiempo polinmico por una mquina de Turing, a menudo se declara que un problema es factible (= prcticamente solucionables) si y slo si es P. La teora de complejidad dice que hay problemas P insolubles en el tiempo n1000. Una tesis ms razonable es que un problema natural es factible si y slo si es P. En la Reunin Anual de 1991 de la Asociacin de la lgica simblica, Steve Cook argumenta a favor de esa tesis, y la segundo autor argumenta en contra. Algunos de los argumentos se pueden encontrar en [11] y [24], respectivamente. Una versin relacionada pero diferente de la tesis de Turing tiempo polinmico es un problema que est en P si se puede resolver en tiempo polinmico en absoluto, por cualquier medio. La razn es que cualquier presunto cmputo de tiempo polinomial puede llevar mucho tiempo polinmico simulado por una mquina de Turing (de modo que el tiempo de clculo de la mquina de Turing est delimitada por un tiempo polinmico de clculo dado un dispositivo de computo). De hecho, la mayora de los modelos "razonables" de computacin son conocidos por ser

polinomiales en tiempo equivalente a la mquina de Turing. "En cuanto a la objecin de que las mquinas de Turing son anteriores a todos estos modelos", dice Steve Cook [12]: "Yo respondera que los modelos basados en RAMs se inspiran en las computadoras reales, y no las mquinas de Turing ". Los modelos de computadora cuantica puede factorizar enteros arbitrarios en tiempo polinomial [50], y no se cree que los ordenadores cunticos puede ser simulado por mquinas de Turing de tiempo polinmico. Para los creyentes en los ordenadores cunticos, es ms natural hablar acerca de las mquinas de Turing probabilstica. Citamos de [4]. Al igual que la teora de la computabilidad tiene sus cimientos en la tesis de Church-Turing, la teora de la complejidad computacional se basa en un moderno fortalecimiento de esta tesis, que afirma que cualquier modelo "razonable" de clculo puede ser simulado en una forma eficiente por una mquina de Turing probabilstica (una simulacin eficiente es aquel cuyo funcionamiento est limitado en tiempo por algn polinomio en el tiempo de funcionamiento de la mquina simulada). En el sentido de tomar medidas razonables en principio fsicamente realizable. Anlisis de Turing no justifica de forma automtica cualquiera de estas tesis nuevas. (Tampoco lo justifica, por ejemplo, la tesis de mquinas de Turing de tiempo polinomico interactivo capturan algoritmos de tiempo polinomico interactivos.) Alguna de las tesis se discuti anteriormente derivados de los primeros principios? Se puede analizar la justificacin original de la Tesis Turing y ver si todas las reducciones de Turing son utilizados por las reducciones de tiempo polinomial. Pero uno tiene que preocuparse tambin de algoritmos no cubiertos directamente por el anlisis de Turing. 4.3 Recursion De acuerdo con Yiannis Moschovakis, un algoritmo es un "recursor", un operador montono de las funciones parciales al punto fijo que incluye (como un componente) la funcin que algoritmo un calcula [44]. l propone un lenguaje particular para definir recursores. Una definicin puede usar varias bases: funciones o recursores. Moschovakis da algunos ejemplos y todos ellos son pequeos. El enfoque no parece escalar a los algoritmos que interactan con un entorno desconocido. El enfoque posterior se aplica a las clases bien conocidas de los algoritmos. Consideremos, por ejemplo maquinas de estados abstracto secuenciales o paralelas no interactivas (ASMs). ASM tiene un programa para hacer un solo paso. Hay un bucle de iteracin implcita: repita el paso hasta que, si alguna vez, el cmputo termina. Considrese un operador tal que, dado un segmento inicial de un clculo, que aumenta otro paso (a menos que el clculo ha terminado). Este operador puede ser visto como un recursor. Por supuesto, los defensores de recursividad no les gusta tal recursor porque prefieren formas sin estados anteriores. No se tiene conocimiento de ningn modo deducir de los principios bsicos de la tesis de que los algoritmos son recursores.

5. Formalizacion de algortimos secuenciales Es posible formalizar algoritmos secuenciales en sus niveles naturales de abstraccin? Por otra parte, hay un modelo de mquina que captura todos los algoritmos secuenciales en sus niveles naturales de abstraccin? Segn [27], la respuesta a ambas preguntas es s. Se plantea el mtodo de [27] y se presenta una pequea pero til generalizacin. Como un ejemplo de ejecucin de un algoritmo secuencial, se utiliza una versin del algoritmo Euc de Euclides que, dados dos nmeros naturales, calcular su mximo comn divisor d. 1. Establecer a=Entrada 1, b=Entrada2 2. Si a=0 Entonces establecer d=b e ir a 1 Sino establecer a,b =b mod a, respectivamente e ir a 2 Inicialmente Euc espera a que el usuario proporcione nmeros naturales Entrada1 y Entrada 2. La asignacin en la ltima lnea es simultnea. Si, por ejemplo, a = b = 6 y 9 en el estado actual, entonces a = 3 y b = 6 en el siguiente estado. 5.1 Postulado de tiempo secuencial Un algoritmo secuencial se puede ver como un autmata de estado finito o infinito. Postulado 1 (tiempo secuencial) un algoritmo secuencial A se asocia con un conjunto no vaco S(A), cuyos miembros se llaman estados de A, un subconjunto no vaco I(A) de S (A), cuyos miembros se llaman estados iniciales de A, y un mapa TA: S (A) S(A) denominada la transformacin de un paso de A

El postulado ignora estados finales [27, seccin 3.3.2]. Estamos interesados en corridas donde los pasos del algoritmo se intercalan con las etapas de la ambiente. Un paso del medio ambiente consiste en cambiar el estado actual del algoritmo a cualquier otro estado. En particular, se puede cambiar el estado "final" a un estado no-final. Para hacer la transformacin total de un solo paso, se supone que el algoritmo realiza una etapa de inactividad en los "estados finales". Claramente Euc es un algoritmo de tiempo secuencial. El entorno de Euc incluye a usuario que proporciona los nmeros de entrada (y se espera que tome nota de las respuestas). Este postulado de tiempo secuencial permite definir una buena nocin de comportamiento de equivalencia. Definicion 5.1 Dos algoritmos de tiempo secuencial son conductualmente equivalentes si tienen los mismos estados, los mismos estados iniciales y la misma transformacin de un solo paso. El comportamiento equivalencia es demasiado bueno para muchos propsitos, pero es necesario para el siguiente.

Corolario 5.2 Si los algoritmos A y B tienen comportamiento equivalente, entonces la etapa B paso-por-paso simula A en cualquier entorno. El caracter paso por paso de simulacin es importante. Considere un sistema tpico distribuido. Los agentes son secuenciales en tiempo, pero el sistema no lo es. El sistema garantiza la atomicidad de cualquier paso de cualquier agente, pero no de una secuencia de pasos de agente. Sea A el algoritmo ejecutado por uno de los agentes. Si el algoritmo simulado B realiza dos pasos para simular un paso de A, otro agente puede colarse entre los dos pasos de B y echar a perder la simulacin. 5.2 Algoritmos de pasos pequeos Un objeto que satisface el postulado de tiempo secuencial no tiene por qu ser un algoritmo. Adems se debe exigir que hay un programa para la transformacin de un solo paso. Este requisito es difcil de captar directamente. Seguir de otros requisitos en el enfoque de [27]. Adems, un algoritmo de tiempo secuencialno es necesariamente un algoritmo secuencial. Por ejemplo, el algoritmo de P en la subseccin 2,3 no es secuencial. La propiedad que distingue algoritmos secuenciales entre todos los algoritmos de tiempo secuenciales de tiempo es que los pasos son de una complejidad limitada. Los algoritmos analizados por Turing en [54] fueron secuenciales: El comportamiento de la computadora en cualquier momento se determina por los smbolos que se est observando y su estado de memoria en ese momento. Se puede suponer que hay un B enlazado con el nmero de smbolos o cuadrados que el ordenador puede observar, en un momento. Si desea observar ms, debe utilizar las observaciones sucesivas. Tambin vamos a suponer que el nmero de estados de memoria que necesitan ser tomados en cuenta es finito.

Los algoritmos analizados por Kolmogorov en [39] tambin son secuenciales: "Un proceso algortmico se divide en etapas separadas de complejidad limitada." En estos das, hay una tendencia a utilizar el trmino "algoritmo secuencial" en el sentido ms amplio de lo contrario de la nocin de un algoritmo distribuido. Es decir, "secuencial" a menudo significa lo que hemos llamado "tiempo secuencial". Por eso, utilizamos el trmino "algoritmo de pequeo paso" como sinnimo de la expresin "algoritmos secuenciales" en su sentido tradicional. 5.3 Postulado de estado abstracto Cmo se puede capturar la restriccin de que los pasos de un algoritmo de paso pequeo son de complejidad limitada? Cmo se puede medir la complejidad de computacin de un solo paso? En realidad nosotros preferimos pensar en un trabajo limitado en lugar de complejidad limitada. El trabajo que un algoritmo de paso pequeo lleva a cabo en cualquier etapa nica es limitada, y el

enlazado depende slo en el algoritmo y no depende de la entrada. Esta reformulacin complejidad- trabajo no hace que el problema ms fcil por supuesto. Cmo se puede medir el trabajo que el algoritmo hace durante un paso? El algoritmo es un automata de estado este punto de vista es demasiado simplista para hacer frente a la problema. Necesitamos saber ms sobre lo que son los estados. Afortunadamente, esta pregunta puede ser respondida. Postulado 2 (Estado abstracto) Estados de un algoritmo secuencial A son estructuras de primer orden. Todos los estado de A tienen el mismo vocabulario La transformacin de una paso TA no cambia el conjunto base de cualquier estado. S(A) e I(A) son cerrados bajo isomorfismo. Adems, cualquier isomorfismo de un estado X en un Estado Y tambin es un isomorfismo de TA(X) en TA(Y).

La nocin de estructuras primer orden es bien conocida en la lgica matemtica [49]. Utilizamos las siguientes convenciones: Cada vocabulario contiene los smbolos lgicos siguientes: el signo de igualdad, los smbolos relacin nularidad verdaderos y falsos, y los conectores booleanos habituales. Cada vocabulario contiene el smbolo de funcin nularidad undef. Algunos smbolos del vocabulario puede ser marcados como estticos. Los smbolos restantes se marcan externo o dinmico, o ambos. Todos los smbolos lgicos son estticos. En cada estructura, true es distinta de la false y undef, el signo de igualdad tiene su significado estndar, y las conectivas booleanas tienen sus significados convencionales sobre los argumentos booleanos.

Los smbolos true y false nos permiten tratar smbolos de relacin como smbolos de funcin especiales. El smbolo undef nos permite tratar con funciones parciales; recordar que las estructuras de primer orden slo tienen funciones totales. Las funciones estticas (es decir, las interpretaciones de los smbolos de funcin estticas) no cambia durante el clculo. El algoritmo puede cambiar slo las funciones dinmicas. El medio ambiente puede cambiar slo las funciones externas.

Es fcil ver que las estructuras de orden superior son tambin estructuras de primer orden (aunque lgicas de orden superior son ms ricos que lgica de primer orden). Nos referimos a [27] para justificar el postulado de estad-abstracto. Que nos acaba de sealar que la experiencia de la comunidad ASM confirma que las estructuras de primer orden son suficientes para describir cualquier situacin esttica matemtica [1]. A menudo se dice que el estado est dado por los valores de sus variables. Nos tomamos esto literalmente. Cualquier estado de un algoritmo secuencial debe ser determinado de manera nica

(en el espacio de todos los estados del algoritmo) por las interpretaciones de los smbolos de funcin dinmicas y externos. Cul es el vocabulario (de los estados) de EUC? Adems de los smbolos lgicos, que contiene los smbolos de funcin nularidad 0, a, b, d, INPUT1, INPUT2 y el smbolo de funcin binaria mod. Pero qu pasa con las etiquetas 1 y 2? Euc tiene un implcito contador de programa. Tenemos cierta libertad para hacerlo explcito. Una posibilidad es introducir una variable booleana, que es un smbolo de relacin nularidad, initialize toma el valor true exactamente en aquellos estados donde Euc consume entradas. Slo los smbolos dinmicos son a, b, d, initialize y los smbolos externos son solamente INPUT1, INPUT2. 6 Formalizacion de algoritmos paralelos Animados por el xito en la captura de la nocin de algoritmos secuenciales en[27], "atacamos" algoritmos paralelos en [7]. El ataque tuvo xito. Dimos una definicin axiomtica de algoritmos paralelos y comprobamos que el modelo de algoritmo paralelo ms conocido (para nosotros) satisface los axiomas. Hemos definido con precisin una versin de mquinas de estados paralelos abstractos, una variante de la nocin de ASMs paralelas de [25], y hemos comprobado que nuestros ASMs paralelas satisfacen las definiciones de algoritmos paralelos. Y hemos demostrado el teorema de caracterizacin de los algoritmos paralelos: Cada algoritmo paralelo es equivalente a un comportamiento paralelo ASM. 6.1 que es un algoritmo paralelo? El trmino "algoritmo paralelo" se utiliza para un nmero de diferentes nociones en la literatura. Tenemos en mente tiempo secuencial de algoritmos que pueden exhibir paralelismo ilimitado, pero slo secuencialidad delimitada dentro de un solo paso. Secuencialidad delimitada significa que hay una priori un lmite en la longitud de las secuencias de eventos dentro de cualquier paso del algoritmo que debe producirse en un orden especificado. Para distinguir esta nocin de algoritmos paralelos, llamamos estos algoritmos paralelos gran paso. Intuitivamente el ancho es la cantidad de paralelismo. El "paso" en el "gran paso" alude al tiempo secuencial. Observacin 6,1 algoritmos de paso ancho son de profundidad limitada donde la profundidad es intuitivamente la cantidad de secuencialidad en un solo paso, lo que da lugar a un posible nombre alternativo a algoritmos de paso superficial para la gama paso algoritmos. Tenga en cuenta que el nombre de "paralelo", subraya el potencial en lugar de restricciones. 6.2 unas pocas palabras sobre algoritmo de paso ancho Adaptar el postulado de tiempo secuencial, la definicin de comportamiento de equivalencia y el postulado de estado abstracto en algoritmos paralelos es simplemente mediante la sustitucin de "secuencial" con "paralelo". El postulado exploracin acotada, por otro lado, especficamente describe los algoritmos secuenciales. El trabajo que realiza un algoritmo paralelo en un solo paso puede ser ilimitado. Debemos abandonar el postulado exploracin limitada y asumir, en su lugar, un axioma o axiomas especficamente diseado para el paralelismo.

Una observacin clave es que un clculo en paralelo consta de un nmero de procesos en funcionamiento (como es lgico) en paralelo. Los procesos integrados pueden ser paralelas tambin. Pero si analizamos el clculo lo suficientemente lejos entonces llegamos a los procesos, que llamamos proclets, que satisfacen el postulado exploracin limitada. Varios postulados describen cmo los proclets se comunican unos con otros y cmo producir cambios. Y hay un postulado que requiere alguna unida d (dependiendo slo en el algoritmo) para la cantidad de secuencialidad en el programa. La duracin de cualquier secuencia de eventos que deben ocurrir en un orden especificado dentro de cualquier paso del algoritmo es a lo sumo d. Hay varios modelos de clculo para algoritmos de paso ancho en la literatura. Los dos modelos ms conocidos son circuitos booleanos y PARMs [35]. (PRAM es "Mquinas Paralelas de acceso aleatorio"). 7. Hacia la formalizacin de algoritmos distribuidos Las maquinas de estado abstracto distribuidos se define en [25]. Son ampliamente utilizados por la comunidad ASM [1], pero el problema de la captura de algoritmos distribuidos es abierta. Aqu nos concentramos en un aspecto de este problema importante: la interaccin entre un agente de tiempo secuencial y el resto del sistema como se ve por el agente. Uno puede tener la impresin de que este aspecto ha sido cubierto debido a lo largo de carreras donde se estudi los algoritmos de pasos se intercalan con los pasos realizados por el medio ambiente. Pero este modo de entrelazado no es lo suficientemente general.

Computadoras cuanticas
DEFINICION La computacin cuntica es un paradigma de computacin distinto al de la computacin clsica. Se basa en el uso de qubits en lugar de bits, y da lugar a nuevas puertas lgicas que hacen posibles nuevos algoritmos. Una misma tarea puede tener diferente complejidad en computacin clsica y en computacin cuntica, lo que ha dado lugar a una gran expectacin, ya que algunos problemas intratables pasan a ser tratables. Mientras un computador clsico equivale a una mquina de turing, un computador cuntico equivale a una mquina de turing indeterminista. La empresa canadiense D-Wave System haba supuestamente

presentado el 13 de febrero de 2007 en Silicon Valley, una primera computadora cuntica comercial de 16-qubits de propsito general; luego la misma compaa admiti que tal mquina llamada Orion no es realmente una Computadora Cuntica, sino una clase de mquina de propsito general que usa algo de mecnica cuntica para resolver problemas. Problemas de la computacin cuntica: Uno de los obstculos principales para la computacin cuntica es el problema de la decoherencia, que causa la prdida del caracter unitario (y, ms especficamente, la reversibilidad) de los pasos del algoritmo cuntico. Los tiempos de decoherencia para los sistemas candidatos, en particular el tiempo de relajacin transversal (en la terminologa usada en la tecnologa de resonancia magntica nuclear e imaginera por resonancia magntica) est tpicamente entre nanosegundos y segundos, a temperaturas bajas. Las tasas de error son tpicamente proporcionales a la razn entre tiempo de operacin frente a tiempo de decoherencia, de forma que cualquier operacin debe ser completada en un tiempo mucho ms corto que el tiempo de decoherencia. Si la tasa de error es lo bastante baja, es posible usar eficazmente la correccin de errores cunticos, con lo cual s sera posible tiempos de clculo ms largos que el tiempo de decoherencia y, en principio, arbitrariamente largos. Se cita con frecuencia una tasa de error lmite de 10-4, por debajo de la cual se supone que sera posible la aplicacin eficaz de la correccin de errores cunticos. Otro de los problemas principales es la escalabilidad, especialmente teniendo en cuenta el considerable incremento en qubits necesarios para cualquier clculo que implica la correccin de errores. Para ninguno de los sistemas actualmente propuestos es trivial un diseo capaz de manejar un nmero lo bastante alto de qubits para resolver problemas computacionalmente interesantes hoy en da.

INTRODUCCION A travs de la historia el ser humano ha usado diversos materiales y utilizado mltiples mecanismos en el diseo, construccin y operacin de mquinas que agilicen y automaticen la

realizacin de clculos y el procesamiento de informacin. Antiguamente, los primeros modelos fueron manuales, estos se remontan aproximadamente hasta 500 A. C., cuando los/las egipcios/as inventaron un artefacto que consista en una serie de esferas atravesadas por varillas; este artefacto fue cambiado y perfeccionado por los chinos; y posteriormente en el siglo XIII D. C. Es cuando toma la forma clsica que conocemos; el BACO est compuesto por 10 lneas con 7 esferas cada una, una lnea corta todas las lneas en dos partes una ms grande que la otra, ubicndose 2 esferas en la parte superior y cinco en la parte inferior. Mucho tiempo despus, se desarrollaron modelos mecnicos y elctricos, es as que, Blaise Pascal, en 1649, fabric la PASCALINA, una mquina que haca operaciones de 8 dgitos. En 1820, Charles Babbage con la ayuda de la Condesa Ada Byron, construy dos equipos totalmente mecnicos, usaban ejes, engranajes y poleas para realizar clculos. Konraz Suze, ingeniero alemn, en 1942, construy la primera computadora digital (electromecnica binaria) programable. Entre 1937 y 1942 Atanasoff y Berry, construyeron un prototipo compuesto de tubos al vaco, capacitores y un tambor de rotatorio para el manejo de los elementos de la memoria. En 1941 Turing construy la COLLOSUS, una computadora que usaba miles de vlvulas, 2400 bombas de vidrio al vaco, y un escner con capacidad de leer 5000 caracteres por cinta de papel. En 1944 IBM (International Business Machines) construye la MARK I en cooperacin con la Universidad de Harvard, media 15 metros de largo, 2.40 metros de altura y pesaba cinco toneladas. La ENIAC contaba con 17468 tubos de vidrio al vaco, fue construida en 1946. No hace mucho tiempo, se inici la era digital, con modelos electrnicos basados inicialmente en tubos de vaco y luego en transistores. La EDVAC fue la primera computadora electrnica digital, su memoria consista en lneas de mercurio dentro de un tubo de vidrio al vaco, donde se poda almacenar ceros y unos. El transistor, es el invento que ms ha influenciado en la evolucin de las computadoras, este fue concebido en 1948, por tres cientficos en los laboratorios de Bell. Este contiene un material semiconductor que funciona como un interruptor. En 1958 Kilby y Noycea, de la Texas Instrument, inventaron los circuitos integrados, haciendo que las computadoras fuesen cada vez ms pequeas. En Intel, en 1971, Hoff desarrollo un microprocesador de 4 bits que contena 23000 transistores que procesaban 108 kHz o 0.06 MIPS, tena 46 instrucciones y 4 kilobytes de espacio de almacenamiento. En 1974 Intel present una CPU compuesto por el microchip 8080, este contena 4500 transistores y poda almacenar 64 kilobytes de memoria RAM, tena un bus de datos de 8 bits. A comienzos de la dcada de los 80 IBM empez a desarrollar las computadoras personales con PC-DOS como sistema operativo, empezando as una nueva era, donde las computadoras estaban al alcance de todos. Las computadoras porttiles, las computadoras vestibles, y los modelos no comerciales que son tan pequeos como una moneda de un centavo. Actualmente, las computadoras porttiles, los asistentes personales digitales PDA (Personal Digital Assistant por sus siglas en ingls) y los telfonos celulares, se caracterizan por su reducido tamao y portabilidad; y. En el futuro, las computadoras usables ("Body wearable computers" en ingls), integradas en el espacio personal del usuario o de la usuaria, reemplazarn a todos los dispositivos mencionados en el prrafo anterior, y sern tan o an mas populares. Estas computadoras requieren componentes an ms pequeos que los actuales. La constante miniaturizacin de los componentes de hardware ha logrado la realizacin de nano circuitos. Pronto no ser posible reducir ms los circuitos, debido a que muy pronto la miniaturizacin ser tal que las leyes de la fsica clsica ya no sean validas, entonces se entrar en los dominios del mundo subatmico, donde las leyes de la fsica de la mecnica cuntica

tienen validez. El cambio en los componentes fundamentales de las computadoras, hace necesario redefinir muchos elementos de la computacin actual, la arquitectura, los algoritmos, y los componentes de hardware. Es as como nace la computacin cuntica y con ella los algoritmos cunticos. La aplicabilidad de la computacin cuntica depende de la posibilidad de desarrollar una computadora cuntica. Un ejemplo del inmenso poder de las computadoras cunticas es el algoritmo cuntico para determinar si un nmero es primo. Una computadora actual se tardara miles a millones de aos (dependiendo de cuan grande sea el nmero) en ejecutar tal algoritmo; a diferencia de una computadora cuntica le tomara tan solo unos cuantos segundos el completar la tarea. Este trabajo esta organizado de tal manera que en la segunda seccin se desarrollan los fundamentos y los elementos bsicos que conforman la computacin cuntica; se han utilizado sencillas expresiones matemticas para mostrar la representacin de los estados de un BIT cuntico y el mecanismo del paralelismo cuntico. En la tercera seccin se presenta una arquitectura cuntica muy aceptada entre los investigadores que desde un principio han orientado sus investigaciones hacia lograr una arquitectura compatible con las actuales, de ah que esta tiene muchas semejanza con las arquitecturas existentes, con elementos propios de la computacin cuntica. En la cuarta y ltima seccin se relata brevemente los lineamientos que debe seguir el diseo de una computadora cuntica 2- HISTORIA DE LA COMPUTACION CUANTICA Cuando tericos tales como Richard Feynmann, del California Institute of Technology, de Pasadena (California); Paul Benioff, de Argonne National Laboratory, en Illinois; David Deutsch, de la Universidad de Oxford, en Inglaterra, y Charles Bennett, del T.J. Watson Research Center de IBM en Yorktown Heights (Nueva York), propusieron por primera vez el concepto de las computadoras cunticas en las dcadas de 1970 y 1980, muchos cientficos dudaron que alguna vez ese tipo de computadora pudiera resultar prctica. Pero en 1994, Peter Shor, de AT and T Research, describi un algoritmo cuntico especficamente diseado para factorizar nmeros grandes y exponencialmente ms rpido que las computadoras convencionales, lo suficientemente rpido como para birlar la seguridad de muchos criptosistemas de clave pblica. El potencial del algoritmo de Shor alent a muchos cientficos a tratar de explotar las capacidades de las computadoras cunticas. En los ltimos aos, varios grupos de investigacin de todo el mundo han alcanzado progresos significativos en este campo. Mientras estuvo en IBM, Chuang ampli su reputacin como uno de los experimentalistas en computacin cuntica ms importantes del mundo. Dirigi el grupo que demostr la primera computadora cuntica de 1 qubit (en 1998 en la Universidad de California en Berkeley). En IBM Almaden, Chuang y sus colegas fueron los primeros en demostrar los importantes algoritmos cunticos, el algoritmo de Grover concebido en 1999 para hacer bsquedas en bases de datos con ayuda de una computadora cuntica de 3 qubits, y la bsqueda de pedidos ideada el ao pasado (agosto del 2000) con una computadora cuntica de 5 qubits. La factorizacin con el algoritmo de Shor anunciada hoy es el algoritmo ms complejo que se haya demostrado hasta ahora usando una computadora cuntica. Adems de su ambicioso programa experimental, la Divisin de Investigacin de IBM Research es conocida tambin por sus muchas contribuciones tericas en el emergente campo de la informacin cuntica. Los cientficos de IBM fueron pioneros en criptografa cuntica, en

comunicaciones cunticas (incluso el concepto de teleporte cuntico) y en metodologas eficientes para corregir errores. David DiVincenzo, miembro del cuerpo de investigadores del laboratorio Watson de IBM, ha promulgado los cinco criterios necesarios para construir una computadora cuntica prctica: 1) un sistema fsico de escala flexible con qubits bien caracterizados; 2) capacidad de inicializar el estado de un qubit; 3) tiempos de descoherencia ms largos que el tiempo de operacin de la puerta cuntica; 4) un conjunto universal de puertas cunticas; y 5) la capacidad de medir qubits especficos. 3. COMPUTACION CUANTICA En la computacin cuntica, 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, as reduciendo el tiempo de ejecucin de algunos algoritmos de miles de aos a segundos. 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. En este trabajo se desarrollan los fundamentos y los elementos bsicos que conforman la computacin cuntica. Tambin se presenta una arquitectura cuntica muy aceptada entre los investigadores que desde un principio han orientado sus investigaciones hacia lograr una arquitectura compatible con las actuales, de ah que esta tiene muchas semejanza con las arquitecturas existentes, con elementos propios de la computacin cuntica. La comunidad cientfica dedicada a investigar tpicos en el mbito de la computacin cuntica, ha logrado enormes avances tericos, al demostrar que es posible reducir drsticamente los recursos computacionales requeridos en la ejecucin de algoritmos. Algunos de esos algoritmos requieren un inmenso poder de cmputo an en las computadoras ms avanzadas de la actualidad. Algunos algoritmos matemticos como la bsqueda de los factores de nmeros primos, algoritmos de manejo de informacin como la bsqueda en bases de datos no ordenadas; han sido tericamente desarrollados con mucho xito, utilizando los fundamentos de la computacin cuntica. La teora de la computacin cuntica esta basada en las interacciones del mundo atmico y en futuras implementaciones de las computadoras cunticas. Estas an estn en los laboratorios de investigacin pero ya se tienen resultados alentadores, como el desarrollo de la computadora cuntica de cinco qubits desarrollado por Steffen. 3.1 FUNDAMENTOS DE LA COMPUTACION CUANTICA Este, definitivamente es uno de los mtodos que se deberan desarrollar ms (a mi punto de vista), pues son de los que ofrecen una gama de prestaciones enormes; imaginarse que los dispositivos de almacenamiento ms avanzados hasta ahora se duplicaran, suena bastante interesante, pues los qubits pueden representar cuatro nmeros a la vez, siendo que la lgica

binaria slo permite un 1 un 0 para un solo bit. Esto definitivamente implica una duplicacin, por as decirlo de la capacidad de procesamiento no slo de las memorias o dispositivos de almacenamiento secundario; sino adems en todos los dems componentes de un sistema informtico como pueden ser: microprocesadores, tarjetas de video, de sonido, etc. Adems, lgicamente estos descubrimientos aumentaran notablemente la velocidad de los micros y de todos sus dems componentes. Bueno, empezar entonces con la explicacin del principio de la computacin cuntica. En la computacin tradicional, un bit es la mnima unidad de informacin pero, para representarlo, se utiliza la ausencia o la presencia de miles de millones de electrones en un diminuto transistor de silicio. 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 necesario 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. Sealan en la Universidaed de Michigan que se esta a punto de entrar a la nueva era de la computacin puesto que se elevar la velocidad en el procesamineto de la informacin de manera sorprendente cmo, bueno indican que mediante la utilizacin de Circuitos que combinan la mecnica cuntica con los principios de la computacin. Sealan los investigadores que los nuevos ordenadores realizaran los clculos ms complejos en mucho menor tiempo. En un artculo publicado en Physical Review Letters, se realiza una propuesta de un circuito realizable de forma experimental contemplando de esta manera una forma de implementar una computacin cuntica escalable.

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. La computacin cuntica esta basada en las propiedades de la interaccin cuntica entre las partculas subatmicas, como la superposicin simultanea de dos estados en una sola partcula subatmica. La superposicin cuntica, propiedad fundamental de la interaccin cuntica, es ampliamente aprovechada para el desarrollo terico de los algoritmos cunticos, logrando una capacidad de procesamiento exponencial. La superposicin cuntica permite mantener simultneamente mltiples estados en un bit cuntico, es decir "0" y "1" a la vez; a diferencia del bit elemento fundamental en la computacin actual que nicamente es capaz de mantener un estado discreto, alternativo, a la vez, el "0" o "1" lgico. La computacin cuntica, aprovecha la superposicin cuntica, para lograr el paralelismo cuntico y el paralelismo cuntico masivo. Cualquier interaccin con el mundo subatmico, producir un cambio en este, es decir, cualquier medicin o lectura traer indefectiblemente un cambio. Este fenmeno cuntico es aprovechado en la tele transportacin cuntica para la transmisin de qubits, y asimismo es utilizada como mecanismo de seguridad en la criptografa cuntica. 3.2 ELEMENTOS BASICOS DE LA COMPUTACION CUANTICA 3.2.1 El bit cuntico "qubit" El elemento bsico de la computacin cuntica es el bit cuntico o qubit (quantum bit por sus siglas en ingls), un qubit representa ambos estados simultneamente, un "0" y un "1" lgico, dos estados ortogonales de una sub partcula atmica, como es representada en la figura 1. El estado de un qubit se puede escribir como { 0 , 1 } , describiendo su mltiple estado simultaneo. Un vector de dos qubits, representa simultneamente, los estados 00, 01, 10 y 11; un vector de tres qubits, representa simultneamente, los estados 000, 001, 010, 011, 100, 101, 110, y 111; y as sucesivamente. Es decir un vector de n qubits, representa a la vez 2n estados.

Figura 1. Representacin de cuatro estados diferentes de un qubit. [Steffen01] Cualquier sistema cuntico con dos estados discretos distintos puede servir como qubit, un espn de electrn que apunta arriba o abajo, o un espn de fotn con polarizacin horizontal o vertical. En la figura 1 se tiene una representacin pictrica de cuatro diferentes estados basado

en el espn de un ncleo atmico, por lo que puede ser usado como un qubit. Un qubit no puede ser clonado, no puede ser copiado, y no puede ser enviado de un lugar a otro. 3.2.2 Compuertas cunticas 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 3.2.3 "Entanglement" 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. [White00] 3.2.4 Tele transportacin cuntica 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. 3.2.5 El paralelismo cuntico 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 superposicin igual de 0 y 1 . [Steffen01] una

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. 3.2.6 Criptografa cuntica 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 P1y 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. 4. ARQUITECTURA DE UNA COMPUTADORA CUANTICA 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 esta conformada por una ALU cuntica, memoria cuntica, y un planificador dinmico, tal como puede observarse en la figura 2. La correccin de errores es un aspecto que debe ser tomado muy en cuenta en el diseo de una arquitectura cuntica.

Figura 2. Arquitectura cuntica. 4.1 ALU cuntica La ALU cuntica tiene como funciones fundamentales la ejecucin de operaciones cunticas y la correccin de errores. La ALU prepara los datos cunticos, antes de ejecutar cualquier compuerta lgica, aplicando una secuencia de transformaciones cunticas bsicas, que incluyen:

Hadamard (raz cuadrada, transformada de Fourier de 1 qubit), I, Identidad (I, NOP cuntico), X, NOT cuntico, Z, cambia los signos de las amplitudes), Y = XZ, rotacin por p /4 (S), rotacin por p /8 (T), y NOT controlado (CNOT).

La ALU aplica esta secuencia de operaciones elementales para la correccin de errores, indispensable en la computacin cuntica. Este procedimiento consume estados auxiliares adicionales, para la verificacin de paridad. La ALU hace uso de hardware especializado estndar, que provee estados elementales estndares, para producir los estados auxiliares adicionales. 4.2 Memoria 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, cuya representacin pictrica se

puede apreciar en la figura 2. Una unidad especializada actualiza peridicamente los qubits lgicos individuales, ejecutando algoritmos de deteccin y correccin de errores. 4.3 Tele transportadora de cdigo La tele transportadora de cdigo desde la memoria cuntica a la ALU, aade alguna funcionalidad adicional a la tele transportacin cuntica convencional, proveyendo un mecanismo general para simultneamente ejecutar operaciones mientras transporta los datos cunticos.

Figura 3. Tele transportadora de cdigo. [Oskin02] Este mecanismo se usa para la correccin de errores en el codificador de cdigo origen y en el codificador de cdigo destino, como puede observarse en la figura 3. El emisor y el receptor entonces ejecutan qubits lgicos equivalentes en la operacin de tele transportacin en cada terminal del par "enredado" (entangled). 4.4 Planificador dinmico Oskin et al proponen un procesador clsico de alto desempeo como parte principal del planificador dinmico. Este procesador ejecuta un algoritmo de planificacin dinmico que toma operaciones cunticas lgicas, intercaladas con construcciones clsicas de control de flujo, y dinmicamente las traduce en operaciones individuales de qubits fsicos. 5. COMPUTADORA CUANTICA Una definicin acerca de las computadoras cunticas ampliamente aceptada por los investigadores, es la expuesta por Beth [Beth00]. El la concibe como un sistema de circuitos cunticos, actuando en un espacio de estados, que es un espacio complejo 2n-dimensional de Hilbert. El circuito es una secuencia de transformaciones unitarias Ut SU(2n) seguido por una medicin. Esas transformaciones, son llamadas compuertas cunticas, y son controladas por una computadora clsica. El espacio de estados de una computadora cuntica tiene la estructura de un espacio de un vector Hermitian. As esto permite la superposicin simultanea de estados bsicos ortogonales (correspondientes a estados clsicos "0" y "1") con la posibilidad de interferencia constructiva y destructiva entre las diferentes rutas de computacin. Este principio permite el uso de los estados confusos (entangled states). 5.1 Requerimientos de implementacin 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. 6. CIRCUITOS PARA LA COMPUTACION CUANTICA 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. 7. IBM logra una nueva meta histrica con su computadora cuntica Cientficos del Laboratorio de Investigacin de IBM en Almaden, San Jos, California, llevaron a cabo el clculo ms complicado que se haya completado hasta la fecha en una computadora cuntica. En el experimento, los cientficos hicieron que un trilln de molculas diseadas a la medida y contenidas en una probeta se transformaran en una computadora cuntica de siete qubits para resolver una versin sencilla del problema matemtico que se encuentra en el corazn de muchos de los sistemas criptogrficos actuales destinados a la seguridad de datos. "Este resultado refuerza la conciencia creciente de que las computadoras cunticas pueden resolver algn da problemas tan complejos que incluso las supercomputadoras ms poderosas son incapaces de responder as trabajaran durante millones de aos", manifest Nabil Amer, gerente y estratega del grupo de fsica de la informacin del Departamento de Investigacin de

IBM. En la revista cientfica Nature, un grupo integrado por cientficos de IBM y por estudiantes de segundo ciclo de la Universidad de Stanford informan la primera demostracin del "Algoritmo de Shor", un mtodo desarrollado en 1994 por Peter Shor, cientfico de AT and T, para que una computadora cuntica futurista encontrara los factores de un nmero, es decir, los nmeros que multiplicados entre s dan el nmero original. Hoy, descomponer en factores un nmero grande es un problema tan difcil para las computadoras convencionales (aunque sea algo tan sencillo de verificar) que la descomposicin en factores es un elemento utilizado en muchos mtodos criptogrficos para proteger los datos. Una computadora cuntica deriva su potencia de ciertas propiedades cunticas de los tomos o ncleos que les permiten funcionar como bits cunticos, o "qubits", y servir simultneamente de procesador y memoria en la computadora. Dirigiendo interacciones entre qubits aisladas del entorno externo, los cientficos pueden hacer que una computadora cuntica realice ciertos clculos (por ejemplo factorizar) en forma exponencialmente ms rpida que las computadoras convencionales. Cuando en una computadora convencional se factorizan nmeros grandes, cada dgito aadido duplica aproximadamente el tiempo requerido para encontrar los factores. En una computadora cuntica, en cambio, el tiempo de factorizacin es un incremento constante con cada dgito adicional. El ejemplo significativo ms sencillo del Algoritmo de Shor es el de encontrar los factores del nmero 15, una operacin que requiere una computadora cuntica de siete qubits. Los qumicos de IBM disearon y elaboraron una nueva molcula que tiene siete spins nucleares los ncleos de cinco tomos de flor y de dos de carbono- que pueden interactuar como qubits, programarse mediante pulsos de radio frecuencias y detectarse con instrumentos de resonancia magntica nuclear (Nuclear Magnetic Resonance--NMR) similares a los actualmente utilizados en hospitales y laboratorios qumicos. En un tubo, los cientficos de IBM controlaron un trilln de esas molculas para ejecutar el algoritmo de Shor, e identificaron correctamente 3 y 5 como los factores de 15. "Aunque la respuesta puede parecer trivial, el control sin precedentes de los siete spins durante el clculo hizo de ste el cmputo cuntico ms complejo realizado a la fecha", seal Amer. "Ahora tenemos el desafo de convertir la computacin cuntica en una realidad de la ingeniera", indic Isaac Chuang, lder del grupo de investigacin y ahora profesor adjunto en MIT. "Si podemos realizar este clculo en escalas mucho mayores -digamos miles de qubits para factorizar nmeros muy grandes- se necesitaran hacer cambios fundamentales en las implementaciones criptogrficas". An cuando el potencial de la computacin cuntica es enorme y los progresos alcanzados recientemente son alentadores, las computadoras cunticas comerciales estn a muchos aos de distancia. Las computadoras cunticas basadas en NMR son todava experimentos de laboratorio y las primeras aplicaciones de la computacin cuntica tomaran probablemente la forma de coprocesadores para llevar a cabo funciones especficas, por ejemplo resolver problemas matemticos difciles, sistemas de modelaje cuntico y bsquedas no estructuradas. Los procesadores de texto o las tareas que requieren resolver problemas sencillos se manejan ms fcilmente con ayuda de las computadoras actuales. La demostracin de IBM del algoritmo de Shor muestra tambin el valor de los experimentos en la computacin cuntica usando NMR, un enfoque introducido independientemente a mediados de la dcada de 1990 por Chuang y Neil Gershenfeld de MIT, y por David Cory y colegas, tambin de MIT. "Nuestros experimentos con NMR nos estimularon a desarrollar

herramientas fundamentales para tipos futuros de computadora cuntica", coment Chuang. "La ms importante de esas herramientas fue una manera de simular y predecir la degradacin de la seal causada por la des coherencia -fluctuaciones cunticas no deliberadas. Esta herramienta nos permiti minimizar los errores de des coherencia en nuestro experimento de 7 qubits". Y an cuando NMR seguir siendo un banco de pruebas para desarrollar herramientas y tcnicas de computacin cuntica, ser difcil desarrollar y sintetizar molculas dotadas de ms de siete qubits. En consecuencia, nuevos experimentos de IBM y de otros se proponen desarrollar nuevos sistemas de cmputo cuntico capaces de aumentar de escala ms fcilmente para alcanzar el nmero grande de qubits requerido en las aplicaciones prcticas. Entre los candidatos principales se cuentan hoy los spins electrnicos confinados en nanoestructuras de semiconductores (llamados a menudo puntos cunticos), spins nucleares asociados con impurezas de un solo tomo en un semiconductor, y el flujo electrnico o magntico por superconductores. Se estn evaluando tambin implementaciones atmicas y pticas. 8. La Computacin Cuntica y sus consecuencias en la Criptografa actual En el ao de 1982 aparecen las primeras ideas de lo que hoy se conoce como computacin cuntica, Feyman observa que ciertos efectos de la mecnica cuntica (leyes de la fsica a nivel de particular elementales) no pueden ser simulados por una computadora digital, e insina que la computacin en general puede ser eficientemente mejorada aprovechando esos efectos de la mecnica cuntica. No es hasta 1985 cuando Deutsch describe un modelo de una computadora cuntica, de alguna manera similar como en 1936 fue propuesto el modelo de la mquina de Turing que sirvi como prembulo de las actuales computadoras. Un principio de la mquina de Turing es afirmar que puede simular cualquier dispositivo fsico, cosa que parece no ser cierta cuando se considera fenmenos de la fsica cuntica. Sin embargo los modelos de computacin cuntica que se han propuesto deben de tener como un caso particular el modelo de la computacin actual. Una computadora cuntica es hipotticamente una mquina que usa los principios de la mecnica cuntica para realizar sus operaciones bsicas. A partir de Deutsch ha existido una gran cantidad de aportaciones a sus ideas, una nueva aportacin que puede aparecer en la computacin cuntica es una forma diferente de realizar los algoritmos como lo muestra el propuesto por Shor en 1994 para resolver el problema del Logaritmo Discreto y el Problema de Factorizacin. En trminos bsicos la computacin tradicional se basa en el manejo de bits, es decir la unidad de informacin ms bsica con lo que construye los puente lgicos y as un lenguaje formal con lo que operan todas las computadoras, en el caso de la computacin cuntica se considera el qubits que se basa en una propiedad cuntica de la superposicin, es decir que un mismo registro almacena al mismo tiempo el valor binario 0 y el 1. Esto permite que un registro de 2 qubits almacena los valores 00, 01, 10 y 11, as tambin un registro con 3 qubits almacena entonces los valores 000. 001, 010, 011, 100, 101, 110 y 111, en general un registro de n qubits almacena al mismo tiempo 2n valores. Esto quiere decir de forma general que las operaciones que requieren tiempo exponencial se pueden reducir a un tiempo completamente lineal n, lo que naturalmente tendra un impacto en la criptografa actual como lo mostr Shor. Una forma de construir un qupuente es usar la

transformada de Hadamard, se puede ver que las entradas a la transformada de Hadamard (|0>, | 0>,... |0>) de un registro de un n-qubits se transforman en cualquier estado del tipo (|a1>, |a2>,..., |an>) donde la |ai> es cualquier suposicin del 0 o 1, esto constituye una qufuncin booleana y as poder construir el qu-XOR, qu-AND, etc., lo que permitira efectuar al menos las mismas operaciones de una computadora digital. En 1997 se ha mostrado que la Resonancia Magntica Nuclear puede ser adaptada para lograr los requerimientos de una computadora cuntica. En agosto pasado se dio la noticia que en los laboratorios de la IBM se haba podido construir una computadora cuntica con 3 qubits, sin embargo es necesario primero construir computadoras de cientos o miles de qubits para que se considere una buena computadora cuntica adems de resolver las dificultades de poder construirla. Recientemente el equipo de Chaung ha podido construir una computadora cuntica de 5 qubits, generalizando el algoritmo de Shor para generar el orden de una permutacin, el corazn de esto es usar la transformada de Furier cuntica que permite determinar ms eficientemente la periodicidad desconocida de una funcin que no se sabe nada de ella. En el experimento se usa una molcula con 5 spins sujeto a un campo magntico esttico, que funciona como un qubits. Estos qubits fueron manipulados usando resonancia magntica nuclear. En este caso se resolvi el problema de "orden-finding" que simplemente significa encontrar un nmero mnimo de aplicaciones de una funcin f, hasta regresar a su estado inicial, algo similar a encontrar el orden de un elemento en un grupo finito. Cuando se colocan en un campo magntico esttico cada spin tiene dos valores propios de energa discreta spin-up |0> y spin-down |1>, descritos por un Hamiltoniano. Todo esto constituye un 5-qubits en donde se pudo construir el puente lgico que efecta eficientemente el algoritmo que resuelve el problema de "orden-finding" controlando en este caso el problema de "coherent" o de mltiple correspondencia, que es uno de los problemas ms complicados para poder construir computadoras cunticas de varios qubits. Obviamente existen tanto tendencias pesimistas que afirman que las computadoras cunticas nunca se podrn construir, como afirmaciones que predicen que es solo cuestin de aos, es naturalmente difcil predecir cundo se podr tener una computadora cuntica, pero conforme pasa el tiempo se ve ms claramente cual es el siguiente escaln en el desarrollo de la tecnologa, desde el proceso manual, el mecnico, el electrnico, el digital y ahora el cuntico. Quiz sean entre 20 y 30 aos los que tengan que pasar para ver materializada una computadora cuntica. 9. PREGUNTAS FRECUENTES 9.1.- Qu significa esto? Se refiere a los fenmenos que tendr que enfrentar la tecnologa de las computadoras cuando el tamao de sus componentes (transistores, circuitos, etc.) rebase un lmite inferior determinado, para el que las leyes de la fsica son fundamentalmente diferentes a las que se aplican en el mundo macroscpico. Para ver el grfico seleccione la opcin "Descargar" del men superior Una de las caractersticas de las ondas es su capacidad de interferencia, como cuando arrojamos una piedra cerca del muro de una alberca y las ondas circulares generadas se reflejan en parte en dicho muro y se encuentran con las ondas que apenas van en camino, reforzndolas

o cancelndolas segn la distancia a la que se efecte el encuentro. De la misma manera, una partcula subatmica considerada como onda, experimenta interferencia no slo con otras partculas, sino consigo misma! 9.2.- A que se refiere con leyes diferentes? Para ver el grfico seleccione la opcin "Descargar" del men superior Hay que hacer aqu un poco de historia. A principios del siglo pasado (1900s !), con el avance en el conocimiento de los mecanismos internos del tomo; fsicos de la talla de Niels Bohr, Max Planck, Werner Heisenberg, etc. llegaron a la conclusin de que la fsica newtoniana - tambin llamada mecnica clsica- no poda aplicarse al mundo subatmico, en el cual las leyes del movimiento responden a principios diferentes que en ocasiones contradicen nuestro sentido comn. Esto los llev a fundar una nueva rama de la fsica: La Mecnica Cuntica. Pongamos un ejemplo sencillo: la mecnica newtoniana es capaz de establecer con una gran precisin, la velocidad y la posicin de objetos de mayor tamao que el tomo; en este sentido se puede establecer con objetividad la trayectoria que por ejemplo siguen la Luna o el Sol, y sta determinacin es independiente del mtodo de estudio empleado; es decir, la observacin que hagamos no influye en forma significativa en las conclusiones que obtenemos sobre el movimiento estudiado (en este sentido, nuestra observacin es objetiva). Sin embargo, cuando se trata de observar y estudiar objetos del tamao del tomo o menores, la mecnica cuntica sostiene que es imposible hacer observaciones objetivas, en el sentido de que no perturben de manera importante nuestro objeto de estudio. Se aplica aqu un principio denominadoPrincipio de Incertidumbre de Heisenberg. 9.3 podran explicar en que consiste este principio? Claro. Este principio simplemente establece que hay un lmite en la precisin de cualquier observacin que hagamos del mundo atmico o subatmico. En este sentido, podemos conocer con bastante precisin la posicin actual de una partcula subatmica, pero a costa de perder precisin en el conocimiento de otras variables (por ejemplo su velocidad), ya que nuestra observacin de su posicin afecta de manera no controlable el equilibrio atmico (incluso una observacin demasiado precisa podra destruirlo). En forma inversa, podemos establecer con gran aproximacin la velocidad de, por ejemplo, un electrn (el electrn es la partcula que transporta la electricidad), pero renunciando a conocer con precisin su posicin actual o futura. En este sentido, las trayectorias objetivas a las que estamos acostumbrados en nuestra vida diaria, pierden validez en el mundo del tomo. 9.4. Sin embargo, el desarrollo tecnolgico seguramente nos permitir salvar este problema, no es as?. La fsica cuntica responde a esto con un NO rotundo, ya que la limitacin no se haya tanto en los mtodos de observacin o en las herramientas empleadas, sino en la fsica misma: hay un lmite mnimo en toda interaccin, es decir, no se puede eliminar la influencia de las observaciones en el objeto de estudio ya que la observacin misma es una interaccin. Para ver el grfico seleccione la opcin "Descargar" del men superior 5. Y esto que tiene que ver con la computacin?

Para ver el grfico seleccione la opcin "Descargar" del men superior Sin embargo, a sta escala las leyes de la fsica clsica siguen siendo vlidas, y el transistor puede seguir siendo tratado como un objeto que responde a leyes clsicas, en base a las cuales estn construidas todas las computadoras actualmente. Pero de seguir la tendencia en la reduccin en el tamao de los componentes, tendremos muy probablemente que enfrentarnos con las leyes cunticas, cuando el tamao de stos alcance niveles atmicos. Para ver el grfico seleccione la opcin "Descargar" del men superior A este nivel, el transistor quizs pase a ser una pieza de museo y sea sustituido por una molcula!, pero de esto trataremos en el siguiente artculo. 9.6 Podra darnos un avance? Bueno. La computacin cuntica tiene bsicamente dos efectos en la tecnologa de las computadoras:

A nivel de hardware A nivel de los algoritmos utilizados

En trminos de hardware, a medida que la informacin pase a ser representada por unas cuantas partculas subatmicas, (a diferencia de como se representa ahora mediante una gran cantidad de stas a travs de los diferenciales de voltaje en los componentes de la computadora), los dispositivos debern de reconocer los fenmenos cunticos, como por ejemplo: las partculas pueden tener varios estados atmicos a la vez (niveles de energa), pueden atravesar barreras aparentemente infranqueables, pueden seguir varias rutas a la vez, etc. En relacin a los algoritmos (procedimientos matemticos para resolver problemas), la computacin cuntica abre posibilidades antes no imaginadas: disminuciones exponenciales en el tiempo de procesamiento y realizacin de operaciones en paralelo sin la necesidad de agregar procesadores a la mquina. 9.7 A que se refiere con interferencia consigo misma? Supongamos que pudiramos aislar una partcula de luz (llamada fotn), y que la pudiramos lanzar en repetidas ocasiones hacia uno de esos espejos que reflejan parcialmente la luz y el resto la dejan pasar. Encontraramos, mediante el uso de algn tipo de detector colocado al final de cada camino posible, que el 50% de las veces aproximadamente el fotn es reflejado y el 50% atraviesa el espejo. Para ver el grfico seleccione la opcin "Descargar" del men superior Sustituyamos ahora los detectores por espejos 100% reflejantes que reflejen al fotn hacia un segundo espejo semirreflejante y repitamos nuestras mediciones: esperaramos encontrar nuevamente, que en este segundo espejo el fotn sigue un camino el 50% de las veces; despus de todo, el fotn no se parte en dos y lo nico que hemos hecho es alargar un poco el camino............... pero no!: observamos que el fotn se obstina en activar uno solo de los detectores. Para ver el grfico seleccione la opcin "Descargar" del men superior

Interrumpamos ahora uno de los posibles caminos del fotn, sustituyendo unos de los espejos 100% reflejantes por un mecanismo que "absorba" al fotn y volvamos a medir: los dos detectores vuelven a ser activados intermitentemente!. Para ver el grfico seleccione la opcin "Descargar" del men superior Este comportamiento no puede ser explicado mediante leyes de la mecnica clsica aplicadas a una partcula, ya que es el comportamiento que seguira una onda cuya interferencia consigo misma (cancelacin-reforzamiento) explicara perfectamente el resultado de nuestro experimento. En este sentido, aunque el fotn considerado como partcula haya seguido un camino en particular (evidenciado por el detector que se activa), lo que ocurra en el camino que no sigui (en nuestro caso su interrupcin o su apertura) afecta la manera en como se comporta: en cierto sentido, el electrn no sigui uno u otro de los caminos sino los dos al mismo tiempo! 8. Que aplicacin podra tener este misterioso comportamiento? Para ver el grfico seleccione la opcin "Descargar" del men superior En el caso del todava hipottico computador cuntico, la situacin es totalmente diferente; los dispositivos fsicos que se utilizaran para procesar la informacin seran partculas individuales: tomos, molculas de tamao atmico, fotones, etc. Todas estas partculas tambin tienen la propiedad de contar con al menos dos estados que pueden identificarse con los valores de un bit. As por ejemplo, en el caso del tomo se podran utilizar dos de sus niveles energticos; en el caso de los fotones de luz se podra utilizar su polarizacin, etc. Sin embargo, as como el electrn de nuestro ejemplo anterior puede considerarse como que sigue dos caminos a la vez, tambin cualquiera de las partculas que exhiben fenmenos cunticos, puede estar en dos estados a la vez. En este sentido, un dispositivo cuntico no contiene un cero o un uno sino los dos a la vez.!. Este fenmeno se conoce como superposicin cuntica (los dos estados posibles se hallan superpuestos en el dispositivo). 9.9 De que servira tener los dos valores de un bit superpuestos ?. Antes de responder a esta pregunta, llevemos ms adelante nuestra reflexin sobre las superposiciones. Supongamos que queremos ahora representar valores mediante el uso de cuatro dispositivos binarios; en este caso es posible tener 16 combinaciones de bits: 0000, 0001, 0011, 0101, etc., una computadora "clsica" nicamente podra representar una de estas combinaciones a la vez, pero el computador cuntico podra manejarlas en forma simultnea. Si en lugar de utilizar 4 dispositivos utilizamos 6, entonces el nmero de combinaciones aumenta a 64 y en general se tendran 2^Lcombinaciones posibles utilizando L dispositivos (2^L significa elevar 2 a la potencia L, donde L es el nmero de dispositivos binarios). Lo anterior significa que los dispositivos binarios de una computadora cuntica (llamados qubits), permitiran en principio que se efectuaran operaciones en forma simultnea sobre todos sus valores posibles. Por el contrario, una computadora actual necesitara repetir 2^L veces la misma operacin o utilizar 2^L procesadores en paralelo. 9.10 Qu cosas podran hacerse con un computador cuntico? Para ver el grfico seleccione la opcin "Descargar" del men superior

Evidentemente si fuera posible encontrar algoritmos y hardware que exploten eficientemente la superposicin del qubit, podran obtenerse ahorros exponenciales en el tiempo de procesamiento. Un ejemplo de esto es la factorizacin de nmeros grandes (encontrar nmeros que al multiplicarse arrojen el nmero del cual son factores), en donde las computadoras actuales ven incrementado su tiempo de procesamiento en forma exponencial segn aumente el nmero de dgitos de la cantidad a factorizar. De hecho, los algoritmos actuales para codificar y enviar en forma encriptada informacin a travs de Internet, basan su seguridad en la imposibilidad de las computadoras actuales de encontrar en un tiempo razonable, los factores de un determinado nmero. El computador cuntico hara obsoletos dichos mecanismos de encriptacin. 9.11 Existen otras aplicaciones? Por supuesto. Mencionaremos slo dos: a) Encriptacin: Si bien el computador cuntico hara obsoletos los mecanismos actuales, tambin provee una solucin alternativa basada no tanto en las matemticas, sino en las leyes de la fsica por lo que esta solucin podra ser prcticamente imposible de violar por los amantes de lo ajeno. b) Teleportacin: Se refiere a comunicar el estado fsico de un objeto a otro objeto ubicado en otra parte. Para ver el grfico seleccione la opcin "Descargar" del men superior 9.12 Cmo podramos resumir los efectos cunticos aplicados a la computacin?. Para ver el grfico seleccione la opcin "Descargar" del men superior Una computadora cuntica hace uso del cmputo en paralelo mediante el empleo de bits cunticos (qubits). Ya vimos que una partcula subatmica puede estar en varios niveles energticos a la vez; en este sentido, puede representar al mismo tiempo los dos valores posibles de un bit (0 "cero" o 1 "uno"). Es como si el qubit existiera en dos universos paralelos: en uno como "cero" y en el otro como "uno". Una misma operacin efectuada sobre un qubit se realizara en forma simultnea en ambos universos (sobre ambos valores). Mientras mayor sea el nmero de qubits utilizados, el nmero de universos posibles tambin aumenta (# universos = 2L, donde 2L significa elevar 2 a la potencia L, y L es el nmero de qubits). Una vez efectuada una operacin sobre los diferentes valores, es necesario leer el resultado lo cual representa una interaccin que necesariamente modificar el estado de nuestro sistema de qubits y lo obligar a tomar un valor definido (recurdese el principio de incertidumbre de Heisenberg comentado en el primer artculo). Ciertamente nuestro resultado estar representado por un solo valor (un estado de nuestro sistema de qubits); pero este resultado se desprende de una operacin efectuada sobre 2L valores y por tanto depende lgicamente de ellos. 9.13 Entonces el computador cuntico har mejor las cosas que las computadoras actuales? Para ver el grfico seleccione la opcin "Descargar" del men superior

No necesariamente. Por ejemplo, las computadoras actuales son muy buenas para multiplicar grandes nmeros; el computador cuntico no lo har mucho mejor. Sin embargo aquellas operaciones que requieran de operaciones repetitivas, pueden hacer uso del cmputo en paralelo: La factorizacin de grandes nmeros : Una computadora actual se estima que tardara varios miles de millones de aos para factorizar un nmero de 1000 dgitos, mientras que un computador cuntico lo hara en 20 minutos!. La bsqueda en bases de datos : Las bsquedas en bases de datos no ordenadas se realizan actualmente al azar (ningn algoritmo es ms eficiente) y para localizar un dato en especial se requiere en promedio de N/2 intentos, donde N es el nmero total de datos. Un computador cuntico podra realizar lo anterior en un nmero de intentos igual a la raz cuadrada de N. As por ejemplo si N es igual a un milln, una computadora actual tendra que intentar 500,000 veces, mientras que el computador cuntico lo hara slo 1,000 veces. 9.14 Que tan cerca estamos de contar con un computador as? Se han hechos grandes progresos, sin embargo an existen grandes dificultades tcnicas. As por ejemplo, la superposicin cuntica (la capacidad de un qubit de existir en dos universos paralelos) es difcil de obtener y mantener ya que cualquier interaccin con el exterior obligar al qubit a adoptar un valor definido (fenmeno conocido como "decoherencia"). Por otro lado, el qubit no puede ser construido a partir del transistor ya que este es un elemento que slo funciona en las computadoras actuales; ms bien se deben utilizar partculas o sistemas de partculas que manifiesten el fenmeno de la interferencia cuntica. En este sentido, se han hecho diversos experimentos: Para ver el grfico seleccione la opcin "Descargar" del men superior Molculas Lquidas: En esta tcnica se utilizan grupos de molculas, en lugar de una partcula elemental. Al ser sometidos a un campo magntico, los ncleos de las molculas giran en una determinada direccin que puede ser utilizada para describir su estado (giro hacia arriba = "uno", giro hacia abajo = "cero"). Mediante seales de radiofrecuencia, el giro puede modificarse. Para ver el grfico seleccione la opcin "Descargar" del men superior En este sentido, el computador cuntico vendra a estar representado por las molculas, y los qubits por los ncleos. Se piensa que la molcula de la cafena sera un buen computador! Para ver el grfico seleccione la opcin "Descargar" del men superior En abril del 2000 se ha propuesto un computador cuntico escalable que contiene ms de 10 qubits, utilizando iones (tomos con carga elctrica). 10. La computacin cuntica se acerca a la electrnica tradicional (ScienceDaily) Investigadores de la Universidad de California, en Santa Barbara (UCSB), y de la Universidad de Pittsburgh ofrecieron pruebas de que la informacin del spin cuntico puede ser manejada localmente usando circuitos elctricos de alta velocidad. As lo anunciaron en el abstract de un trabajo presentado del 23 de enero en el website de "Science Express": el portal

rpido de la revista Science para publicaciones de hallazgos cientficos importantes que aparecern luego en la publicacin impresa. Los hallazgos son importantes porque muestran una compuerta lgica cuntica de estado slido (por ejemplo: un mecanismo de control) que trabaja con tecnologas de activacin de la electrnica de hoy en da, en computadoras actuales. La investigacin fue llevada a cabo por una asociacin entre David Awschalom, profesor de Fsica, Electricidad e Ingeniera de Computacin en la UCSB y director del Center for Spintronics and Quantum Computation (parte del California NanoSystems Institute [CNSI]), y Jeremy Levy, profesor asociado de Fsica en la Universidad de Pittsburgh y director del Center for Oxide-Semiconductor Materials for Quantum Computation. Hace un ao, en un programa de Quantum Information del Kavli Institute for Theoretical Physics en la UCSB, los dos fsicos se metieron en una conversacin que los llev a descubrir cmo los spins de los electrones en semiconductores podan ser manipulados en las tres dimensiones. El problema es viejo. Las tcnicas de resonancia de spin, usadas extensamente para obtener imgenes por resonancia magntica e identificacin qumica, manipulan los spins del electrn y del ncleo en tres dimensiones, usando una varacin rpida de campos magnticos. Pero estos campos son difciles de generar y controlar a una escala local. Por otra parte, el control local de los campos elctricos forma la base de todo lo que hay en electrnica, desde CPUs a telfonos celulares. El desafo era imaginar cmo controlar los spins de los electrones usando campos elctricos. Awschalom y Levy encontraron la forma de transformar campos elctricos en efectivos campos magnticos que permitieran manipular el spin del electrn. El resultado final es resonancia de spin de electrn (ESR, por sus siglas en ingls) en un chip. Esta nanoestructura permite que usando una seal de bajo voltaje en compuertas tradicionales para operar sobre el spin del electrn en cualquiera de las tres direcciones en que puede apuntar el eje, con un ancho de banda del orden del GigaHertz, y sin requerir campos magnticos variables en el tiempo. "El experimento muestra que es posible construir un conjunto muy escalable de compuertas cunticas usando semiconductores de una forma relativamente directa", explic Awschalom. Los fondos para esta investigacin fueron provistos por la Defense Research Project Agency (DARPA) de los Estados Unidos. 11. Computacin cuntica segun*SHAHEN HACYAN Ciudad de Mxico (4 julio 2002).- Hace ya una dcada surgi la idea de construir una computadora cuntica. Aunque estamos an lejos de hacer realidad este sueo, los avances tecnolgicos ms recientes nos acercan cada vez ms a la meta. Veamos cul es la situacin actual. Las computadoras comunes funcionan almacenando y manipulando informacin, que se puede cuantificar, y su mnima cantidad es el bit, que corresponde a conocer uno de dos posibles resultados; por ejemplo, si informo que el resultado de un volado fue "guila", estoy proporcionando un bit de informacin. Para ver el grfico seleccione la opcin "Descargar" del men superior El sistema binario, con slo dos smbolos (0 y 1) es ideal para procesar la informacin y realizar clculos en forma mecnica. En los circuitos de una computadora, el 0 y el 1 corresponden, en

trminos generales, a que no pase o s pase una corriente elctrica. Una vez logrado esto, lo dems es mecnico: una computadora funciona como un baco cuyas cuentas son conjuntos de electrones, los cuales se mueven con los cambios de voltaje en los transistores. En las computadoras actuales se necesita algo as como 10 mil electrones circulando para reproducir un bit de informacin. Sin embargo, a la velocidad a la que avanza la tecnologa, es probable que en un par de dcadas se llegue a necesitar slo un tomo o un electrn para cada bit de informacin. En ese caso, aparecern los efectos cunticos propios del mundo atmico. Una de las propiedades bsicas ms extraas del mundo cuntico es el principio de superposicin, por el cual un tomo puede estar en varios estados simultneamente. Es slo en el momento de observarlo cuando un tomo se manifiesta en uno de esos mltiples estados y adquiere "realidad" en el sentido comn del trmino. Por lo que se refiere a la computacin, un tomo puede almacenar lo que se llama un qubit: una superposicin simultnea de 0 y 1. Adems, la interferencia entre los dos estados conduce a efectos que pueden acelerar enormemente la ejecucin de clculos. El problema fundamental de la computacin cuntica consiste en poder mantener lo que se conoce como "coherencia" entre dos estados superpuestos. En la prctica, esta coherencia se pierde en microsegundos slo por el hecho de intervenir para medir al tomo. El gran reto consiste, entonces, en poder hacer las manipulaciones necesarias para los clculos de cmputo antes de destruir la coherencia. Una computadora cuntica podra consistir de un gran conjunto de tomos, cada uno almacenando un qubit de informacin, con la posibilidad de manipularlos, tal como se hace con las corrientes elctricas en los chips de las computadoras comunes. Para ello ha habido varias propuestas hasta ahora. Por ejemplo, una de las ltimas propuestas (aparecida en la revista Nature) consiste en un conjunto en paralelo de trampas de iones, los cuales pueden circular rpidamente de una trampa a otra para interactuar entre ellos. Los iones son tomos elctricamente cargados porque les falta uno o ms electrones. Esa carga permite que se puedan almacenar en campos electromagnticos que funcionan como verdaderas trampas de tomos. Estos mecanismos se conocen desde hace varias dcadas y su uso ya es comn en los laboratorios de investigacin. Cuando un in atrapado est en interaccin con microondas de una frecuencia apropiada, sus electrones se ponen en una superposicin de dos posibles niveles de energa. Esto permite almacenar un qubit de informacin. La idea, entonces, es manipular esos qubits por medios externos lo ms rpidamente posible para que no se pierda la coherencia cuntica. Las trampas de iones no son la nica posibilidad de construir computadoras cunticas. Tambin es probable que se obtengan avances notables por medio de las llamadas nanoescturas, muy estudiadas ltimamente, que consisten de sistemas moleculares de unos cuantos nanmetros (millonsimas de milmetro). Qu se puede esperar de una computadora cuntica? Aunque todava no son una realidad, ya se han diseado dos algoritmos que utilizan los efectos cunticos de los qubits. Uno de estos algoritmos permite factorizar nmeros primos (lo cual tiene aplicaciones para la transmisin segura de informacin confidencial) y el otro sirve para ubicar un elemento particular en un conjunto muy grande. Como se ha mostrado tericamente, ambos algoritmos funcionaran con una rapidez incomparablemente superior a la de los algoritmos actuales.

Falta mucho todava para llegar a tener una computadora cuntica que funcione en forma estable y confiable, pero los principios fsicos estn bien establecidos. Las ventajas seran enormes, pues la velocidad y capacidad de una computadora cuntica excederan por amplio margen a cualquier computadora clsica. 12. ANEXOS 12.1 Un paso hacia la computacin cuntica (La Nacin) A principios de los aos ochenta, el fsico norteamericano Richard Feynmann lanz una propuesta provocativa: se pregunt si era posible utilizar las misteriosas leyes que rigen el zoolgico de partculas subatmicas es decir, la mecnica cuntica para realizar cmputos de manera intrnsecamente diferente de como lo hacen las computadoras actuales. La idea cautiv de inmediato a los cientficos; entre otras cosas, porque por las extraas relaciones que gobiernan ese diminuto micromundo, las capacidades potenciales de semejante dispositivo parecan prcticamente infinitas. En estos das, los fsicos argentinos Juan Pablo Paz y Csar Miquel, de la Facultad de Ciencias Exactas y Naturales de la UBA, y Marcos Saraceno, de la Comisin Nacional de Energa Atmica, publican en Nature un avance inesperado. El equipo logr escribir un programa (un algoritmo, es decir, un conjunto de instrucciones) que permite hacer eficientemente en cualquier computadora cuntica algo que los fsicos realizan casi a diario: espectroscopia (el estudio de la evolucin de un sistema en el tiempo, su espectro) y tomografa (el estudio de las propiedades del estado de un objeto). "Lo interesante de este paper es que por primera vez establece una analoga entre estas dos tareas explica Paz. El algoritmo, si se utiliza de una manera, sirve para hacer espectroscopia y, si se usa de otra, tomografa." El aporte local no es menor, si se tiene en cuenta que, aunque el tema es actualmente una de las reas calientes de la ciencia, los avances son lentos porque nadie sabe muy bien cmo se manejara semejante engendro. Slo en 1994, Peter Shor, de los laboratorios Bell AT&T, logr por primera vez escribir un programa til para una computadora cuntica, aunque no pudo utilizarlo en la prctica porque tal computadora no exista. Desde entonces apenas un par de programas ms se agregaron a la lista. Y tambin aparecieron los primeros prototipos de computadoras, pero estos tienen, todava, una capacidad limitada. El ltimo rcord fue logrado por una que logr demostrar que el nmero 15 es igual a tres por cinco. 12.2 Una teora que marea Niels Bohr, uno de los padres de la mecnica cuntica, sola decir que cualquiera que pueda reflexionar sobre la mecnica cuntica sin marearse... es porque no la entiende. Es que el macrocosmos subatmico desafa abiertamente el sentido comn. All, las partculas se comportan de forma dual, son onda y partcula a la vez, y siguen muchas trayectorias simultneamente. "Una computadora cuntica tiene propiedades misteriosas heredadas de las de la materia a escala subatmica explica Paz. A diferencia de las computadoras comunes, que realizan una secuencia de operaciones, una despus de la otra, podra en teora explorar muchos cmputos a la vez, porque se puede desdoblar en una superposicin de trayectorias computacionales."

Feynmann se pregunt para qu podra servir semejante artilugio. La primera respuesta era obvia: servira para hacer todo lo que hace una computadora comn. Pero en los ltimos aos se encontraron problemas matemticos que podran ser re sueltos de forma enormemente ms eficiente en una computadora cuntica que en una computadora ordinaria. "El ms famoso de todos es encontrar los factores primos de un nmero entero dice el cientfico. Y es famoso porque tiene mucha relevancia para la criptografa, para la codificacin de mensajes secretos." En cambio, se calcula que, por sus fabulosas propiedades, la computadora cuntica podra hacerlo en un tiempo infinitamente menor Se supone tambin que las computadoras cunticas podran tener una performance impresionante en las bsquedas en bases de datos Finalmente, otro tema que motiv a los cientficos fue la posibilidad de crear un mundo de juguete en la computadora, simularla naturaleza y poner a prueba modelos fsicos. "El problema es que manejar las partculas no es tan fcil dice Paz. Mientras las computadoras actuales manejan gigabits (mil millones de unidades de informacin o, dicho de otro modo, de ceros y unos), la mayor computadora cuntica construida hasta la fecha maneja apenas siete." Que la computacin cuntica est en la Edad de Piedra? Tal vez, pero lo cierto es que hay muchsimos grupos trabajando en estos temas y muchsimo dinero en juego. Acota Saraceno: "Alguien dijo que en este momento pedir fondos para desarrollar la computacin cuntica es algo similar a cuando Coln les pidi plata a los reyes de Espaa para ir a las Indias. Nunca lleg, pero en el camino encontr algo infinitamente ms interesante. La bsqueda de algo que funcione como una computadora cuntica conducir a una cantidad de otras cosas que no tienen nada que ver con la computacin, pero que van a crear revoluciones tecnolgicas muchsimo mayores". 12.3 Receta para dominar tomos Miquel, Paz y Saraceno emplearon y perfeccionaron un conjunto de tcnicas que permiten manipular el spin de los tomos (el momento magntico, algo as como un diminuto imn), tal como si estuvieran trabajando con unos y ceros, en forma similar a lo que ocurre en las computadoras corrientes. "Si el imn apunta para arriba, es un cero; si apunta para abajo, es un uno explica muy grficamente Juan Pablo Paz. Nosotros los manipulamos con una tcnica que se conoce con el nombre de resonancia magntica nuclear que es la misma que se utiliza para obtener imgenes mdicas." Segn el investigador, la computadora cuntica sobre la que trabajaron consiste en un tubo de ensayo con una solucin de tricloroetileno. Se lo ubica dentro de un termo con helio lquido y todo eso se coloca dentro de un campo magntico nada menos que 200.000 veces ms potente que el terrestre. "El aparato de resonancia magntica nuclear detecta las frecuencias de la oscilacin del spin. Pero como estos objetos son cunticos, pueden estar en varios estados a la vez ilustra el cientfico. Y agrega: Nuestro programa disea una secuencia de operaciones para que la computadora evolucione de una u otra manera. Igual que los ingenieros de las computadoras actuales, prendemos y apagamos pulsos, slo que aqu lo que se hace es prender y apagar campos magnticos." "El resultado es una corriente que se mide en una bobina, y cuyas variaciones se pueden analizar para llegar al cmputo final". 13. CONCLUSIONES

Conforme la miniaturizacin de los componentes de la computadora contine, llegar el momento en que los fenmenos que estudia la fsica cuntica tengan que ser tomados en cuenta en la construccin de nuevas computadoras. En este sentido, la miniaturizacin en base a los componentes actuales tiene un lmite definido por la aparicin de estos fenmenos. Una alternativa para este problema es el aprovechamiento de la interferencia cuntica para construir un nuevo tipo de computadora: el computador cuntico, que haga uso de nuevos algoritmos y nuevos tipos de "hardware". El trabajo terico permite suponer que es posible construir este tipo de computador, y de hecho ya se han inventado los primeros algoritmos. Sin embargo, aunque se han hecho experimentos alentadores utilizando electrones y molculas; el fenmeno de la "decoherencia" no ha podido ser resuelto satisfactoriamente por lo que la realizacin prctica de la nueva computadora resulta an un tanto incierta, aunque algunos cientficos piensan que antes de 10 aos se podr contar con el primer procesador cuntico. Las computadoras actuales estn llegando al lmite de la miniaturizacin y la frecuencia de pulsaciones de los relojes de cuarzo, pronto no podrn ser ms rpidos. La computacin cuntica es una gran promesa que podra permitirnos seguir construyendo computadoras ms veloces. La arquitectura cuntica es muy similar a las arquitecturas actuales, sin embargo la computacin cuntica introduce elementos arquitecturales cunticos que obedecen a los fenmenos causados por la interaccin cuntica como la correccin de errores. El avance de la computacin cuntica esta limitada por sus principales ventajas. Con lo referente a la superposicin cuntica, que permite el paralelismo masivo y mantener una gran cantidad de mltiples estados en un mismo instante, el mayor inconveniente esta en la imposibilidad de leer toda esa informacin sin desestabilizar el sistema. Desde el punto de vista del hardware, en la parte fsica la meta es lograr disear dispositivos en slidos, y no en gases como se da en la mayora de los experimentos actualmente. En la parte lgica mantener la coherencia en un dispositivo cuntico es un desafo, principalmente debido a la gran cantidad de informacin adjunta que se necesita para garantizar la ausencia de errores, por lo que es necesario el desarrollo de mejores mecanismos de correccin de errores. Prevenir la incoherencia y preservar los frgiles estados cunticos. Esto es fcil en pequeos sistemas pero ms complejo en grandes sistemas cunticos. En el futuro, se espera que las computadoras cunticas, estn completamente desarrolladas aproximadamente el 2020. Sin embargo, la computacin cuntica, ya esta siendo aplicada, es as que "Magiq" es la primera empresa que lanzar al mercado, el 2003, tecnologa de encriptacin cuntica. Otro sistema de encriptacin cuntica es el desarrollado por Prem Kumar y Horace Yuen, profesores de la universidad "Northwestern", capaz de codificar flujos de datos y enviarlos velocidades de las troncales de Internet.