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.

Plug-In Tail Estimation

Overview

Plug-in tail estimation fits a tail model and evaluates a quantity of interest under that fitted model. If a distribution family is indexed by a parameter θ\theta and the target functional is T(θ)T(\theta), its plug-in estimate is T(θ^)T(\widehat\theta). The parameter can include a tail exponent, scale, and tail probability; an exponent alone generally does not determine the target.

For an exact Pareto distribution, estimating the exponent from logarithms can give more concentrated mean estimates than the sample mean. This page establishes a comparison of asymptotic error scales and explains how finite-sample error comparisons must handle non-finite fits. It does not claim uniformly smaller mean squared error (MSE). The unregularized plug-in mean has its own singularity at the mean-existence boundary.

A regularly varying tail only specifies limiting tail ratios. Using a Hill estimate in a functional requires a threshold choice, a tail approximation, and any body contribution to that functional. The exact model below isolates the estimation mechanism before these modeling uncertainties enter.

Here α\alpha is the tail exponent, xmx_m is the lower cutoff, and the extreme-value index is ξ=1/α\xi=1/\alpha. We write μ=E[X]\mu=\mathbb E[X] and Xˉn=n−1∑i=1nXi\bar X_n=n^{-1}\sum_{i=1}^n X_i for the population and sample means.

Exact Pareto mean with a known cutoff

Assume X1,…,XnX_1,\ldots,X_n are independent and identically distributed (iid), with

P(Xi>x)=(xmx)α,x≥xm>0,\mathbb P(X_i>x)=\left(\frac{x_m}{x}\right)^\alpha, \qquad x\ge x_m>0,

where xmx_m is known and fixed, and the true exponent satisfies α>1\alpha>1. These are assumptions about the entire distribution. The Pareto moment formula gives

μ=αxmα−1=xm1−ξ.\mu=\frac{\alpha x_m}{\alpha-1}=\frac{x_m}{1-\xi}.

The maximum-likelihood estimate of the exponent and its reciprocal are

ξ^n=1n∑i=1nlog⁡(Xi/xm),α^n=1ξ^n.\widehat\xi_n=\frac1n\sum_{i=1}^n\log(X_i/x_m), \qquad \widehat\alpha_n=\frac1{\widehat\xi_n}.

They use all observations above a known cutoff. Hill instead averages the top kk log-excesses above the random order-statistic threshold Xn−k:nX_{n-k:n}. The formulas share a log-excess mechanism, but their sample sizes and threshold assumptions differ.

The plug-in mean is

μ^n=xm1−ξ^n=α^nxmα^n−1,ξ^n<1.\widehat\mu_n=\frac{x_m}{1-\widehat\xi_n} =\frac{\widehat\alpha_n x_m}{\widehat\alpha_n-1}, \qquad \widehat\xi_n<1.

Use pareto_mean_plugin.

from xmath.incerto.estimators import pareto_mean_plugin

for sample in ([1, 1], [1, 2], [4, 4]):
    print(f"{sample} {pareto_mean_plugin(sample, x_m=1):.4g}")

Output

[1, 1] 1
[1, 2] 1.53
[4, 4] inf

An all-cutoff sample uses the limiting mean xmx_m; a fit with ξ^n≥1\widehat\xi_n\ge1 has no finite mean.

Why the logarithmic fit can improve concentration

For each fixed α>1\alpha>1, the finite plug-in estimates have the asymptotic law

L ⁣(n(μ^n−μ)∣ξ^n<1)⇒N ⁣(0,xm2α2(α−1)4),n→∞.\mathcal L\!\left(\sqrt n(\widehat\mu_n-\mu) \mid \widehat\xi_n<1\right) \Rightarrow \mathcal N\!\left(0,\frac{x_m^2\alpha^2}{(\alpha-1)^4}\right), \qquad n\to\infty.

Here L(⋅∣⋅)\mathcal L(\cdot\mid\cdot) denotes a conditional sampling law, ⇒\Rightarrow denotes convergence in distribution, and N(0,v)\mathcal N(0,v) is the centered normal law with variance vv. The probability of a non-finite fit tends to zero. Thus central error quantiles shrink on the n−1/2n^{-1/2} scale. This is a distributional claim; the variance in the normal limit is not a claim about the finite-sample variance of μ^n\widehat\mu_n.

