The multivariate Brown–Colbourn conjecture for cographic matroids

About 24 years old · traced to

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}e∈Eq=\{q_e\}_{e\in E}, define the multivariate reliability polynomial by

Rel⁡S(q)=∑A∈SqA(1−q)E∖A.\operatorname{Rel}_{\mathcal{S}}(q)=\sum_{A\in\mathcal{S}}q^A(1-q)^{E\setminus A}.

Let PS(x)=∑A∈SxAP_{\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

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

Equivalently, if GG is loopless and Re⁡xe<−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.

References

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.