Está en la página 1de 76

FUNDAMENTOS DE COMPUTACION CUANTICA

Juan Pedro Hecht Ed. 2005-1 (v.2.1.)


Pag 1-76












1
]
1


1 2
0
1 2
0
1 2
0
1 2
0
) 2 / 2 exp(
2
1
n n n n
k
k
j k j
j
n
n
j
k y k x ijk j x







FUNDAMENTOS DE
COMPUTACI ON
CUANTI CA
para su aplicacin en teora de la informacin
cuntica y criptografa cuntica


J UAN PEDRO HECHT

AO 2005


X
Y
Z
0

1

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 2-76

PROLOGO
A pesar que el objetivo apunta a ello, este no es un libro de criptografa cuntica sino
de los fundamentos necesarios para llegar a comprender en qu se basa. Porqu el
inters de la criptologa en un tema aparentemente confinado a la fsica terica?
Porque la computacin cuntica prcticamente arrasa con todo lo conocido en la
criptologa actual. Con computadoras cunticas desaparecen de escena todos los
criptosistemas de clave pblica, el quiebre del algoritmo RSA y todas las variantes
ElGamal y otros sistemas tan extensamente usados como el intercambio de claves
Diffie-Hellman. Tampoco quedan inmunes los algoritmos simtricos, cualquiera sea la
longitud de clave que se elija. O sea, la destruccin de las bases de la seguridad en el
almacenamiento y trnsito de informacin, la cada de la firma digital, los certificados
de clave pblica, el protocolo SSL y otros pilares de la seguridad informtica actual.
Dnde reside este poder? En la posibilidad de reducir drsticamente la complejidad
de ataque de problemas (hoy da de clase NP) a niveles atacables. Y qu queda como
residuo de este holocauso criptolgico? La computacin cuntica no slo destruye todo
lo conocido, construye algo mucho ms slido. La nueva criptografa cuntica, el
reemplazo de la seguridad computacional por la seguridad incondicional con el
renacer del one-time pad de Shannon.

Este libro fue extrado como subproducto de un trabajo ms ambicioso dedicado a la
complejidad en los sistemas biolgicos. Sirve de gua para la autopreparacin y llena
un vaco absoluto en la bibliografa disponible en espaol.

No quiero dejar pasar la oportunidad de expresar mi eterno agradecimiento al mentor,
colega y amigo Prof. Dr. Hugo Scolnik, quien me ha contagiado la pasin
criptogrfica. Adems quedar muy reconocido por las correcciones y sugerencias
que se me hagan llegar. Gracias a todos.


Dr. JUAN PEDRO HECHT
phecht@dc.uba.ar

Profesor Titular de Criptografa I y II
Escuela Superior Tcnica (IESE)- Argentina
Profesor Adjunto de Biofsica
Laboratorio de Biofsica Computacional
Ctedra de Biofsica FO (UBA) Universidad de Buenos Aires - Argentina
Profesor Adjunto de Fsica y Biofsica
CBC - (UBA) - Universidad de Buenos Aires -Argentina
Investigador en Criptografa
Proyecto UBACyT - Departamento de Computacin FCEN (UBA) Universidad de Buenos Aires-Argentina

Figuras de la tapa: la Esfera de Bloch representando un qubit y la ecuacin de la aplicacin de la transformada rpida de
Fourier (FFT), llave mgica del quiebre del problema de la factorizacin y del logaritmo discreto
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 3-76
INDICE


ABREVIATURAS Y CONVENCIONES. 4

1.1. INTRODUCCION A LA MECANICA CUANTICA (QM). 5

1.2. POSTULADOS DE LA MECNICA CUNTICA 8

1.3. EL GATO DE SCHRDINGER.. 19

1.4. PRINCIPIO DE INCERTIDUMBRE DE HEISENBERG.. 20

1.5. EL OPERADOR DE DENSIDAD 22

1.6. EPR, LA DESIGUALDAD DE BELL Y LA VIOLACIN DEL REALISMO LOCAL.. 28

1.7. COMPUTACIN CUNTICA (QC) 32

1.8. TEORA CUNTICA DE LA INFORMACIN (QIT) 42

1.9. TELEPORTACIN Y CODIFICACIN SUPERDENSA. 49

1.10. SIMULACIN CUNTICA (QS). 55

1.11. TEORA CUNTICA DE LA COMPLEJIDAD COMPUTACIONAL. 56

1.12. PROCESAMIENTO CUNTICO EN EL MUNDO REAL 58

1.13. MQUINAS CUNTICAS DE TURING (QTM) Y LA COMPUTADORA
CUNTICA UNIVERSAL.... 64

1.14. CAOS CUNTICO 71

INDICE TEMTICO............................73

BIBLIOGRAFIA.75
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 4-76

ABREVIATURAS Y CONVENCIONES

SIMBOLO INTERPRETACION
pertenece a
entonces
para todo
existe
! , x ,
(negacin de x) , negacin de, complemento lgico
sii si y solo si
semejante
| tal que
{ } conjunto


(conjuncin) y


(disyuncin) o (inclusivo)
Z, R conjunto de los enteros, conjunto de los reales
Z+ conjunto de los enteros positivos
H
n
espacio de Hilbert n-D (n-dimensional)
XOR (suma mdulo 2) (disyuncin exclusiva)
ODE Ecuaciones diferenciales ordinarias (sistema de)
PDE Ecuaciones diferenciales a derivadas parciales (sistema de)
z* conjugado complejo (z=a + bi, z*= a bi)

Vector en notacin ket de Dirac (columna)
Vector dual de , en notacin bra de Dirac (fila, transpuesto)
Producto interno de vectores y
Producto externo (vectorial) de vectores y
Producto tensorial, segn el caso ser ab b a b a
A* Conjugada compleja de la matriz (vector, escalar) A
A
T
Transpuesta de la matriz A
A
+
Conjugada hermtica de la matriz A ; A
+
=(A
T
)*
A Producto interno entre y A
| |
Norma del vector , + | |
| z |
Mdulo del complejo z, * | | z z z
ij
Delta de Kronecker, igual a uno sii i = j y cero en caso contrario
tr(A)
Traza de la matriz (cuadrada) A (

i
ii
a A tr ) ( )
n-D Dimensionalidad (1-D, 2-D, 3-D son dimensiones euclidianas)
X
Promedio o esperanza matemtica de la observable cuntica X
X Desvo standard de la observable cuntica X
exp( ) Exponenciacin base e (=2,7182818284590452353602874713527+)



FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 5-76

1.1. Introduccin a la mecnica cuntica (QM)


La mecnica cuntica es la descripcin ms completa y precisa del mundo conocido
(NIELSEN, 2002).


La mecnica cuntica (QM: Quantum Mechanics) surge como necesidad para explicar
hechos inexplicables en el mundo de la mecnica clsica. Cuando se intenta utilizar la
mecnica y la electrodinmica clsicas para explicar los fenmenos atmicos, los resultados
a que conducen se encuentran en franca contradiccin con la experiencia. Ningn
paradigma cientfico puede resistir este resultado de confrontacin con la realidad.

Donde esto se v con ms claridad es en el rango del macro y microcosmos. La mecnica
clsica explica los fenmenos de escala intermedia, pero no sirve para explicar modelos
cosmolgicos como el modelo del big-bang, la gravitacin cuntica, las m-branes, la teora
de superstrings, o los modelos de universo cclico. Tampoco explica porqu un electrn
obital gira (con aceleracin angular) y no emite radiacin, en sntesis porqu los tomos son
estructuralmente estables, porqu los electrones pueden generar difraccin y otros
fenmenos similares. Recordemos que los seres vivos (tal como los conocemos) estn
formados por tomos y como tales sometidos a sus reglas de comportamiento. Salvo una
visin holstica a ultranza, que hoy da no posee muchos seguidores, el comportamiento
biolgico es consecuencia forzada del comportamiento de la materia que compone a su
estructura.

Esta profunda contradiccin entre la teora y el experimento muestra que la construccin de
una teora que explique el dominio de las masas, longitudes y tiempos muy pequeos o muy
grandes exige un cambio radical en las leyes y en las ideas clsicas fundamentales. Como
punto de partida de este anlisis resulta interesante analizar el fenmeno de difraccin de
electrones. Al pasar un haz homogneo de electrones por un cristal, en el haz emergente se
observa una figura formada por mximos y mnimos de intensidades separados por
espacios, anlogo a la difraccin por ondas electromagnticas. Es decir, en ciertas
condiciones una partcula como el electrn se puede comportar como una onda. Este
fenmeno debido a la interferencia no se reduce (como lo predice el comportamiento
clsico) a la simple superposicin de acciones individuales. Hacen falta nuevas
explicaciones, con nociones de movimiento e interaccin diferentes al que predicen las
ideas clsicas. As nace la mecnica cuntica, una cosmovisin del universo en micro y
macroescala.

Uno de los conceptos fundamentales es la inexistencia del concepto de trayectoria de
partculas. Esta circunstancia constituye el contenido del principio de incertidumbre o de
indeterminacin, pilar de la mecnica cuntica y formulado en 1927 por Werner
Heisenberg (LANDAU, 1974). Al rechazar las ideas ordinarias de la mecnica clsica, el
principio de incertidumbre posee un cierto contenido negativo. Es natural que este principio
no puede por s construir la nueva mecnica de partculas.

De ordinario, la teora ms general se puede formular de una manera lgicamente cerrada
con independencia de la teora menos general que constituye un caso lmite de la primera.
As la mecnica relativista puede construirse sobre la base de sus principios sin hacer
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 6-76
referencias a la mecnica newtoniana. Pero la formulacin de las tesis fundamentales de la
mecnica cuntica es en principio imposible sin valerse de la mecnica clsica. El hecho
que un electrn carezca de una trayectoria determinada lo priva tambin de otras
caractersticas dinmicas. Por esto est claro que para un sistema formado exclusivamente
por objetos cunticos, en general sera imposible construir una mecnica lgicamente
cerrada. Si un electrn entra en contacto con un sistema clsico, el estado de este ltimo
cambia. En este sentido, al sistema clsico se lo llama aparato y a la interaccin medicin.
No se trata de una medicin en la que participa un observador, se denominan as todas las
interacciones clsico-cunticas independientes de los observadores. Hemos definido como
aparato a un objeto fsico que obedece con suficiente precisin a la mecnica clsica. En
general podr ser un cuerpo suficientemente masivo, aunque esto no es imprescindible. Un
electrn se comporta como aparato al desplazarse en una cmara de niebla de Wilson. Si
las coordenadas del electrn se miden con un grado de precisin moderado, su trayectoria
ser continua y predecible.

Pero, si manteniendo constante la precisin de las mediciones se disminuyen los intervalos
t entre ellas, las mediciones vecinas darn valores de coordenadas prximos entre s.
Sin embargo, los resultados de mediciones sucesivas, aunque se hallen confinadas a una
regin pequea del espacio, estarn situados en esta regin de manera totalmente
desordenada, sin entrar en ninguna curva contnua. Aqu aparece una caracterstica
inherente a la mecnica cuntica, el caos (que aqu no es determinista) surge en cada
interaccin, al contrario de lo que pasa en mecnica clsica. En este caso se trata de azar
fsico, azar real y absolutamente inevitable aunque si medible.

Este fenmeno descripto indica que en la mecnica cuntica no existe el concepto de
velocidad de una partcula en el sentido clsico de la palabra como lmite al que tiende la
diferencia de las coordenadas correspondientes a dos instantes dividida por el intervalo ?t
entre ellos. Sin embargo, en mecnica cuntica es posible dar una definicin razonable de
la velocidad de una partcula en un instante dado, que al pasar a la mecnica clsica se
convierte en velocidad clsica.

Mientras en la mecnica clsica la partcula posee en cada instante unas coordenadas y
una velocidad determinadas, en la mecnica cuntica las cosas ocurren de una manera
absolutamente distinta. Si el electrn posee unas coordenadas determinadas como
resultado de una medicin, en estas condiciones no tendr ninguna velocidad determinada.
Y al contrario, si el electrn posee una velocidad determinada, no podr tener una posicin
determinada en el espacio. En efecto, la existencia simultnea, en un instante cualquiera, de
coordenadas y de velocidad significara que existe una trayectoria determinada, que el
electrn no posee. Podra decirse que la posicin y la velocidad son magnitudes que no
existen simultneamente.

En general, el mundo clsico es contnuo y causal, el cuntico discreto y aleatorio.

Formalizando estas relaciones a traves del principio de incertidumbre de Heisenberg,
tenemos que las indeterminaciones (o desvios standard) en la medicin de las magnitudes
de posicin (x) y momento proyectado a lo largo de esa coordenada (p
x
) (velocidad) y
donde h es la constante de Planck (en unidades 2p), se cumple que

h
x
p x
(1.1.1)
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 7-76

En mecnica cuntica juegan un papel importante los conjuntos de magnitudes fsicas que
poseen la siguiente propiedad: estas magnitudes pueden medirse simultneamente, con la
particularidad que si tienen al mismo tiempo valores bien determinados, ninguna otra
magnitud fsica (que no sean funcin de las primeras) puede poseer en ese estado un valor
determinado. Estos conjuntos de magnitudes se llaman sistemas completos. Los estados
completamente definidos surgen como resultados de la medicin simultnea de un sistema
completo de magnitudes fsicas. Por los resultados de una medicin as, se puede
determinar la probabilidad de los resultados de cualquier medicin ulterior con
independencia de lo que ocurriera al electrn antes de primera medicin.

Cada estado cuntico se describe a travs de una funcin de onda (de variable compleja)

i
ae
(1.1.2)

donde la amplitud (a) es una funcin que vara poco y la fase (

) toma valores grandes.


Segn el principio variacional de la mnima accin, la accin S de un sistema mecnico
debe ser minimal y esto determina la trayectoria de las partculas en mecnica clsica.
Partiendo de esta analoga, se puede afirmar que la fase de la funcin de onda en el caso
lmite clsico debe ser proporcional a la accin mecnica S del sistema fsico considerado,
es decir S =constante .

. La constante de proporcionalidad es la constante de Planck


antes descripta, con lo cual (1.1.2) queda
S
i
ae
h
(1.1.3)

y cuya expresin se conoce como funcin de onda cuasi-clsica. Se puede demostrar
que el caso clsico pasa a ser un caso particular e este estado cuntico cuasi-clsico
cuando la fase se hace muy grande lo que es equivalente al paso al lmite 0 h .

Por ltimo todas las mediciones (interacciones) que alteran los estados cunticos pueden
ser computadas a travs de operadores que modifican la funcin de onda. En los apartados
que siguen veremos ejemplos de estas interacciones y de sus consecuencias.
















FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 8-76

1.2. Postulados de la mecnica cuntica


Lo mas incomprensible de nuestro mundo es que es comprensible
- Albert Einstein
Toda comprensin comienza con nuestra no aceptacin del mundo
tal como aparenta ser
- Alan Kay

La mecnica cuntica es el marco matemtico para el desarrollo de teoras fsicas. De por
s, la mecnica cuntica no indica qu ley obedece un sistema fsico (qumico y biolgico)
pero s provee el marco conceptual para el desarrollo de esas leyes.

La mecnica cuntica (y la comprensin de nuestro universo) depende de un conjunto
de postulados que conectan al mundo fsico con el formalismo matemtico.

Estos postulados han sido deducidos por un largo proceso de prueba y error, y sus
fundamentos siguen siendo sorprendentes incluso para sus mltiples autores. Cuando de
aqu en ms y en los apartados dedicados a la mecnica cuntica mencionemos a la fsica,
recordemos que ella condiciona a la qumica y por ende a la biologa. O sea, toda
conclusin que afecte a los sistemas fsicos, impactar sobre los biolgicos.

POSTULADO 1: Asociado con cada sistema fsico, se encuentra un espacio de
Hilbert (H ) (espacio vectorial complejo con producto interno normalizado) conocido
como espacio de estados del sistema. El sistema es completamente descripto por su
vector de estado, el cual es un vector unitario en dicho espacio de estados.

El sistema ms simple de la mecnica cuntica y el que ms nos interesa desde el punto de
vista de la complejidad, es el qubit (quantum bit) o unidad elemental de informacin
cuntica.

Un qubit se representa por un vector de estado en el espacio de Hilbert 2-D (H
2
). Sea una
base ortonormal (ortogonal y de norma unitaria)

,
_

,
_

1
0
1 ;
0
1
0 (1.2.1)
y por lo tanto se representa

1 0

,
_

(1.2.2)

donde y son complejos. Cuando y no son nulos, decimos que los estados cero y
uno estn en superposicin. Es decir un qubit est simultneamente en los estados clsicos
uno y cero, slo se define por una medicin o interaccin. La condicin (de normalizacin)
que sea vector unitario responde a
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 9-76

1 (1.2.3)
lo que es equivalente a

| |
2
+ | |
2
= 1 (1.2.4)

donde si =r
1
+r
2
i entonces | |
2
= . *=r
1
2
+r
2
2
.


Resulta que 1 , 0 no es la nica base ortonormal para los qubits, podemos emplear
cualquier base ortonormal alternativa, por ejemplo

2 / ) 1 0 ( 2 / ) 1 0 ( + + (1.2.5a)

con la cual se establece la equivalencia

+ +
+

+
+
+ +
+
2 2 2 2
1 0

(1.2.5b)

Por (1.2.4), un qubit puede tambin ser escrito en su forma polar, donde
i
e se puede dejar
de lado por no tener efectos observables y , , son tres nmeros reales

1 ) 2 ( 0 ) 2 cos( ) 1 ) 2 ( 0 ) 2 (cos(

sen e sen e e
i i i
+ + (1.2.6)

con la siguiente interpretacin geomtrica de vector en la esfera de Bloch


















Figura 1.2.1: Esfera de Bloch con un qubit contenido. Los polos de
la esfera representan los estados clsicos bit 0 y bit 1, cada punto
sobre la esfera (theta,phi) representa una superposicin entre
ambos estados clsicos


X
Y
Z
0

1

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 10-76

POSTULADO 2: La evolucin de un sistema cuntico cerrado (estrictamente aislado,
sin intercambio de energa con su medio ambiente) es descripta por una
transformacin unitaria. Esto es que el estado del sistema al tiempo t
1
est
vinculado al estado al tiempo t
2
por un operador unitario U que depende slo de
t
1
y t
2
tal que U

Se define U como operador hermtico si
+
U U y como operador unitario si
+
U U
1
.
Queda claro que si un operador es hermtico y unitario, se cumple que I U
2
la matriz
unitaria. Como ejemplos de operadores hermticos y unitarios tenemos las matrices de
Pauli (en H
2
). En general todo operador es representable por una matriz (o producto
vectorial de matrices o vectores)

,
_

,
_

,
_

,
_

1 0
0 1
0
0
0 1
1 0
1 0
0 1
3 2 1
Z
i
i
Y X I
z y x
(1.2.7)

que forman una base ortonormal y por ende permiten escribir a todo vector en H
2
como
combinacin lineal


Z Y X i
i i
, , , 1
. Otro operador con identicas propiedades y de
inters para el procesamiento de informacin es el operador de Hadamard

,
_

+
1 1
1 1
2
1
) 1 0 (
2
1
1 ) 1 0 (
2
1
0 H matriz como o H H (1.2.8)

Para que se cumpla el postulado 2 se requiere que el sistema no interacte con su medio
ambiente. Estrictamente todo sistema real (que no sea el propio universo) interacta parcial
o totalmente con otros sistemas, sin embargo muchas veces es posible abstraer esa
interaccin y aplicar este principio.

El postulado 2 describe cmo se correlacionan en el tiempo los estados cunticos de un
sistema cerrado. Una versin ms refinada de este postulado describe la evolucin del
sistema en tiempo contnuo a traves de una ODE.

POSTULADO 2: La evolucin en el tiempo de un sistema cuntico cerrado es
descripta por la ecuacin de onda de Schrdinger

H
dt
d
ih donde H es el
operador Hamiltoniano (hermtico y unitario), dondeh es la constante de Planck ya
analizada.

El Hamiltoniano (H) define la energa del sistema (que puede variar de naturaleza) y si se lo
conoce se puede predecir la dinmica de ese sistema. En general describir H es un
problema extremadamente complejo y que en muchos casos (relativamente simples) llev
buena parte del estudio de la fsica de los siglos XIX y XX.

Dado que H es un operador hermtico posee descomposicin espectral

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 11-76

E
E E E H (1.2.9)
donde E son los autovalores y E los correspondientes autovectores normalizados. Los
estados E son conocidos como los autoestados de energa o estados estacionarios y E es
la energa del estado E . La energa ms baja es conocida como el nivel de base del
sistema y el correspondiente autoestado como el estado basal. Los autoestados E
evolucionan en el tiempo hasta llegar a un valor estacionario o constante a partir del estado
inicial

0
E e E
iEt
t
h

(1.2.10)

La ecuacin de Schrdinger posee la siguiente solucin general

) ( ) ( ) ( ) (
1 1 2 1
) (
2
1 2
t t t U t e t
t t iH


h
(1.2.11)

Se puede demostrar que el operador U(t
2
-t
1
) es unitario, por lo cual el postulado 2 coincide
con el postulado 2. Adems se puede demostrar que para todo operador unitario, existe un
operador hermtico K tal que

iK
e U (1.2.12)


La evolucin de los sistemas cunticos cerrados ocurre a travs de operadores unitarios,
pero a veces los operadores interaccionan con el sistema (medicin) y alteran su estado,
pudiendo eliminar superposiciones. Este proceso se rige por el tercer postulado.

POSTULADO 3: Las mediciones cunticas son descriptas por un conjunto {M
n
} de
operadores de medicin Estos son operadores que actan sobre el espacio de estados
del sistema medido. El subndice m se refiere a los resultados posibles del experimento
de medicin. Si el estado de un sistema cuntico es , inmediatamente antes de la
medicin, la probabilidad de ocurrencia de m es
+
m m
M M m p ) ( y el estado del
sistema despus de la medicin es

+
m m
m
M M
M
. Los operadores de medicin
satisfacen la condicin de completamiento


+
m
m m
I M M

La condicin de completamiento expresa que las probabilidades de los resultados suman
uno




+
m
m m
m
M M m p ) ( 1 (1.2.13)

Por ejemplo, si el estado de un sistema cuntico de un simple qubit era
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 12-76

1 0

,
_

(1.2.14)

y se le aplica la operacin de medida en base computacional, los operadores de medicin
son

,
_

,
_


1 0
0 0
1 1
0 0
0 1
0 0
1
0
M
M
(1.2.15)

Se puede observar que ambos operadores son hermticos y que M
0
2
=M
0
, M
1
2
=M
1
por lo
cual

2
1 1 1
2
0 0 0
| | ) 1 (
| | ) 0 (



+
+
M M M p
M M M p
(1.2.16)

y el estado residual despus de ambos resultados de medicin ser exactamente el estado
bit clsico 0 y 1 respectivamente

1 1
| | | |
0 0
| | | |
1
0

M
M
(1.2.17)

Como 1 ) (
| |
t

Signo y se puede demostrar que los estados ) (

y e
i

son iguales (salvo el factor global de fase
i
e ) y por ende las estadsticas de medicin son
iguales y por eso en (1.2.17) se eliminan esos factores. Para el caso particular

1


i
e (1.2.18)

y en general ser cierto que


+ + +
m m
i
m m
i
m m
M M e M M e M M m p

) ( (1.2.19)

lo que ilustra la invariancia del resultado de las mediciones respecto de los cambios
absolutos de fase. Cuando se hacen mediciones consecutivas con dos operadores de
medicin {L
L
} y {M
m
} , se demuestra que equivalen a un nico operador } { } {
l m lm
L M Nl




FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 13-76

Distinguibilidad e indistinguibilidad de estados cunticos

Una aplicacin importante del postulado 3 es el problema de la distincin entre estados
cunticos. En el mundo clsico, los diferentes estados de un objeto son distinguibles, al
menos en principio. Por ejemplo, siempre podremos distinguir si una moneda cae en cara o
en cruz. En mecnica cuntica el tema es mas complicado y slo tiene solucin si los
estados a distinguir son ortonormales.

Sea un conjunto de estados ortonormales posibles ) 1 ( n i
i
. Definiendo n-operadores
de medicin
i i i
M y un operador de medicin adicional


n
i i
I M
0
, vemos
que el conjunto M
0
...M
n
satisface la condicin de completamiento. Por construccin, cada
operador M
i
es hermtico y cumple M
i
2
=M
i
. Por ende, si el sistema estuviese en el estado i-
simo,

1 ) (
+
i i i i i i i
M M M i p (1.2.20)

Por lo tanto, si el sistema est en estado i, la probabilidad de ser nedido como tal es uno, o
sea los estados son perfectamente distinguibles entre s.

Por el contrario, si los estados ) 1 ( n i
i
no fuesen mutuamente ortogonales, no existe
medicin cuntica posible que permita distinguir entre esos estados. Se demuestra este
hecho notable de la siguiente manera:

Sean
2 1
, dos estados no-ortogonales de un sistema cuntico. Supongamos que
existiesen mediciones que permitiesen distinguirlos, entonces la probabilidad de medir j tal
que f(j)=1 (o f(j)=2 ) ser 1. Definiendo

i j f j
j j i
M M E
) ( :
, estas observaciones pueden
ser escritas como

1 ; 1
2 2 2 1 1 1
E E (1.2.21)

Dado que


i
i
I E se deduce que


i
i
E 1
1 1
y dado que 1
1 1 1
E resulta que
0
1 2 1
E y por lo tanto 0
1 2
E . Supongamos que se descompone
+
1 2
donde es ortonormal a
1
, 1 | | | |
2 2
+ y 1 < dado que
1
y
2
no son ortogonales. Entonces
2 2 2
E E lo que se contradice con (1.2.21)
dado que

1 | | | |
2
2
2
2 2 2
E E (1.2.22)

La segunda inecuacin surge de la observacin

1
2


i
i
E E (1.2.23)

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 14-76
En forma menos rigurosa pero ms intuitiva, si
2
no fuese ortogonal a
1
,
2
se
podra descomponer en dos componentes ortonormales, uno paralelo a
1
y otro
perpendicular a l. Por lo tanto, al medir
2
existe una probabilidad (no nula) de medir
1
(por el componente paralelo) y si el resultado indicase
1
no se sabra si
corresponde realmente o n a dicho estado.

Medidas proyectivas

Esta clase de mediciones son un caso particular del postulado 3. Una medida proyectiva
queda definida por un observable M, operador hermtico del espacio de estados bajo
estudio. Este observable tiene una descomposicin espectral

m
m
mP M (1.2.24)

donde P
m
es el proyector en el autoespacio de M con autovalor m. Los resultados posibles
de la medicin corresponden a los distintos autovalores del observable. Despus de medir
el estado , la probabilidad de obtener el resultado m es


m
P m p ) ( (1.2.25)

Si m ocurri, el estado residual ser

) (m p
P
m

(1.2.26)

Supongamos que segn la definicin del postulado 3, los operadores de medicin aparte de
cumplir con el completamiento


+
m
m m
I M M tambin satisfacen que los M
m
son
proyectores ortogonales, es decir que son hermticos y que

m mk k m
M M M (1.2.27)

Bajo estas restricciones, el postulado 3 se reduce a las medidas proyectivas. Esta clase de
medidas posee propiedades interesantes. En particular es muy fcil calcular promedios de
medidas proyectivas, por ejemplo la esperanza (o promedio) de la medida es


> <


M P m
P m m p m M E M
m
m
m
m m
) (
) ( ) (
(1.2.28)

El promedio de la medida se suele representar como <M>, con lo cual se puede calcular la
suma de cuadrados (la llamaremos varianza, dejando de lado el factor m-1):

2 2 2
)) ( ( > < > < M M M (1.2.29)
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 15-76

Con lo cual su raz cuadrada (el desvo standard) ser

2 2
) ( > < > < M M M (1.2.30)
Una forma habitual de usar los proyectores son las medidas en base m , donde m forma
una base ortonormal y m m P
m
forma cada uno de los m proyectores. En general si M es
diagonalizable, admite descomposicin espectral en funcin de sus autovectores i que
forman una base ortonormal y sus autovalores
i




i
i i
i
i
P i i M (1.2.31)


Por ejemplo, cuando se aplican medidas proyectivas a qubits aislados y se usa el
observable Z, la matriz de Pauli definida en (1.2.7), resulta que los autovalores son +1 y -1 y
los autovectores 0 y 1 respectivamente, los proyectores sern 0 0
0
P y 1 1
1
P y se
verifica

,
_

1 0
0 1
1 1 1 0 0 1
i
i
i i Z (1.2.32)

y si se mide el qubit

,
_

+

1
1
2
1
2
1 0
resulta de (1.2.25)

2
1
2
1
1 1 ) 1 (
0 0 ) 1 (

+
p
p
(1.2.33)

O sea, la misma probabilidad de medir +1 y -1. En trminos ms generales, supongamos
que v
r
es cualquier vector unitario 3-D, entonces, usando las matrices de Pauli, podemos
definir
3 3 2 2 1 1
v v v v + +
r r
como observable habitualmente conocida como medida de
spin a lo largo del eje v
r
y cuyos resultados posibles son +1 (spin) y -1 (antispin).

Mediciones POVM (positive operador-valued measure)

El postulado 3 involucra dos elementos, primero brinda un instrumento que describe la
estadstica de las mediciones, segundo brinda la regla que describe el estado residual del
sistema una vez medido. Cuando slo nos interesa efectuar una nica medicin sobre un
sistema, el estado residual carece de importancia. En ese caso existe un formulismo
matemtico conocido como POVM (por motivos histricos) que lo resuelve elegantemente.

Supongamos que se efecta una medida descripta por los operadores de medicin M
m

sobre un sistema cuntico en estado . La probabilidad de resultado m ha sido descripta
como
+
m m
M M m p ) ( . Supongamos que se define

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 16-76
m m m
M M E
+
(1.2.34)

entonces por el postulado 3 y lgebra lineal, E
m
es un operador positivo tal que

m
m
m
E m p y I E ) ( . Por lo tanto el conjunto de operadores E
m
es suficiente
para determinar las probabilidades de los diferentes resultados.. Los operadores E
m
son
conocidos como los elementos POVM asociados con la medida. El conjunto completo { E
m
}
es conocido como un POVM.

Como ejemplo de POVM se puede considerar las medidas proyectivas descriptas por
operadores de medicin P
m
, donde los P
m
son proyectores tales que
m mk k m
M M M y


m
m
I P . En esta instancia (y slo en esta) los elementos POVM son iguales a los propios
operadores de medicin, dado que
m m m m
P P P E
+
. Por medio de las mediciones POVM se
pueden efectuar medidas en sistemas complejos que generalmente conducen a la
identificacin infalible de algun estado de origen, aunque esa infalibilidad tiene el costo de
que a veces no se puede llegar a ninguna conclusin acerca del mismo. Por ejemplo,
Supongamos que se prepara un qubit en uno de estos dos estados mutuamente
excluyentes


2 / ) 1 0 (
0
2
1
+

(1.2.35)

Se construye un POVM de tres elementos

2 1 3
2
1
2
) 1 0 )( 1 0 (
2 1
2
1 1
2 1
2
E E I E
E
E


+

(1.2.36)

Las mediciones posibles se describen en el presente cuadro

probabilidad que se obtenga la
medida
estado real
del sistema
E
1
E
2
E
3

1
=0
(1)
>0 >0
2

>0 =0
(2)
>0
Tabla 1.2.1.: Resultados de medicion POVM. Notar que
(1)
0
1 1 1
E y que
(2)
0
2 2 2
E

Por lo tanto, si se obtiene como resultado E
1
se concluye sin error que el estado real era
2
y si se obtiene E
2
se concluye sin error que el estado real era
1
. El costo de esta
infalibilidad es que si el resultado obtenido fuese E
3
no se puede decidir con seguridad cual
es el estado de origen.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 17-76

Supongamos ahora el caso ms general en el cual estamos interesados en sistemas
cunticos formados por dos o ms sistemas fsicos distintos. El siguiente postulado explica
como describir un sistema compuesto de esta clase.

POSTULADO 4: El espacio de estados de un sistema fsico compuesto es el producto
tensorial de los espacios de estado de los componentes. Especficamente, si tenemos los
sistemas numerados de 1 a n, si el estado del sistema 1 es
1
y as sucesivamente, el
estado conjunto del ensamble ser
n
K
2 1


Hay una aproximacin heurstica a este principio. Se suele mencionar como el principio de
superposicin de la mecnica cuntica al que plantea que si x e y son dos estados de
un sistema cuntico, entonces cualquier superposicin y x + tambin ser un estado
vlido de otro sistema, especficamente el sistema superpuesto de los dos anteriores.
Adems se debe cumplir la condicin de renormalizacin 1 | | | |
2 2
+ . El producto
tensorial permite que para el caso de superponer dos sistemas con funciones de estado en
los espacios H
n
y H
m
, el espacio resultante ser H
n
H
m
= H
n.m
logrando esa
multiplicacin de combinaciones.

Por ejemplo, un registro o memoria de dos qubits , se compone de la siguiente
manera

11 10 01 00
1 0 ; 1 0
1 1 0 1 1 0 0 0
1 1
0 1
1 0
0 0
1
0
1
0
1
0
1 0
1
0
1 0





+ + +

,
_

,
_

,
_

,
_

,
_

+
(1.2.37)

donde los vectores

,
_

,
_

,
_

,
_

1
0
0
0
11 ,
0
1
0
0
10 ,
0
0
1
0
01 ,
0
0
0
1
00 (1.2.38)

forman una base ortonormal en H
4
.

Curiosamente hay registros de qubits no
descomponibles en qubits individuales, resultado sorprendente de la mecnica cuntica. As
se define un nuevo concepto, el entramado (entanglement) de estados cunticos. Por
ejemplo, si se considera el siguiente estado de dos qubits (estado de Bell o par EPR)

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 18-76
2
11 00 +
(1.2.39)
Es simple ver que este estado no es descomponible en la forma (1.2.37), o sea
b a para estados puros b a , ya que no hay combinacin de coeficientes
complejos } , , , {
1 0 1 0
que cumplan ambas descripciones.

comentario








sntesis

































Hemos discutido todos los postulados de la mecnica cuntica. Repasemos brevemente los
mismos para ubicarlos en una perspectiva global. El primer posulado describe el escenario de la
mecnica cuntica al fijar el modo de describir los estados cunticos. El segundo nos habla de la
dinmica de los estados, lo que se resuelve por la ecuacin de Schrdinger y los operadores
unitarios. El tercer postulado nos informa cmo extraer informacin de un sistema cuntico a
travs de mediciones. El cuarto postulado nos aclara como se combinan estados cunticos
individuales en un ensamble superpuesto.

Lo que es desconcertante en la mecnica cuntica, al menos desde elpunto de vista de la
mecnica clsica, es que no se puede observar directamente al estado del sistema. Es una
especie de juego de ajedrez en el cuan nunca podemos estar seguros en qu casilla se encuentra
cada pieza. La mecnica clsica y nuestra intuicin nos dice que las propiedades
fundamentales de un objeto (como la energa, posicin y velocidad) son directamente observables
y medibles. En la mecnica cuntica esas magnitudes dejan de ser importantes para ser
reemplazadas por un vector de estado que no puede ser observado directamente.

Todo se comporta como si en la mecnica cuntica existiese un mundo oculto de acceso
indirecto e imperfecto. Adems observar un sistema clsico no cambia necesariamente el estado
del mismo. En cambio en el mundo cuntico y de acuerdo al postulado 3 las mediciones son
invasivas y normalmente alteran al sistema bajo estudio. Nos podramos preguntar cmo siendo
tan diferente la cuntica de la clsica, porqu en el universo corriente que nos rodea no hay
evidencia a favor de la primera? Resulta ser que el mundo clsico puede ser deducido de la
mecnica cuntica como descripcin aproximada del universo en las escalas de espacio, longitud
y masa en las cuales nos desenvolvemos. Vemos que las mediciones cunticas estn vinculadas
a distribuciones de probabilidades y por ende son estadsticas u predecibles. El azar est es la
misma esencia del postulado tres, o sea en la verdadera naturaleza del universo. La ltima
respuesta a la naturaleza catica de la biologa es finalmente que desde el punto de vista
ontolgico la vida es esencialmente estocstica. Al menos, mientras sobreviva la mecnica
cuntica.

En el caso de estados entramados, existe una supercorrelacin entre ambos qubits que es ms
fuerte que la correlacin clsica. Por ejemplo, si se separasen los qubit de un par entramado y
uno se midiese en el valor 0, el restante forzosamente medira tambin 0 aunque se efecte a
distancias y tiempos inconmensurables de la primer medida. Gracias al fenmeno del entramado,
la computacin cuntica permite la existencia de dos fenmenos de sumo inters: la teleportacin
y la codificacin superdensa que se discuten ms adelante.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 19-76
1.3. El gato de Schrdinger

Erwin Schrdinger plante un interesante modelo que ilustra la naturaleza azarosa de la
mecnica cuntica (SCHRDINGER, 1992). Cuando se habla del "gato de Schrdinger" se
est haciendo referencia a una paradoja que surge de un clebre experimento imaginario
propuesto por Erwin Schrdinger en el ao 1937 para ilustrar las diferencias entre
interaccin y medida en el campo de la mecnica cuntica.
El experimento mental consiste en imaginar a un gato metido dentro de una caja que
tambin contiene un curioso y peligroso dispositivo. Este dispositivo est formado por una
ampolla de vidrio que contiene un veneno muy voltil y por un martillo sujeto sobre la
ampolla de forma que si cae sobre ella la rompe y se escapa el veneno con lo que el gato
morira. El martillo est conectado a un mecanismo detector de partculas alfa; si llega una
partcula alfa el martillo cae rompiendo la ampolla con lo que el gato muere, por el contrario,
si no llega no ocurre nada y el gato continua vivo.
Cuando todo el dispositivo est preparado, se realiza el experimento. Al lado del detector se
sita un tomo radiactivo con unas determinadas caractersticas: tiene un 50% de
probabilidades de emitir una partcula alfa en una hora. Evidentemente, al cabo de una hora
habr ocurrido uno de los dos sucesos posibles: el tomo ha emitido una partcula alfa o no
la ha emitido (la probabilidad de que ocurra una cosa o la otra es la misma). Como resultado
de la interaccin, en el interior de la caja, el gato est vivo o est muerto. Pero no podemos
saberlo si no la abrimos para comprobarlo.


Cuadro 1.3.1.: El gato de Schrdinger y la superposicin cuntica

Si lo que ocurre en el interior de la caja lo intentamos describir aplicando las leyes de la
mecnica cuntica, llegamos a una conclusin muy extraa. El gato vendr descrito por una
funcin de onda extremadamente compleja resultado de la superposicin de dos estados
combinados al cincuenta por ciento: "gato vivo" y "gato muerto". Es decir, aplicando el
formalismo cuntico, el gato estara a la vez vivo y muerto; se tratara de dos estados
indistinguibles.
La nica forma de averiguar qu ha ocurrido con el gato es realizar una medida: abrir la caja
y mirar dentro. En unos casos nos encontraremos al gato vivo y en otros muerto. Pero, qu
ha ocurrido? Al realizar la medida, el observador interacta con el sistema y lo altera, rompe
la superposicin de estados y el sistema se decanta por uno de sus dos estados posibles.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 20-76
El sentido comn nos indica que el gato no puede estar vivo y muerto a la vez. Pero la
mecnica cuntica dice que mientras nadie mire en el interior de la caja el gato se encuentra
en una superposicin de los dos estados: vivo y muerto.
Esta superposicin de estados es una consecuencia de la naturaleza de la materia y su
aplicacin a la descripcin mecanocuntica de los sistemas fsicos, lo que permite explicar
el comportamiento de las partculas elementales y de los tomos. La aplicacin a sistemas
macroscpicos como el gato o, incluso, si as se prefiere, cualquier profesor de fsica, nos
llevara a la paradoja que nos propone Schrdinger.


1.4. Principio de incertidumbre de Heisenberg

Tal vez el principio de incertidumbre sea el resultado ms conocido de la mecnica cuntica
y tambin el que ms inters filosfico ha concitado dentro y fuera de la comunidad
cientfica.

Comenzamos definiendo el conmutador [A,B] y anticonmutador {A,B} entre dos operadores
A y B

BA AB B A BA AB B A + } , { ; ] , [ (1.4.1)

Si [A,B]=0 entonces A conmuta con B, si {A,B}=0 entonces A anti-conmuta con B.

Supongamos que A y B sean dos operadores hermticos y un estado cuntico.
Supongamos que ) , ( R y x iy x AB + . Se verifica que iy B A 2 ] , [ y que
x B A 2 } , { . Esto implica que

2 2 2
| | 4 | } , { | | ] , [ | + AB B A B A (1.4.2)

Por la desigualdad de Cauchy-Schwarz


2 2 2
| | B A AB (1.4.3)

que combinada con (1.4.2) y eliminando trminos negativos da


2 2 2
4 | ] , [ | B A B A (1.4.4)

Suponiendo que C y D son dos observables. Substituyendo A=C-<C> y B=D-<D> en la
ltima ecuacin, se obtiene el principio de incertidumbre de Heisenberg tal como se lo suele
formular

2
| ] , [ |
) ( ) (


D C
D C (1.4.5)

Tal como se ha sealado oportunamente los ) ( representan las desviaciones standard de
las dos observables.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 21-76
aporte




















En 1930, Einstein demostr que el principio de incertidumbre (donde se afirma la
imposibilidad de reducir el error en la posicin sin incrementar el error en el momento)
implicaba tambin la imposibilidad de reducir el error en la medicin de energa sin
acrecentar la incertidumbre del tiempo durante el cual se toma la medida. l crey poder
utilizar esta tesis como trampoln para refutar el principio de incertidumbre, pero Bohr
procedi a demostrar que la refutacin tentativa de Einstein era errnea.
A decir verdad, la versin de la incertidumbre, segn Einstein, result ser muy til, pues
signific que en un proceso subatmico se poda violar durante breves lapsos la ley sobre
conservacin de energa siempre y cuando se hiciese volver todo al estado de conservacin
cuando concluyesen esos perodos: cuanto mayor sea la desviacin de la conservacin,
tanto ms breves sern los intervalos de tiempo tolerables. Yukawa aprovech esta nocin
para elaborar su teora de los piones. Incluso posibilit la elucidacin de ciertos fenmenos
subatmicos presuponiendo que las partculas nacan de la nada como un reto a la energa
de conservacin, pero se extinguan antes del tiempo asignado a su deteccin, por lo cual
eran slo partculas virtuales. Hacia fines de la dcada 1940-1950, tres hombres
elaboraron la teora sobre esas partculas virtuales: fueron los fsicos norteamericanos
Julian Schwinger y Richard Phillips Feynman y el fsico japons Sin-itiro Tomonaga. Para
recompensar ese trabajo, se les concedi a los tres el premio Nobel de Fsica en 1961.
A partir de 1976 se han producido especulaciones acerca de que el Universo comenz con
una pequea pero muy masiva partcula virtual que se expandi con extrema rapidez y que
an sigue existiendo. Segn este punto de vista, el Universo se form de la nada y podemos
preguntarnos acerca de la posibilidad de que haya un nmero infinito de Universos que se
formen (y llegado el momento acaben) en un volumen infinito de Nada.
El principio de incertidumbre afect profundamente al pensamiento de los fsicos y los
filsofos. Ejerci una influencia directa sobre la cuestin filosfica de casualidad (es decir,
la relacin de causa y efecto). Pero sus implicaciones para la ciencia no son las que se
suponen por lo comn. Se lee a menudo que el principio de incertidumbre anula toda
Normalmente se interpreta errneamente al principio enunciando que al aumentar la precisin de
la medida C el sistema se perturba y disminuye la precisin de la otra medida D. A pesar que es
cierto que las mediciones en mecnica cuntica afectan a los sistemas observados, esa no es la
interpretacin correcta de este principio.

La interpretacin correcta de este principio es que si se prepara una serie de sistemas
cunticos idnticos y se procede a medir en parte de ellos la observable C y en el resto la
observable D, entonces el producto de las desviaciones standard registradas cumplir con la
inecuacin (5.4.5) y por ende ninguna puede tener precisin infinita ( 0 ) ( X )o sea ser de
certeza absoluta. Si esto fuese posible, las observaciones seran causales y no casuales.

Por ejemplo, considerando las observables X e Y (de Pauli) cuando se aplican a un qubit en
estado 0 , sabiendo que el conmutador [X,Y]=2iZ, el principio de incertidumbre afirma que

1 0 0 ) ( ) ( Z Y X (5.4.6)

con la consecuencia inmediata que ambos desvos standard son estrictamente positivos y no
pueden ser nulos.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 22-76
certeza acerca de la naturaleza y muestra que, al fin y al cabo, la ciencia no sabe ni sabr
nunca hacia dnde se dirige, que el conocimiento cientfico est a merced de los caprichos
imprevisibles de un Universo donde el efecto no sigue necesariamente a la causa. Tanto si
esta interpretacin es vlida desde el ngulo visual filosfico como si no, el principio de
incertidumbre no ha conmovido la actitud del cientfico ante la investigacin. Si, por ejemplo,
no se puede predecir con certeza el comportamiento de las molculas individuales en un
gas, tambin es cierto que las molculas suelen acatar ciertas leyes, y su conducta es
previsible sobre una base estadstica, tal como las compaas aseguradoras calculan con
ndices de mortalidad fiables, aunque sea imposible predecir cundo morir un individuo
determinado.
Ciertamente, en muchas observaciones cientficas, la incertidumbre es tan insignificante
comparada con la escala correspondiente de medidas, que se la puede descartar para
todos los propsitos prcticos. Uno puede determinar simultneamente (con precisin
ilimitada) la posicin y el movimiento de una estrella, o un planeta, o una bola de billar, e
incluso un grano de arena con exactitud absolutamente satisfactoria.
Respecto a la incertidumbre entre las propias partculas subatmicas, cabe decir que no
representa un obstculo, sino una verdadera ayuda para los fsicos. Se la ha empleado para
esclarecer hechos sobre la radiactividad, sobre la absorcin de partculas subatmicas por
los ncleos, as como otros muchos acontecimientos subatmicos, con mucha ms
racionabilidad de lo que hubiera sido posible sin el principio de incertidumbre.
comentario






1.5. El operador de densidad

Hasta aqu se analiz la mecnica derivada del lenguaje de los vectores de estado. Es
posible una formulacin alternativa con una herramienta conocida como operador de
densidad o matriz de densidad.

El lenguaje del operador de densidad brinda un medio conveniente para describir sistemas
cunticos cuyo estado no es totalmente conocido. Mas precisamente, supongamos que un
sistema cuntico se encuentra en uno de entre un conjunto de estados
i
, donde i es un
ndice y donde las probabilidades respectivas son p
i
(y vale

1
i
p ). Definimos como
ensamble de estados puros al conjunto } , {
i i
p . Entonces se define como operador de
densidad a


i
i i i
p (1.5.1)

Este operador es conocido tambin como matriz de densidad. Se pueden reformular todos
los principios de la mecnica cuntica en funcin del mismo. Supongamos que la evolucin
de un sistema cuntico cerrado es descripta por un operador unitario U. Si el sistema se
hallaba inicialmente en el estado
i
con probabilidad p
i
entonces despus de la evolucin
El principio de incertidumbre significa que el Universo es ms complejo de lo que se supona,
pero no irracional
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 23-76
el sistema se hallar en el estado U
i
con igual probabilidad p
i
. Por lo tanto la evolucin
del operador de densidad puede describirse por

+ +


U U U U p p
i
i i i
U
i
i i i
(1.5.2)

Las medidas tambin pueden ser fcilmente descriptas. Supongamos que se realiza una
medida descripta por operadores de medicin M
m
. Si el estado inicial era el i-simo,
entonces la probabilidad de obtener el resultado m es la probabilidad condicional

) ( ) | (
i i m m i m m i
M M tr M M i m p
+ +
(1.5.3)

Aplicando la ley de probabilidades totales se obtiene la probabilidad absoluta de obtener el
resultado m

+

i
m m i
M M tr p i m p m p ) ( ) | ( ) ( (1.5.4)

Y el estado residual despus de la medicin es

i m m i
i m m
i
M M
M


+
(1.5.5)

Por lo tanto despus de la medicin que genera el resultado m tenemos un ensamble de
estados
m
i
con respectivas probabilidades p(i | m). El operador de densidad respectivo
(
m
) ser





+
+
i i
i m m i
m i i m m
i
m
i m
M M
M M
m i p m i p ) | ( ) | ( (1.5.6)

como resulta que p(i|m) = p(m,i) / p(m) = p(m|i)p
i
/ p(m) se obtiene

) ( ) (

m m
m m
i
m m
m i i m
i m
M M tr
M M
M M tr
M M
p
+
+
+
+

(1.5.7)

Se define como estado puro al ensamble formado por un nico estado, en ese caso
. En caso contrario es un estado mixto, o sea un ensamble de estados puros.
Un criterio simple para saber si se est frente a un estado puro o mixto es el siguiente, un
estado puro satisface 1 ) (
2
tr en cambio para un estado mixto se verifica 1 ) (
2
< tr .

Supongamos que a partir de un ensamble } , {
ij ij
p se prepara un sistema cuntico tal que
se encuentre en el estado
i

con probabilidad p
i
, entonces la matriz de densidad resulta

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 24-76


i
i i
ij
ij ij ij i
p p p (1.5.8)
Un operador es el operador de densidad de un ensamble } , {
i i
p sii se satisfacen
estas dos condiciones




i
i i
i
i
i
i i i
p
n
H positiva definida
p tr p tr unitaria traza
0 | | ) (
) ( ) ( ) (
2

(1.5.9)

si se cumplen las condiciones, dado que es positivo, posee una descomposicin espectral

j
j
j j (1.5.10)

donde
j
son los autovalores (reales y no negativos) y j los autovectores de .

sntesis































LOS POSTULADOS DE LA MECNICA CUNTICA EN BASE
A LOS OPERADORES DE DENSIDAD
POSTULADO 1: A cada sistema fsico aislado se le asocia un espacio vectorial complejo con
producto interno (un espacio de Hilbert) conocido como el espacio de estados del sistema. El
sistema se describe completamente con un operador positivo de traza unitaria denominado
operador de densidad (o matriz de densidad ). Si un sistema cuntico est en el estado
i
con probabilidad p
i
, entonces el operador de densidad del sistema ser

i
i i
p
POSTULADO 2: La evolucin de un sistema cuntico cerrado se describe por una
transformacin unitaria. O sea, el estado del sistema al tiempo t
1
est vinculado al estado
del sistema en el tiempo t
2
por un operador unitario U que slo depende de los tiempos t
1
y t
2

segn la ecuacin
+
U U

POSTULADO 3: Las mediciones cunticas son descriptas por un conjunto {M
m
} de operadores
de medicin.El ndice m se refiere a los resultados de esa medicin. Si inmediatamente antes de
una medicin el estado del sistema cuntico es , entonces la probabilidad que ocurra el
resultado m es ) ( ) (
m m
M M tr m p
+
. Los operadores de medicin satisfacen la condicin de
completamiento


+
m
m m
I M M y el estado residual del sistema una vez medido m ser
) (

m m
m m
M M tr
M M
+
+


POSTULADO 4: El espacio de estados de un sistema fsico compuesto es el producto tensorial
del espacio de estados de los sistemas fsicos componentes. Si se tienen n sistemas, el operador
de densidad conjunto ser
n
K
2 1

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 25-76
Operadores de densidad reducidos y trazas parciales

Para la medicin de subsistemas de un sistema compuesto, la nica forma de describir
correctamente las observables es a travs de las siguientes definiciones. Supongamos que
se dispone de dos sistemas fsicos A y B, cuyos estados es descripto por un operador de
densidad
AB
. Se define como operador de densidad reducido para el sistema A a

) (
AB
B
A
tr (1.5.11)

donde tr
B
es un mapa de operadores conocido como la traza parcial sobre el sistema B y
se define como

2 1 2 1 2 1 2 1 2 1 2 1
) ( ) ( b b a a b b tr a a b b a a tr
B
(1.5.12)

donde
2 1
, a a son dos vectores arbitrarios del espacio de estados de A y
2 1
, b b dos
vectores arbitrarios del espacio de estados de B. Por ejemplo si un sistema cuntico se
encuentra en el estado producto
AB
donde es el operador de densidad del
sistema A y el correspondiente al sistema B, entonces

) ( ) ( tr tr
B
A
(1.5.13)

lo cual es intuitivo. De la misma forma
B
para ese estado. De este ejemplo deducimos
que el operador de densidad reducido de un sistema compuesto es un estado puro. Un
segundo ejemplo lo forma el (ya visto) estado de Bell 2 / ) 11 00 ( + . En este caso, el
operador de densidad ser
2
11 11 11 00 00 11 00 00
)
2
11 00
)(
2
11 00
(
+ + +

+ +

(1.5.14)

Buscando el operador de densidad parcial para el primer qubit, resulta

,
_

+ + +

+ + +


2
1
2
1
2 2 2 2
2
1
0
0
2 2
1 1 0 0
2
1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0
2
) 11 11 ( ) 11 00 ( ) 00 11 ( ) 00 00 (
) (
I
tr tr tr tr
tr
(1.5.15)

Notamos que el par de Bell es un estado mixto, ya que tr(( 2 /2 )
2
) = < 1.



FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 26-76
comentario





conjetura













Descomposicin de Schmidt y purificaciones

Los operadores de densidad reducidos y las trazas parciales son la base de una amplia
variedad de herramientas tiles para el estudio de los sistemas cunticos compuestos. Dos
de esas herramientas son la descomposicin de Schmidt y las purificaciones. Discutiremos
brevemente ambas.

Supongamos que es el estado puro de un sistema compuesto AB. Entonces existen
estados ortonormales
A
i para el sistema A y estados ortonormales
B
i para el sistema B
tales que


i
B A i
i i (1.5.16)

donde
i
son nmeros reales no negativos (conocidos como coeficientes de Schmidt) tales
que satisfacen


i
i
1
2
. Este resultado es muy til, por ejemplo para el sistema descripto
se deduce que

B
i
B i
B
A
i
A i
A
i i i i


2 2
, (1.5.17)

o sea que los autovalores de ambos operadores de densidad reducidos son iguales. Si se
aplica a un sistema simple como este estado de dos qubits

3
11 01 00 + +
(1.5.18)

Este ltimo resultado es notable. Es curioso que en este par entramado el estado mixto est
perfectamente determinado y por ende es un estado puro, en cambio el primer qubit (y el
segundo!) est en estado mixto, es decir un estado del cual no poseemos el conocimiento
mximo posible.
La mecnica cuntica ofrece visiones singulares de la realidad y esta es una de ellas. Algo que es
inconcebible desde el punto de vista clsico aqu resulta normal. Esto nos permite formular lo
siguiente:

En el mundo clsico, la complejidad surge de la superestructura (ya sea holstica o
reduccionista) de componentes simples. En el mundo cuntico, la combinacin de estados
complejos puede resultar en una superestructura simple.

Despus analizaremos este fenmeno desde el punto de vista entrpico. Esta es una notable
diferencia entre el universo intermedio (el reino de la mecnica clsica) y el micro y
macrocosmos (la fsica de las partculas subatmicas y la cosmologa)
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 27-76
Este sistema no es simtrico, pero si se calculan las reducidas se obtiene resultados
coincidentes

9
7 2 2
) ) (( ) ) ((
B A
tr tr (1.5.19)

Una segunda tcnica de inters es la purificacin. Suponiendo que
A
es un estado del
sistema cuntico A. Es posible introducir otro sistema que llamaremos R, y definir un estado
puro para el sistema compuesto AR tal que ) ( AR AR tr
R
A
. Esto es que el estado
puro AR se reduce a
A
cuando miramos solamente al sistema A. R es un sistema
ficticio, solo de interpretacin matemtica y se lo conoce como sistema de referencia. Como
ejemplo supongamos que
A
posee descomposicin ortonormal

i
A A
i
A
i i p . Para
purificar
A
introducimos un sistema de referencia R que tiene el mismo estado de espacios
de A, con bases ortonormales
R
i y definimos un estado puro para el sistema combinado


i
R A
i
i i p AR (1.5.20)

Calculando el operador de densidad reducido. Verificamos que AR es una purificacin de
A

A A A
i
i
ij
ij
A A
j i
ij
R R A A
j i R
i i p j i p p
j i tr j i p p AR AR tr


) ( ) (
(1.5.21)
Ntese la relacin cercana entre la descomposicin de Schmidt y el proceso de purificacin:
el mtodo usado para purificar un estado mixto del sistema A es el de definir un estado puro
cuya base de Schmidt para A es justo la base en la cual el estado mixto es diagonal y en el
cual los coeficientes de Schmidt son las races cuadradas de los autovalores del operador
de densidad purificado.
aporte
















Las observaciones cunticas son complejas si las comparamos con las clsicas. Ms all del azar
y la indeterminacin esencial de los estados cunticos, los estados mixtos ofrecen dificultades
adicionales al observador. Gran parte de las herramientas desarrolladas para cmputo de los
vectores de estado estn orientadas a la ortonormalizacin, descomposicin espectral,
diagonalizacin, descomposicin de Schmidt y purificacin que separan linealmente los efectos
superpuestos. Descomponer un sistema complejo en componentes independientes es la
base del mtodo analtico en las ciencias experimentales y el fundamento final del
reduccionismo. Desde el punto de vista heurstico, responde al principio de dividir para
conquistar. En este aspecto, lo que aqu se describe para la mecnica cuntica vale tambin
para el anlisis de varianza en estadstica inferencial o la bsqueda de componentes principales
en taxonoma numrica.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 28-76
1.6. EPR, la desigualdad de Bell y la violacin del realismo local

aporte











Cuando hablamos de un objeto como una persona o un libro, asumimos que las
propiedades fsicas de ese objeto poseen una existencia independiente de la observacin o
n de dicho ente. Esto es que la medicin simplemente revela dichas propiedades fsicas.
Por ejemplo, para una pelota de tenis posee como propiedad intrnseca su posicin, la que
habitualmente medimos por la reflexin de luz que se genera en su superficie. Este punto de
vista cambi radicalmente en los aos 1920-1930, surgiendo un nuevo paradigma que
indica que los sistemas no observados son indeterminados (ver gato de Schrdinger). O
sea, cunticamente, una pelota de tenis no posee posicin, la adquiere cuando es
observada. Por ejemplo, de acuerdo a la mecnica cuntica un qubit no posee propiedades
definidas de spin en el eje z (
Z
) o spin en el eje x (
X
), cada uno de los cuales puede ser
revelado por una medicin adecuada. Slo nos brinda las probabilidades a priori de los
posibles resultados.

Muchos fsicos objetaron esta nueva visin de la naturaleza. El objetor ms prominente fue
Albert Einstein. En su famoso trabajo del ao 1935 y conocido como el EPR paper, junto a
Nathan Rosen y Boris Podolsky llevando como ttulo las iniciales de los autores, propuso un
experimento que pensaba podra demostrar que la mecnica cuntica no era una teora
completa de la naturaleza.

La esencia del argumento EPR es la siguiente. EPR estaban interesados en lo que
denominaban elementos de la realidad. Su conviccin era que cualquiera de esos
elementos deba estar presente en cualquier teora fsica completa. La meta EPR era
demostrar que la mecnica cuntica careca de algunos elementos de la realidad y por ende
que era incompleta. La va perseguida era la introduccin de una propiedad suficiente de
una observable para ser catalogada como elemento de la realidad, y esa propiedad era la
capacidad de predecir con certeza el valor que esa observable tendr a futuro pero un
instante antes de ser medido.

Considerando por ejemplo un par entramado de qubits (anti-correlacionados en este caso)

2
10 01
(1.6.1)

el que se separa en sus dos componentes y los qubits se ponen en manos de dos
observadores (A y B) muy separados en el espacio y en el tiempo. Supongamos que A
A lo largo de estos apartados hemos enfocado las herramientas de la mecnica cuntica y sus
caractersticas para la descripcin de los sistemas de nuestro universo. Cuando se pretende
estudiar el fenmeno de l a complejidad en biologa, surge la pregunta de cules sern las
caractersticas peculiares de la mecnica cuntica que las distinguen tan notablemente de las
descripciones clsicas. La pregunta es Cul es exactamente la diferencia entre la mecnica
cuntica y el mundo clsico? El poder entender esta diferencia es vital para conocer si las
descripciones de complejidad en ciencias experimentales son posibles o n desde el punto de
vista estrictamente clsico. Se puede describir clsicamente la complejidad de una clula?
En este apartado analizaremos una discusin sobre una diferencia esencial entre la mecnica
cuntica y la clsica.

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 29-76
realiza sobre su qubit una medida de spin a lo largo del eje v
r
, es decir A mide la observable

r r
v y que obtiene el resultado +1. Entonces, un simple clculo mecnico-cuntico permite
predecir con certeza que B medir -1 cuando realice una medida equivalente. Ya que A
puede predecir infaliblemente el resultado de la medida de B, la medicin de spin a lo largo
del eje v
r
se convierte en un elemento de la realidad acorde al criterio EPR y participar en
toda teora fsica completa. Sin embargo la mecnica cuntica tal como se presenta en este
trabajo se limita a calcular las probabilidades de los respectivos resultados (+1, -1) cuando
se mida
r r
v . La mecnica cuntica no incluye ningn elemento fundamental destinado a
representar el valor
r r
v para todo vector unitario v
r
.

La meta de EPR era demostrar que la mecnica cuntica era incompleta demostrando que
le faltaba algn esencial elemento de la realidad. EPR deseaba forzar un regreso a una
visin ms clsica del mundo, una en la cual las propiedades de un sistema existan
independientemente de su medicin. Desafortunadamente para EPR, la mayora de los
fsicos discrepa con el razonamiento antes expuesto. El intento de imponer a la naturaleza
propiedades que debe cumplir parece ser un modo peculiar de estudiar sus leyes.

De hecho la naturaleza tuvo la ltima palabra en esta controversia o paradoja EPR. Treinta
aos ms tarde de la publicacin EPR se realiz un test experimental para verificar la
existencia del camino de retorno a la intuicin propugnado por EPR frente a la mecnica
cuntica. La naturaleza invalid experimentalmente la meta EPR y brind sustento a la
mecnica cuntica. La clave de esta invalidacin experimental es un resultado conocido
como la desigualdad de Bell. Para describir este experimento, veamos primero la visin
clsica del mismo y luego la cuntica de un experimento similar.

VISIN CLSICA: Un investigador independiente C prepara dos partculas y distribuye una
a cada uno de dos observadores A y B. A efecta mediciones sobre dos propiedades
fsicas P
Q
y P
R
respectivamente y cuyos resultados pueden ser +1 y -1. La partcula de a
posee el valor Q para la propiedad P
Q
y se asume que Q es una propiedad objetiva y real
que simplemente es revelada por la medicin. Similarmente R es el valor de la otra
propiedad y el resultado de su medicin. Similarmente, B es capaz de medir una de dos
propiedades (P
S
y P
T
), las que revelaran los valores reales S y T (tambin +1 o -1 cada
uno). Cuando se deciden a medir ambos eligen al azar una sola propiedad cada uno. Ahora
suponemos que A y B estn distanciados aos luz y realizan simultneamente sus
mediciones (en lenguaje de relatividad de forma causalmente desconectada) de manera que
el resultado obtenido por A no puede afectar al resultado de la medicin de B, ya que las
influencias fsicas no se pueden propagar a mayor velocidad que la luz en el vaco (c
299792458 ms
-1
). Aplicando lgebra elemental a los cuatro casos de mediciones
mutuamente excluyentes entre s (QS, RS, RT, QT). Si generamos la funcin suma QS +
RS + RT QT = (Q + R)S + (R Q)T y dados que R, Q valen 1, o bien (Q+R) o (R-Q)
valen 0, con lo cual el resultado de la funcin suma ser 2. Sea p( q, r, s, t) la probabilidad
a priori que el sistema se encuentre en el estado Q=q, R=r, S=s, T=t. Estas probabilidades
dependern de cmo C haya preparado las partculas y del ruido experimental. Calculando
la esperanza matemtica de la funcin suma (o sea su valor medio) resulta

2 ) ( ) ( ) ( ) (
2 ) , , , ( ) )( , , , ( ) (
+ +
+ + + +

QT E RT E RS E QS E
t s r q p qt rt rs qs t s r q p QT RT RS QS E
qrst qrst
(1.6.2)

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 30-76
Esta ltima ecuacin se conoce como la desigualdad de Bell o desigualdad CHSH por las
iniciales de sus cuatro descubridores. Repitiendo el experimento muchas veces, A y B
pueden determinar cada valor de la parte izquierda de (1.6.2). Por ejemplo, despus de
efectuar cada experimento se comunican los resultados y juntos promedian los valores de
los productos de los resultados (+1 o -1) de la propiedad elegida por cada uno.

VISION CUANTICA: El investigador C prepara un sistema cuntico de dos qubits
entramados

2
10 01
(1.6.3)

y le pasa sendos qubits a A y B. Ellos realizan mediciones de las siguientes observables,
usando operadores de Pauli (el subndice indica el qubit sobre el cual opera la matriz de
Pauli)

2
2
2 2
1
2 2
1
X Z
T X R
X Z
S Z Q




(1.6.4)

los clculos directos muestran que los promedios son

2
2
2
2
2
2
2
2
QT RT RS QS (1.6.5)

por lo cual

2 2 + + QT RT RS QS (1.6.6)

La comparacin entre (1.6.2) y (1.6.6) muestra una contradiccin que se debe resolver
experimentalmente. Los experimentos pticos confirmaron la prediccin cuntica en
detrimento de la clsica. La naturaleza no obedece la desigualdad de Bell. Qu significa
esto? Que una o ms premisas empleadas en la deduccin de (1.6.2) debe ser incorrecta.
Hay dos fundamentos implcitos en (1.6.2) que parecen dudosos

(1) Premisa de REALISMO. Esta premisa indica que las propiedades P
Q
, P
R
, P
S
, P
T

poseen valores definidos Q, R, S, T en forma independiente de su observacin.

(2) Premisa de LOCALIDAD. Esta premisa indica que la medicin de A no afecta la
medicin de B.

Ambas presunciones combinadas se conocen como el modelo de REALISMO LOCAL.
Estos son supuestos absolutamente intuitivos y razonables de cmo funciona nuestro
universo y caben bien en nuestra experiencia cotidiana. Sin embargo la falla de la
desigualdad de Bell nos muestra que al menos una de ellas es incorrecta


FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 31-76
aporte

















Qu enseanza nos deja la falla de la desigualdad de Bell? Para los fsicos la leccin ms
importante es que sus convicciones ms ntimas y plausibles acerca de cmo funciona el universo
estn equivocadas. La mayora de los fsicos tomaron la postura de eliminar la premisa del
realismo de la mecnica cuntica, aunque otros se deciden por rechazar la premisa de
localidad. Mas all de esta discusin, queda claro que una o ambas deben ser descartadas si se
quiere desarrollar una buena comprensin intuitiva de la mecnica cuntica. Todava la mecnica
clsica se mantiene en armona con la visin ms intuitiva del mundo, pero recordemos que la
visin clsica es slo un promedio macroscpico de una realidad mucho mas compleja en sus
elementos ms esenciales.

La computacin mecnico-cuntica de una sola molcula de metano requiere una grilla de
aproximadamente 10
42
nodos. Asumiendo que en cada nodo hay que efectuar slo 10
operaciones elementales, y que el cmputo se realiza a la temperatura extremadamente baja de
3x10
-3
K, se debera consumir an toda la energa que se produce en la tierra durante un siglo

- R .P. Poplavsky (1975), citado en NIELSEN, 2002
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 32-76
1.7. Computacin cuntica (QC)

(QC: Quantum Computing) Prcticamente hablando, muchos problemas de las ciencias
exactas y naturales son imposibles de resolver en computadoras tradicionales, no porque
sean esencialmente irresolubles sino por los recursos astronmicos requeridos para
resolverlos. La promesa espectacular de las computadoras cunticas consiste en el
desarrollo de un conjunto de nuevos algoritmos que vuelven realizables problemas
que requieren recursos exorbitantes para su resolucin en computadoras
tradicionales. Hoy da se conocen dos clases de algoritmos cunticos que cumplen esta
promesa. La primera est basada en la transformada de Fourier cuntica de Shor, y
abarca notables algoritmos para factorizar y para hallar logaritmos discretos que son
exponencialmente ms rpidos que los mejores conocidos para computadoras tradicionales.
La segunda clase est basada en el algoritmo de bsqueda cuntica de Grover. Estos
proveen una aceleracin notable de orden cuadrtico sobre los mejores algoritmos
tradicionales. Este ltimo mtodo posee una importancia particular por el amplio empleo de
mtodos de bsqueda en una amplia gama de problemas. En la siguiente figura se
presenta el estado actual de las familias de algoritmos cunticos conocidos

















Tabla 1.7.1: Principales algoritmos cunticos conocidos y sus aplicaciones

El campo de aplicacin de la Transformada de Fourier cuntica es invalorable desde el
punto de vista terico como tambin econmico. El problema del logaritmo discreto junto
con el problema de determinacin del orden de un grupo multiplicativo como el que se
presenta en la exponenciacin modular. Ambas tcnicas permiten resolver el importante
problema de la factorizacin, base de muchos criptosistemas de clave pblica como el
algoritmo RSA (Rivest-Shamir-Adleman) fundamento de la seguridad en el protocolo SSL de
redes TCP/IP (Internet), las redes privadas virtuales (VPN), la firma digital y los certificados
digitales del e-commerce y muchos otros campos de enorme inters concreto en el campo
de la seguridad informtica. El problema del logaritmo discreto permite quebrar
criptosistemas vinculados a grupos multiplicativos algebraicos como el de curvas elpticas y
campos de Galois. A su vez el algoritmo de bsqueda cuntica permite resolver problemas
estadsticos en vastas bases de datos y quebrar criptosistemas simtricos por exploracin
exhaustiva del espacio de claves.

Bsqueda
cuntica
Transformada
de Fourier
Problema del
subgrupo oculto
Problema del
logaritmo discreto
Problema de
determinacin de
orden
Problema de la
factorizacin
Quiebre de criptosistemas asimtricos
(RSA, ElGamal, Diffie-Hellman,etc.)
Problema del
recuento
Estadstica
(media, mediana,
mnimo, varianza)
Aceleracin de
ciertos problemas
NP
Bsqueda de
claves simtricas
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 33-76
aporte
























Una pregunta que surge es porqu se han desarrollado tan pocos algoritmos cunticos
que son notablemente superiores a sus contrapartes clsicas? La respuesta es que
encontrar un buen algoritmo cuntico parece ser un problema complejo. Hay al menos dos
razones para esto, por un lado el diseo de algoritmos casi-ptimos es complejo an para
problemas aparentemente simples como la multiplicacin de dos nmeros y buscar buenos
algoritmos cunticos impone la restriccin adicional de tener que superar a los algoritmos
clsicos. El otro motivo es que nuestra intuicin est mejor adaptada al mundo clsico que
al mundo cuntico, y esto se discuti en el apartado anterior. Requiere una visin especial y
tal vez un poco de suerte ubicar un buen algoritmo cuntico. A continuacin se har un
anlisis crtico de los componentes de un algoritmo cuntico para llegar a conocer sus
posibilidades y limitaciones.

conjetura












La computacin cuntica (QC) prcticamente destruye todo lo que hoy da se emplea en
criptografa aplicada. La criptografa es la parte de la seguridad informtica dedicada a la
proteccin de la informacin almacenada y en trnsito y al captulo de la autenticacin remota de
entidades. Sus objetivos son: 1) confidencialidad de la informacin, 2) control de integridad de la
informacin, 3) autenticacin fehaciente de informacin y de personas y 4) evitar el repudio de las
autenticaciones. Todas estas son las bases de lo que, por citar un ejemplo, hoy da conocemos
como comercio electrnico (e-commerce) a travs de Internet. El impacto de la computacin
cuntica sobre todo lo aplicado hoy da en criptografa es absolutamente catastrfico.
Obliga a modificar todos los esquemas de seguridad informtica y no slo se trata de cambios
cualitativos (por ejemplo incrementar las dimensiones de las claves) sino que obliga a reformular
cualitativamente las soluciones de reemplazo. Afortunadamente la incipiente criptografa cuntica
ha encontrado la forma de reemplazar los algoritmos de confidencialidad actuales por el sistema
absolutamente inmune e inviolable del one-time pad de Shannon. El mtodo es muy simple y
consiste en aplicar la suma mdulo dos (XOR) bit a bit entre el texto a proteger y una clave
secreta. La desencripcin consiste simplemente en repetir el proceso. El algoritmo posee la
propiedad del secreto perfecto (es tericamente inviolable) y no es nuevo, sin embargo no se
empleaba porque requera el intercambio de claves de uso nico de igual tamao al propio texto a
encriptar. En 1984, Bennet y Brassard desarrollaron el primer algoritmo de intercambio de
claves cuntico (QKD) conocido como BB84. Lo interesante de este mtodo basado en el
intercambio de fotones polarizados es que es inmune a las intrusiones o escuchas indeseadas.
Hoy da ya se comercializa un sistema que implementa este intercambio de claves, de absoluta
seguridad y que permite afirmar que entre la carrera milenaria de los que se dedicaron a proteger
los datos (criptgrafos) y los que se dedicaron a atacarlos (criptoanalistas) han triunfado definitiva
e irreversiblemente los primeros.
Hemos visto que la descripcin de la complejidad en biologa por medios clsicos ofrece severas
dificultades, muchas veces provocadas por la extensin en tiempo, memoria o espacio que
requiere la mera descripcin de esos sistemas. Tambin hemos discutido que uno de los
atractivos de la computacin cuntica es el de reducir exponencialmente la complejidad en
extensin del tratamiento clsico. Un objetivo muy ambicioso consiste en disear un
algoritmo cuntico que permita describir la complejidad en sistemas biolgicos. Tal vez sea
difcil lograr este objetivo, ni siquiera en forma parcial. Pero el objetivo es vlido y tal vez sea la
nica va de llegar a capturar por medicin la esencia de la complejidad en ciencias
experimentales.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 34-76
Operaciones sobre qubits aislados

