Improved quantum hypergraph-product LDPC codes

Improved quantum hypergraph-product LDPC codes

Alexey A. Kovalev1 and Leonid P. Pryadko2 Department of Physics & Astronomy, University of California, Riveside, California 92521 1Email:alexey.kovalev@ucr.edu   2 Email:leonid.pryadko@ucr.edu
July 12, 2019
Abstract

We suggest several techniques to improve the toric codes and the finite-rate generalized toric codes (quantum hypergraph-product codes) recently introduced by Tillich and Zémor. For the usual toric codes, we introduce the rotated lattices specified by two integer-valued periodicity vectors. These codes include the checkerboard codes, and the family of minimal single-qubit-encoding toric codes with block length and distance , . We also suggest several related algebraic constructions which increase the rate of the existing hypergraph-product codes by up to four times.

I Introduction

Quantum error correction[1, 2, 3] made quantum computing (QC) theoretically possible. However, high precision required for error correction [4, 5, 6, 7, 8, 9] combined with the large number of auxiliary qubits necessary to implement it, have so far inhibited any practical realization beyond proof-of-the-principle demonstrations[10, 11, 12, 13, 14, 15].

For stabilizer codes, the error syndrome is obtained by measuring the generators of the stabilizer group. The corresponding quantum measurements can be greatly simplified (and also done in parallel) in low-density parity-check (LDPC) codes which are specially designed to have stabilizer generators of small weight. Among LDPC codes, the toric (and related surface) codes [16, 5, 9, 17] have the stabilizer generators of smallest weight, , with the support on neighboring sites of a two-dimensional lattice. These codes have other nice properties which make them suitable for quantum computations with relatively high error threshold. Unfortunately, these code families have very low code rates that scale as inverse square of the code distance.

Recently, Tillich and Zémor proposed a finite-rate generalization of toric codes[18]. The construction relates a quantum code to a direct product of hypergraphs corresponding to two classical binary codes. Generally, thus obtained LDPC codes have finite rates and the distances that scale as a square root of the block length. Unfortunately, despite finite asymptotic rates, for smaller block length, the rates of the quantum codes which can be obtained from the construction[18] are small.

In this work, we present a construction aimed to improve the rates of both regular toric[16] and generalized toric codes[18]. For the toric codes, we introduce the rotated tori specified by two integer-valued periodicity vectors. Such codes include the checkerboard codes [17] (-rotation), and the family [19] of minimal single-qubit-encoding toric codes with block length and distance , . For the generalized toric codes[18], we suggest an algebraic construction equivalent to the rotation of the regular toric codes. The resulting factor of up to four improvement of the code rate makes such codes competitive even at relatively small block sizes.

Ii Definitions.

We consider binary quantum error correcting codes (QECCs) defined on the complex Hilbert space where is the complex Hilbert space of a single qubit with and . Any operator acting on such an -qubit state can be represented as a combination of Pauli operators which form the Pauli group of size with the phase multiplier :

(1)

where , , and are the usual Pauli matrices and is the identity matrix. It is customary to map the Pauli operators, up to a phase, to two binary strings, [20],

(2)

where and . A product of two quantum operators corresponds to a sum () of the corresponding pairs .

An stabilizer code is a -dimensional subspace of the Hilbert space stabilized by an Abelian stabilizer group , [21]. Explicitly,

(3)

Each generator is mapped according to Eq. (2) in order to obtain the binary check matrix in which each row corresponds to a generator, with rows of formed by and rows of formed by vectors. For generality, we assume that the matrix may also contain unimportant linearly dependent rows which are added after the mapping has been done. The commutativity of stabilizer generators corresponds to the following condition on the binary matrices and :

(4)

A more narrow set of Calderbank-Shor-Steane (CSS) codes [22] contains codes whose stabilizer generators can be chosen to contain products of only Pauli or Pauli operators. For these codes the parity check matrix can be chosen in the form:

(5)

where the commutativity condition simplifies to .

The dimension of a quantum code is ; for a CSS code this simplifies to .

The distance of the quantum code is given by the minimum weight of an operator which commutes with all operators from the stabilizer , but is not a part of the stabilizer, . In terms of the binary vector pairs , this is equivalent to a minimum weight of the bitwise OR of all pairs satisfying the symplectic orthogonality condition,

(6)

