High-rate locally-correctable and locally-testable codes with sub-polynomial query complexity

@article{Kopparty2015HighrateLA,
  title={High-rate locally-correctable and locally-testable codes with sub-polynomial query complexity},
  author={Swastik Kopparty and Or Meir and Noga Ron-Zewi and Shubhangi Saraf},
  journal={Proceedings of the forty-eighth annual ACM symposium on Theory of Computing},
  year={2015}
}
In this work, we construct the first locally-correctable codes (LCCs), and locally-testable codes (LTCs) with constant rate, constant relative distance, and sub-polynomial query complexity. Specifically, we show that there exist LCCs and LTCs with block length n, constant rate (which can even be taken arbitrarily close to 1) and constant relative distance, whose query complexity is exp(Õ(√logn)) (for LCCs) and (logn)O(loglogn) (for LTCs). Previously such codes were known to exist only with Ω(n… 

High-Rate Locally Correctable and Locally Testable Codes with Sub-Polynomial Query Complexity

TLDR
This work constructs the first LCCs and LTCs with constant rate, constant relative distance, and sub-polynomial query complexity, and approaches the Singleton bound over large (but constant size) alphabet.

Locally testable codes with constant rate, distance, and locality

TLDR
This work constructs LTCs with constant rate, constant distance, and constant locality based on a new two-dimensional complex which they call a left-right Cayley complex, which is essentially a graph which, in addition to vertices and edges, also has squares.

Rate Amplification and Query-Efficient Distance Amplification for Locally Decodable Codes

TLDR
The first contribution is a significantly improved distance amplification procedure for LDC, and the natural question of rate amplification is investigated, motivated by the fruitfulness of distance amplification.

Interactive Oracle Proofs with Constant Rate and Query Complexity

TLDR
This work demonstrates that even constant-round IOPs are more efficient than known PCPs and IPs, and proves a composition theorem for Iops where this dependence is sublinear.

Relaxed Locally Correctable Codes

TLDR
A relaxed LCC with almost-linear blocklength is constructed, which is sub-exponentially better than what is known for (full-fledged) LDCs in the constant-query regime, and an analogous relaxation for local correction is considered.

Exponential Lower Bounds for Locally Decodable and Correctable Codes for Insertions and Deletions

TLDR
New, strong lower bounds for the existence of Insdel LDCs are proved, and it is shown that 2-query linear InsdelLDCs do not exist, and an exponential lower bound for the length of all q-query InsdellDCs with constant q is given.

Revisiting the Reed-Muller Locally Correctable Codes

  • Feng Cheng
  • Computer Science
    2019 IEEE 4th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC)
  • 2019
TLDR
This paper revisits local correctors for RM codes and examines how parameters including r, δ and ϵ change in RM LCCs have been analyzed in different correctors to help understand local codes better.

On Relaxed Locally Decodable Codes for Hamming and Insertion-Deletion Errors

TLDR
This work studies RLDCs in the standard Hamming-error setting, and introduces their variants in the insertion and deletion (Insdel) error setting, which are further motivated by recent advances in DNA random access bio-technologies.

On the Local Correctabilities of Projective Reed-Muller Codes

TLDR
It is shown that PRM codes are shorter than generalized Reed-Muller~(GRM) codes in LCCs, while maintaining the same values on the query complexities and the message lengths.

Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck

TLDR
It is demonstrated that even constant-round IOPs are more efficient than known PCPs and IPs, and a composition theorem is proved for Iops where this dependence is sublinear.
...

References

SHOWING 1-10 OF 77 REFERENCES

High-Rate Locally Correctable and Locally Testable Codes with Sub-Polynomial Query Complexity

TLDR
This work constructs the first LCCs and LTCs with constant rate, constant relative distance, and sub-polynomial query complexity, and approaches the Singleton bound over large (but constant size) alphabet.

High-rate Locally-testable Codes with Quasi-polylogarithmic Query Complexity

TLDR
This work constructs LTCs that have high rate (arbitrarily close to 1), have constant relative distance, and can be tested using (log n) O(log logn) queries, which improves over the previous best construction of L TCs with high rate, by the same authors.

Locally Correctable and Testable Codes Approaching the Singleton Bound

  • Or Meir
  • Computer Science
    Electron. Colloquium Comput. Complex.
  • 2014
TLDR
This work constructs binary LCCs and LTCs with n queries that achieve the Zyablov bound, which constitutes the best known parameters for (explicit) binary codes.

Dense Locally Testable Codes Cannot Have Constant Rate and Distance

TLDR
It is shown that dense LTCs cannot be c3, and several natural ways to quantitatively improve the results would already resolve the general c3 question, i.e. also for nondense L TCs.

Locally testable codes and PCPs of almost-linear length

  • Oded GoldreichM. Sudan
  • Computer Science
    The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings.
  • 2002
TLDR
It is shown that certain PCP systems can be modified to yield locally testable codes and PCPs of almost-linear length, and novel techniques in use include a random projection of certain codewords and PCP-oracles, an adaptation of PCP constructions to obtain "linear PCP -oracles" for proving conjunctions of linear conditions, and a direct construction of local testable (linear) codes of sub-exponential length.

Towards lower bounds on locally testable codes via density arguments

TLDR
It is argued that to refute the existence of such an asymptotically good family of LTCs, it is sufficient to prove that the number of dual codewords of weight at most 3 is super-linear in the blocklength of the code and they are distributed “naturally”.

3-query locally decodable codes of subexponential length

TLDR
This paper gives the first unconditional constant query LDC construction with subexponantial codeword length, which could be extended to higher number of queries.

Strong LTCs with Inverse Poly-Log Rate and Constant Soundness

  • Michael Viderman
  • Computer Science, Mathematics
    2013 IEEE 54th Annual Symposium on Foundations of Computer Science
  • 2013
TLDR
The "gap amplification" procedure of Dinur can be used to amplify the soundness of these strong LTCs from inverse polylogarithmic up to a constant, while preserving the other parameters of these codes.

A Note on high-rate Locally Testable Codes with sublinear query complexity

  • Michael Viderman
  • Computer Science, Mathematics
    Electron. Colloquium Comput. Complex.
  • 2010
TLDR
This note shows a construction of high-rate LTCs with sublinear query complexity, showing that for every ; > 0 there exists a family of L TCs over the binary field with query complexity n and rate at least 1.

Strong LTCs with Inverse Polylogarithmic Rate and Soundness

  • Michael Viderman
  • Mathematics, Computer Science
    2013 IEEE Conference on Computational Complexity
  • 2013
TLDR
This paper constructs strong LTCs with query complexity 3, inverse polylogarithmic soundness and inverse poly logarithic rate.
...