[논문 리뷰] Cyclic Codes with Locality and Availability

Lukas Holzbaur, Ragnar Freij-Hollanti외 1명|arXiv (Cornell University)|2018. 12. 17.

Coding theory and cryptography참고 문헌 11인용 수 4

한 줄 요약

이 논문은 Tamo-Barg 코드 기반의 일반화된 정의 집합 접근법을 사용하여 강한 $(r,\rho)$-지역성과 $t$-가용성을 갖는 순환 지역 복구 코드(LRCs)를 구성한다. 하르트먼-츠엥 경계를 적용하고 정의 집합을 철저히 확장함으로써, 특히 복구 세트의 강한 수직성 조건 하에서 주어진 최소 거리에 대해 최적 또는 근사 최적의 코드 차원을 달성한다. 이는 특정 매개변수 조합에서 최적성을 입증한다.

ABSTRACT

In this work codes with availability are constructed based on the cyclic \emph{locally repairable code} (LRC) construction by Tamo et al. and their extension to $(r,ρ)$-locality by Chen et al. The minimum distance of these codes is increased by carefully extending their defining set. We give a bound on the dimension of LRCs with availability and orthogonal repair sets and show that the given construction is optimal for a range of parameters.

연구 동기 및 목표

• 분산 스토리지에서 효율적으로 작동하기 위해 $(r,\rho)$-지역성과 다수의 상호배타적 복구 세트(가용성)를 동시에 갖는 순환 코드를 설계하기 위해.
• 복구 세트에서의 강한 수직성 개념을 도입하고 공식화하여 최소한의 겹침과 최대한의 독립성을 확보하기 위해.
• 강한 수직성을 갖는 LRC에 대한 차원 경계를 유도하고, 이를 구성된 코드와 비교하여 최적성 평가를 수행하기 위해.
• 하르트먼-츠엥 경계를 활용하여 정의 집합을 확장함으로써 최소 거리와 코드 차원을 향상시키기 위해.
• 제안된 구성이 특정 매개변수 범위에서, 특히 강한 수직성 조건 하에서 최적 또는 근사 최적의 차원을 달성함을 입증하기 위해.

제안 방법

• 유한체 위의 곱 구조를 통해 $(r,\rho)$-지역성으로 일반화된 Tamo-Barg 프레임워크를 기반으로 한 순환 LRC를 구성한다.
• 단위근과 $x^n - 1$을 나누는 생성 다항식 $g(x)$를 사용하여 $t$-차원 초직육면체 기반의 정의 집합을 정의한다.
• 하르트먼-츠엥 경계를 적용하여 추가 제로 $\mathcal{D}_g$를 정의 집합에 확장함으로써 최소 거리 $d$에 대한 하한을 도출한다.
• 복구 세트에 강한 수직성을 도입하기 위해 $\mathbb{Z}/n_1 \times \cdots \times \mathbb{Z}/n_t$에 대한 전단사 사상(역사상)을 적용하여 상호배타적 복구 세트와 제어 가능한 구조를 확보한다.
• 하르트먼-츠엥 경계의 특수한 경우로서 BCH 경계를 사용하여 $\gamma = 0$일 때 최소 거리를 추정한다.
• 강한 수직성과 복구 세트 매개변수 조건 하에서 유도된 이론적 상한과 구성된 코드의 차원을 비교한다.

실험 결과

연구 질문

• RQ1 $(r,\rho)$-지역성과 $t$-가용성을 동시에 갖는 순환 코드를 최소 거리가 높도록 구성할 수 있는가?
• RQ2 복구 세트의 강한 수직성이 달성 가능한 코드 차원과 최소 거리에 어떤 영향을 미치는가?
• RQ3 제안된 구성이 주어진 최소 거리와 지역성 매개변수에 대해 차원 측면에서 최적인가?
• RQ4 하르트먼-츠엥 경계를 얼마나 효과적으로 활용하여 $t$-가용성을 갖는 순환 LRC의 최소 거리를 향상시킬 수 있는가?
• RQ5 강한 수직성을 갖는 LRC의 차원에 대한 이론적 상한은 무엇이며, 구성은 이 상한에 얼마나 가까운가?

주요 결과

• 강한 $(\{2,4\},\{2,2\})$-2-가용성과 최소 거리 $d \geq 7$ 조건 하에서 $\mathbb{F}_{16}$ 상의 $[n=15,k=6]$ 코드에 대해 제안된 구성이 이론적 경계와 정확히 일치하여 최적의 차원을 달성한다.
• $\mathbb{F}_{13}$ 상의 $[n=12,k=4]$ 코드에 대해 하르트먼-츠엥 경계를 적용한 결과 $d \geq 8$을 달성하였으며, 이는 이전에 보고된 $d \geq 6$를 초월한다.
• 표 1에서 여러 코드(예: $n=15, d\geq11, k=4$)가 정리 3.1의 경계에 도달하여 주어진 조건 하에서 최적성을 나타낸다.
• 정리 3.1에서 유도된 경계가 차원 공식의 내림값 함수를 고려할 경우 정확하게 타이트함이 입증되었으며, 이는 1번 예제에서 $k \leq 6$가 정확히 달성됨으로써 확인된다.
• $\mathcal{D}_g$를 사용한 정의 집합 확장은 지역성과 가용성 특성을 유지하면서도 최소 거리를 체계적으로 향상시킬 수 있음을 보여준다.
• 정리 3.1에서 도출된 경계는 특정 매개변수에 대해 타이트함이 입증되었으며, 이는 주어진 $d$, $r$, $\rho$ 조건 하에서 구성이 차원 측면에서 최적 또는 근사 최적임을 확인한다.