ブール関数の近似次数が合成で掛け算になることを証明
A General Composition Theorem for Approximate Degree
この論文をやさしく読む
ひとことで言うと
ブール関数を組み合わせたとき、近似に必要な多項式の次数がそれぞれの次数の積に比例することを証明しました。
何に役立つ？
合成した関数の計算量を、部品となる関数の近似次数から評価する理論的な基礎になります。
この研究の面白いところ
従来は関数の一部の種類でしか分からなかった下界を、すべての全域ブール関数へ広げています。
どこまで分かった？
要旨の定理は全域ブール関数と定数誤差の近似次数を対象とします。部分関数や別の誤差条件への一般化は述べていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
ブール関数の計算量に関する長年の未解決問題に、ブロック合成の下で近似次数が乗法的に合成されるかという問いがある。一般的な乗法的上界は知られていたが、それに一致する下界は、これまで限られた種類の関数についてしか示されていなかった。本研究は、すべての全域ブール関数について一致する下界を証明し、この問題を解決する。Sherstovによる上界と合わせると、任意の全域ブール関数f:{0,1}^n→{0,1}とg:{0,1}^m→{0,1}について、定数誤差での近似次数は deg̃(f∘g)=Θ(deg̃(f)deg̃(g)) となる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A longstanding open question in Boolean function complexity asks whether approximate degree composes multiplicatively under block composition. Although a general multiplicative upper bound is known, matching lower bounds have previously been established only for restricted classes of functions. We resolve this question for all total Boolean functions by proving the matching lower bound. Together with Sherstov's upper bound, our result shows that, for every pair of total Boolean functions $f:\{0,1\}^n\to\{0,1\}$ and $g:\{0,1\}^m\to\{0,1\}$, \[ \widetilde{deg}(f\circ g) = \Theta\!\left( \widetilde{deg}(f)\,\widetilde{deg}(g) \right), \] where $\widetilde{deg}$ denotes constant-error approximate degree.
著者のコメント
27 pages
arXiv ID: 2609.30139 ／ 要約の誤りについて