El desarrollo de las herramientas computacionales cunticas comienza con las operaciones
sobre los elementos ms simples, los qubits. Las operaciones se describen en trminos de
puertas lgicas. Estas puertas cumplen la funcin equivalente a la de los operadores
booleanos unarios como la negacin .NOT. en la computacin clsica La combinacin de
estas puertas lgicas permiten el desarrollo en microcdigo de los algoritmos cunticos,
para ser trasladados a hardware si se dan las condiciones suficientes.

Recordemos que un qubit es un vector 1 0 b a + en la base ortonormal { 1 , 0
r r
} y
caracterizada por los parmetros complejos a, b que satisfacen 1 | | | |
2 2
+ b a . Se recuerda
adems que cada qubit se puede representar en la esfera de Bloch a travs del cambio de
coordenadas ) 2 / ( ) exp( ); 2 / cos( sen i b a . Las puertas lgicas deben preservar
esta norma y por ende deben ser operadores (matrices) unitarios 2x2. Denominaremos
unarios a operadores unitarios 2x2 que poseen un nico qubit de entrada y de salida. La
dotacin ms importante de las puertas lgicas es el siguiente conjunto de seis operadores

,
_

,
_

,
_

1 0
0 1
;
0
0
;
0 1
1 0
) (
Z
i
i
Y X
Pauli de matrices puertas
(1.7.1)

,
_

,
_

,
_

) 4 / exp( 0
0 1
;
0
0 1
;
1 1
1 1
2
1
8 / ,

i
T
i
S H
puerta y fase de puerta Hadamard puerta
(1.7.2)

los que no forman un conjunto ortogonal ya que se verifican (por ejemplo) las siguientes
relaciones entre ellos

2
; 2 / ) ( T S Z X H + (1.7.3)

Las matrices de Pauli dan lugar a tres clases de matrices unitarias al ser exponenciadas

,
_

,
_

,
_

) 2 / exp( 0
0 ) 2 / exp(
2 2
cos ) (
2
cos
2
2 2
cos
2 2
cos ) (
2
cos
2
2 2
cos
2 2
cos ) (
2 /
2 /
2 /

i
i
Z sen i I e R
sen
sen
Y sen i I e R
sen i
sen i
X sen i I e R
Z i
z
Y i
y
X i
x
(1.7.4)

generando los operadores de rotacin alrededor de los ejes z y x , , . La interpretacin de
estos operadores sobre la esfera de Bloch es que si se tiene un qubit en tres dimensiones
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 35-76
tal que ) , , (
z y x
n n n n y se le aplica uno de los operadores de rotacin con un ngulo , el
vector rota alrededor del eje correspondiente en grados. Para simplificar circuitos es
conveniente recordar que

X HZH Y HYH Z HXH ; ; (1.7.5)

Las propiedades bsicas de los circuitos cunticos son las siguientes: el tiempo evoluciona
de izquierda a derecha, las lneas o conexiones simples representan qubits y un /
representa un conjunto de qubits. La diagramacin bsica de puertas es





















Figura 1.7.2: Puertas lgicas para qubits aislados













Figura 1.7.3: Operacin de algunas puertas lgicas
para qubits aislados, el operador H trabaja como un
operador de cambio de base y equivale a una rotacin
de 90 sobre el eje y seguida de una rotacin de 180
sobre el eje x en la esfera de Bloch

,
_

1 1
1 1
2
1
H HADAMARD

,
_

0 1
1 0
X PAULI-X

,
_


0
0
i
i
Y PAULI-Y

,
_

1 0
0 1
Z PAULI-Z

,
_

i 0
0 1
S FASE

,
_

) 4 / exp( 0
0 1
i
T
8 /
+ +

+
+

1
]
1

