複数の半空間のしきい値判定を欺く擬似乱数生成
Fooling Thresholds of Halfspaces
この論文をやさしく読む
ひとことで言うと
複数の線形条件のうち一定数が成立するかを判断する関数にとって、本物の乱数と見分けにくい短い擬似乱数を作れるかを調べる研究です。
何に役立つ？
乱数を使う計算の理論や、しきい値関数を学習するアルゴリズムの理解に役立ちます。要旨は生成器の保証に加え、雑音感度とガウス表面積の上界も導いています。
この研究の面白いところ
多面体用に作られた既存の生成器が、より広いしきい値関数にも使えると示します。滑らかな近似とランダムな間引きを解析の道具にしています。
どこまで分かった？
シード長はmだけでなくκ、誤差δ、次元nにも依存し、κには多項式的な依存があります。ここでの「欺く」は指定の関数による乱数の識別を抑える数学的意味で、暗号学的安全性全般の保証ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
半空間の数に対して多重対数的なシード長を持つ、半空間のしきい値関数向けの明示的な擬似乱数生成器の構成を研究し始める。この関数クラスは回路計算量の最前線に位置する［CTW26］。O’Donnell、Servedio、Tanが多面体向けに設計した生成器［OST22］が、このより広いクラスも欺くことを示す。生成器を解析するため、Bentkus型の平滑化核に基づく、しきい値に特化した滑らかな近似枠組みを開発する。この平滑化核の微分の上界を証明し、ランダムな間引きの議論によって、半空間のしきい値関数についてのブール反集中定理も確立する。 これらを組み合わせると、この生成器は、{−1,1}ⁿ上のm個の半空間に対する任意の「m個中k個」のしきい値関数を誤差δで欺き、そのシード長は任意に小さな定数ε>0に対し、Õ(κ^(6+2ε) (log m)^(6+2ε) δ^(−(2+2ε)) log n)となる。ここでκ=min{k,m−k+1}である。ランダム間引きの議論は、半空間のしきい値関数の雑音感度とガウス表面積についても上界を与え、一様分布とガウス分布の両方の下での学習アルゴリズムにつながる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We initiate the study of constructing explicit pseudorandom generators for thresholds of halfspaces with seed length polylogarithmic in the number of halfspaces. This class of functions lies at the frontier of circuit complexity [CTW26]. We show that the generator designed by O'Donnell, Servedio, and Tan for polytopes [OST22] also fools this broader class. To analyze the generator, we develop a threshold-specific smooth approximation framework based on a Bentkus-type mollifier. We prove derivative bounds for this mollifier and also establish a Boolean anticoncentration theorem for thresholds of halfspaces via a random thinning argument. These ingredients imply that the generator $\delta$-fools every $k$-out-of-$m$ threshold of $m$ halfspaces over $\{-1,1\}^n$ with seed length $\widetilde{O}(\kappa^{6+2\varepsilon}\log^{6+2\varepsilon}\!m\cdot\delta^{-(2+2\varepsilon)}\log n)$, for any arbitrarily small constant $\varepsilon>0$, where $\kappa=\min\{k,m-k+1\}$. The random thinning argument also yields bounds on the noise sensitivity and Gaussian surface area for thresholds of halfspaces, leading to learning algorithms under both the uniform and Gaussian distributions.
著者のコメント
55 pages, including appendices and references
arXiv ID: 2609.21329 ／ 要約の誤りについて