Universidad Simn Bolvar

Febrero 2017
Autores: R. Martnez, M. Morgado, M. Casanova
Profesor: E. Castro
Curso: Informacin y Comunicacin Cuntica (FS-5449)

Introduccin al Trabajo: A family of Stabilizer Codes for D(Z2)

anyons and Mojorana modes
Abstract
En este trabajo se busca guiar al lector en el entendimiento bsico del trabajo de investigacin: "A family of Stabi-
lizer Codes for D(Z2 ) anyons and Mojorana modes" de J. Wootton [1], en particular est dirigido estudiantes que estn
viendo actualmente el curso de: "Informacin y Comunicacin Cuntica" dictado por el Prf. E. Castro.

1 Introduccin

Microsoft e Intel anunciaron en los ltimos dos aos que invertiran en el proyecto de la computadora cuntica
(>$300M) conocido como Station Q [2], en la que se encuentran trabajando diversas universidades enfocadas principal-
mente en el desarrollo de una Computadora Cuntica Topolgica, lo cual incentiv a los investigadores a seguir explorando
esta rea del conocimiento, aumentando considerablemente el nmero de publicaciones. En esta ocasin vamos a tratar el
trabajo de investigacin (paper) del Dr. James Wootton de la Universidad de Basilea.

Siguiendo el abstract del trabajo, la idea en esta ocasin es presentar un estudio y generalizacin de cdigos topolgicos
(cdigos estabilizadores) de qubits que surgen en la fase Abeliana (en general podemos pensar que el resultado cmo
deformemos al elemento o espacio podra variar dependiendo del orden en que hagamos esto)1 en un modelo que emplea
una red tipo panal de abeja. La familia de cdigos resultantes se conocern como "matching codes".

2 Computadora Cuntica Topolgica

Es un modelo terico de computadora cuntica en base a un nuevo concepto de computacin cuntica tolerante a fallos,
que consiste en una red de cuasipartculas bidimensionales, conocidas como Anyons2 los cuales utilizan sus worldlines (se
refiere a cada una de las coordenadas espaciales y temporales) [6] para formar lazos en el espacio tiempo [3]. Estos lazos
son los que forman las compuertas lgicas (operaciones sobre qubits), donde la acumulacin de pequeas perturbaciones
no alteran las propiedades topolgicas 3 [4]. Es importante resaltar que una de las ventajas es que NO requiere correccin
de errores.

Entonces, entendiendo las ideas bsicas de la teora de trenzas en la referencia [4] podemos pensar entonces en:
Inicializacin,cuasipartculas generadas del vaco, estos puntos no pueden ser intercambiados, es decir estn fijos y
ser una de las caractersitcas topolgicas del sistema. Procesamiento, operaciones sin interacin entre cuasipartculas,
ac se puede pensar simultneamente en el concepto de anyons dado en [3] y las operaciones propuestas en [4], en
resumen, imaginemos en este caso 6 anyons que se pueden vincular con lazos que estaremos trenzando a lo largo del
tiempo. La manera de trenzar estar relacionado con las operaciones del sistema y topolgicamente estaremos en una
clase de equivalencia[11][12] 4 (variedad) de nudos al terminar estas operaciones. Finalmente la Lectura, medida de las
1Ver apoyo terico 3.2
2Ver apoyo terico 3.4
3Ver apoyo terico 3.1
4Ver apoyo terico 3.3

1
 Figure 1: Esquema de lazos que involucra 6 qubits individuales (anyons), donde se tienen las 3 etapas del concepto.

aniquilaciones finales, es decir el estado final del sistema. En cuanto a los errores: Los errores en este tipo de sistemas
pueden ser generados por:
Fluctuaciones trmicas que generen pares de anyons.
Errores decrecen exponencialmente con la distancia y la temperatura.
Tasas de error estimadas tan bajas como 10-30 .
Cdigos Estabilizadores: En resumen, es una forma alternativa de representar un estado es por los operadores que lo
estabilizan, es decir, los operadores para los cuales es un autoestado de autovalor igual a uno 5.

Para definir de manera formal a este grupo de operadores, se pide que: sea G n es grupo de las matrices de Pauli en n
qubits. Entonces, el subgrupo S de G n ser el cdigo estabilizador de Vn = {|i | M |i = |i, M S}

