[論文レビュー] Determinantal probability measures

Russell Lyons|arXiv (Cornell University)|Apr 26, 2002

Random Matrices and Applications参考文献 58被引用数 8

ひとこと要約

本稿は、離散的行列式確率測度の基礎的な組合せ論的および確率的性質を確立し、マトロイド、負の相関、直交射影との深い関係を示している。このような測度は、ℓ²(E) 上の正の収縮から自然に生じることを証明し、無限マトロイドにおける尾自明性、確率的優越性、完全性といった重要な結果を示している。応用としては、スパニングツリーとZⁿ上の定常過程が含まれる。

ABSTRACT

Determinantal point processes have arisen in diverse settings in recent years and have been investigated intensively. We study basic combinatorial and probabilistic aspects in the discrete case. Our main results concern relationships with matroids, stochastic domination, negative association, completeness for infinite matroids, tail triviality, and a method for extension of results from orthogonal projections to positive contractions. We also present several new avenues for further investigation, involving Hilbert spaces, combinatorics, homology, and group representations, among other areas.

研究の動機と目的

• 離散的行列式確率測度の基本的な組合せ論的および確率的性質を確立すること。
• 行列式測度とマトロイド理論との関係、特にスパニングツリーと独立集合の文脈での関係を調査すること。
• ヒルベルト空間の文脈において、直交射影から一般の正の収縮への結果の拡張を図ること。
• 無限の設定における確率的優越性、負の相関、尾自明性を調査すること。
• 有限から無限系への結果の拡張のための枠組みを提供し、組合せ論、ホモロジー、群表現論における新しい研究方向を開くこと。

提案手法

• マトロイドに関連する単体的複体の境界作用素と外積代数を用いて、基底および独立集合上の自然な確率測度を定義する。
• 転送電流定理を適用し、グラフ上の均一スパニングツリーが転送電流行列を介して行列式測度を生じることを示す。
• すべての有限集合 A ⊆ E に対して P[A ⊆ S] = det(Q|A) を満たす条件により、行列式測度を特徴付ける。ここで Q は ℓ²(E) 上の正の収縮である。
• フーリエ変換を用いて、双対群 Γ̂ 上の可測関数 f を、2^Γ 上の行列式測度へと乗算作用素を通じて関連付ける。
• 単調カップリングとエントロピー解析を用いて、Zⁿ 上のこのような測度が誘導する力学系を研究する。
• 包含除算原理を適用し、行列式公式から全シリンダー確率を導出する。

実験結果

リサーチクエスチョン

• RQ1 行列式測度は、マトロイド構造とどのように関係しているのか。特に、基底および独立集合上の自己同型不変測度の観点から。
• RQ2 f が双対群 Γ̂ 上の可測関数であるとき、力学系 (2^Γ, P^f, Γ) のエントロピーは何か。
• RQ3 この系のエントロピーは凹性を示すのか。すなわち、h((f+g)/2) ≥ (h(f)+h(g))/2 が成り立つか。
• RQ4 0 ≤ f ≤ g ≤ 1 のとき、P^f と P^g の間に明示的な単調カップリングを構成できるか。
• RQ5 Γ = Z の場合、測度 P^f は、平行移動および反転に関して f をどれだけまで特定できるか。

主な発見

• 行列式測度は、すべての有限集合 A ⊆ E に対して P[A ⊆ S] = det(Q|A) を満たすという条件によって一意に決定され、このような測度が存在するための必要十分条件は、Q が ℓ²(E) 上の正の収縮であることである。
• 有限グラフ上の均一スパニングツリー測度は、転送電流定理により、転送電流行列 Q と等しい行列式測度である。
• 任意の ℓ²(E) 上の正の収縮 Q に対して、関連する行列式測度は負の相関を満たし、尾σ-代数が自明である。
• Zⁿ のような無限群では、力学系 (2^Γ, P^f, Γ) はバーナウリシフトであるため、エントロピーによって完全に特徴付けられる。
• この系のエントロピーは、Toeplitz行列を含む制限されたケースの支持から、凹性が予想されている。
• 0 ≤ f ≤ g ≤ 1 のとき、P^f と P^g の間に単調カップリングが存在し、f = pg（定数 p）のとき、点ごとの最小値として明示的に実現できる。