which are not linear combinations of the rows of .

Iii Toric codes and rotated toric codes

Iii-a Canonical construction

We consider the toric codes[16] in the restricted sense, with qubits located on the bonds of a square lattice , with periodic boundary conditions along the directions and . The stabilizer generators and are formed as the products of around each plaquette, and around each vertex (this defines a CSS code). The corresponding block length is , and there are independent generators of each kind, which leaves us with the code of size . This code is degenerate: the degeneracy group is formed by products of the generators , ; its elements can be visualized as (topologically trivial) loops drawn on the original lattice (in the case of products of ), or the dual lattice in the case of products of . The two sets of logical operators are formed as the products of () operators along the topologically non-trivial lines formed by the bonds of the original (dual) lattice (see Fig. 1). The code distance is given by the minimal weight of such operators.

Fig. 1: (Color online) Lattice representing the canonical toric code . The generators are formed by Pauli generators around a plaquette (blue square) while the generators are formed by Pauli generators around a vertex (red square). Dashed horizontal blue line and vertical red line represent a pair of mutually conjugate logical operators formed by the products of and respectively. Shading corresponds to an alternative checkerboard representation of the underlying lattice.

Iii-B Checkerboard codes [17]

In the following, it will be convenient to consider a lattice with qubits placed on the vertices. Then, if we color every other plaquette to form a checkerboard pattern, we can define the operators as products of operators around the colored plaquettes, and the operators as products of operators around the white plaquettes (see Fig. 2, Left). Now, the checkerboard code with , where both and are even, can be defined by taking periodic boundary conditions on the sides of a rectangle of size . The condition ensures that we can maintain a consistent checkerboard pattern. Then, the product of all (or of all ) gives identity. Thus, the stabilizer is formed by independent generators, which again gives as in the regular toric codes. The two sets of logical operators are formed by the products of operators along the topologically non-trivial paths drawn through the colored areas, and the products of operators along the topologically non-trivial paths through the white areas (see Fig. 2, Left). The distance of the code, , corresponds to the shortest topologically non-trivial chain of qubits, graphically, a horizontal or a vertical straight line.

Fig. 2: Left: Lattice representation of the checkerboard code . Qubits are placed in the lattice vertices; dashed blue and red lines represent a pair of logical operators as in Fig. 1. Right: same for the rotated checkerboard code .

Iii-C Checkerboard codes with arbitrary rotation

Compared to the regular toric codes, the checkerboard codes use half as many qubits with the same and distance. The disadvantage is that the distance is always even. This latter restriction can be lifted by introducing periodicity vectors which are not necessarily parallel to the bonds of the lattice. (Note that a similar trick was used in early small-cluster exact diagonalization studies of the Hubbard model[23]).

Let us define two integer-valued periodicity vectors , , and identify all points on the lattice which can be connected by a vector of the form , with integer . The checkerboard pattern is preserved iff both are even, . Such a cluster contains

(7)

vertices, and, again, we have as for the standard checkerboard codes.

Since the qubits in the positions shifted by are the same, it is easy to see that our code is identical to that on a cluster with periodicity vectors, e.g., , , and, generally, a cluster with periodicity vectors , where the integer-valued matrix has the determinant .

For a periodicity vector with even, the shortest topologically non-trivial qubit chain has operators which leads to the code distance:

(8)
Example 1.

A family of near-optimal odd-distance checkerboard codes can be introduced by taking , , . Such codes have the parameters ; explicitly: (illustrated in Fig. 2, Right), , , ….

Example 2.

The original toric codes are recovered by taking along the diagonals, , , so that are always even, thus , , and . For odd distances, taking , we have the codes , , , ….

Iii-D Non-bipartite rotated toric codes

We now construct a version of rotated toric codes on clusters with at least one of the periodicity vectors violating the checkerboard pattern, e.g., odd. Since the checkerboard pattern cannot be maintained, we define identical stabilizer generators in a non-CSS form, with the stabilizer generators on each plaquette given by the products of operators along one diagonal, and operators along the other diagonal. With periodic boundary conditions, the product of all is an identity, and this is the only relation between these operators on a non-bipartite cluster. Thus, here we have only one encoded qubit, .

