삼중 오류 정정 사이클릭 코드 C₁,₃,₁₃의 가중치 분포와 BCH 코드와의 동등성

본 논문은 이진 원시 BCH 코드 C₁,₃,₅가 갖는 삼중 오류 정정 성능을 다른 사이클릭 코드와 동일하게 구현할 수 있는 새로운 사례를 제시한다. 연구의 출발점은 Hollmann‑Xiang이 제시한 충분조건이다. 이 조건에 따르면, 길이 n = 2^m − 1 (m은 홀수, m ≥ 5)인 이진 사이클릭 코드 C가 차원 n − 3m을 가지면서 최소거리가 7 이상이고, 그 이중코드 C^⊥의 모든 코드워드 가중치가 2^{(m‑1)/2}으로 나누어지면 C는 C₁,₃,₅와 동일한 가중치 분포를 가진다. 첫 번째 단계에서는 C₁,₃,₁₃의 최소거리를 조사한다. 코드워드 c ∈ C₁,₃,₁₃에 대해 이산 푸리에 변환 A_λ = ∑_{i=0}^{n‑1} c_i α^{iλ} (0 ≤ λ < n)를 정의하고, A₅·A₉ = 0이면 c는 이미 C₁,₃,₅ 혹은 C₁,₃,₉에 속해 최소거리 7을 만족한다는 사실을 이용한다. 따라서 A₅·A₉ ≠ 0인 경우만 남는다. 이때 행렬 M을 구성해 그 랭크가 최소 7임을 보인다. 구체적으로, A_λ가 영이 되는 인덱스는 사이클로닉 코셋 C₁∪C₃∪C₁₃에 해당하므로, A₁, A₂, A₃, A₄, A₆, A₈, A₁₂, A₁₃이 모두 0이다. 이를 바탕으로 두 개의 부분행렬 M₁, M₂(또는 M₃, M₄)를 정의하고, 각 행렬식이 0이 아닌 경우를 경우별로 분석한다. 행렬식이 0이 되는 경우에도 다른 부분행렬이 전순위(rank = 7)를 갖는 것을 확인함으로써, 모든 비영 코드워드의 무게가 최소 7임을 증명한다. 두 번째 단계는 이중코드 C₁,₃,₁₃^⊥의 가중치 나눗셈을 다룬다. 여기서는 “add‑with‑carry” 알고리즘을 이용해 M(m;3,13) 값을 구한다. 정의에 따라 M(m;d₁,…,dⱼ) = max { w(s) − ∑_{ℓ=1}^j w(a(ℓ)) }이며, s ≡ ∑ d_ℓ a(ℓ) (mod 2^m‑1)인 정수들의 비트 가중치 차이를 최대로 하는 값이다. Lemma 4에 의해, s와 a(ℓ) 사이의 연산을 수행할 때 발생하는 캐리(c_i)와 디지털(s_i) 사이에 일련의 선형 관계가 존재한다. 이를 이용해 w(c) + w(s) = 2 w(a) + 3 w(b) (여기서 a, b는 2·a, a, 8·b, 4·b, b와 대응)라는 식을 얻는다. 이후 ν_i를 정의하고 w(ν) = 2