Lorentzianity conjecture for graph-coloring generating polynomials

About 1 year old · traced to

Let GG be a graph with vertex set VV, and for each v∈Vv\in V let S(v)S(v) be its list of available colors. Let p∅p_\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 v∈Vv\in V, then p∅p_\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.

References

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.