[논문 리뷰] The construction and weight distributions of all projective binary linear codes

Cunsheng Ding|arXiv (Cornell University)|2020. 10. 06.

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

한 줄 요약

이 논문은 트레이스 기반 구축을 통해 모든 사영 이진 선형 코드의 가중치 분포와 부울 함수의 월리스 스펙트럼 사이의 직접적 연관성을 수립한다. 부울 함수의 지지집합에서 유도된 사영 이진 코드의 가중치 분포는 캐릭터 합 분석을 통해 결정되며, 잘 알려진 코드들이 그에 관련된 부울 함수와 연결되는 새로운 연구 방향을 제안한다.

ABSTRACT

Boolean functions can be used to construct binary linear codes in many ways, and vice versa. The objective of this short article is to point out a connection between the weight distributions of all projective binary linear codes and the Walsh spectra of all Boolean functions. New research problems are also proposed.

연구 동기 및 목표

• 모든 사영 이진 선형 코드의 가중치 분포와 부울 함수의 월리스 스펙트럼 사이의 기본적 연관성을 수립하기 위해.
• 특수 부울 함수(예: 벤트 함수 등)를 그에 관련된 선형 코드를 통해 코딩 이론적 특성으로 기술하기 위해.
• 고전적인 이진 선형 코드(예: 골레이, 허밍, BCH, 리드-멀러)를 그에 해당하는 부울 함수와 연결하는 새로운 연구 문제를 제안하기 위해.
• 적은 가중치를 가진 알려진 선형 코드로부터 유도된 부울 함수의 구조적 및 스펙트럼적 성질을 탐구하기 위해.

제안 방법

• GF(2^m)에서 GF(2)로의 트레이스 함수를 사용하여 GF(2^m)의 부분집합 D ⊆ GF(2^m)에서 이진 선형 코드를 구성하며, 코드 C_D = { (Tr(xd_1), …, Tr(xd_n)) | x ∈ GF(2^m) }로 정의한다.
• 각 코드워드 c_x의 해밍 무게를 wt(c_x) = n - N_x(0)로 표현하며, 여기서 N_x(0)는 Tr(xd_i)의 영이 되는 원소의 수이다.
• 표준加성 캐릭터 χ_1를 포함하는 캐릭터 합 항등식을 적용하여 N_x(0)를 계산하고, 이를 통해 wt(c_x) = ((q-1)n - Σ_{y ∈ GF(q)^*} χ_1(yxD)) / q의 공식을 도출한다.
• 부울 함수 f의 스펙트럼과 코드 C_{D_f}의 가중치 분포를 연결하기 위해 월리스 변환 hat{f}(w) = Σ_{x ∈ GF(2^m)} (-1)^{f(x) + Tr(wx)}을 활용한다. 여기서 D_f는 f의 지지집합이다.
• 정의 집합과 부울 함수 사이의 쌍대성 관계를 이용하여, 각 사영 코드가 동일한 월리스 스펙트럼을 가진 여러 부울 함수와 대응됨을 보여준다.
• 특수한 경우로 m = 2h일 때, 코드를 C_E = { (Tr_{2^h/2}(e_1x_1 + e_2x_2)) | (x_1,x_2) ∈ GF(2^h)^2 }로 표현하며, E는 계수 쌍의 집합이다.

실험 결과

연구 질문

• RQ1 사영 이진 선형 코드의 가중치 분포는 그에 관련된 부울 함수의 월리스 스펙트럼을 통해 어떻게 특성화될 수 있는가?
• RQ2 이중 골레이 코드 [23,12,7]과 그 확장형에 대응하는 부울 함수는 무엇인가?
• RQ3 이중 맥도널드 코드 [2^k - 2, k, 2^{k-1} - 1]에 대응하는 부울 함수는 무엇인가?
• RQ4 1 ≤ ℓ < m인 이진 리드-멀러 코드 R_2(ℓ,m)로부터 유도된 부울 함수는 그 코드 매개변수와 어떻게 관련되는가?
• RQ5 이진 허밍 코드 [2^m - 1, 2^m - 1 - m, 3]에 연결된 부울 함수의 구조는 어떠한가?

주요 결과

• 사영 이진 선형 코드 C_D의 가중치 분포는 캐릭터 합 Σ_{y ∈ GF(2)^*} χ_1(yxD)의 값 분포에 의해 완전히 결정되며, 이는 코드 무게와 지지집합 D를 가진 부울 함수 f의 월리스 스펙트럼을 연결한다.
• 부울 함수 f가 벤트일 필요충분조건은 코드 C_{D_f}의 가중치 분포가 참고문헌 [3]의 표 II에 나와 있는 것과 일치할 때이다. 이는 벤트 함수의 직접적인 코딩 이론적 특성화를 제공한다.
• 차원 k인 각 사영 이진 선형 코드는 GF(2^k) 내 다수의 쌍대 기저 존재로 인해 2^{2^k - k}개의 서로 다른 부울 함수와 동일한 월리스 스펙트럼을 가진다.
• 특수한 경우 m = 2h일 때, 코드 C_E는 GF(2^h)^2의 부분집합 E ⊆ GF(2^h)^2에서 유도되며, 그 가중치 분포는 E의 특성 함수의 월리스 변환에 의해 결정된다.
• 이 구축은 부울 함수 f: GF(2^m) → GF(2)와 정의 집합 D_f ⊆ GF(2^m) 사이의 일대일 대응을 제공하며, 이는 부울 함수의 스펙트럼 성질을 코드의 가중치 분포로 이행하는 데 기여한다.
• 논문은 많은 알려진 이중 및 삼중 가중치 이진 코드(예: [1]에서 유래)가 매우 구조화된 부울 함수와 대응됨을 밝혀내었으며, 이는 더 깊이 있는 연구가 필요한 풍부한 대수적 및 스펙트럼적 성질을 암시한다.