,
_

2
1 0
2
1 0
1 1
1 1
2
1
H HADAMARD
1 0
0 1
1 0

+
1
]
1

1
]
1

,
_

X PAULI-X
Z PAULI-Z 1 0
1 0
0 1


1
]
1

1
]
1

,
_

FUNDAMENTOS DE COMPUTACION CUANTICA




Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 36-76

Operaciones sobre qubits mltiples

Una de las operaciones ms tiles tanto en computacin clsica como cuntica es la
bifurcacin condicional del tipo Si A es cierto entonces ejecute B. Estas son operaciones
binarias en el sentido que operan sobre dos qubits y por ende son matrices 4x4. El prototipo
de esta clase de operadores es el CNOT, la lnea superior representa al qubit de control, la
inferior al qubit controlado. La operacin es la siguiente, si t es el qubit target y c el qubit
control, entonces c t c t c , si c es 1 flipea su estado (o sea si es 1 pasa a 0 y
viceversa), caso contrario t no se modifica, Aqu mostramos el diagrama de CNOT








Figura 1.7.4: Puerta CNOT, la linea superior es el qubit
de control, la inferior el qubit target junto a su matriz,
cuya primer columna representa la transformacin de
00 , la segunda la de 01 y as sucesivamente

Una caracterstica muy importante que distingue a la puerta CNOT clsica de la cuntica es
que la primera permite duplicar bits, en cambio en la cuntica es imposible duplicar o
clonar qubits (Los estados cunticos no pueden ser clonados).

