4 Concentration Inequalities, Scalar and Matrix Versions

Total Page:16

File Type:pdf, Size:1020Kb

4 Concentration Inequalities, Scalar and Matrix Versions 4 Concentration Inequalities, Scalar and Matrix Versions 4.1 Large Deviation Inequalities Concentration and large deviations inequalities are among the most useful tools when understanding the performance of some algorithms. In a nutshell they control the probability of a random variable being very far from its expectation. The simplest such inequality is Markov's inequality: Theorem 4.1 (Markov's Inequality) Let X ≥ 0 be a non-negative random variable with E[X] < 1. Then, [X] ProbfX > tg ≤ E : (31) t Proof. Let t > 0. Define a random variable Yt as 0 if X ≤ t Y = t t if X > t Clearly, Yt ≤ X, hence E[Yt] ≤ E[X], and t ProbfX > tg = E[Yt] ≤ E[X]; concluding the proof. 2 Markov's inequality can be used to obtain many more concentration inequalities. Chebyshev's inequality is a simple inequality that control fluctuations from the mean. 2 Theorem 4.2 (Chebyshev's inequality) Let X be a random variable with E[X ] < 1. Then, Var(X) ProbfjX − Xj > tg ≤ : E t2 2 Proof. Apply Markov's inequality to the random variable (X − E[X]) to get: 2 E (X − EX) Var(X) ProbfjX −X j > t g= Prob f(X −X)2 > t2 g ≤ = : E E t2 t2 2 4.1.1 Sums of independent random variables In what follows we'll show two useful inequalities involving sums of independent random variables. The intuitive idea is that if we have a sum of independent random variables X = X1 + ··· + Xn; where X are iid centered random variables, then while the value of X can be of order O(n) it will very i p likely be of order O( n) (note that this is the order of its standard deviation). The inequalities that p follow are ways of very precisely controlling the probability of X being larger than O( n). While we could use, for example, Chebyshev's inequality for this, in the inequalities that follow the probabilities will be exponentially small, rather than quadratic, which will be crucial in many applications to come. 55 Theorem 4.3 (Hoeffding’s Inequality) Let X1;X2;:::;Xn be independent bounded random vari- ables, i.e., jXij ≤ a and E[Xi] = 0. Then, ( n ) X t2 Prob X > t ≤ 2 exp − : i 2na2 i=1 p The inequality implies that fluctuations larger than O ( n) have small probability. For example, p 2 for t = a 2n log n we get that the probability is at most n . Pn Proof. We first get a probability bound for the event i=1 Xi > t. The proof, again, will follow from Markov. Since we want an exponentially small probability, we use a classical trick that involves exponentiating with any λ > 0 and then choosing the optimal λ. ( n ) ( n ) X X Prob Xi > t = Prob Xi > t (32) i=1 i=1 n λ Pn X λto = Prob e i=1 i > e λ Pn X [e i=1 i ] ≤ E etλ n −tλ Y λX = e E[e i ]; (33) i=1 where the penultimate step follows from Markov's inequality and the last equality follows from inde- pendence of the Xi's. λX λx We now use the fact that jXij ≤ a to bound E[e i ]. Because the function f(x) = e is convex, a + x a − x eλx ≤ eλa + e−λa; 2a 2a for all x 2 [−a; a]. Since, for all i, E[Xi] = 0 we get a + Xi a − Xi 1 [eλXi ] ≤ eλa + e−λa ≤ eλa + e−λa = cosh(λa) E E 2a 2a 2 Note that15 x2=2 cosh(x) ≤ e ; for all x 2 R Hence, λX (λX )2=2 (λa)2=2 E[e i ] ≤ E[e i ] ≤ e : Together with (32), this gives ( n ) n X −tλ Y (λa)2=2 Prob Xi > t ≤ e e i=1 i=1 2 = e−tλen(λa) =2 15 P1 x2n x2=2 P1 x2n n This follows immediately from the Taylor expansions: cosh(x) = n=0 (2n)! , e = n=0 2nn! , and (2n)! ≥ 2 n!. 56 This inequality holds for any choice of λ ≥ 0, so we choose the value of λ that minimizes (λa)2 min n − tλ λ 2 Differentiating readily shows that the minimizer is given by t λ = ; na2 which satisfies λ > 0. For this choice of λ, 1 t2 t2 t2 n(λa)2=2 − tλ = − = − n 2a2 a2 2na2 Thus, ( n ) 2 X − t Prob Xi > t ≤ e 2na2 i=1 Pn By using the same argument on i=1 (−Xi), and union bounding over the two events we get, ( n ) 2 X − t 2na2 Prob Xi > t ≤ 2e i=1 2 Remark 4.4 Let's say that we have random variables r1; : : : ; rn i.i.d. distributed as 8 < −1 with probability p=2 ri = 0 with probability 1 − p : 1 with probability p=2: Then, E(ri) = 0 and jrij ≤ 1 so Hoeffding’s inequality gives: ( n ) X t2 Prob r > t ≤2 exp − : i 2n i=1 Pn Intuitively, the smallest p is the more concentrated j i=1 rij should be, however Hoeffding’s in- equality does not capture this behavior. Pn A natural way to quantify this intuition is by noting that the variance of i=1 ri depends on p as Var(ri) = p. The inequality that follows, Bernstein's inequality, uses the variance of the summands to improve over Hoeffding’s inequality. The way this is going to be achieved is by strengthening the proof above, more specifically in λX step (33) we will use the bound on the variance to get a better estimate on E[e i ] essentially by 2 2 k 2 k−2 σ2 k realizing that if Xi is centered, EXi = σ , and jXij ≤ a then, for k ≥ 2, EXi ≤ σ a = a2 a . 57 Theorem 4.5 (Bernstein's Inequality) Let X1;X2;:::;Xn be independent centered bounded ran- 2 2 dom variables, i.e., jXij ≤ a and E[Xi] = 0, with variance E[Xi ] = σ . Then, ( n ) ! X t2 Prob Xi > t ≤ 2 exp − : 2nσ2 + 2 at i=1 3 Remark 4.6 Before proving Bernstein's Inequality, note that on the example of Remark 4.4 we get ( n ) ! X t2 Prob ri > t ≤ 2 exp − ; 2np + 2 t i=1 3 which exhibits a dependence on p and, for small values of p is considerably smaller than what Hoeffd- ing's inequality gives. Proof. As before, we will prove ( n ) ! X t2 Prob Xi > t ≤ exp − ; 2nσ2 + 2 at i=1 3 Pn and then union bound with the same result for − i=1 Xi, to prove the Theorem. For any λ > 0 we have ( n ) P X λ Xi λt Prob Xi > t = Probfe > e g i=1 P [eλ Xi ] ≤ E eλt n −λt Y λX = e E[e i ] i=1 Now comes the source of the improvement over Hoeffding’s, " 1 # X λmXm [eλXi ] = 1 + λX + i E E i m! m=2 1 X λmam−2σ2 ≤ 1 + m! m=2 1 σ2 X (λa)m = 1 + a2 m! m=2 σ2 = 1 + eλa − 1 − λa a2 Therefore, ( n ) n X σ2 Prob X > t ≤ e−λt 1 + eλa − 1 − λa i a2 i=1 58 We will use a few simple inequalities (that can be easily proved with calculus) such as16 1 + x ≤ x e ; for all x 2 R. This means that, 2 2 σ λa σ (eλa−1 −λa) 1 + e −1 − λa ≤ e a2 ; a2 which readily implies ( n ) 2 X −λt nσ (eλa−1−λa) Prob Xi > t ≤ e e a2 : i=1 As before, we try to find the value of λ > 0 that minimizes nσ2 min −λt + (eλa −1 − λa) λ a2 Differentiation gives nσ2 −t + (aeλa − a) = 0 a2 which implies that the optimal choice of λ is given by 1 at λ∗ = log 1 + a nσ2 If we set at u = ; (34) nσ2 ∗ 1 then λ = a log(1 + u). Now, the value of the minimum is given by 2 2 nσ ∗ nσ −λ∗ t + (eλ a − 1 − λ∗a) = − [(1 + u) log(1 + u) − u] : a2 a2 Which means that, ( n ) X nσ2 Prob X > t ≤ exp − f(1 + u) log(1 + u) − ug i a2 i=1 The rest of the proof follows by noting that, for every u > 0, u (1 + u) log(1 + u) − u ≥ 2 2 ; (35) u + 3 which implies: ( n ) ! X nσ2 u Prob Xi > t ≤ exp − a2 2 + 2 i=1 u 3 ! t2 = exp − : 2 2 2nσ + 3 at 2 16In fact y = 1 + x is a tangent line to the graph of f(x) = ex. 59 4.2 Gaussian Concentration One of the most important results in concentration of measure is Gaussian concentration, although being a concentration result specific for normally distributed random variables, it will be very useful n throughout these lectures. Intuitively it says that if F : R ! R is a function that is stable in terms of its input then F (g) is very well concentrated around its mean, where g 2 N (0;I). More precisely: T Theorem 4.7 (Gaussian Concentration) Let X = [X1;:::;Xn] be a vector with i.i.d. standard n Gaussian entries and F : R ! R a σ-Lipschitz function (i.e.: jF (x) − F (y)j ≤ σkx − yk, for all n x; y 2 R ). Then, for every t ≥ 0 t2 Prob fjF (X) − F (X)j ≥ tg ≤ 2 exp − : E 2σ2 For the sake of simplicity we will show the proof for a slightly weaker bound (in terms of the constant 2 t2 inside the exponent): Prob fjF (X) − EF (X)j ≥ tg ≤ 2 exp − π2 σ2 .
Recommended publications
  • Lecture 2: Estimating the Empirical Risk with Samples CS4787 — Principles of Large-Scale Machine Learning Systems
    Lecture 2: Estimating the empirical risk with samples CS4787 — Principles of Large-Scale Machine Learning Systems Review: The empirical risk. Suppose we have a dataset D = f(x1; y1); (x2; y2);:::; (xn; yn)g, where xi 2 X is an example and yi 2 Y is a label. Let h : X!Y be a hypothesized model (mapping from examples to labels) we are trying to evaluate. Let L : Y × Y ! R be a loss function which measures how different two labels are The empirical risk is n 1 X R(h) = L(h(x ); y ): n i i i=1 Most notions of error or accuracy in machine learning can be captured with an empirical risk. A simple example: measure the error rate on the dataset with the 0-1 Loss Function L(^y; y) = 0 if y^ = y and 1 if y^ 6= y: Other examples of empirical risk? We need to compute the empirical risk a lot during training, both during validation (and hyperparameter optimiza- tion) and testing, so it’s nice if we can do it fast. Question: how does computing the empirical risk scale? Three things affect the cost of computation. • The number of training examples n. The cost will certainly be proportional to n. • The cost to compute the loss function L. • The cost to evaluate the hypothesis h. Question: what if n is very large? Must we spend a large amount of time computing the empirical risk? Answer: We can approximate the empirical risk using subsampling. Idea: let Z be a random variable that takes on the value L(h(xi); yi) with probability 1=n for each i 2 f1; : : : ; ng.
    [Show full text]
  • Concentration Inequalities and Martingale Inequalities — a Survey
    Concentration inequalities and martingale inequalities | a survey Fan Chung ∗† Linyuan Lu zy May 28, 2006 Abstract We examine a number of generalized and extended versions of concen- tration inequalities and martingale inequalities. These inequalities are ef- fective for analyzing processes with quite general conditions as illustrated in an example for an infinite Polya process and webgraphs. 1 Introduction One of the main tools in probabilistic analysis is the concentration inequalities. Basically, the concentration inequalities are meant to give a sharp prediction of the actual value of a random variable by bounding the error term (from the expected value) with an associated probability. The classical concentration in- equalities such as those for the binomial distribution have the best possible error estimates with exponentially small probabilistic bounds. Such concentration in- equalities usually require certain independence assumptions (i.e., the random variable can be decomposed as a sum of independent random variables). When the independence assumptions do not hold, it is still desirable to have similar, albeit slightly weaker, inequalities at our disposal. One approach is the martingale method. If the random variable and the associated probability space can be organized into a chain of events with modified probability spaces and if the incremental changes of the value of the event is “small”, then the martingale inequalities provide very good error estimates. The reader is referred to numerous textbooks [5, 17, 20] on this subject. In the past few years, there has been a great deal of research in analyzing general random graph models for realistic massive graphs which have uneven degree distribution such as the power law [1, 2, 3, 4, 6].
    [Show full text]
  • Lecture 6: Estimating the Empirical Risk with Samples
    Lecture 6: Estimating the empirical risk with samples CS4787 — Principles of Large-Scale Machine Learning Systems Recall: The empirical risk. Suppose we have a dataset D = f(x1; y1); (x2; y2);:::; (xn; yn)g, where xi 2 X is an example and yi 2 Y is a label. Let h : X!Y be a hypothesized model (mapping from examples to labels) we are trying to evaluate. Let L : Y × Y ! R be a loss function which measures how different two labels are. The empirical risk is n 1 X R(h) = L(h(x ); y ): n i i i=1 We need to compute the empirical risk a lot during training, both during validation (and hyperparameter optimization) and testing, so it’s nice if we can do it fast. But the cost will certainly be proportional to n, the number of training examples. Question: what if n is very large? Must we spend a long time computing the empirical risk? Answer: We can approximate the empirical risk using subsampling. Idea: let Z be a random variable that takes on the value L(h(xi); yi) with probability 1=n for each i 2 f1; : : : ; ng. Equivalently, Z is the result of sampling a single element from the sum in the formula for the empirical risk. By construction we will have n 1 X E [Z] = L(h(x ); y ) = R(h): n i i i=1 If we sample a bunch of independent identically distributed random variables Z1;Z2;:::;ZK identical to Z, then their average will be a good approximation of the empirical risk.
    [Show full text]
  • Arxiv:2002.10761V1 [Math.PR] 25 Feb 2020
    SOME NOTES ON CONCENTRATION FOR α-SUBEXPONENTIAL RANDOM VARIABLES HOLGER SAMBALE Abstract. We prove extensions of classical concentration inequalities for ran- dom variables which have α-subexponential tail decay for any α (0, 2]. This includes Hanson–Wright type and convex concentration inequalities.∈ We also pro- vide some applications of these results. This includes uniform Hanson–Wright inequalities and concentration results for simple random tensors in the spirit of Klochkov and Zhivotovskiy [2020] and Vershynin [2019]. 1. Introduction The concentration of measure phenomenon is by now a well-established part of probability theory, see e. g. the monographs Ledoux [2001], Boucheron et al. [2013] or Vershynin [2018]. A central feature is to study the tail behaviour of functions of random vectors X = (X1,...,Xn), i. e. to find suitable estimates for P( f(X) Ef(X) t). Here, numerous situations have been considered, e. g. ass| uming− | ≥ independence of X1,...,Xn or in presence of some classical functional inequalities for the distribution of X like Poincaré or logarithmic Sobolev inequalities. Let us recall some fundamental results which will be of particular interest for the present paper. One of them is the classical convex concentration inequality as first established in Talagrand [1988], Johnson and Schechtman [1991] and later Ledoux [1995/97]. Assuming X1,...,Xn are independent random variables each taking values in some bounded interval [a, b], we have that for every convex Lipschitz function f : [a, b]n R with Lipschitz constant 1, → t2 (1.1) P( f(X) Ef(X) > t) 2 exp | − | ≤ − 2(b a)2 − for any t 0 (see e.
    [Show full text]
  • Lecture 12: Martingales Concentration Inequality
    MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 12 10/21/2013 Martingale Concentration Inequalities and Applications Content. 1. Exponential concentration for martingales with bounded increments 2. Concentration for Lipschitz continuous functions 3. Examples in statistics and random graph theory 1 Azuma-Hoeffding inequality Suppose Xn is a martingale wrt filtration Fn such that X0 = 0 The goal of this lecture is to obtain bounds of the form P(jXnj ≥ δn) ≤ exp(−Θ(n)) under some condition on Xn. Note that since E[Xn] = 0, the deviation from zero is the ”right” regime to look for rare events. It turns out the exponential bound of the form above holds under very simple assumption that the increments of Xn are bounded. The theorem below is known as Azuma-Hoeffding Inequality. Theorem 1 (Azuma-Hoeffding Inequality). Suppose Xn; n ≥ 1 is a martin­ gale such that X0 = 0 and jXi − Xi−1j ≤ di; 1 ≤ i ≤ n almost surely for some constants di; 1 ≤ i ≤ n. Then, for every t > 0, t2 P (jXnj > t) ≤ 2 exp − Pn 2 : 2 i=1 di Notice that in the special case when di = d, we can take t = xn and obtain p 2 2 an upper bound 2 exp −x n=(2d ) - which is of the form promised above. Note that this is consistent with the Chernoff bound for the special case Xn is the sum of i.i.d. zero mean terms, though it is applicable only in the special case of a.s. bounded increments. Proof. f(x) , exp(λx) is a convex function in x for any λ 2 R.
    [Show full text]
  • Lecture 1 - Introduction and the Empirical CDF
    Lecture 1 - Introduction and the Empirical CDF Rui Castro February 24, 2013 1 Introduction: Nonparametric statistics The term non-parametric statistics often takes a different meaning for different authors. For example: Wolfowitz (1942): We shall refer to this situation (where a distribution is completely determined by the knowledge of its finite parameter set) as the parametric case, and denote the opposite case, where the functional forms of the distributions are unknown, as the non-parametric case. Randles, Hettmansperger and Casella (2004) Nonparametric statistics can and should be broadly defined to include all method- ology that does not use a model based on a single parametric family. Wasserman (2005) The basic idea of nonparametric inference is to use data to infer an unknown quantity while making as few assumptions as possible. Bradley (1968) The terms nonparametric and distribution-free are not synonymous... Popular usage, however, has equated the terms... Roughly speaking, a nonparametric test is one which makes no hypothesis about the value of a parameter in a statistical density function, whereas a distribution-free test is one which makes no assumptions about the precise form of the sampled population. The term distribution-free is used quite often in the statistical learning theory community, to refer to an analysis that makes no assumptions on the distribution of training examples (and only assumes these are independent and identically distributed samples from an unknown distribution). For our purposes we will say a model is nonparametric if it is not a parametric model. In the simplest form we speak of a parametric model if the data vector X is such that X ∼ Pθ ; d and where θ 2 Θ ⊆ R .
    [Show full text]
  • Concentration Inequalities for Empirical Processes of Linear Time Series
    Journal of Machine Learning Research 18 (2018) 1-46 Submitted 1/17; Revised 5/18; Published 6/18 Concentration inequalities for empirical processes of linear time series Likai Chen [email protected] Wei Biao Wu [email protected] Department of Statistics The University of Chicago Chicago, IL 60637, USA Editor: Mehryar Mohri Abstract The paper considers suprema of empirical processes for linear time series indexed by func- tional classes. We derive an upper bound for the tail probability of the suprema under conditions on the size of the function class, the sample size, temporal dependence and the moment conditions of the underlying time series. Due to the dependence and heavy-tailness, our tail probability bound is substantially different from those classical exponential bounds obtained under the independence assumption in that it involves an extra polynomial de- caying term. We allow both short- and long-range dependent processes. For empirical processes indexed by half intervals, our tail probability inequality is sharp up to a multi- plicative constant. Keywords: martingale decomposition, tail probability, heavy tail, MA(1) 1. Introduction Concentration inequalities for suprema of empirical processes play a fundamental role in statistical learning theory. They have been extensively studied in the literature; see for example Vapnik (1998), Ledoux (2001), Massart (2007), Boucheron et al. (2013) among others. To fix the idea, let (Ω; F; P) be the probability space on which a sequence of random variables (Xi) is defined, A be a set of real-valued measurable functions. For a Pn function g; denote Sn(g) = i=1 g(Xi): We are interested in studying the tail probability T (z) := P(∆n ≥ z); where ∆n = sup jSn(g) − ESn(g)j: (1) g2A When A is uncountable, P is understood as the outer probability (van der Vaart (1998)).
    [Show full text]
  • Concentration Inequalities
    Concentration Inequalities St´ephane Boucheron1, G´abor Lugosi2, and Olivier Bousquet3 1 Universit´e de Paris-Sud, Laboratoire d'Informatique B^atiment 490, F-91405 Orsay Cedex, France [email protected] WWW home page: http://www.lri.fr/~bouchero 2 Department of Economics, Pompeu Fabra University Ramon Trias Fargas 25-27, 08005 Barcelona, Spain [email protected] WWW home page: http://www.econ.upf.es/~lugosi 3 Max-Planck Institute for Biological Cybernetics Spemannstr. 38, D-72076 Tubingen,¨ Germany [email protected] WWW home page: http://www.kyb.mpg.de/~bousquet Abstract. Concentration inequalities deal with deviations of functions of independent random variables from their expectation. In the last decade new tools have been introduced making it possible to establish simple and powerful inequalities. These inequalities are at the heart of the mathematical analysis of various problems in machine learning and made it possible to derive new efficient algorithms. This text attempts to summarize some of the basic tools. 1 Introduction The laws of large numbers of classical probability theory state that sums of independent random variables are, under very mild conditions, close to their expectation with a large probability. Such sums are the most basic examples of random variables concentrated around their mean. More recent results reveal that such a behavior is shared by a large class of general functions of independent random variables. The purpose of these notes is to give an introduction to some of these general concentration inequalities. The inequalities discussed in these notes bound tail probabilities of general functions of independent random variables.
    [Show full text]
  • Section 1: Basic Probability Theory
    ||||| Course Overview Three sections: I Monday 2:30pm-3:45pm Wednesday 1:00pm-2:15pm Thursday 2:30pm-3:45pm Goal: I Review some basic (or not so basic) concepts in probability and statistics I Good preparation for CME 308 Syllabus: I Basic probability, including random variables, conditional distribution, moments, concentration inequality I Convergence concepts, including three types of convergence, WLLN, CLT, delta method I Statistical inference, including fundamental concepts in inference, point estimation, MLE Section 1: Basic probability theory Dangna Li ICME September 14, 2015 Outline Random Variables and Distributions Expectation, Variance and Covariance Definitions Key properties Conditional Expectation and Conditional Variance Definitions Key properties Concentration Inequality Markov inequality Chebyshev inequality Chernoff bound Random variables: discrete and continuous I For our purposes, random variables will be one of two types: discrete or continuous. I A random variable X is discrete if its set of possible values X is finite or countably infinite. I A random variable X is continuous if its possible values form an uncountable set (e.g., some interval on R) and the probability that X equals any such value exactly is zero. I Examples: I Discrete: binomial, geometric, Poisson, and discrete uniform random variables I Continuous: normal, exponential, beta, gamma, chi-squared, Student's t, and continuous uniform random variables The probability density (mass) function I pmf: The probability mass function (pmf) of a discrete random variable X is a nonnegative function f (x) = P(X = x), where x denotes each possible value that X can take. It is always true that P f (x) = 1: x2X I pdf: The probability density function (pdf) of a continuous random variable X is a nonnegative function f (x) such that R b a f (x)dx = P(a ≤X≤ b) for any a; b 2 R.
    [Show full text]
  • Concentration Inequalities for Dependent Random
    The Annals of Probability 2008, Vol. 36, No. 6, 2126–2158 DOI: 10.1214/07-AOP384 c Institute of Mathematical Statistics, 2008 CONCENTRATION INEQUALITIES FOR DEPENDENT RANDOM VARIABLES VIA THE MARTINGALE METHOD By Leonid (Aryeh) Kontorovich1 and Kavita Ramanan2 Weizmann Institute of Science and Carnegie Mellon University The martingale method is used to establish concentration in- equalities for a class of dependent random sequences on a countable state space, with the constants in the inequalities expressed in terms of certain mixing coefficients. Along the way, bounds are obtained on martingale differences associated with the random sequences, which may be of independent interest. As applications of the main result, concentration inequalities are also derived for inhomogeneous Markov chains and hidden Markov chains, and an extremal property asso- ciated with their martingale difference bounds is established. This work complements and generalizes certain concentration inequalities obtained by Marton and Samson, while also providing different proofs of some known results. 1. Introduction. 1.1. Background. Concentration of measure is a fairly general phenomenon which, roughly speaking, asserts that a function ϕ :Ω → R with “suitably small” local oscillations defined on a “high-dimensional” probability space (Ω, F, P), almost always takes values that are “close” to the average (or median) value of ϕ on Ω. Under various assumptions on the function ϕ and different choices of metrics, this phenomenon has been quite extensively studied in the case when P is a product measure on a product space (Ω, F) or, equivalently, when ϕ is a function of a large number of i.i.d.
    [Show full text]
  • Basic Concentration Properties of Real-Valued Distributions Odalric-Ambrym Maillard
    Basic Concentration Properties of Real-Valued Distributions Odalric-Ambrym Maillard To cite this version: Odalric-Ambrym Maillard. Basic Concentration Properties of Real-Valued Distributions. Doctoral. France. 2017. cel-01632228 HAL Id: cel-01632228 https://hal.archives-ouvertes.fr/cel-01632228 Submitted on 9 Nov 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Lecture notes Concentration of R-valued distributions Fall 2017 BASIC CONCENTRATION PROPERTIES OF REAL-VALUED DISTRIBUTIONS ODALRIC-AMBRYM MAILLARD Inria Lille - Nord Europe SequeL team [email protected] In this note we introduce and discuss a few concentration tools for the study of concentration inequalities on the real line. After recalling versions of the Chernoff method, we move to concentration inequalities for predictable processes. We especially focus on bounds that enable to handle the sum of real-valued random variables, where the number of summands is itself a random stopping time, and target fully explicit and empirical bounds. We then discuss some important other tools, such as the Laplace method and the transportation lemma. Keywords: Concentration of measure, Statistics. Contents 1 Markov Inequality and the Chernoff method 1 1.1 A first consequence .
    [Show full text]
  • Basic Tail and Concentration Bounds 2
    CHAPTER 2 1 Basic tail and concentration bounds 2 In a variety of settings, it is of interest to obtain bounds on the tails of a random 3 variable, or two-sided inequalities that guarantee that a random variable is close to its 4 mean or median. In this chapter, we explore a number of elementary techniques for 5 obtaining both deviation and concentration inequalities. It is an entrypoint to more 6 advanced literature on large deviation bounds and concentration of measure. 7 2.1 Classical bounds 8 One way in which to control a tail probability P[X t] is by controlling the moments of 9 ≥ the random variable X. Gaining control of higher-order moments leads to correspond- 10 ingly sharper bounds on tail probabilities, ranging from Markov’s inequality (which 11 requires only existence of the first moment) to the Chernoff bound (which requires 12 existence of the moment generating function). 13 2.1.1 From Markov to Chernoff 14 The most elementary tail bound is Markov’s inequality: given a non-negative random variable X with finite mean, we have E[X] P[X t] for all t > 0. (2.1) ≥ ≤ t For a random variable X that also has a finite variance, we have Chebyshev’s inequality: var(X) P X µ t for all t > 0. (2.2) | − | ≥ ≤ t2 Note that this is a simple form of concentration inequality, guaranteeing that X is 15 close to its mean µ whenever its variance is small. Chebyshev’s inequality follows by 16 2 applying Markov’s inequality to the non-negative random variable Y = (X E[X]) .
    [Show full text]