DeepAI AI Chat
Log In Sign Up

Explicit Abelian Lifts and Quantum LDPC Codes

12/02/2021
by   Fernando Granha Jeronimo, et al.
Institute for Advanced Study
The University of Chicago
Carnegie Mellon University
Toyota Technological Institute at Chicago
0

For an abelian group H acting on the set [ℓ], an (H,ℓ)-lift of a graph G_0 is a graph obtained by replacing each vertex by ℓ copies, and each edge by a matching corresponding to the action of an element of H. In this work, we show the following explicit constructions of expanders obtained via abelian lifts. For every (transitive) abelian group H ⩽Sym(ℓ), constant degree d ≥ 3 and ϵ > 0, we construct explicit d-regular expander graphs G obtained from an (H,ℓ)-lift of a (suitable) base n-vertex expander G_0 with the following parameters: (i) λ(G) ≤ 2√(d-1) + ϵ, for any lift size ℓ≤ 2^n^δ where δ=δ(d,ϵ), (ii) λ(G) ≤ϵ· d, for any lift size ℓ≤ 2^n^δ_0 for a fixed δ_0 > 0, when d ≥ d_0(ϵ), or (iii) λ(G) ≤O(√(d)), for lift size “exactly” ℓ = 2^Θ(n). As corollaries, we obtain explicit quantum lifted product codes of Panteleev and Kalachev of almost linear distance (and also in a wide range of parameters) and explicit classical quasi-cyclic LDPC codes with wide range of circulant sizes. Items (i) and (ii) above are obtained by extending the techniques of Mohanty, O'Donnell and Paredes [STOC 2020] for 2-lifts to much larger abelian lift sizes (as a byproduct simplifying their construction). This is done by providing a new encoding of special walks arising in the trace power method, carefully "compressing'" depth-first search traversals. Result (iii) is via a simpler proof of Agarwal et al. [SIAM J. Discrete Math 2019] at the expense of polylog factors in the expansion.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/05/2020

Extended quasi-cyclic constructions of quantum codes and entanglement-assisted quantum codes

Construction of quantum codes and entanglement-assisted quantum codes wi...
05/25/2018

McEliece-type Cryptosystems over Quasi-cyclic Codes

In this thesis, we study algebraic coding theory based McEliece-type cry...
12/10/2020

Encoding Classical Information in Gauge Subsystems of Quantum Codes

We show how to construct hybrid quantum-classical codes from subsystem c...
06/12/2019

Good Stabilizer Codes from Quasi-Cyclic Codes over F_4 and F_9

We apply quantum Construction X on quasi-cyclic codes with large Hermiti...
12/19/2017

Quasi-Cyclic Constructions of Quantum Codes

We give sufficient conditions for self-orthogonality with respect to sym...
08/21/2020

Quantum LDPC codes with Ω(√(n)log^kn) distance, for any k

In this work we construct quantum LDPC codes of distance √(n)log^k n for...
09/15/2022

Almost Ramanujan Expanders from Arbitrary Expanders via Operator Amplification

We give an efficient algorithm that transforms any bounded degree expand...