Con todo esto claro, podemos entrar en materia:

arXiv:1501.07779v2

Matching Codes:

Son cdigos estabilizadores que se definen sobre redes trivalentes con un qubit en cada vrtice. Cada arista (o vnculo)
de la red se etiqueta como x, y o z, tal que no haya vnculos adyacentes del mismo tipo.
5Ver apoyo terrico 3.6

2
Figure 2: Los vnculos rojos, verdes y azules representan los operadores de vnculos (K` ) y cada vrtice correspoonde
a un qubit fsico (anyon) enumerados desde 1 a 12 y finalmente los nmeros encerrados en crculos corresponden al
nmero de plaqueta que van de 1 a 6. En la figura adems se observa la condicin de periodicidad en los bordes de la
red (en este caso tenemos un toroide).

Operador de vnculo es definido como:

K` = j k, (1)
donde {x, y, z} y j, k son los vertices de la arista.

Un camino es un conjunto de los vnculos de la red, tal que no ms de dos vrtices incidan sobre una cantidad impar
de aristas del camino. Si no hay tales vrtices, llamamos al camino un lazo. Si hay dos, entonces es una cadena con estos
vrtices como extremos. Denotamos un camino con extremos j y k como P( j, k).

Trabajaremos con redes con forma de panal de abejas con condiciones de borde peridicas. stas son redes de
plaquetas hexagonales envueltas sobre un toroide. Adems, slo consideraremos generadores de estabilizadores que sean
el producto de operadores de vnculos que formen un camino. Por otro lado se define :

Operador de plaqueta como:

Wp K` (2)
` p

y el Operador de cadena como:

S j,k K` . (3)
` P(j,k)

En una red de N vrtices tendremos N/2 plaquetas y N/2 pares disjuntos de vrtices (M). Podemos usar los W p y los
S j,k que unen estos pares de vrtices como N generadores de estabilizadores.

Dadas todas las cadenas P( j, k), podemos determinar la cantidad n` de cadenas que incluyen al link (vnculo) `. Nos
referimos a losvnculos como pares o impares en funcin de la paridad de n` . Para cada vrtice j podemos considerar la
cantidad j = ` j n j , donde la suma se realiza sobre los tres vnculos incidentes en j.

Ya que cada vrtice es el extremo de una sla cadena, j ser impar para todo j. En consecuencia, sobre todo j incide
una cantidad impar de vnculos impares. Adems, dado esto y que los vrtices son trivalentes, sobre todo j incide una
cantidad par de vnculos pares. Esto implica que el conjunto de los vnculos pares corresponde a un conjunto de lazos.
Podemos bicolorar, en blanco (w) y negro (b), las plaquetas en funcin de si estn dentro o fuera de estos lazos.

Considerando que 2 = 12x2 y = i y que :

S j,k K`, (4)
(j,k)M ` odd

se puede deducir que:

Wp Wp S j,k . (5)
p w p b (j,k)M

3
 En consecuencia de esta ltima propiedad, slo N 2 de los N generadores son independientes y el estabilizador
codifica dos qubits lgicos.

3 Apoyo Terico
Esta seccin se enfoca en la explicacin de ciertos conceptos puntuales para entender el contexto del trabajo, tomando
en cuenta que el lector tiene conocimientos en informacin y comunicacin cuntica, formalismo de Hamilton, lgebra
lineal y mecnica estadstica. Es importante resaltar que el trabajo requiere de un alto nivel de entendimiento de conceptos
avanzados de topologa y mecnica cuntica para comprender plenamente, invitamos al lector estudiar en ms detalle las
referencias brindadas.

3.1 Topologa
La topologa es un rea de la matemtica que se encarga de estudiar las propiedades del espacio al ste deformarse de
manera continua (estirar, arrugar y flexionar, pero sin desgarrar o pegar). En particular se suele hacer enfoque en ver
cules propiedades del espacio se conservan bajo estos cambios. Las familias de elementos topolgicos que bajo estos
cambios conservan propiedades se les llama variedades [7].

Este concepto esta intrsecamente relacionado con el trabajo, ya que con esto se logra establecer un formalismo sobre
el sistema fsico (red de anyons/majoranas), con el que se logra hacer un estudio computacional del estado de estos (qubits)
y las operaciones que se pueden realizar (operaciones de vnculo, plaquetas y caminos).

3.2 Fases Abelianas y No Abelianas

En general las fases abelianas las asociamos con los niveles de no-degeneracin en el Hamiltoniano (operador que describe
el sistema). En este caso, un subespacio del espacio de Hilbert adquiere una fase geomtrica que es dada por una matriz
en vez de con un escalar [9].

En fsica, se llama fase geomtrica a la fase que adquiere un sistema al efectuar una trayectoria que lo devuelve al
punto original, mientras se encuentra sujeto a un parmetro que cambia de forma adiabtica [8] [10].

3.3 Grupos
En lgebra un grupo (G) es una estructura algebraica que consiste en un conjunto de elementos que pueden ser relacionados
via una operacin cualquiera (+,,-,*,/, etc) que deben cumplir:

1. Clausura: Para todo a, b perteneciente al conjunto G, el resultado de la operacin: a b, est tambin en G.

2. Asociatividad: para todo a, b y c pertenecientes a G, (a b) c = a (b c).
3. Elemento de Identidad: existe un elemento e en G tal que, por cada elemento a en G, se cumple la ecuacin:
e a = a e = a. Este elemento es nico y es llamado la identidad.
4. Elemento Inverso: por cada a en G, existe un elemento a1 (o a si se trata de la suma convensional), tal que:
a a1 = a1 a = e, donde e es la identidad.

El grupo ha de llamarse Abeliano si adems cumple:

5. Conmutatividad: Para todo a y b pertenecientes a G, se cumple: a b = b a .

3.4 Anyons
Un anyon es un tipo de cuasipartcula bidimensional que se comporta como fermin (partculas de Spn semi-entero que
siguen la distribucin de Fermi-Dirac) o como bosn (partculas de Spn entero que siguen la distribucin de Bose-Einstein).
Los anyons pueden ser clasificados como: abelianos o no-abelianos.

El intercambio de anyons puede introducir cambios de fase en el estado del sistema (i.e |i = |1i |1i ). Si estos
anyons son no-abelianos, puede adems cambiar de estado al sistema (i.e |i = |1i |0i ).

Estas propiedades se relacionan con el la teora de lazos, de manera que estas partculas sean usadas como sistemas
fsicos para crear qubits topolgicos y compuertas cunticas de 1 y 2 qubits y compuertas lgicas.

4
3.5 Ferminones de Majorana
Un fermin de Majorana es una partcula ferminica cuya caracterstica principal es que constituye su propia antipartcula
(la antipartcula en este caso constituye una partcula de las mismas caractersticas que su compaera pero de carga opuesta
i.e. electrn vs positrn). En la rama de materia condensada aparecen en estados ligados como anyons no abelianos.

Su naturaleza ferminica implica que no pueden existir dos en el mismo estado (por principio de exclusin de Pauli) y
que al ser intercambiados, el sistema gana una fase de .

3.6 Estabilizadores
Un estabilizador S de n qubits se define como cualquier subgrupo abeliano del grupo de Pauli Pn que no contenga 1 n .
Algunas de sus propiedaes ms importantes son:

1. Si un estado es autoestado con autovalor +1 de un operador A, A|i = |i, entonces se dice que |i es estabilizado
por dicho operador, el cual recibir entonces el nombre de operador estabilizador.

Ejemplos:

a)

