Lorentzianity conjecture for graph-coloring generating polynomials

Let GG be a graph with vertex set VV, and for each vVv\in V let S(v)S(v) be its list of available colors. Let pp_\varnothing be the polynomial recursively defined from the associated random-walk data, and let C{\cal C}_\varnothing denote the corresponding cone. The Lorentzianity conjecture. There is a constant C>0C>0 such that, if

S(v)deg(v)+C|S(v)|\geq \operatorname{deg}(v)+C

for every vVv\in V, then pp_\varnothing is C{\cal C}_\varnothing-Lorentzian. This conjecture is presented as a consequence suggested by the paper's family of Lorentzian polynomials; the source gives no resolution status.

Sources & referencesView supporting material

Primary source

Jonathan Leake and Shayan Oveis Gharan, “Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition”, arXiv:2510.06549 (2026).

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.