2016

COMPUTACION CUNTICA

LUIS ENRIQUE HUERTA LAURA

PROGRAMACION DE BAJO NIVEL
2-5-2016

COMPUTACION CUNTICA

1.

DEFINICION
La computacin cuntica es un paradigma de computacin distinto al de la computacin
clsica. Se basa en el uso de qbits en lugar de bits, y da lugar a nuevas puertas lgicas que
hacen posibles nuevos algoritmos.

2.- TEORIA CUANTICA DE LA COMPUTACION

Para empezar este captulo, y para poder continuar ms adelante, es necesario
comentar brevemente las puertas cunticas (Quantum Gates). Se trata, ni ms ni menos
de los anlogos qunticos a las puertas lgicas. Por lo tanto, son las encargadas de
modificar qubits, individualmente o secuencias de ellos. Existen infinitas puertas
cunticas, algunos ejemplos: (Nomenclatura =|estado final> . La Operacin AND es otro
caso peculiar puesto que involucra a 3 qubits en lo que a la prctica es una ControlledControlled-Not: Se invierte el estado del tercer qubit slo (y slo si) los 2 primeros se
encuentran en |1>. En general, se podr emular el efecto de cualquier puerta cuntica
mediante la combinacin de rotaciones de un solo qubit y puertas CNOT. Ahora ya
tenemos suficiente comprender el propsito final de la teora, la computadora cuntica
(QC). Los requisitos que debe cumplir una QC (6) (10) son: - Cada qubit debe poder ser
preparado en un estado conocido - Cada qubit debe poder ser medido en la base de los
estados |0> y |1> - Se deben poder aplicar cualquier combinacin de puertas cunticas
a discrecin a un conjunto de qubits - Los qubits no evolucionarn de cualquier forma
no controlada. A diferencia de la computacin clsica, un usuario no podr saber en qu
momento la QC ha terminado un proceso. Por lo tanto, se disearn procesos que
consistan en un nmero previamente conocido de pasos o se destinar un qubit no
involucrado en la computacin para que sealice que la QC ha terminado de procesar

3.- COMPUTADORAS CUANTICAS

Todos los procesos llevados a cabo por una computadora clsica pueden ser ejecutados
por una QC. Los algoritmos para las QC exigen la preparacin de estados entrelazados
de qubits que son extremadamente sensibles a fenmenos externos no deseados. Por
supuesto, a nadie se le ocurrira desarrollar toda una nueva tecnologa para poder seguir
haciendo lo mismo que una computadora clsica. El gran inters de las QC es que hay
LUIS ENRIQUE HUERTA LAURA

COMPUTACION CUNTICA
determinados procesos que pueden ser abordados de forma mucho ms eficiente.
Algunos de estos casos se presentan ms adelante. La aplicacin a priori ms obvia de
una QC es la de simular otros sistemas cunticos. Para simular un vector de estado en
un espacio de Hilbert 2n -dimensional, una computadora clsica necesita manipular
vectores que contienen 2n nmeros complejos mientras que una QC slo necesitar n
qubits, necesitando por tanto mucha menos memoria. Para simular la evolucin de este
sistema, ambos tipos de computacin van a mostrar ser ineficientes puesto que el
nmero de operaciones necesarias va a crecer exponencialmente con n en ambos casos
(complejidad de clase NP). Por lo tanto, una QC tampoco va a permitir simular cualquier
sistema fsico eficientemente pero en algunos casos puede representar una mejora
sustancial en recursos. Una de las grandes ventajas de la computacin quntica es el
paralelismo cuntico, que en su versin ms simple se puede explicar mediante el uso
de una puerta NOT. En la versin clsica esta puerta tiene la propiedad de cambiar el
estado de un bit de 0 a 1 y de 1 a 0. Para pasar de [01] a [10] ser necesario aplicar la
puerta NOT 2 veces. En la versin cuntica acta sobre los qubits para pasarlos de a
o de a . Supongamos ahora que aplicamos una puerta NOT a un estado que no es
propio de Sz (componente z del momento angular de Spin) y que es combinacin lineal
de z y z , omitir los subndices z a partir de ahora. Lo que tenemos al aplicar una
puerta NOT es (el cambio de signo no es relevante ahora): A + B A B Se puede
ver que esta simple operacin contiene las 2 operaciones y -. Es decir, hemos
actuado sobre 2 qubits en un solo paso computacional. Desde otro punto de vista, con
un solo procesador cuntico podemos emular el efecto de 2 procesadores clsicos. El
paralelismo cuntico no es siempre posible de aplicar, los dos algoritmos siguientes son
casos en que esta propiedad de la computacin cuntica juega un papel muy
importante. Supongamos una funcin f(x) que es peridica tal que f(x)=f(x+r).
Asumiendo que no hay ninguna tcnica analtica para ello, lo mejor que puede hacer
una computadora clsica es calcular f(x) en tantos puntos como sea necesario hasta
encontrar el periodo de la funcin, lo que puede llegar a representar un coste muy alto
en recursos. En 1994, Peter Shor basndose en Simon presenta una forma elegante de
resolver este problema gracias al paralelismo cuntico presentado anteriormente. La QC
va a requerir de 2n qubits (n depende del tamao del input), estos qubits estarn
divididos en 2 registros diferentes y mediante el uso de transformadas de Fourier
cunticas se logra calcular, en un solo paso, la funcin para 2n valores de x. Como si se
tratara de una computadora clsica con 2 n procesadores. El proceso posterior para
LUIS ENRIQUE HUERTA LAURA

COMPUTACION CUNTICA
obtener el resultado no es trivial pero no lo detallare aqu. El algoritmo entero se puede
consultar ms detalladamente en la referencia o en el propio artculo de Shor. El otro
algoritmo que presenta una mejora considerable es el de bsqueda en una base de
datos (no-ordenada) construido por Grover en 1997 (14) . Los algoritmos clsicos
consisten bsicamente en leer la lista de N tems para necesitar de media N/2 pasos
mientras que al algoritmo de Grover le bastan N pasos. El nmero de algoritmos
diseados para la computacin cuntica crece lentamente. Parece seguro predecir que
existe un nmero muy limitado de casos especficos en los que una QC puede ser
verdaderamente de ayuda. Por otro lado, un problema para el que encontrar una
solucin concreta es muy difcil, puede ser abordado de otra forma: testeando posibles
soluciones candidatas, desde este punto de vista, el algoritmo de Grover resulta ser de
gran ayuda y ampla el nmero de casos en los que, indirectamente, una QC podra ser
til.

4.- HARDWARE PARA COMPUTACIN CUNTICA

An no se ha resuelto el problema de qu hardware sera el ideal para la computacin
cuntica. Se ha definido una serie de condiciones que debe cumplir, conocida como la
lista de Di Vincenzo, y hay varios candidatos actualmente.
Condiciones a cumplir
El sistema ha de poder inicializarse, esto es, llevarse a un estado de partida conocido y
controlado.
Ha de ser posible hacer manipulaciones a los qubits de forma controlada, con un
conjunto de operaciones que forme un conjunto universal de puertas lgicas (para
poder reproducir cualquier otra puerta lgica posible).
El sistema ha de mantener su coherencia cuntica a lo largo del experimento.
Ha de poder leerse el estado final del sistema, tras el clculo.
El sistema ha de ser escalable: tiene que haber una forma definida de aumentar el
nmero de qubits, para tratar con problemas de mayor coste computacional.
Candidatos
Espines nucleares de molculas en disolucin, en un aparato de RMN.
Flujo elctrico en SQUIDs.
Iones suspendidos en vaco .
LUIS ENRIQUE HUERTA LAURA

COMPUTACION CUNTICA
Puntos cunticos en superficies slidas.
Imanes moleculares en micro-SQUIDs.
Computadora cuntica de Kane.
Computacin adiabtica, basada en el teorema adiabtico.
Procesadores
En 2004, cientficos del Instituto de Fsica aplicada de la Universidad de Bonn publicaron
resultados sobre un registro cuntico experimental. Para ello utilizaron tomos neutros
que almacenan informacin cuntica, por lo que son llamados qubits por analoga con
los bits. Su objetivo actual es construir una puerta cuntica, con lo cual se tendran los
elementos bsicos que constituyen los procesadores, que son el corazn de los
computadores actuales. Cabe destacar que un chip de tecnologa VLSI contiene
actualmente ms de 100.000 puertas, de manera que su uso prctico todava se
presenta en un horizonte lejano.
Transmisin de datos
Cientficos de los laboratorios Max Planck y Niels Bohr publicaron en la
revista Nature en noviembre de 2004, resultados sobre la transmisin de informacin
cuntica a distancias de 100 km usando la luz como vehculo.2 obteniendo niveles de
xito del 70%, lo que representa un nivel de calidad que permite utilizar protocolos de
transmisin con autocorreccin. Actualmente se trabaja en el diseo de repetidores,
que permitiran transmitir informacin a distancias mayores a las ya alcanzadas.

5.- SOFTWARE PARA COMPUTACIN

Algoritmos cunticos
Los algoritmos cunticos se basan en un margen de error conocido en las operaciones
de base y trabajan reduciendo el margen de error a niveles exponencialmente
pequeos, comparables al nivel de error de las mquinas actuales.
Algoritmo de Shor
Algoritmo de Grover
Algoritmo de Deutsch-Jozsa

LUIS ENRIQUE HUERTA LAURA

COMPUTACION CUNTICA
Modelos
Computadora cuntica de Benioff
Computadora cuntica de Feynman
Computadora cuntica de Deutsch
Complejidad
La clase de complejidad BQP estudia el costo de los algoritmos cunticos con bajo
margen de error.
Problemas propuestos
Se ha sugerido el uso de la computacin cuntica como alternativa superior a la
computacin clsica para varios problemas, entre ellos:
Factorizacin de nmeros enteros
Logaritmo discreto
Simulacin de sistemas cunticos: Richard Feynman conjetur en 1982 que los
ordenadores cunticos seran eficaces como simuladores universales de sistemas
cunticos, y en 1996 se demostr que la conjetura era correcta.

LUIS ENRIQUE HUERTA LAURA

97
2001

2000
2005

LUIS ENRIQUE HUERTA LAURA

Computadora Cuntica
ms rpida que un
computador convencional

98

-D-Wave
-Bus Cuantico

94

Algoritmo de Shor
ejecutado

90
96

Primeros Qbit

82
93

Lov Grover

80
85

Dan Simon

81

David Deutsch

Paul Benioff

Primera Computadora
Cuntica

Primer Qbyte

Continan
los Progresos

Primeros
Experimentos

Peter Shor

Primeros Algortimos
Primeras Mquinas C.

Richard Feynman

Primeras teoras

COMPUTACION CUNTICA

6.- LINEA DE TIEMPO

2007
2013

2011