[논문 리뷰] Subspace Polynomials and Cyclic Subspace Codes

Eli Ben‐Sasson, Tuvi Etzion외 2명|arXiv (Cornell University)|2014. 04. 30.

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

한 줄 요약

이 논문은 최적의 매개변수를 가진 순환 부분공간 코드를 구성하기 위한 새로운 대수적 도구로 부분공간 다항식을 도입한다. 고정된 $k$에 대해 무한히 많은 $n$에 대해 $\mathcal{G}_q(n,k)$ 내에서 최소 거리 $2k-2$를 가진 순환 코드의 존재성을, 체 확장의 임베딩과 궤도 구조에 대한 포함-배제 원리를 사용하여 증명하며, 전체 또는 열화된 궤도를 가진 코드에 대한 명시적 구성도 제시한다.

ABSTRACT

Subspace codes have received an increasing interest recently due to their application in error-correction for random network coding. In particular, cyclic subspace codes are possible candidates for large codes with efficient encoding and decoding algorithms. In this paper we consider such cyclic codes and provide constructions of optimal codes for which their codewords do not have full orbits. We further introduce a new way to represent subspace codes by a class of polynomials called subspace polynomials. We present some constructions of such codes which are cyclic and analyze their parameters.

연구 동기 및 목표

• 전체 또는 열화된 궤도를 가진 순환 부분공간 코드에 대한 일반적인 구성이 부족한 문제를 해결한다. 특히 최소 거리가 최적인 경우를 중심으로 한다.
• 부분공간의 교차와 궤도 구조의 효율적 분석을 가능하게 하는 부분공간 다항식을 이용한 부분공간의 새로운 표현 방식을 개발한다.
• 고정된 $k$에 대해 무한히 많은 $n$에 대해 $\mathcal{G}_q(n,k)$ 내에서 최소 거리 $2k-2$를 가진 순환 코드의 존재성을 증명한다.
• 작은 체 위의 순환 코드를 더 큰 그라스만이안으로 임베딩하면서 순환성과 최소 거리를 유지하고 조절하는 방법을 탐색한다.
• 전체 길이의 궤도를 가진 순환 코드의 명시적 구성과 그 자동사상군 분석을 제공하며, 특히 $n$이 소수일 경우를 중심으로 한다.

제안 방법

• 특수화된 선형화 다항식인 부분공간 다항식을 통해 부분공간을 표현함으로써, 부분공간 성질의 대수적 조작이 가능해진다. 이 다항식의 근들이 부분공간을 생성한다.
• 두 다항식 간의 갭(gap) 개념을 사용하여, 해당 다항식이 나타내는 부분공간의 교차 차원을 유계화함으로써, 다항식의 구조와 부분공간 기하학 간의 연결 고리를 형성한다.
• 궤도 분해를 바탕으로 $n$의 약수에 대응하는 부분코드들을 조합하여 형성된 순환 코드의 크기를 계산하기 위해 포함-배제 원리를 적용한다.
• 체 노름 사상에 의해 $\mathcal{G}_{q^d}(n/d, k/d)$ 에서의 순환 코드를 $\mathcal{G}_q(n,k)$ 로 임베딩함으로써 순환성과 최소 거리가 $d$ 배로 확대되도록 보존한다.
• 싱거 부분군과 프로베누스 자동사상의 구조를 활용하여, 구성된 코드의 자동사상군이 싱거 부분군의 정규화군을 포함하고 있음을 보여준다.
• 다음 사실을 이용한다: $\text{gap}(P_1, P_2) \geq d$ 이면 $\dim(V_1 \cap V_2) \leq \dim(V_1) - d/2$ 이며, 이는 코드의 최소 거리를 유계화하는 데 도움이 된다.

실험 결과

연구 질문

• RQ1 고정된 $k$에 대해 무한히 많은 $n$에 대해 최소 거리 $2k-2$를 가진 순환 부분공간 코드를 명시적으로 구성할 수 있는가?
• RQ2 부분공간 다항식은 순환 부분공간 코드의 궤도와 교차 구조를 어떻게 표현하고 분석할 수 있는가?
• RQ3 부분공간의 궤도 구조와 관련된 부분공간 다항식의 대수적 성질 간의 관계는 무엇인가?
• RQ4 작은 체 위의 순환 코드를 더 큰 그라스만이안으로 임베딩하면서 순환성과 최소 거리를 유지하고 제어할 수 있는가?
• RQ5 여러 궤도를 가진 순환 코드, 특히 궤도가 열화된 경우(즉, $\frac{q^n-1}{q-1}$ 보다 작은 경우)를 구성하는 것은 가능한가?

주요 결과

• 논문은 고정된 $k$에 대해 무한히 많은 $n$에 대해 $\mathcal{G}_q(n,k)$ 내에서 최소 거리 $2k-2$를 가진 순환 코드가 존재함을 증명하며, 이는 특수한 경우에서 오랫동안 남아있던 추측을 해결한다.
• 부분공간 다항식과 궤도 분해를 이용한 이러한 코드의 명시적 구성이 제공되며, 코드 크기는 $n$의 약수에 대한 포함-배제 공식으로 주어진다.
• 특히 $n$이 소수일 경우, 구성된 코드의 자동사상군은 싱거 부분군의 정규화군을 포함하고 있어 강력한 구조적 성질을 지닌다.
• 약수 $d_i$에 대응하는 부분코드들로 형성된 순환 코드의 크기는 $|\mathbb{C}| = \sum_{i} {n/d_i \brack k/d_i}_{q^{d_i}} - \sum_{i<j} {n/\text{lcm}(d_i,d_j) \brack k/\text{lcm}(d_i,d_j)}_{q^{\text{lcm}(d_i,d_j)}} + \cdots$ 로 주어지며, 포함-배제 원리를 사용한다.
• 최소 거리 $2(k/d) - 2\delta$를 가진 $\mathcal{G}_{q^d}(n/d, k/d)$ 내의 순환 코드 $\mathbb{C}$ 는 $\mathcal{G}_q(n,k)$ 로 $\mathbb{C}'$ 로 임베딩될 수 있으며, 크기는 유지되고 최소 거리는 $2k - 2d\delta$ 로 확대된다.
• 논문은 두 부분공간 다항식 간의 갭이 해당 코드의 최소 거리에 하한을 제공함을 보여주지만, 교차 크기를 유계화하는 데 가장 효율적인 측정법은 아닐 수 있다.