Introduccin

La mecnica cuntica es, cronolgicamente, la ltima de las grandes ramas de

la fsica. Se formul a principios del siglo XX, casi al mismo tiempo que la teora de
la relatividad, aunque el grueso de la mecnica cuntica se desarroll a partir de
1920 (siendo la teora de la relatividad especial de 1905 y la teora general de la
relatividad de 1915).
Adems, al advenimiento de la mecnica cuntica
existan diversos problemas no resueltos en
la electrodinmica clsica. El primero de estos
problemas era la emisin de radiacin de cualquier
objeto en equilibrio, llamada radiacin trmica, que
es la que proviene de la vibracin microscpica de
las partculas que lo componen. Usando las
ecuaciones de la electrodinmica clsica, la
energa que emita esta radiacin trmica tenda
al infinito si se suman todas las frecuencias que
emita el objeto, con ilgico resultado para los fsicos. Tambin la estabilidad de los
tomos no poda ser explicada por el electromagnetismo clsico, y la nocin de que
el electrn fuera o bien una partcula clsica puntual o bien una cscara esfrica de
dimensiones finitas resultaban igualmente problemticas.
El problema de la radiacin electromagntica de un cuerpo negro fue uno de los
primeros problemas resueltos en el seno de la mecnica cuntica. Es en el seno de
la mecnica estadstica donde surgen por primera vez las ideas cunticas en 1900.
Al fsico alemn Max Planck se le ocurri un artificio matemtico: si en el proceso
aritmtico se sustitua la integral de esas frecuencias por una suma no continua
(discreta), se dejaba de obtener infinito como resultado, con lo que se eliminaba el
problema; adems, el resultado obtenido concordaba con lo que despus era
medido.
Fue Max Planck quien entonces enunci la hiptesis de que la radiacin
electromagntica es absorbida y emitida por la materia en forma de cuantos de luz
o fotones de energa cuantizados introduciendo una constante estadstica, que se
denomin constante de Planck. Su historia es inherente al siglo XX, ya que la
primera formulacin cuntica de un fenmeno fue dada a conocer por el mismo
Planck el 14 de diciembre de 1900 en una sesin de la Sociedad Fsica de
la Academia de Ciencias de Berln.
La idea de Planck habra permanecido muchos aos slo como hiptesis sin
verificar por completo si Albert Einstein no la hubiera retomado, proponiendo que
la luz, en ciertas circunstancias, se comporta como partculas de energa (los
cuantos de luz o fotones) en su explicacin del efecto fotoelctrico. Fue Albert
Einstein quien complet en 1905 las correspondientes leyes del movimiento
su teora especial de la relatividad, demostrando que el electromagnetismo era una
teora esencialmente no mecnica. Culminaba as lo que se ha dado en llamar fsica
clsica, es decir, la fsica no-cuntica.
Us este punto de vista llamado por l
heurstico, para desarrollar su teora del efecto
fotoelctrico, publicando esta hiptesis en
1905, lo que le vali el Premio Nobel de
Fsica de 1921. Esta hiptesis fue aplicada
tambin para proponer una teora sobre el calor
especfico, es decir, la que resuelve cul es la
cantidad de calor necesaria para aumentar en
una unidad la temperatura de la unidad de masa
de un cuerpo.
El siguiente paso importante se dio hacia 1925, cuando Louis De Broglie propuso
que cada partcula material tiene una longitud de onda asociada, inversamente
proporcional a su masa, y a su velocidad. As quedaba establecida la dualidad
onda/materia. Poco tiempo despus Erwin Schrdinger formul una ecuacin de
movimiento para las ondas de materia, cuya existencia haba propuesto De Broglie
y varios experimentos sugeran que eran reales.
La mecnica cuntica introduce una serie de hechos contra intuitivos que no
aparecan en los paradigmas fsicos anteriores; con ella se descubre que el mundo
atmico no se comporta como esperaramos. Los conceptos de
incertidumbre o cuantizacin son introducidos por primera vez aqu. Adems, la
mecnica cuntica es la teora cientfica que ha proporcionado las predicciones
experimentales ms exactas hasta el momento, a pesar de estar sujeta a las
probabilidades.
El segundo problema importante que la mecnica cuntica resolvi a travs
del modelo de Bohr, fue el de la estabilidad de los tomos. De acuerdo con la teora
clsica un electrn orbitando alrededor de un ncleo cargado positivamente debera
emitir energa electromagntica perdiendo as velocidad hasta caer sobre el ncleo.
La evidencia emprica era que esto no suceda, y sera la mecnica cuntica quien
resolvera este hecho primero mediante postulados ad hoc formulados por Bohr y
ms tarde mediante modelos como el modelo atmico de Schrdinger basados en
supuestos ms generales.