En general, si U es un operador arbitrario sobre qubits unitarios, se puede crear la puerta U-
CONTROLADA (UC) de manera anloga a la anterior, slo acta U si c es 1





Figura 1.7.5: Puerta U-CONTROLADA (UC), el qubit
superior es el control del operador U, a la derecha una
puerta de control mltiple

El siguiente circuito cumple una funcin simple y til, el intercambio de estado de dos qubits





A B B B A B B A B B A B A A B A A B A , ) ( , , ), ( , ,

Figura 1.7.6: Puerta SWAP y su esquema
habitual en circuitos cunticos
U
t U c t c
C

U
A
A B
B
=
A B B
A A

,
_

0 1 0 0
1 0 0 0
0 0 1 0
0 0 0 1
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 37-76

El rol de qubit control y target pueden ser intercambiados, dependiendo de la base que se
considere (por ejemplo + . en vez de 1 , 0 ). Se pueden construir circuitos equivalentes
















Figura 1.7.7: Equivalencias entre puertas, el tercer
operador unario es el corrimiento de fase F(a). Por
ejemplo, para validar este caso se ejecuta
11 11 , 10 10 , 01 01 , 00 00
i i
e e

Un objetivo de inters es encontrar un circuito equivalente al U-CONTROLADO (UC)basado
exclusivamente en operadores unarios. Para ello, recurrimos a la siguiente equivalencia.
Sea como siempre U un operador unitario sobre qubits aislados, entonces se puede
demostrar que existen operadores unitarios A, B, C sobre qubits aislados, tal que ABC=I,
U=exp(ia)AXBXC y a un factor de fase general y resulta






Figura 1.7.8: Equivalencia de la puerta U-
CONTROLADA (UC) en funcin de operadores unarios

Otra puerta de inters es la puerta de Toffoli que emplea dos qubits de control








Figura 1.7.9: Puerta Toffoli, los qubits c
1
y c
2
controlan
al qubit t. A esta puerta se la define como C
2
(NOT)
Z
Z
=
H H
H H
=
F(a)
=
F(a)

,
_

) exp( 0
0 1
) (

i
F
U
=
A
F(a)
C B






FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 38-76

En general el circuito puede tener ms de dos lneas (qubits) de control, si tuviese n qubits
de control operando sobre una puerta unaria U de un solo qubit, se la definira como puerta
C
n
(U).
sntesis







Por ejemplo, la puerta Toffoli puede construirse con estos cuatro operadores unarios









Figura 1.7.10: Descomposicin secuencial de la puerta
Toffoli en operadores unarios elementales

Por ltimo tenemos el operador o puerta de medicin, que transforma un qubit en un bit
clsico. En el siguiente diagrama se presenta una puerta de medicin, las lneas dobles se
usan para representar bits clsicos











Figura 1.7.11: Operador de medicin


Paralelismo cuntico

El paralelismo cuntico es uno de los atributos fundamentales de los algoritmos cunticos y
el principal responsable de su enorme potencial de cmputo comparado con su contraparte
clsica. Heursticamente y a riesgo de sobresimplificar, el paralelismo cuntico permite a las
computadoras cunticas evaluar una funcin f(x) para mltiples valores de x en forma
simultnea.

H
=
T
+

T
T
+

T
T
+

H
T
+

T
S
M

2
1 0
2
| | ) 1 (
| | ) 0 (

+
p
p
48 47 6
El juego de las puertas de Hadamard (H), Fase (S), CNOT y 8 / permite construir cualquier
circuito cuntico basado en cualquier operacin unitaria. Cualquier circuito binario o de orden
superior se puede transformar en circuito unario y estas puertas lgicas forman un juego
universal para las operaciones unarias., es decir construir cualquier computador cuntico
imaginable
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 39-76
Por ejempo, sea f(x):{1,0}{1,0}una funcin con un bit como dominio y rango. Se define
una transformacin U
f
definida por el mapa ) ( , , x f y x y x donde es como siempre
la suma mdulo dos. Suponiendo que para nosotros el circuito detallado de esta funcin es
una caja negra, lo simbolizamos









) ( , , x f y x y x

Figura 1.7.12: Operador U
f
de evaluacin
paralela de f(0) y f(1)

Se puede crear una base de superposicin 2 / ) 1 0 ( + con la transformacin de
Hadamard operando sobre un 0 . Si se ingresa esa base en el circuito arriba descripto
junto a un qubit ancillar (estado puro) nulo, resulta

2
) 1 ( , 1 ) 0 ( , 0
0 ,
2
1 0 f f
U
f
+

,
_

+
(1.7.6)

el estado superpuesto resultante es notable ya que contiene en un solo qubit las
evaluaciones de ambos f(0) y f(1). Esta es la esencia del paralelismo cuntico. Al contrario
de lo que ocurre con los circuitos clsicos donde el paralelismo se logra por circuitos
mltiples cada uno computando f(x) para distintos x, aqu un solo circuito y una sola
evaluacin computa ambos valores.

Este procedimiento se generaliza para un nmero arbitrario de qubits por la Transformada
de Hadamard o de Walsh-Hadamard, que consiste simplemente en la aplicacin de n
puertas H en paralelo.






Figura 1.7.13: Transformada de Hadamard
2
H operando sobre dos qubits en paralelo

Por ejemplo, en este caso, si las entradas son estados cero


U
f

x
y
x
) (x f y
H
H
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 40-76
( ) 11 10 01 00
2
1 0
2
1 0
00
2
1
2
+ + +

,
_

,
_

+

H
(1.7.7)

En general, si ingresan n qubits es estado nulo, el estado de salida ser

x
n
n
x H
2
1
(1.7.8)

donde la suma abarca a todos los estados cunticos posibles del conjunto de qubits. La
transformada de Hadamard genera la superposicin simtrica de todos los estados bases
usando slo n puertas lgicas, lo que es muy eficiente. Por ejemplo para evaluar una
funcin f(x) tal como se la defini antes, en paralelo sobre todos sus valores del dominio,
primero se prepara el estado (mltiple de n qubits)
n
n
0 .... 00 0

, se lo procesa a travs
de la transformada de Hadamard para superponer todos los estados y por ltimo, junto a un
qubit ancilla nulo se lo pasa por una transformada U
f
, el resultado ser

( )

x
n
n
f
x f x U ) (
2
1
0 00L (1.7.9)

donde como antes la suma abarca todos los estados superpuestos de los n qubits. En cierto
sentido el paralelismo cuntico ha permitido evaluar simultneamente la funcin f(x) sobre
las 2
n
combinaciones de estados superpuestos de n qubits. La computacin cuntica
requiere algo ms para explotar el paralelismo cuntico aqu presentado y es la forma de
extraer informacin acerca de funciones superpuestas.

La transformada discreta de Fourier (FFT)

La transformada discreta de Fourier o transformada rpida de Fourier (FFT) es usualmente
descripta como la transformacin de un conjunto
1 2 1 0
, , , ,
N
x x x x K de N nmeros complejos
en otro conjunto
1 2 1 0
, , , ,
N
y y y y K de N nmeros complejos definidos por

j
N
j
k
x N ijk
N
y

1
0
) / 2 exp(
1
(1.7.10)

Esta transformada posee mltiples aplicaciones en ciencias, muchas veces resolviendo a
travs de su lenguaje y con facilidad problemas que por otra va seran ms complejos. El
ms importante algoritmo cuntico, el algoritmo de factorizacin y de logaritmos
discretos de Shor, est basado en la aplicacin de esta transformada. Imaginemos que se
define una transformacin lineal U sobre n qubits por su accin sobre las bases
computacionales j donde 1 2 0
n
j , entonces

1 2
0
) 2 / 2 exp(
2
1
n
k
n
n
k ijk j (1.7.11)

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 41-76
Se demuestra que esta transformacin es unitaria y realizable a travs de un circuito
cuntico. Si se escribe su accin sobre estados superpuestos tal como se vio en (1.7.9)


1
]
1


