[논문 리뷰] Optimal locally repairable codes via elliptic curves

Xudong Li, Liming Ma외 1명|arXiv (Cornell University)|2017. 12. 11.

Coding theory and cryptography인용 수 7

한 줄 요약

이 논문은 유한체 위의 타원곡선의 자기동형군을 활용하여 코드 길이가 $q+1$를 초과하는 최적의 $q$-진 국소 복구 코드를 구축한다. 특정 자기동형군의 부분군에 의해 고정된 부분체를 선택하고, 유리점에서 함수를 평가하여, 길이가 최대 $q + 2\sqrt{q}$에 이르는 코드를 얻는다. 이 코드들은 국소성 $r \leq 23$을 가지며, 싱글턴 유형의 경계를 정확히 충족하는 최적의 거리를 갖는다.

ABSTRACT

Constructing locally repairable codes achieving Singleton-type bound (we call them optimal codes in this paper) is a challenging task and has attracted great attention in the last few years. Tamo and Barg \cite{TB14} first gave a breakthrough result in this topic by cleverly considering subcodes of Reed-Solomon codes. Thus, $q$-ary optimal locally repairable codes from subcodes of Reed-Solomon codes given in \cite{TB14} have length upper bounded by $q$. Recently, it was shown through extension of construction in \cite{TB14} that length of $q$-ary optimal locally repairable codes can be $q+1$ in \cite{JMX17}. Surprisingly it was shown in \cite{BHHMV16} that, unlike classical MDS codes, $q$-ary optimal locally repairable codes could have length bigger than $q+1$. Thus, it becomes an interesting and challenging problem to construct $q$-ary optimal locally repairable codes of length bigger than $q+1$. In the present paper, we make use of rich algebraic structures of elliptic curves to construct a family of $q$-ary optimal locally repairable codes of length up to $q+2\sqrt{q}$. It turns out that locality of our codes can be as big as $23$ and distance can be linear in length.

연구 동기 및 목표

• 이전에 이론적 한계로 여겨졌던 $q+1$를 초과하는 코드 길이를 갖는 $q$-진 최적의 국소 복구 코드를 구축하는 것.
• 리드-소로몬 코드 및 그 확장 기반의 이전 구축 방식에서의 길이 제한(최대 $q$ 또는 $q+1$)을 극복하는 것.
• 특히 $\mathbb{F}_q$ 위의 타원곡선의 풍부한 대수적 구조, 즉 자기동형군과 유리점 분포를 활용하여 더 긴 코드 길이를 가능하게 하는 것.
• 작은 알파벳 크기와 실용적인 국소성 파라미터를 유지하면서도 국소 복구 코드의 최적 거리를 확보하는 것.
• 특정 소수 거듭제곱 $q=p^a$에서 $a$가 짝수인 경우, 고전적 $q+1$ 경계를 초월하는 $q$-진 최적의 국소 복구 코드가 존재할 수 있음을 보여주는 것.

제안 방법

• Weierstrass 방정식으로 정의된 최대 타원곡선 $\mathfrak{E}/\mathbb{F}_q$와 그 자기동형군 $\mathrm{Aut}(\mathfrak{E}/\mathbb{F}_q)$를 사용한다.
• 자기동형군의 부분군 $\mathcal{G}$를 선택하여 $x$-좌표의 궤도 크기가 2가 되도록 하여, 국소성 $r=2$ 또는 홀수 $r$를 확보한다.
• 함수체 $\mathbb{F}_q(\mathfrak{E})$의 부분체 $F$를 $\mathcal{G}$에 의해 고정된 체로 형성하고, $F$ 및 $\mathbb{F}_q(\mathfrak{E})$에서 함수를 선택한다.
• 이 함수들을 $\mathfrak{E}$의 유리점에서 평가하여 대수기하 코드를 정의하며, 평가 점의 수가 코드 길이를 결정한다.
• 코드 길이는 $\mathfrak{E}$의 유리점 수에 의해 제한되며, 최대 곡선의 경우 $q + 1 + 2\sqrt{q}$이므로 길이가 최대 $q + 2\sqrt{q}$에 이르게 된다.
• 홀수 국소성 $r$의 경우, $x$-좌표에 대해 특정 궤도 구조를 가지는 순서 $r+1$의 부분군을 사용하며, Proposition 4.4와 구체적 예시를 통해 검증된다.

실험 결과

연구 질문

• RQ1 코드 길이가 $q+1$를 초과하는 $q$-진 최적의 국소 복구 코드를 구축할 수 있는가?
• RQ2 유한체와 대수기하 곡선의 어떤 대수적 구조가 최적의 국소 복구 코드에서 $q+1$ 길이 장벽을 초월하는 데 활용될 수 있는가?
• RQ3 타원곡선의 자기동형군을 어떻게 활용하여 국소성과 싱글턴 유형 경계에서의 최적성의 조건을 제어할 수 있는가?
• RQ4 $q=p^a$와 국소성 $r$에 대해 이러한 구축이 가능하기 위한 필수 조건는 무엇인가?
• RQ5 국소성 $r > 2$이고 길이가 최대 $q + 2\sqrt{q}$인 최적의 국소 복구 코드의 명시적 구축이 가능할 수 있는가?

주요 결과

• 논문은 길이가 최대 $q + 2\sqrt{q}$에 이르는 $q$-진 최적의 국소 복구 코드를 구축하며, 이는 이전의 상한 $q+1$를 초월한다.
• $p=3$ 또는 $p \equiv 2 \pmod{3}$ 이고 $a$가 짝수인 경우, 국소성 $r=2$이고 $\ell \leq \left\lfloor \frac{q+2\sqrt{q}}{3} \right\rfloor$인 최적의 $[n=3\ell, k=2t+1, d=n-3t]$ 코드가 존재한다.
• 홀수 국소성 $r=3,5,7,11,23$에 대해, $p$와 $r$에 특정 조건이 충족될 경우, 최적의 $[n=(r+1)\ell, k=r(t-1)+1, d=n-(t-1)(r+1)]$ 코드가 존재하며, $\ell \leq \left\lfloor \frac{q+2\sqrt{q}-r-2}{r+1} \right\rfloor$이다.
• $q=64$인 경우, 국소성 $r=3$이고 $1 \leq t \leq 20$인 $[80, 3t+2, 80-4(t-1)]$ 코드가 존재하며, 유리점의 유리적 구조 덕분에 Theorem 1.2의 이론적 상한을 초월한다.
• 코드는 싱글턴 유형 경계에 등호를 만족함으로써 최적의 거리를 확보한다. 이는 코드가 최적임을 확인한다.
• 이 방법은 이전의 리드-소로몬 코드 기반 구축 방식을 일반화하여 실용적인 알파벳 크기로 더 긴 코드를 가능하게 한다.