[논문 리뷰] The Coin Problem in Constant Depth: Sample Complexity and Parity Gates.

Nutan Limaye, Karteek Sreenivasaiah외 3명|arXiv (Cornell University)|2018. 01. 01.

Complexity and Algorithms in Graphs인용 수 3

한 줄 요약

이 논문은 δ-동전 문제(편향된 동전을 (1±δ)/2 확률로 구분하는 문제)를 분석함으로써, 균일한 AC⁰[⊕] 회로에 대한 최초의 고정 깊이 크기 계층 정리( size-hierarchy theorem)를 확립한다. 공식 크기에 대한 거의 날것 그대로의 상한과 하한을 제시하며, δ-Coin 문제를 해결하는 AC⁰[⊕] 공식은 크기 exp(Ω(d(1/δ)^{1/(d−1)}))를 가져야 하며, 이는 상수 인자까지는 알려진 상한과 일치한다. 상한은 Janson의 부등식을 통한 비확률화와 조합 설계를 활용하고, 하한은 F₂ 위에서의 최적 차수 제약을 활용한다.

ABSTRACT

We prove the first Fixed-depth Size-hierarchy Theorem for uniform AC$^0[\oplus]$ circuits; in particular, for fixed $d$, the class $\mathcal{C}_{d,k}$ of uniform AC$^0[\oplus]$ formulas of depth $d$ and size $n^k$ form an infinite hierarchy. For this, we find the first class of explicit functions giving (up to polynomial factor) matching upper and lower bounds for AC$^0[\oplus]$ formulas, derived from the $\delta$-Coin Problem, the computational problem of distinguishing between coins that are heads with probability $(1+\delta)/2$ or $(1-\delta)/2,$ where $\delta$ is a parameter going to $0$. We study this problem's complexity and make progress on both upper bounds and lower bounds. Upper bounds. We find explicit monotone AC$^0$ formulas solving the $\delta$-coin problem, having depth $d$, size $\exp(O(d(1/\delta)^{1/(d-1)}))$, and sample complexity poly$(1/\delta)$, for constant $d\ge2$. This matches previous upper bounds of O'Donnell and Wimmer (ICALP 2007) and Amano (ICALP 2009) in terms of size and improves the sample complexity. Lower bounds. The upper bounds are nearly tight even for the stronger model of AC$^0[\oplus]$ formulas (which allow NOT and Parity gates): any AC$^0[\oplus]$ formula solving the $\delta$-coin problem must have size $\exp(\Omega(d(1/\delta)^{1/(d-1)})).$ This strengthens a result of Cohen, Ganor and Raz (APPROX-RANDOM 2014), who prove a similar result for AC$^0$, and a result of Shaltiel and Viola (SICOMP 2010), who give a superpolynomially weaker (still exponential) lower bound. The upper bound is a derandomization involving a use of Janson's inequality (as far as we know, the first such use of the inequality) and classical combinatorial designs. For the lower bound, we prove an optimal (up to constant factor) degree lower bound for multivariate polynomials over $\mathbb{F}_2$ solving the $\delta$-coin problem, which may be of independent interest.

연구 동기 및 목표

• 균일한 AC⁰[⊕] 회로에 대한 고정 깊이 크기 계층 정리를 확립하여, 회로 복잡도 이론 분야에서 열려 있는 문제를 해결한다.
• AC⁰[⊕] 회로 내에서 편향이 δ인 동전을 구분하는 문제의 계산 복잡도를 분석한다.
• AC⁰[⊕] 공식이 δ-Coin 문제를 해결할 때 알려진 상한과 하한 사이의 격차를 좁혀 거의 날것 그대로의 경계를 달성한다.
• Janson의 부등식과 조합 설계를 활용한 비확률화 기법을 포함한, 새로운 공식 구축 및 분석 기법을 개발한다.
• δ-Coin 문제를 해결하는 다변수 F₂-다항식에 대한 최적 차수 하한을 증명하며, 이는 더 넓은 영향을 미칠 수 있다.

제안 방법

• Janson의 부등식을 사용하여 δ-Coin 문제에 대한 단조적 AC⁰ 공식의 구성 과정을 비확률화한다. 이는 본 분야에서의 새로운 응용이다.
• 고전적인 조합 설계 기법을 활용하여 샘플 복잡도와 깊이를 제어할 수 있는 명시적 공식을 구성한다.
• F₂ 위의 다변수 다항식에 대한 거의 최적의 차수 하한을 증명함으로써, δ-Coin 문제를 해결하는 AC⁰[⊕] 공식의 크기에 대한 하한을 확립한다.
• 이 차수 하한을 바탕으로 지수적 하한을 도출하며, 이는 상수 인자까지는 상한과 일치한다.
• δ-Coin 문제의 구조를 활용하여 회로 크기와 F₂ 위의 다항식 차수 사이의 관계를 설정함으로써, 정밀한 분석이 가능해진다.
• 확률적 조합론과 대수적 복잡도 이론의 기법을 융합하여 상한과 하한을 통합한다.

실험 결과

연구 질문

• RQ1 균일한 AC⁰[⊕] 회로에 대해 고정 깊이 크기 계층 정리를 확립할 수 있는가?
• RQ2 δ-Coin 문제를 해결하는 데 필요한 정확한 공식 크기는 다항식 인자까지 얼마나 되는가?
• RQ3 Janson의 부등식과 같은 비확률화 기법을 δ-Coin 문제에 대해 효과적으로 적용하여 명시적 공식을 구성할 수 있는가?
• RQ4 δ-Coin 문제를 해결하는 다변수 F₂-다항식의 최적 차수는 얼마인가?
• RQ5 AC⁰[⊕]의 경계는 AC⁰의 경계와 어떻게 비교되며, 더 강력한 모델이 현저히 작은 공식을 제공할 수 있는가?

주요 결과

• 논문은 균일한 AC⁰[⊕] 회로에 대해 최초의 고정 깊이 크기 계층 정리를 증명하며, 고정된 깊이 d에 대해 클래스 𝒞_{d,k}가 무한한 계층을 이룬다는 것을 보여준다.
• 깊이 d, 크기 exp(O(d(1/δ)^{1/(d−1)})), 샘플 복잡도 poly(1/δ)를 갖는 명시적 단조적 AC⁰ 공식을 구성하여, 이전의 샘플 복잡도 경계를 향상시켰다.
• 상한은 거의 날것 그대로이다: δ-Coin 문제를 해결하는 어떤 AC⁰[⊕] 공식이라도 크기 최소 exp(Ω(d(1/δ)^{1/(d−1)}))를 가져야 하며, 이는 상수 인자까지는 상한과 일치한다.
• 하한은 이전 결과보다 더 강력하다: Cohen, Ganor, 그리고 Raz(2014)의 AC⁰ 결과와 Shaltiel과 Viola(2010)의 결과보다 초월적인 지수적 하한을 개선하였다.
• δ-Coin 문제를 해결하는 다변수 F₂-다항식에 대해 최적(상수 인자까지)의 차수 하한을 증명하였으며, 이는 핵심 기술적 기여이다.
• Janson의 부등식을 비확률화에 응용한 것은 본 분야에서 처음으로 알려진 응용으로, 새로운 방법론적 진전을 나타낸다.