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

From papers

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 k2k\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Δ1k1,\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 k3k\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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.