Desarrollo histrico de la mecnica

cuntica (recapitulacin)
La teora cuntica fue desarrollada en su forma bsica a lo largo de la primera mitad
del siglo XX. El hecho de que la energa se intercambie de forma discreta se puso
de relieve por hechos experimentales como los siguientes, inexplicables con las
herramientas tericas anteriores de la mecnica clsica o la electrodinmica:

Espectro de la radiacin del cuerpo negro, resuelto por Max Planck con la
cuantizacin de la energa. La energa total del cuerpo negro result que tomaba
valores discretos ms que continuos. Este fenmeno se llam cuantizacin, y
los intervalos posibles ms pequeos entre los valores discretos son
llamados quanta (singular: quantum, de la palabra latina para cantidad, de ah
el nombre de mecnica cuntica). La magnitud de un cuanto es un valor fijo
llamado constante de Planck, y que vale: 6.626 10-34 julios por segundo.
Bajo ciertas condiciones experimentales, los objetos microscpicos como
los tomos o los electrones exhiben un comportamiento ondulatorio, como en
la interferencia. Bajo otras condiciones, las mismas especies de objetos exhiben
un comportamiento corpuscular, de partcula, (partcula quiere decir un objeto
que puede ser localizado en una regin concreta del espacio), como en
la dispersin de partculas. Este fenmeno se conoce como dualidad onda-
partcula.
Las propiedades fsicas de objetos con historias asociadas pueden ser
correlacionadas, en una amplitud prohibida para cualquier teora clsica, slo
pueden ser descritos con precisin si se hace referencia a ambos a la vez. Este
fenmeno es llamado entrelazamiento cuntico y la desigualdad de
Bell describe su diferencia con la correlacin ordinaria. Las medidas de las
violaciones de la desigualdad de Bell fueron algunas de las mayores
comprobaciones de la mecnica cuntica.
Explicacin del efecto fotoelctrico, dada por Albert Einstein, en que volvi a
aparecer esa "misteriosa" necesidad de cuantizar la energa.
Efecto Compton.
El desarrollo formal de la teora fue obre de los esfuerzos conjuntos de varios fsicos
y matemticos de la poca, como Schrdinger, Heisenberg, Einstein, Dirac, Bohr y
Von Neumann entre otros.
Algunos de los aspectos fundamentales de la teora estn siendo an estudiados
activamente. La mecnica cuntica ha sido tambin adoptada como la teora
subyacente a muchos campos de la fsica y la qumica, incluyendo la fsica de la
materia condensada, la qumica cuntica y la fsica de partculas.
La regin de origen de la mecnica cuntica puede localizarse en la Europa central,
en Alemania y Austria, y en el contexto histrico del primer tercio del siglo XX.
Las suposiciones ms importantes de esta teora son las siguientes:

Al ser imposible fijar a la vez la posicin y el momento de una partcula, se

renuncia al concepto de trayectoria, vital en mecnica clsica. En vez de eso, el
movimiento de una partcula 'puede ser explicado por una funcin matemtica
que asigna, a cada punto del espacio y a cada instante, la probabilidad de que
la partcula descrita se halle en tal posicin en ese instante (al menos, en la
interpretacin de la Mecnica cuntica ms usual, la probabilstica
o interpretacin de Copenhague). A partir de esa funcin, o funcin de ondas,
se extraen tericamente todas las magnitudes del movimiento necesarias.
Existen dos tipos de evolucin temporal, si no ocurre ninguna medida el estado
del sistema o funcin de onda evolucionan de acuerdo con la ecuacin de
Schrdinger, sin embargo, si se realiza una medida sobre el sistema, ste sufre
un salto cuntico hacia un estado compatible con los valores de la medida
obtenida (formalmente el nuevo estado ser una proyeccin ortogonal del
estado original).
Existen diferencias perceptibles entre los estados ligados y los que no lo estn.
La energa no se intercambia de forma continua en un estado ligado, sino en
forma discreta lo cual implica la existencia de paquetes mnimos de energa
llamados cuantos, mientras en los estados no ligados la energa se comporta
como un continuo.

