Grupo de investigaci on en Computaci on Cu antica

Jes us Garc a-L opez1

Resumen La Teor a de la Informaci on y la Computaci on Cu antica son areas nuevas de investigaci on que prometen un importante avance en computaci on y dispositivos de tratamiento de la informaci on. La representaci on f sicocu antica de la informaci on ha permitido denir un nuevo modelo de computaci on que generaliza las m aquinas de Turing tanto deterministas como probabil sticas. La demanda permanentemente creciente de potencia de c alculo en todos los ambitos sociales ha originado la investigaci on de dispositivos microelectr onicos cada vez m as peque nos, alcanzando eventualmente el l mite cu antico. Areas nuevas como la nanotecnolog a est an alcanzando el punto en el que el control de dispositivos cu anticos se convierte en una necesidad. La Informaci on y Computaci on Cu antica no s olo facilitar a la transici on hacia estos dispositivos cu anticos sino que proporciona formas radicalmente nuevas de representar y procesar la informaci on que podr an resolver problemas cl asicamente intratables. En este art culo, adem as de presentar algunas ideas sobre el estado actual del arte en Computaci on Cu antica, se pretende dar a conocer el GQC (Group of Quantum Computation), con el objetivo de divulgar sus inquietudes y contactar con otros grupos de investigaci on en temas anes. El grupo, formado hace poco m as de un a no, tiene experiencia en campos anes como mec anica cu antica, teor a de la computaci on y simulaci on en ordenadores. Tambi en ha promovido actividades divulgativas (seminarios, cursos, material did actico, etc.) sobre Informaci on y Computaci on Cu antica. Su principal objetivo es la formaci on de los integrantes del grupo en este area y est a especialmente interesado en c odigos cu anticos y en la simulaci on del comportamiento de dispositivos reales en presencia de diferentes fuentes de ruido, areas en las que el grupo conf a aportar alg un resultado relevante. Adem as de estos objetivos se han planicado otros, m as exploratorios, como el control de estados cu anticos usando mi1 Dpto. Matem atica Aplicada. E.U. Inform atica. U. Polit ecnica Madrid. E-mail: jglopez@eui.upm.es

croscop a de campo cercano o el estudio de algoritmos cu anticos.

1.

Introducci on

La teor a de la informaci on y la computaci on cu antica tienen como objetivo el estudio del tratamiento de la informaci on mediante sistemas cu anticos. Si no ha surgido antes esta idea, tan simple y a la vez tan profunda, es porque en este tema concurren muchos campos cient cos: mec anica cu antica, computaci on, teor a de la informaci on y criptograf a. Uno de los primeros resultados de la teor a cu antica de la informaci on, descubierto a principios de los ochenta, es la imposibilidad de copiar estados cu anticos (no-cloning theorem). Es una propiedad que no tiene precedente en la teor a cl asica de la informaci on. Surgi o al estudiar el uso de efectos cu anticos para transmitir se nales a mayor velocidad que la de la luz y ha contribuido a entender mejor algunos aspectos de la mec anica cu antica. La clave para el desarrollo de la teor a cu antica de la informaci on est a en las t ecnicas, desarrolladas a partir de los a nos setenta, para controlar sistemas cu anticos simples. Se consiguieron estudiar con gran precisi on atomos aislados, connados en trampas at omicas. Con el microscopio de efecto t unel se construyeron redes dise nadas a priori, colocando los atomos uno a uno. Se construyeron microscopios electr onicos que operaban con electrones individuales, etc etera. El objetivo de toda esta investigaci on, aparte de las aplicaciones tecnol ogicas, fue estudiar las leyes de la f sica en unas condiciones nunca controladas hasta ese momento. La teor a de la informaci on y la computaci on cu antica, si aspiran a convertirse en ciencias aplicadas, deben involucrarse plenamente en la consecuci on de esos objetivos. El resultado de las in-

