Sahi's conjecture for three increasing events

Let Ω\Omega be a product space, let μ\mu be a product measure on Ω\Omega, and let A,B,CΩ{\mathcal A},{\mathcal B},{\mathcal C}\subseteq\Omega be increasing events. Sahi's conjecture. One has

2μ(ABC)[μ(AB)μ(C)+μ(AC)μ(B)+μ(BC)μ(A)]+μ(A)μ(B)μ(C)0.2\mu({\mathcal A}{\mathcal B}{\mathcal C})-[\mu({\mathcal A}{\mathcal B})\mu({\mathcal C})+\mu({\mathcal A}{\mathcal C})\mu({\mathcal B})+\mu({\mathcal B}{\mathcal C})\mu({\mathcal A})]+\mu({\mathcal A})\mu({\mathcal B})\mu({\mathcal C})\geq 0.

This is proposed as the three-event extension of Harris' inequality; the paper states that the case k=3k=3 has proved intractable and may capture the full difficulty of the general problem.

Sources & referencesView supporting material

Primary source

Jeff Kahn, “A note on positive association”, arXiv:2210.08653 (2022).

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.