Ingeniera y Ciencia, ISSN 1794-9165

Volumen 1, n
umero 1, p
aginas 5-20, marzo de 2005

Universalidad de la computaci
on cu
antica
geom
etrica: modelo de tres estados1
Andres Sicard2 y Mario Elkin Velez3
Recepci
on: 23 de febrero de 2004 Aceptaci
on: 07 de septiembre de 2004
Se aceptan comentarios y/o discusiones al artculo

Resumen
El modelo de tres estados es un modelo de computaci
on cu
antica geom
etrica. Se ilustra que

este es un modelo de computaci

on cu
antica universal, con base en el trabajo desarrollado
por Niskanen, Nakahara y Salomaa [16]. Las universalidades U (2) y U (2n1 ) del modelo
se obtienen a partir de la construcci
on de las compuertas de rotaci
on Rx () y Ry (), y
de las compuertas de Hadamard H y de fase B(), respectivamente. Para cada compuerta,
se presenta explcitamente el operador de holonoma A () y el ciclo sobre el cual es
construda.
Palabras claves: computaci
on cu
antica geom
etrica, compuertas cu
anticas universales,
modelo de tres estados.

Abstract
The three state model is a geometric quantum computation model. We show that this one
is an universal quantum computation model, with base in the work developed by Niskanen,
Nakahara and Salomaa [16]. The U (2) and U (2n1 ) universalities are obtained from the
construction of the rotations gates Rx () and Ry (), and the Hadamard gate H and the
phase gates B(), respectively. For every quantum gate, we explicitly show the holonomy
operator A () and the loop on which this is built.
Key words:

quantum geometric computation, universal quantum gates, three state

model.

1
Artculo financiado por la Universidad EAFIT bajo el proyecto de investigaci
on Computaci
on
Cu
antica Geom
etrica No Abeliana, N0 . P Y 0117. Una versi
on preliminar de los resultados obtenidos
en este artculo en [21].
2
Magister en Ingeniera Inform
atica, asicard@eafit.edu.co, profesor asociado e integrante del grupo en
L
ogica y Computaci
on, Universidad EAFIT.
3
Magister en Fsica, mvelez@eafit.edu.co, profesor asociado e integrante del grupo en L
ogica y Computaci
on, Universidad EAFIT.

Universidad EAFIT

5|

Universalidad de la computaci
on cu
antica geom
etrica: modelo de tres estados

Introducci
on

En la actualidad, la Computaci
on Cu
antica Geometrica (CCG) es un area activa de investigacion en el contexto de la Computaci
on Cu
antica y realiza aportes a esta u
ltima, en las
sub
areas de modelos de computacion y propuestas de implementacion, como es evidenciado por las diferentes publicaciones en el area [28, 19, 9, 10, 17, 8, 11, 13, 16]. La CCG
est
a sustentada en varios fen
omenos y situaciones fsicas observadas experimentalmente
(tales como la fase de Berry y la evoluci
on adiabatica), en la formulaci
on matematica de
las mismas (en la teora de los haces fibrados principales) y en la posibilidad de realizar
compuertas cu
anticas (compuertas de fase) con el corpus fsico-matematico anterior. La
fase a partir de la cual se construyen las compuertas cu
anticas en los modelos de CCG tiene un car
acter puramente geometrico, detallado teoricamente por grupos de holonomas
adecuadamente formulados.
En la Computaci
on Cu
antica Geometrica Abeliana (CCGA), la conexion o potencial
gauge toma valores en el
algebra conmutativa de Lie asociada al grupo de Lie U (1), de
donde se obtienen entonces compuertas cu
anticas de fase abelianas [24, 25], mientras
que en la Computaci
on Cu
antica Geometrica No Abeliana (CCGNA), la conexion toma
valores en el
algebra no conmutativa de Lie asociada al grupo de Lie U (2n1 ), en cuyo
caso se obtienen compuertas cu
anticas de fase no abelianas [26].
Por otra parte, la universalidad de un modelo de computacion cu
antica, es decir, su
capacidad de realizar cualquier operaci
on que realice una maquina de Turing, se establece
por su capacidad de generar un conjunto de compuertas cu
anticas U, tales que cualquier
transformaci
on unitaria U (2n1 ), es decir, cualquier compuerta cu
antica que opere sobre
n-qubits, puede ser aproximada con suficiente exactitud por un circuito cu
antico que
consta u
nicamente de un n
umero finito de compuertas del conjunto U [12].
El objetivo del presente artculo es ilustrar explcitamente la universalidad del modelo
de CCGNA denominado modelo de tres estados [16, 15, 26, 27]. En principio, para obtener
la universalidad de un modelo de computacion cu
antica sera necesario una demostraci
on por inducci
on, a partir de la cual se establezca la universalidad para las compuertas
cu
anticas U (2) de 1-qubit, U (4) de 2-qubits, U (8) de 3-qubits y as sucesivamente, hasta
establecer la universalidad de las compuertas U (2n ) de n-qubits. Contrario a este procedimiento, con base en el trabajo desarrollado por Niskanen, Nakahara y Salomaa [16] se
ilustra en el presente artculo, como establecer la universalidad del modelo de tres estados s
olo a partir de la universalidad para U (2) y para U (4), de acuerdo a los resultados
actuales relacionados con los conjuntos mminales de compuertas cu
anticas universales
[7, 12, 7, 8]. La universalidades U (2) y U (4) del modelo se obtienen a partir de la construcci
on de las compuertas de rotacion Rx () y Ry (), y de las compuertas de Hadamard
H y de fase B(), respectivamente. Para cada compuerta, se presenta explcitamente el
operador de holonoma A () y el ciclo sobre el cual es construda.

