Why Tail Decay Determines Extreme-Value Shape
For a sample of independent observations, the maximum is usually far beyond the range of a typical observation. Its distribution therefore depends strongly on how quickly the survival probability decreases in the far tail. A power-law tail decreases more slowly than an exponential tail, and this slow decay produces a characteristic limit for normalized maxima: the Fréchet distribution.
Regular variation gives a precise way to describe this power-law behavior, including tails that are not exact powers. Its exponent also identifies the shape parameter of the corresponding generalized extreme-value (GEV) limit. The central calculation is that multiplying a large threshold by \(x\) multiplies the tail probability, asymptotically, by \(x^{-\alpha}\).
Regular Variation of a Survival Tail
Let \(X\) be a nonnegative random variable with distribution function \(F\). Its survival function is \(\bar F(x)=P(X>x)=1-F(x)\). The tail is regularly varying with index \(-\alpha\), for \(\alpha>0\), if it is eventually positive and
Equivalently, for sufficiently large \(t\), one can write \(\bar F(t)=t^{-\alpha}L(t)\), where \(L\) is a positive slowly varying function: \(L(tx)/L(t)\to1\) for each fixed \(x>0\). The factor \(L\) allows departures from an exact power law while preserving the same asymptotic tail exponent. Regular variation is a statement about ratios at large thresholds, not an assertion that the tail equals a power at every threshold.
Worked Example: An Exact Pareto Tail
Suppose \(X\) has a Pareto distribution with scale \(c>0\) and exponent \(\alpha>0\), so that \(P(X>x)=(c/x)^\alpha\) for \(x\ge c\). For any fixed \(u>0\), once \(t\) is sufficiently large that both \(t\) and \(tu\) are at least \(c\),
Thus the survival tail is regularly varying with index \(-\alpha\), with slowly varying factor \(L(t)=c^\alpha\), a constant. In particular, the tail exponent is \(\alpha\), regardless of the scale \(c\).
From Regular Variation to a Fréchet Limit
Let \(X_1,X_2,\ldots\) be independent and identically distributed nonnegative random variables with survival function \(\bar F\), regularly varying with index \(-\alpha\), where \(\alpha>0\). Write \(M_n=\max(X_1,\ldots,X_n)\). Choose positive constants \(a_n\) such that
Such a tail-based normalization is available for an unbounded regularly varying tail; one may use generalized tail quantiles. The condition states that a threshold of size \(a_n\) has exceedance probability approximately \(1/n\). Since \(\bar F(a_n)\to0\), this normalization also requires \(a_n\to\infty\).
To prove the result, fix \(x>0\). Regular variation, applied at \(t=a_n\), gives
By independence, the probability that every observation is at most \(a_nx\) is
Set \(q_n=\bar F(a_nx)\). The preceding limit shows \(nq_n\to x^{-\alpha}\), so \(q_n\to0\). For \(0\le q<1\), \(\log(1-q)/q\to-1\) as \(q\to0\). Consequently,
and exponentiating proves the claimed limit for \(x>0\). For \(x<0\), nonnegativity gives \(P(M_n/a_n\le x)=0\). At \(x=0\), the probability is \(P(X=0)^n\); regular variation ensures \(P(X>0)>0\), so this probability tends to zero. These values agree with \(G_\alpha\), completing the convergence in distribution. \(\square\)
Worked Example: Normalized Maxima from a Pareto Sample
Let \(X_1,\ldots,X_n\) be independent with Pareto survival \(\bar F(x)=(2/x)^3\) for \(x\ge2\), and let \(M_n\) be their maximum. Choose \(a_n=2n^{1/3}\). This threshold is at least 2, and
For fixed \(x>0\), \(a_nx\ge2\) for all sufficiently large \(n\). Therefore
The limit has tail exponent \(3\). The scale \(2\) affects the normalization \(a_n\), but not the limiting exponent.
The Tail Exponent and the GEV Shape Parameter
In the usual GEV parameterization, the distribution function is
where \(\mu\) is a location parameter, \(\sigma>0\) is a scale parameter, and \(\xi\ne0\) is the shape parameter. For a Fréchet limit, \(\xi>0\). The unit Fréchet variable \(Y\) with \(P(Y\le y)=\exp(-y^{-\alpha})\) for \(y>0\) can be transformed by \(Z=(Y-1)/\xi\), where \(\xi=1/\alpha\). Then, on \(1+\xi z>0\),
This is a GEV distribution with \(\mu=0\), \(\sigma=1\), and \(\xi=1/\alpha\). The affine transformation changes location and scale conventions, not the shape. The same relationship is visible directly in the far tail: for \(\xi>0\), the GEV survival probability is asymptotic to a constant times \(z^{-1/\xi}\) as \(z\to\infty\). Matching that power with a regularly varying survival tail gives \(\alpha=1/\xi\).
Worked Example: Reading the GEV Shape from a Tail
Suppose a model has survival tail \(\bar F(t)=t^{-2}L(t)\), where \(L\) is slowly varying. The regular-variation exponent is \(\alpha=2\). The corresponding Fréchet limit has distribution function \(\exp(-x^{-2})\) for \(x>0\), and its GEV shape parameter is
Conversely, a positive GEV shape value \(\xi=0.4\) corresponds to tail exponent \(\alpha=1/\xi=2.5\). These calculations identify the exponent and shape only; the tail's slowly varying factor and the distribution's scale determine the appropriate normalization of the maxima.
Atoms, Normalization, and a Common Pitfall
Regular variation concerns the tail at large positive thresholds. It does not require a continuous distribution, nor does it forbid an atom at zero. The maximum-limit proof uses the survival probability at \(a_nx\) for \(x>0\); the value at zero must be handled separately if one wants to state convergence there.
Worked Example: A Pareto Tail with an Atom at Zero
Let \(P(X=0)=0.2\), and with probability \(0.8\) let \(X\) have the Pareto survival \((1/x)^2\) for \(x\ge1\). For \(x\ge1\),
Thus the tail is regularly varying with exponent \(\alpha=2\). For sufficiently large \(n\), take \(a_n=(0.8n)^{1/2}\), which is at least 1. Then \(n\bar F(a_n)=1\), and the theorem gives the unit Fréchet limit \(\exp(-x^{-2})\) for \(x>0\). At zero, however, the finite-sample probability is
which is positive for every finite \(n\), but tends to zero. The limit is zero at \(x=0\), as required.
A common error is to claim that nonnegativity alone makes \(P(M_n/a_n\le0)=0\). Nonnegativity only implies that this event occurs when all observations equal zero; it does not rule out an atom there. The correction is to write its probability as \(P(X=0)^n\) and show that it tends to zero. Regular variation ensures \(P(X>0)>0\), so \(P(X=0)<1\).
Another important distinction is between the tail exponent and the normalization. The exponent \(\alpha\) determines the shape of the Fréchet limit, but it does not by itself determine the finite-sample scale \(a_n\). That scale depends on the full tail, including its slowly varying factor. A sound analysis therefore identifies both the tail ratio and a normalization satisfying \(n\bar F(a_n)\to1\).
Check Your Understanding
Use the definitions and limit argument above to answer the following questions.
- If \(\bar F(t)=t^{-4}L(t)\) with \(L\) slowly varying, what is the Fréchet tail exponent and the corresponding positive GEV shape parameter?
- Why does \(n\bar F(a_n)\to1\) imply \(a_n\to\infty\) for an unbounded regularly varying tail?
- For fixed \(x>0\), what limit does \(n\bar F(a_nx)\) have, and which definition gives this result?
- Why does the maximum-limit proof use independence when expressing \(P(M_n/a_n\le x)\) as a power?
- If \(P(X=0)=r\) with \(0\le r<1\), what is \(P(M_n/a_n\le0)\), and what is its limit?