Cuantica y computacion: Una aproximacion

desde los postulados de la mecanica cuantica

Andres Sicard Ramrez, Mario E. Velez Ruiz
asicard@sigma.eafit.edu.co mvelez@sigma.eafit.edu.co

Universidad EAFIT; Medelln, Colombia

Mayo 30 de 1999

PACS : 03.65. w, 03.67.Lx, 89.70. + c

Resumen
Se presenta un resumen de cuatro formulaciones diferentes y equiva-
lentes de la mecanica cuantica. Se elige el formalismo de Dirac, como
el mas adecuado para presentar una aproximacion a la Computacion
Cuantica desde los postulados de la mecanica cuantica.

1 Introduccion no se desenvuelven en el terreno del

Los esquemas mentales que exige
la nueva fsica para su compren-
sion, no son comparables a los de la
fsica clasica, donde cada situacion es
representable por una imagen men-
tal claramente intuible en el terreno
de lo causal-determinista. Dadas las
condiciones iniciales de un sistema,
es posible saber con toda precision
la evolucion del mismo, debido a que
su comportamiento es expresable co-
mo un sistema de ecuaciones difer-
enciales lineales y hasta cierto pun-
to, es posible conocer sus multiples
relaciones con otros objetos. Con-
trariamente a esa imagen del mun-
do, la fsica moderna, en particular
la mecanica cuantica, no permite esa
estructuracion; la intuicion causal-
determinista es remplazada por la
intuicion probabilstica. Los eventos
determinismo clasico sino mas bien,
en una suerte de evoluciones proba-
bilsticas.
De esa nueva estructuracion, ha
sido posible deducir y posteriormente
medir, es decir, hacer objetivas, una
serie de entidades fsicas, las cuales
no tienen analogas clasicas. Los sis-
temas nunca estan en un estado, sino
en una superposicion de una serie da-
da de estados, representados por un
vector de un espacio de Hilbert, cuya
evolucion es mediada por la ecuacion
de Schrodinger.
A diferencia de la mecanica
clasica, en la cual las variables
dinamicas del sistema lo describen
completamente sin niguna restriccion
sobre dichas variables, las cuales en
principio se determinan con precision
infinita, en la mecanica cuantica la
situacion no es tan directa, la medi-

11
da requiere la interaccion del sistema
con un aparato de medida el cual
por definicion se considera clasico,
en el proceso de medida el estado
dinamico del sistema se ve afecta-
do por la medida, esta situacion en
la mecanica clasica era despreciable,
pero en mecanica cuantica es de una
relevancia fundamental, puesto que
la medida perturba el sistema de una
manera imprevisible e incontrolable.
En esa nueva perspectiva, no es
posible una medicion simultanea de
algunas variables, tales como la posi-
cion y el momento lineal o la energa
y el tiempo, entre otras. Existe un
principio de indeterminacion inher-
ente a las cosas. Pese a lo anterior
es posible formar un conjunto com-
pleto de variables dinamicas mutu-
amente compatibles, es decir, medi-
bles simultaneamente, todas las vari-
ables de un conjunto como ese, son
compatibles dos a dos, y sobre el sis-
tema no existen otras variables difer-
entes a las ya involucradas en el, a
no ser funciones de esas mismas vari-
ables.
La computacion cuantica es una
aplicacion de la mecanica cuantica
en un territorio diferente a la Fsica
del micromundo, ella hace uso de
las propiedades y efectos considera-
dos por la mecanica cuantica. Las
compuertas cuanticas por ejemplo,
se describen mediante los diferentes
acoples de los atomos, acoples que en
computacion cuantica se realizan en-
tre qubits. Los estados internos del
atomo sirven en principio para alma-
cenar informacion cuantica y la in-
teraccion espn-espn o espn-orbita,
daran los acoples entre los qubits del
computador cuantico [11].
La computacion cuantica fue ini-
cialmente sugerida por Richard Feyn-
man en los anos 80, formalizada
por David Deutsch (en la forma de
maquinas de Turing cuanticas en
1985 [4] y en la forma de circuitos
cuanticos en 1989 [5]) y resaltada su
potencialidad por Peter Shor en 1994
[10].
1.1 Formulaciones de la
Mecanica Cuantica
En la actualidad son conocidas
por lo menos cuatro formulaciones
diferentes de la mecanica cuanti-
ca, todas equivalentes ente s , dos
son realizaciones concretas de espa-
cios de Hilbert, mientras que otras
dos, hacen referencia a espacios de
Hilbert abstractos mas generales. La
primera de ellas es debida a Er-
wing Schrodinger, fue formulada ha-
cia 1923 y conocida como mecanica
ondulatoria. Se basa en la formu-
lacion clasica de los modos normales
de vibracion asociados a estados ex-
itados en objetos materiales, como
los modos de vibracion de una cuer-
da atada en los extremos, o los mo-
dos de vibracion producidos por el
sonido en una cavidad resonante, es-
tas cuestiones junto a la idea de una
onda piloto asociada a todo objeto en
movimiento, inspirada por Louis de
Broglie, hizo Schrodinger hacia 1923
la idea de una mecanica cuantica en
la cual lo determinante era que los
electrones exitaban modos armonicos
de vibracion en el interior de los ato-
mos.
La primera formulacion de la
mecanica cuantica es la version de
Schrodinger, se formaliza en el mar-
co de las funciones de cuadrado in-
tegrable de R3 a C, definidas en un
tiempo t particular como:
12
L2 (R3 , dr) =
Z Z
{: R3 C | dr | (r) |2 < },
R3
(1)
su producto interno esta definido en
este espacio por:
Z ca, fue propuesta por Werner Karl
h, i = dr (r)(r),
R3
para , L2 (R3 , dr), (2)
donde la barra sobre la funcion
corresponde a su compleja conjuga-
da.
Hay una relacion muy estrecha
entre el espacio de funciones de
cuadrado integrable definido anteri-
ormente y el espacio que resulta al
tomar las transformadas de Fourier
a esas funciones, ambos estan rela-
cionados mediante un operador uni-
tario, el cual es la propia transfor-
mada de Fourier [3, p.4]. Esto im-
plica que; L2 (R3 , dr) es isomorfo a
L2 (R3 , dp) y el teorema de Parseval-
Plancherel [3],
hF, Fi = h, i,
para todo , L2 (R3 , dr), (3)
justifica que la transformada de
Fourier es quien realiza el isomorfis-
mo. El espacio definido por las trans-
formadas de Fourier de las funciones
de cuadrado integrable de R3 a C,
tambien es de cuadrado integrable y
se define mediante la siguiente expre- en la expresion (6) las componentes
sion:
F: L2 (R3 , dr) L2 (R3 , dp),
F, (4)
en la ecuacion (4) p es el momentum.
Mas especficamente se tiene:
(F)(p) =
1 i
3/2
dr(r) exp( p.r).
(2~) R3 ~
(5)
La segunda formulacion es la
matricial de la mecanica cuanti-
Heisenberg hacia 1926 y es denom-
inada mecanica matricial. Historica-
mente se creyo que no deba existir
ninguna afinidad con la formulacion
ondulatoria de Schrodinger pero pos-
teriormente el mismo Schrodinger,
demostro su equivalencia. En esta
imagen lo verdaderamente impor-
tante es la novedosa idea de saltos
cuanticos y de discontinuidades en
los espectros de algunos observables
de los atomos, con un agravante
adicional, la imposibilidad de intuir
imagenes de los atomos, sugerido en
la formulacion de uno de los princip-
ios mas importantes y controvertidos
de la mecanica cuantica, El princi-
pio de incertidumbre de Heisenberg.
La formulacion matricial de la
mecanica cuantica, se describe en
terminos del espacio de secuencias in-
finitas de cuadrado sumable, el cual
esta definido como:
l2 = { = (0 , 2 , ...) | k C,
X
donde | k |2 < }, (6)
k=0
del multiplete expresan los pesos del
estado, respecto a una base. El pro-
ducto escalar esta definido por:
X
h, il2 = k k . (7)
k=0
13
 Casualmente el espacio de se-
