1. Introduction
Quantum coding theory made a significant advance with the discovery of CSS codes [
1,
2], leading to the development of the richer structure known as stabilizer quantum codes [
3]. Since the superposition of states is essential for quantum information processing, interactions with the environment can easily destroy these superpositions, making quantum systems extremely fragile. Stabilizer codes, acting locally, can offer an alternative solution to this problem.
Kitaev [
4] proposed a class of stabilizer codes associated with a square lattice, i.e., sublattices of
with squares as fundamental regions. These codes depend on the topology of a surface and belong to the general class of topological quantum codes. Such codes are used to store quantum information in the non-local degrees of freedom of strongly correlated quantum systems with topological order. Because they are encoded non-locally, these quantum states are resistant to local noise that does not alter the system’s overall topology. This construction relies on an intrinsic physical mechanism that enables the topological system to self-correct local errors, which is remarkable because it does not require external detection and correction of quantum errors, unlike traditional non-topological codes. The system’s physical properties provide the mechanism for protecting the encoded quantum states. Interactions described by a Hamiltonian in certain lattices or on surfaces with non-trivial topology control this mechanism. The ground state of these Hamiltonians exhibits topological order, characterized by a robust type of ground state degeneracy that is resilient to local disturbances. This robustness is due to an energy gap in the Hamiltonian spectrum separating the ground state from excited states. Moreover, this degeneracy depends on the topology of the network where the strongly correlated system’s Hamiltonian is defined. Intuitively, topological order is a form of long-range entanglement in the ground and excited states of a quantum system. Topology may further enhance protection in ordinary-circuit quantum computing. For example, combining topological distribution and dynamical decoupling can improve error correction capabilities [
5,
6].
To build topological quantum codes, we can consider a tiling (tessellation) of the flat torus surface. The most significant classes of topological quantum codes are surface codes and color codes. We obtain surface codes on a flat torus by associating Pauli operators X and Z with the vertices and faces of the polygons that tessellate the torus. The encoded qubits correspond to the homologically non-trivial cycles on the torus surface.
Bombin and Martin-Delgado introduced the color codes [
7]. They constructed these codes on three-valent tessellations with three-colorable faces, allowing for the coloring of each face using three different colors, resulting in distinct colors for neighboring faces. Each face of the tessellation has two Pauli operators attached, allowing for encoding twice as many qubits as surface codes, as proved in [
8].
Sarvepalli and Raussendorf [
9] proposed color codes with parameters
on the flat torus obtained from honeycomb lattices, i.e., sublattices of
, where the Voronoi regions are regular hexagons, which give rise to a three-valent tessellation. The qubits are attached to each vertex of the regular hexagons that tessellate the torus. In [
10], the procedure for constructing color codes with parameters
was expanded to any positive integer value of
m, not only for the case where
m is expressed as
, as obtained in [
9].
Kitaev [
4] proposed surface codes with parameters
derived from the
tessellation of the flat torus by
squares (where each square represents a fundamental region of the
lattice). In contrast to the proposal in [
4], the authors in [
7] introduced new classes of surface codes with parameters
. The way this structure is made is based on how the torus surface can be tiled with
m polyominoes [
11]. Each region is a match for a Lee sphere with radius
r that is part of the
lattice. The centers of these polyominoes are codewords of classic perfect codes
that have associated an algebraic structure of a cyclic additive group. This class of surface codes has been constructed only in cases where
m can be simultaneously expressed in the forms
and
for some positive integer
r and at least one pair of non-zero integers
a and
b.
In [
12], the geometric method for making surface codes from
-lattices using polyominoes, which was first suggested in [
7], was expanded to all situations where
m can be written as
. Similar to the work in [
7], the centers
of the regions that cover the
tessellation also have associated the algebraic structure of a cyclic group.
Recently, the study of surface codes derived from honeycomb lattices has also gained attention. These lattices were initially studied by Kitaev in [
13]. The honeycomb lattice has a fundamaental role, since it is a topologically ordered system involving only two-body interactions [
14], and it is also used to build new quantum memories [
15].
The main goal of this work is to extend the procedure for building topological codes via square lattices to honeycomb lattices . If we consider the question about the construction of topological codes derived from lattices from an algebraic and geometric point of view, the following questions appear in this context:
Is it possible to obtain surface codes with the same parameters
of Kitaev construction [
4] from honeycomb lattices partition of index
?
Is it possible to get surface codes from the tessellations of the torus that have regions congruent to Lee spheres with radius r and centers on the codewords of the classic perfect code , which come from the -lattices?
Is it possible to get color codes from the tessellations of the torus that have regions congruent to Lee spheres with radius r and centers on the codewords of the classic perfect code , which come from the -lattices?
The goal is to develop fundamental tools from lattice theory to answer these questions. We can obtain the flat torus geometrically by identifying the opposite sides of the parallelogram. If the parallelogram is the fundamental region of a lattice , we will denote the flat torus by .
For instance, if we choose
as the lattice basis associated with
-lattice, we find a unit area square as the fundamental region associated with
-lattices. Because of this, considering this lattice basis gives us a parallelogram
, and a Voronoi
partition that are the same up to a translation [
10,
16].
These partitions produce tessellations that are self-dual. Therefore, we can perform the analysis of the minimum distance of surface codes using either the parallelogram or Voronoi partition. From there, several works [
4,
12,
17] have proposed families of surface codes derived from
lattices.
If we choose
as the lattice basis for
, on the other hand, we get a parallelogram whose sides are parallel to the vectors
and
. This is the fundamental region for the
-lattices. As a result of choosing this lattice basis, we obtain parallelogram
and Voronoi
partitions that are not equal to a translation one each other. However,
and Voronoi
are congruent partitions on the flat torus [
10,
16]. As a result, in [
10], new classes of surface codes and color codes were proposed, with parameters
and
, respectively.
We look at an algebraic and geometric alternative way to build topological codes on the flat torus that is related to the
and
lattices in this work. For this purpose, we consider as the lattice basis
of sublattices
of index
in
:
We will get the same surface codes as in [
4,
7,
12] by using the algebraic technique of lattice partition and the geometric technique of projecting a vector from the basis
of
, which is shown by Equation (
1), onto the vectors
and
in
.
Classic perfect codes
are obtained from the
-lattice. They are based on how the honeycomb lattice partition (
) can also be tiled by
m regions, where each region is congruent to a Lee sphere of radius
r. This class of classic perfect codes has been constructed only in cases where
m can be simultaneously expressed in the forms
and
for some positive integer
r and at least one pair of non-zero integers
a and
b (for more details, see [
18]). The centers of these
m regions, which recover the
-tessellation, also form a cyclic code
.
We consider the lattice basis
of sublattices
of index
in
:
Thus, generalizing these ideas, using lattice partition concepts and the geometric technique of projecting vectors and onto vectors and , respectively, we obtain new classes of surface codes with parameters and on the flat torus , where is the lattice basis associated with the sublattice of index in . This answers questions (1) and (2).
Finally, we consider sublattices with basis and index on honeycomb lattices , where or for at least one pair of non-zero integers a and b. We prove that induces a -tessellation on each flat torus T, which is tiled by regular hexagons. Because of this algebraic and geometric description of , we get a more general process to obtain color codes with parameters , for . This answers question (3).
2. Lattices in
A lattice is a subset of isomorphic to the additive group . We can analyze subgroups (sublattices) and partitions (coset decompositions) induced by subgroups thanks to this algebraic structure. The Euclidean metric and volume notion of the space in which the underlying lattice is embedded are passed down to it.
Formally speaking, a lattice is a set of points , where is a set of linearly independent vectors in . This set of points is known as the lattice basis. We define as a lattice in with rank m. The lattice is said to have complete rank in if . We solely take into account full-rank lattices in our current work.
If
is a
n-dimensional lattice with basis
, its generator matrix is given by
where
, for
. If its generator matrix has full rank, the lattice has full rank. The matrix
is called the Gram matrix of the lattice
, where
is the transpose of
M. An equivalent definition is
. The determinant of the lattice
is defined by
.
What follows are important examples of full rank lattices in .
Example 1. Let be a basis in .
- 1.
Considering and , we get the lattice , and the generator matrix is - 2.
Considering and , we get the honeycomb lattice , and the generator matrix is given by
Given a lattice
, a subset
is a sublattice if
itself is a lattice, i.e.,
is an additive subgroup of
. The sublattice
can also be characterized as
where
M is the generator matrix associated to the lattice
, and
B is a square matrix of integers.
Example 2. Consider the lattice with basis and generating matrix M of item (1) in the Example 1
- 1.
We get a family of sublattices in , generated by the integer basis and generating matrix , where - 2.
Give a positive integer m that can be expressed as , where a and b are integer values. We can also obtain a family of sublattices of index m in generated by the integer basis , where and . The generating matrix is given by , with,
Example 3. Consider the honeycomb lattice with basis and generating matrix M from item (2) of Example 1.
- 1.
For the integer basis and generating matrix , we obtain a family of sublattices of index in , - 2.
Give a positive integer m that can be expressed as , where a and b are integer values. We can also obtain a family of sublattices of index m in generated by the integer basis , where and . The generating matrix is given by , with, - 3.
Give a positive integer m that can be expressed as , where a and b are integer values. We can also obtain a family of sublattices of index m in generated by the integer basis , where and . The generating matrix is given by , with
2.1. Quotient Groups and Quotient Lattices
Let
be an
n-dimensional lattice with basis
. The fundamental parallelepiped of
is made up of all the points in
that are linear combinations of the basis vectors with coefficients that are between 0 and 1.
The
Figure 1 and
Figure 2 illustrate the fundamental regions of the sublattices
of index 5 and 7 in
and
, respectively.
Let
be a sublattice of
, and suppose that the generator matrices are
M and
, respectively. We can prove that
where
and
are the volume of the fundamental parallelepiped
, which is associated to the sublattice
, and the volume of the parallelepiped
P, associated to the lattice
, respectively. The Equation (
4) gives that the fundamental region of the lattice
induces a partition of the fundamental region of the
sublattice. The meaning is that the fundamental region of
can be covered by
l copies of the fundamental region of
, where
l is the index of the sublattice
in
, and is given by Equation (
5).
The sublattice
induces a partition of
into cosets, and they have a structure of an additive group, denoted by
, and the cardinality is given by the Equation (
5):
We also say that
has index
l in
.
Example 4. Let be the lattice given by item (1) of Example 1.
- 1.
The family of sublattices in given by the item (1) of Example 2 has index , i.e., the quotient group has cardinality .
- 2.
The family of sublattices in given by the item (2) of Example 2 has index , i.e., the quotient group has cardinality .
Example 5. Let Λ be a honeycomb sublattice of of Example 2.
- 1.
The family of sublattices in given by the item (1) of Example 3 has index , i.e., the quotient group has cardinality .
- 2.
The family of sublattices in given by the item (2) of Example 3 has index , i.e., the quotient group has cardinality
- 3.
The family of sublattices in given by the item (3) of Example 3 has index , i.e., the quotient group has cardinality , where or for some
Remark 1. - 1.
If you translate the lattice Λ of Example 2 by the vector , you get a set of points in that have the same shape and arrangement as Λ. The action of translation Λ can result in . Therefore, does not have a lattice structure (see Figure 3). - 2.
This set of points in has the same shape and arrangement as Λ. It was made by translating Λ of Example 3 by the vector . The action of translation Λ can result in (see Figure 4). Therefore, does not have a lattice structure. However, it will be very useful in this work to construct new classes of surface codes from the honeycomb lattice.
2.2. Lattice Partitions
Parallelepiped partitions and Voronoi partitions derived from lattices in Euclidean spaces are of importance to us in our work.
Definition 1. For a lattice Λ, a fundamental region is a bounded set such that it produces a partition from when translated by points of the lattice Λ. Consequently,
- 1.
each region is obtained by translating by a lattice point λ, that is, - 2.
the regions do not intersect, that is, for all , where denotes the interior of a set .
- 3.
the union of all regions covers the whole space , i.e, .
All regions belonging to the parallelogram partition are congruent, which is an important geometric property.
From Definition 1, each point
can be written uniquely as
An approximation
of
satisfying (
6) is found for each point
. The points
that satisfy (
6) can be seen as the error in the approximation made by a lattice point
to each point
. This approximation is indicated by
. We refer to the quantization of
x as
.
Using the nearest-neighbor rule, the Voronoi partition is another important partition of the space. The Euclidean norm on
is denoted by
. The distance of a point
x in
from
is given by
The nearest-neighbor quantizer
maps
x to its closest lattice point:
Then, we define:
Definition 2. The set of all points that are quantized to λ, is the Voronoi region associated with a n-dimensional lattice point .
According to the definition of , the resulting Voronoi regions are congruent. For each lattice , let be the Voronoi region associated with the lattice point . If we translate by lattice points , we obtain a partition of . The union of all these regions give a covering of the whole space , where . All Voroni regions belonging to the Voronoi partition are congruent.
In , parallelepipeds are given by parallelograms, which is the case of interest in this work. Therefore, we will refer to them as partitions of parallelograms.
Proposition 1 ([
10,
16])
. The parallelogram partition and Voronoi partition of the honeycomb lattice Λ are equivalent. 3. Tessellations of the Flat Torus
For this work, we are interested in the Euclidean space . Here, we provide definitions and general results for the flat torus.
Definition 3. Let G be a discrete set of isometries acting on a metric space X. If a closed set , with a non-empty interior , satisfies the following conditions, it is a fundamental region for G:
- 1.
;
- 2.
, for every, . The family is called a tessellation of X.
A covering of X by copies of F under the action of a group of isometries G is called a G-tessellation, or tessellation of X associated to G.
In each of these cases, the region F in Definition 3 can be seen as the closure of the fundamental regions of the two partitions that are examined in Examples 2–4 with respect to the Euclidean norm.
The parallelogram partitions of the sublattice with index in are also shown in Example 2. These are shown by squares, with lattice points at their points.
We can get the parallelogram partitioning
by translating the sublattice
of index
in
, as shown in Example 3, by a vector with coordinates
in
. This gives us another parallelogram partitioning
by
square. The tessellations obtained from the parallelogram partitioning
and
are dual tessellation (illustrated by
Figure 3).
The parallelogram partitioning of the sublattice of index in , in Example 3, is given by parallelograms, where the vertices of the parallelograms are also lattice points.
The parallelogram partitioning
is linked to the sublattice
of index
in
in item (1) of Example 3 by a vector of coordinates
in
, and we get
by
parallelograms. The tessellations obtained from the parallelogram partitioning
and
are dual tessellations (illustrated by
Figure 4).
The construction of the topological codes that we will propose on the flat torus essentially depends on covering a parallelogram with (smaller) congruent parallelograms. The parallelogram to be considered will be the fundamental region of a sublattice or . The smaller parallelogram to be considered will be the fundamental region of a sublattice of , in both cases of and .
The geometric arrangement of a fundamental region of a lattice depends on the choice of the lattice basis, which is not unique. To distinguish which basis was chosen to generate the lattice , we will use the notation when we fix as the chosen basis.
Remark 2. Different lattice basis of the same lattices in reproduce different parallelogram partitions in .
Given an n-dimensional lattice and an n-dimensional sublattice of and a basis of that lattice, the flat torus is defined as the quotient space . In the quotient, we define the map defined as , where and denotes the greatest integer less than or equal to x. Therefore, belongs to the same coset in if and only if , i.e., . The flat torus can be seen as the quotient of the Euclidean space by a group of translations.
For a torus generated by the basis , we define the quotient map using the fundamental region P in , given by the basis .
The Euclidean distance
d in
induces a distance
on the flat torus
. The distance measure on the flat torus between two cosets
and
with
, is (see
Figure 5)
For
, the flat torus
can be constructed from a parallelogram
P, a fundamental region of the l parallelogram partition associated to
, sublattice either from
or from
generated by the basis
, since we identify the opposite sides (see
Figure 6).
With some conditions, the next result from [
18] shows that it is possible to get tessellations on the flat torus
generated by the tessellation associated with the lattice
in
.
Proposition 2. Let the bases of the lattices and be and , respectively. Let be the tessellation of , with the polytope P supported on γ serving as its fundamental region. If is a sublattice of , and is the quotient map on the flat torus, we have that induces a G-tessellation on the flat torus with fundamental region , where .
We will use Proposition 3 to find families of -tessellations that come from -lattices based on Proposition 2. On each flat torus , we also obtain families of -tessellations.
Proposition 3 ([
10])
. Assume that is any lattice of with basis . Let be a sublattice of index ) with having basis . Thus, in each flat torus , the lattice generates a -tessellation, where we have to the quotient lattice. Corollary 1 ([
10])
. By Proposition 3, we have that:- 1.
For the family of sublattices with basis γ and index in the lattice , as illustrated in item (1) of the Example 3, induces a -tessellation in each flat torus .
- 2.
As stated in item (1) of Example 4, the lattice induces a -tessellation in each flat torus of the sublattice family with basis γ and index in the lattice .
Corollary 2. By Proposition 3, we have that:
- 1.
As described in item (1) of the Example 3, the lattice induces a -tessellation in each flat torus of sublattice family with basis γ and index m in the lattice .
- 2.
As described in item (2) of the Example 3, the lattice induces a -tessellation in each flat torus of sublattice family with basis γ and index m in the lattice .
- 3.
As described in item (3) of the Example 3, the lattice induces a -tessellation in each flat torus of sublattice family with basis γ and index in the lattice , where or for some .
4. Surface Codes Derived from and Lattices
Kitaev [
4] proposed surface codes obtained from
-tessellations of the flat torus
, where
. The lattice
creates a
tessellation in the flat torus
that is made up of
squares, as shown in item (1) of Corollary 1.
The partition of parallelograms (squares) yields this tessellation. Geometrically, the dual tessellation that goes with it is made by translating a fundamental P parallelogram partition, and it is covered by squares.
The qubits are in a biunivocal correspondence with the edges of the squares covering the flat torus in the building of surface codes. The parameters for this class of codes are , where the code length is determined by the number of edges in the squares that tile the -tessellation. The genus of the orientable surface g determines how many information qubits there are; since in the flat torus, qubits are encoded. The distance can be found by calculating the minimal distance between edges in the smallest homologically non-trivial cycle of the flat torus’s -tessellation. From the parallelogram partition or the translated parallelogram partition in , we have squares. A homologically non-trivial cycle is the path taken by the edges that cannot be contracted on a face.
We now consider the lattice points , , , and . The sides of the fundamental region (parallelogram) are characterized by the line segments and . We also consider the vectors u and v of the basis , which are parallel to the line segments and , respectively. Notice that in the flat torus , the point is identified with both points and .
When we fix as the lattice basis of , where and , we find that the shortest of these two paths corresponds to the minimal number of edges belonging to orthogonal axes in the tessellations. These edges are parallel to the lattice basis vectors and , respectively. Therefore, we conclude that .
In [
10], the authors obtained the surface codes
as a consequence of two equivalent ways of covering the fundamental region of sublattice
with index
in
: with parallelograms or regular hexagons. However, as shown in item (2) of Corollary 1, the lattice
creates a
tessellation in the flat torus
. This means that
is tiled by a
parallelogram. This tessellation originates from the partition of parallelograms. Geometrically, its dual tessellation is obtained by translation of the
parallelograms by the vector
. Each parallelogram is congruent to fundamental region
of honeycomb lattices
when we set the lattice basis
.
We then created a new class of surface codes where the qubits are in biunivocal correspondence with the edges of the parallelogram that tile the flat torus . The length of this code is given by the number of edges in the -tessellation, which is , since each edge is shared by the vertices.
We can now look at the lattice points , , , and . The sides of the fundamental region (parallelogram) are made up of the line segments and . We also consider the vectors u and v of the basis , which are parallel to the line segments and , respectively. Notice that in the flat torus , the point is associated with both points and . When we fix as the lattice basis of , where and , we also find that the shortest of these two paths corresponds to the minimal number of edges on the line parallel to the vectors and , respectively. Thus, we conclude that .
After these conclusions and results, we present Proposition 4.
Proposition 4. Let be the collection of all the families of -tessellations of the flat torus given by the parallelogram that are congruent to fundamental region of the -lattice described by item (2) of Corollary 1. We then obtain a new class of codes with parameters .
This answers the question (1) that we asked in the introduction.
Surface Codes from -Tessellation of the Flat Torus Obtained from -Lattices
In [
7], the proposed surface codes were based on the Lee sphere with radius
r that recover the
-tessellation of the flat torus
. Here,
was the sublattice with index
in
and was created by the basis
, where
and
and
m was a positive integer. The minimum distance of the code is the least number of edges to be transversed between two Lee spheres of the
-tessellation. The basic Lee sphere with radius
r can be used to recover the
-tessellation of the flat torus
. This is possible since there are non-null
and
such that
and
.
In [
12], the authors used this method to get surface codes from the
-lattice by picking regions that recover the
-tessellation of the flat torus
, which includes cases where there is no integer solution for the equation
. From there, the authors obtained surface codes with parameters
for the cases
, where
.
Now, we begin reproducing the surface codes with parameters for the cases , where . We consider as lattice basis of and as lattice basis of sublattice of index m in , where and , respectively. This class of codes is also found by -tessellation of the flat torus . This is because of the lattice partition and the geometric technique of projecting the lattice basis onto and .
Proposition 5. Let be the set of all families of -tessellation of the flat torus tiled by m squares. Then, there are qubits attached at the edges of these m squares.
Proof. The qubits are identified with the edges of the squares of the -tessellation of the flat torus . Since each square has four edges that are common to two squares, the number of qubits is given by .
Similarly, we relate the -tessellation of the flat torus to the qubits on the square’s edges. The number of qubits is also given by . □
We also know that the homological group associated with the flat torus is isomorphic to the group . From the elementary results of group theory, we conclude that the homology group has two generators. Therefore, we obtain that each code , constructed from each flat torus , encodes qubits. Based on Proposition 5, we obtain an algebraic procedure for obtaining surface codes from families of the flat torus in Proposition 6.
Additionally, we are aware that the group is isomorphic to the homological group connected to the flat torus. From the basic group theory results, we deduce that the homology group has two generators. As a result, we derive that qubits are encoded by each code that is built from each flat torus . We derive an algebraic process for obtaining surface codes from families of the flat torus in Proposition 6, based on Proposition 5.
Proposition 6. From the flat torus, , where is the sublattice of index m in , generated by basis with , we obtain a surface code with parameters , where .
Proof. We obtain the code parameters for each flat torus from Proposition 5. Then, we only need to calculate the code’s distance. The weight of the Pauli operator with the minimum weight, which preserves the code subspace and acts non-trivially on it, is by definition the minimum distance of a stabilizer code. We can see this distance as a function of the homology of the surface since we are dealing with a special kind of homological code. Accordingly, the fewest number of qubits in the support of a homologically non-trivial cycle between the tessellation and dual tessellation associated to the flat torus is the minimum distance.
The homologically non-trivial cycles, which are generated from the tessellation given by m squares, are the paths determined by the edges that cannot be contracted into a face with respect to the covering of the flat torus . Note that nontrivial cycles on the flat torus are characterized by the possibilities of combinations of paths along the edges of the m squares with edges parallel to the vectors of the basis , where and .
In order to obtain these minimal paths, we use the fact that the fundamental region
of the lattice
(square) with sides of length
parallel to the vectors
u and
v, is circumscribed in a square with sides parallel to the vectors
and
(see
Figure 7). In fact, the side of length
l parallel to the vector
can be seen as the sum of the lengths of the projections of the vectors
u and
v onto
, given by
and
, respectively, that is,
. Similarly, the side of length
l parallel to the vector
can be seen as the length of the projection of the vector sum
onto
, given by
, that is,
. Therefore,
. □
We now extend the method to get surface codes though -tessellation of the flat torus-derived sublattices of as consequence of lattice partition , where is a sublattice of index m in and generate by basis , such that,
Proposition 7. Let be the set of all families of -tessellation of the flat torus with m parallelograms, that are congruent to fundamental region of -lattice, described by Corollary 2. Then, there are qubits attached at edege derived from m polygons.
Proof. The qubits are associated with the edges of the -tessellation of the parallelogram which gives origen to flat torus . Since the edges of each parallelogram are shared between two parallelograms, the number of qubits is given by .
Similarly, on the edges of the translated parallelogram of -tessellation of the flat torus we associate the qubits. The number of qubits is also given by . □
Since the homological group associated with the flat torus is isomorphic to the group , from results of group theory, we obtain that the homology group has two generators. Thus, the code constructed from each flat torus , encodes qubits because there are two stabilizer operators in each hexagonal face. From Proposition 5, we get an algebraic procedure for obtaining surface codes from families of the flat torus in Proposition 8.
Proposition 8. From each flat torus , where is the sublattice of index m in generated by basis with , we obtain a surface code with parameters , where .
Proof. By Proposition 7, we get the parameters of the code on each flat torus . We need only obtain the distance of the code.
To find nontrivial cycles on the flat torus, we can look at the different ways that the edges of the m parallelograms can be put together. These edges must be parallel to the vectors of the basis , where and .
We use the fact that the basic region
of the lattice
(parallelogram) has sides that are
long and
wide, and they are parallel to the vectors
u and
v. This region is surrounded by a larger parallelogram whose sides are parallel to the vectors
and
(see
Figure 8). In fact, we can see the side of length
l parallel to the vector
as the sum of the lengths of the projections of the vectors
u and
v onto
, represented by
and
, respectively, meaning
.
Meanwhile, the side of length parallel to the vector can be seen as the length of the projection of the vector sum onto , given by , that is, . Thus, . □
This answers question (2) that we raseid in introduction.
5. Color Codes from Honeycomb Lattices
To build color codes from the flat torus, we require a three-valent tessellation with three colorable faces. These properties are presented by -tessellation of the flat torus , where . Therefore, we provide an algebraic/geometric method in this section to construct quantum color codes with parameters from tessellations on the flat torus .
The tessellation by regular hexagons (the lattice’s fundamental region) is depicted in
Figure 9, where the lattice’s points are the hexagons’ barycentres. On the left, we observe that a parallelogram (a fundamental region of the lattice) is obtained from a regular hexagon by means of rearrangements. On the other hand, as the image on the right illustrates, the parallelogram in the bigger region is the fundamental region of the sublattice, while the smallest parallelogram represents a fundamental region of the lattice. The number of parallelograms that cover the larger one (or, conversely, the number of hexagons in the larger parallelogram) is given by the lattice’s sublattice’s index. Each smallest parallelogram has two vertices of a hexagon-based tessellation, which indexes the qubits, as seen in the right figure. The following statement, where
, grants control over the faces in the
-tessellations.
Proposition 9. If is the set of coverings of the flat torus with regular hexagons in each covering, then we have qubits linked with the edges of these regular polygons.
Proof. The basis vectors and the basis vectors of the family of sublattices of the hexagonal lattice are parallel, according to Proposition 8. The -tessellation is 3-colorable because the length of the vectors in is three times the length of the vectors in basis .
Because of the topology of the quotient group
, there are
coset representatives on each flat torus
. As can be seen in
Figure 9, in each parallelogram covering the flat torus
T, there are two vertices of regular hexagons that also cover the flat torus. As a result, we conclude that each coset representative has two qubits. Thus, there are
qubits linked on each flat torus
.
As can be seen in
Figure 9, there are two vertices of the regular hexagons that cover the flat torus
T in each parallelogram that covers it. As so, we deduce that every coset representative has two qubits on it. Consequently, each flat torus
has
qubits on it. □
We have that the homological group associated with the flat torus is isomorphic to the group . According to group theory results, we conclude that the homology group has two generators. We obtain that each code , which is made up of each flat torus , encodes qubits since each hexagonal face has two stabilizer operators.
Propositions 11 and 10, which are based on Proposition 9, provide an algebraic method for deriving color codes from families of the flat torus .
Proposition 10. The flat torus gives origen to a color code with parameters , where is sublattice of generated by basis .
Proof. From
Figure 10, we have that the code distance is
. □
Proposition 11. Each flat torus gives origen to a color code with parameters , where is the sublattice of generated by basis .
Proof. We obtain the code’s parameters on each flat torus , where is the lattice basis associated with as it was done before. Then, we only need to calculate the distance of the code.
Observe that the minimum path given by the number of edges passing through lattice points in the fundamental region of the lattice generated by the basis and parallel to the vectors and is given by . Thuw, the minimum distance of the color code obtained from the equivalent tessellation of the flat torus by hexagons, from Proposition 10, is given by .
Similarly, we observe that the minimum number of edges passing through lattice points in the fundamental region of the lattice generated by and parallel to the vectors and is given by .
In the lattice , when traversing the minimum path edges in the covering of the flat torus parallel to the vectors of the basis and , to find the distance d of the color code in the equivalent covering of by hexagons, we will use the solution to the relation , that is, . □
This answers question (3) that we raised in the introduction.