Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cuántica
Su verdadero poder de
cómputo y limitaciones
Andrés Abeliuk
Dado que los qubits se representan como un vector de dos dimensiones de números
complejos que a su vez representan las probabilidades, podemos naturalmente pensar en la
posibilidad de una transformada de Fourier cuántica (TFQ), análoga de la transformada de
Fourier clásica; herramienta matemática usada en la ingeniería para diversas aplicaciones
(por ejemplo, para encontrar el período de una función). Actualmente el mejor algoritmo
clásico para computar la transformada toma un tiempo del orden de NlogN para un input de
tamaño N, mientras que la transformada cuántica, que basa su implementación en el
conocimiento de las amplitudes de estado, toma Log2N. Si N es de la forma N=2n, los valores
respectivamente son n2n y n2, evidenciándose una ganancia de tiempo exponencial. Eso
aclara que cualquier algoritmo que use como subrutina la transformada será
considerablemente más rápido en un computador cuántico, por lo que una de las clases
fundamentales de algoritmos cuánticos son los basados en la TFQ.
Dentro de estos algoritmos ya existen varios conocidos. Uno
que destaca por ser de los primeros creados es el algoritmo El orden de x mod N es el menor
de Shor (ideado por Peter Shor), para el milenario problema positivo r tal que xr mod N = 1
de „factorizar‟ números en sus factores primos, que hasta hoy El algoritmo para encontrar el orden
no se sabe cómo resolver de manera eficiente en un de X mod N consiste en encontrar
computador tradicional (razón por la cual se ocupa en los el período de la función:
sistemas de seguridad criptográficos). El algoritmo se basa en f ( x) x y (mod N )
un teorema clásico que dice que el problema de „factorizar‟ Es decir el mínimo r talque:
puede ser reducido al de encontrar el "orden" de un número f ( x) f ( x r )
(bosquejado en la figura 3), donde la reducción es realizada
x y x y r (mod N )
en tiempo esperado polinomial usando aleatoriedad. Lo
anterior es cierto para la computación clásica, sin embargo, el 1 x r mod N
problema de encontrar el "orden" de un número es difícil en el Por lo tanto r corresponde al orden
modelo clásico pero no así en el modelo cuántico. De hecho, de X.
Nótese que todos los problemas que se sabe cómo resolver eficientemente en el mundo
cuántico pero no en el tradicional (e.g. factorizar, encontrar el orden o el logaritmo discreto)
pertenecen a la clase NP, pero no se sabe si son "completos" para esa clase. En particular,
es posible que todos ellos pudieran ser resueltos por una MT determinista en tiempo
polinomial. De hecho, esto es precisamente lo que los expertos creen actualmente: Que
todos los problemas que pueden ser resueltos eficientemente por un computador cuántico
también pueden ser resueltos eficientemente por uno tradicional (aunque probablemente los
algoritmos cuánticos en este caso sean más sencillos). Contrariamente, se cree que hay
problemas que son NP-completos y que no pueden ser resueltos en tiempo polinomial por
una MT determinista (esto corresponde a la conjetura de si la clase P, es decir la clase de los
problemas que pueden ser resueltos en tiempo polinomial por una MT determinista, es
diferente de NP, la que es una de las 7 conjeturas más importantes de la matemática). En
conclusión, la respuesta a la pregunta de si los computadores cuánticos entregan mayor
poder a los computadores tradicionales, al menos en términos de eficiencia, es solo
parcialmente positiva: Conocemos problemas que pueden ser resueltos eficientemente en el
modelo cuántico para los cuales no se sabe si pueden ser también resueltos eficientemente
en el modelo tradicional.
Por último, es alentador saber que ya se han creado varios prototipos reales de
computadores cuánticos que trabajan con una cantidad pequeña de qubits. Es más, hace
unos años ¡se logró factorizar el número 15 en sus factores primos con ayuda de la
computación cuántica! De a poco se han creado computadores con mayor cantidad de
qubits, ya se habla de 28 e inclusive existe una compañía comercial, "D-Wave Systems, Inc.”,
que creó un computador cuántico capaz de resolver un sudoku. Parece ser cosa de tiempo
entonces hasta que la tecnología y el conocimiento nos permitan manipular computadores
cuánticos de capacidades aceptables. Es de esperar que los próximos años estén
gobernados por la nueva ley de Moore Cuántica que prediga el crecimiento de los qubits por
computador.
Bibliografía sugerida:
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a
Quantum Computer. Peter W. Shor (AT&T Research)
- COMPUTATIONAL COMPLEXITY A Modern Approach ,SANJEEV ARORA
Princeton
University, BOAZ BARAK. Princeton University
- Curso EE 520: Introduction to Quantum Information Processing, Todd A. Brun,
Communication Sciences Institute, University of Southern California
- Quantum Complexity Theory, Ethan Bernstein and Umesh Vazirani, Proceedings of
Symposium on the Theory of Computing, 1993. Special issue on Quantum Computation of the Siam
Journal of Computing, Oct. 1997.