1 2
0
1 2
0
1 2
0
1 2
0
) 2 / 2 exp(
2
1
n n n n
k
k
j k j
j
n
n
j
k y k x ijk j x (1.7.12)

con lo cual vemos que se puede realizar la transformada de Fourier sobre N=2
n

elementos en paralelo a travs de un circuito cuntico basado en los conceptos
presentados del operador U
f
operando sobre N estados transformados por Hadamard.

Se presenta como ejemplo el circuito cuntico de una transformada de Fourier (FTT)
operando sobre tres qubits

,
_


2
2 4
3 4
6
3 6
4
4
4
5 6
2 4
7
6
7 2
4
5
4
5 2
6 4
7 4
2
7 6 5 4
6
6 4
3
2
3 2
1
1 1
1
1
1
1
1
1
1 1 1 1
1
1
1 1
1
1 1
8
1


Figura 1.7.14: Transformada de Fourier cuntica
operando sobre tres qubits en paralelo y su forma
matricial en H
8
, usando i i ) 8 / 2 exp(

Clsicamente la FFT requiere aproximadamente N log
2
N = n2
n
pasos para transformar va
Fourier a N = 2
n
nmeros. En una computadora cuntica como la aqu esbozada, la FFT se
concreta en (log
2
N)
2
= n
2
pasos. Esto representa una aceleracin exponencial.

principales diferencias entre computacin cuntica y clsica















1. Todos los operadores cunticos son unitarios, por lo tanto los circuitos cunticos son
reversibles, una diferencia importante con los circuitos clsicos. Por ese motivo no hay
puertas FANIN (Tipo AND u OR) que funden dos (o mas) lneas en una.
2. Los circuitos cunticos no admiten bucles (loops o feedbacks) y por lo tanto son lineales.
3. Los estados cunticos no se pueden clonar, no hay circuitos FANOUT que puedan replicar
qubits. Esta propiedad es otra importante diferencia con la computacin clsica.
4. Los circuitos cunticos son inherentemente paralelos, permitiendo evaluar una funcin f(x)
para mltiples valores de x en forma simultnea. Esta es la base de la gran potencia
computacional cuntica.
H S T
H S
H
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 42-76
1.8. Teora cuntica de la informacin (QIT)

(QIT: Quantum Information Theory) El concepto central de la teora de informacin clsica
es la medida de entropa de Shannon. Hemos desarrollado este tema en el apartado
correspondiente. Ahora analizaremos el concepto equivalente desde el punto de vista
cuntico. As como la entropa de Shannon mide la incertidumbre asociada con una
distribucin de probabilidad clsica, en mecnica cuntica los estados se describen en
forma similar, con operadores de densidad en reemplazo de las distribuciones de
probabilidad.

Von Neumann defini la entropa de un estado cuntico por la frmula

) log ( ) (
2
tr S (1.8.1)

Si
x
son los autovalores de entonces la frmula se puede rescribir

x
x
x
S

2
log ) ( (1.8.2)
donde al igual que en el caso clsico 0 0 log 0
2
por definicin. Por ejemplo, en un sistema
totalmente mezclado, el operador de densidad de un espacio d-Dimensional I / d posee una
entropa S = log
2
d (bits). Esta ltima frmula es la ms til para los cmputos. Por ejemplo,
usando Matemtica 4.1



Figura 1.8.1.: Cmputo de entropa de Von Neumann
usando Matemtica 4.1

Al igual que en el caso clsico, resulta til definir una versin cuntica de entropa relativa.
Sean y los operadores de densidad de dos sistemas, la entropa relativa de
respecto a es

) log ( ) log ( ) || (
2 2
tr tr S (1.8.3)

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 43-76
Al igual que en el caso clsico se verifica < ) || ( 0 S , donde la igualdad se verifica sii
= . La pregunta acerca de la continuidad de la entropa se responde de la siguiente
manera, supongamos que vara en una cantidad pequea, cunto se modifica su S( )?

Supongamos que y son matrices de densidad tales que la distancia entre sus trazas
satisface T( , )1/e, entonces se cumple la desigualdad de Fanne

)) , ( ( log ) , ( | ) ( ) ( |
2
T d T S S + (1.8.4)

donde d es la dimensin del espacio de Hilbert y (x)x.log
2
x. Esto demuestra que la
entropa crece moderadamente con los cambios del operador de densidad. La entropa de
Von Neumann posee cinco propiedades fundamentales

(1) La entropa es no-negativa y nula sii el estado es puro.

(2) En un espacio H
d
la mxima entropa es log
2
d y eso sii el sistema est en el estado
de mezcla completa = I / d

(3) Si un sistema compuesto AB est en un estado puro, S(A)=S(B)

(4) Si p
i
son probabilidades y los estados
i
dependen de subespacios ortogonales,
entonces

+
i
i i i
i
i i
S p p H p S ) ( ) ( ) ( , donde H( ) es la entropa clsica de
Shannon.

(5) Teorema de la entropa conjunta: Si p
i
son probabilidades e i son estados
ortogonales del sistema A y
i
cualquier conjunto de operadores de densidad de otro
sistema B , entonces

+
i
i i i
i
i i
S p p H i i p S ) ( ) ( ) ( , donde H( ) es la
entropa clsica de Shannon. En general ) ( ) ( ) ( S S S +

En forma anloga al caso clsico, se definen las entropas conjunta, condicional y la
informacin mutua entre dos sistemas cunticos

) | ( ) ( ) | ( ) ( ) , ( ) ( ) ( ) : (
) ( ) , ( ) | (
) log ( ) , (
2
A B S B S B A S A S B A S B S A S B A S
B S B A S B A S
tr B A S
AB AB
+


(1.8.5)

donde
AB
es la matriz de densidad del sistema AB. Algunas propiedades de la entropa de
Shannon fallan para la entropa de Von Neumann y esto tiene interesantes consecuencias
para la teora de informacin cuntica. Por ejemplo, para variables aleatorias X e Y vale la
desigualdad

) , ( ) ( Y X H X H (1.8.6)

lo cual es muy intuitivo ya que afirma que el conocimiento adicional puede disminuir la
indeterminacin de un sistema y a lo sumo no modificarla si se trata de variables
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 44-76
independientes u ortogonales. Esto falla en (algunos) sistemas cunticos si hay entramado
(entanglement)
muy importante

Al igual que el el caso clsico, valen los siguientes diagramas de entropa de Von Neumann
























Figura 1.8.2.: diagramas de la entropa informacional de Von
Neumann, en cada caso el rea negra representa la
indeterminacin existente en el conjunto indicado.

Mediciones

Las mediciones proyectivas conservan o incrementan la entropa de un sistema cuntico.
Supongamos que P
i
es un conjunto completo de proyectores ortogonales y un operador de
densidad. Entonces la entropa del estado residual


i
i i
P P luego de la medicin es
) ( ) ( S S (1.8.7)

donde la igualdad vale sii el sistema no se modifica por la medicin ( ). En cambio, las
mediciones generalizadas pueden disminuir la entropa del sistema.
En caso de sistemas cunticos entramados, la entropa conjunta entre ellos es nula
(S(A,B)=0) y la entropa condicional es negativa (S(A|B)<0, S(B|A)<0). Volveremos sobre este
tpico cuando se analicen los fenmenos de Teleportacin y codificacin superdensa. Desde el
punto de vista informacional una entropa condicional negativa significa que en el mundo cuntico
hay supercorrelacin o asociaciones entre estados que son ms fuertes que las que existen
entre entes en el mundo clsico.
X
A
Y
A
S(X)
X
A
Y
A
S(Y)
X
A
Y
A
S(X,Y)
X
A
Y
A
S(Y|X)
X
A
Y
A
S(X|Y)
X
A
Y
A
S(X:Y)
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 45-76


Concavidad

La entropa cuntica, al igual que la entropa clsica, es una funcin cncava en funcin de
sus argumentos. Dada una distribucin de probabilidad p
i
(donde

1
i
p ) y los
correspondientes operadores de densidad
i
, se verifica



,
_

i
i i
i
i i
S p p S ) ( (1.8.8)

y tomando en cuenta la distribucin de estados mixtos, se obtiene una cota superior y queda



,
_

+
i
i i
i
i i i
i
i i
S p p S p H S p ) ( ) ( ) ( (1.8.9)

que significa que la incertidumbre conjunta no supera a la incertidumbre media ms una
contribucin (clsica) de incertidumbre de la distribucin.

Subaditividad

Supongamos que dos sistemas cunticos diferentes A y B poseen el estado conjunto
AB
.
Entonces la entropa conjunta satisface

| ) ( ) ( | ) , (
) ( ) ( ) , (
B S A S B A S
B S A S B A S

+
(1.8.10)
La primera de estas desigualdades se la conoce como la desigualdad de subaditividad de
Von Neumann en la cual (al igual que en el caso clsico) la igualdad vale para A y B
independientes. La segunda es conocida como la desigualdad triangular o de Araki-Lieb.

La condicin de subaditividad puede extenderse a tres sistemas, el resultado se conoce
como la desigualdad de subaditividad fuerte y es uno de los resultados ms importantes
de la teora de informacin cuntica y expresa que para todo tro de sistemas cunticos
A,B,C vale

) , ( ) , ( ) ( ) , , ( C B S B A S B S C B A S + + (1.8.11)

Esta utilsima relacin se puede reformular de distintas maneras
) ' , ' ( ) , ( ; ) : ( ) ' : ' (
) , : ( ) : (
) | ( ) , | (
) ( 2 ) : ( ) : (
B A B A B A S B A S
C B A S B A S
B A S C B A S
A S C A S B A S

(1.8.12)

La ltima desigualdad es notable y expresa que las operaciones cunticas que preservan
la traza de los operadores de densidad conjuntos ( ) nunca incrementan la informacin
mutua.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 46-76
Monotonicidad

Una condicin razonable e intuitiva para la entropa cuntica se refiere al caso en que un
sistema cuntico est integrado por dos partes A y B y se obtienen dos operadores de
densidad conjuntos
AB AB
, , la entropa condicional disminuye cuando se ignora una de las
partes del sistema

) || ( ) || (
AB AB A A
S S (1.8.13)

Principio de incertidumbre informacional

Hay una elegante va entrpica para reformular el principio de incertidumbre de Heisenberg
visto en (1.4.5) con respecto a las desviaciones standard de dos observables C y D

2
| ] , [ |
) ( ) (


D C
D C (1.8.14)

Sean


D C
d d d D y c c c C las descomposiciones espectrales de las dos
observables y sea | | max ) , (
,
d c D C f
d c
la mxima fidelidad entre los autovectores
d y c , entonces resulta

) , ( log 2 ) ( ) (
2
D C f D H C H + (1.8.15)

o sea que las indeterminaciones clsicas (de Shannon) de ambas distribuciones estn
vinculadas y no pueden simultneamente reducirse a cero.

La cota de Holevo

La cota de Holevo es una cota superior a la informacin extrable en un sistema cuntico y
presta un papel importante en la teora de informacin cuntica. Supongamos que un
observador A prepara un estado
X
(de entre n+1 opciones) donde X=0,,n con
probabilidades p
0
,,p
n
. Si otro observador diferente B efecta una medicin POVM definida
por los elementos {E
y
}={E
0
,,E
m
} sobre dicho estado y el resultado de la medicin es Y, la
cota de Holevo dice que

HOLEVO
x
x x
S p S Y X H

) ( ) ( ) : ( (1.8.16)
donde

x
x x
p . Podemos apreciar que expresa un lmite superior a la informacin
extrable a travs de una medicin POVM sobre un sistema cuntico de estados mixtos. La
cantidad
HOLEVO

aparece en muchas relaciones tericas en teora de informacin


cuntica. De la relacin (1.8.9) se puede deducir que


x
x x
X H S p S ) ( ) ( ) ( (1.8.17)
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 47-76
donde la igualdad vale sii los estados
X


tienen soporte ortogonal. Supongamos que la
matriz de densidad no tiene soporte ortogonal o sea que la desigualdad fuese estricta,
entonces por comparacin de las dos ltimas relaciones sale que

) ( ) : ( X H Y X H < (1.8.18)

de donde se deduce que es imposible determinar X con absoluta confiabilidad basndose
en una medicin Y.


muy importante!



Vamos a analizar un caso concreto con el siguiente experimento. Supongamos que Alice
(llamemos Alicia al primer observador) prepara un qubit aislado en uno de dos estados
cunticos lanzando una moneda al azar. Si sale cara ella prepara el estado 0 y si sale cruz
prepara el estado 1 0 cos sen + donde es un parmetro real. En la base 1 , 0 se
puede escribir

,
_

,
_

2
2
cos
cos cos
2
1
0 0
0 1
2
1
sen sen
sen
(1.8.19)


En la siguiente figura se grafica la cota de Holevo en funcin del parmetro . Como lo
ilustran los cmputos en Matemtica 4.1, la cota tiene un mximo para 2 / y alcanza
un valor de 1 bit, con lo cual para ese valor la informacin adquirible por el observador
independiente Bob (llammoslo Roberto) es igual a la que Alice introdujo en el sistema.
Esto ocurre porque cuando 2 / , Alice elije al azar uno de dos estados ortogonales

,
_

,
_

1 0
0 0
;
0 0
0 1
2 1
(1.8.20)

En cualquier otra condicin, Bob no puede recuperar toda la informacin que haya
introducido Alice, ya que su cota de Holevo es menor a 1 bit.
De la cota de Holevo surge que si alguien prepara un sistema cuntico mixto basado en
estados cunticos no ortogonales, ningn observador podr determinar con certeza cul
era el estado original. Slo podr hacerlo si los estados originales fuesen ortogonales. Este
hecho que no posee un equivalente clsico tiene una singular importancia ya que impone una
barrera fundamental al conocimiento que se puede llegar a tener de un sistema cuntico. Por otro
lado el teorema de la no-clonacin de los estados cunticos impide que a travs de
promedios estadsticos se pueda resolver esta indeterminacin esencial de los estados mixtos. El
conocimiento cuntico es imperfecto comparado con el conocimiento clsico. Analizar la
complejidad de los sistemas desde el punto de vista cuntico aade una cuota adicional de
indeterminacin, a pesar que los sistemas se enfocan a la mxima resolucin posible hoy da.
Desde el punto de la teora de informacin cuntica la cota de Holevo permite demostrar que no
se pueden usar n qubits para transmitir ms de n bits clsicos.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 48-76


Figura 1.8.3.: Cmputo y grfica en Matemtica 4.1 de la cota
de Holevo en funcin del parmetro , observar que todas las
trazas de los operadores de densidad son iguales a 1 y en el
valor Holevo slo interviene S( ) porque los autovalores de

1
y
2
son {0,1}, por lo cual sus entropas son nulas. Slo
cuando 2 / se puede extraer toda la informacin que se
haya introducido en el sistema porque los estados base son
ortogonales. Cuanto menor sea
HOLEVO
ms difcil se har
extraer informacin del sistema.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 49-76

La desigualdad de Fano

Supongamos que se quiere inferir el valor de una variable aleatoria X basado en el
conocimiento de otra variable Y. Intuitivamente se espera que la entropa condicional H(X|Y)
limite la eficacia de este procedimiento. La desigualdad de Fano formaliza esta intuicin y
aporta una cota para el conocimiento adquirible de X a travs de Y. Supongamos que
) (
~
Y f X es alguna funcin de Y que se emplea para obtener la mejor estimacin del valor
X. Sea )
~
( X X p p
e
la probabilidad de equivocarse al efectuar esta estimacin, entonces
la desigualdad de Fano establece que

) | ( ) 1 | (| log ) (
2
Y X H X p p H
e e
+ (1.8.21)

donde H( ) es la entropa de Shannon y |X| el cardinal del conjunto de valores posibles X.
Cualitativamente, la desigualdad nos informa que si la entropa condicional es grande
comparada con el tamao del cardinal, la probabilidad de equivocarse tambin ser grande.


1.9. Teleportacin y codificacin superdensa

Hasta este apartado el anlisis de la teora de informacin cuntica ha enfocado temas que
no estn tan lejos de los recursos clsicos. Sin embargo, uno de los aspectos ms
interesantes de la teora cuntica de informacin es que contiene recursos absolutamente
novedosos que no poseen paralelos en la teora clsica. El ms comprendido de estos
recursos es el entramado (entanglement), aunque an se est lejos de tener una teora
general de entramado cuntico. Vamos a analizar este fenmeno.

Primero veamos cmo se generan estados entramados. Con el siguiente circuito cuntico
y su tabla de verdad respectiva, vemos que en base a qubits ancilla de entrada se pueden
generar cuatro estados entramados, conocidos como estados de Bell o pares EPR en
honor a lo ya discutido en el apartado 1.6.


Entrada Salida
00 ( 00 + 11 )/
00
2
01
( 01 + 10 )/
01
2
10 ( 00 - 11 )/
10
2
11 ( 01 - 10 )/
11
2

Figura 1.9.1.: Generacin de los estados entramados de Bell o
pares EPR. Ntese la formacin de una base de Bell integrada
por estos cuatro estados entramados ortonormales.

Teleportacin cuntica

Aplicando las tcnicas descriptas en los ltimos apartados se puede analizar algo que es
sorprendente y no trivial, la teleportacin cuntica. Esta es una tcnica para mover estados
y
x H
xy


2
, 1 ) 1 ( , 0 y y
x
xy
+

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 50-76
cunticos en ausencia de canales de comunicacin de naturaleza cuntica entre el emisor
Alice y el receptor Bob. Supongamos que Alice y Bob se conocen desde hace tiempo y
generan un qubit entramado
00
. Luego ellos se separan (a aos luz de distancia) y cada
uno se lleva un qubit entramado del par. En un instante dado Alice decide mandarle a Bob
un qubit cuyo estado es para ella desconocido. Slo dispone de la posibilidad de
enviarle a Bob bits clsicos y como ambos disponen de hardware cuntico, ejecutan el
experimento que se diagrama en la siguiente figura




















Figura 1.9.2.: Circuito de teleportacin de un qubit de estado
cuntico desconocido de Alice a Bob por transmisin de dos
bits clsicos. Ambos poseen de entrada un qubit entramado.
En la fila inferior se ilustran los sucesivos estados cunticos del
proceso

Se pueden seguir los estados sucesivos aplicando paso a paso los operadores
correspondientes

( ) ( ) [ ]
( ) ( ) [ ]
( ) ( ) [ ]
( ) ( ) ( ) ( ) [ ] 0 1 11 1 0 10 0 1 01 1 0 00
2
1
01 10 ) 1 0 ( 11 00 ) 1 0 (
2
1
:
01 10 1 11 00 0
2
1
:
11 00 1 11 00 0
2
1
:
) , ( 1 0 :
2
1
00 0





+ + + + +
+ + + +
+ + +
+ + +
+
HADAMARD post
CNOT post
comienzo
os desconocid teleportar a
(1.9.1)

BARRERA DE ESPACIO
M
2

H
X
M2

M
1

Z
M1

A
L
I
C
E

00

B
O
B

0

FUNDAMENTOS DE COMPUTACION CUANTICA




Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 51-76
como se puede apreciar, al salir de la puerta Hadamard el estado se separa en cuatro
trminos independientes y ortogonales. Por ejemplo, el primer trmino tiene a los qubits de
Alice en el estado 00 y al medir obtiene 00, el qubit de Bob estar en el estado
1 0 + , o sea el estado del qubit teleportado. Lgicamente, los qubits de Alice pueden
hallarse en uno de cuatro estados ortogonales y por ende hay cuatro resultados posibles del
experimento


0 1 1 , 1 ,
1 0 0 , 1 ,
0 1 1 , 0 ,
1 0 0 , 0 ,
:
} 1 , 0 { , medidos clsicos bits los son b a, :
4
4
4
4
3






+
+

b a sii
b a sii
b a sii
b a sii
signo de cambio y negacin de operadores post
b a ab mediciones post
(1.9.2)

aporte


Codificacin superdensa

Esta es otra simple y sorpresiva aplicacin de la mecnica cuntica elemental. En cierto
sentido se la puede considerar un experimento inverso al de la teleportacin, lo que se
resalta al analizar el balance entrpico de ambos fenmenos. En este caso, Alice y Bob
comparten como en la teleportacin un qubit entramado de Bell o par EPR
00
. Ahora
Alice desea enviar a Bob en un solo qubit dos bits clsicos de informacin, de all el nombre
de codificacin informacional superdensa. Esto lo logra de la siguiente manera, Alice le
devuelve a Bob su qubit entramado, pero elije una de cuatro opciones (codificables por dos
Obsrvese que para que se produzca la teleportacin es necesario que Alice le comunique a Bob
el resultado de sus mediciones. Este es el hecho que previene que exista comunicacin
supralumnica entre Alice y Bob, lo que violara la teora de la relatividad general. Otra
consecuencia curiosa de la comunicacin supralumnica sera la posibilidad de invertir la direccin
del tiempo y enviar informacin al pasado. Como la comunicacin de Alice a Bob no puede
superar c, esta aparente paradoja queda resuelta. Otra curiosidad de la teleportacin es que
parece crear una copia del qubit original (en violacin con el teorema de la no-clonacin), pero
esto tampoco es as porque durante el proceso el qubit original termina degradado en uno de dos
estados finales 1 0 o .

La teleportacin no slo es un curioso proceso cuntico sino que ilustra el intercambio de
recursos diferentes en la mecnica cuntica (por ejemplo que un par EPR y dos bits clsicos
equivalen a un qubit). La computacin cuntica y la teora cuntica de la informacin han
desarrollado un amplio conjunto de experimentos de intercambio de recursos, muchos de ellos
basados en la teleportacin, por ejemplo la construccin de puertas lgicas cunticas robustas
(inmunes al ruido) y la construccin de cdigos de correccin de errores. A pesar de todo lo dicho,
se est en los albores de entender el fenmeno de la teleportacin.

Un experimento ntimamente ligado a la teleportacin y que consiste en otro intercambio de
recursos, es la codificacin superdensa que veremos a continuacin.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 52-76
bits) de transformacin basadas en los operadores de Pauli antes de remitirlo, por ejemplo
si elije la opcin 01 transforma su qubit por la puerta Z antes de devolverlo, en general








|









Figura 1.9.3.: Esquema de la codificacin superdensa. Alice
decide comunicar a Bob 2 bits clsicos y lo logra enviando 1
slo qubit (el integrante del Par EPR convenientemente
transformado). Por ejemplo, para comunicar la opcin 00, lo
enva tal como est.


Diagramas de Feynman y balance entrpico de la teleportacin y la codificacin
superdensa

A finales de los aos cuarenta, el joven fsico estadounidense, Richard Feynman, reformul
la mecnica cuntica en trminos de rbitas, un concepto mucho ms cercano a la intuicin
macroscpica. Feynman estableci que los resultados mecnico-cunticos pueden
representarse como la suma de todos los posibles recorridos de las rbitas que unen un
punto inicial en el espacio y en el tiempo, con un punto final tambin en el espacio y en el
tiempo. Cada uno de esos recorridos contribuye de manera especial y lleva una fase
caracterstica (un reloj propio relacionado con el recorrido). Para encontrar el resultado es
necesario tomar en cuenta cada una de las fases, pues si un recorrido llegara con la
manecilla apuntando a las 12 y otro apuntando a las 6, los dos se anularan, pues tendran
una interferencia destructiva. Esta formulacin ha sido muy utilizada en la fsica de altas
energas, la que estudia las partculas y los campos elementales. Gracias a la formulacin
de Feynman ha sido posible calcular efectos sutiles que muestran las interacciones de las
fuerzas de la naturaleza. La dificultad siempre reside en la necesidad de encontrar un
nmero muy grande, de hecho infinito, de recorridos y calcular detalladamente las fases
para luego poder sumarlos y obtener el resultado deseado.

En nuestro caso, los diagramas de Feynman permiten representar de la forma ms simple
posible los fenmenos de teleportacin y codificacin superdensa. A su vez resulta
sumamente interesante analizar desde el punto de vista entrpico ambos fenmenos, en
particular la existencia de entropas condicionales negativas, resultado que hemos predicho
ALICE
transforma con
00I
01Z
10X
11iY
BOB
mide
+ 0

0
y
recupera
{00,01,10 o 11}

Generador EPR
00


+ 0

FUNDAMENTOS DE COMPUTACION CUANTICA




Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 53-76
en apartados previos para los sistemas entramados. Cerf y Adami (CERF,1997) avanzan un
paso ms all y plantean que el Par EPR de entropa nula se separa en sus dos qubits
entramados, de los cuales uno se comporta como partcula, un qubit con entropa uno y el
otro como antipartcula, un anti-qubit con entropa menos uno y portador de informacin
negativa (virtual).

En la siguiente figura se ilustran los diagramas entrpicos correspondientes a los procesos
clsicos de independencia y correlacin total, junto al caso entramado















Figura 1.9.4.: Balance entrpico de un sistema de dos qubits..
En la izquierda el diagrama de Venn de la entropa en un
sistema bipartito AB. En la derecha el diagrama de dos qubits
A y B con S(A)=1 y S(B)=1 en tres estados lmite. En a) una
mezcla independiente 50/50 de qubits 1 0 y . En b) los qubits
en mxima (anti) correlacin clsica, por ejemplo una mezcla
50/50 de 10 01 y . En c) un estado 100% entramado, por
ejemplo
( ) 10 01
2
1

