[논문 리뷰] Constructions of Maximally Recoverable Local Reconstruction Codes via Function Fields

Venkatesan Guruswami, Lingfei Jin외 1명|arXiv (Cornell University)|2018. 08. 14.

Advanced Data Storage Technologies참고 문헌 14인용 수 5

한 줄 요약

이 논문은 대수적 함수 필드를 사용하여 최대 복구 가능한 국소 복구 코드(MR LRCs)의 새로운 구성법을 제안하며, 이전 방법에 비해 필드 크기를 크게 감소시킨다. 국소 그룹을 함수 필드의 서로 다른 지점과 연관지우고, 단일 극을 가진 함수로부터 유도된 무어 행렬을 활용함으로써, 무어 행렬식의 성질을 통해 선형 독립성을 확보함으로써, 필드 크기가 이전의 h나 a에 대한 지수함수적 크기에서 n에 대한 다항식 또는 초지수함수적 크기로 감소된 MR LRCs를 도출한다. 특히 국소성 r이 작고 전역 패리티 수 h가 클 경우의 경계를 개선한다.

ABSTRACT

Local Reconstruction Codes (LRCs) allow for recovery from a small number of erasures in a local manner based on just a few other codeword symbols. A maximally recoverable (MR) LRC offers the best possible blend of such local and global fault tolerance, guaranteeing recovery from all erasure patterns which are information-theoretically correctable given the presence of local recovery groups. In an $(n,r,h,a)$-LRC, the $n$ codeword symbols are partitioned into $r$ disjoint groups each of which include $a$ local parity checks capable of locally correcting $a$ erasures. MR LRCs have received much attention recently, with many explicit constructions covering different regimes of parameters. Unfortunately, all known constructions require a large field size that exponential in $h$ or $a$, and it is of interest to obtain MR LRCs of minimal possible field size. In this work, we develop an approach based on function fields to construct MR LRCs. Our method recovers, and in most parameter regimes improves, the field size of previous approaches. For instance, for the case of small $r \ll ε\log n$ and large $h \ge Ω(n^{1-ε})$, we improve the field size from roughly $n^h$ to $n^{εh}$. For the case of $a=1$ (one local parity check), we improve the field size quadratically from $r^{h(h+1)}$ to $r^{h \lfloor (h+1)/2 floor}$ for some range of $r$. The improvements are modest, but more importantly are obtained in a unified manner via a promising new idea.

연구 동기 및 목표

• 분산 스토리지에 실용적으로 구현되기 위해 필수적인 최대 복구 가능한 국소 복구 코드(MR LRCs)의 필드 크기를 최소화하는 데 오랫동안 해결되지 않은 과제를 해결하기 위해.
• 기존의 명시적 구성법보다 필드 크기가 더 작게 보장되는, 함수 필드를 활용한 통합적인 대수기하학적 프레임워크를 개발하기 위해.
• 소수 국소성 r과 큰 전역 패리티 수 h를 가진 영역에서의 기존의 필드 크기 경계를, 함수 필드의 기하적 성질을 활용하여 향상시키기 위해.
• 기존의 구성법을 회복하면서도 더 넓은 매개변수 영역에 적용 가능하게 하고, 필드 크기 스케일링을 향상시키는 체계적인 방법을 수립하기 위해.

제안 방법

• 유한체 위의 대수적 함수 필드를 사용하며, LRC의 각 국소 그룹을 함수 필드 곡선 상의 서로 다른 지점(점)과 연관지운다.
• 각 국소 그룹에 대해, 해당 지점에서 단일 극을 가지는 함수를 사용하여 무어 행렬을 구성하고, 이 행렬이 코드의 국소 패리티 체크 성분을 형성한다.
• 최대 복구 가능성에 필요한 선형 독립성은 무어 행렬식의 성질을 활용하여 확장 체 위의 종속성을 기저 체 위의 종속성으로 환원함으로써 증명된다.
• 각 국소 그룹 내부에서는 기저 체 위의 MDS 코드를 직접적으로 사용한 코드 기반 설계를 통해 선형 독립성을 보장한다.
• 전역 패리티 체크는 기하학적 종수 g에 대해 차수 2g−1인 딜로르의 리만-로흐 공간에서 유도된다.
• 필드 크기는 q^{2g + min{hr, n}}으로 유계된다. 여기서 q는 기저 체의 크기, g는 종수, r은 국소성, h는 전역 패리티 수이다.

실험 결과

연구 질문

• RQ1 함수 필드 이론을 활용하여 현재의 명시적 구성법보다 더 작은 필드 크기를 가진 MR LRCs를 구성할 수 있는가?
• RQ2 소수 국소성 r과 큰 h를 가진 영역에서 MR LRCs에 필요한 최소 필드 크기는 무엇이며, 이는 h에 대한 지수함수적 의존성 이외로 개선될 수 있는가?
• RQ3 기존의 구성법을 일반화하고 향상시키는 통합적인 대수기하학적 프레임워크를 개발할 수 있는가?
• RQ4 함수 필드의 기하적 성질—예를 들어 유리 지점의 수와 딜로르의 구조—는 코드 매개변수와 필드 크기 경계에 어떻게 영향을 미치는가?

주요 결과

• 소수 국소성 r ≪ ε log n 이고 큰 h ≥ Ω(n^{1−ε}) 인 경우, 필드 크기는 약 n^h 에서 n^{εh}로 감소하여 渐近적 스케일링에서 상당한 향상이 이루어진다.
• a = 1(각 그룹당 한 개의 국소 패리티)인 경우, 특정 r 범위에서 필드 크기가 기존의 rh(h+1)에서 rh⌊(h+1)/2⌋로 제곱적으로 향상되어 더 날카운 경계를 달성한다.
• 헤르미트 함수 필드를 사용하여, hr ≥ Ω(n^{2/3ε}) 일 때, 무한히 많은 블록 길이 n ≥ r^{Ω(r)} 에 대해 필드 크기 O(n^{2h/3(1+ε)}) 를 달성한다.
• 가르시아-슈타이히놀트 타워를 사용하면, hr ≥ Ω(n^{1−ε}) 일 때, 무한히 많은 n ≥ r^{Ω(r/ε)} 에 대해 필드 크기가 O(n^{εh}) 로 유계지며, 이는 초지수함수적 필드 크기 스케일링을 보여준다.
• 이 방법은 기존의 구성법을 회복하고 개선하는 통합 프레임워크를 제공하며, 특히 h가 크고 r이 작은 영역에서 뛰어난 성능을 발휘한다.
• 서로 다른 지점에서 단일 극을 가지는 함수로부터 유도된 무어 행렬을 사용함으로써, 무어 행렬식 항등식을 통해 국소 그룹 간에 필요한 선형 독립성을 보장한다.