z |0i = |0i |0i es estabilizado por z .

z |1i = |1i |1i NO es estabilizado por z .

b) Sean los estados:

1   1  
|+i = |0i + |1i ; |i = |0i |1i ,
2 2
1  
X|+i = |0i + |1i = |+i,
2
1   1  
X|i = X|0i X|1i = |0i |1i = |i.
2 2

S = {X} estabiliza solo al estado |+i.

2. La expresin general de los estados estabilizadores es:

g = g1 ... gn gi P1 . (6)

Siendo P1 = {o, x, y z }. estos operadores son hermticos y las matrices que los representan son de
dimensin 2n x2n .
3. La traza de un operador estabilizador diferente de la identidad es nula.
4. Si dos operadores estabilizadores g y h estabilizan un estado estabilizador |Si, entonces el producto g h estabilizar
el mismo estado.

Para ver ms informacin sobre estabilizadores se recomienda leer [5], de donde fue tomada esta informacin.

4 Ejemplos
A continuacin se muestras algunos ejemplos e ilustraciones de las mallas y estabilizadores con los que se trabajar.

En la figura 3 se presenta un Matching Code de N=12 qubits. Se puede ver que la cantidad de plaquetas en esta malla
es N/2 = 6. Como trabajamos con mallas con condiciones de borde peridicas, los qubits de los bordes se repiten en el
otro extremo del dibujo. Esto es equivalente a decir que la malla envuelve un toroide, entonces claramente no hay bordes
y se tiene una simetra translacional.

