Galvin–McKinley–Perkins–Sarantis–Tetali zero-free region conjecture for linear hypergraphs

About 3 years old · traced to

Let G=(V,E)G=(V,E) be a hypergraph, where a hypergraph is kk-uniform if every edge has size kk, and linear if each pair of edges intersects in at most one vertex. An independent set is a set of vertices containing no edge, and its independence polynomial is

ZG(λ)=∑I∈\cI(G)λ∣I∣.Z_G(\lambda)=\sum_{I\in\cI(G)}\lambda^{\lvert I\rvert}.

The maximum degree of GG is denoted by Δ\Delta.

Galvin–McKinley–Perkins–Sarantis–Tetali conjecture. For each k≥2k\geq 2, there exists a constant Ck>0C_k>0 such that, if GG is a kk-uniform linear hypergraph of maximum degree Δ\Delta and

∣λ∣≤CkΔ−1k−1,\lvert\lambda\rvert\leq C_k\Delta^{-\frac{1}{k-1}},

then

ZG(λ)≠0.Z_G(\lambda)\neq 0.

This conjecture proposes an improved zero-free region for the independence polynomial of linear hypergraphs. The paper's abstract states that it disproves this conjecture by constructing, for every k≥3k\geq 3, kk-uniform linear hypergraphs with arbitrarily large maximum degree having a root of modulus O(log⁡ΔΔ)O\left(\frac{\log\Delta}{\Delta}\right), so the conjecture is refuted.

References

Primary source

Shengtong Zhang, “Hypergraph independence polynomials with a zero close to the origin”, arXiv:2305.17822 (2025).

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.