2ⁿ 주기 이진열의 k‑오류 선형 복잡도 분포 연구

초록

본 논문은 주기 2ⁿ인 이진열에 대해 k‑오류 선형 복잡도(Lₖ)의 분포를 정확히 구한다. k=2,3인 경우 선형 복잡도가 2ⁿ 미만인 균형열에 대한 전체 계수를, k=3,4인 경우 선형 복잡도가 2ⁿ인 열에 대한 계수를 제시하고, 기존 연구의 오류를 바로잡는다.

상세 분석

이 논문은 2ⁿ 주기 이진열의 k‑오류 선형 복잡도(Lₖ)를 분석함에 있어 두 가지 핵심 아이디어를 도입한다. 첫 번째는 Games‑Chan 알고리즘을 이용해 선형 복잡도 L(s)를 구하고, 이를 바탕으로 “오류열” u의 최소 해밍 무게를 찾는 전환 과정이다. 두 번째는 k의 짝·홀성에 따라 문제를 두 개의 하위 문제로 분할하는 방법으로, k가 짝수이면 Lₖ = L_{k‑1} (k‑1‑오류 복잡도)와 동일하고, k가 홀수이면 Lₖ = L_{k‑1} (k‑1‑오류 복잡도)와 동일하다는 성질을 이용한다.

논문은 먼저 기본적인 레마들을 정리한다. Lemma 2.1은 Hamming 무게가 홀수이면 선형 복잡도가 2ⁿ임을, Lemma 2.2는 두 열의 선형 복잡도가 다르면 합의 복잡도가 최대값이고, 같으면 감소한다는 사실을 제시한다. Lemma 2.3·2.4는 단일 및 4개의 비영점(1)의 위치 관계가 선형 복잡도에 미치는 영향을 정확히 계산한다. 이러한 레마들은 이후 k‑오류 복잡도 계산의 기반이 된다.

다음으로 k=2,3에 대해 선형 복잡도가 2ⁿ 미만인 균형열(즉, Hamming 무게가 짝수인 열)의 Lₖ 분포를 구한다. Lemma 3.3·3.5를 이용해, 특정 형태 L = 2ⁿ‑1‑2^m (0 ≤ m < n‑1)인 열에 대해 2‑오류 복잡도가 감소할 수 있는 경우와 그렇지 않은 경우를 구분하고, 각각에 대한 열의 개수를 조합론적으로 계산한다. 결과적으로 N₂(2ⁿ‑1‑2^m) = (1+ C(2ⁿ,2) – 3·2^{n+m‑3})·2^{2ⁿ‑1‑2ⁿ‑m‑1} 와 같은 명시적 식을 얻는다.

그 후 k=3,4에 대해 선형 복잡도가 정확히 2ⁿ인 열을 다룬다. 여기서는 L(s)=2ⁿ인 경우 오류열을 추가하면 복잡도가 (k+1)‑오류 복잡도와 동일해지는 특성을 이용한다. Lemma 3.6·3.7을 통해 3‑오류와 4‑오류 복잡도에 대한 계수를 각각 도출하고, 이를 합쳐 k=3,4에 대한 전체 분포식을 얻는다.

가장 중요한 기여는 기존 연구(Kavuluru 등, 2015‑2018)에서 제시된 3‑오류 선형 복잡도에 대한 계수가 특정 경우에 잘못된 것을 발견하고, 정확한 식을 새롭게 제시한 점이다. 논문은 이러한 오류를 구체적인 반례와 함께 증명하고, 수정된 결과가 전체 k‑오류 복잡도 분포에 미치는 영향을 논한다.

마지막으로, 앞서 얻은 두 경우(선형 복잡도 < 2ⁿ, = 2ⁿ)를 결합해 k=2,3에 대한 전체 2ⁿ 주기 이진열의 Lₖ 분포를 완전하게 기술한다. 이 과정에서 제시된 새로운 접근법은 k>3에 대해서도 동일하게 적용 가능함을 언급하며, 향후 연구 방향으로 k‑오류 복잡도 프로파일 전반에 대한 일반화된 카운팅 이론을 제시한다. 전체적으로 논문은 조합론, 대수적 구조, 그리고 알고리즘적 분석을 결합해 기존의 불완전한 결과들을 보완하고, 실용적인 암호 설계에 필요한 정확한 복잡도 통계를 제공한다.