Ordenadores clsicos
Lejos de ser un invento de alguien en particular, el ordenador es el resultado
evolutivo de ideas y realizaciones de muchas personas relacionadas con reas tales
como la electrnica, la mecnica, los materiales semiconductores, la lgica,
el lgebra y la programacin.
Un ordenador est formado, fsicamente,
por numerosos circuitos integrados y otros
muchos componentes de apoyo, extensin
y accesorios, que en conjunto pueden
ejecutar tareas diversas con suma rapidez
y bajo el control de un programa.
Dos partes esenciales la constituyen,
el hardware, que es su composicin fsica
(circuitos electrnicos, cables, gabinete,
teclado, etctera) y su software, siendo
sta la parte intangible (programas, datos,
informacin, etctera). Una no funciona sin la otra.
Desde el punto de vista funcional es una mquina que posee, al menos, una unidad
central de procesamiento, una memoria principal y algn perifrico o dispositivo de
entrada y otro de salida. Los dispositivos de entrada permiten el ingreso de datos,
la CPU se encarga de su procesamiento (operaciones aritmtico-lgicas) y
los dispositivos de salida los comunican a otros medios. Es as, que la computadora
recibe datos, los procesa y emite la informacin resultante, la que luego puede ser
interpretada, almacenada, transmitida a otra mquina o dispositivo o sencillamente
impresa; todo ello a criterio de un operador o usuario y bajo el control de un
programa.
El hecho de que sea programable, le posibilita realizar una gran diversidad de
tareas, esto la convierte en una mquina de propsitos generales (a diferencia, por
ejemplo, de una calculadora cuyo nico propsito es calcular limitadamente). Es as
que, sobre la base de datos de entrada, puede realizar operaciones y resolucin de
problemas en las ms diversas reas del quehacer humano (administrativas,
cientficas, de diseo, ingeniera, medicina, comunicaciones, msica, etc.), incluso
muchas cuestiones que directamente no seran resolubles o posibles sin su
intervencin.
Bsicamente, la capacidad de una computadora depende de sus componentes
hardware, en tanto que la diversidad de tareas radica mayormente en el software
que admita ejecutar y contenga instalado.
Si bien esta mquina puede ser de dos tipos diferentes, analgica o digital, el primer
tipo es usado para pocos y muy especficos propsitos; la ms difundida, utilizada
y conocida es la computadora digital (de propsitos generales); de tal modo que en
trminos generales (incluso populares), cuando se habla de "la computadora" se
est refiriendo a computadora digital. Las hay de arquitectura mixta,
llamadas computadoras hbridas, siendo tambin stas de propsitos especiales.

Bits
El bit es la unidad mnima de informacin empleada en informtica, en cualquier
dispositivo digital, o en la teora de la informacin. Con l, podemos representar dos
valores cualesquiera, como verdadero o falso, abierto o cerrado, blanco o negro,
norte o sur, masculino o femenino, rojo o azul, etc. Basta con asignar uno de esos
valores al estado de "apagado" (0), y el otro al estado de "encendido" (1).

Con un bit podemos representar solamente dos valores o dos diferentes estados,
que suelen representarse como 0, 1. Para representar o codificar ms informacin
en un dispositivo digital, necesitamos una mayor cantidad de bits. Si usamos
dos bits, tendremos cuatro combinaciones posibles:

0 0 - Los dos estn "apagados"

0 1 - El primero est "apagado" y el segundo "encendido"
1 0 - El primero est "encendido" y el segundo "apagado"
1 1 - Los dos estn "encendidos"
Con estas cuatro combinaciones podemos representar hasta cuatro valores o
estados diferentes, por ejemplo, los colores azul, verde, rojo, y magenta.
A travs de secuencias de bits, se puede codificar cualquier valor discreto como
nmeros, palabras, e imgenes.
Cuatro bits forman un nibble, y pueden
representar hasta 24 = 16 valores
diferentes; ocho bits forman un octeto, y se
pueden representar hasta 28 = 256 valores
diferentes. En general, con un
nmero n de bits pueden representarse
hasta 2nvalores o estados diferentes.

