arXiv · 2607.02272
The case of equality in BK
Abstract
We characterize the pairs of increasing events $A,B$ for which there is equality in the BK inequality. Namely, we show that $P(A\circ B)=P(A)P(B)$ if and only if all the configurations in $A\times B$ admit disjoint witnesses for $A$ and $B$. We discuss the strengthened BK inequality, and we provide a new simplified proof of this inequality.
Explore related subjects
Keep this discovery
Raphaël Cerf, Pierre Tesio. 2026-07-02. The case of equality in BK. https://arxiv.org/abs/2607.02272
Cite the original work for its findings. Save a collection to share your selection of sources.