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.

Iso-Density Tail Geometry

Statement

Iso-density tail geometry studies the level sets of the iid joint density

fX1,X2(x1,x2)=f(x1)f(x2)f_{X_1,X_2}(x_1,x_2)=f(x_1)f(x_2)

near a large-deviation constraint such as x1+x2=sx_1+x_2=s. The diagnostic asks whether the most likely configurations along the constraint sit near the diagonal, where both coordinates are moderately large, or near the axes, where one coordinate is large and the other is ordinary.

Here X1,X2X_1,X_2 are independent copies of a continuous random variable with density ff, and x1,x2x_1,x_2 are its coordinate values. The sum level ss is fixed for each comparison. Shared notation is planned.

Normal versus Cauchy geometry

For two iid standard normal variables, the joint density is proportional to

exp[x12+x222].\exp\left[-\frac{x_1^2+x_2^2}{2}\right].

On the line x1+x2=sx_1+x_2=s,

x12+x22=2(x1s2)2+s22,x_1^2+x_2^2 = 2\left(x_1-\frac{s}{2}\right)^2+\frac{s^2}{2},

so the joint density is maximized at the equal split (s/2,s/2)(s/2,s/2). A large Gaussian sum is geometrically a many-moderate-deviation event.

For two iid standard Cauchy variables,

f(x)=1π(1+x2).f(x)=\frac{1}{\pi(1+x^2)}.

Compare the equal split (s/2,s/2)(s/2,s/2) with an axial split (0,s)(0,s). The axial to equal density ratio is

f(0)f(s)f(s/2)2=(1+s2/4)21+s2s216.\frac{f(0)f(s)}{f(s/2)^2} = \frac{(1+s^2/4)^2}{1+s^2} \sim \frac{s^2}{16} \to\infty.

Along a large-sum line, the Cauchy geometry increasingly favors one large coordinate rather than two equal coordinates. This is the density-contour version of the one-big-jump intuition in Subexponentiality and the Survival Tail Ratio.

Static density comparison

For the same sum level ss, the normal and Cauchy axial-to-equal ratios are

RN(s)=es2/4,RC(s)=(1+s2/4)21+s2.R_{\mathrm N}(s)=e^{-s^2/4}, \qquad R_{\mathrm C}(s)=\frac{(1+s^2/4)^2}{1+s^2}.
Sum level ssNormal ratio RN(s)R_{\mathrm N}(s)Cauchy ratio RC(s)R_{\mathrm C}(s)
40.01831625/171.47125/17\approx1.471
81.1254×1071.1254\times10^{-7}289/654.446289/65\approx4.446
122.3195×10162.3195\times10^{-16}1369/1459.4411369/145\approx9.441

The table evaluates exact density ratios, without estimating probabilities. Normal equal splits dominate axial splits more strongly as ss increases; Cauchy axial splits eventually dominate equal splits.

The axial points are comparison points, not the exact Cauchy maximizers for finite positive ss. To locate those maximizers, minimize the denominator D(x)=(1+x2)(1+(sx)2)D(x)=(1+x^2)(1+(s-x)^2) along the line. Its derivative factors as

D(x)=2(2xs)(x2sx+1).D'(x)=2(2x-s)(x^2-sx+1).

For s>2s>2, the two minima occur at

x=s±s242,x=\frac{s\pm\sqrt{s^2-4}}{2},

so the maximizing pairs approach (1/s,s1/s)(1/s,s-1/s) and its swap as ss grows. They sit near the axes, while the equal split becomes a local density minimum. For 0s20\le s\le2, the equal split maximizes the constrained density.

This algebra describes density along a constraint of probability zero. It does not prove a tail probability asymptotic. The Cauchy example is two-sided; applying the nonnegative-summand subexponential theorem to it requires a separate right-tail argument.

Caveats

References

Source and adaptation

Adapted from incerto-wiki, content/concepts/methods/iso-density-tail-geometry.md, revision 9717c9c (2026-09-13 import). Copyright (c) 2023 xshi19. Licensed under MIT. Links and notation were adapted for this site; executable figures and simulations were replaced with static calculations. No upstream execution or formal-proof verification is claimed for this adaptation.

MIT permission notice

MIT License

Copyright (c) 2023 xshi19

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

References
  1. Embrechts, P., Klüppelberg, C., & Mikosch, T. (1997). Modelling Extremal Events. Springer Berlin Heidelberg. 10.1007/978-3-642-33483-2