[论文解读] The Coin Problem in Constant Depth: Sample Complexity and Parity Gates.

Nutan Limaye, Karteek Sreenivasaiah+3 more|arXiv (Cornell University)|Jan 1, 2018

Complexity and Algorithms in Graphs被引用 3

一句话总结

该论文通过分析δ-硬币问题（即区分概率为(1±δ)/2的偏置硬币）首次建立了统一AC⁰[⊕]电路的固定深度大小层次定理。它为公式大小提供了近乎紧致的上下界，表明解决该问题的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⁰[⊕]公式实现近乎紧致的界限。
• 开发构造与分析公式的新型技术，包括使用Janson不等式的去随机化和组合设计。
• 证明解决δ-硬币问题的多变量F₂多项式的最优次数下界，该结果可能具有更广泛的影响。

提出的方法

• 利用Janson不等式对δ-硬币问题的单调AC⁰公式进行去随机化构造，这是该上下文中的新颖应用。
• 采用经典组合设计构造具有受控样本复杂度和深度的显式公式。
• 通过证明F₂上多变量多项式在解决δ-硬币问题时的近乎最优次数下界，建立AC⁰[⊕]公式大小的下界。
• 利用该次数下界推导出公式大小的指数级下界，其指数部分与上界仅相差常数因子。
• 利用δ-硬币问题的结构，将电路大小与F₂上的多项式次数关联起来，从而实现紧致分析。
• 结合概率组合学与代数复杂性技术，统一处理上下界。

实验结果

研究问题

• RQ1 能否为统一AC⁰[⊕]电路建立固定深度大小层次？
• RQ2 解决AC⁰[⊕]中δ-硬币问题所需的精确公式大小是多少（至多多项式因子）？
• RQ3 像Janson不等式这样的去随机化技术能否有效应用于构造δ-硬币问题的显式公式？
• RQ4 解决δ-硬币问题的多变量F₂多项式的最优次数是多少？
• RQ5 AC⁰[⊕]的界限与AC⁰相比如何？更强的模型是否能显著减小公式大小？

主要发现

• 该论文首次证明了统一AC⁰[⊕]电路的固定深度大小层次定理，表明对于固定深度d，类𝒞_{d,k}构成一个无限层次。
• 它构造了显式单调AC⁰公式，可在深度d、大小为exp(O(d(1/δ)^{1/(d−1)}))、样本复杂度为poly(1/δ)的条件下解决δ-硬币问题，优于先前的样本复杂度界限。
• 该上界近乎紧致：任何解决δ-硬币问题的AC⁰[⊕]公式大小至少为exp(Ω(d(1/δ)^{1/(d−1)}))，与上界仅在指数的常数因子上存在差异。
• 该下界强于先前结果：相比Cohen、Ganor与Raz（2014）对AC⁰的结果，以及Shaltiel与Viola（2010）的结果，后者仅给出了超多项式弱化的指数下界。
• 证明了解决δ-硬币问题的多变量F₂多项式具有最优（至常数因子）的次数下界，这是关键的技术贡献。
• 首次在该上下文中应用Janson不等式进行去随机化，标志着方法论上的新进展。