o cualquier otro estado de Bell.


Las entropas de Von Neumann de los distintos estados es

[ ]
[ ]
[ ] [ ]
[ ] [ ]
n
n
AB
n
B A B A B A AB
n
n
B A
n
AB AB AB AB
B B
A A
n
donde Tr B A S
I
n
donde Tr B A S
Tr B S
Tr A S
/ 1 / 1
: : 2
/ 1
/ 1
/ 1
2
2
2
) (
lim
log ) : (
) (
lim
log ) | (
log ) (
log ) (









(1.9.3)

Resulta interesante comprobar que entre todos los operadores de densidad mencionados,

AB
ocupa un rol especial porque no es semi-definida positiva, por lo cual S(A|B) puede
ser negativa, hecho que se cumple en el caso de estados entramados. Definimos como
informacin virtual a aquella en la cual su extraccin (o recuperacin) violara el principio
S(A) S(B)
S(A|B)
S(A:B) S(B|A)
S(A,B)
1 0 1
0 1 0
-1 2 -1
S(A)=S(B)=1
A B
a)



b)



c)

1 % 50 0 % 50 +
( ) 10 01
2
1

10 % 50 01 % 50 +
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 54-76
de la causalidad. En otras palabras, la informacin virtual no puede dar lugar a
comunicaciones supralumnicas entre las dos partculas del par EPR. El signo de la
informacin virtual que se asigna a cada elemento del par EPR (positiva o negativa) no es
una propiedad intrnseca de la partcula sino que slo es asignable una vez que se complet
la dinmica del proceso. Los diagramas de Feynman de la teleportacin y codificacin
superdensa son





















Figura 1.9.1.: Diagrama espacio-temporal y de la dinmica de
la informacin cuntica en los procesos de teleportacin
(izquierda) y codificacin superdensa (derecha). A es el sitio de
Alice y B el sitio de Bob. Los qubits se representan con q y los
bits clsicos con c. Observar que el par EPR (de entropa nula)
se considera constitudo por un qubit (ebit, e ) de entropa uno
(portador de informacin virtual positiva) y un anti-qubit (anti-
ebit, e ) de entropa menos uno (portador de anti-informacin, o
informacin virtual negativa). Segn el diagrama de Feynman
inferior, el traslado de un anti-ebit en el sentido habitual del
tiempo equivale al traslado de un ebit en el sentido inverso del
tiempo. M y U son operadores de medicin y Unitario (general)
respectivamente
aporte

M
U
U M
2c q q
e
x
t
2c
q
q
e
e
EPR
A
B
e
2c
U M
2c q
2c
M
U
x
t
2c
q
e
e
EPR
A
B
Los fenmenos de la codificacin superdensa y la teleportacin abrieron los horizontes del
concepto de la informacin, brindando nuevas herramientas para la comprensin del universo. La
entropa negativa, la supercorrelacin, la informacin virtual, los e-bits y anti e-bits son
algunos de los aspectos que quebraron la frontera de lo intuitivo. Hoy da las explicaciones de
nuestro universo se apartan tanto de lo que nuestra mente llega a imaginar que parece necesario
desconfiar de las impresiones, las nociones intuitivas y abandonar las visiones simplistas de la
realidad en beneficio de una cabal comprensin por medios puramente abstractos.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 55-76
1.10. Simulacin cuntica (QS)

(QS: Quantum Simulation) La simulacin de sistemas cunticos que se presentan en la
naturaleza es uno de los campos naturales de aplicacin de la computacin cuntica y un
tema extremadamente complejo para ser abordado por computadoras tradicionales. Uno de
los motivos que explican esta dificultad es que el nmero de datos necesarios para describir
un sistema cuntico crece exponencialmente con el tamao del sistema y no linealmente
como ocurre con los sistemas clsicos. En general, almacenar el estado cuntico de un
sistema con n componentes requiere O(c
n
) bits

de memoria en una computadora clsica,
donde c es una constante que depende de los detalles del sistema simulado y la precisin
buscada en los resultados de esa simulacin.

Por el contrario, una computadora cuntica puede efectuar esa simulacin usando O(kn)
qubits, donde nuevamente la constante k depende de las condiciones particulares del
sistema simulado. Esto permite a las computadoras cunticas efectuar simulaciones que no
se pueden concretar por va clsica. Como ya se predijo en otro apartado, hay una
advertencia implcita en la computacin cuntica y es que al culminar la simulacin la
informacin deseada no siempre es fcil de recuperar. Cuando se mide un sistema simulado
de kn qubits, la informacin colapsa en algn estado definido (un autovalor natural de la
observable) brindando slo kn bits clsicos de informacin de los c
n
bits de informacin
oculta. Por eso, uno de los pasos cruciales en el desarrollo de simulaciones cunticas
consiste en el desarrollo de medios sistemticos mediante los cuales se pueda extraer
eficientemente la informacin buscada. Hoy da se conoce solo parcialmente cmo hacer
esto.
aporte

En algn futuro se podr descubrir un fenmeno fsico de la naturaleza que no sea
eficientemente simulable por la computacin cuntica. Lejos de ser una mala noticia, esto
sera un estmulo para extender nuestros modelos de computacin para abarcar a ese
fenmeno e incrementar el poder de nuestros actuales recursos. Tambin ser interesante
comprobar qu clase de nuevos efectos fsicos estn asociados con ese experimento. Otra
aplicacin para la simulacin cuntica es ganar comprensin acerca de otros algoritmos
cunticos, como ser el perfeccionamiento de los problemas algortmicos de bsqueda.

Finalmente la computacin cuntica brinda un corolario interesante y optimista de la Ley de
Moore. Recordemos que esa ley emprica establece que el poder de las computadoras
clsicas se duplica cada dos aos a costo constante. Sin embargo, suponiendo que
estamos simulando un sistema cuntico en una computadora clsica y queremos aadir un
nico qubit al sistema simulado. Esto al menos duplica los requerimientos de memoria
requeridos por la computadora convencional para almacenar los estados cunticos, con un
incremento equivalente en tiempo necesario de simulacin. El corolario cuntico a la Ley de
Moore se puede establecer diciendo que en los sistemas computacionales cunticos
cada dos aos se agrega un qubit a la computadora. Por supuesto esto no debe tomarse
Ms all de esta advertencia la simulacin cuntica parece que ser una de las aplicaciones
importantes de las computadoras cunticas. La simulacin de sistemas cunticos es un problema
importante en varios campos, especialmente en qumica cuntica donde las restricciones
computacionales hacen prcticamente imposible estudiar el comportamiento de molculas de
tamao moderado. Vale la pena recordar el ejemplo citado de la simulacin de la molcula
de metano. Con mucha menos razn resulta hoy da impensable la simulacin cuntica de
macromolculas que juegan un papel tan importante en la complejidad de la biologa.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 56-76
al pi de la letra aunque este razonamiento heurstico nos explica porqu debemos estar
interesados en las computadoras cunticas y que razonablemente en algn futuro superen
las capacidades de las tradicionales, al menos para algunas aplicaciones.

1.11. Teora cuntica de la complejidad computacional

aporte


La teora de la complejidad computacional es el campo que se ocupa de clasificar la
dificultad de los distintos problemas computacionales, tanto clsicos como cunticos. En un
apartado previo hemos desarrollado los fundamentos de esta teora, basada en la idea
general de clases de complejidad. Una clase de complejidad puede ser vista como un
conjunto de problemas computacionales que comparten una caracterstica en comn
respecto a los recursos que necesitan para ser resueltos. Recordemos la clasificacin que
se ha desarrollado para la teora clsica y que se resume en la siguiente figura

















Figura 1.11.1: Relaciones conjeturadas entre las clases de
complejidad algortmica, desde el punto de vista de la
computacin clsica.

Resumiendo brevemente, vemos que dos de las clases ms importantes son la P y la NP.
En esencia P es la clase de problemas computacionales que se resuelven rpidamente en
una computadora clsica. NP es la clase de problemas que tienen soluciones que pueden
ser rpidamente verificadas en una computadora clsica. Queda claro que P NP dado
que la capacidad de resolver problemas involucra la capacidad de controlar sus soluciones.
Cun poderosas son las computadoras cunticas? Qu es lo que les brinda su
potencia? Nadie conoce an la respuesta a esas preguntas a pesar de las sospechas
alimentadas por ejemplos como el de la factorizacin de que son exponencialmente ms potentes
que las clsicas. An es posible que las computadoras cunticas no sean ms poderosas que las
clsicas en el sentido que cualquier problema que puede ser eficientemente resuelto por una
computadora cuntica tambin lo sea a travs de computadoras clsicas. Por el otro lado y
eventualmente, se podra llegar a probar que las computadoras cunticas son mucho ms
potentes que sus contrapartes clsicas. En este apartado analizaremos este tema.

co-N P
N P co-N P
N P
N P
completo

P
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 57-76
Sin embargo, no se conocen los lmites entre ambas clases. El ms importante problema a
resolver en la teora de la complejidad clsica es determinar si P NP. Muchos
investigadores piensan que NP contiene problemas que no estn en P. En particular, hay un
subconjunto de problemas en NP, la clase NP-COMPLETO (NPC) que es importante por
dos motivos, primero que hay miles de problemas, muchos de gran inters terico y
prctico, de los cuales se ha demostrado que pertenecen a esa subclase, segundo que
cada problema de NPC es al menos tan difcil de resolver que cualquier otro en NP. Mas
precisamente, cualquier algoritmo que resuelva algn problema NPC podr ser adaptado
para resolver cualquier otro problema NP. En consecuencia, si P NP fuese verdadero,
entonces ningn problema NPC podr ser eficientemente resuelto por computadoras
tradicionales.

No se sabe si las computadoras cunticas podrn ser usadas para resolver rpidamente
todos los problemas en NP, a pesar que de hecho pueden ser usadas para resolver
algunos de esos problemas como el de la factorizacin que hoy por hoy pertenece a NP.

aporte


De hecho, sera muy interesante si las computadoras cunticas pudiesen resolver
eficientemente cualquier problema en NP. Existe un notable resultado negativo en este
sentido, que descarta que usando el paralelismo cuntico (en su versin mas cruda y
simple) se puedan resolver todos los problemas NP. Se pensaba que buscando en paralelo
por el espacio de soluciones factibles se podra hallar la solucin efectiva en tiempo P, pero
se demostr que esto no vala para todos los problemas en NP ya que la aceleracin
inducida por el algoritmo cuntico y optimal de bsqueda es cuadrtica ( ) ( N ) y no
exponencial ( ) (ln N O ) como debera haber sido para cubrir todo el espectro NP.

P y NP son solamente dos de una amplia gama de clases de complejidad. Otra clase de
inters es la clase PSPACE (polynomial space), la clase de problemas que se pueden
resolver con computadoras de memoria reducida aunque sin limitaciones de tiempo. Se
piensa que PSPACE es mayor que NP y P aunque nuevamente esto no ha sido
demostrado. Finalmente la clase BPP (bounded probabilistic polynomial) es la clase de
problemas que se pueden resolver usando algoritmos estocsticos en tiempo polinmico si
se tolera cierta probabilidad de fracaso acotada. Se considera a BPP (ms que a la propia
P) como la clase eficientemente resoluble por computadora cuntica.

Qu ocurre con las clases de complejidad propiamente cunticas? Podemos definir a
BQP (bounded quantum polynomial) como la clase de problemas que puede ser
eficientemente resuelta por una computadora cuntica si se tolera una cota prefijada de
probabilidad de fracaso. Estrictamente esto hace asemejar ms BQP a BPP que a P, pero
aqu no se enfatizar sobre dicha diferencia. No se sabe con precisin donde encaja BQP
Si el problema de la factorizacin fuese integrante de la clase NP-COMPLETO, entonces las
computadoras cunticas podran resolver eficientemente cualquier problema en NP. Las
opiniones estn divididas, hay investigadores que opinan que factorizacin se encuentra en NP,
otros poseen argumentos para opinar que pertenece a P. Hoy da el mejor algoritmo de
factorizacin general conocido (factoriza nmeros sin estructura particular reconocible), el GNFS
(General Numeric Field Sieve) posee una complejidad de clase subexponencial (es exponencial
pero en el lmite de la polinmica)
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 58-76
con respecto a P, NP y PSPACE. Lo que s se sabe es que las computadoras cunticas
pueden resolver eficientemente todos los problemas en P, pero que no hay problemas fuera
de PSPACE que pueda resolver eficazmente. Por lo tanto BQP esta ubicada en alguna
zona entre P y PSPACE como lo ilustra la siguiente figura




















Figura 1.11.2: Conjetura de las relaciones entre las clases de
complejidad clsicas y cuntica


La teora de computacin cuntica plantea desafos interesantes y significativos a las
nociones tradicionales de la computacin. Lo que hace que este desafo sea importante es
que los modelos tericos de la computacin cuntica son aparentemente
experimentalmente realizables porque a nuestro saber y entender esta teora es consistente
con la forma de comportamiento de la naturaleza. Si esto no fuese as, la computacin
cuntica sera una simple curiosidad matemtica.


1.12. Procesamiento cuntico en el mundo real

La computacin cuntica y la teora de la informacin cuntica son valiosos descubrimientos
tericos, aunque sus conceptos centrales como la superposicin y el entramado van
contra la intuicin que adquirimos del mundo que nos rodea. La pregunta que surge
naturalmente es si estas ideas describen realmente la forma en la cual opera la naturaleza.
Adems uno se plantea la cuestin de la escala. Ser posible desarrollar computadoras
cunticas de gran escala o habr limitaciones que impidan su concrecin? Comenzamos
con un experimento que aporta evidencia acerca de la existencia de qubits en la naturaleza.

El qubit es la unidad fundamental de la computacin cuntica y de la teora cuntica de la
informacin. Estamos interesados en conocer si existen en la naturaleza sistemas con
propiedades de qubits. La primer prueba experimental de la existencia fsica de qubits se
adquiri a principios del siglo XX, cuando an no se haban sistematizado los fundamentos
BQP?
P
NP
PSPACE
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 59-76
de la mecnica cuntica. En 1921 Stern concibi un experimento que en 1922 Gerlach llev
a la prctica y que originalmente consista en la deflexin de tomos de Ag excitados por
una fuente trmica, al pasar por un campo magntico. Como los resultados con la Ag se
oscurecen debido a su estructura compleja, en 1927 se repiti el experimento usando H
2
.


Se observ el mismo efecto bsico pero ms ntido debido a la simplicidad del tomo de
hidrgeno.

Los tomos de H
2
contienen un protn y un electrn orbital, se puede pensar en el
movimiento del electrn orbital como en una corriente elctrica alrededor del protn. Esta
corriente elctrica genera un campo magntico, cada tomo posee un momento magntico
dipolar, o sea se comporta como un pequeo imn. Si estos imanes atraviesan un campo
magntico se desvan mostrando un comportamiento que podemos definir como dual o
binario, desvo hacia arriba (+) o hacia abajo (-). Cmo se desva el tomo de hidrgeno
depende tanto del momento magntico dipolar como del campo magntico generado
durante el experimento. Construyendo adecuadamente el dispositivo experimental se puede
lograr que el tomo se desve en una cantidad que depende de la componente z del
momento magntico dipolar, donde z es algn eje fijo externo.

Al realizar el experimento surgieron dos hechos que en su momento fueron sorprendentes.
Primero, los tomos que salen de la fuente trmica no estn orientados al azar y en todas
las direcciones del espacio, con lo cual no hay una distribucin continua de los mismos. Lo
que se observa es un espectro discreto de ngulos, lgicamente debido a la naturaleza
cuntica del tomo. Lo segundo y en su momento ms sorpresivo es el nmero de picos
que se generan en el espectro. El hidrgeno haca previsible un nico pico de salida con
momento magntico dipolar uniforme pero lo que se observ era la aparicin de dos picos,
uno desviado hacia arriba por el campo magntico y el otro hacia abajo. Este
comportamiento finalmente se asoci con el spin del electrn, una nueva fuente de energa
que actuaba como adicin extra al momento magntico orbital del electrn. En la siguiente
figura se esquematiza el experimento y su resultado










Figura 1.12.1: Experimento Stern-Gerlach. tomos de H
2

calientes salen de una fuente trmica, son desviados por un
campo magntico sobre el eje Z y forman dos picos con igual
intensidad en el espectro de salida

Cuando se realiza un experimento en cascada, es decir provocando la dispersin de tomos
Z + en sucesivos campos magnticos (sobre distintos ejes, digamos X o Y) en vez de
volver a observar la aparicin continua de ese nico pico, en cada mdulo vuelven a
aparecer a la salida dos picos de igual intensidad.


Z
Z +

FUENTE



Z
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 60-76








Figura 1.12.2: Experimento Stern-Gerlach en cascada usando
campos magnticos alineados con los ejes Z-X-Z, en cada
mdulo se regeneran a la salida dos picos de spin con igual
intensidad.

Este experimento demuestra que el spin no es una propiedad inalterable de cada electrn y
que existe una superposicin de estados. Cada campo magntico (sea X o Z) realiza una
nueva medicin de spin sobre ese eje y se repite el patrn de probabilidad 50%-50% en
cada resultado. De esta forma, el estado Z + se descompone en los estados X y X +
y que a su vez el estado X + se descompone en los estados Z y Z + . La explicacin
ms simple de este experimento la provee hoy da el modelo qubit. Cada tomo es un
qubit, el haz de tomos en un chorro de qubits coherentes. Al pasar por el eje Z cada qubit
se mide en la base 1 , 0 y por ende se obtiene un 50% de qubits 0 y otro 50% de qubit
1 . El qubit 0 pasa por el campo X y se mide segn la base ( ) ( ) 1 0 , 1 0
2
1
2
1
+ y da
un 50% de cada tipo. Por ltimo los qubits ( ) 1 0
2
1
+ se vuelven a medir en la base 1 , 0
y lgicamente se vuelve a obtener un 50% de qubits 0 y otro 50% de qubit 1 .

Este ejemplo muestra que los qubits son un sistema confiable de modelar fenmenos de la
naturaleza. Por supuesto que no establece ms all de toda duda razonable que el modelo
de qubits es una forma correcta de entender el spin electrnico. Para eso hara falta ms
evidencia experimental. Sin embargo, el gran cmulo de evidencia experimental con
experimentos de esta clase permite asegurar que el modelo qubit brinda la explicacin ms
satisfactoria. Lo que es ms, se piensa que el modelo qubit y sus generalizaciones para
espacios de mayor dimensin, es capaz de describir cualquier sistema fsico.

aporte


El ruido es sin duda un impedimento significativo al desarrollo concreto de dispositivos de
procesamiento cuntico de la informacin. Es una obstruccin que no se puede eliminar y
que puede llegar a entorpecer el desarrollo de dispositivos en gran escala. La teora actual



FUENTE
Z
Z +

Z



Z



X
Z + X +
La creacin de dispositivos computacionales cunticos representa un gran desafo para los
cientficos e ingenieros del tercer milenio. Lo que cabe preguntarse es si seremos capaces de
afrontar ese desafo, si es una realidad posible o una fantasa y de ser posible cmo llevarlo a
cabo. Todas estas preguntas son importantes y merecen su consideracin.
Sin embargo, la incgnita fundamental es si existe alguna clase de principio que nos
prohiba efectuar el procesamiento cuntico de la informacin. Hay dos posibles
interferencias que se nos presentan espontneamente: que el ruido genere una barrera
infranqueable o que la mecnica cuntica demuestre ser incorrecta.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 61-76
de la correccin cuntica de errores sugiere que aunque el ruido es un impedimento, este
no representa una barrera fundamental o de principios. En particular existe un teorema del
umbral para la computacin cuntica que establece grosso modo que si el ruido existente
en un circuito computacional cuntico se puede mantener por debajo de una cierta cota
constante, entonces los cdigos de correccin de errores pueden servir para incrementar la
escala, esencialmente hacia el infinito. Lo que se deber pagar a cambio es una cierta
cuota de redundancia interna y un moderado incremento en la complejidad computacional.
El teorema del umbral realiza algunas suposiciones generales acerca de la naturaleza y
magnitud del ruido que se puede llegar a presentar y si se cumplen esas condiciones
entonces se puede llegar a neutralizar el ruido.

