JournalsaihpdVol. 6 , No. 2pp. 239–287

On tensor products of CSS codes

  • Benjamin Audoux

    Aix-Marseille Université, Marseille, France
  • Alain Couvreur

    École Polytechnique, Palaiseau, France
On tensor products of CSS codes cover
Download PDF

A subscription is required to access this article.

Abstract

CSS codes are in one-to-one correspondance with length 3 chain complexes. The latter are naturally endowed with a tensor product \otimes which induces a similar operation on the former. We investigate this operation, and in particular its behavior with regard to minimum distances. Given a CSS code C\mathcal C, we give a criterion which provides a lower bound on the minimum distance of CD\mathcal C \otimes \mathcal D for every CSS code D\mathcal D. From this criterion arises a generic bound for the minimum distance which is twice larger than the single bound previously known in the literature. We apply these results to study the behaviour of iterated tensor powers of codes. Such sequences of codes are logarithmically LDPC and we prove in particular that their minimum distances tend generically to infinity. More precisely, their minimum distance increases as O(nα)O(n^\alpha) for some α>0\alpha > 0, where nn is the code length, while the row weight of their parity–check matrices grows as O(log(n))O(\log(n)). This entails a rather surprizing fact: even if a CSS code does not have quantum degeneracy, for a large enough \ell, its \ell-th iterated tensor power does. Different known results are also reinterpretated in terms of tensor products and three new families of LDPC CSS codes are studied.

Cite this article

Benjamin Audoux, Alain Couvreur, On tensor products of CSS codes. Ann. Inst. Henri Poincaré Comb. Phys. Interact. 6 (2019), no. 2 pp. 239–287

DOI 10.4171/AIHPD/71