Está en la página 1de 17

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


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

11
da requiere la interaccion del sistema por David Deutsch (en la forma de
con un aparato de medida el cual maquinas de Turing cuanticas en
por definicion se considera clasico, 1985 [4] y en la forma de circuitos
en el proceso de medida el estado cuanticos en 1989 [5]) y resaltada su
dinamico del sistema se ve afecta- potencialidad por Peter Shor en 1994
do por la medida, esta situacion en [10].
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.
1.1 Formulaciones de la
En esa nueva perspectiva, no es
Mecanica Cuantica
posible una medicion simultanea de
algunas variables, tales como la posi- En la actualidad son conocidas
cion y el momento lineal o la energa por lo menos cuatro formulaciones
y el tiempo, entre otras. Existe un diferentes de la mecanica cuanti-
principio de indeterminacion inher- ca, todas equivalentes ente s , dos
ente a las cosas. Pese a lo anterior son realizaciones concretas de espa-
es posible formar un conjunto com- cios de Hilbert, mientras que otras
pleto de variables dinamicas mutu- dos, hacen referencia a espacios de
amente compatibles, es decir, medi- Hilbert abstractos mas generales. La
bles simultaneamente, todas las vari- primera de ellas es debida a Er-
ables de un conjunto como ese, son wing Schrodinger, fue formulada ha-
compatibles dos a dos, y sobre el sis- cia 1923 y conocida como mecanica
tema no existen otras variables difer- ondulatoria. Se basa en la formu-
entes a las ya involucradas en el, a lacion clasica de los modos normales
no ser funciones de esas mismas vari- de vibracion asociados a estados ex-
ables. itados en objetos materiales, como
La computacion cuantica es una los modos de vibracion de una cuer-
aplicacion de la mecanica cuantica da atada en los extremos, o los mo-
en un territorio diferente a la Fsica dos de vibracion producidos por el
del micromundo, ella hace uso de sonido en una cavidad resonante, es-
las propiedades y efectos considera- tas cuestiones junto a la idea de una
dos por la mecanica cuantica. Las onda piloto asociada a todo objeto en
compuertas cuanticas por ejemplo, movimiento, inspirada por Louis de
se describen mediante los diferentes Broglie, hizo Schrodinger hacia 1923
acoples de los atomos, acoples que en la idea de una mecanica cuantica en
computacion cuantica se realizan en- la cual lo determinante era que los
tre qubits. Los estados internos del electrones exitaban modos armonicos
atomo sirven en principio para alma- de vibracion en el interior de los ato-
cenar informacion cuantica y la in- mos.
teraccion espn-espn o espn-orbita, La primera formulacion de la
daran los acoples entre los qubits del mecanica cuantica es la version de
computador cuantico [11]. Schrodinger, se formaliza en el mar-
La computacion cuantica fue ini- co de las funciones de cuadrado in-
cialmente sugerida por Richard Feyn- tegrable de R3 a C, definidas en un
man en los anos 80, formalizada tiempo t particular como:

12
L2 (R3 , dr) = (F)(p) =
Z Z
1 i
{: R3 C | dr | (r) |2 < }, 3/2
dr(r) exp( p.r).
R3 (2~) R3 ~
(1) (5)
su producto interno esta definido en La segunda formulacion es la
este espacio por: matricial de la mecanica cuanti-
Z ca, fue propuesta por Werner Karl
h, i = dr (r)(r), Heisenberg hacia 1926 y es denom-
R3
inada mecanica matricial. Historica-
para , L2 (R3 , dr), (2) mente se creyo que no deba existir
ninguna afinidad con la formulacion
donde la barra sobre la funcion
ondulatoria de Schrodinger pero pos-
corresponde a su compleja conjuga-
teriormente el mismo Schrodinger,
da.
demostro su equivalencia. En esta
Hay una relacion muy estrecha
imagen lo verdaderamente impor-
entre el espacio de funciones de
tante es la novedosa idea de saltos
cuadrado integrable definido anteri-
cuanticos y de discontinuidades en
ormente y el espacio que resulta al
los espectros de algunos observables
tomar las transformadas de Fourier
de los atomos, con un agravante
a esas funciones, ambos estan rela-
adicional, la imposibilidad de intuir
cionados mediante un operador uni-
imagenes de los atomos, sugerido en
tario, el cual es la propia transfor-
la formulacion de uno de los princip-
mada de Fourier [3, p.4]. Esto im-
ios mas importantes y controvertidos
plica que; L2 (R3 , dr) es isomorfo a
de la mecanica cuantica, El princi-
L2 (R3 , dp) y el teorema de Parseval-
pio de incertidumbre de Heisenberg.
Plancherel [3],
La formulacion matricial de la
mecanica cuantica, se describe en
hF, Fi = h, i, terminos del espacio de secuencias in-
finitas de cuadrado sumable, el cual
para todo , L2 (R3 , dr), (3) esta definido como:
justifica que la transformada de
Fourier es quien realiza el isomorfis- l2 = { = (0 , 2 , ...) | k C,
mo. El espacio definido por las trans-
formadas de Fourier de las funciones
X
donde | k |2 < }, (6)
de cuadrado integrable de R3 a C, k=0
tambien es de cuadrado integrable y
se define mediante la siguiente expre- en la expresion (6) las componentes
sion: del multiplete expresan los pesos del
estado, respecto a una base. El pro-
F: L2 (R3 , dr) L2 (R3 , dp), ducto escalar esta definido por:
F, (4)