|6

Ingeniera y Ciencia, volumen 1, n

umero 1

Andr
es Sicard y Mario Elkin V
elez

Estructura matem
atica de la CCGNA

En el contexto de las compuertas y circuitos cu

anticos, la computacion cu
antica puede
ser vista como la aplicaci
on de un operador unitario de evoluci
on U U (2n ) sobre un
n
n-qubit1 | xi = | x1 , . . . , xn i C2 , para producir un nuevo n-qubit | x i = | x1 , . . . , xn i
n
C2 , es decir
U | xi = | x i .
(1)
En el contexto de la CCGNA, los operadores de evoluci
on U U (2n ) corresponden
n
al grupo de holonoma Hol(A) U (2 ), asociado a la conexion A de un haz fibrado
n
principal y los n-qubits | xi C2 corresponden a elementos de la fibra tpica de una
n
haz fibrado vectorial, la cual es isomorfa a C2 . En particular, a partir de un haz fibrado
principal FCCG se construye un haz fibrado vectorial VCCG asociado. Puesto que los
operadores de evoluci
on Hol(A) surgen de una familia de Hamiltonianos {H | M }
adecuadamente caracterizada por M , es necesario contar con un espacio de par
ametros
de control M . La relaci
on entre este espacio M y los haces fibrados FCCG y VCCG es
inducida al construir un nuevo haz fibrado principal P FCCG y un nuevo haz fibrado
vectorial P VCCG , denominados los pullbacks debido a M , de los haces fibrados FCCG
y VCCG , respectivamente. Entonces, los operadores de evoluci
on Hol(A) se obtienen a
partir de la conexion A asociada al haz fibrado principal P FCCG y estos operan sobre los
n-qubits | xi representados por puntos de la fibra tpica del haz fibrado vectorial P VCCG
[26, 10], tal como es ilustrado por la figura (1).

Haz fibrado principal

FCCG

Haz fibrado vectorial

haz fibrado asociado

VCCG

pullback

pullback

Haz fibrado principal

P FCCG

Espacio de par
ametros
M

Haz fibrado vectorial

P VCCG

grupo de holonoma

fibra tpica




n-qubits

Operadores de evoluci
on

| xi C2

Hol(A) U(2 )

Figura 1: Estructura matem

atica de la CCGNA

Sea M el espacio de par

ametros de control y sea un ciclo en 0 M , es decir
: [0, 1] M,

tal que (0) = (1) = 0 ,

(2)

1 Los t
erminos compuerta sobre n-qubits y compuerta u operador U (2n ) se intercambiaran libremente.

Universidad EAFIT

7|

Universalidad de la computaci
on cu
antica geom
etrica: modelo de tres estados

sobre el ciclo el operador de holonoma A () est

a definido por

I 
A () = P exp
A
U (2n ),

(3)

donde P es el operador camino ordenado y A es la conexion asociada al haz fibrado

P FCCG . El grupo de holomona Hol(A) est
a constitudo por todos los operadores de
holonoma A (), es decir
Hol(A) = {A () | : trayectoria cerrada sobre 0 M } U (2n ).

(4)

La identificaci
on del espacio de los estados cu
anticos (n-qubits) como la fibra tpin
ca C2 del haz fibrado vectorial P VCCG generado a partir de los vectores propios del
Hamiltoniano H0 parametrizado por M , y la identificacion del grupo de operadores de
evoluci
on unitarios (compuertas cu
anticas) como el grupo de holonoma Hol(A) compuesto de los operadores de holonoma A (), los cuales son obtenidos a partir de la conexion
A del haz fibrado principal P FCCG y de un ciclo sobre el espacio de par
ametros de
control M , establecen finalmente, desde una perspectiva computacional, el modelo de la
CCGNA [26, 10]. El modelo es ilustrado por la figura (2), donde | xi , | x i y U est
an
relacionados por (1) y k = 2n .
Ck0

