Equality of hypergraph and graph zero-free loci

For a positive integer Δ\Delta, let UΔ\mathcal U_\Delta be the maximal simply connected open subset of C\mathbb C containing 00 that is zero-free for the independence polynomials of all graphs of maximum degree Δ\Delta. Let UΔ,k\mathcal U_{\Delta,k} be the analogous set for kk-uniform hypergraphs, and let UΔ,k\mathcal U_{\Delta,\geq k} be the analogous set for hypergraphs whose edge sizes are at least kk. Thus UΔ=UΔ,2\mathcal U_\Delta=\mathcal U_{\Delta,2}.

Zero-free locus conjecture. The zero-free locus of hypergraphs of maximum degree Δ\Delta is identical to the zero-free locus of graphs of maximum degree Δ\Delta:

UΔ,2=UΔ.\mathcal U_{\Delta,\geq 2}=\mathcal U_\Delta.

This asks whether allowing arbitrary edge sizes gives no smaller zero-free locus than graphs. The paper notes that its general zero-free disk theorem gives a disk of radius λs(Δ+1)\lambda_s(\Delta+1) inside UΔ,2\mathcal U_{\Delta,\geq 2}, but the equality of the full loci remains open.

Sources & referencesView supporting material

Primary source

David Galvin, Gwen McKinley, Will Perkins, Michail Sarantis and Prasad Tetali, “On the zeroes of hypergraph independence polynomials”, arXiv:2211.00464 (2022).

Additional references

2 papers in this index state this conjecture (2022). The statement above is taken from the most recent of them; the others are arXiv:2207.03901.

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.