Computing the probability of intersection
Alexander Barvinok
Source record
Source: Crossref
Published: Jun 19, 2026
DOI: 10.1017/s0963548326100492
Open original source ↗Source abstract
Abstract Let normal upper Omega 1 comma ellipsis comma normal upper Omega Subscript m Baseline Ω 1 , … , Ω m be probability spaces, let bold upper Omega equals normal upper Omega 1 times midline horizontal ellipsis times normal upper Omega Subscript m Ω = Ω 1 × ⋯ × Ω m be their product and let upper A 1 comma ellipsis comma upper A Subscript n Baseline subset of bold upper Omega A 1 , … , A n ⊂ Ω be events. Suppose that each event upper A Subscript i A i depends on r Subscript i r i coordinates of a point x element of bold upper Omega x ∈ Ω , x equals left parenthesis xi 1 comma ellipsis comma xi Subscript m Baseline right parenthesis x = ( ξ 1 , … , ξ m ) , and that for each event upper A Subscript i A i there are normal upper Delta Subscript i Δ i other events upper A Subscript j A j that depend on some of the coordinates that upper A Subscript i A i depends on. Let normal upper Delta equals max left brace 5 comma normal upper Delta Subscript i Baseline colon i equals 1 comma ellipsis comma n right brace Δ = max { 5 , Δ i : i = 1 , … , n } and let mu Subscript i Baseline equals min left brace r Subscript i Baseline comma normal upper Delta Subscript i Baseline plus 1 right brace μ i = min { r i , Δ i + 1 } for i equals 1 comma ellipsis comma n i = 1 , … , n . We prove that if double struck upper P left parenthesis upper A Subscript i Baseline right parenthesis less than left parenthesis 3 normal upper Delta right parenthesis Superscript minus 3 mu Super Subscript i P ( A i ) < ( 3 Δ ) − 3 μ i for all i i , then for any 0 less than epsilon less than 1 0 < ϵ < 1 , the probability double struck upper P left parenthesis intersection Underscript i equals 1 Overscript n Endscripts upper A overbar Subscript i Baseline right parenthesis P ( ⋂ i = 1 n A ¯ i ) of the intersection of the complements of all upper A Subscript i A i can be computed within relative error epsilon ϵ in polynomial time from the probabilities double struck upper P left parenthesis upper A Subscript i 1 Baseline intersection ellipsis intersection upper A Subscript i Sub Subscript k Subscript Baseline right parenthesis P ( A i 1 ∩ … ∩ A i k ) of k k -wise intersections of the events upper A Subscript i A i for k equals e Superscript upper O left parenthesis normal upper Delta right parenthesis Baseline ln left parenthesis n divided by epsilon right parenthesis k = e O ( Δ ) ln ( n / ϵ ) .
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.