REVIEW 2 minor 4 references
The case of equality in BK
T0 review · 0 major / 2 minor · reviewed 2026-07-03 · grok-4.3
Pith's one-line read The BK inequality achieves equality exactly when every configuration pair has disjoint witnesses.
desk verdict This paper states an explicit if-and-only-if for equality cases in the BK inequality and supplies a simplified proof of the strengthened form. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The disjoint-witness operation ∘ that forms the combined event by requiring separate witnesses in the product configuration space.
What would settle it
A pair of increasing events A and B where P(A ∘ B) = P(A) P(B) yet at least one configuration in A × B lacks disjoint witnesses would disprove the characterization.
Extended reading notes
Core claim
We show that P(A ∘ B) = P(A) P(B) if and only if all the configurations in A × B admit disjoint witnesses for A and B.
Load-bearing premise
The events live on a standard product probability space and are increasing under the usual partial order.
Editorial extensions
If this is right
- The equality case of the BK inequality reduces to a verifiable witness condition on pairs of configurations.
- The strengthened BK inequality can be applied with exact knowledge of when the bound is attained.
- The result holds for any product measure on the space of increasing events.
- The new proof of the strengthened inequality avoids earlier technical steps.
Reading between the lines
- The witness condition may allow direct computation of exact probabilities in concrete percolation models.
- The characterization could be tested on small finite grids to verify the equality threshold.
- Similar witness-based conditions might apply to other correlation inequalities in product spaces.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript characterizes equality cases in the van den Berg-Kesten (BK) inequality for increasing events A and B on a product probability space. It proves that P(A ∘ B) = P(A)P(B) if and only if every pair of configurations from A × B admits disjoint witnesses for A and B. The paper also discusses the strengthened BK inequality and supplies a new simplified proof of it.
Significance. If the result holds, the if-and-only-if characterization provides a precise and useful description of when equality is attained in the BK inequality, which is a foundational tool in percolation theory and probability on product spaces. The simplified proof of the strengthened inequality is a concrete contribution that may improve accessibility. The manuscript delivers a direct mathematical characterization together with a proof of an existing strengthened form.
minor comments (2)
- [Abstract] The abstract refers to 'the standard product probability space' without a brief reminder of the underlying measure space or the definition of the disjoint-occurrence operation ∘; adding one sentence would improve self-containedness for readers outside the immediate subfield.
- The discussion of the strengthened BK inequality would benefit from an explicit pointer (e.g., 'see §3') to the location of the new proof, as the current phrasing leaves the reader to locate the argument.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of the manuscript and for recommending acceptance. We are pleased that the characterization of equality cases and the simplified proof of the strengthened BK inequality were viewed as useful contributions.
Circularity Check
No significant circularity detected
full rationale
The paper states an if-and-only-if characterization of equality cases in the BK inequality for increasing events and supplies a new simplified proof of the strengthened inequality. Both directions of the claimed equivalence follow from the standard definition of the disjoint-occurrence operation A ∘ B on the product space and from the content of the strengthened inequality itself; the proof is presented as independent and simplified rather than derived from prior self-citations or fitted parameters. No step reduces by construction to its own inputs, no load-bearing self-citation chain appears, and the derivation remains self-contained against the classical BK setup.
Assumptions & free parameters
assumptions (2)
- domain assumption A and B are increasing events on a finite or countable product space equipped with a product probability measure.
- domain assumption The operation ∘ denotes the existence of disjoint witnesses for the two events.
Cite this review
Pith. "Pith review of The case of equality in BK." pith.science (2026). https://pith.science/paper/DK7RYW6B
@misc{pith2026260702272,
author = {Pith},
title = {Pith review of: The case of equality in BK},
year = {2026},
howpublished = {\url{https://pith.science/paper/DK7RYW6B}},
note = {Machine review of arXiv:2607.02272}
}
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.
Figures
Reference graph
Works this paper leans on
-
[1]
321, Springer-Verlag, Berlin, 1999
Geoffrey Grimmett, Percolation , second ed., Grundlehren der Mathematis- chen Wissenschaften, vol. 321, Springer-Verlag, Berlin, 1999
work page 1999
- [2]
-
[3]
J. van den Berg, Disjoint occurrences of events: Results and conjectures , Particle systems, random media and large deviations, Proc. Conf., Bowdoin Coll. 1984, Contemp. Math. 41, 357-361 (1985)., 1985
work page 1984
-
[4]
J. van den Berg and H. Kesten, Inequalities with applications to percolation and reliability , J. Appl. Probab. 22 (1985), 556–569 (English). 10
work page 1985
Reviewed July 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.