English

A Variant of the Bravyi-Terhal Bound for Arbitrary Boundary Conditions

Quantum Physics 2025-02-11 v2 Information Theory math.IT

Abstract

We present a modified version of the Bravyi-Terhal bound that applies to quantum codes defined by local parity-check constraints on a DD-dimensional lattice quotient. Specifically, we consider a quotient ZD/Λ\mathbb{Z}^D/\Lambda of ZD\mathbb{Z}^D of cardinality nn, where Λ\Lambda is some DD-dimensional sublattice of ZD\mathbb{Z}^D: we suppose that every vertex of this quotient indexes mm qubits of a stabilizer code CC, which therefore has length nmnm. We prove that if all stabilizer generators act on qubits whose indices lie within a ball of radius ρ\rho, then the minimum distance dd of the code satisfies dmγD(D+4ρ)nD1Dd \leq m\sqrt{\gamma_D}(\sqrt{D} + 4\rho)n^\frac{D-1}{D} whenever n1/D8ργDn^{1/D} \geq 8\rho\sqrt{\gamma_D}, where γD\gamma_D is the DD-dimensional Hermite constant. We apply this bound to derive an upper bound on the minimum distance of Abelian Two-Block Group Algebra (2BGA) codes whose parity-check matrices have the form [AB][\mathbf{A} \, \vert \, \mathbf{B}] with each submatrix representing an element of a group algebra over a finite abelian group.

Keywords

Cite

@article{arxiv.2502.04995,
  title  = {A Variant of the Bravyi-Terhal Bound for Arbitrary Boundary Conditions},
  author = {François Arnault and Philippe Gaborit and Wouter Rozendaal and Nicolas Saussay and Gilles Zémor},
  journal= {arXiv preprint arXiv:2502.04995},
  year   = {2025}
}