final

| x i C k

z
A ()

inicio

| xi Ck

U U (k)

evoluci
on

M
0

Figura 2: Computaci
on en el modelo de la CCGNA

Computaci
on universal para la CCGNA

En la actualidad se conocen varios conjuntos de compuertas cu

anticas universales, tales
como, la compuerta U (8) controlled-controlled rotation [6], compuertas de 2-qubits con
par
ametros irracionales [2], el conjunto formado por las compuertas de Hadamard, /8 y
CNOT [3, 4], o el conjunto formado por las compuertas de Hadamard y Toffoli [1, 20]2 . De
2 Usualmente

|8

la compuerta de Toffoli representada por el circuito cu

antico

Ingeniera y Ciencia, volumen 1, n

umero 1

Andr
es Sicard y Mario Elkin V
elez

hecho, se ha demostrado que casi todas las compuertas U (4) son universales [7, 12] y se
ha demostrado que no es posible obtener universalidad s
olo a partir de compuertas U (2)
[7]. Los resultados anteriores indican que para obtener la universalidad para U (2n1 )
s
olo es necesario contar con algunas compuertas U (2), las cuales generan la universalidad
sobre los 1-qubits, y con algunas compuertas U (4), las cuales generan la universalidad
sobre los n-qubits.
Por otra parte, la universalidad o no de un modelo de CCG est
a determinada por el
grupo de holonoma Hol(A) asociado a su conexion A, de manera tal que mientras que
los modelos de la CCGNA son universales [18, 16, 22], los modelos de la CCGA no lo son
[26]. Hasta hace poco existan algunos malos entendidos respecto a la universalidad de la
CCGNA para el caso de U (4), puesto que algunos autores afirmaban que era necesario
que la conexion A fuera irreducible, es decir, Hol(A) = U (2n ) [28, p. 97], mientras
que otros autores demostraban que la conexion para U (4) no era irreducible [10, p. 81].
Hoy en da se sabe que la condicion de irreducibilidad de la conexion A para U (4) es
una condicion suficiente, pero no necesaria para obtener la universalidad [13]. Cuando
la conexion no es irreducible, la universalidad para U (4) se obtiene demostrando que el
modelo puede construir al menos una compuerta de 2-qubits no local o no trivial, es
decir, una compuerta que no sea de la forma SU (2) I2 o de la forma I2 SU (2) [14].
Dicho en otros terminos, un modelo de CCGNA es universal para U (4), si este tiene una
conexion irreducible, o si este es capaz de producir al menos una compuerta U (4) que
genere estados enredados a partir de los elementos de la base canonica para un 2-qubit.
A continuaci
on se presentan dos conjuntos de compuertas que son universales para
U (2) y para U (2n1 ). Sean Rx (), Ry () y Rz () las compuertas de rotacion dadas por
Rk () = eik /2 , para k {x, y, z},
donde k son las matrices de Pauli, y sean B() las compuertas de fase controlada de
2-qubit dadas por
| xi

| xi

| yi

| yi

| zi

| z (x y)i

es considerada una compuerta universal. Sin embargo, la universalidad de la compuerta de Toffoli se

refiere a una universalidad cl
asica, es decir, es posible construir cualquier circuito cl
asico con un
n
umero finito de compuertas de Toffoli. Este hecho est
a sustendado en que la compuerta de Toffoli
implementa un conjunto completo de operadores para la l
ogica cl
asica (tales como los operadores y )
como es se
nalado por

x y si z = 0 (compuerta and),

x z si y = 1 (compuerta xor ),
z (x y) =

z
si x = y = 1 (compuerta not),

z
si x = 0; y = 1 (compuerta identidad).
Universidad EAFIT

9|

Universalidad de la computaci
on cu
antica geom
etrica: modelo de tres estados

1
0

B() =
0
0

0
1
0
0

0
0
1
0

0
0
.
0
ei

Teorema 3.1 (Universalidad U (2)). Sea U cualquier operador unitario que opere sobre
un 1-qubit. Entonces existen n
umeros reales , , y tales que [5, p. 176]
U = ei Rx ()Ry ()Rx ().

(5)

Ejemplo 3.1. Para la compuerta de Hadamard H dada por



1 1 1

