The tensor product of two good codes is not necessarily robustly testable

Oded Goldreich, Or Meir

Research output: Contribution to journalArticlepeer-review

Abstract

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.

Original languageEnglish
Pages (from-to)351-355
Number of pages5
JournalInformation Processing Letters
Volume112
Issue number8-9
DOIs
StatePublished - 30 Apr 2012
Externally publishedYes

Bibliographical note

Funding Information:
✩ A preliminary version of this paper was published as ECCC TR07-062. This research was partially supported by the Israel Science Foundation (grant No. 460/05). * Corresponding author. E-mail addresses: oded.goldreich@weizmann.ac.il (O. Goldreich), or.meir@weizmann.ac.il (O. Meir).

Keywords

  • Locally testable codes
  • Product code
  • Robust
  • Robustness
  • Tensor product
  • Theory of computation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'The tensor product of two good codes is not necessarily robustly testable'. Together they form a unique fingerprint.

Cite this