cuencias infinitas de cuadrado inte-
grable, substrato de la formulacion
de Heisenberg, haba sido introduci-
do por D. Hilbert en 1912, y su
axiomatica formulada en 1927 por
J. von Newman en un trabajo so-
bre los fundamentos de la mecanica
cuantica, es muy coincidencial que la
monografa de Courant y Hilbert so-
bre la Matematica de los espacios de
Hilbert fuera publicada en 1924, jus-
to en la epoca que se construa la
mecanica cuantica [3, p.3]. En pal-
abras del propio D.Hilbert:
I developed my theory
of infinitely many vari-
ables from purely math-
ematical interests and
even called it spectral
analysis without any
pressentiment that it
would later find an appli-
cation to the actual spec-
trum of physics [3].
El isomorfismo entre L2 (R3 , dr) y
l2 se realiza al tomar una funcion
cualquiera L2 (R3 , dr) y asig-
narle una secuencia (0 , 1 , ...)
l2 , que consiste de las componentes
n = hn | iL2 de , con respecto
a una base ortonormal {| ni}nN de
L2 (R3 , dr).
La tercera formulacion funda-
mentada por Dirac y Jordan en 1931
llamada formulacion invariante, in-
spirada en la idea de un formalis-
mo invariante general, sugerido en la
demostracion hecha por Schrodinger,
de la equivalencia entre las dos
mecanicas rivales, los vectores de la
formulacion invariate; vectores bra
y ket, fueron inventados por el pro-
pio P.M.A Dirac [6], actualmente este
formalismo es el mas usado en los
1 Feynman, R.: P. Rev. Mod. Phys., 20, 367 (1948)
textos, permite un calculo simboli-
co que de alguna manera es mas ele-
gante y facil de implementar, pero al
mismo tiempo genera muchas incon-
sistencias matematicas [3, p.1]. En la
formulacion de Dirac se usa un es-
pacio de Hilbert abstracto, infinito
y separable (admite bases ortonor-
males que consisten de una famil-
ia numerable de vectores). Se regre-
sa a este punto mas adelante, cuan-
do se describan los postulados de la
mecanica cuantica, descripcion que
se hara en terminos del formalismo
de Dirac.
En la cuarta formulacion, Feyn-
man1 en 1948 introdujo una nue-
va vision de la mecanica cuantica,
Dirac por su parte, motivado en la
idea de una formulacion invariante,
en la cual tanto las variables espa-
ciales como las temporales jugaran
un papel similar, fundamentaron una
formulacion de la mecanica cuanti-
ca diferente a las anteriores, basada
en una novedosa idea de integral de
camino. Dirac no se conformo con la
idea de una mecanica cuantica en la
cual el tiempo jugara un papel tan
preponderante, puesto que esto no
es aplicable a un sistema relativista,
en las anteriores circunstancias se vi-
ola la invariancia de Lorentz de la
teora, insinuo dicha formulacion con
el proposito de que el espacio y el
tiempo esten al pie de igualdad.
La formulacion de la integral de
camino de la mecanica cuantica, fun-
damentalmente esta basada en la no-
cion de propagador G. Dada una fun-
cion de onda en una posicion r i
y en un tiempo ti , es posible con la
ayuda del propagador dar la funcion
de onda en una posicion r f y en
un tiempo tf , mediante la siguiente
expresion [9]:
14
 en la ecuacion (10), L = L(r, r) es