,
H=
2 1 1
de acuerdo al teorema (3.1) corresponde la descomposici
on

H = ei Rx ()Ry ()Rx (), donde = , = , = , = 0.

2
2

(6)

Teorema 3.2 (Universalidad U (2n1 )). La compuerta de Hadamard y las compuertas

de fase controladas de 2-qubits B() son un conjunto de compuertas universales para
U (2n1 ) [8, p. 2503].

El modelo de tres estados

El modelo de tres estados es un modelo de CCGNA construdo por [16]. Para la construcci
on del modelo para el caso de 1-qubit se define un hamiltoniano H0 representado
en su forma diagonal por

H0 = | 2ih2 | = 0
0

0 0
0 0 ,
0 0

(7)

donde | 2i = (1 0 0)T . El hamiltoniano (7) presenta una degeneracion de orden 2 para

el autovalor de energa E = 0 y un autovalor diferente de cero del cual deriva un estado
no degenerado. Los autovectores correspondientes al autovalor de energa E = 0 son los
qubits | 0i, | 1i y estos est
an representados por la segunda y tercera columna de (7). El
espacio computacional de la computacion cu
antica sobre un qubit, en el presente modelo,
es precisamente el espacio de autovectores degenerados asociados al autovalor E = 0. La
primera columna de (7) corresponde al autovector asociado al autovalor de energa 6= 0,
este u
ltimo autovector es denominado estado auxiliar.
Para el caso del hamiltoniano (7) la transformaci
on isoespectral que deja invariante
el subespacio de estados degenerados est
a dada por [26]

|10

Ingeniera y Ciencia, volumen 1, n

umero 1

Andr
es Sicard y Mario Elkin V
elez

H(i , i ) = g(i , i )H0 g (i , i ),

(8)

donde g(i , i ) SU (2), los par

ametros i , i C son los par
ametros de control que
definen el espacio par
ametrico M e i {1, 2}.
La estructura topol
ogica de la construcci
on geometrica que se deriva a traves de los
subespacios bidimensionales formados por los autoestados degenerados del hamiltoniano
parametrico (8), permite definir una conexion A no abeliana, la cual determina el modo
de realizar el transporte paralelo de estados degenerados, conducidos a lo largo de los
caminos cerrados (2) mediante la evoluci
on adiabatica. La conexion A de la estructura
topologica es antihermtica A = A y est
a definida por
A = Ai di + Ai di Ai di Ai di

donde i {1, 2}.

Las componentes de la conexion A se calculan mediante la expresi

on

A
i = h | g

g | i ,
i

donde , {0, 1} rot

ulan los estados degenerados de H0 y i {i , i } pertenece al
espacio de par
ametros de control M . Bajo una adecuada selecci
on de los par
ametros de
control las componentes de la conexion A toman la forma [26]

A1
A1
A2
A2


i sen2 1
i sen 1 sen 2 cos 1 eia
,
=
i sen 1 sen 2 cos 1 eia
i sen2 1 sen2 2


0
ei(1 2 1 ) sen 2
=
,
ia
e
sen 2
0


0
0
,
=
0 i sen2 2


0 0
=
,
0 0


(9)

donde a = 1 2 1 y 1 , 2 , 1 , 2 , 1 R. Con el conjunto de conexiones (9) es

posible construir todas las compuertas cu
anticas que act
uan sobre un 1-qubit.
Como fue mencionado, un modelo de computacion cu
antica universal exige la construcci
on de transformaciones no locales que act
uan sobre un 2-qubit. Para obtener estas
compuertas en el modelo de tres estados se define el hamiltoniano
H02q = H0a I3 + I3 H0b ,

(10)

donde H02q es el hamiltoniano inicial y H0a , H0b son hamiltonianos (7) asociados a los
subsistemas de 1-qubit a y b. El conjunto de autovectores del hamiltoniano H02q correspondientes al autovalor E = 0 est
an dados por
Universidad EAFIT

11|

Universalidad de la computaci
on cu
antica geom
etrica: modelo de tres estados

{| 0, 0i , | 0, 1i , | 1, 0i , | 1, 1i}.

(11)

El espacio generado por el conjunto de vectores base definido en (11) es el espacio sobre
el cual act
uan las transformaciones de 2-qubit en el presente modelo. Los operadores que
transforman los estados generados por la base (11) est
an dados por el producto de dos
operadores definidos de acuerdo a
g(, ai , ai , bi , bi ) = g 2q ()(g a (ai , ai ) g b (bi , bi )),

donde g 2q () representa las transformaciones que no admiten una descomposici

