[논문 리뷰] Relaxed Locally Correctable Codes with Improved Parameters

Vahid R. Asadi, Igor Shinkar|arXiv (Cornell University)|2020. 09. 15.

Complexity and Algorithms in Graphs참고 문헌 14인용 수 5

한 줄 요약

이 논문은 블록 길이 향상된 새로운 이완형 국소적으로 수정 가능한 코드(RLCC) 구축법을 제시한다: O(q)-쿼리 RLCC가 O(k^{1+1/q}) 블록 길이를 달성하며, 상수 인자까지 알려진 하한선과 일치한다. 이 방법은 리드-멀러 코드 위에서의 랜덤 워크를 이용한 일관성 테스트와 PCP의 접근성과의 조합 정리로 구성되며, 이전의 O(k^{1+1/√q}) 구축법보다 크게 향상되었고, 상수 쿼리 모드에서 쿼리 복잡도와 코드 길이 사이의 상호관계에 대한 이해를 심화시킨다.

ABSTRACT

Locally decodable codes (LDCs) are error-correcting codes $C : Σ^k o Σ^n$ that admit a local decoding algorithm that recovers each individual bit of the message by querying only a few bits from a noisy codeword. An important question in this line of research is to understand the optimal trade-off between the query complexity of LDCs and their block length. Despite importance of these objects, the best known constructions of constant query LDCs have super-polynomial length, and there is a significant gap between the best constructions and the known lower bounds in terms of the block length. For many applications it suffices to consider the weaker notion of relaxed LDCs (RLDCs), which allows the local decoding algorithm to abort if by querying a few bits it detects that the input is not a codeword. This relaxation turned out to allow decoding algorithms with constant query complexity for codes with almost linear length. Specifically, [BGH+06] constructed an $O(q)$-query RLDC that encodes a message of length $k$ using a codeword of block length $n = O(k^{1+1/\sqrt{q}})$. In this work we improve the parameters of [BGH+06] by constructing an $O(q)$-query RLDC that encodes a message of length $k$ using a codeword of block length $O(k^{1+1/{q}})$. This construction matches (up to a multiplicative constant factor) the lower bounds of [KT00, Woo07] for constant query LDCs, thus making progress toward understanding the gap between LDCs and RLDCs in the constant query regime. In fact, our construction extends to the stronger notion of relaxed locally correctable codes (RLCCs), introduced in [GRR18], where given a noisy codeword the correcting algorithm either recovers each individual bit of the codeword by only reading a small part of the input, or aborts if the input is detected to be corrupt.

연구 동기 및 목표

• 상수 쿼리 모드에서 국소적으로 수정 가능한 코드(LDC)에 대한 알려진 하한선과 최선의 구축법 사이의 격차를 좁히기.
• 이전의 O(k^{1+1/√q}) bound를 초월하여 이완형 국소적으로 수정 가능한 코드(RLCC)의 블록 길이 매개변수를 향상시키기.
• 새로운 구축법이 상수 쿼리 LDC에 대한 기존 하한선을 상수 인자까지 일치함으로써, LDC와 RLCC의 분리에 대한 이해를 심화시키기.
• 로컬 수정이 손상된 입력에서 중단될 수 있는 더 강력한 RLCC 모델로 구축법을 확장하기.
• 고차원 확장자 또는 유사한 구조를 사용하여 쿼리 복잡도가 작고 상수 속도를 갖는 RLCC를 구축하는 프레임워크 제공하기.

제안 방법

• 리드-멀러 코드 위에서의 랜덤 워크를 통한 일관성 테스트(CTRw)를 사용하여 코드워드 부분의 국소 일관성을 검증한다.
• CTRw 기반 RLCC와 PCP의 접근성을 조합하는 조합 정리를 통해 효율적인 국소 수정을 가능하게 한다.
• 로컬 수정 알고리즘은 코드워드의 소수의 위치를 쿼리하고, CTRw를 사용하여 일관성 여부를 탐지하거나 손상이 감지되면 중단한다.
• 이 방법은 이완된 복호 모델 하에서 타당성과 완전성을 보장하는 표준 PCP의 접근성 시스템에 의존한다.
• 필요한 대수적 구조를 지원하기 위해 충분히 큰 체수(|F| ≥ c_q · k^{1/q})를 가정한다.
• 이중 RLCC는 상수 속도 이중 코드와의 연결을 통해 얻어지며, 쿼리 복잡도와 블록 길이가 상수 인자까지 유지된다.

실험 결과

연구 질문

• RQ1 O(q)-쿼리 RLCC의 블록 길이를 O(k^{1+1/q})로 향상시킬 수 있는가, 이때 상수 쿼리 복잡도를 유지할 수 있는가?
• RQ2 새로운 구축법이 상수 쿼리 LDC에 대한 알려진 하한선을 상수 인자까지 일치시키는가, 이는 상수 쿼리 모드에서의 격차를 메우는가?
• RQ3 리드-멀러 코드 위에서의 CTRw 기반 접근법을 확장하여, 다항식 이하의 쿼리 복잡도를 갖는 상수 속도 RLCC를 달성할 수 있는가?
• RQ4 상수 쿼리 복잡도에서 표준 LDC와 RLDC 사이에 블록 길이의 분리가 존재하는가, 그리고 이는 향상된 구축법을 통해 입증될 수 있는가?
• RQ5 고차원 확장자에서 어떤 구조적 성질이 효율적인 RLCC 구축을 지원하는 데에 충분한가?

주요 결과

• 논문은 O(q)-쿼리 RLCC를 O(k^{1+1/q}) 블록 길이로 구성하였으며, [BGH+06]에서 제시된 이전의 O(k^{1+1/√q}) bound를 초월한다.
• 새로운 구축법은 [KT00, Woo07]에서 제시한 상수 쿼리 LDC에 대한 하한선을 상수 인자까지 일치시키며, 블록 길이 측면에서 거의 최적임을 시사한다.
• 이 방법은 이완형 국소적으로 수정 가능한 코드(RLCC)로 확장되어, 손상된 입력에서 중단 기능을 갖는 국소 수정을 가능하게 한다.
• 충분히 큰 체수(|F| ≥ c_q · k^{1/q})를 가정하는 것은 대수적 부호 이론에서 표준적인 가정이다.
• 유사한 매개변수를 갖는 이중 RLCC는 상수 속도 이중 부호와의 연결을 통해 얻어지며, 쿼리 복잡도와 블록 길이가 상수 인자까지 유지된다.
• CTRw와 PCP의 접근성에 기반한 프레임워크는 이완 모델에서 정확성과 타당성 보장을 지원하는 깔끔한 조합 정리를 가능하게 한다.