[論文レビュー] The convex class of realisable unit covariances

Raphaël Lachièze-Rey|arXiv (Cornell University)|Jan 18, 2013

Point processes and geometric inequalities参考文献 12被引用数 3

ひとこと要約

この論文は、有限な離散確率的集合における実現可能なユニット分散共分散の凸多面体を特徴づけ、マセロンの予想（特定の組合せ的条件が実現可能性を十分に特徴づけるという主張）が誤りであることを証明する。実現可能なユニット分散共分散の集合が凸多面体をなすことを確立し、$k < N$ のとき、任意の $k$ 個の極値点の凸包は、$N$ 要素集合の多面体の境界上に位置することを示している。

ABSTRACT

This paper concerns the characterisation of second order marginals for random sets in a discrete setting. Under the instance of unit covariances, this problem possesses a combinatorial symmetry, exploited jointly in the companion paper to give a heuristic procedure to check realisability. In particular we disprove Matheron's conjecture, and explicit partially the structure of the convex body formed by realisable unit covariances in a finite set.

研究の動機と目的

• 有限集合上での確率的バイナリ場が実現可能な2次周辺分布（ユニット分散共分散）の集合を特徴づけること。
• 離散確率的集合モデルにおけるユニット分散共分散の長年の実現可能性問題を解明すること。
• マセロンの予想（特定の組合せ的条件が実現可能なユニット分散共分散を完全に特徴づける）が誤りであることを反証すること。
• 凸幾何学と多面体組合せ論の道具を用いて、実現可能なユニット分散共分散の凸体の幾何的構造を記述すること。

提案手法

• 論文は、ユニット場が単位対角を持つ対称的で半正定値の共分散行列を誘導することを踏まえ、実現可能なユニット分散共分散の集合を $\mathbb{R}^{\mathcal{X} \times \mathcal{X}}$ 内の凸多面体 $\mathscr{U}_{\mathcal{X}}^*$ としてモデル化する。
• 対称関数 $\rho$ が実現可能であるための必要十分条件は、すべての $\alpha \in \mathscr{F}_{\mathcal{X}}'$ に対して $\sum_{x,y} \alpha_{x,y} \rho_{x,y} \geq \varkappa_\alpha$ が成り立つことである。ここで $\varkappa_\alpha = \inf_{{\mathsf{u}} \in \mathsf{B}_{\mathcal{X}}} \sum_{x,y} \alpha_{x,y} \mathsf{u}_x \mathsf{u}_y$ である。
• 凸幾何学的手法を用いる：極値点（頂点）、面、多面体の $k$ 階ハイパーグラフ構造を用いて、境界および内部構造を分析する。
• 任意の $k < N$ に対して、極値点の $k$ 個の組の凸包が、$\mathscr{U}_N^*$ の境界上にあることを証明する。これは、誘導される共分散行列が特異的であるためである。
• $k < N$ のとき、$k$ 個のベクトル間に非自明な線形従属関係が存在することに依拠し、それにより対応する確率的場がほとんど確実に $\sum_j \lambda_j X_j = 0$ を満たすことが示され、共分散行列が特異的であることが導かれる。
• 多面体の $V$-記述（頂点）と $H$-記述（半空間）の双対性を用いて多面体を記述し、アフィン超平面の交差を介して境界の構造的性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 マセロンの予想（特定の組合せ的不等式の集合が、すべての有限集合に対して実現可能なユニット分散共分散を完全に特徴づける）は、真であるか？
• RQ2 $N$ 要素集合に対する実現可能なユニット分散共分散の凸体 $\mathscr{U}_N^*$ の完全な幾何的構造は何か？
• RQ3 どの $k$ 個の極値点の組に対して、その凸包が $\mathscr{U}_N^*$ の境界上にあるか？
• RQ4 与えられた単位対角を持つ対称関数 $\rho$ の実現可能性は、有限個の線形不等式系によって判定可能か？
• RQ5 共分散行列の特異性は、対応する確率的場の組合せ的構造とどのように関係するか？

主な発見

• 論文は、マセロンの予想を反証し、彼が提示した組合せ的条件が一般には実現可能性の必要条件ではあるが十分条件ではないことを示している。
• 実現可能なユニット分散共分散の集合は、凸多面体 $\mathscr{U}_N^*$ をなす。この多面体は、確定的 $\{-1,1\}^N$-値場に対応する頂点によって完全に特徴づけられる。
• 任意の $k < N$ に対して、任意の $k$ 個の頂点の凸包は、$\mathscr{U}_N^*$ の境界上に完全に含まれる。これは、誘導される共分散行列が特異的であるためである。
• $\mathscr{U}_N^*$ の $k$ 階ハイパーグラフ構造は完全である：任意の $k$ 個の極値点の組は、多面体の境界上に含まれる単体を生成する。
• $\mathscr{U}_N^*$ の境界構造は線形従属性によって支配される：$k < N$ のとき、$k$ 個の確定的ベクトルに支持される任意の確率的場は、ほとんど確実に非自明な線形制約を満たし、共分散行列を特異的にする。
• 多面体の面の有限記述に基づき、凸幾何学的考察を用いたヒューリスティックなアルゴリズムによる実現可能性テストの理論的基盤を提供している。