[论文解读] Zeros of reliability polynomials and f-vectors of matroids

David G. Wagner|ArXiv.org|Feb 9, 1998

Commutative Algebra and Its Applications参考文献 13被引用 6

一句话总结

本文证明了任意串并联网络的可靠性多项式的所有复根均位于闭单位圆盘内，从而验证了布朗-科伯恩猜想的一个特例。通过应用赫尔米特-比勒定理，并结合关于具有实非正零点多项式的高阶交错理论，作者建立了该根位置性质，并推导出无圈环（loopless matroids）的f-向量的新不等式，尤其在余图（cographic）情形下。

ABSTRACT

For a finite multigraph G, the reliability function of G is the probability R_G(q) that if each edge of G is deleted independantly with probability q then the remaining edges of G induce a connected spanning subgraph of G; this is a polynomial function of q. In 1992, Brown and Colbourn conjectured that for any connected multigraph G, if the complex number q is such that R_G(q)=0 then |q|<=1. We verify that this conjectured property of R_G(q) holds if G is a series-parallel network. The proof is by an application of the Hermite-Biehler Theorem and development of a theory of higher-order interlacing for polynomials with only real nonpositive zeros. We conclude by establishing some new inequalities which are satisfied by the f-vector of any matroid without coloops, and by discussing some stronger inequalities which would follow (in the cographic case) from the Brown-Colbourn Conjecture, and are hence true for cographic matroids of series-parallel networks.

研究动机与目标

• 验证串并联网络的可靠性多项式零点位置的布朗-科伯恩猜想。
• 为具有实非正零点的多项式发展高阶交错理论。
• 建立无圈环的f-向量所满足的新不等式。
• 探讨若布朗-科伯恩猜想成立，将在余图拟阵情形下导出的更强f-向量不等式。
• 将可靠性多项式根的分布与拟阵及图的结构特性相联系。

提出的方法

• 应用赫尔米特-比勒定理分析可靠性多项式的根分布。
• 引入并利用具有实非正零点多项式的高阶交错理论。
• 利用串并联网络的结构特性，确保满足所需的交错条件。
• 将可靠性多项式表征为保持连通性的边子集的生成函数。
• 结合根位置结果与组合约束，推导无圈环f-向量的不等式。
• 将结果与串并联网络的余图拟阵相联系，其中猜想蕴含更强的f-向量不等式。

实验结果

研究问题

• RQ1 串并联网络的可靠性多项式的所有复根是否都位于闭单位圆盘内？
• RQ2 能否为仅具有实非正零点的多项式发展高阶交错理论，以分析根的位置？
• RQ3 无圈环的f-向量满足哪些不等式，它们与可靠性多项式有何关联？
• RQ4 布朗-科伯恩猜想在余图拟阵情形下是否蕴含更强的f-向量不等式？
• RQ5 串并联网络的结构特性如何约束其可靠性多项式根的位置？

主要发现

• 任意串并联网络的可靠性多项式的所有复根均满足 |q| ≤ 1，从而验证了该类别的布朗-科伯恩猜想。
• 为具有实非正零点的多项式发展了一套新的高阶交错理论，使根位置分析成为可能。
• 所有无圈环均满足其f-向量的某些不等式，这些不等式由可靠性多项式的根分布推导而来。
• 在余图情形下，布朗-科伯恩猜想蕴含更强的f-向量不等式，因此对串并联网络的余图拟阵成立。
• 赫尔米特-比勒定理被有效应用于证明：在适当条件下，串并联网络的可靠性多项式具有交错的实根。
• 任意无圈环的f-向量满足一组不等式，这些不等式推广了组合交换代数中的已知界。