La segunda posibilidad considerada para impedir la computacin cuntica es que la
mecnica cuntica sea incorrecta. De hecho, la construccin de una computadora cuntica
ser uno de los buenos mtodos de probar a fondo la mecnica cuntica tanto relativista
como no relativista. Nunca ante se haba explorado un rgimen de la naturaleza del cual se
ha obtenido un control completo a travs de sistemas cunticos en gran escala y tal vez la
naturaleza termine brindando algunas sorpresas acerca de este rgimen que no sean fciles
de explicar desde el punto de vista de la mecnica cuntica. Si esto llegase a ocurrir, habr
llegado un punto de inflexin en el desarrollo de las ciencias de tanta significacin como lo
fuese a principios del siglo XX el hallazgo de la mecnica cuntica. Esta clase de
descubrimiento afectara tambin a la computacin cuntica y a la teora cuntica de la
informacin, sin embargo no se puede predecir si el mismo puede potenciar o neutralizar su
desarrollo.

Suponiendo que no exista impedimento fundamental para construir computadoras
cunticas, porqu invertir enormes recursos humanos y de capital para construirlas? Ya
hemos discutido algunas de esas razones: aplicaciones prcticas como la criptografa y la
teora de nmeros y lgicamente el deseo de llegar a descifrar los principios bsicos de la
naturaleza. Estos son evidentemente buenos motivos y justifican las inversiones en tiempo y
capital para llegar a tener una visin ms clara del poder relativo de la computacin
cuntica. Sin embargo no se debe menospreciar la necesidad de profundizar tericamente
los fundamentos de esas teoras para poder llegar en un punto a comparar adecuadamente
el potencial computacional cuntico relativo a su contraparte clsica. Un objetivo concreto
sera responder la hiptesis de la superioridad cualitativa de la computacin cuntica. A
partir de este momento mencionaremos proyectos de pequea, mediana y gran escala
(LSI: large scale integration) y nos referiremos con ello a la escala de densidades
crecientes de integracin de circuitos cunticos, tal como se plantea con las
computadoras clsicas. Histricamente el progreso tecnolgico es acelerado por el uso de
incentivos de escala corta y mediana, como etapas necesarias para el logro de los objetivos
en gran escala.

Dos objetivos de escala reducida que sera interesante lograr son la tomografa de estado
cuntico y la tomografa de procesos cunticos. El primero se ocupa de revelar el
verdadero estado de un sistema cuntico para superar la naturaleza oculta del estado
cuntico, un tema que ya hemos abordado y que se encuentra dificultado por el teorema de
la no clonacin de los estados cunticos, sin el cual se podran efectuar medidas repetidas
en funcin de distintas observables para esclarecer el real estado de un sistema. El
segundo es ms ambicioso y se vincula con el primero. Su objetivo es arrojar luz sobre la
dinmica de un sistema cuntico. Esta herramienta permitira caracterizar el comportamiento
de un sistema cuntico o un determinado canal de comunicacin cuntico. Adems
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 62-76
permitira poder evaluar el ruido de un sistema y ayudar a controlarlo. Adems de estas
aplicaciones obvias, la tomografa de procesos cunticos tendra aplicaciones significativas
como herramienta de diagnstico para ayudar en la evaluacin y perfeccionamiento de
operaciones primitivas en cualquier rea de la ciencia y tecnologa donde los efectos
cunticos sean de inters.

Tambin son interesantes otros proyectos de escala reducida como la criptografa cuntica
aplicada (QKD: Quantum Key Distribution) y la teleportacin cuntica. La primera es til en
la distribucin de claves para la encripcin simtrica inviolable, lo que ya fue mencionado.
Los usos de la teleportacin quedan ms abiertos a la discusin, una idea es usarla para la
transmisin robusta de estados cunticos en presencia de ruido. La idea es distribuir pares
EPR a los actores de un canal de comunicacin. Si bien se pueden llegar a corromper los
estados de Bell, existen protocolos especiales de destilacin de entramados que pueden
restaurar esos estados alterados. De hecho, los protocolos basados en la destilacin de
entramados y teleportacin ofrecen mejores resultados que las tcnicas ms
convencionales de correccin de errores cunticos para lograr comunicaciones libres de
ruido.

aporte


Cul va a ser la utilidad de las computadoras cunticas en la simulacin cuntica? Parece
previsible que las computadoras tradicionales se seguirn usando para determinar
propiedades bsicas de los materiales como energas de enlace y propiedades
espectroscpicas. Pero, una vez comprendidas las propiedades elementales, la simulacin
cuntica podr ser de gran utilidad para el diseo y ensayo de las propiedades de nuevas
molculas. En un laboratorio convencional, el hardware est integrado por materiales
noveles (por sntesis) y equipos (cromatgrafos, espectrgrafos, espectrofotmetros,
calormetros, centrfugas, etc.). En una computadora cuntica, todo ese hardware ser
simulable por software lo cual probablemente ser mucho ms econmico y rpido
(obviamente si ya se dispone de esa computadora). El diseo y los ensayos finales debern
ser ejecutados con sistemas fsicos reales, pero con l a computadora cuntica se podrn
explorar una gama mucho ms amplia de prototipos. Cabe acotar que se han concretado
esta clase de ensayos de simulacin por la va tradicional, pero con relativo xito debido a
las limitaciones ya mencionadas.

Un objetivo en gran escala es la factorizacin, la bsqueda de orden en grupos
multiplicativos y por ende la resolucin del problema del logaritmo discreto y por ltimo la
Una aplicacin de escala intermedia es el uso de computadoras cunticas a la simulacin de
sistemas cunticos. Las supercomputadoras convencionales ms grandes disponibles hoy da,
deben ser exigidas al mximo para llegar a simular incluso un sistema cuntico de unas pocas
docenas de qubits. Como ejemplo, veamos que sucede si se quiere simular un sistema de 50
qubits. Para describir el estado de tal sistema se requieren 2
50
10
15
amplitudes complejas. Si las
amplitudes se almacenan con 128 bits de precisin, entonces se requieren 256 bits o 32 bytes
para almacenar cada amplitud, o sea un total de 32 x 10
15
bytes, un equivalente a 32000
Terabytes. Esta cifra est bastante ms all de las computadoras actuales y corresponde a la
capacidad de almacenamiento disponible para la segunda dcada del siglo XXI, asumiendo que
se cumple la Ley de Moore. Un sistema de 100 qubits simulado con idntica precisin
requerir 32 x 10
30
bytes, los cuales, an usando tomos individuales de hidrgeno para
almacenar cada bit, requeriran mil toneladas de materia !
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 63-76
bsqueda cuntica (todos vinculados al tema del criptoanlisis, es decir al quiebre de
sistemas criptogrficos vigentes de clave pblica y de clave secreta- que hoy por hoy se
basan en la seguridad computacional y no en la seguridad incondicional como propone en
su reemplazo la criptografa cuntica). Especialmente la bsqueda cuntica tiene un gran
potencial debido a que las heursticas aplicadas en su resolucin podrn ser trasladadas a
un sinnmero de otros problemas computacionalmente complejos.

Vista la tremenda utilidad de la computadora cuntica, surge ahora la pregunta de cmo
hacer para construirla. En escala reducida (de pocos qubits) hay varias propuestas e incluso
algunos prototipos construidos. Las realizaciones ms simples son pticas, es decir
basadas en radiacin electromagntica. Dispositivos simples como divisores de rayos o
espejos han servido para efectuar manipulaciones elementales con fotones. Una de las
principales dificultades a vencer ha sido el desarrollo de caones monofotnicos en
especial los generadores de fotones a demanda. En muchos casos se ha optado por la
solucin ms simple de generadores estocsticos de fotones. Tanto la criptografa
cuntica (en particular QKD va protocolo BB84) como la teleportacin y la codificacin
superdensa se han concretado por va ptica. Una gran ventaja del uso de fotones es que
los mismos tienden a ser carriers (transportadores) estables de informacin mecnico
cuntica. Una desventaja es que los fotones no interactan directamente unos con otros.
Por ese motivo la interaccin debe ser mediada por un buffer (amortiguador elstico)
intermedio como un tomo que pueda interactuar con ambos fotones y generar el fotn de
interaccin resultante.

Un esquema alternativo est basado en diversos mtodos de captura atmica: est la
trampa inica que captura tomos cargados elctricamente y los confina en una regin del
espacio y la trampa neutra que hace lo propio con tomos nativos. Los mtodos
computacionales cunticos basados en trampas atmicas usan esos tomos para
almacenar qubits. Tambin interviene la radiacin electromagntica aunque de modo
diferente a los circuitos pticos. Aqu los fotones son empleados para manipular la
informacin almacenada en los tomos y no como contenedores de la misma. Se pueden
simular las puertas cunticas unitarias por aplicacin de pulsos de radiacin adecuados. Los
tomos vecinos pueden interactuar unos con otros va fuerzas dipolares. Mas an, la
naturaleza exacta de la interaccin entre tomos vecinos puede ser modificada aplicando
pulsos de fotones a dichos tomos, dndole al investigador la posibilidad de controlar las
operaciones a efectuarse. Finalmente se ejecutan las mediciones usando la tcnica de
saltos cunticos que implementa con precisin las medidas en la base computacional
usada para la computacin cuntica.

Otra clase de dispositivo procesador de informacin cuntica est basado en Resonancia
Nuclear Magntica (NMR). Estos esquemas almacenan informacin cuntica en el spin
nuclear de los tomos en una molcula y manipulan esa informacin con radiacin
electromagntica. Estos esquemas poseen dificultades especiales dado que en NMR no es
posible acceder a los ncleos individuales. En vez de ello, se almacena en una solucin un
gran nmero (tpicamente alrededor de 10
15
) de molculas esencialmente idnticas. Se
aplican pulsos electromagnticos a la muestra, forzando a que cada molcula responda de
la misma manera. Cada molcula pasa a ser una computadora cuntica independiente y la
solucin se comporta como un gran nmero de computadoras procesando en paralelo (de
modo clsico). NMR enfrenta tres dificultades particulares que la hacen diferente al resto de
dispositivos que se han analizado. Primero, las molculas se preparan equilibrndolas a
temperatura ambiente la cual es muy superior a los niveles de energa de intercambio de
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 64-76
spines nucleares, por lo cual la muestra se distribuye con los spines distribuidos al azar.
Este hecho hace que el estado inicial sea ms ruidoso que lo deseable para el
procesamiento cuntico de informacin. Un segundo problema es que la clase de
mediciones que se pueden efectuar sobre un sistema NMR es bastante ms reducida que
las que hubisemos deseado tener. Sin embargo, para la mayora de los casos, l o que
existe resulta suficiente. Tercero, dado que no se puede direccional puntualmente a cada
molcula en particular, la accin de distintos qubits puede ser simulada a travs del
comportamiento de ncleos separados dentro de la mismo molcula y a ellos s se los
puede direccionar a discrecin.

Se pueden hallar muchos de los elementos necesarios para efectuar procesamiento
cuntico informacional de gran escala en realidades ya existentes: una excelente
preparacin de estados y mediciones sobre un nmero limitado de qubits en la trampa
inica, una excelente dinmica en NMR de molculas de bajo peso molecular junto a la
notable posibilidad de reducir los diseos de circuitos VLSI (very large scale integration) a
escalas antes nunca vistas. Si se pudiese juntar estas caractersticas en un mismo sistema
fsico se estara cerca de lograr una computadora cuntica muy efectiva.
Desafortunadamente todos estos sistemas son muy diferentes y estamos a muchos aos de
poder contar con una computadora cuntica LSI. Sin embargo se cree que la existencia de
estas propiedades en sistemas existentes (aunque diferentes) da suficiente sustento para
que en un futuro mediato se logre la integracin LSI. Adems sugiere que hay bastante
mrito en el hecho de analizar sistemas hbridos con la finalidad de estudiar la forma de
enlazar las mejores propiedades de distintas tecnologas. Por ejemplo, hay mucho trabajo
en curso para atrapar tomos en el interior de cavidades electromagnticas. Esto permite
una manipulacin flexible del tomo por medios pticos y permite control por
retroalimentacin (feed-back) en tiempo real de forma no disponible en las trampas
atmicas convencionales.

conclusin


1.13. Mquinas cunticas de Turing (QTM) y la computadora cuntica universal

(QTM: Quantum Turing Machines) Durante las ltimas dcadas se ha desarrollado
ampliamente la teora de mquinas computadoras. Intuitivamente, una mquina
computadora es todo sistema fsico cuya evolucin dinmica la lleva de uno de los estados
de entrada (input) a uno de los estados de salida (output). Los estados se rotulan de alguna
manera cannica, la mquina se inicializa en algn estado y luego siguiendo una trayectoria
se mide el estado de salida. Para un sistema determinista clsico, el rtulo medido de salida
Es conveniente que no se evale al procesamiento cuntico de la informacin como si
fuese simplemente otra tecnologa de procesamiento. Por ejemplo, sera tentador desechar
la computacin cuntica como si fuese una tecnologa ms en la escala evolutiva de las
computadoras y que tender a desaparecer con el tiempo, tal como haya ocurrido con
muchas otras modas informticas como las memorias de burbuja (bubble memory). Esto
sera un craso error ya que la computacin cuntica es un paradigma abstracto para el
procesamiento de la informacin y que puede tener mltiples implementaciones tecnolgicas. Uno
puede comparar dos propuestas de computacin cuntica (una buena, una mala) y sin embargo
una mala implementacin cuntica seguir siendo de naturaleza diferente a un sobresaliente
diseo de una computadora convencional.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 65-76
es una funcin definida (f) de los rtulos de entrada, adems algn observador externo (el
usuario) podr medir el valor de ese rtulo y se dice que la mquina computa la funcin f.

Se dice que dos mquinas computadoras son computacionalmente equivalentes (bajo
rtulos prefijados de sus entradas) si computan la misma funcin con esos rtulos. Pero las
mquinas computadoras cunticas y las mquinas computadoras estocsticas clsicas no
computan funciones en el sentido arriba indicado, el estado de una mquina estocstica es
aleatorio donde la funcin de distribucin de probabilidades de las posibles salidas depende
del estado de entrada. El estado de salida de una mquina cuntica no es observable a
pesar de ser plenamente determinado por el estado de entrada de manera que el usuario no
puede descubrir su rtulo. Sin embargo, tambin aqu se puede definir la nocin de
equivalencia computacional, es decir que dos computadoras cunticas o mquinas
computadoras estocsticas clsicas sern equivalentes si poseen idnticas distribuciones
de probabilidad de sus rtulos de salida.

En el sentido descripto, una mquina computadora M computa a lo sumo una funcin. Sin
embargo no debiera haber ninguna diferencia fundamental entre alterar el estado de entrada
en el cual ha sido preparada y alterar sistemticamente la constitucin de M para que se
convierta en una mquina distinta M que compute una funcin diferente. Para formalizar
estas operaciones se suele pensar en que las mquinas poseen dos entradas: el programa
(software) que determina la funcin a computar y los datos que sern el argumento de esa
funcin. A cada una de esas M mquinas le corresponde un conjunto C(M) de funciones M
computables. Una funcin f() es M computable si M puede computar f() cuando se la
prepara con algn programa adecuado. El conjunto C(M) puede ser expandido si se
incluyen al conjunto de cambios en la estructura de M que se rotulan globalmente como M
programas posibles. Dadas dos mquinas M y M es posible construir una mquina
compuesta cuyo conjunto de funciones computables es la unin de C(M) y C(M).

No hay razn que impida inducir este razonamiento ad infinitum construyendo mquinas
cada vez ms potentes ni porqu debera existir una funcin que quede afuera del conjunto
computable de toda mquina fsicamente realizable. Aunque la lgica no prohiba la
computacin fsica de funciones arbitrarias, parece que la fsica s lo hace. Como es sabido,
cuando se disean computadoras uno llega rpidamente al punto en el cual por ms
hardware que se le agregue no incrementa el conjunto de funciones computables (bajo la
idealizacin que la capacidad de memoria se mantenga ilimitada, lo que es habitual en
teora de la computabilidad). Ms all, para funciones enteras de Z Z, el conjunto C(M)
est siempre contenido en C(T), donde T es la computadora universal de Turing
(TURING, 1936). C(T) tambin es conocida como el conjunto de funciones recursivas, es
enumerable y por ende infinitamente inferior que el conjunto de todas las funciones enteras
Z Z.

Church (CHURCH, 1936) y Turing (TURING, 1936) conjeturaron que las limitaciones de lo
que fuese computable o no, eran independientes del estado del arte en el diseo de la
construccin de computadoras, tampoco dependan de nuestra inteligencia o capacidad
para resolver problemas, sino que eran universales. Esta es la llamada Tesis Church-
Turing (TCT).



FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 66-76
Tesis Church-Turing (TCT)


La visin convencional de TCT la interpreta como la conjetura cuasi-matemtica que todas
las posibles formalizaciones de la nocin intuitiva de algoritmo o de computacin son
equivalentes unas de otras. Pero tambin se puede se puede dar una visin fsica de la TCT
conocida como el Principio Church-Turing (DEUTSCH, 1985). Segn Deutsch las funciones
naturalmente computables son aquellas que pueden en principio- ser computadas por un
sistema fsico real. Deutsch uni las nociones de computabilidad con procesos fsicos
reales, si una funcin es naturalmente computable debe serlo a travs de algn sistema
creable por la naturaleza. Tambin defini el concepto de simulacin perfecta. Una
mquina M es capaz de concretar una simulacin perfecta de un sistema fsico S para un
rotulado definido de sus entradas y salidas, si existe un programa (S) para M que
determina que M sea computacionalmente equivalente a S bajo esa misma rotulacin. En
otras palabras (S) convierte a M en una caja negra funcionalmente indistinguible de S.

Postulado Church-Turing (Deutsch)

Cada modelo general existente de computacin es efectivamente clsico. Esto significa que
la descripcin completa de su estado en cualquier instante es equivalente a la
especificacin de un conjunto de nmeros, todos los cuales son ab initio medibles. Sin
embargo, acorde a la teora cuntica que hemos desarrollado en los apartados previos, no
hay sistema fsico con esta propiedad. El hecho que la mquina clsica universal de Turing
no obedezca al Postulado Church-Turing es un buen motivo para buscar un modelo
computacional cuntico real. La motivacin ms urgente por supuesto es que la fsica
clsica es falsa.

Para resolver esta necesidad, Deutsch desarroll primero un modelo computacional
cuntico y finalmente una mquina cuntica universal de Turing (Q) o computadora
cuntica universal, la que es capaz de simular perfectamente cualquier sistema fsico
realizable por medios finitos. Puede simular sistemas ideales cerrados, incluyendo todas
las dems instancias de computadoras cunticas y simuladores cunticos, de precisin
arbitariamente grande (aunque no infinita). Al computar funciones enteras Z Z genera
precisamente las funciones recursivas clsicas C(T). Al contrario de T, puede simular
perfectamente cualquier proceso estocstico clsico y finito. Adems Q posee un conjunto
de recursos potencialmente tiles que no tienen equivalentes clsicos.

Al igual que la mquina de Turing, un modelo cuntico computacional Q consiste de dos
componentes, un procesador finito y una memoria infinita de la cual slo se usa
una
porcin
finita. Los cmputos proceden por pasos de duracin fija T, y durante cada etapa slo
interactan el procesador y una regin finita de la memoria, el resto de la memoria
permanece constante. De aqu en ms hablaremos de observables binarias que podemos
Cada funcin que sea naturalmente reconocida como computable, podr ser computada por una
mquina universal de Turing.
Cada sistema fsicamente realizable en forma finita puede ser perfectamente simulado por una
mquina computadora universal operada por medios finitos.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 67-76
considerar equivalentes a qubits. El procesador consiste de M observables binarias, la
cabeza lectora de Turing