Ordenador cuntico
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 posible 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 que un computador clsico
equivale a una mquina de Turing
(dispositivo que manipula smbolos
sobre una tira de cinta de acuerdo a una
tabla de reglas. A pesar de su
simplicidad, una mquina de Turing
puede ser adaptada para simular la
lgica de
cualquier algoritmo de computador y es
particularmente til en la explicacin de
las funciones de una CPU dentro de un computador.), un computador cuntico
equivale a una mquina de Turing cuntica.
A medida que evoluciona la tecnologa, aumenta la escala de integracin y caben
ms transistores en el mismo espacio; as se fabrican microchips cada vez ms
pequeos, y es que, cuanto ms pequeo es, mayor velocidad de proceso alcanza
el chip. Sin embargo, no podemos hacer los chips infinitamente pequeos. Hay un
lmite en el cual dejan de funcionar correctamente. Cuando se llega a la escala
de nanmetros, los electrones se escapan de los canales por donde deben circular.
A esto se le llama efecto tnel.
Una partcula clsica, si se encuentra con un obstculo, no puede atravesarlo y
rebota. Pero con los electrones, que son partculas cunticas y se comportan
como ondas, existe la posibilidad de que una parte de ellos pueda atravesar las
paredes si son demasiado finas; de esta manera la seal puede pasar por canales
donde no debera circular. Por ello, el chip deja de funcionar correctamente.
En consecuencia, la computacin digital tradicional no tardara en llegar a su lmite,
puesto que ya se ha llegado a escalas de slo algunas decenas de nanmetros.
Surge entonces la necesidad de descubrir nuevas tecnologas y es ah donde la
computacin cuntica entra en escena.
La idea de computacin cuntica surge en 1981, cuando Paul Benioff expuso su
teora para aprovechar las leyes cunticas en el entorno de la computacin. En vez
de trabajar a nivel de voltajes elctricos, se trabaja a nivel de cuanto. En la
computacin digital, un bit slo puede tomar dos valores: 0 1. En cambio, en la
computacin cuntica, intervienen las leyes de la mecnica cuntica, y la partcula
puede estar en superposicin coherente: puede ser 0, 1 y puede ser 0 y 1 a la vez
(dos estados ortogonales de una partcula subatmica). Eso permite que se puedan
realizar varias operaciones a la vez, segn el nmero de qubits.
El nmero de qubits indica la cantidad de bits que pueden estar en superposicin.
Con los bits convencionales, si tenamos un registro de tres bits, haba ocho valores
posibles y el registro slo poda tomar uno de esos valores. En cambio, si tenemos
un vector de tres qubits, la partcula puede tomar ocho valores distintos a la vez
gracias a la superposicin cuntica. As, un vector de tres qubits permitira un total
de ocho operaciones paralelas. Como cabe esperar, el nmero de operaciones
es exponencial con respecto al nmero de qubits.
Para hacerse una idea del gran avance, un computador cuntico de 30 qubits
equivaldra a un procesador convencional de 10 teraflops (10 millones de millones
de operaciones en coma flotante por segundo), cuando actualmente las
computadoras trabajan en el orden de gigaflops (miles de millones de operaciones).
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.

Hardware
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

(resonancia magntica).
Flujoelctrico en SQUIDs (Dispositivos superconductores de interferencia cu
ntica)..
Iones suspendidos en vaco.
Puntos cunticos en superficies slidas.
Imanes moleculares en micro-SQUIDs.
Computadora cuntica de Kane (se basa en una serie de tomos donantes de
fsforo encajados en un enrejado de silicio puro).
Computacin adiabtica, basada en el teorema adiabtico (Un sistema fsico
permanece en su estado propio instantneo si la perturbacin que acta sobre
l es lo bastante lenta y hay un salto energtico entre su valor propio y el resto
del espectro del Hamiltoniano).
En otras palabras, un sistema mecanocuntico sujeto a condiciones externas
que cambien gradualmente puede adaptar su forma y por tanto permanece en
un estado que le es propio durante todo el proceso adiabtico.

Problemas de la computacin cuntica

