상수 폭 산술 회로의 하한과 계층 구조 무한성

본 논문은 “상수 폭 산술 회로”라는 특수한 회로 모델을 중심으로 두 가지 핵심 문제를 탐구한다. 첫 번째는 폭‑제한 회로의 계산 능력에 대한 하한을 제시함으로써, 폭‑k와 폭‑2k 사이에 존재하는 구조적 격차를 명확히 밝히는 것이고, 두 번째는 이러한 회로에 대한 항등성 테스트와 난수 생성 사이의 하드니스‑무작위성 교환 관계를 확립하는 것이다. 1. **모델 정의와 기본 개념** 논문은 먼저 산술 회로를 정의한다. 회로는 덧셈(+)과 곱셈(×) 게이트로 구성되며, 입력은 변수와 상수이다. 폭‑w 회로는 한 레이어에 동시에 w개의 게이트만 배치할 수 있는 제약을 갖는다. 이 제약은 회로의 병렬성을 제한하고, 따라서 깊이가 늘어나야 복잡한 연산을 수행할 수 있게 만든다. 저자들은 특히 **단조(monotone)** 회로, 즉 모든 계수가 비음수인 회로에 초점을 맞춘다. 단조 회로는 부정적인 계수를 허용하지 않기 때문에, 일반 회로보다 계산 능력이 제한적이며, 하한 증명에 유리한 구조적 특성을 제공한다. 2. **폭‑2k 선형 회로와 폭‑k 단조 회로 사이의 격차** 저자들은 임의의 정수 k>1에 대해, 다음과 같은 명시적 다항식 P_k 를 설계한다. P_k 는 변수 집합 {x_1,…,x_n}에 대해, 각 변수의 k‑차 곱을 조합한 형태이며, 구체적으로는 \