la Lagrangiana, la cual se construye
(r f , tf ) = como la diferencia entre la energa
Z
cinetica y la potencial. Feynman pu-
G(r f tf ; r i ti )(r i , ti )dr i . (8)
do deducir de estas consideraciones
los resultados fundamentales de la
En la interpretacion usual de la
mecanica cuantica.
mecanica cuantica (r f , tf ), es la
Los siguientes parrafos estan ded-
amplitud de probabilidad de que la
icados a una descripcion de los pos-
partcula se encuentre en el pun-
tulados de la mecanica cuantica y
to r f en el tiempo tf , as que
de la Computacion Cuantica, toman-
G(r f tf ; r i ti ), es la amplitud de prob-
do como referencia la formulacion de
abilidad para la transicion desde r i
Dirac.
en el tiempo ti hasta r f en el tiem-
po tf , la probabilidad correspondi-
ente para esa amplitud es [9]: 2 Postulados
P (r f tf ; r i ti ) =| G(r f tf ; r i ti ) |2
Existen varios intentos por describir
(9)
de una manera formal y sistematica
El propagador resume todas las
la mecanica cuantica [2], [7], estos
propiedades de la mecanica cuanti-
parrafos no pretenden de ninguna
ca del sistema, la idea de Feyn-
manera contribuir en esa direccion,
man fue expresar el propagador en
sino hacer una pequena reflexion so-
terminos de una integral de camino,
bre la pertinencia de los axiomas
en la cual estan todas las posibles
de la mecanica cuantica en la com-
contribuciones de todos los posibles
putacion cuantica.
caminos que conducen de un estado
a otro, todos esos caminos son fsica- En lo que sigue se dara una de-
mente indistinguibles2 , contribuyen scripcion de algunos conceptos y no-
coherentemente a la amplitud cuanti- ciones referentes a la axiomatica de
ca, con igual peso, pero con fases la mecanica cuantica y su correlacion
exp(iS/~) [7]. La integral de camino con la computacion cuantica.
puede ser formalmente expresada co-
mo: 2.1 Primer Postulado
Postulado 1. A cada sistema fsico
hr f , tf | r i , ti i = descrito por la mecanica cuantica se
Z  Z tf  le asocia un espacio de Hilbert, y
i
Dr exp Ldt , (10) a cada estado del sistema un vector
~ ti
(ket), de ese espacio.
la expresion del lado izquierdo en
la ultima ecuacion es el propagador, 2.1.1 Caso de 1-qubit
mencionado anteriormente:
La unidad fundamental de informa-
cion cuantica es el qubit | xi, este es
hr f , tf | r i , ti i = G(r f tf ; r i ti ), (11) un elemento del espacio de Hilbert3
2 El termino indistinguibles significa que no es posible observarlos con algun experi-

mento.
3 El 2 en el subindice de H hace referencia a la dimension del espacio.
2

15
H2 de funciones de onda de cuadra- Los vectores base pueden ser ex-
do integrable mas simple no trivial presados en una representacion par-
de dos dimensiones, al cual puede ticular como:
asociarsele una forma lineal, llamada    
1 0
bra, inducida mediante el produc- | 0i = , | 1i = , (17)
0 1
to interno definido en el espacio H2 ,
es decir: a partir de estos dos vectores es posi-
ble construir los transpuestos de los
ket, los cuales por definicion corre-
w| xi hx |: H2 C sponden a los vectores bra:
| yi w| xi (| yi) = hx | yi .
(12)

h0 | = 1 0 ,
El bra hx | resulta ser un elemen-

h1 | = 0 1 . (18)
to del espacio dual, del espacio de
Hilbert H2 , dado por: El estado mas general, denomina-
do qubit (bit cuantico) que se puede
formar en el espacio H2 , es la super-
H2 = {w: H2 C}. (13) posicion lineal de los dos elementos

Existe una correspondencia uno de la base:

a uno entre los vectores ket y bra,
definidos de esa manera. A cada ket | xi = c0 | 0i + c1 | 1i ,
le corresponde un bra y viceversa.
Una base de H2 , {| ni}n{0,1} donde c0 , c1 C. (19)
es un conjunto formado por dos Los coeficientes que hacen posible
vectores linealmente independientes dicha superposicion satisfacen:
{| 0i , | 1i}, los cuales satisfacen la
siguiente relacion de ortonormalidad: |c0 |2 + |c1 |2 = 1. (20)

De acuerdo a la relacion (16) los

hn|mi = nm ; coeficientes que permiten la combi-
para todo n, m {0, 1}, (14) nacion (19), resultan ser:

en esta ultima expresion nm es la

funcion delta de Kronecker, definida c0 = h0 | xi , c1 = h1 | xi , (21)
por: fsicamente c0 , c1 representan las
amplitudes de probabilidad de que al
hacer una medida el sistema salte al