on como
un producto tensorial de transformaciones de 1-qubit y g a (ai , ai ) y g b (bi , bi ) con
i {0, 1}, representan las transformaciones de 1-qubit asociadas a los subsistemas a
y b, las cuales se pueden componer mediante el producto tensorial de trasformaciones
de 1-qubit [16]. La transformaci
on isoespectral que deja invariante el espacio de estados
degenerados del Hamiltoniano (10) est
a dada por
H 2q (, ai , ai , bi , bi ) = g 2q (g a g b )H02q (g a g b ) g 2q .
La conexion de la estructura topologica que se origina a partir de las transformaciones
de 2-qubits es antihermtica A = A , como en el caso de las transformaciones de un
1-qubit. Las componentes de la conexion para el modelo de tres estados en el caso de
2-qubit est
an dadas por
A
i =

 


 a
 (g g b ) g 2q g 2q (g a g b )  ,


i

donde i {, ai , ai , bi , bi } pertenece al espacio de par

ametros de control M y | i y | i
pertenecen al conjunto (11) de autovectores del hamiltoniano H02q . Estas componentes
de la conexion bajo una adecuada selecci
on de par
ametros , 2a , 2b R, toman la forma
[26]

0
0

A =
0
0

0
0
0
0

0
0
0
0

0
0
0
i cos2 2a cos2 2b

A2a = A2 A2

0
0

=
0
0

0
0
0
0

0
0
0
0

0
0
.
0
0

(12)

Con el conjunto de conexiones de 2-qubits (12) y el conjunto de las conexiones de 1-qubit

(9), es posible obtener la universalidad U (2n1 ) del modelo de tres estados.

Universalidad U (2) para el modelo de tres estados

A partir de las componentes de la conexion (9), el operador de holomona (3) y el grupo

de holonoma (4), asociados al modelo de tres estados, para el caso de 1-qubit, toman la
forma

|12

Ingeniera y Ciencia, volumen 1, n

umero 1

Andr
es Sicard y Mario Elkin V
elez

A () =


 I
U (2),
P exp A1 d1 + A1 d1 + A2 d2 + A2 d2

(13)

Hol(A) = {A () | : trayectoria cerrada sobre 0 M (1 , 2 , 1 , 2 ) }

= U (2).
Puesto que el operador de holonoma (13) representa las compuertas cu
anticas U (2)
posibles de realizar en el modelo de tres estados, la idea entonces es construir ciclos sobre una variedad M parametrizada por {1 , 2 , 1 , 2 }, de forma tal que las compuertas
asociadas a estos ciclos, constituyan un conjunto de compuertas universales para U (2).
De acuerdo al teorema (3.1), salvo un factor de fase ei expresado en (5), es necesario construir compuertas que produzcan las rotaciones Rx () y Ry (), para obtener la
universalidad de la compuertas que operen sobre un 1-qubit.
La construcci
on de la compuerta Ry () se realiza sobre el plano (2 , 1 ) fijando a cero
los par
ametros 1 y 2 . Sobre este plano se construye el ciclo Ry representado por la
figura (3), dado por
 
 
 

,
, 0 (0, 0) .
Ry (): (0, 0) 0,
2
2 2
2
2

(0, /2)

(/2, /2)

(0, 0)

1
(/2, 0)

Figura 3: Ciclo Ry () para la compuerta Ry ()

on (13) toma la forma

Para el ciclo Ry , sobre el plano (2 , 1 ), la ecuaci
Universidad EAFIT

13|

Universalidad de la computaci
on cu
antica geom
etrica: modelo de tres estados

A (Ry ()) = exp

= exp

A2 d2 + A1 d1

Ry ()
0

/2

!


A1 |2 =/2,1 =2 =0 d1

 

0
/2
= exp
/2
0

!
(14)

= Ry ().

De acuerdo al c
alculo anterior, la lnea punteada de la figura (3) indica cual es la
parte del ciclo Ry y cual es la componente de la conexion que realmente contribuye a la
formaci
on de la compuerta Ry (), puesto que en las otras partes del ciclo, las componentes
de la conexion se anulan.
A diferencia de la compuerta Ry () que es construida sobre un plano bidimensional,
la compuerta Rx () se construye sobre el plano tridimensional (2 , 2 , 1 ) fijando a cero
a dado por
el par
ametro 1 , en cual el ciclo Rx est
Rx ():




 
 



, 0, 0
, ,0
, ,
, 0,
, 0, 0 .
2
2 2
2 2 2
2
2
2

En este caso, la ecuaci

on (13) para el ciclo Rx , sobre el plano (2 , 2 , 1 ), toma la
forma

A (Rx ()) = exp

 
0
= exp
i/2
= Rx ().

