[논문 리뷰] The combinatorics of LCD codes: Linear Programming bound and orthogonal matrices

Steven T. Dougherty, Jon-Lark Kim외 3명|arXiv (Cornell University)|2015. 06. 05.

graph theory and CDMA systems인용 수 5

한 줄 요약

이 논문은 길이와 최소 거리가 주어진 이진 LCD(선형 보완 이중) 코드의 최대 크기에 대한 선형 프로그래밍 상한을 제안하며, 이는 기존 상한보다 더 날카럽다는 것을 보여준다. 직교 행렬, 자기 이중 코드, 조합 설계, 그리고 $ R_k $ 위의 그레이 맵을 사용하여 LCD 코드를 구성하며, $ LCK[n,d] $에 대한 하한의 포괄적인 표를 제공한다. 주요 결과로는 직교 행렬이 다수의 LCD 코드를 생성하며, 이 상한이 고전적 추정치를 크게 향상시킨다는 점이다.

ABSTRACT

Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$. We give a linear programming bound on the largest size of an LCD code of given length and minimum distance. We make a table of lower bounds for this combinatorial function for modest values of the parameters.

연구 동기 및 목표

• 주어진 길이와 최소 거리에 대한 이진 LCD 코드의 최대 크기의 선형 프로그래밍 상한을 유도하는 것.
• 직교 행렬, 자기 이중 코드, 대칭 설계, 그리고 고리 $ R_k $ 위의 그레이 맵을 사용하여 새로운 LCD 코드를 구성하는 것.
• 길이 $ n $ 과 최소 거리 $ d $를 가진 LCD 코드의 최대 크기인 $ LCK[n,d] $에 대한 향상된 하한의 표를 제공하는 것.
• BIBD의 인cidenc 행렬이 LCD 코드를 생성하는 조합 조건을 설정하는 것.
• 특히 체계적 생성 행렬을 통해 직교 행렬과 LCD 코드 생성 간의 상호작용을 탐색하는 것.

제안 방법

• 이중성과 내적 제약 조건을 사용하여 $ LCK[n,d] $, 즉 LCD 코드의 최대 크기의 선형 프로그래밍 상한을 도출한다.
• $ GG^T = I_n $를 만족하는 $ \mathbb{F}_2 $ 위의 직교 행렬 $ G $를 사용하여 $ G $의 행 스팬을 통해 LCD 코드를 생성한다.
• $ GG^T $가 가역일 경우, $ R_k $ 위의 부호에서 이진 부호로의 그레이 맵 $ \phi_k $를 적용하여 LCD 성질을 유지한다.
• 자기 이중 부호와 그 체계적 생성 행렬을 활용하여 $ GG^T = I_n $ 또는 $ J_n - I_n $ 조건을 만족함으로써 LCD 코드를 구성한다.
• 매개수 $ (b,v,k,r,\lambda) $를 가진 2-설계(비틀림 설계)의 인cidenc 행렬 $ Q $를 사용하며, $ rk(r-\lambda) \not\equiv 0 \pmod{2} $일 경우 행 스팬이 LCD임을 보인다.
• $ n \leq 24 $ 범위에서 확장된 제곱 잔여 부호, 자기 이중 부호 데이터베이스, 그리고 직교 행렬의 군 생성을 통해 $ LCK[n,d] $에 대한 하한을 구성한다.

실험 결과

연구 질문

• RQ1 어떻게 기존 상한보다 더 날카운 LCD 부호에 대한 선형 프로그래밍 상한을 도출할 수 있는가?
• RQ2 직교 행렬, 자기 이중 부호, 또는 대칭 설계와 같은 조합 구조는 어떻게 새로운 LCD 부호를 구성하는 데 사용될 수 있는가?
• RQ3 BIBD의 인cidenc 행렬이 어떤 조건에서 LCD 부호를 생성하는가?
• RQ4 고리 $ R_k $ 위의 부호, 그레이 맵을 통해 이진 LCD 부호를 얻을 수 있으며, 이는 개선된 파라미터를 갖는가?
• RQ5 체 $ \mathbb{F}_2 $ 위의 직교 행렬은 하나의 자기 이중 부호에서 다수의 LCD 부호를 생성하는 데 어떻게 관련되는가?

주요 결과

• 제안된 $ LCK[n,d] $에 대한 선형 프로그래밍 상한은 많은 매개수 조합에서 기존 선형 프로그래밍 상한보다 엄밀히 더 날카롭다.
• $ n=12 $일 때, 확장 골레이 부호에서 유도된 직교 행렬은 파라미터 $[12,6,3]$, $[12,4,4]$, $[12,8,2]$를 가진 LCD 부호를 생성한다.
• $ GG^T = I_n $일 경우, 행렬 $ G $는 $ \mathbb{F}_2 $ 위의 LCD 부호를 생성하며, 그레이 맵 $ \phi_k $에 의한 그 이미지는 길이 $ 2^k n $의 $ \mathbb{F}_2 $ 위의 LCD 부호를 생성한다.
• 매개수 $ (b,v,k,\lambda) $를 가진 2-$(v,k,\lambda)$ 설계의 인cidenc 행렬 $ Q $는 $ rk(r-\lambda) \not\equiv 0 \pmod{2} $일 경우 LCD 코드를 생성하며, 최소 거리는 $ 2(r-\lambda) $ 이상이다.
• $ LCK[n,d] $에 대한 하한 표는 $ n=24 $까지 포함되어 있으며, 직교 행렬 및 고리 기반 구성법을 통해 이전의 하한을 향상시킨다.
• 길이 1인 $ R_k $ 위에는 비자명한 LCD 부호가 존재하지 않으며, $ C \cap C^\perp $ 는 항상 비자명한 소클 $ \{0, u_1u_2\cdots u_k\} $ 를 포함하기 때문이다.