Welcome to Randal Douc's wiki

A collaborative site on maths but not only!

User Tools

Site Tools


world:useful-bounds
2023/11/14 18:37

Bounds on the tail of the normal distribution.

If follows a standard normal distribution, then

Bounds on the tail of a max distribution

Assume that are iid. Denote . In the case where the distribution of is standard normal, then The bound is not bad in but not very nice in .

Bounds on the moments of a max distribution

Let be iid standard gaussian random variables. Then, by Jensen's inequality, for all , Taking the and dividing by , we get: Choosing such that yields for , With a similar argument, we can show that Finally, a Markov inequality yields for all which is better than the previous bound \eqref{eq:bound:max} wrt but dramatic wrt …

Another inequality which can be useful for max distribution

Let be a non-negative random variable on a probability space and assume that there exists a constant such that for all , Then,

The proof is completed by noting that

Some comments on the approach

It may seem a bit convoluted to bound using a bound of . I tried using a direct proof. The bound is less sharp because on the second line, we only apply a rough bound on the survival function of a Gaussian distribution. And not surprisingly, the resulting bound is less sharp that the previous one because: .

Maximal Kolmogorov inequality

Let be a square integrable -martingale. Then,

We provide a complete proof here but actually, we can also apply Doob's inequality below to the non-negative submartingale

Let with the convention that . Then, We first rewrite the rhs using that is also a -martingale. To see this last property, write , which implies Now, the rhs of \eqref{eq:kolm:one} can be written using

Doob's inequalities

  • (i) Let be a non-negative -supermartingale. Then,
  • (ii) Let be a non-negative -submartingale. Then,

Proof

Define with the convention that . Then,

  • We prove (i). From \eqref{eq:fond}, we have

where we used in the second inequality that is non-negative and in the third inequality that is a supermartingale. The proof then follows by letting goes to infinity.

  • We now turn to the proof of (ii). Using \eqref{eq:fond},

where we used in the last inequality that is non-negative. The proof is completed.

world/useful-bounds.txt · Last modified: 2022/11/18 11:14 by rdouc