{"id":"arxiv/2607.02272","url":"https://arxiv.org/abs/2607.02272","tags":["math.PR"],"score":0,"title":"The case of equality in BK","domain":"math.PR","source":"arxiv","authors":["Raphaël Cerf","Pierre Tesio"],"reviews":0,"subject":"math.PR","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-02","reactions":{}}