en la ecuacion (4) p es el momentum.
X
h, il2 = k k . (7)
Mas especficamente se tiene: k=0

13
Casualmente el espacio de se- textos, permite un calculo simboli-
cuencias infinitas de cuadrado inte- co que de alguna manera es mas ele-
grable, substrato de la formulacion gante y facil de implementar, pero al
de Heisenberg, haba sido introduci- mismo tiempo genera muchas incon-
do por D. Hilbert en 1912, y su sistencias matematicas [3, p.1]. En la
axiomatica formulada en 1927 por formulacion de Dirac se usa un es-
J. von Newman en un trabajo so- pacio de Hilbert abstracto, infinito
bre los fundamentos de la mecanica y separable (admite bases ortonor-
cuantica, es muy coincidencial que la males que consisten de una famil-
monografa de Courant y Hilbert so- ia numerable de vectores). Se regre-
bre la Matematica de los espacios de sa a este punto mas adelante, cuan-
Hilbert fuera publicada en 1924, jus- do se describan los postulados de la
to en la epoca que se construa la mecanica cuantica, descripcion que
mecanica cuantica [3, p.3]. En pal- se hara en terminos del formalismo
abras del propio D.Hilbert: de Dirac.
En la cuarta formulacion, Feyn-
I developed my theory
man1 en 1948 introdujo una nue-
of infinitely many vari-
va vision de la mecanica cuantica,
ables from purely math-
Dirac por su parte, motivado en la
ematical interests and
idea de una formulacion invariante,
even called it spectral
en la cual tanto las variables espa-
analysis without any
ciales como las temporales jugaran
pressentiment that it
un papel similar, fundamentaron una
would later find an appli-
formulacion de la mecanica cuanti-
cation to the actual spec-
ca diferente a las anteriores, basada
trum of physics [3].
en una novedosa idea de integral de
El isomorfismo entre L2 (R3 , dr) y camino. Dirac no se conformo con la
l2 se realiza al tomar una funcion idea de una mecanica cuantica en la
cualquiera L2 (R3 , dr) y asig- cual el tiempo jugara un papel tan
narle una secuencia (0 , 1 , ...) preponderante, puesto que esto no
l2 , que consiste de las componentes es aplicable a un sistema relativista,
n = hn | iL2 de , con respecto en las anteriores circunstancias se vi-
a una base ortonormal {| ni}nN de ola la invariancia de Lorentz de la
L2 (R3 , dr). teora, insinuo dicha formulacion con
La tercera formulacion funda- el proposito de que el espacio y el
mentada por Dirac y Jordan en 1931 tiempo esten al pie de igualdad.
llamada formulacion invariante, in- La formulacion de la integral de
spirada en la idea de un formalis- camino de la mecanica cuantica, fun-
mo invariante general, sugerido en la damentalmente esta basada en la no-
demostracion hecha por Schrodinger, cion de propagador G. Dada una fun-
de la equivalencia entre las dos cion de onda en una posicion r i
mecanicas rivales, los vectores de la y en un tiempo ti , es posible con la
formulacion invariate; vectores bra ayuda del propagador dar la funcion
y ket, fueron inventados por el pro- de onda en una posicion r f y en
pio P.M.A Dirac [6], actualmente este un tiempo tf , mediante la siguiente
formalismo es el mas usado en los expresion [9]:
1 Feynman, R.: P. Rev. Mod. Phys., 20, 367 (1948)

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

2.1.2 Caso 2-qubit | x1 , x2 i = | x1 i | x2 i , (26)


|{z} |{z}
1er qubit 2do 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 c2 | 1, 0i + c3 | 1, 1i , (27)

17
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- donde cada an es un autovalor de
servables estan descritos por oper- A, y Pn es el proyector ortogonal,
adores autoadjuntos que actuan so- definido de modo que pueda operar
bre el espacio de Hilbert. sobre el espacio de autovectores con
Un operador es autoadjunto s autovalor an . Para el caso de auto-
satisface: valores no degenerados se tiene:
A = A , (36)
de la ecuacion (36) se deduce que: 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