[論文レビュー] 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 の偏りを持つコインを区別すること）を分析することで、uniform 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.

研究の動機と目的

• uniform AC⁰[⊕] 回路における固定深さサイズ階層を確立し、回路複雑性における未解決問題を解決すること。
• AC⁰[⊕] 回路内でのδ-コイン問題（δによる偏りを持つコインの区別）の計算複雑性を分析すること。
• AC⁰[⊕] 公式がδ-コイン問題を解くために必要な上界と下界のギャップを埋め、ほぼタイトな境界を達成すること。
• Jansonの不等式を用いたデランドマイゼーションと組合せデザインを用いた、新たな公式の構築・分析手法を開発すること。
• δ-コイン問題を解く多変数 F₂-多項式の最適次数下界を証明することであり、これはより広範な影響を及える可能性がある。

提案手法

• Jansonの不等式を用いて、δ-コイン問題の単調な AC⁰ 公式の構築をデランドマイズし、本研究分野における新規な応用を実現する。
• 古典的な組合せデザインを用いて、制御されたサンプル複雑度と深さを持つ明示的公式を構築する。
• F₂ 上の多変数多項式に対するほぼ最適な次数下界を証明することで、δ-コイン問題を解く AC⁰[⊕] 公式のサイズ下界を確立する。
• 次数下界を用いて、指数的下界を公式サイズに対して導出し、上界と定数因子を除いて一致する。
• δ-コイン問題の構造を活用して、回路サイズと F₂ 上の多項式次数との関係を確立し、タイトな解析を可能にする。
• 確率的組合せ論と代数的複雑性の技術を統合し、上界と下界を統一的に扱う。

実験結果

リサーチクエスチョン

• RQ1 uniform AC⁰[⊕] 回路に対して、固定深さサイズ階層を確立できるか？
• RQ2 AC⁰[⊕] において、δ-コイン問題を解くために必要な公式サイズは、多項式因子を除いて正確にどの程度か？
• RQ3 Jansonの不等式のようなデランドマイゼーション技術は、δ-コイン問題の明示的公式の構築に効果的に適用可能か？
• RQ4 δ-コイン問題を解く多変数 F₂-多項式の最適次数は何か？
• RQ5 AC⁰[⊕] の境界は AC⁰ のそれと比べてどのように異なるか？より強いモデルは著しく小さい公式をもたらすか？

主な発見

• 本論文は、uniform AC⁰[⊕] 回路における最初の固定深さサイズ階層を証明し、固定深さ d に対して、クラス 𝒞_{d,k} が無限階層を形成することを示した。
• 深さ d、サイズ exp(O(d(1/δ)^{1/(d−1)}))、サンプル複雑度 poly(1/δ) の明示的単調 AC⁰ 公式を構築し、δ-コイン問題を解いた。これは、以前のサンプル複雑度の境界を改善した。
• 上界はほぼタイトである：δ-コイン問題を解く任意の AC⁰[⊕] 公式は、少なくとも exp(Ω(d(1/δ)^{1/(d−1)})) のサイズを必要とし、上界と定数因子を除いて一致する。
• 下界は従来の結果を上回る：Cohen, Ganor, and Raz (2014) の AC⁰ に対する結果や、Shaltiel and Viola (2010) の結果よりも、指数的下界がより強く、超多項式的でないより強い境界を達成した。
• δ-コイン問題を解く多変数 F₂-多項式に対する最適（定数因子を除いて）次数下界が証明され、これは主要な技術的貢献である。
• Jansonの不等式を用いたデランドマイゼーションは、本研究分野において初めての応用であり、新たな手法的前進を示している。