The operators can be viewed as local Clifford (LC) transformed or operators of the toric code. It is easy to see that the logical operators have to correspond to topologically non-trivial closed chains of qubits, as for the bipartite case. However, in order to close the loop, we have to take only the translation vectors with even. For example, if is odd and particularly small, the minimal chain could wrap twice around the direction given by . Since the two turns could share some of the qubits, it is difficult to come up with a general expression for the distance.

Example 3.

Checkerboard-like codes can be obtained by taking or odd. Smallest codes in this family correspond to ; they have parameters , where . Explicitly, , , , ….

Example 4.

A family of smallest odd-distance rotated toric codes [19] is obtained for , , . These codes have the parameters . Explicitly, , , , , ….

Iv Generalized toric and checkerboard codes

Iv-a Algebraic representation of hypergraph-product codes

The finite-rate generalization[18] of the toric code relies on hypergraph theory, with the square lattice generalized to a product of hypergraphs (each corresponding to a parity check matrix of a classical binary code). We first recast the original construction into an algebraic language.

Let (dimensions ) and (dimensions ) be two binary matrices. The associated (hypergraph-product) quantum code[18] is a CSS code with the stabilizer generators

(9)

Here each matrix is composed of two blocks constructed as Kronecker products (denoted with “”), and and , , are unit matrices of dimensions given by and , respectively. The matrices and , respectively, have and rows (not all of the rows are linearly independent), and they both have columns, which gives the block length of the quantum code. The commutativity condition is obviously satisfied by Eq. (9) since the Kronecker product obeys .

Note that the construction (9) is somewhat similar to product codes introduced by Grassl and Rötteler[24]. The main difference is that here the check matrix and not the generator matrix is written in terms of direct products.

The parameters of thus constructed quantum code are determined by those of the four classical codes which use the matrices , , , and as the parity-check matrices. The corresponding parameters are introduced as

(10)

where we use the convention [18] that the distance if . The matrices are arbitrary, and are allowed to have linearly-dependent rows and/or columns. As a result, both and can be non-zero at the same time as the block length of the “transposed” code is given by the number of rows of , .

Specifically, for the hypergraph-product code (9), we have , with (Theorem 7 from Ref. [18]), while the distance satisfies the conditions (Theorem 9 from Ref. [18]), and two upper bounds (Lemma 10 from Ref. [18]): if and , then ; if and , then .

These parameters can also be readily established from the stabilizer generators in the form of Eq. (9). For example, the dimension of the quantum code follows from

Proposition 1.

The number of linearly independent rows in matrices and given by Eq.  (9) is and .

Proof.

The matrices and have and rows, respectively. To count the number of linearly-dependent rows in , we notice that the equations and are both satisfied iff and , thus there are linear relations between the rows of , and we are left with linearly-independent rows. Similarly, there are linearly independent rows in . ∎

To prove the lower bound on the distance, consider a vector such that and . We construct a quantum code in the form (9) from the matrices , formed only by the columns of respective , , that are involved in the product . According to Proposition 1, the reduced code has , so that the reduced , , has to be a linear combination of the rows of . The rows of are a subset of those of , with some all-zero columns removed; thus the full vector is also a linear combination of the rows of . Similarly, a vector such that and , is a linear combination of rows of .

The upper bound is established by considering vectors with , which requires . Vector , , for which is not a linear combination or rows of , exists only when . The other upper bound is established by considering vectors with .

Iv-B Original code family from full-rank matrices

In Ref. [18], only one large family of quantum codes based on the hypergraph-product ansatz (9) is given. Namely, the matrix is taken as a full-rank parity matrix of a binary LDPC code with parameters (), so that the transposed code has dimension zero, . The second matrix is taken as , so that . Then Eq. (9) defines a quantum LDPC code with parameters

(11)

where the weight of each row of , equals to the sum of the row-weight and the column-weight of .

Example 5.

Let be a parity-check matrix of the repetition code . Then the quantum code has the parameters . Explicitly, , , ,…— these parameters are inferior compared to the original toric code family, cf. Examples 3, 4.

Iv-C Code family from square matrices

Instead of using full-rank parity-check matrices[18], let us start with a pair of binary codes with square parity-check matrices , such that , . Then, automatically, . The hypergraph-product ansatz (9) gives the code with the parameters

(12)

Note that the rate of this family is up to twice that of the family originally suggested in Ref. [18], see Sec. IV-B.

