統計的クエリで学べても低次元には表せない関数を構成
A Separation Between Distribution-Free SQ Learning and Dimension Complexity
この論文をやさしく読む
ひとことで言うと
統計的な問い合わせで効率よく学べる関数でも、固定特徴の線形判定で表すには非常に多くの次元が要る例を示します。
何に役立つ？
学習可能性と特徴表現の大きさを同一視できないことを理解する、学習理論上の結果です。アルゴリズムの能力を測る尺度の違いを明確にします。
この研究の面白いところ
分布に依存しない多項式回数の統計的問い合わせと、超多項式の次元複雑性を同じ関数クラスで両立させます。DNFの部分クラスを使って既存の問いに否定的に答えます。
どこまで分かった？
特定の関数クラスの構成と証明による分離結果です。すべてのDNFを同じ条件で効率よく学べるという主張や、実データでの速度改善ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
次の2つの性質を持つブール関数のクラスCが存在することを示す。（i）Cを学習する分布非依存の統計的クエリアルゴリズムが存在し、許容誤差が多項式の逆数であるクエリを多項式個用いる。（ii）関数の集合Φ₁,…,Φᵣがあり、すべてのf∈Cについて、ある実数の重みwᵢを用いてf(x)＝sign(Σᵢ₌₁ʳ wᵢΦᵢ(x))と書けるならば、必ずr≥n^{ω(1)}でなければならない。 これは、次元複雑性と、統計的クエリモデルにおける分布自由学習のクエリ複雑性との間に、超多項式的な隔たりがあることを示すものであり、Feldman、Kamath、Srebroの問い［FKS26］に否定的な答えを与える。構成するCは論理和標準形（DNF）の部分クラスであり、証明は、連言のアグノスティック学習に関する最近の進展［DKR25,CPS26］と、DNFの符号ランクに関するRazborovとSherstovの研究［RS10］から簡潔に導かれる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We show that there exists a class of boolean functions C such that $(i)$ there is a distribution-independent statistical query algorithm for learning C that makes a polynomial number of queries of inverse polynomial tolerance and $(ii)$ for any set of functions $\Phi_1, \dots, \Phi_r$ such that for all $f \in$ C we can write $f(x) = \text{sign} \left( \sum_{i = 1}^r w_i \Phi_i(x) \right)$ for some set of weights $w_i \in \mathbb{R}$, we must have that $r \geq n^{\omega(1)}$. This gives a superpolynomial separation between dimension complexity and the query complexity of distribution-free learning in the statistical query model, negatively answering a question of Feldman, Kamath, and Srebro [FKS26]. Our construction C is a subclass of DNFs, and the proof is a simple consequence of recent progress on agnostically learning conjunctions [DKR25,CPS26] and the work of Razborov and Sherstov on the sign rank of DNFs [RS10].
arXiv ID: 2609.19780 ／ 要約の誤りについて