[논문 리뷰] Some Bounds on Binary LCD Codes

Lucky Galvez, Jon-Lark Kim외 3명|arXiv (Cornell University)|2017. 01. 16.

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

한 줄 요약

이 논문은 $1 \leq k \leq n \leq 12$ 범위에서 이진 $[n,k,d]$ LCD 코드의 최대 최소거리 $d$인 $LCD[n,k]$의 정확한 값을 도출하며, $i \geq 2$ 및 $n \geq 2^i$일 때 $LCD[n,n-i] = 2$임을 증명한다. 또한 주된 부분행렬과 생성행렬의 행렬식을 활용하여, 홀수 $k$에 대해 $LCD[n,k] \leq LCD[n,k-1]$이고, 짝수 $k$에 대해 $LCD[n,k] \leq LCD[n,k-2]$인 재귀적 상한을 유도한다.

ABSTRACT

A linear code with a complementary dual (or LCD code) is defined to be a linear code $C$ whose dual code $C^{\perp}$ satisfies $C \cap C^{\perp}$= $\left\{ \mathbf{0} ight\} $. Let $LCD{[}n,k{]}$ denote the maximum of possible values of $d$ among $[n,k,d]$ binary LCD codes. We give exact values of $LCD{[}n,k{]}$ for $1 \le k \le n \le 12$. We also show that $LCD[n,n-i]=2$ for any $i\geq2$ and $n\geq2^{i}$. Furthermore, we show that $LCD[n,k]\leq LCD[n,k-1]$ for $k$ odd and $LCD[n,k]\leq LCD[n,k-2]$ for $k$ even.

연구 동기 및 목표

• 소수 $n \leq 12$에 대해 이진 $[n,k,d]$ LCD 코드의 최대 최소거리 $d$인 $LCD[n,k]$의 정확한 값을 도출하는 것.
• 코드 차원 $k$에 기반한 $LCD[n,k]$의 구조적 상한을 설정하여, 특정 부호 조건 하에서 $k$에 대해 비증가함을 보이는 것.
• 특히 $n$ 이외 또는 홀수이고 $d$가 $n$에 가까울 때, 높은 최소거리를 가진 LCD 코드의 존재 여부와 부재 여부를 조사하는 것.
• 새로운 상한과 체계적 탐색을 통해 이전에 보고된 $LCK[n,d]$ 값(주어진 $n,d$에 대한 최대 $k$)을 수정하고 갱신하는 것.

제안 방법

• 저자들은 $k=2$인 경우를 중심으로 Griesmer 상한을 활용하여 $[n,k,d]$ 코드의 $d$에 대한 상한을 유도하고, 명시적인 생성행렬을 구성하여 이 상한에 도달하는 것을 시도한다.
• LCD 성질를 검증하기 위해, 코드가 LCD임과 동치인 조건인 $\det(GG^T) \neq 0$를 포함한 Proposition 2.2를 적용한다.
• 재귀적 상한을 위해, 생성행렬의 주된 부분행렬을 분석하고, 랭크 분석을 통해 $LCD[n,k]$와 $LCD[n,k-1]$, $LCD[n,k-2]$ 간의 관계를 규명한다.
• parity 및 차원 제약 조건을 고려하여, $d > 2$인 경우가 불가능함을 보여, $i \geq 2$ 및 $n \geq 2^i$일 때 $LCD[n,n-i] = 2$임을 증명한다.
• MAGMA 기반의 체계적 탐색을 통해 소수 $n,k$에 대해 $LCD[n,k]$를 계산하고, 결과를 검증하며 이전의 $LCK[n,d]$ 표에서의 오류를 수정한다.
• Griesmer 상한과 parity 분석을 활용하여 일반적인 존재 불가 조건을 도출한다: 짝수 $n > 6i$일 때 $LCK[n,n-2i] = 0$, 홀수 $n > 6i+3$일 때 $LCK[n,n-2i-1] = 0$.

실험 결과

연구 질문

• RQ1 $1 \leq k \leq n \leq 12$ 범위에서 $LCD[n,k]$의 정확한 값은 무엇인가요?
• RQ2 최대 최소거리 $d$가 $k$에 따라 재귀적으로 상한을 가지는가? $k$의 홀짝성은 이 상한에 어떤 영향을 미치는가?
• RQ3 $i \geq 2$ 및 $n \geq 2^i$일 때 $LCD[n,n-i]$는 항상 2인가요? 그 이유는 무엇인가요?
• RQ4 왜 일부 고거리 LCD 코드(예: $d=n$ 또는 $d=n-1$)는 짝수 $n$일 때 존재하지 않을까요?
• RQ5 새로운 이론적 상한과 체계적 계산을 통해 이전에 보고된 $LCK[n,d]$ 값은 어떻게 수정할 수 있을까요?

주요 결과

• $1 \leq k \leq n \leq 12$ 범위에서 $LCD[n,k]$의 정확한 값이 계산되었으며, $n \equiv 1, \pm 2, 3 \pmod{6}$일 때 $LCD[n,2] = \left\lfloor \frac{2n}{3} \right\rfloor$이다.
• $i \geq 2$ 및 $n \geq 2^i$일 때 $LCD[n,n-i] = 2$임이 증명되었으며, 이는 $n-i$ 차원 코드의 최소거리에 대해 날카운 상한임을 보여준다.
• $LCD[n,k]$는 $k$에 대해 비증가한다: 홀수 $k$일 때 $LCD[n,k] \leq LCD[n,k-1]$이고, 짝수 $k$일 때 $LCD[n,k] \leq LCD[n,k-2]$이며, 주된 부분행렬의 랭크 분석을 통해 이는 증명되었다.
• 이전 문헌에서 잘못 보고된 $LCK[n,d]$ 값이 수정되었으며, 특히 $n$이 짝수이고 $d = n-2i$일 때 $n > 6i$이면 $LCK[n,d] = 0$임을 규명하였고, $n$이 홀수이고 $d = n-2i-1$일 때 $n > 6i+3$이면 $LCK[n,d] = 0$임을 규명하였다.
• 체계적 MAGMA 탐색을 통해 계산된 $LCD[n,k]$ 값이 확인되었으며, 소수 매개변수에 대한 이론적 상한이 검증되었다.
• 이진 LCD 코드 $[n,k,d]$의 최대 가능한 최소거리가 Griesmer 상한과 parity 조건에 의해 제약을 받는다는 것이 입증되었으며, 특히 $k=2$일 때 두드러진다.