이진 리드‑무러 코드 코사인‑천 추측의 균형 부울 함수에 대한 증폭 증명

** 본 논문은 이진 Reed‑Muller 코드 RM(k,m) 의 코셋 Q(k,m)=RM(k+1,m)/RM(k,m) 내에서 어느 코셋이 가장 많은 균형 Boolean 함수(즉, 진리표에 0과 1이 동등하게 나타나는 함수)를 포함하는가에 대한 코사인‑천(Cusick‑Cheon) 추측을 다룬다. 기존 연구에서는 k = 1 및 k = m‑2 케이스만 검증되었으며, 일반적인 경우는 미해결 상태였다. 저자는 이 추측을 확대(amplify)하여, k = 1 또는 k ≥ (m‑1)/2인 경우에 대해 완전한 증명을 제공한다. **Ⅰ. 서론**에서는 Reed‑Muller 코드와 균형 함수의 정의를 상기하고, 코사인‑천 추측을 제시한다. 추측은 “RM(k,m) 코드 자체가 Q(k,m) 내의 모든 코셋 중에서 가장 많은 균형 단어를 포함한다”는 내용이다. 이 추측은 코덱의 가중치 분포와 직접 연결되며, 가중치 분포를 정확히 알면 균형 함수의 개수를 바로 구할 수 있다. **Ⅱ. 배경**에서는 세 가지 핵심 정리를 소개한다. 1. **맥윌리엄스 항등식(Theorem 2.1)**: 코드와 정규 코드의 가중치 다항식 사이의 관계를 식 (1)로 제시한다. 2. **Assmus‑Mattson 코셋 가중치 공식(Theorem 2.2)**: 특정 코셋 A + a 의 가중치 다항식을 정규 코드 A⊥ 의 가중치와 a에 대한 직교성(b_i) 정보를 이용해 식 (2)로 표현한다. 3. **McEliece 정리(Theorem 2.3)**: RM(k,m) 코드의 모든 코드워드 가중치가 2^{⌊(m‑1)/k⌋} 배수임을 보인다. 또한 Krawtchouk 다항식 P_{n/2}(x)와 그 계수 K(i,n) 을 정의하고, Lemma 3.1을 통해 K(i,n)의 부호 및 영값 특성을 증명한다. 이는 이후 증명에서 K(i,n) > 0인 경우에만 차이식이 양수가 됨을 보이는 데 필수적이다. **Ⅲ. 증명**에서는 두 주요 결과를 제시한다. - **Theorem 3.2 (k ≥ (m‑1)/2)**: 코셋 C = RM(k,m)+a ( a∉RM(k,m) )에 대해, 정규 코드 A⊥ = RM(m‑k‑1,m) 의 모든 코드워드 가중치가 4의 배수임을 McEliece 정리와 k ≥ (m‑1)/2 조건으로부터 도출한다. Lemma 3.1에 의해 K(i,n) > 0인 짝수 i에 대해 (B_i‑b_i)K(i,n) ≥ 0이며, 적어도 하나는 엄격히 양수이다. 따라서 식 (6)에서 B(k,m)‑d_{n/2} > 0, 즉 비자명 코셋은 원 코드보다 적은 균형 단어를 가진다. - **Proposition 3.3 (k = 1)**: RM(1,m) 은 모든 affine 함수와 전부 0, 전부 1 벡터를 포함한다. 균형 단어 수는 2^{m+1}‑2개이며, 코셋 C = RM(1,m)+f 에 대해 Walsh‑Hadamard 변환을 이용해 적어도 하나의 주파수 ω₀에서 W_f(ω₀) ≠ 0임을 보인다. 이를 통해 코셋 내 최소 두 개 이상의 비균형 단어가 존재함을 증명하고, 결과적으로 비자명 코셋은 원 코드보다 균형 단어가 적다. **Ⅳ. 예시**에서는 m‑2 차수 Reed‑Muller 코드 RM(m‑2,m) (확장 해밍 코드)의 구체적인 코셋을 분석한다. a₁(무게 2)와 a₂(무게 1) 두 벡터를 선택해 각각 코셋 C₁, C₂ 의 가중치 다항식을 식 (1)·(2)로 계산한다. C₁은 원 코드보다 균형 단어가 하나 적고, C₂는 전혀 균형 단어가 없음을 확인한다. 이는 앞서 증명한 일반 정리와 일치한다. **Ⅴ. 결론**에서는 본 연구가 코사인‑천 추측을 k = 1 및 k ≥ (m‑1)/2 두 경우에 대해 완전히 증명했으며, 이는 “정규 코드의 가중치가 4의 배수인 경우”라는 보다 일반적인 조건으로 확장될 수 있음을 언급한다. 남은 미해결 구간(k < (m‑1)/2, k > 1)에서는 아직 증명되지 않았으며, 향후 연구 과제로 남는다. 또한, 정규 코드가 “이중 짝수”(weights divisible by 4)인 경우에도 동일한 논리가 적용될 수 있음을 제시한다. **