[논문 리뷰] Matrix-Product Complementary dual Codes

Xiusheng Liu, Hualu Liu|arXiv (Cornell University)|2016. 04. 13.

Coding theory and cryptography참고 문헌 9인용 수 17

한 줄 요약

이 논문은 유한체 위에서 행렬곱 코드를 이용하여 선형 보완 이중(LCD) 코드를 구성하는 새로운 방법을 제안한다. 준직교 행렬과 특정 행렬 구조를 활용하여 LCD 성질을 보장한다. 주요 기여는 행렬곱 코드가 LCD가 되는 충분조건의 집합을 제시함으로써, 좋은 매개변수를 가진 LCD 코드의 명시적 구성으로 이어진다. 이는 $\mathbb{F}_{13}$ 및 $\mathbb{F}_{5^2}$ 위에서 길이 68 이하, 최소 거리 9 이상인 예시를 포함한다.

ABSTRACT

Linear complementary dual codes (LCD) are linear codes satisfying $C\cap C^{\perp}=\{0\}$. Under suitable conditions, matrix-product codes that are complementary dual codes are characterized. We construct LCD codes using quasi-orthogonal matrices. Some asymptotic results are derived.

연구 동기 및 목표

• 좋은 매개변수를 가진 선형 보완 이중(LCD) 코드를 생성하기 위한 새로운 구축 방법을 개발한다.
• 행렬곱 코드가 LCD가 되는 조건을 특성화하며, 특히 행렬 구조와 코드 성질에 중점을 둔다.
• 행렬곱 프레임워크와 준직교 행렬을 활용하여 기존의 LCD 코드 구성 방법을 확장한다.
• 높은 최소 거리와 유리한 길이-차원 비율을 가진 LCD 코드의 명시적 예를 제공한다.
• 행렬곱 방법을 사용한 좋은 LCD 코드의 점차적 행동과 실현 가능성에 대해 탐구한다.

제안 방법

• 논문은 $\mathbb{F}_q$ 위에서의 행렬곱 코드 $C = [C_1, \dots, C_s]A$ 를 사용하며, $A$ 는 특정 구조적 성질을 가진 $s \times m$ 행렬이다.
• 비특이-열(Non-singular-by-columns, NSC) 행렬과 전행-랭크(Full-row-rank, FRR) 행렬의 개념을 도입하여, 행렬곱 코드가 LCD 성질을 상속하도록 보장한다.
• 구성은 $C \cap C^\perp = \{0\}$ 라는 조건에 기반하며, 이는 쌍대 코드 분석과 행렬 역행렬 기법을 통해 검증된다.
• 변환 $C^{(l)}$ 을 적용하고, 허미트 수반이 $C^{(l)}$ 의 유클리드 수반과 관련지어, 허미트 설정에서 알려진 LCD 기준을 활용할 수 있도록 한다.
• 특정 행렬, 예를 들어 $A = \begin{pmatrix}1&1&1&1\\1&1&-1&-1\\1&-1&1&-1\\1&-1&-1&1\end{pmatrix}$ 와 $A = \begin{pmatrix}1&0&0&0\\1&1&0&0\\1&1&1&0\\1&1&1&1\end{pmatrix}$ 는 알려진 LCD 성분 코드에서 새로운 LCD 코드를 생성하는 데 사용된다.
• 이론적 결과는 행렬 역행렬과 쌍대 코드 관계를 사용하여 도출되며, 특히 $(A^{-1})^T$ 를 사용하여 $C^\perp$ 를 성분 코드의 쌍대의 형태로 표현한다.

실험 결과

연구 질문

• RQ1 유한체 $\mathbb{F}_q$ 위에서 행렬곱 코드 $[C_1, \dots, C_s]A$ 가 LCD 코드가 되는 조건은 무엇인가?
• RQ2 NSC 또는 FRR 행렬과 같은 행렬 구조는 어떻게 행렬곱 코드의 LCD 성질을 보장하는가?
• RQ3 준직교 행렬은 체계적으로 새로운 LCD 코드를 개선된 매개변수로 구성하는 데 사용될 수 있는가?
• RQ4 기존의 LCD 성분 코드로부터 구성된 행렬곱 LCD 코드의 최소 거리 및 차원의 상한은 무엇인가?
• RQ5 성분 수가 증가함에 따라 이러한 행렬곱 LCD 코드의 점차적 성질은 어떻게 행동하는가?

주요 결과

• 행렬 $A = \begin{pmatrix}1&1&1&1\\1&1&-1&-1\\1&-1&1&-1\\1&-1&-1&1\end{pmatrix}$ 와 함께 행렬곱 코드 $C = [C_1, C_2, C_3, C_4]A$ 는 $\mathbb{F}_{5^2}$ 위에서 파라미터 $[68, 26, \geq 17]_{5^2}$ 를 가진 허미트 LCD 코드이다.
• 행렬 $A = \begin{pmatrix}1&0&0&0\\1&1&0&0\\1&1&1&0\\1&1&1&1\end{pmatrix}$ 와 함께 행렬곱 코드 $C = [C_1, C_1, C_2, C_2]A$ 는 $\mathbb{F}_{5^2}$ 위에서 파라미터 $[68, 34, \geq 9]_{5^2}$ 를 가진 허미트 LCD 코드이다.
• $\mathbb{F}_{13}$ 에서, 행렬 $A = \begin{pmatrix}1&1&1&1\\1&1&-1&-1\\1&-1&1&-1\\1&-1&-1&1\end{pmatrix}$ 와 함께 행렬곱 코드 $[C_1, C_2, C_3, C_4]A$ 는 파라미터 $[40, 11, \geq 2]_{13}$ 를 가진 LCD 코드를 생성한다.
• 이진 코드의 경우, 정리 4.4 는 $A = \begin{pmatrix}1&0&1\\1&1&0\\1&1&1\end{pmatrix}$ 와 함께 $C = [C_1, C_1, C_2]A$ 가 파라미터 $[30, 18, \geq 4]_2$ 를 가진 $\mathbb{F}_2$ 위의 LCD 코드를 생성함을 보여준다.
• 논문은 $C_1$ 과 $C_2$ 가 각각 파라미터 $[10,8,2]_2$ 와 $[10,2,5]_2$ 를 가진 $\mathbb{F}_2$ 위의 LCD 코드일 경우, 결과로 얻어진 행렬곱 코드의 차원이 $2k_1 + k_2 = 18$ 이고 최소 거리가 $\min\{2d_1, d_2\} = 4$ 이상임을 증명한다.
• 이론적 결과는 $A$ 가 NSC 이고 성분 코드들이 LCD 이면 행렬곱 코드 $C$ 는 LCD임을 확인하며, 이는 $C \cap C^\perp = \{0\}$ 이라는 조건을 보장한다.