vestigaciones en dispositivos en este campo, hasta la fecha, ha sido modesto. Peque nos ordenadores cu anticos capaces de realizar unas decenas de operaciones sobre unos pocos qubits (unidades de informaci on cu antica) y prototipos experimentales de criptograf a cu antica que podr an aplicarse incluso en aplicaciones reales. Sin embargo, es preciso desarrollar nuevas t ecnicas que permitan hacer realidad los sistemas de informaci on cu antica y de computaci on cu antica a gran escala. Los fundamentos de la computaci on moderna fueron establecidos por A. M. Turing en 1936, en su famoso art culo On computable numbers, with an application to the Entscheidungsproblem (Proc. London Math. Soc. 2, 42:230, 1936). Introdujo una denici on matem atica de ordenador programable, conocido ahora como m aquina de Turing. Demostr o la existencia de una m aquina de Turing universal, capaz de simular cualquier m aquina de Turing, y conjetur o que cualquier tarea que se pueda llevar a cabo sobre un dispositivo (por ejemplo un ordenador moderno) tambi en puede realizarse con una m aquina de Turing. Este resultado, conocido como tesis de Church-Turing, estableci o la base para el espectacular desarrollo de la computaci on. Poco despu es se construyeron los primeros ordenadores electr onicos. John von Neumann desarroll o un modelo te orico que reun a todos los elementos necesarios para poder construir un ordenador tan potente como una M aquina de Turing Universal. El hardware se desarroll o r apidamente a partir del descubrimiento del transistor en 1947, desarrollado por John Bardeen, Walter Brattain y Will Shockley. Desde entonces la potencia de los ordenadores ha crecido sin cesar, hasta tal punto que Gordon Moore en 1965 modeliz o este crecimiento con la conocida ley de Moore que originalmente establec a que la potencia de los ordenadores se duplica cada dos a nos, intervalo que posteriormente tuvo que reducirse a 18 meses. La ley de Moore se ha cumplido aproximadamente desde 1960. Sin embargo muchos investigadores esperan que esto no sea as en las primeras d ecadas del siglo XXI. Los efectos cu anticos empiezan a dicultar el funcionamiento de los dispositivos electr onicos a medida que se miniaturizan. Una posible soluci on al eventual fallo de la ley de Moore consiste en modicar el modelo de computaci on y una alternativa posible es el modelo cu antico de computaci on. 2

El elevado coste computacional del c alculo de la evoluci on de sistemas cu anticos en ordenadores cl asicos hizo pensar a Benio y Feynman que la evoluci on de estos sistemas se podr a considerar como una herramienta de c alculo m as que como un objeto a calcular. Con este planteamiento la ganancia de velocidad, debido al denominado paralelismo cu antico, es tan importante que muchos investigadores creen que el modelo cu antico de computaci on es m as potente que el modelo cl asico. Esto contradice la versi on fuerte de la tesis de Church-Turing que asegura que cualquier proceso algor tmico se puede simular ecientemente en una m aquina de Turing. La idea de superar en eciencia al modelo de computaci on cl asico no es nueva. Muchos equipos de investigaci on hicieron notar que ciertos tipos de computaci on anal ogica pueden resolver ecientemente problemas que no tienen soluci on eciente en una m aquina de Turing. Desgraciadamente para la computaci on, consideraciones realistas sobre la presencia de ruido en los ordenadores anal ogicos hicieron inviable este modelo. Por este motivo, uno de los primeros desaf os de la teor a cu antica de la informaci on y de la computaci on cu antica fue desarrollar las teor as de c odigos correctores cu anticos y de computaci on cu antica tolerante a fallos. A diferencia de lo que ocurri o con la computaci on anal ogica, la computaci on cu antica puede asumir una cantidad nita de ruido manteniendo sus ventajas sobre el modelo cl asico. El mayor reto a la tesis fuerte de ChurchTuring apareci o en los a nos setenta cuando Robert Solovay y Volker Strassen demostraron que era posible determinar si un n umero es primo o compuesto usando un algoritmo aleatorizado. Si el algoritmo determina que el n umero es compuesto el resultado es correcto pero si determina que el n umero es primo el resultado es probablemente correcto, con una probabilidad p independiente del n umero. Aplicando el algoritmo varias veces al mismo n umero se puede conseguir que la probabilidad de que el resultado sea correcto sea tan grande como se desee. Adem as, no se conoce ning un algoritmo determinista para resolver ecientemente este problema. Este ejemplo sugiere que existen problemas que se pueden resolver ecientemente con algoritmos aleatorizados y no se pueden resolver ecientemente con m aquinas de Turing deterministas.

