Negative association conjecture for the arboreal gas

Let β>0\beta>0, and for distinct edges write Pβ[e1,,ek]\mathbb{P}_{\beta}[e_1,\ldots,e_k] for the probability that all listed edges occur in the forest. Negative association conjecture. For distinct edges ijij and klkl,

Pβ[ij,kl]Pβ[ij]Pβ[kl].\mathbb{P}_{\beta}[ij,kl]\leq \mathbb{P}_{\beta}[ij]\mathbb{P}_{\beta}[kl].

More generally, for all distinct edges i1j1,,injni_1j_1,\ldots,i_nj_n and m<nm<n,

Pβ[i1j1,,injn]Pβ[i1j1,,imjm]Pβ[im+1jm+1,,injn].\mathbb{P}_{\beta}[i_1j_1,\ldots,i_nj_n]\leq \mathbb{P}_{\beta}[i_1j_1,\ldots,i_mj_m]\,\mathbb{P}_{\beta}[i_{m+1}j_{m+1},\ldots,i_nj_n].

The conjecture was previously stated in the cited literature and is expected by the authors to extend to general positive edge weights; no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Roland Bauerschmidt, Nicholas Crawford, Tyler Helmuth and Andrew Swan, “Random spanning forests and hyperbolic symmetry”, arXiv:1912.04854 (2020).

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.