2k 변수 대칭 부울 함수의 최대 대수 면역성 연구

초록

이 논문은 변수 개수가 짝수인 대칭 부울 함수에 대해, 대수 면역성(AI)이 가능한 최대값 k(=n/2) 를 달성하는 함수들의 구조를 완전히 규명한다. n의 이진 전개에 의해 결정되는 가중치 분포를 이용해 모든 such 함수들을 구성하고, 그 개수를 (2·wt(n)+1)·2^{⌊log₂ n⌋} 로 정확히 셈한다.

상세 분석

논문은 먼저 대수 면역성(AI)의 정의를 복습하고, n‑변수 대칭 부울 함수가 (n+1)‑비트의 단순값벡터(SVV)로 완전히 기술될 수 있음을 상기한다. AI의 상한이 ⌈n/2⌉임을 이용해, n이 짝수인 경우(k=n/2) 최대 AI를 갖는 함수들의 존재 조건을 탐구한다. 핵심은 ‘가중치 지원(weight support, WS)’ 기법이다. Lemma 2.4에 따라, f·g=0 인 비자명한 소거다항식 g가 존재하면, g는 P_b·h 형태로 분해될 수 있으며 여기서 P_b는 (x₁+x₂)…(x_{2b‑1}+x_{2b}) 형태의 다항식이다. 이를 이용해 AI=k 를 만족하려면, f의 SVV가 특정 인덱스 집합에 대해 일정한 값을 가져야 함을 보인다.

특히, n=2^p·μ+2m (0≤m<2^p) 로 이진 전개를 쓰면, Theorem 3.1은
v_f(2^p·μ+m−2^p·i+2^p−1)=v_f(2^p·μ+m+2^p·j−2^p−1)+1 (1≤i,j≤μ)
라는 관계식을 도출한다. 이는 SVV가 ‘대칭 구간’ 안에서 교차적으로 0과 1을 번갈아 가며 배치되어야 함을 의미한다. Lemma 3.1과 Theorem 3.1을 반복 적용하면, n의 이진 자리수마다 두 개의 ‘고정 구간’이 형성되고, 각 구간의 길이는 2^p 로 동일하다.

다음 단계에서는 이러한 필요조건이 충분조건임을 증명한다. 가중치 지원을 이용해 임의의 비자명한 소거다항식이 존재하지 않음을 보이면서, AI가 k 이하로 떨어지는 경우를 모두 배제한다. 결과적으로, 모든 가능한 SVV는 두 종류의 패턴(‘상위 패턴’과 ‘하위 패턴’)에 의해 완전히 기술된다.

마지막으로, 이러한 패턴을 만족하는 함수들의 총 개수를 셈한다. n의 이진 전개에서 1의 개수를 wt(n)이라 하면, 각 1에 대해 두 가지 선택(값을 0 혹은 1으로 고정)과, 남은 ⌊log₂ n⌋ 비트에 대해 자유롭게 선택할 수 있는 2^{⌊log₂ n⌋} 가지가 곱해져 최종 개수는 (2·wt(n)+1)·2^{⌊log₂ n⌋} 가 된다. 이는 기존 연구에서 제시된 부분적인 결과를 일반화하고, 짝수 변수 대칭 함수에 대한 완전한 열거를 제공한다.

이 논문은 대칭 부울 함수의 구조적 특성을 이진 전개와 가중치 지원이라는 두 축을 통해 깊이 파고들어, 암호학적 설계 시 AI가 최대인 함수를 체계적으로 선택할 수 있는 이론적 기반을 제공한다.