Abstract:Motivated by recent advances in locally testable codes and quantum LDPCs based on robust testability of tensor product codes, we explore the local testability of tensor products of (an abstraction of) algebraic geometry codes. Such codes are parameterized by, in addition to standard parameters such as block length $n$ and dimension $k$, their genus $g$. We show that the tensor product of two algebraic geometry codes is robustly locally testable provided $n = \Omega((k+g)^2)$. Apart from Reed-Solomon codes, this seems to be the first explicit family of codes of super-constant dual distance that is robustly locally testable.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the robust local testability of the tensor product of Algebraic Geometry Codes (AG Codes). Specifically, the paper explores whether the tensor product of two Algebraic Geometry Codes can be robustly locally tested under certain conditions.
### Background and Motivation
Robust Local Testability means that for a given matrix \(A\), if its rows and columns are respectively close to the codewords of a certain linear code \(R\) and \(C\), then whether \(A\) is also close to the tensor product code \(R\otimes C\) of \(R\) and \(C\). This problem is very important in coding theory, especially in the research of Locally Testable Codes (LTCs) and Quantum Low - Density Parity - Check Codes (Quantum LDPCs).
### Main Contributions
The main contribution of the paper is to prove that the tensor product of two Algebraic Geometry Codes is robustly locally testable under specific conditions. The specific conditions are:
- The dimension \(k\) and genus \(g\) of the code are sufficiently small relative to the code length \(n\), that is, \(n=\Omega((k + g)^2)\).
### Technical Details
The paper proves the main result through the following steps:
1. **Definitions and Preliminaries**:
- Defined the Algebraic Geometry Code sequences and their properties.
- Defined the robust local testability of the tensor product code.
2. **Main Theorem**:
- **Theorem 2.4**: There exist constants \(\rho> 0\) and \(c_0 <\infty\), for any non - negative integers \(n,\ell,g\) and prime power \(q\), if \(\ell>\max\{c_0,g\}\) and \(n>c_0(\ell + g)^2\), then for any two \((q,n,g)\)-Algebraic Geometry Code sequences \(C_1\) and \(C_2\), their \(\ell\)-th layer codes \(C_1(\ell)\) and \(C_2(\ell)\) are \(\rho\)-robust.
3. **Proof Process**:
- By constructing a sub - matrix \(M\), such that on this sub - matrix, the relationship between the error term \(E\) and the original matrices \(R\) and \(C\) satisfies certain conditions.
- Gradually extend these relationships to the entire matrix, and finally prove that in most cases, the matrices \(R\) and \(C\) are close to a certain tensor product code \(Q\).
### Significance
The significance of this result is that it provides a new method to analyze the robust local testability of the tensor product of Algebraic Geometry Codes. This not only extends the known results of robust local testability but also provides a theoretical basis for constructing new efficient coding schemes. In particular, this is the first explicitly constructed family of robustly locally testable codes with an extraordinary dual distance, apart from the known Reed - Solomon codes.
### Conclusion
Through strict mathematical proofs, the paper shows the robust local testability of the tensor product of Algebraic Geometry Codes under specific conditions, providing important theoretical support for further research in the fields of coding theory and quantum computing.