The key highlights and insights of the content are:
The authors construct the first asymptotically good relaxed locally correctable codes (RLCCs) with polylogarithmic query complexity. This improves upon the previous best upper bound of (log n)^(O(log log log n)) queries.
The authors use a new operation called "nesting" to boost the block length of an RLCC. Nesting an RLCC inside a high-rate locally testable code (LTC) allows the RLCC to inherit the larger block length while incurring only an additive cost in rate and query complexity.
By iteratively nesting the RLCC in a sequence of LTCs with increasing block lengths, the authors are able to construct an RLCC with arbitrarily large block length, constant rate, and polylogarithmic query complexity.
The key to the construction is using the LTC's local testing algorithm to efficiently "zoom in" on a smaller RLCC within the larger input, rather than having to recursively call the smaller RLCC's corrector multiple times.
The authors also show how to obtain non-explicit RLCCs with polylogarithmic queries that approach the Gilbert-Varshamov bound for rate-distance tradeoffs.
The final RLCC has subconstant correcting radius due to the distance limitations of the high-rate LTCs used. This is remedied by nesting in one final LTC with constant rate and distance.
다른 언어로
소스 콘텐츠 기반
arxiv.org
더 깊은 질문