Negative association conjecture for Rayleigh measures

Let Z(ω;y)Z(\omega;\mathbf y) be a partition function on a finite ground set EE, and let A1,A2\mathsf A_1,\mathsf A_2 be increasing events with disjoint support. Negative association conjecture. If Z(ω;y)Z(\omega;\mathbf y) is Rayleigh, then for every y>0\mathbf y>\boldsymbol 0,

1A1A21A11A2.\left\langle\boldsymbol 1_{\mathsf A_1\cap\mathsf A_2}\right\rangle\leq \left\langle\boldsymbol 1_{\mathsf A_1}\right\rangle\left\langle\boldsymbol 1_{\mathsf A_2}\right\rangle.

The claim says that the Rayleigh pairwise negative-correlation property implies negative association; the paper records a theorem for homogeneous Rayleigh partition functions, but not this general conjecture.

Sources & referencesView supporting material

Primary source

David G. Wagner, “Negatively correlated random variables and Mason's conjecture”, arXiv:math/0602648 (2006).

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.