A la vista de estos hechos se ha generalizado el modelo cl asico de computaci on, sustituyendo la m aquina de Turing por una m aquina de Turing probabil stica. En este modelo la tesis de ChurchTuring dice que cualquier proceso algor tmico se puede simular ecientemente en una m aquina de Turing probabil stica. Motivado por estas cuestiones, David Deutsch propuso en 1985 utilizar las leyes de la f sica para obtener versiones todav a m as fuertes de la tesis de Church-Turing. En concreto intent o denir un ordenador que fuera capaz de simular ecientemente un sistema f sico arbitrario. Esta idea ha conducido a la concepci on actual de ordenador cu antico. En la d ecada de los noventa muchos investigadores desarrollaron las ideas de Benio, Feynman y Deutsch, culminando en 1994 con la demostraci on de Peter Shor de que la factorizaci on de n umeros enteros y el c alculo de logaritmos discretos se pueden resolver en tiempo polinomial en un ordenador cu antico. Este resultado es enormemente importante pues supone una ganancia de eciencia exponencial respecto a los mejores algoritmos cl asicos conocidos y parece indicar que la computaci on cu antica es m as potente que las m aquinas de Turing, incluso m as que las m aquinas de Turing probabil sticas. Se encontraron m as evidencias de la potencia de la computaci on cu antica en 1995, a no en el que Lov Grover prob o que la localizaci on en espacios de b usqueda no dirigida se puede acelerar en un ordenador cu antico. Aunque este resultado no supone una ganancia tan espectacular como la de los algoritmos de Shor atrajo la atenci on de muchos investigadores por las aplicaciones que tiene y por que establece una diferencia clara con el mejor algoritmo cl asico posible. Exceptuando problemas ad hoc no se conocen m as problemas, aparte de los citados anteriormente y sus aplicaciones, que se puedan resolver m as ecientemente en computaci on cu antica que en computaci on cl asica. Preguntas como qu e es lo que hace que los ordenadores cu anticos sean m as potentes que los cl asicos? y qu e relaci on existe entre los conjuntos de problemas que se pueden resolver ecientemente en computaci on cu antica y en computaci on cl asica respectivamente? son un gran desaf o para el futuro. Los fundamentos de la teor a de la informaci on y la comunicaci on fueron establecidos por Claude Shannon en 1948. Deni o matem aticamente el con3

cepto de informaci on, estableci o los requisitos de un canal de comunicaci on sin ruido (noiseless channel coding theorem) y obtuvo una cota de la cantidad de informaci on que se puede trasmitir a trav es de un canal de comunicaci on con ruido (noisy channel coding theorem). Demostr o que para poder comunicarse a trav es de canales con ruido es preciso utilizar c odigos correctores, que se desarrollaron posteriormente. Los fundamentos de la teor a cu antica de la informaci on se han establecido de forma similar. En 1995 Ben Schumacher deni o la unidad de informaci on cu antica, el qubit, y demostr o un teorema an alogo al teorema de canales de comunicaci on sin ruido de Shannon. Aunque en la teor a cu antica de la informaci on no existe un teorema equivalente al teorema de canales de comunicaci on con ruido de Shannon, s se ha desarrollado la teor a de c odigos correctores cu anticos. En 1996 Robert Calderbank y Peter Shor e independientemente Andrew Steane descubrieron una importante tipo de c odigos cu anticos, ahora conocidos como c odigos CSS. Pertenecen a una clase m as general de c odigos, c odigos estabilizadores, descubiertos independientemente por Robert Calderbank, Eric Rains, Peter Shor y Neil Sloane y por Daniel Gottesman. La comunicaci on a trav es de canales cu anticos tiene propiedades importantes. Por ejemplo, la cantidad de informaci on que necesitan intercambiar dos ordenadores que est an resolviendo un problema concreto es exponencialmente m as peque na para ordenadores cu anticos que para ordenadores cl asicos. Y, si se utiliza un canal cu antico para transmitir informaci on cl asica, el cociente entre la cantidad de informaci on cl asica trasmitida (informaci on virtual) y la cantidad de informaci on cu antica trasmitida (informaci on real) es 2. Esto se consigue mediante la denominada codicaci on superdensa. La imposibilidad de copiar estados cu anticos (no-cloning theorem) permite denir sistemas criptogr acos cu anticos cuyas primeras ideas fueron propuestas por Stephen Wiesner a nales de la d ecada de los sesenta. Desgraciadamente su trabajo no se public o hasta 1983 (Conjugate Coding, Sigact News, 15, 1, 78-88, (1983)). En 1984 Charles Bennett y Gilles Brassard, bas andose en el trabajo de Wiesner propusieron un protocolo cu antico de distribuci on de claves.

