Zeros of Reliability Polynomials and f-vectors of Matroids

  • Authors:
  • David G. Wagner

  • Affiliations:
  • Department of Combinatorics and Optimization, University of Waterloo, Waterloo, Ontario, N2L 3G1, Canada (e-mail: dgwagner@math.uwaterloo.ca)

  • Venue:
  • Combinatorics, Probability and Computing
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

For a finite multigraph G, the reliability function of G is the probability RG(q) that if each edge of G is deleted independently 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 q ∈ ℂ is such that RG(q) = 0 then ∣q∣ ≤ 1. We verify that this conjectured property of RG(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.