A2 d2 + A2 d2 + A1 d1

Rx ()


i/2
0

(15)

De acuerdo al teorema (3.1), es posible obtener la universalidad para U (2) sin necesidad de la rotacion Rz (). Sin embargo, est
a rotacion ser
a necesaria para construir una
composici
on de caminos para obtener la compuerta de Hadamard, la cual a su vez es
necesaria para obtener la universalidad para U (4) en el modelo de tres estados. Similar
a la compuerta Rx (), la compuerta Rz () se construye sobre un plano tridimensional
(1 , 2 , 1 ) fijando a cero el par
ametro 2 , en cual el ciclo Rz , representado por la figura
(4), est
a dado por [15, 16]





, 0,
Rz (): (0, 0, 0) 0, 0,
 
 2  2  2


, ,
, ,0
, 0, 0 (0, 0, 0) .
2 2 2
2 2
2

|14

Ingeniera y Ciencia, volumen 1, n

umero 1

Andr
es Sicard y Mario Elkin V
elez

(0, 0, /2)

(/2, 0, /2)

(/2, /2, /2)

(/2, 0, 0)

(/2, /2, 0)

1
Figura 4: Ciclo Rz () para la compuerta Rz ()

La ecuaci
on (13) para el ciclo Rz , sobre el plano (1 , 2 , 1 ), toma la forma

A (Rz ()) = exp

A2 d2 + A1 d1 + A2 d2

Rz ()

 

i/2
0
= exp
0
i/2

(16)

= Rz ().

Universalidad U (2n1 ) para el modelo de tres estados

De acuerdo al teorema (3.2), la universalidad para la compuertas que operan sobre un

n-qubit se obtiene a partir de la compuerta de Hadamard y las compuertas de fase
controladas de 2-qubits B().
Una vez obtenida la universalidad U (2) sobre el modelo de tres estados, es posible
construir cualquier compuerta que opere sobre un 1-qubit, en particular, es posible construir la compuerta de Hadamard. Con base en (14), (15) y (16) se definen las matrices
Cx (), Cy () y Cz () dadas por
Universidad EAFIT

15|

Universalidad de la computaci
on cu
antica geom
etrica: modelo de tres estados

 

0
i/2
Rx () = exp[Cx ()] = exp
,
i/2
0
 

0
/2
Ry () = exp[Cy ()] = exp
,
/2
0
 

i/2
0
Rz () = exp[Cz ()] = exp
.
0
i/2
De acuerdo a (6), salvo el factor de fase ei/2 , la construcci
on de la compuerta de
Hadamard se lleva a cabo realizando la rotacion
H = Rx ()Ry (/2)Rx (0)
= exp[Cx ()] exp[Cy (/2)].
Intuitivamente, los ciclos Rx () y Ry (/2) se pueden componer para obtener la rotacion H . Sin embargo, puesto que las matrices Cx () y Cy (/2) no conmutan, es
necesario recurrir a la f
ormula de Campbell-Baker-Hausdorff para expresar el producto
de dos exponenciales de matrices como una suma de exponenciales, y de esta forma
obtener la composici
on deseada. Para matrices A1 y A2 , la formula de Campbell-BakerHausdorff, a quinto orden, est
a dada por [23]
exp(A1 ) exp(A2 )

1
1
1
exp (A1 + A2 ) + A12 + (A112 + A221 ) + A1221
2
12
24

1
(A11112 2A21112 6A11221 6A22112 2A12221 + A22221 ) ,

720

(17)

donde,
Akl...mn = [Ak , [Al , . . . [Am , An ] . . .]].
Sea N C(A1 , A2 ) el termino adicionado a (17) por la no conmutatividad de A1 y A2 ,
entonces la composici
on de caminos para obtener la rotaci
on H est
a dada por
H = exp[Cx ()] exp[Cy (/2)]
exp[[Cy (/2) + Cx () + N C(Cy (/2), Cx ())]]
exp[[Cy (0,05) + Cx (4,02) + Cz (2,4)]].
Una vez expresada la rotacion H como una suma de caminos, es posible componer
on de estos caminos es un camino H (a, b, c) en
los caminos Ry , Rx y z . La composici
el plano (1 , 2 , 1 , 2 ) dado por

|16

Ingeniera y Ciencia, volumen 1, n

umero 1

Andr
es Sicard y Mario Elkin V
elez

H (a, b, c):


a
a
0, 0, ,

(0, 0, 0, 0) 0, 0, 0,

2
2 2


0, 0, , 0 (0, 0, 0, 0)
2

0,


 

, 0, 0 0, , , 0
2
2 2

