[논문 리뷰] Bounds on Codes with Locality and Availability

S. B. Balaji, P. Vijay Kumar|arXiv (Cornell University)|2016. 11. 01.

Advanced Data Storage Technologies참고 문헌 18인용 수 3

한 줄 요약

이 논문은 $t$-가용성을 가진 코드의 비율과 최소 거리에 대한 더 낳은 경계를 제시하며, 행 지원이 직교적인 부호화 행렬을 통해 정의된 엄격한 $t$-가용성(strict $t$-availability)을 갖는 코드에 초점을 맞춘다. $t=3$에 대해 그레디 알고리즘을 도입하고, 일반 $t$에 대해 행렬 전치법을 사용하여 이전 연구에 비해 향상된 비율 경계를 도출한다. 또한 $\frac{r}{r+t}$를 초월하는 비율을 달성하는 두 가지 일반적인 이진 코드 구축법을 제안한다. 이는 분산 스토리지 시스템에 적용 가능하다.

ABSTRACT

In this paper we investigate bounds on rate and minimum distance of codes with $t$ availability. We present bounds on minimum distance of a code with $t$ availability that are tighter than existing bounds. For bounds on rate of a code with $t$ availability, we restrict ourselves to a sub-class of codes with $t$ availability called codes with strict $t$ availability and derive a tighter rate bound. Codes with strict $t$ availability can be defined as the null space of an $(m imes n)$ parity-check matrix $H$, where each row has weight $(r+1)$ and each column has weight $t$, with intersection between support of any two rows atmost one. We also present two general constructions for codes with $t$ availability.

연구 동기 및 목표

• 엄격한 $t$-가용성(strict $t$-availability)을 갖는 코드의 비율과 최소 거리에 대한 더 낳은 경계를 유도하는 것.
• 부호화 행렬과 그 전치행렬의 구조적 성질을 활용하여 $(n,k,r,t)_{sa}$ 코드의 기존 비율 경계를 향상시키는 것.
• 기존 $\frac{r}{r+t}$ 경계를 초월하는 더 높은 비율을 달성하는 일반적인 이진 코드의 구축법을 개발하는 것.
• 직교 배열과 라틴 제곱이 엄격한 $t$-가용성과 최적 국소성(optimality of locality)을 갖는 코드 구축에 어떻게 기여하는지 탐색하는 것.
• 기존 문헌에서의 결과보다 더 낳은 성능을 보이는, 필드 크기에 따라 달라지는 및 필드 크기에 무관한 최소 거리 경계를 도출하는 것.

제안 방법

• 최소 겹침을 갖는 부호화 행렬의 행을 반복적으로 선택함으로써 $(n,k,r,3)_{sa}$ 코드의 비율을 경계짓는 그레디 알고리즘을 제안한다.
• 부호화 행렬의 질량과 그 전치행렬의 질량을 이용하여 $(n,k,r,t)_{sa}$ 코드의 일반적인 비율 경계를 도출하며, 지원의 직교성을 활용한다.
• 직교 라틴 제곱과 집합의 분할을 기반으로 하는 재귀적 구축법을 도입하여 엄격한 $t$-가용성을 갖는 코드를 생성한다.
• 각 함수 $f_i: X \to Y$의 역상 크기가 제한되고, 상호 교차 조건이 만족되는 조건을 만족시키는 함수를 사용하여 $\mathbb{F}_2$ 위에서 부호화 행렬을 정의하는 두 번째 구축법을 개발한다.
• 유한 기하학의 인cidense 구조(예: $\mathbb{F}_{q^g}$ 상의 직선과 점)를 활용하여 $r+1 = q = p^m$인 경우에 해당 구축법을 실현한다.
• 정보 기호의 가용성을 보장하기 위해 $[I \mid H]$ 형태의 부호화 행렬을 구성하며, 이는 분산 스토리지 환경에 적용 가능하다.

실험 결과

연구 질문

• RQ1 엄격한 $t$-가용성을 갖는 코드의 비율을 기존 결과보다 더 낳게 어떻게 경계할 수 있는가?
• RQ2 가용성 $t$를 갖는 코드의 최소 거리는 무엇이며, 필드 크기에 관계없이 어떻게 경계할 수 있는가?
• RQ3 가용성 $t$를 갖는 코드의 구축법이 기존에 알려진 $\frac{r}{r+t}$ 경계를 초월할 수 있는가?
• RQ4 직교 라틴 제곱과 조합 설계는 엄격한 $t$-가용성을 갖는 코드의 구축에 어떤 역할을 하는가?
• RQ5 국소성과 가용성 성질을 유지하면서, 이진 코드의 $t$-가용성을 체계적으로 어떻게 구축할 수 있는가?

주요 결과

• 그레디 알고리즘을 활용하여 $(n,k,r,3)_{sa}$ 코드의 더 낳은 비율 경계를 도출하였으며, 이는 [14]의 결과보다 향상되었다.
• 일반적인 $t$에 대해 부호화 행렬의 전치행렬을 활용한 새로운 비율 경계를 도출하였으며, 이는 엄격한 $t$-가용성 코드에 대해 [14]의 경계보다 더 낳다.
• 필드 크기에 따라 달라지는 및 필드 크기에 무관한 최소 거리 경계를 도출하였으며, 이는 [14] 및 [18]의 결과보다 더 낳다.
• 직교 라틴 제곱을 기반으로 한 재귀적 구축법은 $T(n) \geq f(r+1) \cdot T(n/(r+1))$ 형태의 분할을 달성하며, 필요한 교차 성질을 만족한다.
• 특히 $r+1 = q = p^m$인 경우, 기존의 인cidense 기반 코드와 동일한 구조를 갖지만, [1]의 구축법보다 더 높은 비율을 달성한다.
• 선형 함수 $f_i(\mathbf{x}) = A_i\mathbf{x}$를 사용하는 두 번째 이진 구축법은 $n = q^{n_1}$, $r+1 = q^{n_1 - m_1}$을 만족하며, 일부 경우(예: $m_1=1, n_1=2$)에서 $\frac{r}{r+t}$를 초월하는 비율을 달성한다.