DOCSLIB.ORG

Arxiv:2005.03967V5 [Math.PR] 12 Aug 2021 Kolmogoroff's Strong Law of Large Numbers Holds for Pairwise Uncorrelated Random Va

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2005.03967V5 [Math.PR] 12 Aug 2021 Kolmogoroff's Strong Law of Large Numbers Holds for Pairwise Uncorrelated Random Va Maximilian Janisch* Kolmogoroff’s Strong Law of Large Numbers holds for pairwise uncorrelated random variables Original version written on May 8, 2020; Text last updated May 6, 2021; Journal information updated on August 25, 2021 Abstract Using the approach of N. Etemadi for the Strong Law of Large Numbers (SLLN ) in [1] and its elaboration in [5], I give weaker conditions under which the SLLN still holds, namely for pairwise uncorrelated (and also for “quasi uncorrelated”) random variables. I am focusing in particular on random variables which are not identically distributed. My approach here leads to another simple proof of the classical SLLN. Published in (English edition): Theory of Probability and its Applications, 2021, Volume 66, Issue 2, Pages 263–275. https://epubs.siam.org/doi/10.1137/S0040585X97T990381. Doi: https://doi.org/10.1137/S0040585X97T990381. Published in (Russian edition): Teoriya Veroyatnostei i ee Primeneniya (this is the Russian edition of Theory of Probability and its Applications), 2021, Volume 66, Issue 2, Pages 327–341. http://mi.mathnet.ru/tvp5459. Doi: https://doi.org/10.4213/tvp5459. 1 Introduction and results In publication [1] from 1981, N. Etemadi weakened the requirements of Kolmogoroff’s first SLLN for identically distributed random variables and provided an elementary proof of a more general SLLN. I will first state the main Theorem of [1] after introducing some notations that arXiv:2005.03967v6 [math.PR] 24 Aug 2021 I will use. Notation. Throughout the paper, (Ω, , P) is a probability space. All random variables (usu- A ally denoted by X or Xn) are assumed to be measurable functions from Ω to the set of real numbers R. If X is a random variable, I write EX for its expected value and VX for its variance. Etemadi’s Theorem ([1]). Let (Xn)n∈N be a sequence of pairwise independent, identically distributed random variables with E X < . Then | 1| ∞ X1 + X2 + + Xn lim ··· = EX1 almost surely (a.s.). (1) n→∞ n *The paper was initially written for a student seminar on probability theory under supervision of Prof. Jean Bertoin, University of Z¨urich in early 2019. At the time I was 15 years old. My email address is [email protected]. I am a graduate student at the Mathematics Department of the University of Zurich (190, Winterthurerstrasse, 8057 Z¨urich, Switzerland). SLLN for pairwise uncorrelated random variables Maximilian Janisch Remark 1. Following Remark 2 from chapter 4.3 in Shiryaev’s book [4], we notice that if EX = , then (1) still holds. 1 ∞ The main improvement of Etemadi’s Theorem compared to Kolmogoroff’s first SLLN is the replacement of independence by pairwise independence. The condition “identically distributed” still remains. There have been several extentions of this Theorem. For example, Chandra and Goswami gave a sufficient SLLN condition for non-identically distributed random variables. For convenience, I will from now on always use the notation S := X + + X . n 1 ··· n Theorem 1 (Chandra, Goswami [3]). Let (Xn)n∈N be a sequence of pairwise independent ran- dom variables such that ∞ sup P( Xn > t) dt< . Z0 n∈N | | ∞ Then S ES lim n − n =0 a.s. n→∞ n However, Etemadi’s arguments enable an elegant proof for large classes of non-identically distributed random variables. First, let me introduce a few useful notions: Definition 1. A sequence (Xn)n∈N of (arbitrarily distributed) random variables is said to i. Satisfy the Kolmogoroff condition if and only if each one of the X′ s, n N has finite n ∈ variance VXn and VXn 2 < . (2) N n ∞ nX∈ ii. Be quasi uncorrelated if and only if each one of the X′ s, n N has finite variance and n ∈ there exists a positive constant c such that VS c n VX for all n N. n ≤ k=1 k ∈ iii. Satisfy the SLLN if and only if P S ES lim n − n = 0 a.s. n→∞ n Notice that if a := limn→∞ EXn exists, this is (by Ces`aro summation) equivalent to the 1 relation limn→∞ n Sn = a a.s. Theorem 2 (SLLN under the Kolmogoroff condition (2)). Let (Xn)n∈N be a sequence of non- negative, quasi uncorrelated random variables satisfying the Kolmogoroff condition (2) such that ESn A := sup N < . Then the sequence (X ) N satisfies the SLLN. n∈ n ∞ n n∈ Remark 2. After having finished the proof of this Theorem and the proof of Theorem 3, I became aware of the paper by Korchevsky [2], where the above Theorem 2 is formulated as Lemma 1. Korchevsky refers to the work of Chandra-Goswami [3]. For completeness, I will give a detailed proof of Theorem 2, whereas the proof in [3] is only briefly outlined. ESn ESn Remark 3. The condition sup N < can be replaced by sup N < for any un- n∈ n ∞ n∈ bn ∞ bounded, non-decreasing sequence of positive real numbers bn. In that case, if the condi- ∞ VXn ∞ VXn tion 2 < is replaced by 2 < , then the sequence (Xn)n∈N will satisfy n=1 n n=1 bn E ∞ ∞ lim Sn− Sn = 0 a.s. During the proof I will make remarks that show how the proof has to n→∞P bn P be adapted in order to work for such bn. Remark 4. Of course Theorem 2 is also true if non-negative is replaced by a.s. non-negative. For my purposes here, these two notions can be seen as synonymous. Page 2 SLLN for pairwise uncorrelated random variables Maximilian Janisch V n V Remark 5. If the Xn’s are pairwise uncorrelated, we have the equality Sn = k=1 Xk (Bi- enaym´e) and thus the Xn are, in particular, quasi uncorrelated. P Remark 6. If X is a random variable, I use the notation ess inf X for the essential infimum of X, i.e. the largest number r such that X r a.s. Applying Theorem 2 to the transformation ≥ ESn X˜ := X ess inf X shows that the condition sup N < can be replaced by the weaker n n − n n∈ n ∞ condition ES n ess inf X sup n − k=1 k < . (3) n∈N P n ∞ Since for any numerical sequence a 0, sup N a = implies n ≥ n∈ n ∞ lim sup an = lim sup ak = , n→∞ n→∞ k≥n ∞ condition (3) is equivalent to ES n ess inf X lim sup n − k=1 k < . n→∞ P n ∞ Remark 7. My proof of Theorem 2 relies heavily on the proof by Cs¨orgo et al. [5]. In their paper, it is also shown that the condition of non-negativity cannot be removed. More precisely, in their Theorem 4, the authors construct a sequence of pairwise uncorrelated random variables Xn satisfying the Kolmogoroff condition (2) and the condition n E X EX lim k=1 | k − k| =0 n→∞ P n and S ES lim sup | n − n| = . n→∞ n ∞ If we require the Xn to be pairwise independent instead of just pairwise uncorrelated, the non-negativity assumption can be dropped: Corollary 2.1. Let (Xn)n∈N be a sequence of pairwise independent random variables satisfying the Kolmogoroff condition (2) and suppose further that n E X EX lim sup k=1 | k − k| < . (4) n→∞ P n ∞ Then the sequence (Xn)n∈N satisfies the SLLN. Remark 8. Thanks to linearity of E, the non-negativity condition in Theorem 2 can be replaced by a.s. uniform boundedness of each X (or even of X EX ) from below or above. For n n − n example, if each Xn is bounded from below by the real number r, then Theorem 2 can be applied to X˜ := X r. In fact, one can always try to use the transformation X˜ := X ess inf N X n n − n n − n∈ n and check if that transformation satiesfies all conditions of Theorem 2. Remark 9. Kolmogoroff’s classical SLLN is very similar to Corollary 2.1, except that pairwise independence is replaced by independence but the auxilliary condition (4) is dropped. However, as is proven in [5], Theorem 3, there is a sequence of pairwise independent random variables (Xn)n∈N satisfying the Kolmogoroff condition (2) such that the SLLN is not satisfied. Hence, an auxilliary condition like (4) in Corollary 2.1 is necessary. Page 3 SLLN for pairwise uncorrelated random variables Maximilian Janisch We can try to relax the Kolmogoroff condition (2) for the Xn using truncation arguments. For this, however, the condition that all Xn’s are pairwise uncorrelated has to be replaced by a condition of pairwise independence. The reason for this is that the truncations of the Xn’s are still pairwise independent if the Xn’s are pairwise independent, while the truncations need not be pairwise uncorrelated if the Xn’s are only pairwise uncorrelated. More precisely, the truncations of Xn that I will look at are Yn := Xn 1{Xn≤n}, where 1 is the indicator function of the event X n . · {Xn≤n} { n ≤ } Remark 10. It should be noted that the truncated variables Y , n N, do not have to satisfy n ∈ the Kolmogoroff condition (2)! It depends on the Xn’s. For example, if the Xn’s are random P P 1 V V n2 variables with (Xn = n) = (Xn = 0) = 2 , then (Yn) = (Xn) = 4 , which is too large for the Kolmogoroff condition (2) to hold. In this case, however, it is not surprising, because the sequence (Xn)n∈N also does not satisfy the SLLN. Interestingly, the sequence (Xn)n∈N does not even satisfy the Weak Law of Large Numbers (WLLN).
Load more

