[논문 리뷰] A Construction of Maximally Recoverable Codes with Order-Optimal Field Size

Han Cai, Ying Miao외 2명|arXiv (Cornell University)|2020. 11. 27.

Advanced Data Storage Technologies참고 문헌 49인용 수 10

한 줄 요약

이 논문은 선형화된 리드-소โล몬 코드를 기반으로 하여 특정 渐近적 영역에서 순서 최적의 필드 크기를 달성하는 최대 복구 가능(MR) 코드의 새로운 구성법을 제시한다. 구조화된 패리티 체크 행렬과 필드 확장 기법을 활용하여, 특히 $ r = \Theta(n) $ 또는 $ \delta > 2 $ 인 영역에서 이전의 구성법보다 필드 크기를 감소시키며, 점 渐진적으로 이론적 하한선과 일치한다.

ABSTRACT

We construct maximally recoverable codes (corresponding to partial MDS codes) which are based on linearized Reed-Solomon codes. The new codes have a smaller field size requirement compared with known constructions. For certain asymptotic regimes, the constructed codes have order-optimal alphabet size, asymptotically matching the known lower bound.

연구 동기 및 목표

• 대규모 분산 스토리지 시스템에서 $(r,\delta)$-로컬리티를 갖는 최대 복구 가능(MR) 코드의 필드 크기 최소화 문제를 해결하기 위해.
• 특정 매개변수 영역에서 알려진 이론적 하한선과 점 渐진적으로 일치하는 순서 최적의 필드 크기를 갖는 MR 코드를 구성하기 위해.
• 이전의 구성법에서 큰 필드가 필요하거나 필드의 특성(예: 홀수 특성만 허용)에 제약을 둔 문제를 해결하기 위해.
• 특성에 관계없이 모든 유한 체에서 작동하는 통합된 구성법을 제공하고, $ r = \Theta(n) $ 및 $ \delta > 2 $ 인 경우 기존의 한계를 향상시키기 위해.

제안 방법

• 기초로 선형화된 리드-소로몬 코드를 사용하며, 서로 겹치지 않는 복구 집합을 갖는 구조화된 패리티 체크 행렬에 통합한다.
• 핵심 요소로는 $ q $를 $ r, \delta, m = n/(r+\delta-1) $ 기반으로 선택한 $ \mathbb{F}_{q^h} $ 필드 확장을 사용하여 충분한 랭크와 독립성을 확보하는 것이다.
• 패리티 체크 행렬은 각 복구 집합이 크기 $ r+\delta-1 $를 갖도록 설계되어 있으며, 글로벌 패리티 기호는 추가로 $ h $ 개의 오류를 수정한다.
• 이 구성법은 최소 해밍 거리 이상의 오류 패턴을 복구할 수 있도록 보장하여 MR 코드 조건을 충족시킨다.
• 정보 기호를 $ \mathbb{F}_{q^h} $ 위에서 구조화된 행렬 형식으로 매핑하는 체계적 인코딩 과정을 사용하여 효율적인 복구 및 복구를 가능하게 한다.
• 이론적 분석은 랭크 메트릭 성질과 조합론적 한계를 활용하여 코드가 도달하는 최소 거리와 필드 크기 최적성의 타당성을 입증한다.

실험 결과

연구 질문

• RQ1 Can MR codes be constructed with field size that asymptotically matches the known lower bound for $ r = \Theta(n) $ and $ \delta > 2 $?
• RQ2 Is it possible to construct MR codes over any finite field (including even characteristic) with field size $ \Theta(n^3) $ for $ h=3 $, without restricting field parity?
• RQ3 How does the field size of the proposed construction compare to existing constructions like those in [12] and [17] in regimes where $ (r+\delta-1)^{h+\delta-1} > m $?
• RQ4 Can the construction achieve order-optimal field size for $ h \leq \min\{m, \delta+1\} $ when $ m = \Theta(q) $ and $ r = \Theta(q) $?
• RQ5 Does the use of linearized Reed-Solomon codes enable a reduction in field size compared to Gabidulin-based or other algebraic constructions?

주요 결과

• 구성된 MR 코드는 $ \Theta\left(\left(\max\{r+\delta-1, \frac{n}{r+\delta-1}\} \right)^h\right) $ 의 필드 크기를 달성하며, 특정 영역에서 이전의 구성법보다 작다.
• 특히 $ r = \Theta(n) $ 인 영역에서는 필드 크기가 $ \Theta(n^h) $ 로 나타나며, $ \delta > 2 $ 일 경우 [12]의 $ \Theta(n^{h\delta}) $ 한계보다 향상된다.
• 특히 $ h=3 $ 인 경우, 홀수 특성 여부에 관계없이 모든 유한 체에서 $ q = \Theta(n^3) $ 의 필드 크기를 달성하여 [17]에서 남긴 열린 문제를 해결한다.
• $ m = \Theta(q) $ 이고 $ r = \Theta(q) $ 인 경우, 코드는 점 渐진적으로 순서 최적의 필드 크기 $ \Theta(q^h) $ 를 달성하며, 이는 이론적 하한선과 일치한다.
• $ (r+\delta-1)^{h+\delta-1} > m $ 인 영역에서 [12]보다 우수한 성능을 보이며, 이 경우 $ \max\{r+\delta-1, \frac{n}{r+\delta-1}\}^h < \max\{m, (r+\delta-1)^{h+\delta-1}\}^h $ 이기 때문이다.
• 최소 거리 $ d = \left(\left\lfloor\frac{h}{r}\right\rfloor + 1\right)(\delta-1) + h + 1 $ 를 확보하여, 코드가 최대 복구 가능 성질을 갖는 것을 확인한다.