1 si n = m,
nm = (15) estado | 0i, o al estado | 1i, respecti-
6 m.
0 si n =
vamente.
La base de H2 , permite definir Los registros cuanticos se con-
una relacion de clausura, que garan- struyen como secuencias de qubits,
tiza la expansion de cualquier vector una secuencia pueden considerarse
de H2 en esa base: como el estado total de un sistema
1
que consiste de n qubits cuanticos,
los cuales en general no pueden ser
X
| nihn | = 1H2 . (16)
n=0
descritos como productos tensoriales

16
de los n qubits individuales. Fsica-
mente, el producto tensorial permite
hacer un tratamiento unificado de
las propiedades cuanticas de los sis-
temas, estas propiedades, de un la-
do pueden ser: correlacionadas, es de-
cir; cada una de esas propiedades no
puede ser medida sin que de alguna
manera haya que hacer referencia a
las demas, y de otro lado, no correla-
cionadas, es decir, las propiedades
fsicas pueden ser medidas indepen-
dientemente, sin necesidad de hacer
referencias a las otras. La mecanica
cuantica con ayuda del producto ten-
sorial permite describir en el mismo
ket, tanto las propiedades intrnsecas
como las propiedades extrnsecas, las
primeras dependen de la estructura
interna, son analogas al momento an-
gular o al espn y las segundas son
relaciones espacio-temporales.
En la fsica clasica el estado de un
sistema de n partculas, cuyos esta-
dos individuales estan descritos por
un vector en un espacio de dos di-
mensiones, forma un espacio vectori-
al de 2n dimensiones, mientras que
el estado de un sistema cuantico con
esas mismas condiciones esta descrito
por un espacio vectorial de 2n dimen-
siones. El espacio estado en el caso
clasico se obtiene como un producto
cartesiano, en tanto que para el caso
cuantico se obtiene como un produc-
to tensorial.
2.1.2 Caso 2-qubit
El estado general de un sistema fsico
que consiste de n partculas, cuyos que se puede formar en este espacio
estados individuales estan simboliza- es la superposicion lineal de los cua-
dos por un espacio vectorial de dos tro elementos de la base, es decir:
dimensiones, esta representado por
un espacio de Hilbert de 2n di-
| x1 , x2 i =c0 | 0, 0i + c1 | 0, 1i +
mensiones. En particular, si el sis-
tema fsico que se pretende describir
17
esta representado por un espacio de
Hilbert de cuatro dimensiones, la
base debe poderse expresar como:
{| ni | mi}n,m{0,1} . (22)
En la relacion (22), el smbolo ,
muestra justamente, que la base para
el espacio en cuestion, es la misma
que se obtiene del producto tensorial
de los espacios H2 H2 = H4 . Los
elementos de este espacio cuatrodi-
mensional son denominados 2-qubits.
La ecuacion (22), puede expresarse
de varias maneras:
| ni | mi = | n, mi = | nmi , (23)
en estas ultimas expresiones n, m
{0, 1}.
La relacion (23) permite definir la
base del espacio estado cuatrodimen-
sional H4 como:
{| 0i | 0i , | 0i | 1i , | 1i | 0i ,
| 1i | 1i}; (24)
la ultima ecuacion puede ser escrita
en una forma completamente equiv-
alente como:
{| 0, 0i , | 0, 1i , | 1, 0i , | 1, 1i}. (25)
De otro lado, el 2-qubit normal-
izado mas general
| x1 , x2 i = | x1 i | x2 i , (26)
|{z} |{z}
1er qubit 2do qubit
c2 | 1, 0i + c3 | 1, 1i , (27)
los coeficientes en la expresion (27) viene dado por la superposicion lin-
satisfacen las siguientes condiciones: eal de los 2n elementos de la base:

2
2X 1 n
2X 1
c0 , c1 , c2 , c3 C; |ci |2 = 1. | x1 , x2 , . . . , xn i = ci | ii (33)
i=0
i=0
(28)
Nuevamente c0 representa, la am- y los coeficientes de la combinacion
plitud de probabilidad de que al hac- satisfacen las siguientes condiciones:
er una medida sobre el sistema, este
se encuentre en el estado | 0, 0i, de
igual forma se interpreta cada uno de n
2X 1
los ci . c0 , . . . cn1 C; |ci |2 = 1.
i=0
2.1.3 Caso n-qubit (34)
Si se considera el caso en el cual,
El caso general de un n-qubit no en- el estado global de un sistema no es
tangled, se obtiene apelando a una un producto tensorial de estados, es
convencion muy usada en la com- decir, no puede ser expresado en la
putacion cuantica forma
| xi | yi , (35)
| x1 , x2 , . . . , xm i | xi , (29)
las medidas no pueden ser hechas sin
donde x1 , x2 , . . . , xm es denominada relacion de un estado con otro, esta
la representacion binaria del entero situacion refleja la correlacion entre
x, y | xi es denominada la repre- estos dos estados del sistema glob-
sentacion decimal del entero x, es de- al, las medidas de las propiedades
cir: cuanticas de uno u otro estado, cor-
responden a variables aleatorias las
cuales no son independientes, por
x =x1 2m1 + x2 2m2 + + tanto son correlacionadas. El esta-
xm1 21 + xm 20 . (30) do general del sistema no puede ser
expresado como el producto tensori-
De acuerdo con las ecuaciones al de los estados que lo conforman,
(29) y (30) la base de un espacio for- los estados que no pueden ser ex-
mado por n qubits cuya dimension es presados como producto tensorial de
2n esta formada por: otros estados se denominan estados
entangled. Esta situacion no tiene un
{| 0i , | 1i , | 2i , . . . , | 2 1i}; (31) analogo clasico.
n

