Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Generalized Extreme-Value Distribution

Statement

The generalized extreme-value distribution is the standard limit family for normalized block maxima. With location μ\mu, scale σ>0\sigma>0, shape ξ\xi, and standardized variable z=(x−μ)/σz=(x-\mu)/\sigma, its CDF is

Hξ,μ,σ(x)=exp⁡[−(1+ξz)−1/ξ],ξ≠0,H_{\xi,\mu,\sigma}(x) = \exp\left[-\left(1+\xi z\right)^{-1/\xi}\right], \qquad \xi\ne0,

where 1+ξz>01+\xi z>0. For ξ>0\xi>0, extend the CDF by zero at and below μ−σ/ξ\mu-\sigma/\xi; for ξ<0\xi<0, extend it by one at and above μ−σ/ξ\mu-\sigma/\xi. The boundary case is the Gumbel law,

H0,μ,σ(x)=exp⁡[−e−z].H_{0,\mu,\sigma}(x) = \exp\left[-e^{-z}\right].

The shape parameter ξ\xi is the same extreme-value index used in threshold excesses: ξ>0\xi>0 is Frechet-type heavy-tail behavior, ξ=0\xi=0 is Gumbel-type behavior, and ξ<0\xi<0 is Weibull-type finite endpoint. Here XiX_i are observations and Mn=max⁡1≤i≤nXiM_n=\max_{1\le i\le n}X_i. The Pareto example below uses lower cutoff xm>0x_m>0 and exponent α>0\alpha>0. Gumbel attraction is broader than exponential parent tails: normal and lognormal parents are examples, despite their different tail decay.

Maxima intuition

The distribution is to block maxima what the Generalized Pareto Distribution is to threshold exceedances. For iid observations, if there are constants an>0a_n>0 and bnb_n such that (Mn−bn)/an(M_n-b_n)/a_n converges to a nondegenerate law, that law is a GEV distribution up to location and scale. Existence of such a limit is an assumption; it does not hold for every parent law.

For fat-tail work, ξ>0\xi>0 is the main case. A Pareto tail with exponent α\alpha has ξ=1/α\xi=1/\alpha, so the fitted block-maximum shape should point to the same tail coordinate as a Hill or GPD threshold analysis when the modeling assumptions are reasonable.

Shape regimes

With μ=0\mu=0 and σ=1\sigma=1, the support makes the three shapes explicit.

Shape ξ\xiInterior CDFSupport
-0.3exp⁡[−(1−0.3x)10/3]\exp[-(1-0.3x)^{10/3}]x<10/3x<10/3; CDF is one above
0exp⁡[−e−x]\exp[-e^{-x}]All real xx
0.3exp⁡[−(1+0.3x)−10/3]\exp[-(1+0.3x)^{-10/3}]x>−10/3x>-10/3; CDF is zero below

Every curve passes through H(0)=e−1H(0)=e^{-1}. Positive shape gives a power-law right tail; negative shape gives a finite right endpoint.

GEV densities and CDFs show a left endpoint for positive shape and a right endpoint for negative shape. A third log-log panel shows survival only at positive thresholds.

Figure 1:Exact GEV laws with (μ,σ)=(0,1)(\mu,\sigma)=(0,1) and ξ=−0.3,0,0.3\xi=-0.3,0,0.3. The dotted boundaries are −10/3-10/3 for positive shape and 10/310/3 for negative shape. The Gumbel law has no finite endpoint. The log-log panel shows only positive thresholds, with survival below 10-8 outside the viewport and exact zero omitted.

generalized_extreme_value uses the shape sign in this page’s CDF. It passes c=-xi to SciPy’s genextreme.

from xmath.incerto.distributions import generalized_extreme_value

for xi in (-0.3, 0, 0.3):
    law = generalized_extreme_value(xi)
    left, right = law.support()
    print(f"xi={xi:.4g}: support=[{left:.4g}, {right:.4g}], cdf(0)={law.cdf(0):.4g}")

Output

xi=-0.3: support=[-inf, 3.333], cdf(0)=0.3679
xi=0: support=[-inf, inf], cdf(0)=0.3679
xi=0.3: support=[-3.333, inf], cdf(0)=0.3679

Regenerate the card with uv run python demos/incerto/distribution_cards.py.

Pareto block maxima example

If X1,…,XnX_1,\dots,X_n are iid Pareto Type I with lower cutoff xmx_m and exponent α\alpha, then for x≥xmx\ge x_m,

P(Mn≤x)=(1−(xmx)α)n.\mathbb P(M_n\le x) = \left(1-\left(\frac{x_m}{x}\right)^\alpha\right)^n.

With an=xmn1/αa_n=x_m n^{1/\alpha}, for fixed y>0y>0 and sufficiently large nn,

P(Mn/an≤y)=(1−1nyα)n→exp⁡(−y−α),y>0.\mathbb P(M_n/a_n\le y) = \left(1-\frac{1}{ny^\alpha}\right)^n \to \exp(-y^{-\alpha}),\qquad y>0.

This is the Frechet member of the GEV family with ξ=1/α\xi=1/\alpha after a standard location-scale reparameterization.

Block-size calibration

For an exact Pareto parent with α=1.8=9/5\alpha=1.8=9/5, the limiting shape is ξ=5/9\xi=5/9. At block size n=250n=250, the normalizing scale is an=xm2505/9a_n=x_m250^{5/9}. At the normalized threshold y=1y=1,

P(M250/a250≤1)=(249/250)250≈0.367142,Φ1.8(1)=e−1≈0.367879.\mathbb P(M_{250}/a_{250}\le1) =(249/250)^{250}\approx0.367142, \qquad \Phi_{1.8}(1)=e^{-1}\approx0.367879.

This compares an exact finite-block CDF with its limit; it is not a GEV fit or an assessment of sampling uncertainty. The standard Frechet limit has GEV parameters (ξ,μ,σ)=(5/9,1,5/9)(\xi,\mu,\sigma)=(5/9,1,5/9) on the normalized scale.

Caveats

References

References
  1. Embrechts, P., Klüppelberg, C., & Mikosch, T. (1997). Modelling Extremal Events. Springer. 10.1007/978-3-642-33483-2
  2. Resnick, S. I. (2007). Heavy-Tail Phenomena: Probabilistic and Statistical Modeling. Springer. 10.1007/978-0-387-45024-7
  3. Coles, S. (2001). An Introduction to Statistical Modeling of Extreme Values. Springer. 10.1007/978-1-4471-3675-0