El problema de Simon*

Jos Mar Garc Rubira e a a 9 de julio de 2007

Todo el mundo ha o hablar alguna vez del criptosistema de clave pblido u ca RSA. Su fuerza reside en la dicultad de factorizar nmeros grandes con u los ordenadores de hoy d Sin embargo la prxima llegada de los ordea. o nadores cunticos ha puesto en peligro la seguridad del RSA. a De hecho, se puede considerar que todos los ordenadores actuales son, en realidad, cunticos; el funcionamiento de los chips se basa en las propiedades a cunticas de la materia. Sin embargo, su diseo sigue los conceptos clsicos a n a formulados por Turing y Von Neumann. El trmino ordenador cuntico e a hace referencia a aquel ordenador que utiliza como unidad de computacin o los estados cunticos, el ms comn de los cuales es el quantum bit o a a u qubit. Los clsicos bits de informacin pueden tomar el valor 0 o 1; un a o qubit almacena la informacin en el estado de un tomo. Las propiedades o a del tomo posibilitan que este no tenga porque ser 0 o 1, sino que puede a ser una mezcla de los dos a la vez (este hecho est relacionado con la intera pretacin de Copenhague del principio de incertidumbre de Heisenberg y la o paradoja del gato de Schrdinger). De este modo se puede tratar la informao cin de una sola vez. o La clave de los ordenadores cunticos se basa en el hecho de que la utia lizacin de los estados cunticos permitir adems de simular cualquier o a a, a ordenador clsico, la utilizacin de nuevos algoritmos de gran potencia; es a o decir, la capacidad de resolver problemas que necesitan un elevado nmero u de clculos en un tiempo muy pequeo. a n
Comentario sobre la charla de ALAIN VERSCHOREN Cdigos pblicos y ordeo u nadores cunticos impartida en el Seminario de Algebra de la Universidad de Almea ria, el 18 de junio de 2007. Publicado en el blog de UALMAT el 9 de julio de 2007, http://ualmat.wordpress.com.
*

Uno de los primeros algoritmos cunticos en desarrollarse fue el algoritmo a de Shor, que es capaz de descomponer un nmero N en tiempo O((log N )3 ). u El algoritmo que se explic en la conferencia est relacionado con el llamado o a problema de Simon. El algor tmo de Simon es un algoritmo cantico probau bil stico que resuelve el problema de la determinacin del per o odo de una n m funcin peridica f : {0, 1} {0, 1} (el problema de la factorizacin se o o o puede reducir a este ultimo) mediante la evaluacin de f un nmero de veces o u de orden n (clsicamente, es necesario evaluar la funcin un nmero de veces a o u exponencial en n). La implicacin de estas tcnicas tericas es la vulnerabilidad de la inforo e o macin protegida en la actualidad por mtodos tipo RSA desde el d en o e a que se encienda el primer ordenador cuntico. Afortunadamente, el uso de a ordenadores cunticos permitir tambin el uso de sistemas de proteccin a a e o prcticamente infalibles: la criptograf cuntica. Pero esa es otra historia. a a a Ms informacin: a o 1. Quantum Computation and Quantum Information, Michael A. Nielsen y Isaac L. Chuang, Cambridge University Press, 2004 2. Los cdigos secretos: el arte y la ciencia de la criptograf o a, desde el antiguo Egipto a la era Internet, Simon Singh, Editorial Debate, 2000 3. http://www.qubit.org/ 4. http://www.rsa.com/rsalabs/node.asp?id=2353 5. http://www.wikipedia.org