entonces el n-qubit normalizado mas

general: 2.2 Segundo Postulado
Postulado 2. Toda cantidad fsica
| x1 , . . . , x n i = medible esta descrita por un oper-
ador A que actua sobre el espacio de
| x1 i | xn i , (32)
|{z} |{z} Hilbert, este operador es un observ-
1er qubit n qubit able.

18
 En la mecanica cuantica, los ob-
servables estan descritos por oper-
adores autoadjuntos que actuan so-
bre el espacio de Hilbert.
Un operador es autoadjunto s
satisface:
A = A , (36)
de la ecuacion (36) se deduce que:
donde cada an es un autovalor de
A, y Pn es el proyector ortogonal,
definido de modo que pueda operar
sobre el espacio de autovectores con
autovalor an . Para el caso de auto-
valores no degenerados se tiene:
Pn = | ni hn | . (41)

Los proyectores satisfacen el sigu-

iente conjunto de ecuaciones:
A | xi = A | xi , (37)
Pn Pm = (| nihn |)(| mihm |)
esta ultima condicion asegura que el
dominio de definicion de A es el mis- = | ni nm hm |
mo dominio de A . = nm Pn . (42)

D(A) = D(A ). (38) El operador proyeccion tambien

es autoadjunto, es decir:
El dominio de un operador A ,
que actua sobre un espacio de Hilbert
H, puede definirse como: Pn = P . (43)

Si el espectro de un operador no
D(A ) = {| xi H |(A, x) H}
es acotado, el dominio de definicion
tal que hx|Ayi = h(A, x)|yi del operador no es todo H, ademas si
para todo | yi D(A); (39) el espectro del operador contiene una
parte continua, los autovectores cor-
respondientes no pertenecen a H sino
donde, para | xi D(A ) se tiene que
a un espacio mayor.
A | xi = (A, x).
La ecuacion (37) asegura que el De otro lado, uno de los oper-
espectro del operador A es real, adores autoadjuntos mas representa-
sus autovectores forman una base tivo en la mecanica cuantica es el
ortonormal completa de vectores. El Hamiltoniano, el cual contiene toda
espectro de un operador autoadjun- la informacion del sistema referente
to es la union de una parte disc- a su energa, a partir del Hamiltoni-
reta, para la cual sus autovectores ano del sistema, es posible estudiar
pertenecen a un espacio de Hilbert, y la evolucion de un sistema cuantico,
de una parte continua cuyos autovec- esto sera tratado en el sexto postula-
tores asociados no pertenecen al es- do.
pacio de Hilbert. Todo operador au-
toadjunto admite una representacion 2.2.1 Caso de 1-qubit
espectral [8].
Un operador autoadjunto con es- De acuerdo a la ecuacion (41) los
pectro discreto, puede ser represen- proyectores P0 y P1 para el observ-
tado como: able A, definidos de acuerdo a la rep-
resentacion espectral que se deduce
(40) de la base {| ni}n{0,1} , estan dados
X
A = an Pn ,
n
por:

19
  
1
1 X
1
P0 = | 0i h0 | = 1 0 A =
X
anm Pnm (49)
0
  n=0 m=0
1 0
= , (44)
0 0 De acuerdo a la ecuacion (49) los
proyectores P00 , P01 , P10 , P11 para
  el observable A, definidos de acuerdo
0

P1 = | 1i h1 | = 0 1 a la representacion espectral que se
1
  deduce de la base canonica {| ni
0 0 | mi}n,m{0,1} , estan dados por cu-
= ; (45)
0 1 atro matrices 4 4, cada una de
las cuales tiene un valor igual a 1
entonces, de acuerdo a la ecuacion en el elemento diagonal correspondi-
(40), al conjunto de autovalores ente, por ejemplo para P se tiene:
10
{a0 , a1 } y a las ecuaciones (44) y
(45), el observable A mas general
para un qubit en esta base es: 0 0 0 0
0 0 0 0
0 0 1 0 .
P10 = (50)
1
0 0 0 0
X
A = a P
n n
n=0

1 0
 
0 0
 El observable A mas general que
= a0 + a1 se tiene en esta representacion par-
0 0 0 1
  ticular de 2-qubit es:
