[论文解读] Negatively correlated random variables and Mason's conjecture

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

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

一句话总结

本文证明，若一个集合系上的权函数满足Rayleigh条件（即元素间具有强负相关性），则其底层结构为凸delta–matroid，且该权函数为对数次模函数。关键贡献在于证明了拟阵的两两求和操作保持Rayleigh条件，从而表明所有串联-并联拟阵均为Potts–Rayleigh拟阵，若对数凹性大猜想成立，则该结论将支持Mason猜想在此类拟阵上的成立。

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.

研究动机与目标

• 研究随机变量中的负相关性与拟阵理论中对数凹性之间的联系。
• 探讨权函数上的Rayleigh条件是否蕴含结构性质，如对数次模性和凸delta–matroid结构。
• 证明两两求和操作在多个拟阵类（包括基、独立集和生成集）中保持Rayleigh条件。
• 为串联-并联拟阵和图拟阵可能满足Mason猜想提供证据，前提是基于对数凹性的大猜想成立。
• 提出并分析一个猜想层级，将Potts–Rayleigh、I–Rayleigh和B–Rayleigh条件在不同拟阵类之间建立联系。

提出的方法

• 将Rayleigh条件引入为定义在基集上的随机变量之间强成对负相关性的性质。
• 定义并分析权函数的对称化形式，以推导大猜想的等价形式。
• 利用Grassmann–Berezin积分形式，通过费米子变量和矩阵行列式表达图的Potts模型配分函数。
• 应用Binet–Cauchy恒等式和主子式矩阵–树定理，将生成函数与带符号关联矩阵的行列式联系起来。
• 证明拟阵的两两求和在四种不同意义上保持Rayleigh条件：对基、独立集、生成集以及Potts模型而言。
• 证明均匀拟阵和某些图（如K₄、K₆、W₇）为Potts–Rayleigh，且该类在对偶、子式和两两求和下封闭。

实验结果

研究问题

• RQ1 若权函数满足Rayleigh条件，其支撑是否为凸delta–matroid？
• RQ2 对归一化独立集计数的对数凹性大猜想，能否约化为对称化权函数上的局部条件？
• RQ3 拟阵的两两求和是否在独立集、生成集和Potts模型上保持Rayleigh条件？
• RQ4 所有串联-并联拟阵是否均为Potts–Rayleigh拟阵，且若大猜想成立，则是否满足Mason猜想？
• RQ5 I–Rayleigh拟阵类是否在子式和两两求和下封闭，且是否包含所有平面拟阵或所有正则拟阵？

主要发现

• 若权函数满足Rayleigh条件，则其支撑为凸delta–matroid，且该权函数为对数次模函数。
• 大猜想等价于：Rayleigh权函数的对称化形式仍保持Rayleigh条件。
• 拟阵的两两求和在四种意义上均保持Rayleigh条件：对基、独立集、生成集以及Potts模型而言。
• 所有串联-并联拟阵均为Potts–Rayleigh拟阵，因此若大猜想成立，则将满足Mason猜想。
• 在Potts模型下，图的生成森林数量的生成函数具有实根，支持图的I–Rayleigh猜想。
• Potts–Rayleigh拟阵类包含所有均匀拟阵、K₄，且在对偶、子式和两两求和下封闭。