[논문 리뷰] Optimal binary linear locally repairable codes with disjoint repair groups

Jingxue Ma, Gennian Ge|arXiv (Cornell University)|2017. 11. 20.

Advanced Data Storage Technologies참고 문헌 34인용 수 9

한 줄 요약

이 논문은 유한 기하학에서의 약한 독립 집합과 부분 스트림을 사용하여 최소 거리 d=6 및 d=8인 최적의 이진 선형 국소 복구 부호(LRC)의 명시적 구성법을 제안한다. 이는 이전의 Singleton 유사 및 Cadambe-Mazumdar 경계를 일반화한 새로운 코드 차원 경계를 수립하며, r∈{2,3}, d=6에 대해 거의 모든 매개변수에서 최적성을 달성한다. 구성된 부호는 Cadambe-Mazumdar 경계에 부합하거나 이를 근접한다.

ABSTRACT

In recent years, several classes of codes are introduced to provide some fault-tolerance and guarantee system reliability in distributed storage systems, among which locally repairable codes (LRCs for short) play an important role. However, most known constructions are over large fields with sizes close to the code length, which lead to the systems computationally expensive. Due to this, binary LRCs are of interest in practice. In this paper, we focus on binary linear LRCs with disjoint repair groups. We first derive an explicit bound for the dimension k of such codes, which can be served as a generalization of the bounds given in [11, 36, 37]. We also give several new constructions of binary LRCs with minimum distance $d = 6$ based on weakly independent sets and partial spreads, which are optimal with respect to our newly obtained bound. In particular, for locality $r\in \{2,3\}$ and minimum distance $d = 6$, we obtain the desired optimal binary linear LRCs with disjoint repair groups for almost all parameters.

연구 동기 및 목표

• 이산 복구 그룹을 가진 이진 선형 LRC의 차원 k에 대한 새로운 상한 경계를 유도함으로써 기존의 Singleton 유사 및 Cadambe-Mazumdar 경계를 일반화한다.
• F₂에서의 약한 독립 집합과 부분 스트림을 사용하여 최소 거리 d=6인 최적의 이진 LRC를 구성한다.
• 3개의 복구 그룹 부분공간의 합이 전체 차원을 이루도록 보장함으로써 d=8로의 구성 확장을 달성한다. 이는 더 높은 고장 내성 가능성을 제공한다.
• r=2,3 및 d=6,8에 대해 d-최적 또는 k-최적 부호를 달성하며, 새로운 차원 제약 조건 하에서 이론적 경계에 부합하거나 이를 근접한다.
• 계산적으로 효율적이며 이진 알파벳을 사용하는 실질적인 분산 저장 시스템에 적합한 명시적 구성법을 제공한다.

제안 방법

• 이산 복구 그룹을 가진 이진 LRC의 차원 k에 대한 새로운 상한 경계를 유도하며, 기존 경계를 일반화하고 체의 크기 및 코드 구조를 통합한다.
• F₂^s에서의 약한 독립 집합을 사용하여 d=6인 이진 LRC를 구성하며, 세 벡터의 합이 0이 되지 않도록 보장함으로써 최소 거리를 확보한다.
• F₂^s에서 2차원 부분공간의 부분 스트림을 통해 부호를 구성하며, 각 부분공간이 국소 복구성의 국소성 r을 갖는 복구 그룹에 대응한다.
• d=8인 경우, 부분 스트림의 부분집합에 대해 성질 P를 정의하여, 그 부분집합에 속한 임의의 세 부분공간이 직합으로서 차원 6을 가지게 하여 d≥8를 보장한다.
• 각 블록이 복구 그룹에 대응하는 블록 구조를 가진 부호 검사 행렬을 구성하며, 부분공간의 기저 벡터를 사용하여 국소 복구성을 정의한다.
• 새로 유도된 경계와 Cadambe-Mazumdar 경계와의 비교를 통해 최적성을 검증한다.

실험 결과

연구 질문

• RQ1 주어진 n, r, d에 대해 이산 복구 그룹을 가진 이진 선형 LRC의 차원 k에 대한 가장 날카운 상한 경계는 무엇인가?
• RQ2 F₂^s에서의 약한 독립 집합과 부분 스트림을 사용하여 d=6인 최적의 이진 LRC를 구성할 수 있는가?
• RQ3 r=2인 이진 LRC에서 d≥8를 달성하기 위해 3개의 부분공간 합의 차원 조건을 어떻게 강제로 구현할 수 있는가?
• RQ4 명시적 이진 LRC 구성법이 Cadambe-Mazumdar 경계에 얼마나 가까이 접근하거나 이를 달성할 수 있는가?
• RQ5 r∈{2,3} 및 d=6인 이진 LRC에 대해 거의 모든 매개변수 세트에서 최적인 명시적 구성법이 존재하는가?

주요 결과

• 이산 복구 그룹을 가진 이진 선형 LRC의 차원 k에 대한 새로운 상한 경계가 도출되었으며, 이는 이전 경계를 일반화하고 Singleton 유사 경계보다 더 강력한 제약 조건을 제공한다.
• r∈{2,3} 및 d=6에 대해 논문은 약한 독립 집합과 부분 스트림을 사용하여 최적의 이진 LRC를 구성하였으며, 거의 모든 매개변수 세트에서 새로운 경계에 도달하였다.
• F₂⁶에서 2-스트림을 사용하여 명시적 [18,6,8;2]₂ LRC를 구성하였으며, 부호 검사 행렬은 여섯 개의 2차원 부분공간의 기저 벡터로부터 유도되었다. 이는 삼중합 차원 조건을 만족한다.
• 구성된 [18,6,8;2]₂ 부호는 새로운 경계에 대해 최적이며, Cadambe-Mazumdar 경계와 정확히 일치하여 이론적 최적성을 확인한다.
• d=8 및 r=2인 경우, 임의의 세 복구 그룹 부분공간이 직합으로서 차원 6을 가지도록 요구함으로써 d≥8를 보장한다. 이는 성질 P 조건을 통한 검증을 통해 확인되었다.
• 동일한 프레임워크를 사용하여 [20,8,8;3]₂ 및 [24,11,8;3]₂와 같은 추가적인 최적 부호를 구성하였으며, 모두 이론적 차원 경계에 정확히 부합한다.