가우시안 다항식 임계값 함수용 의사난수 생성기와 서브다항식 시드 길이

초록

본 논문은 가우시안 분포 하에서 정의된 차수 $d$ 다항식 임계값 함수(PTF)를 $\epsilon$ 정밀도로 구분할 수 있는 의사난수 생성기(PRG)를 제시한다. 제안된 PRG는 시드 길이가 $O_{c,d}(\log n,\epsilon^{-c})$ 로, 차수와 정확도에 대해 서브다항식적인 의존성을 보이며, 기존 방법보다 현저히 짧은 시드를 요구한다.

상세 요약

이 연구는 고차원 가우시안 공간에서 다항식 임계값 함수(PTF)를 효율적으로 구분할 수 있는 의사난수 생성기(PRG)를 설계한다는 점에서 이론적 컴퓨터 과학과 확률론 사이의 교차점을 탐구한다. 핵심 아이디어는 “가우시안 부동소수점” 특성을 활용해 다항식의 고차항을 저차항으로 근사하고, 이를 통해 복잡한 PTF를 저차원 선형 형태로 변환하는 것이다. 저자들은 먼저 차수 $d$ 의 다항식 $p(x)$를 가우시안 변수 $x\sim\mathcal N(0,I_n)$에 대해 테일러 전개하고, 고차항의 기여도가 $\epsilon$ 이하가 되도록 적절한 차수 절단을 수행한다. 이후, 절단된 저차 다항식을 가우시안 평균과 공분산만을 이용해 완전한 가우시안 샘플을 대체할 수 있는 “가우시안 블록” 구조로 재구성한다.

시드 길이 분석에서는 두 가지 주요 기법이 결합된다. 첫째, 가우시안 분포의 독립성 및 회전 불변성을 이용해 고차원 입력을 $k=O(\log n)$개의 작은 블록으로 분할하고, 각 블록에 대해 저차원 가우시안 샘플을 생성한다. 둘째, 각 블록에 대한 샘플을 생성할 때는 $k$‑wise 독립성(또는 $\ell$‑wise 독립성)과 가우시안 가중치의 제한된 독립성을 활용해 시드 길이를 $O(\log n)$ 로 압축한다. 이때 $\epsilon$‑정밀도를 만족시키기 위해 필요한 독립성 차수 $\ell$ 은 $O(\epsilon^{-c})$ 로, $c$는 차수 $d$ 와 원하는 오류율에 따라 결정되는 상수이다.

또한, 저자들은 기존의 “가우시안 소음” 기법과 “가우시안 하이퍼플레인” 분석을 결합해, PRG가 생성한 샘플이 실제 가우시안 분포와 통계적으로 구별되지 않음을 보인다. 구체적으로, 임계값 함수 $f(x)=\operatorname{sgn}(p(x))$ 에 대해, PRG가 만든 샘플 $G(s)$와 진짜 가우시안 $x$ 사이의 차이는 $\Pr