Nearly-linear size holographic proofs
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Robust locally testable codes and products of codes
Random Structures & Algorithms
Locally testable codes and PCPs of almost-linear length
Journal of the ACM (JACM)
The PCP theorem by gap amplification
Journal of the ACM (JACM)
Robust PCPs of Proximity, Shorter PCPs, and Applications to Coding
SIAM Journal on Computing
Assignment Testers: Towards a Combinatorial Proof of the PCP Theorem
SIAM Journal on Computing
Short PCPs with Polylog Query Complexity
SIAM Journal on Computing
Composition of Semi-LTCs by Two-Wise Tensor Products
APPROX '09 / RANDOM '09 Proceedings of the 12th International Workshop and 13th International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Combinatorial Construction of Locally Testable Codes
SIAM Journal on Computing
The tensor product of two codes is not necessarily robustly testable
APPROX'05/RANDOM'05 Proceedings of the 8th international workshop on Approximation, Randomization and Combinatorial Optimization Problems, and Proceedings of the 9th international conference on Randamization and Computation: algorithms and techniques
Robust local testability of tensor products of LDPC codes
APPROX'06/RANDOM'06 Proceedings of the 9th international conference on Approximation Algorithms for Combinatorial Optimization Problems, and 10th international conference on Randomization and Computation
Hi-index | 0.89 |
Given two codes R and C, their tensor product R@?C consists of all matrices whose rows are codewords of R and whose columns are codewords of C. The product R@?C is said to be robust if for every matrix M that is far from R@?C it holds that the rows and columns of M are far on average from R and C respectively. Ben-Sasson and Sudan (RSA 28(4), 2006) have asked under which conditions the product R@?C is robust. Addressing this question, Paul Valiant (APPROX-RANDOM 2005) constructed two linear codes with constant relative distance whose tensor product is not robust. However, one of those codes has a sub-constant rate. We show that this construction can be modified such that both codes have both constant rate and constant relative distance. We also provide an alternative proof for the non-robustness of the tensor product of those codes, based on the inverse direction of the ''rectangle method'' that was presented by the second author (ECCC TR07-061). We believe that this proof gives an additional intuition for why this construction works.