Statistics Nonparametric inference Theorem
Pickands–Balkema–De Haan theorem
Builds on Fisher–Tippett–Gnedenko theoremCumulative distribution functionIndependent and identically distributed random variablesConvergence in distribution
Statement
Let be a cumulative distribution function on and let be its right endpoint. For , let be the excess distribution over the threshold : the law of given when has distribution function . For and , let be the generalised Pareto distribution function for if and for if . Say that is in the maximum domain of attraction of (with ) if, for i.i.d. with distribution function , there are and such that converges in distribution to .
Then the following holds for each . The function is in the maximum domain of attraction of if and only if there is a positive measurable function with
Remarks
Idea of the proof. Membership in the domain of attraction of is equivalent to the existence of a positive function with as , for each admissible . The left side is , so this is pointwise convergence of rescaled excess laws to , and works. Uniformity in follows because the functions are monotone and the limit is continuous.
Examples. For the exponential law , for every , so and give equality. For the Pareto law for , for . For the uniform law on , .
The hypothesis is not automatic: some laws lie in no domain of attraction, for example the Poisson and geometric laws. Their excesses over high thresholds have no generalised Pareto limit.
Going deeper
For a student
The theorem is the threshold counterpart of the Fisher–Tippett–Gnedenko theorem, which describes the limit laws of maxima. The same shape parameter appears in both. One has for heavy, Pareto-like tails, for light tails such as the normal and exponential laws, and for laws with a finite right endpoint. In practice it justifies the peaks-over-threshold method of extreme value statistics. One fits to the excesses over a high threshold by maximum likelihood and uses the fit to estimate high quantiles and tail probabilities.
Reading path
To understand this page from the ground up, read these 55 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Convergence in distribution concept
- Cumulative distribution function concept
- Element definition
- Exponential distribution concept
- Independent and identically distributed random variables concept
- Integers object
- Ordered field definition
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Fisher–Tippett–Gnedenko theorem statement
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Existential quantifier definition
- Sample space definition
- Universal quantifier definition
- The rationals form a field statement
- Cartesian product definition
- Subset definition
- Uniqueness quantifier definition
- The rationals form an ordered field statement
- Binary relation definition
- Power set definition
- Universal set definition
- Order on the reals definition
- Function definition
- Complement definition
- Interval definition
- Preimage of a set definition
- Sigma-algebra definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability distribution definition
- Probability space definition
- Conditional probability definition
- Random variable definition
- Independence of two events definition
- Cumulative distribution function definition
- Law of a random variable definition
- Mutual independence of events definition
- Convergence in distribution definition
- Identically distributed random variables definition
- Independent sigma-algebras definition
- Independence of random variables definition
- Independent and identically distributed random variables definition
- Pickands–Balkema–De Haan theorem statement
Further reading
About this page
| Tag | 62TMXRHZ76 |
|---|---|
| URI | m2://62TMXRHZ76 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 62G32, 60G70 |
| Status | This copy of the site has no build data. Run m2 status 62TMXRHZ76. |
| About | Fisher–Tippett–Gnedenko theorem |
| Uses | Fisher–Tippett–Gnedenko theorem, Cumulative distribution function, Independent and identically distributed random variables, Convergence in distribution |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.