Uno de los obstculos principales para la computacin cuntica es el problema de
la decoherencia cuntica (trmino aceptado y utilizado en mecnica cuntica para
explicar cmo un estado cuntico entrelazado puede dar lugar a un estado fsico
clsico (no entrelazado). En otras palabras, cmo un sistema fsico, bajo ciertas
condiciones especficas, deja de exhibir efectos cunticos y pasa a exhibir un
comportamiento tpicamente clsico, sin los efectos contra intuitivos tpicos de la
mecnica cuntica), que causa la prdida del carcter 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 cuntica, con lo cual s
seran posibles 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.

Software
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

Es un algoritmo cuntico para descomponer en factores un nmero N en

tiempo O((log N)3) y espacio O(logN), as nombrado por Peter Shor.
En anlisis de algoritmos una cota superior asinttica es una funcin que sirve de
cota superior de otra funcin cuando el argumento tiende a infinito. Usualmente se
utiliza la notacin de Landa u O(g(x)), Orden de g(x), o coloquialmente llamada
Notacin O Grande, para referirse a las funciones acotadas superiormente por la
funcin g(x).
Una funcin f(x) pertenece a O(g(x)) cuando existe una constante positiva c tal que
a partir de un valor x0 , f(x) no sobrepasa a cg(x) . Quiere decir que la funcin f es
inferior a g a partir de un valor dado salvo por un factor constante.
El problema que intenta solucionar el algoritmo de Shor es que, dado un nmero
entero N, intentamos encontrar otro nmero entero p entre 1 y N que divida N.
El algoritmo de Shor consiste en dos partes:

1. Una reduccin del problema de descomponer en factores al problema

de encontrar el orden, que se puede hacer en una computadora clsica.
2. Un algoritmo cuntico para solucionar el problema de encontrar el periodo.

Algoritmo de Grover
Es un algoritmo cuntico para la bsqueda en una secuencia no ordenada de datos
con N componentes en un tiempo O (N1/2), y con una necesidad adicional de
espacio de almacenamiento de O(logN). Fue inventado por Lov K. Grover en 1996.
Aunque el propsito del algoritmo es, como ha sido indicado, la bsqueda en una
secuencia, se podra describir de una manera ms adecuada como la "inversin de
una funcin". As, si tenemos la funcin y=f (x), que puede ser evaluada en un
computador cuntico, este algoritmo nos permite calcular el valor de x cuando se
nos da como entrada el valor de y. Invertir una funcin puede relacionarse con la
bsqueda en una secuencia, si consideramos que la misma es una funcin que
produce el valor de y como la posicin ocupada por el valor x en dicha secuencia.
El algoritmo de Grover tambin se puede utilizar para el clculo de la media y
la mediana de un conjunto de nmeros, y para resolver otros problemas de
naturaleza anloga. Tambin se puede utilizar para resolver algunos problemas de
naturaleza NP-completa, por medio de inspecciones exhaustivas en un espacio de
posibles soluciones. Esto resulta en una apreciable mejora sobre soluciones
clsicas.

Algoritmo de Deutsch-Jozsa
Fue uno de los primeros algoritmos diseados para ejecutar sobre un computador
cuntico y que tiene el potencial de ser ms eficiente que los algoritmos clsicos al
aprovechar el paralelismo inherente de los estados de superposicin cunticos.
En el problema de Deutsch-Jozsa nos dan una funcin cuntica (que para nosotros
es una caja negra) f(x1, x2,..., xn)que toma n bits de entrada x1, x2,..., xn y devuelve
un valor binario f(x1, x2,..., xn). Sabemos que la funcin es constante (0 en todas las
entradas o 1 en todas las entradas) o balanceada (devuelve 1 para la mitad de las
entradas y 0 para la otra mitad); el problema es entonces determinar cmo es la
funcin (constante o balanceada) aplicando entradas a la caja negra y observando
su salida.

Modelos
Computadora cuntica de Benioff

