Statement¶
For a centered normal density parameterized by variance
the body-shoulder-tail diagnostic asks where a small, mean-preserving randomization of adds density and where it removes density. A local version is the sign of
For the standard normal density, this second derivative changes sign at
These four points split the line into left tail, left shoulder, peak, right shoulder, and right tail regions. Positive variance curvature means a local variance mixture raises density there; negative variance curvature means it lowers density there.
The notation denotes the density at fixed variance ; a mixture averages these densities over a positive random variance . The Normix normal-mixtures note supplies the complementary conditional construction. See the shared notation canon.
Examples¶
For the standard normal density under variance perturbation, the inner shoulder boundaries are about , and the outer tail boundaries are about .
If one perturbs the normal scale rather than the variance , the corresponding boundaries are different: about and for the standard normal.
For Student-t densities, a scale-curvature version applies, but the boundary values depend on the degrees of freedom.
These boundaries are not Pareto thresholds; threshold selection for regular variation is a separate problem.
Diagnostic intuition¶
If a Gaussian variance is randomized while keeping the center fixed, the resulting mixture does not simply “spread out” everywhere. It tends to add mass near the peak and in the far tails, while taking mass from the shoulders. The shoulders are the moderate-deviation region that looks ordinary under a single scale but is depleted when variance uncertainty is introduced.
This diagnoses the geometry of a specified population density, not its tail index. It explains why stochastic volatility can create both a sharper center and fatter-looking tails without producing a Pareto tail. Choosing a threshold for tail estimation remains the separate judgment handled by Tail Threshold Selection.
Derivation of the variance-curvature boundaries¶
We derive the standard-normal variance-curvature boundaries by differentiating the density with respect to variance and solving the resulting quadratic in . The Taylor expansion explains the local mixture interpretation. The comparison with scale perturbation below uses a different derivative; none of these boundaries is a rule for selecting a Pareto threshold.
For the normal density with variance parameter , write
Set . A direct differentiation gives
and a second differentiation gives
At , the sign changes where
Solving the quadratic in gives
This is a local Taylor diagnostic. A sufficient small-perturbation model is
with bounded local perturbation and small enough that . For each fixed , Taylor’s theorem, with bounded third derivative near , gives
Thus the curvature sign determines the leading local density change away from its zeros. Small variance of a perturbation alone would not justify this remainder without control of the perturbation family. The expansion is pointwise in , not uniform arbitrarily far into the tails.
Static region and mixture calculations¶
At , put and .
| Region | Variance curvature of density | Leading change under small mean-preserving variance mixing |
|---|---|---|
| (peak) | Positive | Density increases |
| (shoulders) | Negative | Density decreases |
| (tails) | Positive | Density increases |
For a concrete finite mixture, define
Its mean is zero and its variance is one. The ratio to the unit normal is
At , the ratio is approximately 1.491, 0.617, and 2.754. This exhibits increased center and far-tail density with depleted shoulders. The exact crossings solve the ratio-equals-one equation; they need not be the local curvature boundaries . This finite Gaussian mixture has a finite moment generating function at every real argument and is not regularly varying, despite having more far-tail mass than the unit normal.
Density, survival, and scale are different diagnostics¶
For , the two-sided normal survival at variance is , where is standard normal survival and is its density. Differentiation gives
Its positive-threshold curvature boundary is , about 1.732 when . It differs from both density boundaries.
For scale perturbation, write and . Then
At , its positive zeros are and . Mean-preserving scale mixing is a different operation from mean-preserving variance mixing. Student scale-curvature comparisons depend on degrees of freedom, as derived below.
Student scale curvature¶
The scale calculation also has a closed form for a Student density. Write , where is scale, is degrees of freedom, and normalizes the density. Set and . Logarithmic differentiation gives
For the second formula, differentiate the first, using , and add the square of the log derivative. The numerator is a quadratic with two positive roots when . Solving in gives the four density-curvature boundaries
The leading coefficient and the value at zero are positive, so curvature is positive inside the inner pair and beyond the outer pair, and negative between them. At , the positive boundaries are and . The standard deviation is ; these numbers are in scale units. For , the variance is not finite, although the four-boundary formula still applies when . At the quadratic loses its leading term, so that formula’s domain must not be extended through the zero denominator.
Dividing numerator and denominator of the root formula by shows that its two positive roots tend to the Gaussian scale-curvature roots as . This is an algebraic limit, not a fitted threshold rule. The gamma-precision construction explains the Student tail exponent and moment conditions separately.
Curvature and exact density differences¶
The upper panel compares the pointwise quadratic approximation with exact mixtures at perturbations 0.1 and 0.6. Vertical lines mark the variance curvature zeros; finite-mixture crossings need not stay on those lines. The lower panel places normal variance, normal scale, and Student-three scale boundaries on the same dimensionless axis. Student scale is 1, so its standard deviation is the square root of 3.
Use normal_peak_shoulder_tail, normal_variance_peak_shoulder_tail, t_peak_shoulder_tail.
from xmath.incerto.stats import (
normal_peak_shoulder_tail, normal_variance_peak_shoulder_tail,
t_peak_shoulder_tail,
)
for label, values in (("Normal, scale", normal_peak_shoulder_tail()),
("Normal, variance", normal_variance_peak_shoulder_tail()),
("Student 3, scale", t_peak_shoulder_tail(3))):
print(f"{label}: [" + ", ".join(f"{v:.4g}" for v in values) + "]")Output
Normal, scale: [-2.136, -0.6622, 0.6622, 2.136]
Normal, variance: [-2.334, -0.742, 0.742, 2.334]
Student 3, scale: [-2.758, -0.6281, 0.6281, 2.758]These are local perturbation boundaries at unit scale, not fitted tail thresholds.
Figure regeneration: uv run python demos/incerto/finite_moments.py. These are exact density
calculations on 801 fixed points, with no random sampling. The script
reports the finite-mixture crossings separately from the local boundaries.
Let be a positive mixing variance with . Jensen’s inequality for survival needs convexity throughout the mixing interval. If and , the displayed is nonnegative on that interval, and . If instead and , its curvature is nonpositive and the inequality reverses. These sufficient conditions show why a local tail-curvature statement cannot justify global Jensen claims at every threshold under unrestricted mixing.
Caveats¶
The diagnostic uses centered normal components and a small mean-preserving perturbation of their positive variance. Skewed or multimodal distributions need a different interpretation.
The region labels are not universal definitions of “body” or “tail”. They are tied here to local variance perturbations. Perturbing scale instead of variance changes the numerical boundaries.
A shoulder/tail boundary is not a threshold for Pareto estimation. It describes density geometry, not regular variation.
For a large finite mixture, exact density crossings must be calculated from that mixture; the curvature formulas describe a local limit.
References¶
Taleb (2025), Statistical Consequences of Fat Tails, third edition, 2025, ch. 4, §§4.3–4.3.1, printed pp. 75–78. The source uses scale curvature; our variance and survival comparisons are derived separately. The calculations above prove the stated normal and Student cases, not a universal crossover theorem for all unimodal densities.
Backlinks¶
Depends on: Normix normal mixtures and the canonical density notation in Shared notation.
Used by: Dispersion Ratio Under Fat Tails.
- Taleb, N. N. (2025). Statistical Consequences of Fat Tails (3rd ed.). https://arxiv.org/abs/2001.10488v4