[논문 리뷰] Some Improvements on Locally Repairable Codes

Jun Zhang, Xin Wang외 1명|arXiv (Cornell University)|2015. 06. 16.

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

한 줄 요약

이 논문은 $ n_1 \leq n_2 $ 인 경우에 국소 수리 가능 코드(LRCs)의 열린 문제를 해결하며, LRCs의 최소 거리에 대한 향상된 상한을 유도하고, 이 상한을 달성하는 구축법을 제시한다. 또한 국소성 $ r $, 가용성 2, 비율 $ \frac{r-1}{r+1} $, 최적의 최소 거리 $ O(\log n) $ 를 갖는 이진 LRCs를 구성하기 위해 큰 순환을 가진 $ (r+1) $-정규 그래프를 사용하는 그래픽 모델을 도입한다. 이는 이전의 이진 구성법에 비해 최소 거리가 매우 향상된 결과를 낳는다.

ABSTRACT

The locally repairable codes (LRCs) were introduced to correct erasures efficiently in distributed storage systems. LRCs are extensively studied recently. In this paper, we first deal with the open case remained in \cite{q} and derive an improved upper bound for the minimum distances of LRCs. We also give an explicit construction for LRCs attaining this bound. Secondly, we consider the constructions of LRCs with any locality and availability which have high code rate and minimum distance as large as possible. We give a graphical model for LRCs. By using the deep results from graph theory, we construct a family of LRCs with any locality $r$ and availability $2$ with code rate $\frac{r-1}{r+1}$ and optimal minimum distance $O(\log n)$ where $n$ is the length of the code.

연구 동기 및 목표

• 문제 해결: [40]에서 $ n_1 \leq n_2 $ 인 경우에 국소 수리 가능 코드(LRCs)의 최소 거리에 대한 더 낫게 조여진 상한을 도출함.
• 구성법 제공: 특히 $ n_1 < n_2 $ 이고 $ u+v+n_2 - n_1 \leq r $ 인 경우에 이 개선된 상한을 달성하는 명시적 LRCs를 구성함.
• 이진 LRCs 설계: 임의의 국소성 $ r $, 가용성 2, 높은 코드 비율 $ \frac{r-1}{r+1} $, 그리고 큰 최소 거리를 갖는 이진 LRCs를 구성함.
• 그래픽 모델 수립: 이중 그래프를 사용하여 이진 LRCs에 대한 그래픽 모델을 수립하고, 극단적 그래프 이론을 활용하여 코드 파라미터를 최적화함.

제안 방법

• 선형 정수계획법 설정을 통해 $ n_1 \leq n_2 $ 조건 하에서 LRCs의 최소 거리에 대한 새로운 상한을 도출함.
• 보간 다항식을 사용하여 $ n_1 < n_2 $ 이고 $ u+v+n_2 - n_1 \leq r $ 인 경우에 최적의 LRCs를 구성함으로써 이전의 구성법을 확장함.
• 이중 그래프를 통해 이진 LRCs를 모델링하며, 축소된 그래프는 $ (r+1) $-정규이면서 큰 순환을 가져야 함.
• 이중 그래프의 이중인접행렬(null space)로 코드를 구성함으로써 국소성 $ r $ 과 가용성 2를 보장함.
• 극단적 그래프 이론의 결과를 활용하여 축소된 그래프의 순환 $ g $ 가 $ g = O(\log n) $ 를 만족하도록 함. 이는 직접적으로 코드의 최소 거리를 결정함.
• 기존의 알려진 큰 순환을 갖는 정규 그래프의 명시적 구성법(예: [22], [17], [7])을 활용하여 성능 보장을 갖는 코드 설계를 실현함.

실험 결과

연구 질문

• RQ1 최소 거리에 대한 가장 날카운 상한은 $ n_1 \leq n_2 $ 인 경우에 어떻게 도출될 수 있는가?
• RQ2 구성법 제공: $ n_1 \leq n_2 $ 영역에서 이 개선된 상한을 달성하는 명시적 LRCs를 제공할 수 있는가?
• RQ3 국소성 $ r $, 가용성 2, 높은 비율을 갖는 이진 LRCs를 구성하면서 최소 거리를 최대화하는 방법은 무엇인가?
• RQ4 원하는 국소성과 가용성을 갖는 LRCs를 체계적으로 설계하기 위해 그래픽 모델을 수립할 수 있는가?
• RQ5 이중성 2와 비율 $ \frac{r-1}{r+1} $ 을 갖는 이진 LRCs에 대해 최소 거리 $ O(\log n) $ 가 최적인가?

주요 결과

• 국소 수리 가능 코드(LRCs)의 최소 거리에 대한 향상된 상한이 $ n_1 \leq n_2 $ 인 경우에 도출되었으며, 이는 고전적 상한(1.1)과 [40]의 상한보다 엄밀히 개선된 결과를 낳는다.
• 보간 다항식을 새로운 방식으로 사용하여 $ n_1 < n_2 $ 이고 $ u+v+n_2 - n_1 \leq r $ 인 경우에 최적의 LRCs를 명시적으로 구성함으로써 새로운 상한을 달성함.
• Tamo와 Barg의 구성법 [37]이 $ n_1 \leq n_2 $ 이고 $ u+v > r $, $ v \neq r $ 인 경우에 최적임을 증명함으로써 열린 문제에서 핵심 케이스를 해결함.
• $ (r+1) $-정규 그래프를 사용하여 국소성 $ r $ 과 가용성 2를 갖는 이진 LRCs에 대한 그래픽 모델이 수립됨.
• 결과적으로 얻어진 코드는 비율 $ \frac{r-1}{r+1} $, 국소성 $ r $, 가용성 2, 최소 거리 $ d = g = O(\log n) $ 를 갖는다. 이는 이 설정에서 최적이 됨.
• 이중성 2와 비율 $ \frac{r-1}{r+1} $ 을 갖는 이진 LRCs에 대해 최소 거리 $ O(\log n) $ 가 최적임을 증명하였으며, 이는 [11, 정리 2.5]에 의해 확인됨.