b
, 0,
2
2



b

0, , ,

2 2 2



0, , 0, 0 (0, 0, 0, 0)
2

c


camino Ry (a)


c
c



, 0, 0, 0
, 0, , 0
, 0, ,

2
2
2
2
2 2




0, 0, ,
0, 0, , 0 (0, 0, 0, 0)
2 2
2

camino Rx (b)

camino Rz (c)

Entonces la ecuaci
on (13) para el ciclo H (a, b, c), sobre el plano (1 , 2 , 1 , 2 ), donde
a = 0,05, b = 4,02, y c = 2,4, toma la forma

A (H (a, b, c)) = exp

A1 d1 + A2 d2 + A1 d1 + A2 d2

H (a,b,c)

= exp [(Cy (a) + Cx (b) + Cz (c))]

H .
Por otra parte, las compuertas de fase controlada B() son las u
nicas compuertas de
2-qubits que se requieren para demostrar la universalidad U (4) del modelo de tres estados,
y por lo tanto, la universalidad U (2n1 ) en dicho modelo. El espacio de par
ametros
{, 2a , 2b } es quien parametriza los componentes (12) de la conexion para el caso de
2-qubits. A partir de estas componentes, el operador de holomona (3) y el grupo de
holonoma (4), asociados al modelo de tres estados, para el caso de 2-qubit, toman la
forma

A () =


 I

P exp (A d + A2a d2a )
U (4),

(18)

Universidad EAFIT

17|

Universalidad de la computaci
on cu
antica geom
etrica: modelo de tres estados

Hol(A) = {A () | : trayectoria cerrada sobre 0 M (, 2a , 2b ) }

U (4).
Para la obtener la compuerta B(), se construye un ciclo B en el plano (2a , ), fijando
a cero el par
ametro 2b , dado por [15, 16]
B (): (0, 0)


 
,0
, (0, ) (0, 0) .
2
2

Para el ciclo B , sobre el plano (2a , ), la ecuaci

on (18) toma la forma

A (B ()) = exp

0
0

= exp
0
0
= B().

(A d +

B ()

0
0
0
0

A2a d2a )

0
0

0
0

0
0
0 i

Conclusiones

La universalidad de un modelo de Computaci

on Cu
antica se obtiene a partir de las
posibilidades que ofrece el modelo para la construcci
on de un conjunto de compuertas
cu
anticas tales que cualquier transformaci
on unitaria U (2n1 ) pueda ser aproximada con
suficiente exactitud por un circuito cu
antico que consta u
nicamente de un n
umero finito
de compuertas de dicho conjunto. Por lo general, estas compuertas cu
anticas son algunas
compuertas U (2), es decir, compuertas sobre un 1-qubit y algunas compuertas U (4), es
decir, compuertas sobre un 2-qubit.
En el contexto de la Computaci
on Cu
antica Geometrica, uno de los modelos que
presenta caractersticas de universalidad, es el modelo de tres estados, el cual se obtiene
a partir de un Hamiltoniano degenerado en el valor de energa E = 0. Para este modelo,
las compuertas se obtienen como operadores de holonoma A () construdos con base
en una conexion A y en un ciclo sobre un espacio parametrico M . En particular, la
universalidad U (2) del modelo se obtuvo al construir las compuertas de rotacion Rx ()
y Ry (). La universalidad U (4) y por lo tanto la universalidad U (2n1 ) del modelo, se
obtuvo al construir la compuerta de Hadamard H y las compuertas de fase B().

|18

Ingeniera y Ciencia, volumen 1, n

umero 1

Andr
es Sicard y Mario Elkin V
elez

Agradecimientos
Los autores agradecen a Dennis Lucarelli por las aclaraciones realizadas y a tres evaluadores an
onimos por sus acertadas observaciones y sugerencias.

Referencias
[1] Dorit Aharonov, A simple proof that Toffoli and Hadamard are quantum universal, arXiv.
org/abs/quant-ph/0301040, 2003.
[2] Adriano Barenco, A Universal two-bit gate for quantum computation, Proc. R. Soc. Lond.
A, 449, 679683 (1995).
[3] Adriano Barenco et al, Elementary gates for quantum computation, Phys. Rev. A, 52, 3457
3467 (1995).
[4] P. Oscar Boykin et al, A new universal and fault-tolerant quantum basis, Information Processing Letters, 75(3), 101107 (2000).
[5] Isaac L. Chuang y Michael A. Nielsen, Quantum computation and quantum information,
Cambridge: Cambridge University Press, 2000.
[6] David Deutsch, Quantum computational networks, Proc. R. Soc. Lond. A, 425, 7390 (1989).
[7] David Deutsch, Adriano Barenco y Artur Ekert, Universality in quantum computation,
Proc. R. Soc. Lond. A, 449, 669677 (1995).
[8] Artur Ekert et al, Geometric quantum computation, J. Mod. Optic., 47(14/15), 25012513
(2000).
[9] Kazuyuki Fujii, Note on coherent states and adiabatic conections, curvatures, J. Math.
Phys., 41, 44064412 (2000).
[10]