Los sistemas criptogr acos de clave p ublica se empezaron a desarrollar a mediados de la d ecada de los setenta, revolucionando la criptograf a. Fueron propuestos independientemente por Whiteld Die y Martin Hellman y por Ralph Merkle. Poco m as tarde Ronald Rivest, Adi Shamir y Leonard Adleman desarrollaron el sistema criptogr aco RSA que en la actualidad es uno de los m as extendidos. La seguridad de este sistema, basada en la imposibilidad pr actica de factorizar n umeros enteros grandes, se ha esfumado (de momento s olo te oricamente) por la existencia del algoritmo de factorizaci on de Shor. Lo mismo ha ocurrido con otros sistemas criptogr acos cuya seguridad se fundamentaba en la imposibilidad pr actica de calcular logaritmos discretos. El hecho de que los algoritmos de Shor hayan roto algunos sistemas criptogr acos, en particular el sistema RSA, ha suscitado un enorme inter es por la teor a cu antica de la informaci on y por la computaci on cu antica.

vestigaci on en este campo y nos decidimos a formar un grupo. La computaci on cu antica es una area en la que convergen muchas disciplinas por lo que era necesario introducir en el grupo personas de otras areas, especialmente de f sica. Con este objetivo establecimos contacto con un profesor de la Facultad de Inform atica que daba un curso de doctorado sobre este tema que nalmente se integr o en nuestro grupo. Adem as, por mediaci on de esta persona, se incorpor o a nuestro grupo un investigador titular del CSIC. Para consolidar denitivamente el grupo programamos una secci on de computaci on cu antica en el IV Seminario de Matem atica Discreta, organizado por la Escuela Universitaria de Inform atica y la Facultad de Inform atica de la U. Polit ecnica de Madrid en el a no 2002. En esta secci on del seminario abordamos los siguientes temas: Introducci on a la Computaci on Cu antica. Algoritmo polin omico de factorizaci on de Shor. Algoritmos cu anticos de b usqueda. El problema del subgrupo escondido. Criptograf a cu antica. Correcci on cu antica de errores. Implementaci on de ordenadores cu anticos.

2.

Grupo de investigaci on en Computaci on Cu antica

El grupo de investigaci on GQC (Group of Quantum Computation), creado hace poco m as de un a no, est a interesado en una disciplina nueva que, aunque se origin o a principios de la d ecada de los ochenta, se ha desarrollado fundamentalmente en los ocho u ltimos a nos, a partir del descubrimiento de Shor en 1994 [18]. Fue precisamente este trabajo, en el que P. W. Shor obtiene un algoritmo polinomial para factorizar n umeros enteros en un ordenador cu antico, el que atrajo nuestra atenci on sobre la computaci on cu antica. El primer paso para introducirnos en la computaci on cu antica consisti o en impartir una conferencia en el III Seminario de Matem atica Discreta, organizado por la Escuela Universitaria de Inform atica y la Facultad de Inform atica de la U. Polit ecnica de Madrid en el a no 2001. En la preparaci on de esta conferencia pudimos comprobar que muchos de los problemas de computaci on cu antica se pueden abordar con t ecnicas matem aticas que van desde la computaci on cl asica a la matem atica discreta. Por este motivo pensamos que hab a posibilidades de obtener resultados de in4

