저차 다항식 임계함수의 정규성 정리와 저중량 근사

초록

이 논문은 불린 큐브 위의 차수 d 다항식 임계함수(PTF)에 대해 정규성 정리를 제시한다. 모든 PTF는 일정한 개수의 서브함수로 분해될 수 있으며, 대부분은 변수들의 영향력이 전체 영향력에 비해 작아 ‘정규’한 형태에 가깝다. 이를 이용해 차수 d PTF를 정확도 ε 이하로 근사하는 정수 가중치 PTF를 구성할 수 있음을 보이며, 가중치 총합이 O(n^d) 임을 증명한다. 이 가중치 한계는 상수 차수에서 최적임을 보인다.

상세 분석

본 연구는 불린 하이퍼큐브 {-1,1}^n 위에 정의된 차수 d 다항식 임계함수 f(x)=sign(p(x)) 에 대한 구조적 이해를 목표로 한다. 먼저 ‘정규성’이라는 개념을 도입한다. 다항식 p 의 각 변수 x_i 에 대한 영향력 Inf_i(p) 는 p 의 라우드니스(또는 디리클레 형태)와 연관된 계수들의 제곱합으로 정의되며, 전체 영향력 Inf(p)=∑_i Inf_i(p) 에 대한 비율이 작을수록 변수 i 는 ‘정규’하다고 본다. 정규성 정리(regularity lemma)는 임의의 차수 d PTF를 상수 C(d,ε) 개의 서브함수 {f_j} 로 분할할 수 있음을 보인다. 이때 대부분의 f_j 는 변수 영향력이 전체에 대해 ε 이하인 정규 PTF와 거의 동일한 행동을 보이며, 남은 소수의 서브함수는 ‘불규칙’하지만 그 비중이 전체 입력에 대해 ε 미만으로 제한된다. 핵심 기술은 고차원 부등식(anti-concentration)과 인플루언스 분해를 결합한 다중 스케일 분석이다. 특히, 차수 d 다항식의 고차항이 차지하는 변동성을 제한하기 위해 ‘인플루언스 정규화’ 과정을 거쳐, 변수들의 기여를 균등하게 만든 뒤, 마르코프 부등식과 베르니슈-라우스 정리를 이용해 정규성을 확보한다.

정규성 정리를 활용한 두 번째 주요 결과는 저중량 근사이다. 기존 연구에서는 차수 d PTF를 정확히 표현하기 위해 가중치가 2^{Ω(n)} 까지 커질 수 있음을 보였지만, 본 논문은 정규 PTF가 거의 전역적으로 지배적이라는 사실을 이용해, 각 서브함수에 대해 정수 가중치 w_i 를 부여하고, 전체 가중치 합을 O(n^d) 로 제한한다. 구체적으로, 정규 서브함수에 대해는 가우시안 근사와 하이퍼볼릭 탄젠트 함수의 테일러 전개를 이용해 작은 정수 계수만으로도 원래 다항식의 부호를 거의 정확히 복원한다. 불규칙 서브함수는 전체 입력 중 ε 비율 이하에만 영향을 미치므로, 이들을 무시하거나 보수적으로 과잉 가중치를 부여해도 전체 오류는 ε 이하로 유지된다. 마지막으로, 가중치 하한을 보이기 위해 차수 d 다항식 p(x)=∑_{|S|=d} x_S 를 고려하고, 이를 정확히 근사하려면 각 변수에 최소 Ω(n^{d-1}) 정도의 절대값 가중치가 필요함을 증명한다. 따라서 O(n^d) 가중치 상한은 상수 차수 d 에 대해 최적임을 확인한다.

이 논문의 기여는 두 가지 측면에서 의미가 크다. 첫째, 정규성 정리를 통해 고차 다항식 임계함수의 복잡성을 ‘정규’와 ‘불규칙’ 부분으로 명확히 구분함으로써, 구조적 분석과 알고리즘 설계에 새로운 도구를 제공한다. 둘째, 저중량 정수 가중치 근사 결과는 회로 복잡도, 학습 이론, 그리고 부호 함수의 압축 표현 등 다양한 분야에서 실용적인 응용 가능성을 열어준다. 특히, 가중치가 O(n^d) 인 PTF는 기존의 고차원 부호 회로를 대체할 수 있는 효율적인 대안이 될 수 있다.