On tensor products of CSS codes

Tensor products in functional analysis (46M05) Chain complexes in algebraic topology (55U15) Quantum coding (general) (81P70) Other types of codes (94B60)

Abstract: CSS codes are in one-to-one correspondance with length 3 chain complexes. The latter are naturally endowed with a tensor product

o t i m e s

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

m a t h c a l C

, we give a criterion which provides a lower bound on the minimum distance of

m a t h c a l C o t i m e s m a t h c a l D

for every CSS code

m a t h c a l D

. We apply this result 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. Different known results are reinterpretated in terms of tensor products. Three new families of CSS codes are defined, and their iterated tensor powers produce LDPC sequences of codes with length

n

, row weight in

O (l o g n)

and minimum distances larger than

n^{f r a c a l p h a 2}

for any

a l p h a < 1

. One family produces sequences with dimensions larger than

for any

.

Review text

Summary: 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 \(\mathcal{C}\), we give a criterion which provides a lower bound on the minimum distance of \(\mathcal{C} \otimes \mathcal{D}\) for every CSS code \(\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^\alpha)\) for some \(\alpha > 0\), where \(n\) is the code length, while the row weight of their parity -- check matrices grows as \(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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: On tensor products of CSS codes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2421732)