Actualmente el grupo est a integrado por nueve personas, ha solicitado un Proyecto de Investigaci on Cient ca y Desarrollo Tecnol ogico en la convocatoria del MCYT del a no 2002 y est a desarrollando sus primeros trabajos de investigaci on. Toda la informaci on acerca del grupo se encuentra en la p agina http://www.dma.eui.upm.es/CompCuant/ y la relaci on de sus miembros es la siguiente: Coordinadores: Jes us Garc a L opez de Lacalle (EU I U P M ) Vicente Mart n Ayuso (F I U P M ) Investigadores: Gregoria Blanco Viejo (EU I U P M ) Jos e Juan Carre no Carre no (EU I U P M ) Jos e Angel Mart n Gago (ICM M CSIC ) Alfonsa Garc a L opez (EU I U P M ) Francisco Garc a Mazar o (EU I U P M ) M. Angeles Mart nez S anchez (EU I U P M ) Julio Seti en Villar an (F I U P M )

Los objetivos inmediatos del grupo se centran en el estudio de protocolos de criptograf a cu antica, c odigos cu anticos y algoritmos cu anticos. En el primero de los puntos estamos analizando la seguridad de los protocolos criptogr acos ante ataques con entrelazamiento de qubits y, en el segundo, estamos desarrollando modelos de distribuci on del error para determinar la ecacia de los c odigos correctores y de la computaci on tolerante a fallos. Tambi en tenemos previsto abordar algunos problemas algor tmicos como la obtenci on de circuitos cu anticos para permutaciones y el estudio de algoritmos polinomiales de factorizaci on con la estrategia de b usqueda de Grover [14]. Desde el punto de vista f sico estamos analizando la posibilidad de controlar estados cu anticos con t ecnicas de microscop a tunel. En la secci on siguiente se enumeran los principales grupos de la red europea de excelencia Quantum Information Processing and Communication y algunas de las actividades llevadas a cabo en nuestro pa s. Finalmente se han incluido en las referencias los trabajos y las recopilaciones m as importantes sobre el tema.