For 1<α<21<\alpha<2, the sample mean remains consistent, but its error scale is n1/α−1n^{1/\alpha-1}. More precisely, the generalized central limit theorem gives a nondegenerate, non-Gaussian α\alpha-stable limit for n1−1/α(Xˉn−μ)n^{1-1/\alpha}(\bar X_n-\mu) in this exact Pareto model 2007. That scale decays more slowly than n−1/2n^{-1/2}. Large observations can continue to move sample means in this regime; pre-asymptotic LLN behavior illustrates this effect.

Derivation of the Pareto fit and its normal limit

We derive the known-cutoff fit and the displayed plug-in limit using the ordinary iid central limit theorem and the delta method. The general limit theorems are cited from van der Vaart 1998, Chapters 2–3; the stable limit for the sample mean is cited above.

Set Yi=log⁡(Xi/xm)Y_i=\log(X_i/x_m). For y≥0y\ge0,

P(Yi>y)=P(Xi>xmey)=e−αy.\mathbb P(Y_i>y)=\mathbb P(X_i>x_m e^y)=e^{-\alpha y}.

Thus YiY_i is exponential with mean 1/α1/\alpha and variance 1/α21/\alpha^2, even when XiX_i has infinite variance. Up to terms independent of α\alpha, the log likelihood is nlog⁡α−α∑iYin\log\alpha-\alpha\sum_iY_i. Its derivative vanishes at α^n=n/∑iYi\widehat\alpha_n=n/\sum_iY_i, and its second derivative is −n/α2<0-n/\alpha^2<0. This proves the fit formula when ∑iYi>0\sum_iY_i>0, an event of probability one under the continuous model.

The law of large numbers gives ξ^n→1/α<1\widehat\xi_n\to1/\alpha<1 almost surely. The central limit theorem gives

n(ξ^n−ξ)⇒N(0,ξ2).\sqrt n(\widehat\xi_n-\xi) \Rightarrow\mathcal N(0,\xi^2).

For the locally smooth function h(t)=xm/(1−t)h(t)=x_m/(1-t), h′(ξ)=xm/(1−ξ)2h'(\xi)=x_m/(1-\xi)^2. The delta method therefore gives limiting variance