Example 6.

The standard toric codes are recovered by taking for the circulant matrix of a repetition code. The code parameters are , cf. Example 2.

We suggest two general ways to obtain suitable square parity check matrices. First, if we start from an LDPC code with the full-rank parity check matrix , we can construct the following symmetric matrix,

(13)

so that the code is a LDPC code.

Second construction assumes that are cyclic LDPC codes. The full circulant matrices are constructed from coefficients of check polynomials . The check polynomials of the transposed code, , are just the original check polynomials reversed, and the original and transposed codes have the same parameters.

Iv-D Code family from symmetric matrices.

If we have two symmetric parity-check matrices, , [e.g., from Eq. (13)], the full hypergraph-product code (9) can be transformed into a direct sum of two independent codes, each with the following non-CSS check matrix

(14)

This gives the following

Theorem 1.

A quantum code in Eq. (14) has parameters

(15)

Thus, we can reduce by half both the blocklength and the number of encoded qubits, i.e., keeping the rate of Eq. (12) but doubling the relative distance.

For a cyclic LDPC code with a palindromic check polynomial, , such that is even, we can always construct a symmetric circulant matrix from the polynomial .

Example 7.

If are symmetric check matrices of a cyclic code corresponding to a palindromic polynomial , then the quantum code has parameters . In particular, for and we obtain code, and for , we recover the non-bipartite checkerboard codes from Example 3.

Iv-E Code family from two-tile codes

Finally, let us construct a generalization of the regular “bipartite” checkerboard codes. We start with a pair of binary codes with the parity check matrices of even size

(16)

constructed from the half-size matrices (“tiles”) , with the distances of the classical codes and given by and , , where the check matrix is equivalent to and can be rendered to the latter form by row and column permutations. It is convenient to introduce notation for the dimensionality of symmetric subspaces of and containing only words of type and as , and for asymmetric subspaces as , (analogously we define and ). We define half-size CSS matrices [cf. Eq. (9)]

(17)

where the identity matrices , have dimensions , , half-size compared to those in Eq. (9).

Proposition 2.

The numbers of linearly independent rows in matrices (17) are and .

Proof.

To count the number of linearly-dependent rows in , we notice that the equations and are both satisfied for ansatz

(18)

if and only if either (i) , and , or (ii) and , , thus there are linear relations between the rows in , and we are left with linearly-independent rows. Similarly, we prove that . ∎

Theorem 2.

A quantum CSS code in Eqs. (16) and (17) has the parameters:

(19)

where , . In addition, for and the upper bound exists and for and the upper bound exists.

Proof.

The number of encoded qubits follows from Proposition 2. The lower bound on the distance can be established as for the original hypergraph-product codes in Sec. IV-A, except now the reduced binary check matrices , should preserve the tiled form (16). Hence, for every column involved in the product , we may need to insert two columns into the reduced matrices; thus we need which reduces the lower bound on the distance. The two upper bounds can be established by considering vectors with and with , exactly as for the hypergraph-product codes in Sec. IV-A. ∎

Theorem 3.

Suppose and , in Eq. (16) are such that , , and binary codes with generator matrices and are not distance codes. Then the quantum code in Eq. (17) has parameters , cf. Eq. (12).

The proof is similar to the proof of Theorem 2. The additional restrictions on the binary codes guarantee that a vector of weight less than can only overlap with columns of in less than positions even after the symmetric counterparts are added.

If we start from distance- LDPC codes with half size square parity matrices [e.g., from Eq. (13)] then and in Eq. (16) lead to distance- code satisfying Theorem 3. Alternatively, one can start with two cyclic LDPC codes with even blocksize , , and the check polynomials that divide . The corresponding square circulant parity-check matrices and (and ) satisfy (16). The generator polynomials,

(20)

and their reversed indicate that .

Example 8.

If is the square parity matrix of a cyclic code corresponding to the polynomial that divides and then the quantum code has parameters . For and we obtain code. For , we recover the bipartite checkerboard codes from Sec. III-B.

V Conclusions

We suggested several simple techniques to improve existing quantum LDPC codes, toric codes, and generalized toric codes with asymptotically finite rate (quantum hypergraph-product codes[18]). In the latter case we increased the rate of the code family originally proposed in Ref. [18] by up to four times.

Acknowledgment

