Quantum soundness of testing tensor codes

Understand

A locally testable code is an error-correcting code that admits very efficient probabilistic tests of membership.

• Tensor codes provide a simple family of combinatorial constructions of locally testable codes that generalize the family of Reed-Muller codes.
• The natural test for tensor codes, the axis-parallel line vs.
• point test, plays an essential role in constructions of probabilistically checkable proofs.