, Mathematical foundations of holonomic quantum computer, Reports on Mathematical Physics, 48(1/2), 7582 (2001).

[11] Jonathan Jones et al, Geometric quantum computation using nuclear magnetic resonance,
Nature, 403, 869871 (2000).
[12] Seth Lloyd, Almost any quantum logic gate is universal, Phys. Rev. Lett., 75(2), 346349
(1995).
[13] Dennis Lucarelli, Chows theorem and universal holonomic quantum computation, J. Phys.
A: Math. Gen., 35, 51075114 (2002).
[14]

, Comunicaci
on personal, 2003.

[15] Antti Niskanen, Holonomic quantum computation, Masters thesis, Helsinki University of
Technology, focus.hut.fi/projects/materials/pubps/holonomic.ps.gz, 2002.
[16] Antti Niskanen, Mikio Nakahara, y Martti Salomaa, Realization of arbitrary gates in holonomic quantum computation, Phys. Rev. A, 67, 012319 (2003).
[17] Jiannis Pachos y Spiros Chountasis, Optical holonomic quantum computer, Phys. Rev. A,
62, 052318 (2000).
Universidad EAFIT

19|

Universalidad de la computaci
on cu
antica geom
etrica: modelo de tres estados

[18] Jiannis Pachos y Paolo Zanardi, Quantum holonomies for quantum computing, Int. J. Mod.
Phys. B, 15(9), 12571285 (2001).
[19] Jiannis Pachos, Paolo Zanardi, y Mario Rasetti, Non-abelian Berry connections for quantum
computation, Phys. Rev. A, 61, 010305 (1999).
[20] Yaoyun Shi, Both Toffoli and Controlled-NOT need little help to do universal quantum
computation, arXiv.org/abs/quant-ph/0205115, 2002.
[21] Andres Sicard, Universalidad para el modelo de 3 estados de la computaci
on cu
antica
geometrica, Memorias IX Encuentro ERM, Universidad Surcolombiana, Neiva, http:
//sigma.eafit.edu.co:90/ asicard/archivos/universalidad3estadosERM-slides.ps.gz, septiembre 15 al 19 de 2003.
[22] Andres Sicard y Mario Velez, Universalidad de la computaci
on cu
antica geometrica: modelo del medio Kerr, Revista Colombiana de Fsica, 36(1), 230234, (2004). Memorias
XX Congreso Nacional de Fsica, Universidad del Qundio, http://sigma.eafit.edu.co:
90/asicard/archivos/universalidadMedioKerr.tar.gz, septiembre 1 al 5 de 2003.
[23] A. T. Sornborger y E. D. Stewart, Higher-order methods for quantum simulations, Phys.
Rev. A, 60(3), 19561965 (1999).
[24] Mario Velez y Andres Sicard, El formalismo de la teora gauge en la computaci
on cu
antica,
Revista Colombia de Fsica, 33(2), 8084 (2001). Memorias IXX Congreso Nacional de
Fsica, Universidad Nacional, seccional Manizales, http://sigma.eafit.edu.co:90/ asicard/
archivos/cch.tar.gz, septiembre 24 al 28 de 2001.
[25]

, Computaci
on cu
antica geometrica, Tech. report, Universidad EAFIT, http://
sigma.eafit.edu.co:90/ asicard/archivos/proyectoCCG.tar.gz, 2002.

[26]

, Computaci
on cu
antica geometrica no abeliana, Tech. report, Universidad EAFIT,
http://sigma.eafit.edu.co:90/ asicard/archivos/proyectoCCGNA.tar.gz, 2003.

[27]

, Computaci
on cu
antica geometrica: modelo de tres estados, Revista Colombiana
de Fsica, 36(1), 226229 (2004). Memorias XX Congreso Nacional de Fsica, Universidad del Qundio, http://sigma.eafit.edu.co:90/ asicard/archivos/modelo3estados.tar.gz,
septiembre 1 al 5 de 2003.

[28] Paolo Zanardi y Mario Rasetti, Holonomic quantum computation, Phys. Lett. A, 264, 9499
(1999).

|20

Ingeniera y Ciencia, volumen 1, n

umero 1