Quantum soundness of testing tensor codes

11/15/2021
by   Zhengfeng Ji, et al.
0

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. We analyze the axis-parallel line vs. point test as a two-prover game and show that the test is sound against quantum provers sharing entanglement. Our result implies the quantum-soundness of the low individual degree test, which is an essential component of the MIP* = RE theorem. Our proof also generalizes to the infinite-dimensional commuting-operator model of quantum provers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/27/2022

Explicit method to make shortened stabilizer EAQECC from stabilizer QECC

In the previous research by Grassl, Huber and Winter, they proved a theo...
research
09/27/2020

Quantum soundness of the classical low individual degree test

Low degree tests play an important role in classical complexity theory, ...
research
07/16/2022

Hulls of special typed linear codes and constructions of new EAQECCs

In this paper, we study Euclidean and Hermitian hulls of generalized Ree...
research
09/23/2022

Quantum Locally Testable Code with Exotic Parameters

In this paper, we present a few simple constructions of quantum locally ...
research
05/05/2021

An Algorithmic Approach to Entanglement-Assisted Quantum Error-Correcting Codes from the Hermitian Curve

We study entanglement-assisted quantum error-correcting codes (EAQECCs) ...
research
10/15/2020

Entropic proofs of Singleton bounds for quantum error-correcting codes

We show that a relatively simple reasoning using von Neumann entropy ine...
research
11/09/2020

Interactive Oracle Proofs of Proximity to Algebraic Geometry Codes

In this work, we initiate the study of proximity testing to Algebraic Ge...

Please sign up or login with your details

Forgot password? Click here to reset