[論文レビュー] Determinantal Probability: Basic Properties and Conjectures

Russell Lyons|arXiv (Cornell University)|Jun 10, 2014

Bayesian Methods and Mixture Models参考文献 43被引用数 28

ひとこと要約

本稿は、外積代数と直交射影を用いて、行列式確率測度および点過程の体系的で洗練された基礎的理論を提示する。その中で、確率的優越性、有限依存性、群論および$β_1$-ベッチ数との関係についての主要な結果を確立するとともに、sofic群の文脈における同型、カップリング、Fuglede-Kadison行列式に関する未解決の予想を提示する。

ABSTRACT

We describe the fundamental constructions and properties of determinantal probability measures and point processes, giving streamlined proofs. We illustrate these with some important examples. We pose several general questions and conjectures.

研究の動機と目的

• 外積代数と直交射影を用いて、行列式確率測度および点過程の基礎的理論を体系的かつ洗練された形で再構築すること。
• 最小限の技術的枠組みの中で、確率的優越性、負の相関、有限依存性といった基本的性質を確立すること。
• sofic群、コスト、$β_1$-ベッチ数を含む群論の深い結果と行列式過程を結びつけること。
• 同型がベルヌーイシフトに一致するか、単調カップリング、Fuglede-Kadison行列式による最適な確率的境界といった未解決の予想を提示し、それらを動機づけること。

提案手法

• 外積代数を用いて多重ベクトルとウェッジ積を定義し、直交射影から自然に行列式測度を構成する。
• 恒等式$\mathbb{P}[A \subseteq \mathfrak{S}] = \det(Q|_A)$を用いて、$\ell^2(E)$上の正の収縮作用素による行列式測度を定義する。
• 文献[33]の手法を採用し、ゴールドマンのアイデアを応用して、近似を用いて離散的結果を連続的設定へ拡張する。
• Fuglede-Kadison行列式$\mathsf{FK}(Q)$を用いて、不変行列式過程における予想的な確率的境界を定式化する。
• $\bar{d}$-距離を用いて、特にsofic群の文脈における不変過程の収束を研究する。
• 自由均一生成森（FSF）の行列式測度としての表現を用いて、期待次数および等周性に関する結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 sofic群上での有限依存性・不変性を満たす行列式過程は、すべてベルヌーイシフトと同型であるか？
• RQ2 不変行列式過程$Q_1 \preceq Q_2$の任意のペアは、$\Gamma$-不変カップリングにより単調にカップリング可能か？
• RQ3 Fuglede-Kadison行列式は、sofic群上の行列式過程に対して最適な確率的境界を与えるか？
• RQ4 有限生成群のコストは$\beta_1(\Gamma) + 1$に等しいか？
• RQ5 $\mathbb{Z}$上での$m$-依存行列式過程は、常にi.i.d.過程の$(m+1)$-ブロック因子か？

主な発見

• Cayley群$\Gamma$の自由均一生成森における頂点の期待次数は、生成集合とは無関係に$2\beta_1(\Gamma) + 2$に等しい。
• 任意の有限対称生成集合$S$に対して、すべての有限非空$A \subset \Gamma$に対して$|SA \setminus A| > 2\beta_1(\Gamma)|A|$が成り立つ。
• $\Gamma$-不変かつ有限依存性を満たす行列式測度$\mathbf{P}^Q$が存在し、FSFを確率的に優越し、期待次数がFSFの期待次数から$\epsilon$以内に収まる。
• $\Gamma$がsoficであれば、$\bar{d}(\mathbf{P}^Q, \mathsf{FSF}) \leq \epsilon$が成り立ち、$\bar{d}$-距離における近似が示される。
• $Q$と$Q'$が可換であるとき、$\bar{d}(\mathbf{P}^Q, \mathbf{P}^{Q'}) \leq \|Q - Q'\|_1$が成り立つが、一般にはその成立を予想している。
• 予想5.7は、$\mathbf{P}^Q$が$\mathbf{P}^{I - \mathsf{FK}(I - Q)I}$を確率的に優越し、$\mathbf{P}^{\mathsf{FK}(Q)I}$を確率的に劣下することを主張し、これらの境界が最適であると述べている。