Recommended publications
  • Notes for ECE 313, Probability with Engineering
    Probability with Engineering Applications ECE 313 Course Notes Bruce Hajek Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign August 2019 c 2019 by Bruce Hajek All rights reserved. Permission is hereby given to freely print and circulate copies of these notes so long as the notes are left intact and not reproduced for commercial purposes. Email to [email protected], pointing out errors or hard to understand passages or providing comments, is welcome. Contents 1 Foundations 3 1.1 Embracing uncertainty . .3 1.2 Axioms of probability . .6 1.3 Calculating the size of various sets . 10 1.4 Probability experiments with equally likely outcomes . 13 1.5 Sample spaces with infinite cardinality . 15 1.6 Short Answer Questions . 20 1.7 Problems . 21 2 Discrete-type random variables 25 2.1 Random variables and probability mass functions . 25 2.2 The mean and variance of a random variable . 27 2.3 Conditional probabilities . 32 2.4 Independence and the binomial distribution . 34 2.4.1 Mutually independent events . 34 2.4.2 Independent random variables (of discrete-type) . 36 2.4.3 Bernoulli distribution . 37 2.4.4 Binomial distribution . 37 2.5 Geometric distribution . 41 2.6 Bernoulli process and the negative binomial distribution . 43 2.7 The Poisson distribution{a limit of binomial distributions . 45 2.8 Maximum likelihood parameter estimation . 47 2.9 Markov and Chebychev inequalities and confidence intervals . 49 2.10 The law of total probability, and Bayes formula . 53 2.11 Binary hypothesis testing with discrete-type observations .
    [Show full text]
  • Joint Probability Distributions
    ST 380 Probability and Statistics for the Physical Sciences Joint Probability Distributions In many experiments, two or more random variables have values that are determined by the outcome of the experiment. For example, the binomial experiment is a sequence of trials, each of which results in success or failure. If ( 1 if the i th trial is a success Xi = 0 otherwise; then X1; X2;:::; Xn are all random variables defined on the whole experiment. 1 / 15 Joint Probability Distributions Introduction ST 380 Probability and Statistics for the Physical Sciences To calculate probabilities involving two random variables X and Y such as P(X > 0 and Y ≤ 0); we need the joint distribution of X and Y . The way we represent the joint distribution depends on whether the random variables are discrete or continuous. 2 / 15 Joint Probability Distributions Introduction ST 380 Probability and Statistics for the Physical Sciences Two Discrete Random Variables If X and Y are discrete, with ranges RX and RY , respectively, the joint probability mass function is p(x; y) = P(X = x and Y = y); x 2 RX ; y 2 RY : Then a probability like P(X > 0 and Y ≤ 0) is just X X p(x; y): x2RX :x>0 y2RY :y≤0 3 / 15 Joint Probability Distributions Two Discrete Random Variables ST 380 Probability and Statistics for the Physical Sciences Marginal Distribution To find the probability of an event defined only by X , we need the marginal pmf of X : X pX (x) = P(X = x) = p(x; y); x 2 RX : y2RY Similarly the marginal pmf of Y is X pY (y) = P(Y = y) = p(x; y); y 2 RY : x2RX 4 / 15 Joint
    [Show full text]
  • A Counterexample to the Central Limit Theorem for Pairwise Independent Random Variables Having a Common Arbitrary Margin
    A counterexample to the central limit theorem for pairwise independent random variables having a common arbitrary margin Benjamin Avanzia,1, Guillaume Boglioni Beaulieub,2,∗, Pierre Lafaye de Micheauxc, Fr´ed´ericOuimetd,3, Bernard Wongb,1 aCentre for Actuarial Studies, Department of Economics, University of Melbourne, VIC 3010, Australia. bSchool of Risk and Actuarial Studies, UNSW Sydney, NSW 2052, Australia. cSchool of Mathematics and Statistics, UNSW Sydney, NSW 2052, Australia. dPMA Department, California Institute of Technology, CA 91125, Pasadena, USA. Abstract The Central Limit Theorem (CLT) is one of the most fundamental results in statistics. It states that the standardized sample mean of a sequence of n mutually independent and identically distributed random variables with finite first and second moments converges in distribution to a standard Gaussian as n goes to infinity. In particular, pairwise independence of the sequence is generally not sufficient for the theorem to hold. We construct explicitly a sequence of pairwise independent random variables having a common but arbitrary marginal distribution F (satisfying very mild conditions) for which the CLT is not verified. We study the extent of this `failure' of the CLT by obtaining, in closed form, the asymptotic distribution of the sample mean of our sequence. This is illustrated through several theoretical examples, for which we provide associated computing codes in the R language. Keywords: central limit theorem, characteristic function, mutual independence, non-Gaussian asymptotic distribution, pairwise independence 2020 MSC: Primary : 62E20 Secondary : 60F05, 60E10 1. Introduction The aim of this paper is to construct explicitly a sequence of pairwise independent and identically distributed (p.i.i.d.) random variables (r.v.s) whose common margin F can be chosen arbitrarily (under very mild conditions) and for which the (standardized) sample mean is not asymptotically Gaussian.
    [Show full text]
  • Distance Metrics for Measuring Joint Dependence with Application to Causal Inference Arxiv:1711.09179V2 [Stat.ME] 15 Jun 2018
    Distance Metrics for Measuring Joint Dependence with Application to Causal Inference Shubhadeep Chakraborty Department of Statistics, Texas A&M University and Xianyang Zhang Department of Statistics, Texas A&M University June 18, 2018 Abstract Many statistical applications require the quantification of joint dependence among more than two random vectors. In this work, we generalize the notion of distance covariance to quantify joint dependence among d ≥ 2 random vectors. We introduce the high order distance covariance to measure the so-called Lancaster interaction dependence. The joint distance covariance is then defined as a linear combination of pairwise distance covariances and their higher order counterparts which together completely characterize mutual independence. We further introduce some related concepts including the distance cumulant, distance characteristic function, and rank- based distance covariance. Empirical estimators are constructed based on certain Euclidean distances between sample elements. We study the large sample properties of the estimators and propose a bootstrap procedure to approximate their sampling distributions. The asymptotic validity of the bootstrap procedure is justified under both the null and alternative hypotheses. The new metrics are employed to perform model selection in causal inference, which is based on the joint independence testing of the residuals from the fitted structural equation models. The effectiveness of the method is illustrated via both simulated and real datasets. arXiv:1711.09179v2 [stat.ME] 15 Jun 2018 Keywords: Bootstrap, Directed Acyclic Graph, Distance Covariance, Interaction Dependence, U- statistic, V-statistic. 1 1 Introduction Measuring and testing dependence is of central importance in statistics, which has found applica- tions in a wide variety of areas including independent component analysis, gene selection, graphical modeling and causal inference.
    [Show full text]
  • Testing Mutual Independence in High Dimension Via Distance Covariance
    Testing mutual independence in high dimension via distance covariance By Shun Yao, Xianyang Zhang, Xiaofeng Shao ∗ Abstract In this paper, we introduce a L2 type test for testing mutual independence and banded dependence structure for high dimensional data. The test is constructed based on the pairwise distance covariance and it accounts for the non-linear and non-monotone depen- dences among the data, which cannot be fully captured by the existing tests based on either Pearson correlation or rank correlation. Our test can be conveniently implemented in practice as the limiting null distribution of the test statistic is shown to be standard normal. It exhibits excellent finite sample performance in our simulation studies even when sample size is small albeit dimension is high, and is shown to successfully iden- tify nonlinear dependence in empirical data analysis. On the theory side, asymptotic normality of our test statistic is shown under quite mild moment assumptions and with little restriction on the growth rate of the dimension as a function of sample size. As a demonstration of good power properties for our distance covariance based test, we further show that an infeasible version of our test statistic has the rate optimality in the class of Gaussian distribution with equal correlation. Keywords: Banded dependence, Degenerate U-statistics, Distance correlation, High di- mensionality, Hoeffding decomposition arXiv:1609.09380v2 [stat.ME] 18 Sep 2017 1 Introduction In statistical multivariate analysis and machine learning research, a fundamental problem is to explore the relationships and dependence structure among subsets of variables. An important ∗Address correspondence to Xianyang Zhang ([email protected]), Assistant Professor, Department of Statistics, Texas A&M University.
    [Show full text]
  • Independence & Causality: Chapter 17.7 – 17.8
    “mcs” — 2015/5/18 — 1:43 — page 714 — #722 17.7 Independence Suppose that we flip two fair coins simultaneously on opposite sides of a room. Intuitively, the way one coin lands does not affect the way the other coin lands. The mathematical concept that captures this intuition is called independence. Definition 17.7.1. An event with probability 0 is defined to be independent of every event (including itself). If PrŒBç 0, then event A is independent of event B iff ¤ Pr A B PrŒAç: (17.4) j D In other words, A and B are independent⇥ ⇤ if knowing that B happens does not al- ter the probability that A happens, as is the case with flipping two coins on opposite sides of a room. “mcs” — 2015/5/18 — 1:43 — page 715 — #723 17.7. Independence 715 Potential Pitfall Students sometimes get the idea that disjoint events are independent. The opposite is true: if A B , then knowing that A happens means you know that B \ D; does not happen. Disjoint events are never independent—unless one of them has probability zero. 17.7.1 Alternative Formulation Sometimes it is useful to express independence in an alternate form which follows immediately from Definition 17.7.1: Theorem 17.7.2. A is independent of B if and only if PrŒA Bç PrŒAç PrŒBç: (17.5) \ D Notice that Theorem 17.7.2 makes apparent the symmetry between A being in- dependent of B and B being independent of A: Corollary 17.7.3. A is independent of B iff B is independent of A.
    [Show full text]
  • On Khintchine Type Inequalities for $ K $-Wise Independent Rademacher Random Variables
    1 ON KHINTCHINE TYPE INEQUALITIES FOR k-WISE INDEPENDENT RADEMACHER RANDOM VARIABLES BRENDAN PASS AND SUSANNA SPEKTOR Abstract. We consider Khintchine type inequalities on the p-th moments of vectors of N k-wise independent Rademacher random variables. We show that an analogue of Khintchine’s inequality holds, with a constant N 1/2−k/2p, when k is even. We then show that this result is sharp for k = 2; in particu- lar, a version of Khintchine’s inequality for sequences of pairwise Rademacher variables cannot hold with a constant independent of N. We also characterize the cases of equality and show that, although the vector achieving equality is not unique, it is unique (up to law) among the smaller class of exchangable vectors of pairwise independent Rademacher random variables. As a fortu- nate consequence of our work, we obtain similar results for 3-wise independent vectors. 2010 Classification: 46B06, 60E15 Keywords: Khintchine inequality, Rademacher random variables, k-wise inde- pendent random variables. 1. Introduction This short note concerns Khintchine’s inequality, a classical theorem in prob- ability, with many important applications in both probability and analysis (see [4, 8, 9, 10, 12] among others). It states that the Lp norm of the weighted sum of independent Rademacher random variables is controlled by its L2 norm; a precise statement follows. We say that ε0 is a Rademacher random variable if P(ε =1)= P(ε = 1) = 1 . Letε ¯ , 1 i N, be independent copies of ε and 0 0 − 2 i ≤ ≤ 0 a RN . Khintchine’s inequality (see, for example, Theorem 2.b.3 in [9] , Theorem 12.3.1∈ in [4] or the original work of Khintchine [7]) states that, for any p> 0 (1) 1 1 1 N 2 2 N p p N 2 2 arXiv:1708.08775v1 [math.PR] 27 Aug 2017 B(p) E aiε¯i = B(p) a 2 E aiε¯i C(p) a 2 = C(p) E aiε¯i .
    [Show full text]
  • 5. Independence
    Virtual Laboratories > 1. Probability Spaces > 1 2 3 4 5 6 7 5. Independence As usual, suppose that we have a random experiment with sample space S and probability measure ℙ. In this section, we will discuss independence, one of the fundamental concepts in probability theory. Independence is frequently invoked as a modeling assumption, and moreover, probability itself is based on the idea of independent replications of the experiment. Basic Theory We will define independence on increasingly complex structures, from two events, to arbitrary collections of events, and then to collections of random variables. In each case, the basic idea is the same. Independence of Two Events Two events A and B are independent if ℙ(A∩B)= ℙ(A) ℙ(B) If both of the events have positive probability, then independence is equivalent to the statement that the conditional probability of one event given the other is the same as the unconditional probability of the event: ℙ(A |B)= ℙ(A) if and only if ℙ(B |A)= ℙ(B) if and only if ℙ(A∩B)= ℙ(A) ℙ(B) This is how you should think of independence: knowledge that one event has occurred does not change the probability assigned to the other event. The terms independent and disjoint sound vaguely similar b ut they are actually very different. First, note that disjointness is purely a set-theory concept while independence is a probability (measure-theoretic) concept. Indeed, two events can be independent relative to one probability measure and dependent relative to another. But most importantly, two disjoint events can never be independent, except in the trivial case that one of the events is null.
    [Show full text]
  • Dependence and Dependence Structures
    Open Statistics 2020; 1:1–48 Research Article Björn Böttcher* Dependence and dependence structures: estimation and visualization using the unifying concept of distance multivariance https://doi.org/10.1515/stat-2020-0001 Received Aug 26, 2019; accepted Oct 28, 2019 Abstract: Distance multivariance is a multivariate dependence measure, which can detect dependencies be- tween an arbitrary number of random vectors each of which can have a distinct dimension. Here we discuss several new aspects, present a concise overview and use it as the basis for several new results and concepts: in particular, we show that distance multivariance unifies (and extends) distance covariance and the Hilbert- Schmidt independence criterion HSIC, moreover also the classical linear dependence measures: covariance, Pearson’s correlation and the RV coefficient appear as limiting cases. Based on distance multivariance several new measures are defined: a multicorrelation which satisfies a natural set of multivariate dependence mea- sure axioms and m-multivariance which is a dependence measure yielding tests for pairwise independence and independence of higher order. These tests are computationally feasible and under very mild moment conditions they are consistent against all alternatives. Moreover, a general visualization scheme for higher order dependencies is proposed, including consistent estimators (based on distance multivariance) for the dependence structure. Many illustrative examples are provided. All functions for the use of distance multivariance in applications
    [Show full text]
  • Random Variables and Independence Anup Rao April 24, 2019
    Lecture 11: Random Variables and Independence Anup Rao April 24, 2019 We discuss the use of hashing and pairwise independence. Random variables are a very useful way to model many situa- tions. Recall the law of total probability, that we discussed before: Fact 1 (Law of Total Probability). If A1, A2,..., An are disjoint events that form a partition of the whole sample space, and B is another event, then p(B) = p(A1 \ B) + p(A2 \ B) + ... + p(An \ B). One consequence of the Law of Total Probability is that whenever you have a random variable X and an event E, we have p(E) = ∑ p(X = x) · p(EjX = x). x Just like with events, we say that two random variables X, Y are independent if having information about one gives you no information about the other. Formally, X, Y are independent if for every x, y p(X = x, Y = y) = p(X = x) · p(Y = y). This means that p(X = xjY = y) = p(X = x), and p(Y = yjX = x) = p(Y = y). Example: Even Number of Heads Suppose you toss n coins. What is the probability that the number of heads is even? We already calculated this the hard way. Let us use an See notes for Lecture 7 on April 15. appropriate random variable to calculate this the easy way. Let X denote the outcome of tossing the first n − 1 coins. Let E denote the event that the number of heads is even. Then: p(E) = ∑ p(X = x) · p(EjX = x).
    [Show full text]
  • Tight Probability Bounds with Pairwise Independence
    Tight Probability Bounds with Pairwise Independence Arjun Kodagehalli Ramachandra∗ Karthik Natarajan†‡ March 2021 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 p 2 [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 ≥ 2 and any input marginal probability vector p 2 [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. 1 Introduction Probability bounds for sums of Bernoulli random variables have been extensively studied by researchers in various communities including, but not limited to, probability and statistics, computer science, combinatorics and optimization. In this paper, our focus is on pairwise independent Bernoulli random variables. It is well known that while mutually independent random variables are pairwise independent, the reverse is not true.
    [Show full text]
  • Lecture 5: Pairwise Independence and Streaming January 22, 2019 Lecturer: Eric Vigoda Scribes: Aditi Laddha, He Jia
    CS 6550: Randomized Algorithms Spring 2019 Lecture 5: Pairwise Independence and streaming January 22, 2019 Lecturer: Eric Vigoda Scribes: Aditi Laddha, He Jia Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. 5.1 Pairwise Independent Suppose X1;:::;Xn are n random variables on Ω. Definition 5.1 X1;:::;Xn are mutually independent if for all α2; : : : ; αn 2 Ω n Y Pr(X1 = α1;:::;Xn = αn) = Pr(Xi = αi): i=1 Definition 5.2 X1;:::;Xn are pairwise independent if for all i; j 2 f1; : : : ; ng, α; β 2 Ω Pr(Xi = α1;Xj = β) = Pr(Xi = α) Pr(Xj = β): Next we give two examples of pairwise independent variables. 5.1.1 Simple Construction Suppose X1;:::;Xm 2 f0; 1g are m mutually independent random bits with Bernoulli distribution of p = 1=2. m We will make 2 −1 pairwise independent random variables Y1;:::;Y2m−1 2 f0; 1g. Enumerate all non-empty subsets of f1; : : : ; mg as S1;:::;S2m−1. Let X Yi = ⊕ Xj = Xj mod 2: j2Si j2Si Lemma 5.3 Y1;:::;Y2m−1 are pairwise independent. Proof: (Uniform) First show that Pr(Yi = 0) = Pr(Yi = 1) = 1=2. Suppose Si = ft1; : : : ; t`g ⊂ f1; : : : ; mg. Then ` `−1 X X Yi = Xtj mod 2 = ( Xtj mod 2 + Xt` ) mod 2: j=1 j=1 Reveal Xt1 ;:::;Xt`−1 . We can see `−1 `−1 X X 1 Pr(Y = 1) = Pr(X = 0 \ X mod 2 = 1) + Pr(X = 1 \ X mod 2 = 0) = : i t` tj t` tj 2 j=1 j=1 (Pairwise independent) For any i 6= j, without loss of generality, we may assume Si n Sj 6= ;.
    [Show full text]