Es una idea de que la cinta de la mquina de Turing podra ser reemplazada por
una secuencia de sistemas cunticos simples de dos-estados creada por Paul
Benioff. Esto proporcion una manera primitiva de codificar una secuencia de dgitos
binarios.
De manera similar, el cabezal de la mquina de Turing fue reemplazado por una
interaccin cuntica mecnica que poda leer o resetear el valor del estado
del espn. Las reglas fueron reemplazadas por una ecuacin de Schrdinger
diseada de forma que una configuracin inicial de espines evolucionara a un
conjunto final de espines que se pudieran descodificar en bits resultado del clculo
en cuestin.
En consecuencia, el programa que ejecutaba la computadora era implcitamente
contenido en los detalles de la ecuacin de Schrdinger. La mquina evolucionaba
en pasos de una duracin prefijada tal que, al final de cada paso, la cinta estaba
siempre en uno de sus estados fundamentales en los que cada espn estaba bien
totalmente hacia arriba, 1, o bien hacia abajo, 0. Sin embargo, durante un paso, la
mquina podra estar temporalmente en superposiciones de estados de espn.
Esta computadora no aprovecha el potencial que proporcionan las computaciones
superpuestas ya que al final de cada paso el cabezal mide el estado de la cinta, lo
cual colapsa cualquier superposicin de la misma. Este modelo no es factible en la
prctica, entre otras razones, porque para construir el hamiltoniano
(El Hamiltoniano H tiene dos significados distintos, aunque relacionados.
En mecnica clsica, es una funcin que describe el estado de un sistema
mecnico en trminos de variables posicin y momento, y es la base para la
reformulacin de la mecnica clsica conocida como mecnica hamiltoniana.
En mecnica cuntica, el operador Hamiltoniano es el correspondiente
al observable "energa") ser necesario conocer de antemano la respuesta del
programa. Este problema se podra solucionar fijando un hamiltoniano dependiente
del tiempo.
Computadora cuntica de Feynman

El modelo de Feynman es una versin cuntica de un circuito lgico combinacional.

Se describe la computacin a realizar a nivel de circuito, construyndolo con puertas
cunticas reversibles. En general, podemos entender el circuito como k puertas
lgicas actuando sobre m qubits. La transformacin conseguida por el circuito
puede ser escrita como AkAk-1...Ai, donde Ai es un operador que describe la
accin de la puerta i-sima. Para realizar la composicin de matrices Ai hacemos lo
siguiente: Sean los |n| tomos del registro. Aadimos un conjunto nuevo de |k+1|
tomos que configuran lo que vamos a llamar el contador de posiciones del
programa. Denotamos como <qi> al operador de aniquilacin de la posicin |i| y
como <q*i> al operador de creacin de la posicin |i|, de tal forma que ambos operan
desde |i = 0| hasta |i = k|. Necesitamos ahora un electrn cambiando continuamente
de una posicin a otra. As, si en un instante dado una posicin est vaca el estado
de esa posicin es |0>, y si en un estado dado una posicin est ocupada el estado
de esa posicin es |1>. Con este planteamiento Feynman propone como
Hamiltoniano:
H = SUMA (i=0 -> k-1) <q*i+1> <qi> Ai+1 + Complejo Conjugado

Si todas las posiciones del programa estn libres, entonces todos los tomos del
programa estn en el estado |0>, por lo tanto, no hay cambios ya que cada trmino
del Hamiltoniano comienza con un operador de aniquilacin. Esto significa que la
expresin para H slo es cierta cuando una y slo una de las posiciones del
programa est ocupada. Como consecuencia de lo anterior el nmero de posiciones
del programa en estado |1> es siempre el mismo. Adems, durante el proceso de
cmputo slo puede ocurrir que no haya posiciones ocupadas en cuyo caso no
pasa nada, o que slo haya una posicin ocupada en cuyo caso se realiza una
computacin elemental. Por otra parte, durante un proceso normal de cmputo, dos
o ms posiciones de programa no pueden estar ocupadas simultneamente.

Computadora cuntica de Deutsch

La primera mquina de Turing cuntica verdadera fue descubierta por David
Deutsch. Su modelo se diferencia del de la Benioff en que mantiene el registro de
memoria cuntico (la cinta) en superposicin de estados computacionales.
El operador U de evolucin temporal tiene que ser local, envolviendo slo
interacciones entre qubits adyacentes, e independiente del tiempo. Esto asegura
que, en cada paso computacional, slo interactan qubits adyacentes y la
computacin tiene un tiempo de finalizacin bien definido. Para lograrlo es necesario
un hamiltoniano dependiente del tiempo.

Cronologa de la computacin cuntica

