Zero-free disk conjecture for matching moment generating functions

Less than 1 year old · traced to

Let Fk,m,n(t)=E(exp⁡(t⋅Ck,m,n))F_{k,m,n}(t)=\mathbb{E}(\exp(t\cdot C_{k,m,n})) be the moment generating function of the minimum cost Ck,m,nC_{k,m,n} of a kk-matching in the random bipartite matching model. Zero-free disk conjecture. The moment generating function Fk,m,n(t)F_{k,m,n}(t) has no complex zeros in the open disk of radius mn/kmn/k centered at the origin. The point t=mn/kt=mn/k is the location of the first pole of Fk,m,n(t)F_{k,m,n}(t), so the conjecture is equivalently that the Taylor series for Fk,m,n(t)F_{k,m,n}(t) and log⁡Fk,m,n(t)\log F_{k,m,n}(t) have the same radius of convergence. The source presents this as a conjecture supported by numerical computations; no proof or disproof is given.

References

Primary source

Johan Wästlund, “Moment generating functions in combinatorial optimization: Bipartite matching”, arXiv:2602.07563 (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.