[논문 리뷰] On Optimal Ternary Locally Repairable Codes

Jie Hao, Shu‐Tao Xia외 1명|arXiv (Cornell University)|2017. 02. 19.

Advanced Data Storage Technologies참고 문헌 8인용 수 4

한 줄 요약

이 논문은 삼진 국소 복구 코드(LRCs)가 싱글턴 유사 경계를 만족하는 최적의 경우에 대해, 부호 검사 행렬 접근법을 사용하여 가능한 모든 매개변수를 특성화한다. 이는 정확히 8개의 클래스의 코드가 존재하며, 최소 거리가 2, 3, 4, 5, 또는 6로 제한됨을 증명하고, 모든 8개 클래스에 대해 명시적인 구성법을 제공한다. 구성된 코드의 매개변수로는 (n=4l,k=3l-2,r=3,d=4), (n=3l,k=2l-1,r=2,d=3), (n=12,k=5,r=2,d=6) 등이 포함된다.

ABSTRACT

In an $[n,k,d]$ linear code, a code symbol is said to have locality $r$ if it can be repaired by accessing at most $r$ other code symbols. For an $(n,k,r)$ \emph{locally repairable code} (LRC), the minimum distance satisfies the well-known Singleton-like bound $d\le n-k-\lceil k/r ceil +2$. In this paper, we study optimal ternary LRCs meeting this Singleton-like bound by employing a parity-check matrix approach. It is proved that there are only $8$ classes of possible parameters with which optimal ternary LRCs exist. Moreover, we obtain explicit constructions of optimal ternary LRCs for all these $8$ classes of parameters, where the minimum distance could only be 2, 3, 4, 5 and 6.

연구 동기 및 목표

• 최적의 삼진 국소 복구 코드(LRCs)가 싱글턴 유사 경계를 만족하는 데 가능한 모든 매개변수를 규명하는 것.
• 길이 n, 차원 k, 국소성 r, 최소 거리 d에 대해 최적의 삼진 LRCs를 분류하는 것.
• 최적의 삼진 LRCs에 대해 모든 가능한 매개변수 클래스에 대해 명시적인 구성법을 제공하는 것.
• 제시된 8개 클래스 외에 최적의 삼진 LRCs가 존재하지 않음을 증명하는 것.
• 삼진 체 F₃에서의 MDS 코드에 대한 경계와 부호 검사 행렬의 구조를 활용하여 체의 크기 및 부호 매개변수에 대한 제약 조건을 분석하는 것.

제안 방법

• 부호 검사 행렬 분해 기법을 사용하여 H를 국소성에 기여하는 행들(H₁)과 최소 거리에 영향을 주는 행들(H₂)으로 분리함으로써, 국소성과 최소 거리를 각각 모델링한다.
• F₃에서의 (n,k,r) LRCs에서 최적성의 기준으로 삼는 싱글턴 유사 경계 d ≤ n − k − ⌈k/r⌉ + 2를 적용한다.
• 길이 n과 최소 거리 d를 가진 삼진 부호의 최대 크기 M₃(n,d)에 대한 재귀적 경계를 적용하여 가능한 매개변수 조합을 제약한다.
• F₃에서의 MDS 코드에 대한 보조정리 1을 적용하여 [4,2,3]를 초월하는 비자명한 MDS 코드의 존재를 배제함으로써 검색 공간을 축소한다.
• r의 홀짝성에 따라 경우의 수를 나누고, 재귀적 부등식을 활용하여 n과 k의 범위를 제한함으로써 타당한 매개변수 클래스를 분류한다.
• 각 8개 클래스에 대해 명시적인 부호 검사 행렬을 구성하며, 크로네커 곱과 순환 패턴을 활용한 구조적 형태를 포함한다.

실험 결과

연구 질문

• RQ1 싱글턴 유사 경계를 만족하는 최적의 삼진 LRC에 대해 가능한 모든 매개변수 조합 (n,k,r,d)는 무엇인가?
• RQ2 모든 최적의 삼진 LRC는 명시적으로 구성 가능한가? 만약 가능하다면, 어떤 매개변수 클래스에 대해 가능한가?
• RQ3 싱글턴 유사 경계를 초월하여 최적의 삼진 LRC의 최소 거리 d에 대해 추가적인 제약 조건이 존재하는가?
• RQ4 체 F₃의 크기는 최적의 LRC 존재에 대해 어떤 역할을 하는가? 특히 MDS 코드 제약 조건과의 관계에서 어떻게 작용하는가?
• RQ5 최적의 삼진 LRC가 존재하지 않는 매개변수 클래스가 존재하는가? 만약 존재한다면 그 이유는 무엇인가?

주요 결과

• 싱글턴 유사 경계 d ≤ n − k − ⌈k/r⌉ + 2를 만족하는 최적의 삼진 (n,k,r) LRC에 대해 정확히 8개의 매개변수 클래스가 존재한다.
• 최적의 삼진 LRC의 최소 거리 d는 오직 2, 3, 4, 5, 또는 6로 제한된다.
• 모든 8개 클래스에 대해 명시적인 구성법이 제공되며, 구성된 코드의 매개변수로는 (k+⌈k/r⌉,k,r,d=2), (13−g,10−g,8−g,d=3) (0≤g≤4), (2k+2,k,1,d=4), (8,2,1,d=6), (n,r+1,r,d=n−k) (3≤k≤6 및 3≤n−k≤6), (4l,3l−2,3,d=4) (l≥3), (3l,2l−1,2,d=3) (l≥3), (12,5,2,d=6) 등이 포함된다.
• r=3일 경우, (4l,3l−2,3,d=4) 코드는 최적이며, (1 1 1 1)과 2×4 행렬을 포함하는 크로네커 곱 구조를 가진 부호 검사 행렬을 통해 구성 가능하다.
• r=2일 경우, (3l,2l−1,2,d=3) 코드는 최적이며, Iₗ⊗(1 1 1)과 행 (1 1 ... 1)⊗(0 1 2)를 활용하여 구성 가능하다.
• M₃(n,d)에 대한 경계와 매개변수 제약 조건을 통해 r=4 또는 r=5인 경우, 알려진 클래스 외에 최적의 삼진 LRC는 존재하지 않음을 입증하였다.