Equality of hypergraph and graph zero-free loci

At least 3 years old · documented by

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.

References

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.