We are grateful to I. Dumer and M. Grassl for multiple helpful discussions. This work was supported in part by the U.S. Army Research Office under Grant No. W911NF-11-1-0027, and by the NSF under Grant No. 1018935.

References

  • [1] P. W. Shor, Phys. Rev. A, vol. 52, p. R2493, 1995.
  • [2] E. Knill and R. Laflamme, Phys. Rev. A, vol. 55, pp. 900–911, 1997.
  • [3] C. Bennett, D. DiVincenzo, J. Smolin, and W. Wootters, Phys. Rev. A, vol. 54, p. 3824, 1996.
  • [4] E. Knill, R. Laflamme, and W. H. Zurek, Science, vol. 279, p. 342, 1998.
  • [5] E. Dennis, A. Kitaev, A. Landahl, and J. Preskill, J. Math. Phys., vol. 43, p. 4452, 2002.
  • [6] A. M. Steane, Phys. Rev. A, vol. 68, p. 042322, 2003.
  • [7] A. G. Fowler, C. D. Hill, and L. C. L. Hollenberg, Phys. Rev. A, vol. 69, p. 042314, 2004.
  • [8] A. G. Fowler, S. J. Devitt, and L. C. L. Hollenberg, Quant. Info. Comput., vol. 4, p. 237, 2004, quant-ph/0402196.
  • [9] R. Raussendorf and J. Harrington, Phys. Rev. Lett., vol. 98, p. 190504, 2007.
  • [10] L. M. K. Vandersypen, M. Steffen, G. Breyta, C. S. Yannoni, R. Cleve, and I. L. Chuang, Phys. Rev. Lett., vol. 85, pp. 5452–5455, 2000.
  • [11] L. M. K. Vandersypen, M. Steffen, G. Breyta, C. S. Yannoni, M. H. Sherwood, and I. L. Chuang, Nature, vol. 414, pp. 883–887, 2001.
  • [12] S. Gulde, M. Riebe, G. P. T. Lancaster, C. Becher, J. Eschner, H. Häffner, F. Schmidt-Kaler, I. L. Chuang, and R. Blatt, Nature, vol. 421, pp. 48–50, 2003.
  • [13] J. Chiaverini, D. Leibfried, T. Schaetz, M. D. Barrett, R. B. Blakestad, J. Britton, W. M. Itano, J. D. Jost, E. Knill, C. Langer, R. Ozeri, and D. J. Wineland, Nature, vol. 432, p. 602, 2004.
  • [14] A. Friedenauer, H. Schmitz, J. T. Glueckert, D. Porras, and T. Schaetz, Nature Physics, 2008.
  • [15] K. Kim, M.-S. Chang, S. Korenblit, R. Islam, E. E. Edwards, J. K. Freericks, G.-D. Lin, L.-M. Duan, and C. Monroe, Nature, vol. 465, pp. 590–593, 2010.
  • [16] A. Y. Kitaev, Ann. Phys., vol. 303, p. 2, 2003.
  • [17] H. Bombin and M. A. Martin-Delgado, Phys. Rev. A, vol. 76, no. 1, p. 012305, Jul 2007.
  • [18] J.-P. Tillich and G. Zémor, in Information Theory, 2009. ISIT 2009. IEEE International Symposium on, 28 2009-july 3 2009, pp. 799 –803.
  • [19] A. A. Kovalev, I. Dumer, and L. P. Pryadko, Phys. Rev. A, vol. 84, p. 062319, Dec 2011.
  • [20] A. R. Calderbank, E. M. Rains, P. M. Shor, and N. J. A. Sloane, IEEE Trans. Inf. Th., vol. 44, pp. 1369–1387, 1998.
  • [21] D. Gottesman, Ph.D. thesis, 1997, arXiv:quant-ph/9705052.
  • [22] A. R. Calderbank and P. W. Shor, Phys. Rev. A, vol. 54, no. 2, pp. 1098–1105, Aug 1996.
  • [23] E. Dagotto, R. Joynt, A. Moreo, S. Bacci, and E. Gagliano, Phys. Rev. B, vol. 41, pp. 9049–9073, May 1990.
  • [24] M. Grassl and M. Rotteler, in Information Theory, 2005. ISIT 2005. Proceedings. International Symposium on, sept. 2005, pp. 1018 –1022.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
131685
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description