Title: Tight Probability Bounds with Pairwise Independence

Abstract: While some useful probability bounds for the sum of $n$ pairwise independent Bernoulli random variables exceeding an integer $k$ have been proposed in the literature, none of these bounds are tight in general. In this paper, we provide several results towards finding tight probability bounds for this class of problems. Firstly, when $k = 1$, the tightest upper bound on the probability of the union of $n$ pairwise independent events is provided in closed form for any input marginal probability vector $\mathbf{p} \in [0,1]^n$. To prove the result, we show the existence of a positively correlated Bernoulli random vector with transformed bivariate probabilities, which is of independent interest. Building on this, we show that the ratio of Boole's union bound and the tight pairwise independent bound is upper bounded by $4/3$ and the bound is attained. Secondly, for $k \geq 2$ and any input marginal probability vector $\mathbf{p} \in [0,1]^n$, new upper bounds are derived exploiting ordering of probabilities. Numerical examples are provided to illustrate when the bounds provide significant improvement over existing bounds. Lastly, while the existing and new bounds are not always tight, we provide special instances when they are shown to be tight.