Aos 80
A comienzos de la dcada de los 80, empezaron a surgir las primeras teoras que
apuntaban a la posibilidad de realizar clculos de naturaleza cuntica.
1981 - Paul Benioff
Las ideas esenciales de la computacin cuntica surgieron de la mente de Paul
Benioff que trabajaba en el Argone National Laboratory en Illinois (EE. UU.). Teoriz
un ordenador tradicional (mquina de Turing) operando con algunos principios de la
mecnica cuntica.
1981-1982 Richard Feynman
El Dr. Richard Feynman, fsico del California Institute of Technology en California
(EE. UU.) y ganador del premio Nobel en 1965 realiz una ponencia durante el First
Conference on the Physics of Computation realizado en el Instituto Tecnolgico de
Massachusetts (EE. UU.) Su charla, bajo el ttulo de Simulating Physics With
Computers" propona el uso de fenmenos cunticos para realizar clculos
computacionales y expona que dada su naturaleza algunos clculos de gran
complejidad se realizaran ms rpidamente en un ordenador cuntico.
1985 - David Deutsch
Este fsico israel de la Universidad de Oxford, Inglaterra, describi el primer
computador cuntico universal, es decir, capaz de simular cualquier otro
computador cuntico (principio de Church-Turing ampliado). De este modo surgi la
idea de que un computador cuntico podra ejecutar diferentes algoritmos
cunticos.
Aos 90
En esta poca la teora empez a plasmarse en la prctica: aparecieron los primeros
algoritmos cunticos, las primeras aplicaciones cunticas y las primeras mquinas
capaces de realizar clculos cunticos.
1993 - Dan Simon
Desde el departamento de investigacin de Microsoft (Microsoft Research), surgi
un problema terico que demostraba la ventaja prctica que tendra un computador
cuntico frente a uno tradicional.
Compar el modelo de probabilidad clsica con el modelo cuntico y sus ideas
sirvieron como base para el desarrollo de algunos algoritmos futuros (como el de
Shor).
1993 - Charles Benett
Este trabajador del centro de investigacin de IBM en Nueva York descubri el tele
transporte cuntico y que abri una nueva va de investigacin hacia el desarrollo
de comunicaciones cunticas.
1994-1995 Peter Shor
Este cientfico estadounidense de AT&T Bell Laboratories defini el algoritmo que
lleva su nombre y que permite calcular los factores primos de nmeros a una
velocidad mucho mayor que en cualquier computador tradicional. Adems, su
algoritmo permitira romper muchos de los sistemas de criptografa utilizados
actualmente. Su algoritmo sirvi para demostrar a una gran parte de la comunidad
cientfica que observaba incrdula las posibilidades de la computacin cuntica, que
se trataba de un campo de investigacin con un gran potencial. Adems, un ao
ms tarde, propuso un sistema de correccin de errores en el clculo cuntico.
1996 - Lov Grover
Invent el algoritmo de bsqueda de datos que lleva su nombre "Algoritmo de
Grover". Aunque la aceleracin conseguida no es tan drstica como en los clculos
factoriales o en simulaciones fsicas, su rango de aplicaciones es mucho mayor. Al
igual que el resto de algoritmos cunticos, se trata de un algoritmo probabilstico con
un alto ndice de acierto.
1997 - Primeros experimentos
En 1997 se iniciaron los primeros experimentos prcticos y se abrieron las puertas
para empezar a implementar todos aquellos clculos y experimentos que haban
sido descritos tericamente hasta entonces. El primer experimento de comunicacin
segura usando criptografa cuntica se realiza con xito a una distancia de 23 Km.
Adems, se realiza el primer tele transporte cuntico de un fotn.
1998 - 1999 Primeros Qbit
Investigadores de Los lamos y el Instituto Tecnolgico de Massachusets
consiguen propagar el primer Qbit a travs de una solucin de aminocidos. Supuso
el primer paso para analizar la informacin que transporta un Qbit. Durante ese
mismo ao, naci la primera mquina de 2-Qbit, que fue presentada en
la Universidad de Berkeley, California (EE. UU.) Un ao ms tarde, en 1999, en los
laboratorios de IBM-Almaden, se cre la primera mquina de 3-Qbit y adems fue
capaz de ejecutar por primera vez el algoritmo de bsqueda de Grover.
Ao 2000 hasta ahora
2000
De nuevo IBM, dirigido por Isaac Chuang, cre un computador cuntico de 5-Qbit
capaz de ejecutar un algoritmo de bsqueda de orden, que forma parte
del Algoritmo de Shor. Este algoritmo se ejecutaba en un simple paso cuando en un
computador tradicional requerira de numerosas iteraciones. Ese mismo ao,
cientficos de Los lamos National Laboratory (EE. UU.) anunciaron el desarrollo de
un computador cuntico de 7-Qbit. Utilizando un resonador magntico nuclear se
consiguen aplicar pulsos electromagnticos y permite emular la codificacin en bits
de los computadores tradicionales.
2001 - El algoritmo de Shor ejecutado
IBM y la Universidad de Stanford, consiguen ejecutar por primera vez el algoritmo
de Shor en el primer computador cuntico de 7-Qbit desarrollado en Los lamos.
En el experimento se calcularon los factores primos de 15, dando el resultado
correcto de 3 y 5 utilizando para ello 1018 molculas, cada una de ellas con 7
tomos.
2005 - El primer Qbyte
El Instituto de Quantum Optics and Quantum Information en la Universidad de
Innsbruck (Austria) anunci que sus cientficos haban creado el primer Qbyte, una
serie de 8 Qbits utilizando trampas de iones.
2006 - Mejoras en el control del cuanto
Cientficos en Waterloo y Massachusetts disean mtodos para mejorar el control
del cuanto y consiguen desarrollar un sistema de 12-Qbits. El control del cuanto se
hace cada vez ms complejo a medida que aumenta el nmero de Qbits empleados
por los computadores.
2007 - D-Wave
La empresa canadiense D-Wave Systems 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.
2007 - Bus cuntico
En septiembre de 2007, dos equipos de investigacin estadounidenses, el National
Institute of Standards (NIST) de Boulder y la Universidad de Yale en New Haven
consiguieron unir componentes cunticos a travs de superconductores.
De este modo aparece el primer bus cuntico, y este dispositivo adems puede ser
utilizado como memoria cuntica, reteniendo la informacin cuntica durante un
corto espacio de tiempo antes de ser transferido al siguiente dispositivo.
2008 - Almacenamiento
Segn la Fundacin Nacional de Ciencias (NSF) de los EE. UU., un equipo de
cientficos consigui almacenar por primera vez un Qubit en el interior del ncleo de
un tomo de fsforo, y pudieron hacer que la informacin permaneciera intacta
durante 1,75 segundos. Este periodo puede ser expansible mediante mtodos de
correccin de errores, por lo que es un gran avance en el almacenamiento de
informacin.
2009 - Procesador cuntico de estado slido
El equipo de investigadores estadounidense dirigido por el profesor Robert
Schoelkopf, de la Universidad de Yale, que ya en 2007 haba desarrollado el Bus
cuntico, crea ahora el primer procesador cuntico de estado slido, mecanismo
que se asemeja y funciona de forma similar a un microprocesador convencional,
aunque con la capacidad de realizar slo unas pocas tareas muy simples, como
operaciones aritmticas o bsquedas de datos.
Para la comunicacin en el dispositivo, esta se realiza mediante fotones que se
desplazan sobre el bus cuntico, circuito electrnico que almacena y mide fotones
de microondas, aumentando el tamao de un tomo artificialmente.
2011 - Primera computadora cuntica vendida
La primera computadora cuntica comercial es vendida por la empresa D-Wave
Systems, fundada en 1999 a Lockheed Martin, por 10 millones de dlares.
2012 - Avances en chips cunticos
IBM anuncia que ha creado un chip lo suficientemente estable como para permitir
que la informtica cuntica llegue a hogares y empresas. Se estima que en unos 10
o 12 aos se puedan estar comercializando los primeros sistemas cunticos.
2013 - Computadora cuntica ms rpida que un computador convencional
En abril la empresa D-Wave Systems lanza el nuevo computador cuntico D-Wave
Two el cual es 500000 veces superior a su antecesor D-Wave One, con un poder
de clculo de 439 qubits. Realmente el D-Wave Two tuvo graves problemas
finalmente, dado a que no tena las mejoras de procesamiento tericas frente al D-
Wave One ste fue comparado con un computador basado en el microprocesador
Intel Xeon E5-2690 a 2.9 GHz, teniendo en cuenta que lo obteniendo, es decir, el
resultado en promedio de 4000 veces superior.