[논문 리뷰] MSR Codes with Linear Field Size and Smallest Sub-packetization for Any Number of Helper Nodes

Guodong Li, Ningning Wang외 2명|arXiv (Cornell University)|2023. 03. 18.

Cooperative Communication and Network Coding인용 수 4

한 줄 요약

이 논문은 모든 도우미 노드 수 $d$에 대해 $k+1$에서 $n-1$ 사이일 때, 최소한의 서브패킷화 $\sigma^{\lceil n/\sigma\rceil}$를 갖는 최적의 액세스를 가진 MSR 코드의 첫 번째 명시적 구축을 제시한다. 이는 선형 필드 크기를 달성한다. 핵심 혁신은 철저히 설계된 패리티 체크 행렬을 통해 $\binom{n}{r}$개의 전역 행렬식 제약 조건을 $O_s(n)$개의 국소 제약 조건으로 줄임으로써 이루어지며, 분산 저장 부호 이론에서 오랫동안 미해결된 문제를 해결한다.

ABSTRACT

The sub-packetization $\ell$ and the field size $q$ are of paramount importance in the MSR array code constructions. For optimal-access MSR codes, Balaji et al. proved that $\ell\geq s^{\left\lceil n/s ight ceil}$, where $s = d-k+1$. Rawat et al. showed that this lower bound is attainable for all admissible values of $d$ when the field size is exponential in $n$. After that, tremendous efforts have been devoted to reducing the field size. However, till now, reduction to linear field size is only available for $d\in\{k+1,k+2,k+3\}$ and $d=n-1$. In this paper, we construct the first class of explicit optimal-access MSR codes with the smallest sub-packetization $\ell = s^{\left\lceil n/s ight ceil}$ for all $d$ between $k+1$ and $n-1$, resolving an open problem in the survey (Ramkumar et al., Foundations and Trends in Communications and Information Theory: Vol. 19: No. 4). We further propose another class of explicit MSR code constructions (not optimal-access) with even smaller sub-packetization $s^{\left\lceil n/(s+1) ight ceil }$ for all admissible values of $d$, making significant progress on another open problem in the survey. Previously, MSR codes with $\ell=s^{\left\lceil n/(s+1) ight ceil }$ and $q=O(n)$ were only known for $d=k+1$ and $d=n-1$. The key insight that enables a linear field size in our construction is to reduce $\binom{n}{r}$ global constraints of non-vanishing determinants to $O_s(n)$ local ones, which is achieved by carefully designing the parity check matrices.

연구 동기 및 목표

• 모든 $d \in \{k+1, \dots, n-1\}$에 대해 최소 서브패킷화를 갖는 최적 액세스 MSR 코드를 구축하는 미해결 문제를 해결하기 위해.
• 이전 연구에서 특수 케이스($d \in \{k+1,k+2,k+3,n-1\}$)에 국한되었던 MSR 코드 구축에서 선형 필드 크기를 달성하기 위해.
• 이전 MSR 코드의 지수적 서브패킷화를 이론적 하한값인 $\sigma^{\lceil n/\sigma\rceil}$으로 줄이기 위해, 여기서 $\sigma = d - k + 1$이다.
• Ramkumar 등(2023)의 설문조사에서 두 번째로 제기된 미해결 문제를 해결하기 위해, 서브패킷화를 $\sigma^{\lceil n/(\sigma+1)\rceil}$로 더 줄이고 $q = O(n)$을 유지하는 MSR 코드를 구축하기 위해.

제안 방법

• 전역 행렬식 제약 조건 $\binom{n}{r}$개를 $O_s(n)$개의 국소 제약 조건으로 변환하는 패리티 체크 행렬을 설계하여 선형 필드 크기를 가능하게 한다.
• 변수 $x_{i}$를 $\mathbb{F}_q$의 원소에 그룹 단위로 할당하는 구조적 구축을 사용하여 다항식 보간을 통해 행렬식이 0이 되지 않도록 보장한다.
• 다항식의 평가 점 $\lambda_i$를 $\mathbb{F}_q$에서 선택하기 위해 조합론적 노울슈타텐젠과 보조정리 3을 적용하여 핵심 행렬식 다항식이 0이 되지 않도록 한다.
• 모든 변수의 개별 차수는 $(s-1)2^{s-2}$로 제한된 고른 다항식 $D(x_{[s^2]})$의 차수 $s^2(s-1)2^{s-3}$을 사용하여 평가 시 행렬식이 0이 되지 않도록 보장한다.
• $\lambda_i = \alpha^i$로 설정하기 위해 $\mathbb{F}_q$의 원시 근을 활용하여 $D(1,\alpha,\dots,\alpha^{s^2-1}) \neq 0$가 되도록 하여 모든 국소 제약 조건을 만족시킨다.
• 수리적 수리에 의해 수리 대역폭이 이론적 하한값과 일치함을 확인함으로써, 결과적으로 생성된 코드가 최적의 액세스와 최소 서브패킷화를 달성함을 증명한다.

실험 결과

연구 질문

• RQ1 모든 $d \in \{k+1, \dots, n-1\}$에 대해 이론적 하한값인 $\sigma^{\lceil n/\sigma\rceil}$과 일치하는 서브패킷화를 갖는 최적 액세스 MSR 코드를 구축할 수 있는가?
• RQ2 기존 연구에서 알려진 특수 케이스를 초월하여 이러한 구축에서 선형 필드 크기를 달성하는 것이 가능한가?
• RQ3 서브패킷화를 $\sigma^{\lceil n/(\sigma+1)\rceil}$로 더 줄일 수 있으며, 이와 동시에 모든 $d$에 대해 선형 필드 크기를 유지할 수 있는가?
• RQ4 MSR 코드 설계에서 전역 행렬식 제약 조건을 효율적인 구축을 가능하게 하는 국소로 관리 가능한 제약 조건으로 줄이는 방법은 무엇인가?

주요 결과

• 논문은 모든 $d \in \{k+1, \dots, n-1\}$에 대해 서브패킷화 $\sigma^{\lceil n/\sigma\rceil}$를 갖는 최초의 명시적 최적 액세스 MSR 코드를 구축하여 이론적 최솟값을 달성한다.
• 이 구축은 선형 필드 크기 $q = O(n)$을 달성하여, 이전 연구에서 $d \in \{k+1,k+2,k+3,n-1\}$에 국한되었던 선형 필드 크기의 확장을 해결한다.
• 추가로, $\sigma^{\lceil n/(\sigma+1)\rceil}$의 더 작은 서브패킷화를 갖는 구축이 가능하며, 이는 $q = O(n)$을 유지한다. 이는 이전 연구에서 $d=k+1$ 및 $d=n-1$일 때만 달성된 바 있다.
• 핵심 기술적 통찰은 철저히 설계된 패리티 체크 행렬을 통해 $\binom{n}{r}$개의 전역 행렬식 제약 조건을 $O_s(n)$개의 국소 제약 조건으로 줄이는 데 있다.
• 증명은 다변수 다항식을 $\mathbb{F}_q$에서 원시 근을 사용해 평가하고 조합론적 노울슈타텐젠을 적용하여 제약 조건 하에서 행렬식이 0이 되지 않도록 보장한다.
• 이 구축은 $q \geq ns + (s-1)2^{s-2}$일 때 유효하며, 이는 모든 $n$과 고정된 $s = d - k + 1$에 대해 모든 국소 제약 조건을 충족시킬 수 있는 충분한 필드 크기를 보장한다.