[論文レビュー] Negatively correlated random variables and Mason's conjecture

David G. Wagner|ArXiv.org|Feb 28, 2006

Markov Chains and Monte Carlo Methods参考文献 31被引用数 5

ひとこと要約

この論文は、重み関数が集合系上でレイリー条件を満たすならば、その重み関数は強い要素間の負の相関を示し、その構造が凸δ–マトロイドであり、重み関数が対数的下位単調であることを確立する。主な貢献は、2-和がマトロイドのレイリー条件を保つことを示したことであり、これによりすべての系列–並列マトロイドがポッツ–レイリーであることが示され、もし対数的凹性に関する大予想が成り立つならば、このクラスにおけるメイソンの予想が成立することを示唆する。

ABSTRACT

Mason's Conjecture asserts that for an $m$--element rank $r$ matroid $\M$ the sequence $(I_k/\binom{m}{k}: 0\leq k\leq r)$ is logarithmically concave, in which $I_k$ is the number of independent $k$--sets of $\M$. A related conjecture in probability theory implies these inequalities provided that the set of independent sets of $\M$ satisfies a strong negative correlation property we call the \emph{Rayleigh condition}. This condition is known to hold for the set of bases of a regular matroid. We show that if $ω$ is a weight function on a set system $\Q$ that satisfies the Rayleigh condition then $\Q$ is a convex delta--matroid and $ω$ is logarithmically submodular. Thus, the hypothesis of the probabilistic conjecture leads inevitably to matroid theory. We also show that two--sums of matroids preserve the Rayleigh condition in four distinct senses, and hence that the Potts model of an iterated two--sum of uniform matroids satisfies the Rayleigh condition. Numerous conjectures and auxiliary results are included.

研究の動機と目的

• 確率変数の負の相関とマトロイド理論における対数的凹性との間の関係を調査すること。
• 重み関数にレイリー条件が成り立つと、それが対数的下位単調性および凸δ–マトロイド構造といった構造的性質を示すかを検討すること。
• 2-和操作が、基底、独立集合、生成集合など複数のマトロイドクラスにおいてレイリー条件を保つことを示すこと。
• 系列–並列マトロイドおよびグラフ的マトロイドが、対数的凹性に関する大予想が成り立つならば、メイソンの予想を満たす可能性を示す証拠を提供すること。
• Potts–レイリー、I–レイリー、B–レイリー条件をマトロイドクラスにわたって結びつける階層的予想を提示・分析すること。

提案手法

• 地面集合にインデックスが付いた確率変数に対する強い2項負の相関性質としてレイリー条件を導入する。
• 大予想の同値形を導くために重み関数の対称化を定義・分析する。
• フェルミオン変数と行列式を用いてグラフのポッツモデルの分配関数を表現するため、グラスマン–ベレジン積分形式を用いる。
• ビネット–コーシーの恒等式および主小行列式の行列木定理を用いて、生成関数と符号付き接続行列の行列式を関連付ける。
• 2-和のマトロイドが、基底、独立集合、生成集合、およびポッツモデルの4つの異なる意味でレイリー条件を保つことを証明する。
• 一様マトロイドおよび特定のグラフ（例：K₄、K₆、W₇）がポッツ–レイリーであることを示し、このクラスが双対、部分マトロイド、および2-和に関して閉じていることを示す。

実験結果

リサーチクエスチョン

• RQ1 重み関数がレイリー条件を満たすならば、その台集合は凸δ–マトロイドであるか？
• RQ2 正規化された独立集合の数の対数的凹性に関する大予想は、対称化された重み関数における局所的条件に還元可能か？
• RQ3 マトロイドの2-和は、独立集合、生成集合、およびポッツモデルにおいてレイリー条件を保つか？
• RQ4 すべての系列–並列マトロイドはポッツ–レイリーであり、大予想が成り立つならば、メイソンの予想を満たすか？
• RQ5 I–レイリーマトロイドのクラスは部分マトロイドおよび2-和に関して閉じており、すべての平面的マトロイドやすべての正則マトロイドを含むか？

主な発見

• 重み関数がレイリー条件を満たすならば、その台集合は凸δ–マトロイドであり、重み関数は対数的下位単調である。
• 大予想は、レイリー重み関数の対称化がレイリー条件を保つという主張と同値である。
• 2-和のマトロイドは、基底、独立集合、生成集合、およびポッツモデルの4つの意味でレイリー条件を保つ。
• すべての系列–並列マトロイドはポッツ–レイリーであり、大予想が成り立つならば、メイソンの予想を満たす。
• グラフの生成森の数の生成関数は、ポッツモデルのもとで実根を持つことが示され、グラフにおけるI–レイリー予想を支持する。
• ポッツ–レイリーマトロイドのクラスは、すべての一様マトロイド、K₄を含み、双対、部分マトロイド、および2-和に関して閉じている。