[h′(ξ)]2ξ2=xm2ξ2(1−ξ)4=xm2α2(α−1)4.[h'(\xi)]^2\xi^2 =\frac{x_m^2\xi^2}{(1-\xi)^4} =\frac{x_m^2\alpha^2}{(\alpha-1)^4}.

Because P(ξ^n<1)→1\mathbb P(\widehat\xi_n<1)\to1, conditioning on finite fits does not change this weak limit. The gain comes from averaging exponential log-excesses and using the assumed Pareto shape to extrapolate the mean. It depends on that shape being correct.

Error-scale comparison

At α=1.5\alpha=1.5 and xm=1x_m=1, μ=3\mu=3 and the normal-limit variance coefficient for the plug-in mean is 36. Its central absolute error scale is therefore 6/n6/\sqrt n, or 2/n2/\sqrt n relative to μ\mu. The sample mean’s stable-limit scale is proportional to n−1/3n^{-1/3}. The unknown comparison constants and finite-sample behavior are not supplied by comparing these powers of nn.

If a repeated-sample experiment is performed, non-finite fits must count as infinite errors, including when summarizing quantiles and exceedance probabilities. No repeated-sample performance table is reported here.

Neither the normal limit nor a finite simulation establishes MSE dominance or tests whether an empirical dataset is Pareto.

When only the tail is modeled

Let X≥0X\ge0 and fix a threshold u>0u>0 with tail probability qu=P(X>u)>0q_u=\mathbb P(X>u)>0. Suppose the conditional tail is exactly Pareto:

P(X>x∣X>u)=(u/x)α,x≥u,α>1.\mathbb P(X>x\mid X>u)=(u/x)^\alpha, \qquad x\ge u,\quad \alpha>1.

The mean-excess formula gives E[X∣X>u]=u+e(u)=uα/(α−1)\mathbb E[X\mid X>u]=u+e(u)=u\alpha/(\alpha-1), where e(u)=E[X−u∣X>u]e(u)=\mathbb E[X-u\mid X>u]. Splitting the expectation at uu yields

μ=E[X1{X≤u}]+quuαα−1.\mu=\mathbb E[X\mathbf1_{\{X\le u\}}] +q_u\frac{u\alpha}{\alpha-1}.

For an iid sample, let k=∑i1{Xi>u}k=\sum_i\mathbf1_{\{X_i>u\}} be the exceedance count. Estimate quq_u by k/nk/n and fit α^u\widehat\alpha_u from those exceedances. When k>0k>0 and α^u>1\widehat\alpha_u>1, a body-plus-tail estimate is

μ^u=1n∑i=1nXi1{Xi≤u}+knuα^uα^u−1.\widehat\mu_u =\frac1n\sum_{i=1}^n X_i\mathbf1_{\{X_i\le u\}} +\frac{k}{n}\frac{u\widehat\alpha_u}{\widehat\alpha_u-1}.

The first term is the body’s contribution per original observation, not the mean conditional on being in the body. The second includes the threshold itself as well as the mean excess. With no exceedances there is no fitted tail exponent; a missing tail fit should be reported. If the fitted exponent is at most 1, the fitted conditional mean is infinite.

A mixture calculation shows why both contributions are needed.

Consider a uniform body on [1,3][1,3] with probability 0.8, and a Pareto tail with cutoff u=3u=3 and exponent α=1.5\alpha=1.5 with probability 0.2. The body conditional mean is 2, the tail conditional mean is 9, and

E[X]=0.8⋅2+0.2⋅9=3.4.\mathbb E[X]=0.8\cdot2+0.2\cdot9=3.4.

Using 9 as the whole-distribution mean would omit the body and tail mass. Fitting every observation as exact Pareto from 1 would also impose the wrong model. This is a population calculation, not a simulated estimator ranking.

For empirical thresholds, repeat the analysis over plausible uu or kk. Regular variation supports a Pareto approximation far into the tail, not an exact conditional model at a chosen finite threshold. The known-cutoff n\sqrt n calculation does not supply a rate or confidence interval for a Hill fit with a selected threshold.

Caveats

The moment boundary is also an estimation boundary. Differentiating the population mean with respect to the exponent gives

dμdα=−xm(α−1)2.\frac{d\mu}{d\alpha}=-\frac{x_m}{(\alpha-1)^2}.

Small exponent errors can therefore produce large mean errors near α=1\alpha=1. An uncertainty interval for α\alpha that reaches 1 cannot be mapped to a finite upper bound for this Pareto mean. The fixed-α\alpha normal approximation above is not uniform as α↓1\alpha\downarrow1.

There is a stronger finite-sample warning: even conditional on a finite fit, the unregularized plug-in estimator has infinite first and second moments. To see this under the exact iid model, ξ^n\widehat\xi_n has a gamma density fn(t)=(nα)ntn−1e−nαt/Γ(n)f_n(t)=(n\alpha)^n t^{n-1}e^{-n\alpha t}/\Gamma(n) for t>0t>0, obtained by averaging nn independent exponential log-excesses. Here Γ\Gamma is the gamma function. The density is continuous and strictly positive at t=1t=1. For any sufficiently small ε>0\varepsilon>0, the first-moment integral includes

∫1−ε1xm1−tfn(t) dt=∞;\int_{1-\varepsilon}^1\frac{x_m}{1-t}f_n(t)\,dt=\infty;

replacing xm/(1−t)x_m/(1-t) by its square gives a divergent second-moment integral. Conditioning on t<1t<1 only divides these integrals by a positive probability. Moreover, P(ξ^n≥1)>0\mathbb P(\widehat\xi_n \ge1)>0 for every finite nn. Finite simulations can easily miss the singularity. Clipping or constraining the exponent away from 1 changes the estimator and must be disclosed, with its bias and any risk claim assessed separately.

Model uncertainty remains after sampling error shrinks. A fitted exponent does not determine the scale, tail probability, or body of the distribution. Truncation, dependence, measurement limits, or an incorrectly chosen threshold can invalidate the exact-model calibration. Report those assumptions alongside threshold sensitivity and uncertainty propagated through the functional. If the true exact Pareto exponent is at most 1, there is no finite population mean to recover by this method.

References

References
  1. Resnick, S. I. (2007). Heavy-Tail Phenomena: Probabilistic and Statistical Modeling. Springer. 10.1007/978-0-387-45024-7