a0 0
= . (46)
0 a1
a0 0 0 0
En particular si los autovalores 0 a1 0 0
del operador pertenecen al conjunto A =
0 (51) .
0 a2 0
{a0 = 0, a1 = 1}, el observable A, 0 0 0 a3
toma la forma:
  En notacion decimal (de acuerdo
0 0
A = , (47) a la ecuacion (29) se puede expresar
0 1 el observable A, en la base anterior
observese que si se usa la notacion como:
binaria, el termino del lado izquierdo 2
2X 1
de la ecuacion (46), puede expresarse
como: A = an Pn . (52)
n=0
1
2X 1
A = an Pn . (48) 2.2.3 Caso de un n-qubit
n=0
La manera mas adecuada de gener-
alizar la ecuacion (40), para un n-
2.2.2 Caso de un 2-qubit
qubit, es hacerlo en la notacion dec-
La ecuacion (40), puede generalizarse imal, en esta, el observable mas gen-
para un 2-qubit, de la siguiente man- eral que se puede tener en la base
era: canonica es:

20
 n
lo que puede ser expresado en una
2X 1
forma mas compacta como:
A = an Pn . (53)
n=0

En esta base se puede construir A | 0i = a0 | 0i ,

el siguiente observable general, que
actua sobre un n-qubit: A | 1i = a1 | 1i . (57)

a0 0 ... 0 2.3.2 Caso de un 2-qubit
0 a1 ... 0
A = . .. . (54) Cada uno de los elementos base de

.. ..
.. . . . la ecuacion (27), pueden ser expresa-
0 0 ... an dos como productos tensoriales de el-
ementos base de 1-qubits, de la sigu-
2.3 Tercer Postulado iente forma:
Postulado 3. El unico resultado
posible de una medida fsica, es un
1
autovalor del correspondiente observ-    
1 1 0
able. | 0i = | 00i = = 0 ,

0 0
En mecanica cuantica una medi- 0
da fsica da como resultado un val- (58)
or real, esto es una consecuencia de al realizar la misma operacion con
que los autovalores de un operador cada uno de los elementos base del
hermtico siempre son de esa natu- 2-qubit en cuestion, se obtienen las
raleza (ecuaciones (37) y (38)). Los siguientes ecuaciones:
autovalores asociados a los autovec-
tores que representan los estados de

0
un sistema de computacion cuantica, 1
por su naturaleza deben pertenecer | 1i = | 01i = 0 ,
(59)
al conjunto {0, 1}. 0

2.3.1 Caso de un 1-qubit

0
Al operar con el observable A sobre 0
| 2i = | 10i =
1 ,
(60)
cada uno de los estados base del 1-
qubit expresado en la ecuacion (19), 0
se obtienen los siguientes resultados:

     0
a0 0 1 1 0
= a0 , (55) | 3i = | 11i =
0 .
(61)
0 a1 0 0
1
de igual forma para el otro estado
base se tiene: Al operar con el observable A el
estado base del 2-qubit, expresado en
    
a0 0 0 0 la ecuacion (58), se obtienen los sigu-
= a1 , (56) ientes resultados:
0 a1 1 1

21
 el resultado encontrado en (14) y en
(15) se obtiene:
a0 0 0 0 1 1
0 a1 0 0 0 0
0 0 a2 0 0 = a0 0 ,

h0 | c0 | 0i + h0 | c1 | 1i =
0 0 0 a3 0 0 c0 h0|0i + c1 h0|1i = c0 , (66)
(62)
la ecuacion (62), puede ser expresada y al proyectar el estado | xi sobre el
mas concretamente como: ket | 1i, segundo elemento de la base,
se obtiene:
A | 00i = a0 | 00i , (63) h1 | c | 0i + h1 | c | 1i =
0 1
a0 es el autovalor del observable A c0 h1|0i + c1 h1|1i = c1 . (67)
correspondiente a una medida real-
izada sobre el estado base | 00i, de El valor c0 obtenido en la
un 2-qubit. De una forma completa- ecuacion (66) es la amplitud de prob-
mente analoga se pueden realizar los abilidad de que el sistema se encuen-
calculos anteriores para los otros es- tre en el estado | 0i, al ser medido
tados base del 2-qubit: con respecto a la base {| ni}n{0,1} .
De igual forma, el valor c1 obtenido
en la ecuacion (67), da cuenta de la
A | 01i = a1 | 01i , amplitud de probabilidad de que el
sistema se encuentre en el estado | 1i,
A | 10i = a2 | 10i ,
al ser medido sobre la misma base. La
A | 11i = a3 | 11i . (64) relacion entre la amplitud de proba-
bilidad y la probabilidad viene dada
2.4 Cuarto postulado por:

Postulado 4. (caso discreto no

degenerado) Cuando una cantidad P (c0 ) = P (0) = |c0 |2 , (68)
fsica es medida sobre un sistema, 2
P (c1 ) = P (1) = |c1 | . (69)
el cual esta en un estado normaliza-
do | xi, la probabilidad de encontrar 2.4.2 Caso de un 2-qubit
el autovalor an correspondiente a un
observable A es: Considere ahora la medida de un sis-
tema cuantico, el cual se representa
por un 2-qubit. El estado ha sido de-
P (an ) = |hn|xi|2 , (65) scrito por las ecuaciones (27), (28).
donde | ni es el autovector normaliza- Los numeros ci , en las ecuaciones
do de A, asociado al autovalor an . mencionadas, son al igual que en el
caso de un qubit, las amplitudes de
probabilidad de que el sistema se en-
2.4.1 Caso de un 1-qubit
cuentre, en el i-esimo vector de base,
Para el caso de un qubit, representa- con probabilidad |ci |2 .
do en la ecuacion (19). Los numeros Cuando el primer qubit, en la ex-
complejos c0 y c1 pueden ser inter- presion (27) es medido con respecto a
pretados de la siguiente manera. Al la base representada por la ecuacion
proyectar el estado sobre el ket | 0i, (22), la probabilidad de encontrar un
primer elemento de la base y usar cero en el primer qubit del 2-qubit es:

22
 esta en un estado | xi da un resulta-
|c0 |2 + |c1 |2 , (70) do an , el estado del sistema esta, in-
mediatamente despues de la medida,
de forma similar, cuando el
en la proyeccion normalizada,
primer qubit en la expresion (27), es
medido con respecto a la base descri- P | xi
ta en (22), la probabilidad de encon- q n , (74)
trar un uno en el primer qubit del hx|Pn |xi
2-qubit es:
de | xi sobre el auto-subespacio aso-
ciado a an .
|c2 |2 + |c3 |2 . (71)
Analogamente, cuando el segun- 2.5.1 Caso de un 1-qubit
do qubit en la expresion (27), es me-
dido con respecto a la base descrita De acuerdo al postulado anterior, al
en (22), la probabilidad de encontrar medir el observable A para el qubit
un cero en el segundo qubit del 2- dado en la ecuacion (46), se obtiene
qubit es: el autovalor a0 . El estado del sis-
tema | xi pasa al autoestado base
correspondiente al autovalor medido,
|c0 |2 + |c2 |2 . (72)
el cual esta dado por la siguiente
al medir el segundo qubit en la proyeccion normalizada:
expresion (27), respecto a la base de-
scrita en (22), la probabilidad de en- P | xi
q 0 . (75)
contrar un uno en el segundo qubit
hx|P0 | xi
del 2-qubit es:
En la ecuacion (75):
|c1 |2 + |c3 |2 . (73)
P0 | xi = co | 0i , (76)
2.4.3 Caso de un n-qubit tambien:
Al medir el k-esimo qubit en el reg-
istro cuantico, dado por la ecuacion hx | P0 | xi = |c0 |2 , (77)
(33), respecto de la base canonica, al substituir las ecuaciones (76) y
la probabilidad de encontrar un cero (77) en la expresion (75), se obtiene:
en esa posicion, viene dada por la
suma de los modulos cuadrados de c0
p | 0i . (78)
los coeficientes en la combinacion que |c0 |2
involucran un cero en dicha posi- Una situacion analoga se presenta
cion, cuando son expresados en su si el valor obtenido es a1 .
notacion binaria. De igual forma se
halla la probabilidad, para el caso en 2.5.2 Caso de un 2-qubit
el que, el registro cuantico tenga un
uno en la k-esima posicion. Al medir el observable A sobre un
2-qubit, se puede obtener cualquiera
de los autovalores ubicados en las
2.5 Quinto Postulado
posiciones diagonales del observable
Postulado 5. Si la medida de una mencionado, el proceso de medida so-
cantidad fsica sobre un sistema que bre cualquiera de los estados base del

23
2-qubit en cuestion, implica que el
sistema salta al estado inducido en P | xi
q n (83)
la proyeccion. Como ejemplo para el
hx|Pn | xi
caso de un 2-qubit, se supone una
medida, la cual arroja el autovalor En la ecuacion (83):
a2 , inmediatamente el sistema salta
al estado dado por la proyeccion nor- Pn | xi = cn | ni , (84)
malizada inducida sobre el autovec- tambien:
tor correspondiente a ese autovalor,
es decir: hx | Pn | xi = |cn |2 , (85)

P2 | xi al substituir las ecuaciones (84) y

q (79) (85) en la expresion (83), se obtiene:
hx|P2 | xi
c
p n | ni . (86)
Observese que en la ultima |cn |2
ecuacion se ha usado la notacion Si la medida es repetida, entonces
decimal, el ket | xi esta dado en la de acuerdo a esta regla, se obtiene el
ecuacion (33) con n = 2. En la no- mismo estado de salida con probabil-
tacion decimal la ecuacion (41) es idad uno.
igualmente valida.
En la ecuacion (79):
2.6 Sexto Postulado
P2 | xi = c2 | 2i , (80) Postulado 6. La evolucion en el
tiempo del vector de estado | x(t)i
tambien: es gobernada por la ecuacion de
Schrodinger:
hx | P2 | xi = |c2 |2 , (81)
al substituir las ecuaciones (80) y d
(81) en la expresion (79), se obtiene: i~ | x(t)i = H(t) | x(t)i (87)
dt
c
p 2 | 2i . (82) donde H(t) es el Hamiltoniano del
|c2 |2 sistema, observable asociado con la
energa.
Un resultado completamente La ecuacion de Schrodinger es
equivalente se obtiene para cada uno lineal y homogenea, sus soluciones
de los autovalores del observable A, pueden superponerse linealmente.
el cual actua sobre un 2-qubit. Sean | x1 (t)i, | x2 (t)i dos soluciones
linealmente independientes. El esta-
2.5.3 Caso de un n-qubit do inicial del sistema en el tiempo t0
es:
La generalizacion al caso de un n-
qubit es directa si se observa que en
notacion decimal, al tomar una me- | x(t0 )i = 1 | x1 (t0 )i + 2 | x2 (t0 )i ,
dida que arroja un resultado an , el (88)
sistema despues de la medida salta el estado del sistema evoluciona
al estado normalizado representado hasta una instancia en el tiempo t, la
por: cual esta descrita por:

24
 es unitario puesto que

| x(t)i = 1 | x1 (t)i + 2 | x2 (t)i , U = exp (iA ) = exp (iA).

(89) (95)
de este modo la correspondencia en- El operador U es llamado oper-
tre | x(t0 )i y | x(t)i es lineal, de lo ador de evolucion temporal, este op-
cual puede deducirse que existe un erador es unitario4 .
operador lineal tal que: Las transformaciones que involu-
cran operadores unitarios preservan
el producto escalar y por tanto la
| x(t)i = U (t, t0 ) | x(t0 )i , (90) norma de los estados transformados.
Se considera a continuacion al-
al substituir la ecuacion (90) en la
gunos ejemplos de operadores de
ecuacion (87), se obtiene:
evolucion, los cuales son en ulti-
ma instancia las compuertas logico-
cuanticas, encargadas de realizar los
i~ U (t, t0 ) | x(to )i = computos.
t
H(t0 )U (t, t0 ) | x(t0 )i , (91)
2.6.1 Caso de 1-qubit
la derivada parcial indica en la an-
terior expresion que se toma con re- El siguiente ejemplo ilustra una com-
specto a t y a t0 . puerta cuantica conocida como la
De la comparacion de los dos compuerta de Hadamard. Esta com-
miembros de la ecuacion anterior, se puerta transforma un qubit en una
obtiene: superposicion de los elementos de
la base {| 0i , | 1i}, su representacion
matricial es [1]:

i~ U (t, t0 ) = H(t0 )U (t, t0 ), (92)
t
 
1 1 1
Uhadamard = (96) .
para un Hamiltoniano independi- 2 1 1
ente del tiempo, la expresion ante-
rior puede ser integrada, si se tiene 2.6.2 Caso de un 2-qubit
en cuenta de la ecuacion (90) que
U (t0 , t0 ) = I, se obtiene: Para el caso de un 2-qubit, se puede
citar como ejemplo la compuerta que
corresponde a un xor cuantico, tam-
U (t, t0 ) = exp{(iH(t t0 )/~)}, bien llamado controlled-not. Este xor
(93) cambia el segundo qubit si el primer
si se define A = H(t t0 /~), puesto qubit es 1 y deja sin cambiar el se-
que H es hermtico, A tambien lo es gundo qubit si el primero es 0. Esta
y el operador: compuerta es representada por una
matriz de cuatro dimensiones, de la
U = exp(iA) (94) siguiente forma [1]:
4 Un operador es unitario si su adjunto es igual a su inverso, lo que es expresado como:
U U = I.

25
 La Computacion Cuantica ha
sufrido un desarrollo paralelo des-
1 0 0 0 de los anos 80 cuando Feynman la
0 1 0 0
Uxor = 0 0 0 1 .
(97) sugirio, pasando por los enuncia-
dos de Peter Shor sobre la factor-
0 0 1 0 izacion de numeros en 1994, hasta
nuestros das donde se reclama su
2.6.3 Caso de un n-qubit formalizacion. Este trabajo de algu-
na manera contribuye a la busque-
El caso general de operador de evolu- da de los elementos necesarios para
cion puede ser recreado con una com- esclarecer, tomando como referente
puerta cuantica llamada compuerta la axiomatica de la mecanica cuanti-
de Toffoli, el comportamiento de la ca, los elementos para una posible
compuerta de Toffoli tiene caracter formalizacion axiomatica de la Com-
universal, es decir, puede actuar co- putacion Cuantica.
mo una compuerta and o como una
compuerta not o una compuerta xor
o como una compuerta identidad [1]. 4 Agradecimientos
Este artculo fue realizado como
1 parte del proyecto de investigacion

1 N0 . 817407 financiado por la Univer-

.. sidad EAFIT.
Utof f oli =
. .


1

0 1
Referencias

1 0
(98)
[1] Adriano Barenco,
Charles H. Bennett,
Richard Cleve David P.
3 Conclusion DiVincenzo, Norman Mar-
golus Peter Shor Tycho
Despues de los trabajos sobre la Sleator, John Smolin y
mecanica cuantica realizados por Harald Weinfurter. El-
Planck, Einstein, Schrodinger, Hein- ementary gates for quantum
senberg, Dirac, Feynman y muchos computation. Phys. Rev. A
otros, el mundo de la ciencia tu- 52(5), 34573467 (1995).
vo que contribuir irremediablemente
para que la nueva mecanica, al- [2] Claude Cohen-Tannoudji,
canzara una nueva fase; la formal- Bernard Diu y Franck
izacion. De las cuatro formulaciones Laloe. Quantum mechanics,
de la mecanica cuantica (Schrondi- tomo 1. Pars: Hermann and
ger (ondulatoria), Heinsenberg (ma- John Wiley and Sons, Inc.
tricial), Dirac y Jordan (invariante) (1997).
y Feymann (integral de camino)),
la mas adecuada para la descripcion [3] Francois Gieres. Diracs for-
en terminos de postulados, es la de malism and mathematical sur-
Dirac. prises in quantum mechan-

26
 ics. Preprint: arXiv.org/abs/ [8] Erwin Kreyszig. Introducto-
hep-th/9907069 (1999). ry functional analysis with ap-
plications. New York: Jhon Wi-
[4] David Deutsch. Quantum
ley & Sons (1978).
theory, the Church-Turing prin-
ciple and the universal quantum
[9] Lewis H. Rydes. Quantum
computer. Proc. R. Soc. Lond.
field theory. Cambridge Uni-
A 400, 97117 (1985).
versity Press (1985).
[5] David Deutsch. Quantum
computational networks. Proc. [10] Peter W. Shor. Polinomial-
R. Soc. Lond. A 425, 7390 time algorithms for prime fac-
(1989). torization and discrete loga-
rithms on a quantum computer.
[6] P. A. M. Dirac. Principios de
SIAM J. Comput. 26(5), 1484
mecanica cuantica. Barcelona:
1509 (1997).
Ediciones Arial (1967).
[7] A. Galindo y P. Pascual. [11] I. V. Volovich. Atomic quan-
Mecanica cuantica. Madrid: tum computer. Eprint: arXiv.
Editorial Alhambra, S.A. org/abs/quant-ph/9911062
(1978). (1999).

27