[논문 리뷰] Projective divisible binary codes

Daniel Heinlein, Thomas Honold외 3명|arXiv (Cornell University)|2017. 03. 24.

Coding theory and cryptography참고 문헌 15인용 수 15

한 줄 요약

이 논문은 프로젝티브 기하학에서 부분 $r$-스프레드로부터 유도되는 $2^r$-가수 이진 선형 코드의 존재성과 분류를 조사한다. 이는 $\mathrm{PG}(k-1,\mathbb{F}_2)$ 내의 점 집합과의 대응 관계를 수립함으로써, 명시적인 구성법을 제공하고, $r \leq 3$일 때 길이 $n \leq 48$인 모든 이러한 코드가 분류되었음을 증명한다. 새로운 예로는 무게가 16과 24인 유일한 $[45,8]$ 두 무게 코드가 포함되어 있다.

ABSTRACT

For which positive integers $n,k,r$ does there exist a linear $[n,k]$ code $C$ over $\mathbb{F}_q$ with all codeword weights divisible by $q^r$ and such that the columns of a generating matrix of $C$ are projectively distinct? The motivation for studying this problem comes from the theory of partial spreads, or subspace codes with the highest possible minimum distance, since the set of holes of a partial spread of $r$-flats in $\operatorname{PG}(v-1,\mathbb{F}_q)$ corresponds to a $q^r$-divisible code with $k\leq v$. In this paper we provide an introduction to this problem and report on new results for $q=2$.

연구 동기 및 목표

• 프로젝티브 $2^r$-가수 이진 $[n,k]$ 코드가 존재하는 매개변수 $n,k,r$ 를 규명하는 것.
• 부분 $r$-스프레드의 홀 구조를 통해 이러한 코드와 $\mathrm{PG}(k-1,\mathbb{F}_2)$ 내 점 집합 사이의 기하학적 대응 관계를 수립하는 것.
• $r \leq 3$ 이고 $n \leq 48$일 때, 모든 프로젝티브 $2^r$-가수 이진 코드를 분류하고, 새로운 두 무게 코드를 포함하는 것.
• 플랫, 합집합, 일반화된 콘과 같은 기하학적 대상들을 사용하여 이러한 코드의 명시적 구성법을 제공하는 것.
• 최대 부분 $r$-스프레드와의 연결을 통해 하위공간 부호 이론에서 열려 있는 사례를 해결하는 것.

제안 방법

• 생성 행렬을 통해 선형 코드를 $\mathrm{PG}(k-1,\mathbb{F}_2)$ 내 다중집합으로 매핑함으로써, 무게와 가수성 특성을 유지하는 것.
• 홀 구조의 적용: $\mathrm{PG}(v-1,\mathbb{F}_2)$ 내 부분 $r$-스프레드에서 커버되지 않은 점들의 집합은 $2^r$-가수 코드에 대응한다.
• 코드 무게와 초평면의 다중성 사이의 딱딱함: $\mathrm{w}(\mathbf{c}) = n - \mathfrak{K}_C(\mathbf{a}^\perp)$, 이는 $2^r$-가수성을 보장한다.
• 프로젝티브 또는 애파인 $r$-플랫의 서로소 합집합과 공통 정점을 가진 일반화된 콘 구조를 통해 코드를 구성하는 것.
• 컴퓨터 도구(SageMath)와 데이터베이스 쿼리로 이중가수 및 삼중가수 코드의 기존 분류를 활용하는 것.
• $\mathrm{d}(C^\perp) \geq 3$ 조건을 활용하여 프로젝티브 성질(즉, 서로 다른 프로젝티브 열)을 보장하는 것.

실험 결과

연구 질문

• RQ1 정수 $n,k,r$ 에 대해 프로젝티브 $2^r$-가수 이진 $[n,k]$ 코드가 존재하는가?
• RQ2 작은 $r$(특히 $r \leq 3$)와 $n \leq 48$일 때 이러한 코드의 완전한 분류는 무엇인가?
• RQ3 플랫 또는 일반화된 콘의 합집합에서 유도되지 않는 $2^r$-가수 코드는 존재하는가?
• RQ4 프로젝티브 기저와 그 기저를 연결하는 선들 같은 기하학적 구성에서 새로운 두 무게 코드를 만들 수 있는가?
• RQ5 부분 $r$-스프레드와 그 홀의 맥락에서, 매개변수 $n,k$ 는 환경 차원 $v$ 와 어떻게 관련이 있는가?

주요 결과

• $r \leq 3$ 이고 $n \leq 48$일 때, 모든 프로젝티브 $2^r$-가수 이진 $[n,k]$ 코드가 완전히 분류되었으며, 각 $n,k$ 에 대해 개수도 제시되었다.
• $n=45$, $k=8$ 일 때, 무게가 16과 24인 유일한 $[45,8]$ 두 무게 코드가 존재하며, 이는 $\mathrm{PG}(7,\mathbb{F}_2)$ 내 프로젝티브 기저와 그 점들을 연결하는 모든 선에 대응한다.
• $n=31$, $k=5$ 일 때, 여섯 개의 서로 다른 코드가 존재하며, 이 중 $[31,5]$ 두 무게 코드(무게 16과 24)가 포함되어 있다.
• $k=2r+4=12$ 이고 $r=3$ 일 때, 두 개의 애파인 $(r+1)$-플랫의 서로소 합집합으로 구성된 $[48,12]$ 코드는 유일한 유형을 가진다.
• $n=2^{r+2}-2$ 일 때, $k=2r+2$ 차원에서 두 개의 프로젝티브 $r$-플랫의 서로소 합집합은 $2^r$-가수 코드를 유도한다.
• 공통 $(r-2)$-플랫 $V$ 를 통과하는 여덟 개의 $r$-플랫을 사용한 새로운 구성법으로, 그 이미지가 프로젝티브 기저를 이루는 경우, $[2^{r+2}, r+6]$ 코드를 얻을 수 있으며, 이때 $k=r+6$ 이다.