M i
Z i n } { (1.13.1)

donde Z
M
es el conjunto de enteros mdulo M. La memoria consiste de una secuencia
infinita de observables binarias correspondientes a la cinta de Turing

Z i m
i
} { (1.13.2)

Llamaremos colectivamente a los {
i
n } como n y a los {
i
m } como m . Respecto a la posicin
de la cabeza lectora sobre la cinta, existe otra observable x que puede adoptar cualquier
valor entero (Z). Esta observable x es la direccin del cabezal sobre la cinta. Por lo tanto,
el estado de Q es un vector unitario en el espacio H (Hilbert) desplegado por los
autovectores simultneos de x m n , , aqu simbolizados n,m,x

K K K , , , : , , , ; : ;
1 0 1 1 1 0
m m m n n n x m n x
M
(1.13.3)

Deutsch define a (1.13.3) como los estados de la base computacional. Es conveniente
tomar el espectro de las observables binarias en Z
2
es decir {0,1} y no en la base fsica
tradicional {-, +} para su interpretacin en qubit.

La dinmica de Q es condensada por un operador unitario constante U en H. Este
operador especifica la evolucin de cualquier estado H t ) ( durante un slo paso
computacional, y para n pasos

) ( ) 0 ( ) (
+
Z n U nT
n
(1.13.4)

donde I UU U U
+ +
. No se necesita especificar el estado para valores negativos te
tiempo y el cmputo comienza a t=0. En ese tiempo inicial, n x , se inicializan con el valor
cero, y el estado de un nmero finito de los sitios de m se prepara como programa y
entrada y el resto se deja en valor cero. Por lo tanto


m
m
m
m
m
1 | |
: 0 ; 0 ) 0 (
2

(1.13.5)

donde solo un nmero finito de los
m
son no-nulos y
m
desaparece cuando un nmero
infinito de los m sean no-nulos. Para satisfacer el requerimiento que Q opere por medios
finitos , los elementos de la matriz U toman la siguiente forma

[ ]

+ +
+
x y
my
my x x
x
x x x
x
x
m n m n U m n m n U m n x U m n x ) , | , ( ) , | , ( : ; * : * *;
* * 1
'
* * 1
'
(1.13.6)

donde la productoria asegura que slo un sitio (qubit), el x-esimo), sea transformado en
cada paso computacional. Los otros dos trminos de Kronecker aseguran que durante cada
paso la posicin del cabezal no pueda cambiar en ms de una unidad mientras que las
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 68-76
funciones ) , | , (
* *
x x
m n m n U
t
que representan un proceso dinmico dependiendo slo de las
observables locales
x
m n , , son arbitrarias excepto que sean unitarias. Cada eleccin de esas
funciones, define una computadora cuntica diferente Q(
+
U U , ).

Las mquinas de Turing se detienen, sealizando el fin de los cmputos. En el caso de la
computadora cuntica esa condicin se alcanzara cuando dos estados globales
consecutivos fuesen idnticos (el sistema llegara al equilibrio). Un programa vlido ser
aquel que provoca la detencin despus de un nmero finito de pasos. Sin embargo,
(1.13.4) asegura que nunca se llega a que despus de una transformacin unitaria
(reversible) no-tri vial el sistema final sea igual al inicial.

conjetura

Mas an, Q(
+
U U , ) no debe ser observada antes que la computacin haya finalizado ya
que en general esto alterara su estado. Por lo tanto las computadoras cunticas necesitan
sealar activamente que han finalizado los cmputos. Uno de los qubits internos del
cabezal, digamos n
0
,

se reserva con este propsito. Cada programa vlido fuerza n
0
=1
cuando termina, sin interactuar con ese observable durante su ejecucin. Por lo tanto, el
qubit n
0
podr ser peridicamente medido para ver si se lleg a la detencin. Un Q-
programa es vlido si la esperanza de su tiempo de procesamiento es finita.

Dado que U es unitaria, la dinmica de Q como la de cualquier sistema cuntico cerrado,
es forzosamente reversible. Las mquinas de Turing experimentan cambios irreversibles
durante los cmputos y durante un buen tiempo se crey que la irreversibilidad era
condicin necesaria de la computabilidad. Sin embargo, Bennett (citado en Deutsch, 1985)
demostr en 1973 que esto no era necesario y construy explcitamente una mquina
clsica reversible de Turing.

Se pueden obtener computadoras cunticas Q(
+
U U , ) equivalentes a cualquier mquina
clsica reversible de Turing usando

[ ] ) , ( 1
2
1
) , | * *, (
) , (
*
) , (
*
m n C m n m n U
m n B
m
m n A
n
t
t
(1.13.7)

donde A,B y C son funciones con rangos (Z
2
)
M
, Z
2
y (-1,+1) respectivamente. En otras
palabras, las mquinas de Turng son aquellas computadoras cunticas cuyas dinmicas
aseguran que permanecen en los estados de la base computacional al culminar cada
paso, si se asegura que partieron de uno. La condicin necesaria y suficiente de unitariedad
es que el siguiente mapa sea biyectivo

))} , ( ), . ( ), , ( {( )} , {( m n C m n B m n A m n (1.13.8)

Ninguna mquina cuntica de Turing Q(
+
U U , ) puede llegar espontneamente al estado de
equilibrio. Esto no tiene sentido si se analiza con la ptica de la termodinmica clsica, ms an
si se tiene en cuenta que el proceso es una sucesin finita de pasos reversibles.
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 69-76
Dado que las funciones constituyentes A,B,C son arbitrarias en todo sentido no
especficamente limitado, deben existir opciones que hagan Q equivalente a T, la mquina
universal de Turing.

Para cada funcin recursiva f existe un programa (f) para T tal que cuando la imagen de
(f) es seguida por la imagen de cualquier entero i en la entrada de T, T va a detenerse
con (f) e i (ellos mismos) seguidos por la imagen de f(i), con todos los dems qubits
quietos (o nuevamente fijados en cero). Esto significa que para algn entero positivo n

O i f i f O O i f O U
n
), ( , ), ( : ; 1 ; 0 , ), ( : ; 0 (1.13.9)

Aqu O representa una secuencia de ceros y no se muestran explcitamente los autovalores
nulos de ) 0 ( < i m
i
. T no pierde generalidad si se le exige que cada programa asigne la
memoria como una secuencia infinita de huecos, cada uno de los cuales pueda albergar un
entero arbitrario. Por ejemplo, el a-simo hueco podra contener los bits marcados por las
potencias sucesivas del a-simo primo. Para cada funcin recursiva f y enteros a,b ; existe
un programa (f,a,b) que computa la funcin f en el contenido del hueco a y coloca el
resultado en el hueco b dejando el hueco a intacto. Si el hueco b no contuviese inicialmente
ceros, la reversibilidad exige que su valor inicial no se sobregrabe sino que se combine en
forma reversible con el valor de la funcin. Por lo tanto, omitiendo smbolos superfluos, se
puede esquematizar el efecto del programa por

) ( , ), 3 , 2 , ( , ), 3 , 2 , (
2 3 2 3 2
hueco f hueco hueco f hueco hueco f (1.13.10)

La funcin XOR ( ) cumple adecuadamente con los objetivos. Sea
1
.
2
la concatenacin
de dos programas vlidos tal que cuando termina el primero contine el segundo. Para cada
funcin biyectiva g existe un programa (g,a) cuya nica accin es reemplazar cualquier
entero i en el hueco a por el valor g(i). La prueba es directa, si un hueco b contiene
inicialmente ceros

) , , ( ) , , ( ) , , ( ) , , ( ) , (
1
b a I a b I a b g b a g a g

(1.13.11)


donde I es la funcin de medicin perfecta de Deutsch definida por

2 3 2 3 2
, ), 3 , 2 , ( , ), 3 , 2 , ( hueco hueco hueco I hueco hueco I (1.13.12)

La computadora cuntica universal de Turing (Q ) posee todas las propiedades
descriptas desde (1.13.9) a (1.13.12). Pero Q admite adems una clase adicional de
programas que evolucionan los estados de la base computacional hacia superposiciones
lineales unas de otras. Todos los programas de Q pueden ser expresados en el lenguaje
de las operaciones ordinarias de Turing y solamente ocho operaciones adicionales. Estas
son transformaciones unitarias confinadas a un espacio H
2
(Hilbert 2-D), el espacio de
estados de los qubits aislados. Esas transformaciones conforman una familia paramtrica
de cuatro miembros. Sea cualquier mltiplo irracional de . Las cuatro transformaciones
bsicas son

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 70-76

,
_

,
_

,
_

,
_

) exp( 0
0 1
1 0
0 ) exp(
cos
cos
cos
cos
3 2
1 0





i
V
i
V
isen
isen
V
sen
sen
V
(1.13.13)

que junto a sus inversas
7 6 5 4
, , , V V V V generan por composicin un grupo denso en el grupo
de todas las transformaciones unitarias en H
2
. Es conveniente, aunque no imprescindible,
agregar dos operadores adicionales

,
_

,
_

1
1
1 1
1 1
2
1
9 2
1
8
i
i
V V (1.13.14)

que corresponden a rotaciones de spin de 90. A cada generador V
i
le corresponden
elementos de la base computacional que representan programas ( V
i
, ) que ejecutan V
i

hasta el bit menos significativo del -hueco. Por lo tanto, si j {0,1} los elementos de la
base evolucionan acorde a

k V j V k j V
i
k
i i
), 2 , ( ), 2 , (
1
0

(1.13.15)

la composicin de los V
i
puede ser afectada por la concatenacin de los ( V
i
, ). Por lo
tanto hay programas que efectan sobre cualquier qubit una transformacin unitaria
arbitrariamente cercana a la deseada. Se pueden extraer conclusiones anlogas sobre el
estado conjunto de cualquier nmero finito de L qubits. Esto establece el sentido en el cual
Q es una computadora cuntica universal. Ella puede simular con precisin
arbitrariamente elegida, cualquier otra computadora cuntica Q(
+
U U , ) imaginable.

conjetura









A pesar del hecho que una computadora cuntica universal tiene un espacio de estados de
dimensin infinita, slo se requiere en cada paso una transformacin unitaria de dimensin finita
para simular su evolucin. La computadora cuntica universal de Turing ( Q ) desarrollada por
Deutsch es capaz de simular con precisin arbitraria cualquier computadora cuntica o simulador
cuntico imaginable. Dado que el mundo clsico surge como paso al lmite de la mecnica
cuntica, existe una computadora biolgica universal ( B ) derivada de Q , con estructura finita
pero arbitrariamente grande y capaz de simular cualquier sistema biolgico, desde un virus,
pasando por una clula y hasta un individuo completo. Este modelo B existe pero por limitaciones
de recursos fsicos nunca podra ser construido.

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 71-76
1.14. Caos cuntico

An hoy da, la comunidad de fsicos no se ha puesto de acuerdo acerca de una definicin
del caos cuntico. La definicin clsica relacionada a la inestabilidad exponencial es
totalmente inadecuada dado que esa clase de caos slo es posible en ejemplos muy
exticos y no describe el comportamiento cuntico habitual.

Al revs de lo que ocurre en matemticas, en la fsica es habitual comenzar a estudiar un
fenmeno como la dinmica no lineal y el caos clsico y recin en una instancia final cuando
se hayan madurado los conceptos intentar su sistematizacin.

En el intento de construir una definicin razonable de caos cuntico se quisiera enfatizar la
caracterstica ms notable del fenmeno visto desde el punto de vista clsico. Dado que en
la dinmica cuntica se encuentran presentes las propiedades estadsticas de los sistemas
dinmicos clsicos slo en escalas de tiempo restringidas y diferentes a las habituales, el
caos cuntico es un caos dinmico de tiempo finito.

Una opinin corriente sobre el caos cuntico es que no existe como tal. Es simplemente una
abreviatura para el estudio cuantitativo de sistemas cuya contraparte clsica exhibe caos.
En dinmica clsica la definicin normal de caos que ya hemos desarrollado en un captulo
previo de este trabajo, se formula en trminos de la hipersensibilidad a las condiciones
iniciales. Dos puntos arbitrariamente cercanos en el espacio de fases se separarn entre s
a velocidad exponencial. Esta tasa queda fijada por el mximo exponente de Lyapunov que
caracteriza la dinmica del sistema. Apenas algn exponente de Lyapunov se vuelve
positivo, algunas trayectorias divergen en el tiempo de manera que nos referimos a ese
sistema como catico.

La importancia prctica de las leyes estadsticas clsicas es que brindan una descripcin
relativamente simple del comportamiento esencial de dinmicas complejas. La actual teora
ergdica de los sistemas dinmicos con predicciones asintticas en el tiempo resulta
inadecuada para describir el caos cuntico. Se requiere una nueva teora que explique las
propiedades estadsticas de los sistemas dinmicos para rangos de tiempo finitos.

La distancia entre dos puntos en posicin y momento para los sistemas caticos clsicos
puede crecer exponencialmente en el tiempo porque la dinmica depende en forma no-
lineal de esos mismos argumentos. Por el otro lado, la dinmica de los vectores de
estado no depende del vector en s mismo: la ecuacin cuntica del movimiento es
lineal. Dado que la no-linealidad es un ingrediente esencial de la divergencia exponencial,
los sistemas cunticos no pueden exhibir hipersensibilidad a las condiciones iniciales.
Adems la hermeticidad del Hamiltoniano (la energa de un sistema debe ser un nmero
real) hace que el operador de evolucin deba ser unitario. Mientras que la linealidad de la
dinmica restringe la divergencia entre vectores de estado a tasas subexponenciales, la
condicin de unitariedad tiene consecuencias ms drsticas: la distancia entre dos
vectores de estado cualesquiera es una constante del movimiento. Esto es ms de lo
que se necesita para descartar la posibilidad de divergencia exponencial entre estados
inicialmente cercanos.

La linealidad de la ecuacin de Schrdinger asegura que no hay tal cosa como dinmica
cuntica catica definida en trminos de sensibilidad a las condiciones iniciales. Resulta un
tema muy interesante en s el poder descartar el comportamiento catico en el mundo
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 72-76
cuntico. Dado que todos los sistemas fsicos universales son esencialmente cunticos,
porqu algunos de ellos, como el sistema solar, exhiben hipersensibilidad a las
condiciones iniciales? Gran parte de la investigacin que se dedica hoy da al tema del caos
cuntico est orientado a buscar nuevos criterios del caos clsico que puedan ser
trasladados al mundo cuntico. Un ejemplo de esos criterios es el efecto mariposa: la
hipersensibilidad a las perturbaciones (segn este efecto caracterstico de los sistemas
caticos clsicos, el aleteo de una mariposa en Asia es capaz de provocar un huracn en
Amrica). En vez de estudiar la divergencia de las diferencias iniciales, se podra estudiar la
divergencia entre sistemas inicialmente idnticos y sujetos a Hamiltonianos ligeramente
diferentes. Si la dinmica del sistema fuese catica, la diferencia de las evoluciones debera
crecer exponencialmente antes de saturarse en un cierto valor mximo, mientras que para
los sistemas regulares este crecimiento debera seguir alguna ley polinmica.

Si la discrepancia alarmante entre el caos clsico y la prediccin de la mecnica cuntica
fuese slo generada por una definicin incorrecta del caos, el inters en el caos cuntico no
merecera la atencin que hoy da se le dedica. El caos genera otro conflicto alarmante
entre las predicciones clsicas y las cunticas: el Principio de Correspondencia de
Ehrenfest pierde validez despus de un breve tiempo para los sistemas caticos. Este
principio estipula que en el lmite de los grandes nmeros, el promedio cuntico de los
operadores de posicin y momento deben reproducir las trayectorias clsicas en los
espacios de fases. Ehtrenfest mostr que el tiempo necesario para que la diferencia entre
ambas predicciones fuese notable era suficientemente largo como para no ser tomado en
cuenta por el observador. Lo que se le escap al tiempo que fuese formulado es que en los
sistemas caticos la escala del tiempo de divergencia se hace mucho mas corta. Por lo
tanto resulta interesante entender bajo qu condiciones se reestablece este principio.

En general la dinmica compleja de sistemas con pocos grados de libertad se conoce como
caos determinista, si el nmero de grados de libertad fuese grande se la conoce como caos
microscpico. El aspecto ms interesante del caos microscpico es su conexin con la
termodinmica, ms especficamente nuestro entendimiento del segundo principio. Si el
incremento de entropa es un atributo esencial de nuestro universo, sera bueno
hacerlo mecnico-cuntico.

sntesis

Para sistemas Hamiltonianos la suma de los exponentes de Lyapunov debe ser unitaria ya que
la dinmica es conservativa, o sea preserva el volumen del espacio de fases. Por ese motivo,
si alguna trayectoria diverge exponencialmente habr otra que converge exponencialmente. Slo
los Hamiltonianos que sean funciones no lineales de la posicin y el momento podrn exhibir
caractersticas caticas. En ausencia de esta caracterstica los sistemas sern regulares e
integrables. Desde el punto de vista clsico, una de las caractersticas esenciales del fenmeno
del caos es la no-linealidad de las ecuaciones dinmicas y la irreversibilidad del rgimen
catico (contraccin del volumen del espacio de fases). La linealidad y la reversibilidad de las
ecuaciones dinmicas cunticas no es una aproximacin como lo suele ser en la fsica clsica
sino una propiedad fsica fundamental y universal. Por este motivo debe esperarse que el caos
cuntico posea propiedades muy particulares que en general sern difciles de asociar con el
comportamiento clsico. Los sistemas mecnico-cunticos no son representables por puntos en
el espacio de fases sino por vectores en espacios de Hilbert. La evolucin en el tiempo de esos
vectores es gobernada por la ecuacin de Schrdinger. Esta es la diferencia crucial responsable
por la ausencia de caos tal como lo hemos definido, en los sistemas cunticos.

FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 73-76
NDICE TEMTICO


A
algoritmos cunticos 32
autoestados 11
autovectores 11
B
Balance entrpico 53
base ortonormal 8
bounded quantum polynomial 57
BQP Ver Bounced quantum polynomial
C
caones monofotnicos 63
caos cuntico 71
cavidades electromagnticas 64
clases de complejidad 56
clonar qubits 36
codificacin superdensa 49, 54
Codificacin superdensa 51
completamiento 13
Computacin cuntica 32
computadora cuntica universal 64
computadora cuntica universal de Turing 69
computadoras cunticas 61
comunicaciones supralumnicas 54
correccin de errores cunticos 62
cota de Holevo 46
criptosistemas 32
D
descomposicin de Schmidt 26
descomposicin espectral 10
desigualdad CHSH 30
desigualdad de Bell 29
desigualdad de Fanne 43
desigualdad de Fano 49
Deutsch 66
diagramas de Feynman 52
dinmica cuntica catica 71
E
ecuacin de onda de Schrdinger 10
efecto mariposa 72
Einstein 28
elemento de la realidad 29
entanglement) Ver Entramado
entramado 44, 49
entropa conjunta 43
entropa de Shannon 42
entropa de Von Neumann 43
entropa relativa. 42
EPR 28
esfera de Bloch 9, 34
espacio de Hilbert 8
estado de Bell 25
estado mixto 23
estado puro 23
estados ort onormales 13
Experimento Stern-Gerlach 59
F
factor global de fase 12
factorizacin 40
FFT 40
fotones a demanda 63
funcin de medicin perfecta de Deutsch 69
funciones recursivas clsicas 66
G
Gerlach 59
H
Hadamard 39
Hamiltoniano 10, 71
Heisenberg 46
I
informacin mutua 43
L
Ley de Moore 55
logaritmos discretos 40
M
mquina clsica reversible de Turing 68
Mquinas cunticas de Turing 64
matrices de Pauli 10
matriz de densidad Ver Operador de densidad
mecnica cuntica 5
medicin cuntica 13
mediciones proyectivas 44
medida proyectiva 14
modelo cuntico computacional 66
modelos cosmolgicos 5
FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 74-76
N
NMR Ver Resonancia Nuclear Magntica
NP 56
NP-COMPLETO 57
O
operador de densidad 22
operador hermtico 10
P
par entramado 28
paradoja EPR 29
paralelismo cuntico 38
Postulados de la mecnica cuntica 8
POVM 15
Principio de Correspondencia de Ehrenfest 72
principio de incertidumbre 5
Principio de incertidumbre 20
producto tensorial 17
PSPACE 57
puerta de medicin 38
puertas lgicas 34
purificaciones. 26
Q
qubit 8
qubits entramados 53
R
REALI SMO LOCAL 30
Resonancia Nuclear Magntica 63
S
Schrdinger 11, 19
Shannon 42
Shor 40
simulacin de sistemas cunticos 55
subaditividad 45
superposicin cuntica 19
superposicin. 8
T
teleportacin 54
Teleportacin 49
teleportacin cuntica 49
teorema del umbral 61
Teora cuntica de la informacin 42
Tesis Church-Turing 65
Toffoli 38
tomografa de estado cuntico 61
trampa inica 63
Transformada de Hadamard 39
transformada discreta de Fourier 40
traza parcial 25
V
Von Neumann 42






FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 75-76

BIBLIOGRAFIA



1. AMERICAN MATHEMATICAL SOCIETY SHORT COURSE 2000, Samuel L. Lomonaco,
Quantum Computation, AMS, (2002)
2. BOUWMEESTER D. et al., The Physics of Quantum Information: Quantum Cryptography,
Quantum Teleportation, Quantum Computation, Springer Verlag, (2000)
3. BRAYTON R. et al, Logic Minimization Algorithms for VLSI Synthesis, KLUWER, Boston (1984)
4. BRYLINSKI R. K., Mathematics of Quantum Computation, CRC Press, (2002)
5. BROWN UNIVERSITY, USA Information Theory,
http://www.dam.brown.edu/people/yiannis/info.html
6. CERF N.J., ADAMI, C., Preprint, arXiv:quant-ph/9512022 v3 30 Oct (1997)
7. DEUTSCH D., Proc Royal Soc Lond, A 400, 97-117 (1985)
8. GAREY M., JOHNSON D., Computers and intractability: a guide to the Theory of NP-
Completeness, W. H. Freeman (1979)
9. HILL F., PETERSON G.R., Teora de conmutacin y diseo lgico, Ed. Limusa (1978)
10. HIRVENSALO M., Quantum Computing, Springer Verlag, (2001)
11. HOI-KWONG L., Introduction to Quantum Computation and Information, World Scientific Pub.,
(2001)
12. KITAEV Y. A. et al., Classical and Quantum Computation, AMS, (2002)
13. LANDAU L., LIFSHITZ E., Curso de Fsica Terica - Fsica Estadstica (Vol 5) - Ed. Revert
(1975)
14. LANDAU L., LIFSHITZ E., Curso abreviado de Fsica Terica, Libro 2: Mecnica Cuntica, Ed.
MIR, Mosc, (1974)
15. MENEZES A., OORSCHOT P., VANSTONE S., Handbook of applied cryptography, CRC Press
(1997).
16. NIELSEN, M.A.,CHUANG, I.L:, Quantum Computation and Quantum Information, Cambridge
University Press, (2002)
17. PITTENGER A. O., An Introduction to Quantum Computing Algorithms, Birkhauser, Boston
(1999)
18. SANTAL L. A., Vectores y Tensores, Manuales EUDEBA, (1961)
19. SCHRDINGER E., What is life?, Cambridge University Press, (1992)
20. SIEGFRIED T., The Bit and the Pendulum: From Quantum Computing to M Theory The new
Physics of Information, John Wiley & Sons, (2000)
21. TURING A. M., Proc Lond Math Soc Ser, 2, 442,230 (1936)
















FUNDAMENTOS DE COMPUTACION CUANTICA


Juan Pedro Hecht Ed. 2005-1 (v.2.1.)
Pag 76-76


FUENTES DE INFORMACIN EN LA WEB
SOBRE COMPUTACION CUANTICA



Sin lugar a dudas, toda la informacin necesaria para estudiar (al mximo nivel) espacios de Hilbert,
lgebra tensorial, mecnica cuntica, computacin cuntica, teora cuntica de la informacin,
teora cuntica de la complejidad y criptografa cuntica se encuentra disponible en Internet. El
mayor problema no es conseguir la informacin, sino clasificarla para que sirva a los fines
perseguidos. Estos links representan lo ms selecto de los portales dedicados a estos temas. Se
recomienda enfticamente recorrerlos para aprovechar todo lo aprovechable. Buena suerte.

http://xxx.lanl.gov/archives/quant-ph
http://feynman.stanford.edu/qcomp/
http://eve.physics.ox.ac.uk/QChome.html
http://vesta.physics.ucla.edu/smolin/index.html
http://aerodec.anu.edu.au/qc/index.html
http://www.research.ibm.com/quantuminfo/
http://www.physik.uni-ulm.de/sam/home.html
http://www.iro.umontreal.ca/labs/theorique/index_en.html




y si todo falla: www.google.com !