[논문 리뷰] How Long Can Optimal Locally Repairable Codes Be?

Venkatesan Guruswami, Chaoping Xing외 1명|arXiv (Cornell University)|2018. 01. 01.

Advanced Data Storage Technologies참고 문헌 12인용 수 7

한 줄 요약

이 논문은 최소 거리 d ≥ 5인 최적의 국소 복구 코드(LRC)의 길이에 대한 처음으로 알려진 상한을 확립하며, 알파벳 크기 q에서 이러한 코드의 길이가 최대 O(dq³)일 수 있음을 증명한다. 특히 d = 5일 경우 더 날카운 상한 O(q²)를 제공한다. 이와 함께, d ≤ r + 2일 때 최적의 LRC가 길이 Ωd,r(q¹⁺¹/⌊(d−3)/2⌋)로 존재함을 보여주는 구조적 하한을 제시하며, d = 5인 경우 상한과 정확히 일치하여 최적의 LRC가 가질 수 있는 최대 점근적 길이가 n = Θ(q²)임을 입증한다.

ABSTRACT

A locally repairable code (LRC) with locality $r$ allows for the recovery of any erased codeword symbol using only $r$ other codeword symbols. A Singleton-type bound dictates the best possible trade-off between the dimension and distance of LRCs --- an LRC attaining this trade-off is deemed \emph{optimal}. Such optimal LRCs have been constructed over alphabets growing linearly in the block length. Unlike the classical Singleton bound, however, it was not known if such a linear growth in the alphabet size is necessary, or for that matter even if the alphabet needs to grow at all with the block length. Indeed, for small code distances $3,4$, arbitrarily long optimal LRCs were known over fixed alphabets. Here, we prove that for distances $d \ge 5$, the code length $n$ of an optimal LRC over an alphabet of size $q$ must be at most roughly $O(d q^3)$. For the case $d=5$, our upper bound is $O(q^2)$. We complement these bounds by showing the existence of optimal LRCs of length $Ω_{d,r}(q^{1+1/\lfloor(d-3)/2 floor})$ when $d \le r+2$. These bounds match when $d=5$, thus pinning down $n=Θ(q^2)$ as the asymptotically largest length of an optimal LRC for this case.

연구 동기 및 목표

• 최소 거리 d ≥ 5인 경우 고정된 알파벳 크기에서 최적의 국소 복구 코드(LRC)가 무한한 길이를 가질 수 있는지 여부를 해결하기 위해.
• 알파벳 크기 q와 국소성 r에 따라 최적의 LRC가 가질 수 있는 최대 길이에 대한 날카운 상한 및 하한을 확립하기 위해.
• 최소 거리 d ≥ 5인 최적의 LRC에 대해 기존 구성과 이론적 한계 사이의 격차를 메우기 위해.
• d ≤ r + 2인 경우 q에 대해 초선형 길이를 갖는 최적의 LRC를 생성하는 구조적 방법을 제공하기 위해.
• 최적의 LRC에서 코드 길이, 알파벳 크기, 최소 거리 간의 점근적 상호 관계를 명확히 하기 위해.

제안 방법

• 복구 그룹의 구조와 열 선택에 중점을 두어, 부호화 행렬 내 선형 종속성에 기반한 조합론적 추론을 통해 최적의 LRC 길이에 대한 상한을 유도한다.
• 최소 거리 d를 확보하기 위해, 매 단계에서 d−1개의 열이 선형 독립성을 유지하도록 하는 근사 알고리즘을 적용하여 부호화 행렬을 구축한다.
• 국소성 r을 확보하기 위해, 부호화 행렬을 r+1개의 서로소 복구 그룹으로 분해하며, 각 그룹의 크기는 r+1이다.
• 선형 독립성을 위반할 수 있는 열 선택(나쁜 선택)의 수에 제약을 두고, 이에 대해 이전에 선택된 열들이 생성하는 부분공간의 크기를 이용해 이를 상한한다.
• Plotkin 상한과 자르기(puncturing) 추론을 적용하여, d가 n에 비례할 경우 d ≤ O(qr)임을 보여주는 보조 상한을 도출한다.
• n ≡ 0 mod r+1인 나누어떨어지는 길이에 대한 구성에서 일반적인 n으로의 확장을 위해 단축(shortening)을 적용하며, 나머지 a = n mod (r+1)에 대한 특정 조건을 만족할 경우 최적성이 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 d ≥ 5인 경우 고정된 알파벳 크기에서 최적의 LRC가 무한한 길이를 가질 수 있는가?
• RQ2 알파벳 크기 q와 최소 거리 d ≥ 5에 따라 최적의 LRC 길이에 대한 가장 날카운 상한은 무엇인가?
• RQ3 d ≥ 5인 경우 q에 대해 초선형 길이를 갖는 최적의 LRC를 구성할 수 있으며, 그 최대 달성 가능한 길이는 무엇인가?
• RQ4 d = 5인 경우 상한과 하한이 어떻게 비교되며, 격차는 닫히는가?
• RQ5 코드 길이 n mod (r+1)에 대해 어떤 조건에서 단축된 최적의 LRC가 여전히 최적성을 유지하는가?

주요 결과

• d ≥ 5일 경우, 알파벳 크기 q에서 최적의 LRC가 가질 수 있는 최대 길이 n은 최대 O(dq³)이며, d = 5일 경우 더 날카운 상한 O(q²)를 갖는다.
• d가 4로 나누어떨어지는 경우 상한은 O(dq³⁺⁴/(d−4))이며, d ≡ 1 mod 4일 경우 略로 더 우수한 성능를 보인다.
• 구조적 하한을 통해 d ≤ r + 2인 모든 경우에 대해 길이 Ωd,r(q¹⁺¹/⌊(d−3)/2⌋)의 최적 LRC가 존재함을 증명한다.
• d = 5일 경우 상한과 하한이 정확히 일치하여, 최적 LRC의 최대 길이가 Θ(q²)임을 증명한다.
• 단축을 통해 일반적인 n으로의 확장을 수행하였으며, n mod (r+1) > d−1 이거나 나머지와 차원에 대한 특정 조건을 만족할 경우 최적성이 유지됨을 보였다.
• 논문은 d ≥ 5인 경우 고정된 알파벳에서 최적의 LRC가 무한한 길이를 가질 수 없음을 입증하며, 오랫동안 남아있던 열린 문제를 해결한다.