The multivariate Brown–Colbourn conjecture for cographic matroids

Let G=(V,E)G=(V,E) be a connected graph, let M(G)M^*(G) be its cographic matroid, and let I(M(G))\mathcal{I}(M^*(G)) denote its independent sets. For channel-failure probabilities q={qe}eEq=\{q_e\}_{e\in E}, define the multivariate reliability polynomial by

RelS(q)=ASqA(1q)EA.\operatorname{Rel}_{\mathcal{S}}(q)=\sum_{A\in\mathcal{S}}q^A(1-q)^{E\setminus A}.

Let PS(x)=ASxAP_{\mathcal{S}}(x)=\sum_{A\in\mathcal{S}}x^A be the generating polynomial.

Multivariate Brown–Colbourn conjecture. If qe>1|q_e|>1 for all ee, then

RelI(M(G))(q)0.\operatorname{Rel}_{\mathcal{I}(M^*(G))}(q)\ne0.

Equivalently, if GG is loopless and Rexe<1/2\operatorname{Re}x_e<-1/2 for all ee, then

PI(M(G))(x)0.P_{\mathcal{I}(M^*(G))}(x)\ne0.

This is a multivariate nonvanishing conjecture for all-terminal reliability of connected graphs, extending the Brown–Colbourn property from the univariate setting. The source presents it as the authors’ “Holy Grail”; no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Young-Bin Choe, James G. Oxley, Alan D. Sokal and David G. Wagner, “Homogeneous multivariate polynomials with the half-plane property”, arXiv:math/0202034 (2002).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.