5
 Figure 3: Una malla trivalente de 12 vrtices. Las aristas X se muestran en rojo, Y en verde y Z en azul.

En la figura 4 se muestra una seleccin sencilla de los caminos que pertenecen al generador del estabilizador. En
este caso, se han elegidos como pares los qubits adyacentes separados por un vnculo Z, estos son: P(4,7), P(5,8), P(6,9),
P(10,3), P(11,1) y P(12,2). Claramente, la cantidad de pares es N/2 = 6. El camino elegido para unir estos pares ha sido
el vnculo que los une directamente. Como todos los caminos son vnculos individuales y los pares son disjuntos, todos
los vnculos Z, es decir, los que forman los caminos del estabilizador, son impares, pues cada uno aparece una vez en el
conjunto de todos estos caminos. El resto de los vnculos son todos pares, pues no pertenecen a ningn camino. Por lo
tanto, en este ejemplo, los vnculos Z son impares y los X e Y son pares.

En este caso es dificil ver en el dibujo plano el lazo que genera la bicoloracin de las plaquetas, pues este no encierra
una seccin de la superficie del toroide, sino que lo divide en por la mitad en dos anillos, como se muestra en la figura 5,
que es una ilustracin en 3-D de la bicoloracin de este toroide.

Figure 4: Ejemplo en el que se eligen las arstas Z como los caminos miembros del generador del estabilizador. Estas se
muestran de color rojo, mientras que las aristas que no pertencen a ningn camino elegido se muestran en negro.

6
Figure 5: Ilustracin en 3-D del toroide bilocorado cuando se eligen las arstas Z como los caminos miembros del gener-
ador del estabilizador

Finalmente, se muestra en las figuras 5 y 6 un ltimo ejemplo de la bicoloracin de las plaquetas. En este caso, se
ha construido no directamente en funcin de los pares de qubits y los caminos que los unen, sino de la paridad de los
vnculos. De esta manera resulta ms facil crear la bicoloracin deseada, pues se sabe que sobre cada vertice debe incidir
una cantidad par de vnculos pares y una cantidad impar de vnculos impares, y que los vnculos impares separan plaquetas
del mismo color, mientras que los vnculos pares separan plaquetas de color distinto. En este caso, el lazo formado por
los vnculos pares slo encierra una pequea porcin de la superficie del toroide.

Figure 6: Ejemplo de como puede cambiar la bicoloracin de las plaquetas en funcin de los caminos elegidos. Los
caminos pares son de color morado y los impares de color gris. Se puede ver que las plaquetas separadas por una arista
par son de color distinto, mientras que las aristas impares separan aristas del mismo color.

Figure 7: Ilustracin 3-D de la bicoloracin del ltimo toroide.

7
References
[1] James R. Wootton, A family of Stabilizer Codes for D(Z2 ) anyons and Mojorana modes (2015) arXiv:1501.07779v2.

[2] https://stationq.microsoft.com/
[3] https://www.youtube.com/watch?v=hKFecm9NKbM
[4] https://www.youtube.com/watch?v=u3Gt578803I&feature=youtu.be
[5] E. Castro, Clase#7 de Grafos Cunticos e Informacin Cuntica (2015).

[6] https://en.wikipedia.org/wiki/World_line
[7] https://en.wikipedia.org/wiki/Topology
[8] https://es.wikipedia.org/wiki/Fase_geomtrica

[9] M. S. Sarandy y D. A. Lidar, Abelian and non-Abelian geometric phases in adiabatic open quantum systems (2006).
[10] https://es.wikipedia.org/wiki/Teorema_adiabtico
[11] http://www.revista.unam.mx/vol.10/num1/art03/int03-2.htm
[12] https://es.wikipedia.org/wiki/Relacin_de_equivalencia