Enabling Technologies for Quantum Information Systems (IST-1999-11594). Magnetic Systems as candidates for Quantum Computing Hardware (IST-1999-29110). Quantum computation: novel algorithms and their many body implementation (IST-199910596). Quantum Algorithms and Information Processing (IST-1999-11234). Study for the construction of a Quantum Information Processing Device using Doped Fullerenes (IST-1999-11617). Quantum Images (IST-2000-26019). Quantum Information Processing and transfer with with Single Atoms and Phonons (IST1999-13021). Long Distance Photonic Quantum Communication (IST-1999-10033). Quantum information with continuous variables (IST-1999-13071). Solid State Sources for Single Photons (IST1999-10243). Single electron source generating individual photons for secure optical communication (IST-2000-26020). Semiconductor-Based Implementation of Quantum Information Devices (IST-199911311). Superconducting Qubits: Quantum Computing with Josephson Junctions (IST-199910673). El programa FET-IST sigue vigente y en estos momentos est a abierta su segunda convocatoria de proyectos. Respecto a la participaci on espa nola en la Universidad de Barcelona hay un grupo consolidado que desarrolla uno de los proyectos europeos mencionados anteriormente: Magnetic Systems as candidates for Quantum Computing Hardware (MAGQIP, IST-1999-29110, ver http://sophia.ecm.ub.es/qi-bcn/). 5

3.

Grupos europeos de investigaci on en Computaci on Cu antica

Los proyectos europeos m as importantes en teor a cu antica de la informaci on y computaci on cu antica constituyen la red QIPC (Quantum Information Processing and Communication, ver http://www.cordis.lu/ist/fetgipc.htm, IST-1999-29064). Se trata de una red de excelencia (Networks of Excellence) del programa FET-IST (Future and Emerging Technologies - Information Society Technologies), amparado por el V Programa Marco de la Uni on Europea, que agrupa a 33 universidades y centros tecnol ogicos y en el que se est an desarrollando los siguientes proyectos: Atomics Chips For Quantum Information Research (IST-1999-11055). Active Teleportation and Entangled State Information Technology (IST-2000-29681). Entanglement in Quantum Information Processing and Communication (IST-1999-11053).

En Espa na, adem as del grupo de la Universidad de Barcelona, hay otros investigadores que trabajan y publican art culos en teor a de la informaci on y la computaci on cu antica y otras universidades que organizan eventos sobre este tema, por ejemplo: En la Universidad de Santiago de Compostela se imparten cursos sobre Informaci on Cu antica (ver http://wwwfp.usc.es/theory/escuela01/).

[7] A. R. Calderbank, E. M. Rains, P. W. Shor and N. J. Sloane. Quantum error correction and orthogonal geometry. Phys. Rev. Lett., 78, 405-408, (1997). [8] A. R. Calderbank and P. W. Shor. Good quantum error-correcting codes exist. Phys. Rev. A, 54, 1098-1105, (1996). [9] I. L. Chuang and Y. Yamamoto. Simple quantum computer. Phys. Rev. A, 52, 3489-3496, (1995).

En la Universidad de Oviedo se celebra [10] J. I. Cirac and P. Zoller. Quantum computala International Conference on Quantum tion with cold trapped ions. Phys. Rev. Lett., Information: Conceptual Foundations, Devel74, 4091, (1995). opments ans Perspectives (ver http://www. unioni.es/Congresos/2001/QI/Welcome.html). [11] D. G. Cory, A. F. Fahmy and T. F. Havel. Ensemble quantum computing by NMR spectoscopy. Proc .Nat. Acad. Sci. USA, 94, 1634Referencias 1639, (1997). [1] D. Aharonov. Quantum Computation. Los [12] D. Deutsch and R. Jozsa. Rapid solution of Alamos Physics Preprint Archive http://xxx. problems by quantum computation. Proc. Roy. lanl.gov/abs/quant-ph/9812037. (1998). Soc. London A, 439, 553-558, (1992). [2] A. Barenco, T. A. Brun, R. Schak and T. P. [13] A. Galindo and M. A. Mart n-Delgado. Spiller. Eects of noise on quantum error corInformation and Computation: Classical and rection algorithms. Phys. Rev. A, 56, 1177Quantum Aspects. Reviews of Modern Physics 1188, (1997). (to appear). Los Alamos Physics Preprint Archive http://xxx.lanl.gov/abs/quant[3] C. H. Bennett and G. Brassard. Quantum ph/0112105, (2001). cryptography: Public key distribution and coin tossing. Proccedings of IEEE International [14] L K. Grover. Quantum mechanics helps in Conference on Computers, Systems and Signal searching for a needle in a haytack. Phys. Rev. Processing, 175-179, IEEE, New York, 1984. Lett., 79, 325-328, (1997). [4] C. H. Bennett, G. Brassard, C. Cr epeau, R. [15] A. Yu Kitaev. Quantum error correction with Jozsa, A. Peres and W. K. Wootters. Teleimperfect gates. Quantum Communication, porting an unknown quantum state via duComputing and Measurement, (eds.) Hirota, al classical and Einstein-Podolsky-Rosen chanHolevo and Caves, 181-188, Plenum Press, nels. Phys. Rev. Lett., 70, 1895-1898, (1993). New York, 1997. [5] E. Bernstein and U. Vazirani. Quantum complexity theory. SIAM J. Comp., 26, 5, 14111473, (1997). [16] M. A. Nielsen and L. I. Chuang. Quantum Computation and Quantum Information. Cambridge University Press. 2000.

[6] A. Cabello. Bibliographic guide to the foun- [17] E. Rieel and W. Polak. An Introduction to dations of quantum mechanics and quantum Quantum Computing for Non-Physicists. information. Los Alamos Physics Preprint Los Alamos Physics Preprint Archive Archive http://xxx.lanl.gov/abs/quanthttp://xxx.lanl.gov/abs/quant-ph/9809016. ph/0012089, (2001). (2000). 6

[18] P. W. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comp., 26, 5, 1484-1509, (1997). [19] P. W. Shor. Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A, 52, 2493-2496, (1995). [20] D. Simon. On the power of quantum computation. SIAM J. Comp., 26, 5, 1474-1483, (1997). [21] A. Steane. Quantum computing. Los Alamos Physics Preprint Archive http://xxx.lanl. gov/abs/quant-ph/9708022. (1997). [22] A. M. Steane. Error correcting codes in quantum theory. Phys. Rev. Lett., 77, 793-797, (1996).