[論文レビュー] Zeros of reliability polynomials and f-vectors of matroids

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

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

ひとこと要約

本稿は、任意の直列並列ネットワークの信頼性多項式のすべての複素根が閉単位円板内にあることを証明し、Brown–Colbourn予想の特殊ケースを確認した。Hermite–Biehler定理と、実非正の零点のみをもつ多項式に対する高階相互挿入の新理論を用いて、著者たちはこの根の位置特性を確立し、特にcographicの場合において、ループを含まないマトロイドのf-ベクトルに関する新たな不等式を導出した。

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.

研究の動機と目的

• 直列並列ネットワークの信頼性多項式の零点の位置に関するBrown–Colbourn予想を検証すること。
• 実非正の零点のみをもつ多項式に対する高階相互挿入の理論を構築すること。
• コループを含まないマトロイドのf-ベクトルが満たす新たな不等式を確立すること。
• cographicマトロイドの場合に、Brown–Colbourn予想から導かれるより強いf-ベクトル不等式を探索すること。
• 信頼性多項式の根の分布とマトロイドおよびグラフの構造的性質との関連を明らかにすること。

提案手法

• 信頼性多項式の根の分布を分析するためにHermite–Biehler定理を適用する。
• 実非正の零点のみをもつ多項式に対する高階相互挿入の理論を導入し、それを活用する。
• 直列並列ネットワークの構造的性質を用いて、必要な相互挿入条件が満たされることを保証する。
• 接続性を保つ辺部分集合の上での生成関数として信頼性多項式を特徴付ける。
• 根の位置の結果と組合せ的制約を用いて、ループを含まないマトロイドのf-ベクトルに対する不等式を導出する。
• 直列並列ネットワークのcographicマトロイドに結果を関連させ、ここで予想がより強いf-ベクトル不等式を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 直列並列ネットワークの信頼性多項式のすべての複素根は、閉単位円板内にあるか？
• RQ2 実非正の零点のみをもつ多項式に対して、根の位置を分析できる高階相互挿入の理論を構築できるか？
• RQ3 ループを含まないマトロイドのf-ベクトルが満たす不等式は何か？ そして信頼性多項式とどのように関係するか？
• RQ4 Brown–Colbourn予想はcographicマトロイドの場合に、より強いf-ベクトル不等式を意味するか？
• RQ5 直列並列ネットワークの構造的性質は、その信頼性多項式の根をどのように制約するか？

主な発見

• 任意の直列並列ネットワークの信頼性多項式のすべての複素根は |q| ≤ 1 を満たし、このクラスについてBrown–Colbourn予想が確認された。
• 実非正の零点のみをもつ多項式に対する高階相互挿入の新理論が構築され、根の位置分析が可能になった。
• すべてのループを含まないマトロイドは、信頼性多項式の根の分布から導かれるある種のf-ベクトル不等式を満たす。
• cographicの場合、Brown–Colbourn予想はより強いf-ベクトル不等式を意味し、したがって直列並列ネットワークのcographicマトロイドに対してもそれが成立する。
• 適切な条件下で、Hermite–Biehler定理が効果的に適用され、直列並列ネットワークの信頼性多項式が実根を交互に持つことが示された。
• 任意のループを含まないマトロイドのf-ベクトルは、組合せ的コンmutティブ代数における既知の境界を一般化する不等式の集合を満たす。