ECCC-Report TR18-198https://eccc.weizmann.ac.il/report/2018/198Comments and Revisions published for TR18-198en-usFri, 25 Dec 2020 14:14:42 +0200
Revision 2
| From Local to Robust Testing via Agreement Testing |
Irit Dinur,
Prahladh Harsha,
Tali Kaufman,
Noga Ron-Zewi
https://eccc.weizmann.ac.il/report/2018/198#revision2A local tester for an error-correcting code is a probabilistic procedure that queries a small subset of coordinates, accepts codewords with probability one, and rejects non-codewords with probability proportional to their distance from the code. The local tester is {\em robust} if for non-codewords it satisfies the stronger property that the average distance of local views from accepting views is proportional to the distance from the code. Robust testing is an important component in constructions of locally testable codes and probabilistically checkable proofs as it allows for composition of local tests.
In this work we show that for certain codes, any (natural) local tester can be converted to a roubst tester with roughly the same number of queries.
Our result holds for the class of {\em affine-invariant lifted codes} which is a broad class of codes that includes Reed-Muller codes, as well as recent constructions of high-rate locally testable codes (Guo, Kopparty, and Sudan, ITCS 2013). Instantiating this with known local testing results for lifted codes gives a more direct proof that improves some of the parameters of the main result of Guo, Haramaty, and Sudan (FOCS 2015), showing robustness of lifted codes.
To obtain the above transformation we relate the notions of local testing and robust testing to the notion of {\em agreement testing} that attempts to find out whether valid partial assignments can be stitched together to a global codeword. We first show that agreement testing implies robust testing, and then show that local testing implies agreement testing.
Our proof is combinatorial, and is based on expansion / sampling properties of the collection of local views of local testers.
Thus, it immediately applies to local testers of lifted codes that query random affine subspaces in $\F_q^m$, and moreover seems amenable to extension to other families of locally testable codes with expanding families of local views.Fri, 25 Dec 2020 14:14:42 +0200https://eccc.weizmann.ac.il/report/2018/198#revision2
Revision 1
| From Local to Robust Testing via Agreement Testing |
Prahladh Harsha,
Noga Ron-Zewi,
Irit Dinur,
Tali Kaufman
https://eccc.weizmann.ac.il/report/2018/198#revision1A local tester for an error-correcting code is a probabilistic procedure that queries a small subset of coordinates, accepts codewords with probability one, and rejects non-codewords with probability proportional to their distance from the code. The local tester is said to be *robust* if for non-codewords it satisfies the stronger property that the average distance of local views from accepting views is proportional to the distance from the code. Robust testing is an important component in constructions of locally testable codes and probabilistically checkable proofs as it allows for composition of local tests.
In this work, we show that for certain codes, any (natural) local tester can be converted to a robust tester with roughly the same number of queries.
Our result holds for the class of *affine-invariant lifted codes* which is a broad class of codes that includes Reed-Muller codes, as well as recent constructions of high-rate locally testable codes (Guo, Kopparty, and Sudan, ITCS 2013).
Instantiating this with known local testing results for lifted codes gives a more direct proof that improves some of the parameters of the main result of Guo, Haramaty, and Sudan (FOCS 2015), showing robustness of lifted codes.
To obtain the above transformation, we relate the notions of local testing and robust testing to the notion of *agreement testing* that attempts to find out whether valid partial assignments can be stitched together to a global codeword. We first show that agreement testing implies robust testing, and then show that local testing implies agreement testing. Our proof is combinatorial, and is based on expansion / sampling properties of the collection of local views of local testers. Thus, it immediately applies to local testers of lifted codes that query random affine subspaces in $\F_q^m$, and moreover seems amenable to extension to other families of locally testable codes with expanding families of local views.Tue, 29 Jan 2019 16:01:31 +0200https://eccc.weizmann.ac.il/report/2018/198#revision1
Paper TR18-198
| From Local to Robust Testing via Agreement Testing |
Noga Ron-Zewi,
Irit Dinur,
Tali Kaufman
https://eccc.weizmann.ac.il/report/2018/198A local tester for an error-correcting code is a probabilistic procedure that queries a small subset of coordinates, accepts codewords with probability one, and rejects non-codewords with probability proportional to their distance from the code. The local tester is {\em robust} if for non-codewords it satisfies the stronger property that the average distance of local views from accepting views is proportional to the distance from the code. Robust testing is an important component in constructions of locally testable codes and probabilistically checkable proofs as it allows for composition of local tests.
In this work we show that for certain codes, any (natural) local tester can be converted to a roubst tester with roughly the same number of queries.
Our result holds for the class of {\em affine-invariant lifted codes} which is a broad class of codes that includes Reed-Muller codes, as well as recent constructions of high-rate locally testable codes (Guo, Kopparty, and Sudan, ITCS 2013). Instantiating this with known local testing results for lifted codes gives a more direct proof that improves some of the parameters of the main result of Guo, Haramaty, and Sudan (FOCS 2015), showing robustness of lifted codes.
To obtain the above transformation we relate the notions of local testing and robust testing to the notion of {\em agreement testing} that attempts to find out whether valid partial assignments can be stitched together to a global codeword. We first show that agreement testing implies robust testing, and then show that local testing implies agreement testing.
Our proof is combinatorial, and is based on expansion / sampling properties of the collection of local views of local testers.
Thus, it immediately applies to local testers of lifted codes that query random affine subspaces in $\F_q^m$, and moreover seems amenable to extension to other families of locally testable codes with expanding families of local views.Fri, 23 Nov 2018 09:30:24 +0200https://eccc.weizmann.ac.il/report/2018/198