[論文レビュー] Gaussian Bounds for Noise Correlation of Functions

Elchanan Mossel|arXiv (Cornell University)|Mar 22, 2007

Limits and Structures in Graph Theory参考文献 23被引用数 9

ひとこと要約

この論文は、フーリエ解析、不変性原理、および多変量正規分布の性質を用いて、相関確率空間上の低影響関数のノイズ相関に対してタイトな正規分布型の境界を確立する。主な結果は、低影響関数に対して、相関下での関数の期待積が漸近的に正規分布の極値確率に従い、社会選択および加法的組合せ論においてタイトな境界を与えることである。特に、$k$ 個の候補に対するコンドルセ投票では、一意の勝者が出る確率が $k^{-1+o(1)}$ に一致し、これは多数決関数の挙動と一致する。

ABSTRACT

In this paper we derive tight bounds on the expected value of products of {\em low influence} functions defined on correlated probability spaces. The proofs are based on extending Fourier theory to an arbitrary number of correlated probability spaces, on a generalization of an invariance principle recently obtained with O'Donnell and Oleszkiewicz for multilinear polynomials with low influences and bounded degree and on properties of multi-dimensional Gaussian distributions. The results derived here have a number of applications to the theory of social choice in economics, to hardness of approximation in computer science and to additive combinatorics problems.

研究の動機と目的

• 相関確率空間上に定義された低影響関数の期待積に対するタイトな境界を導出すること。
• フーリエ解析および不変性原理を複数の相関する確率空間へ拡張すること。
• これらの境界を社会選択理論に応用し、特に投票結果の予測およびコンドルセ集約の分析に用いること。
• 積空間 $\mathbb{Z}_m^n$ のような空間における線形関係を満たす $k$-組の漸近的等分布性に関する結果を確立すること。
• 低影響集合に対して、法 $m$ における線形関係を満たす $k$-組の数が、同じ測度を持つランダム集合と漸近的に同一であることを示すこと。

提案手法

• 低影響関数を解析するために、複数の相関する確率空間へのフーリエ解析の拡張。
• 低影響かつ有界次数の多変量多項式に対する一般化された不変性原理の適用。
• 多変量正規分布の性質を用いて、極値相関値を特徴づける。
• 基礎となる確率空間の相関構造と $\mathbb{E}[f_i]$ を用いて、$\mathbb{E}[f_1 \cdots f_k]$ の境界を導出する。
• 有界数の座標を変更することで、低影響関数から一般関数へ結果を再帰的に拡張する。
• 不変性原理および正規分布近似を用いて、ハイパーグラフおよび積空間における算術的関係に結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 相関確率空間上に定義された低影響関数の期待積に対する最もタイトな境界は何か？
• RQ2 集約関数の影響構造と投票結果の予測可能性の関係は何か？
• RQ3 低影響投票方式下で、$k$ 個の候補に対するコンドルセ投票が一意の勝者をもたらす漸近的確率は何か？
• RQ4 $\mathbb{Z}_m^n$ における線形関係を満たす $k$-組の数が漸近的にランダムな場合と一致する条件は何か？
• RQ5 積空間における低影響集合の相関構造は、正規分布測度によって近似可能か？その算術的関係への影響は何か？

主な発見

• コンドルセ投票で $k$ 個の候補に対して一意の勝者が得られる確率は $k^{-1+o(1)}$ であり、これは多数決関数の漸近的挙動と一致する。
• 任意の低影響集合 $A \subset \mathbb{Z}_m^n$ に対して、$\sum_{i=1}^k x_i \in B^n \mod m$ を満たす $k$-組 $(x_1,\ldots,x_k) \in A^k$ の数は $(1 \pm o(1)) \mathbb{P}[A]^k (m^{k-1} |B|)^n$ に等しく、これはランダムな場合と一致する。
• 一般の集合 $A$ に対しては、サイズ $O(1)$ の座標集合 $S, T$ が存在し、$A$ を $S$ および $T$ で変更することで得られる集合 $\underline{A}^S$ および $\overline{A}^T$ に対しても、同じ漸近的個数が成立する。
• 一部の選挙者をサンプリングする割合 $\rho$ による投票結果の予測可能性は、低影響関数の中で多数決関数が最大である。
• $k \geq 3$ かつ関係が対ごとに独立で連結であるとき、線形関係を満たす $k$-組の数は、集合の構造に依存せず、その測度のみに依存する、低影響集合に対して成立する。
• 多項式関係 $PQ = 0$ が $\mathbb{Z}_m^n$ で成り立つ場合、$A^k$ 内で関係を満たす $k$-組の数は、定数倍の $|R|^n$ で抑えられる。ここで $R$ は解集合であり、$A$ が低影響である場合に限る。