Positivity conjecture for the random-cluster polynomial Mef(q)\mathcal{M}_{ef}(q)

Let G=(V,E)G=(V,E) be a graph with positive edgeweights xex_e, let e,fEe,f\in E be distinct, and let TAB\mathcal{T}_A^B denote the random-cluster partition-function sums with edges in AA forced open and edges in BB forced closed. Define

Mef(q):=TefTfeTefTefxexf(1q).\mathcal{M}_{ef}(q):=\frac{\mathcal{T}_e^f\mathcal{T}_f^e-\mathcal{T}_{ef}\mathcal{T}^{ef}}{x_ex_f(1-q)}.

Positivity conjecture for Mef(q)\mathcal{M}_{ef}(q). For 0q10\leq q\leq1 and positive edgeweights xex_e, one has

Mef(q)0.\mathcal{M}_{ef}(q)\geq0.

The quantity is introduced by factoring the negative-correlation difference by xexf(1q)x_ex_f(1-q). The supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Son Nguyen and Pavlo Pylyavskyy, “Correlations in random cluster model at q=1”, arXiv:2507.09520 (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.