63
$\begingroup$

(This is based on a question that just came to me via email; I've added some context from a previous brief conversation with the same person.)

Last year I was told that the gamma distribution is heavier tailed than the lognormal, and I've since been told that's not the case.

  • Which is heavier tailed?

  • What are some resources I can use to explore the relationship?

$\endgroup$
2
  • 5
    $\begingroup$ To the person that just downvoted: It would be useful to know what the perceived problem with the question is. $\endgroup$
    – Glen_b
    Commented Jan 1, 2018 at 0:45
  • 1
    $\begingroup$ Was not me, I upvoted a long time ago. However, I suspect it was about the utility of heavy-tailedness versus kurtosis in the context of t-testing assumptions in the presence of outliers, which has absolutely nothing to do with what you asked. Downvoting is, IMHO, problematic. $\endgroup$
    – Carl
    Commented Jan 1, 2018 at 1:11

3 Answers 3

71
$\begingroup$

The (right) tail of a distribution describes its behavior at large values. The correct object to study is not its density--which in many practical cases does not exist--but rather its distribution function $F$. More specifically, because $F$ must rise asymptotically to $1$ for large arguments $x$ (by the Law of Total Probability), we are interested in how rapidly it approaches that asymptote: we need to investigate the behavior of its survival function $1- F(x)$ as $x \to \infty$.

Specifically, one distribution $F$ for a random variable $X$ is "heavier" than another one $G$ provided that eventually $F$ has more probability at large values than $G$. This can be formalized: there must exist a finite number $x_0$ such that for all $x \gt x_0$, $${\Pr}_F(X\gt x) = 1 - F(x) \gt 1 - G(x) = {\Pr}_G(X\gt x).$$

Figure

The red curve in this figure is the survival function for a Poisson$(3)$ distribution. The blue curve is for a Gamma$(3)$ distribution, which has the same variance. Eventually the blue curve always exceeds the red curve, showing that this Gamma distribution has a heavier tail than this Poisson distribution. These distributions cannot readily be compared using densities, because the Poisson distribution has no density.

It is true that when the densities $f$ and $g$ exist and $f(x) \gt g(x)$ for $x \gt x_0$ then $F$ is heavier-tailed than $G$. However, the converse is false--and this is a compelling reason to base the definition of tail heaviness on survival functions rather than densities, even if often the analysis of tails may be more easily carried out using the densities.

Counter-examples can be constructed by taking a discrete distribution $H$ of positive unbounded support that nevertheless is no heavier-tailed than $G$ (discretizing $G$ will do the trick). Turn this into a continuous distribution by replacing the probability mass of $H$ at each of its support points $k$, written $h(k)$, by (say) a scaled Beta$(2,2)$ distribution with support on a suitable interval $[k-\varepsilon(k), k+\varepsilon(k)]$ and weighted by $h(k)$. Given a small positive number $\delta,$ choose $\varepsilon(k)$ sufficiently small to ensure that the peak density of this scaled Beta distribution exceeds $f(k)/\delta$. By construction, the mixture $\delta H + (1-\delta )G$ is a continuous distribution $G^\prime$ whose tail looks like that of $G$ (it is uniformly a tiny bit lower by an amount $\delta$) but has spikes in its density at the support of $H$ and all those spikes have points where they exceed the density of $f$. Thus $G^\prime$ is lighter-tailed than $F$ but no matter how far out in the tail we go there will be points where its density exceeds that of $F$.

Figure

The red curve is the PDF of a Gamma distribution $G$, the gold curve is the PDF of a lognormal distribution $F$, and the blue curve (with spikes) is the PDF of a mixture $G^\prime$ constructed as in the counterexample. (Notice the logarithmic density axis.) The survival function of $G^\prime$ is close to that of a Gamma distribution (with rapidly decaying wiggles): it will eventually grow less than that of $F$, even though its PDF will always spike above that of $F$ no matter how far out into the tails we look.


Discussion

Incidentally, we can perform this analysis directly on the survival functions of lognormal and Gamma distributions, expanding them around $x=\infty$ to find their asymptotic behavior, and conclude that all lognormals have heavier tails than all Gammas. But, because these distributions have "nice" densities, the analysis is more easily carried out by showing that for sufficiently large $x$, a lognormal density exceeds a Gamma density. Let us not, however, confuse this analytical convenience with the meaning of a heavy tail.

Similarly, although higher moments and their variants (such as skewness and kurtosis) say a little about the tails, they do not provide sufficient information. As a simple example, we may truncate any lognormal distribution at such a large value that any given number of its moments will scarcely change--but in so doing we will have removed its tail entirely, making it lighter-tailed than any distribution with unbounded support (such as a Gamma).

A fair objection to these mathematical contortions would be to point out that behavior so far out in the tail has no practical application, because nobody would ever believe that any distributional model will be valid at such extreme (perhaps physically unattainable) values. That shows, however, that in applications we ought to take some care to identify which portion of the tail is of concern and analyze it accordingly. (Flood recurrence times, for instance, can be understood in this sense: 10-year floods, 100-year floods, and 1000-year floods characterize particular sections of the tail of the flood distribution.) The same principles apply, though: the fundamental object of analysis here is the distribution function and not its density.

$\endgroup$
14
  • 7
    $\begingroup$ +1 excellent discussion of why it should be based on the survivor function. I've recommended to the original source of the question that they should have a look at your response. $\endgroup$
    – Glen_b
    Commented Feb 13, 2014 at 23:24
  • 2
    $\begingroup$ (+1) for good probabilistic discussion of how to interpret survival function. $\endgroup$
    – user75138
    Commented Apr 12, 2016 at 14:07
  • 2
    $\begingroup$ This definition of heavy tails is fine, as one definition. But it has serious problems. In particular, there are bounded distributions that arguably have heavy tails, such as a .9999*U(-1,1) + .0001*U(-1000,1000) distribution. By the "definition" given, the N(0,1) distribution has heavier tails than the .9999*U(-1,1) + .0001*U(-1000,1000) distribution. This is obviously silly. Let's face it: There are infinitely many ways to measure tailedness of distribution. $\endgroup$ Commented Nov 20, 2017 at 0:34
  • 3
    $\begingroup$ @Peter The "silliness" arises because you seem to have gotten the ideas backwards. Neither of your examples has a "heavy" tail in any sense, because they are bounded. Both survival functions eventually are exactly zero and therefore both tails are equally light. $\endgroup$
    – whuber
    Commented Nov 20, 2017 at 16:57
  • 2
    $\begingroup$ @PeterWestfall You have compared tails having bounded support with those having infinite support, as if that were meaningful. Many contexts exist in which that would be unnecessary, silly even. In those contexts in which one would compare them a quantile difference ratio may be appropriate. There are not many contexts beyond those and if you can think of one, do tell. $\endgroup$
    – Carl
    Commented Nov 22, 2017 at 1:53
38
$\begingroup$

The gamma and the lognormal are both right skew, constant-coefficient-of-variation distributions on $(0,\infty)$, and they're often the basis of "competing" models for particular kinds of phenomena.

There are various ways to define the heaviness of a tail, but in this case I think all the usual ones show that the lognormal is heavier. (What the first person might have been talking about is what goes on not in the far tail, but a little to the right of the mode (say, around the 75th percentile on the first plot below, which for the lognormal is just below 5 and the gamma just above 5.)

However, let's just explore the question in a very simple way to begin.

Below are gamma and lognormal densities with mean 4 and variance 4 (top plot - gamma is dark green, lognormal is blue), and then the log of the density (bottom), so you can compare the trends in the tails:

enter image description here

It's hard to see much detail in the top plot, because all the action is to the right of 10. But it's quite clear in the second plot, where the gamma is heading down much more rapidly than the lognormal.

Another way to explore the relationship is to look at the density of the logs, as in the answer here; we see that the density of the logs for the lognormal is symmetric (it's normal!), and that for the gamma is left-skew, with a light tail on the right.

We can do it algebraically, where we can look at the ratio of densities as $x\rightarrow\infty$ (or the log of the ratio). Let $g$ be a gamma density and $f$ lognormal:

$$\log(g(x)/f(x)) = \log(g(x)) - \log(f(x))$$

$$=\log\left(\frac{1}{\Gamma(\alpha)\beta^\alpha}x^{\alpha-1}e^{-x/\beta}\right)-\log\left(\frac{1}{\sqrt{2\pi}\sigma x}e^{-\frac{(\log(x)-\mu)^2}{2\sigma^2}}\right)$$

$$=-k_1-(\alpha-1)\log(x)-x/\beta - (-k_2-\log(x)-\frac{(\log(x)-\mu)^2}{2\sigma^2})$$

$$=\left[c-(\alpha-2)\log(x)+\frac{(\log(x)-\mu)^2}{2\sigma^2}\right]-x/\beta $$

The term in the [ ] is a quadratic in $\log(x)$, while the remaining term is decreasing linearly in $x$. No matter what, that $-x/\beta$ will eventually go down faster than the quadratic increases irrespective of what the parameter values are. In the limit as $x\rightarrow\infty$, the log of the ratio of densities is decreasing toward $-\infty$, which means the gamma pdf is eventually much smaller than the lognormal pdf, and it keeps decreasing, relatively. If you take the ratio the other way (with lognormal on top), it eventually must increase beyond any bound.

That is, any given lognormal is eventually heavier tailed than any gamma.


Other definitions of heaviness:

Some people are interested in skewness or kurtosis to measure the heaviness of the right tail. At a given coefficient of variation, the lognormal is both more skew and has higher kurtosis than the gamma.**

For example, with skewness, the gamma has a skewness of 2CV while the lognormal is 3CV + CV$^3$.

There are some technical definitions of various measures of how heavy the tails are here. You might like to try some of those with these two distributions. The lognormal is an interesting special case in the first definition - all its moments exist, but its MGF doesn't converge above 0, while the MGF for the Gamma does converge in a neighborhood around zero.

--

** As Nick Cox mentions below, the usual transformation to approximate normality for the gamma, the Wilson-Hilferty transformation, is weaker than the log - it's a cube root transformation. At small values of the shape parameter, the fourth root has been mentioned instead see the discussion in this answer, but in either case it's a weaker transformation to achieve near-normality.

The comparison of skewness (or kurtosis) doesn't suggest any necessary relationship in the extreme tail - it instead tells us something about average behavior; but it may for that reason work better if the original point was not being made about the extreme tail.


Resources: It's easy to use programs like R or Minitab or Matlab or Excel or whatever you like to draw densities and log-densities and logs of ratios of densities ... and so on, to see how things go in particular cases. That's what I'd suggest to start with.

$\endgroup$
12
  • 4
    $\begingroup$ Indeed it does suggest that, but there's no necessary relationship between peakedness, heavy-tailedness and kurtosis; there are counterexamples to such expectations, so we must beware. The second plot confirms the suspicion though. $\endgroup$
    – Glen_b
    Commented Feb 13, 2014 at 8:22
  • 5
    $\begingroup$ Here's a one-liner. It's a definition that log transformation is needed to make a lognormal normal; it is a good approximation that a cube root makes a gamma normal (Wilson-Hilferty are two words for the wise); the distribution needing the stronger transformation is "further" from the normal or Gaussian. $\endgroup$
    – Nick Cox
    Commented Feb 13, 2014 at 9:43
  • 2
    $\begingroup$ @Glen_b I am just adding a little decoration to a very nice-looking cake of yours. $\endgroup$
    – Nick Cox
    Commented Feb 13, 2014 at 11:52
  • 2
    $\begingroup$ @Nick Cox I don't disagree with the statements about transformations. The mathematically illegitimate part is the conclusion you attempt to draw: from the fact that a logarithm makes the lognormal normal and a cube root makes a gamma approximately normal, you cannot draw any conclusion about the tails of either one. $\endgroup$
    – whuber
    Commented Feb 13, 2014 at 19:19
  • 2
    $\begingroup$ Thanks; your point is clearer to me, but I stick by my "rule of thumb" wording, and invoke experience too. Clearly, I don't have a theorem. $\endgroup$
    – Nick Cox
    Commented Feb 13, 2014 at 19:32
14
$\begingroup$

Although kurtosis is a related to the heaviness of tails, it would contribute more to the notion of fat tailed distributions, and relatively less to tail heaviness itself, as the following example shows. Herein, I now regurgitate what I have learned in the posts above and below, which are really excellent comments. First, the area of a right tail is the area from x to $\infty$ of a $f(x)$ density (or mass) function, A.K.A. the complimentary cumulative density function (CCDF) or its mass function equivalent; the survival function, is $1-F(t)$. For the lognormal distribution $\frac{e^{-\frac{(\ln (x)-\mu )^2}{2 \sigma ^2}}}{\sqrt{2 \pi } \sigma x};x\geq 0$ and the gamma distribution $\frac{\beta ^{\alpha } x^{\alpha -1} e^{-\beta x}}{\Gamma (\alpha )};x\geq 0$, let us compare their respective survival (Sic, CCDF) functions $\frac{1}{2} \text{erfc}\left(\frac{ \ln (x)-\mu}{\sqrt{2} \sigma}\right)$ and $Q(\alpha ,\beta x)=\frac{\Gamma (\alpha , \beta x)}{\Gamma (\alpha )}$ graphically. To do this, I arbitrarily set their respective variances $\left(e^{\sigma ^2}-1\right) e^{2 \mu +\sigma ^2}$ and $\frac{\alpha }{\beta ^2}$, as well as their respective excess kurtoses $3 e^{2 \sigma ^2}+2 e^{3 \sigma ^2}+e^{4 \sigma ^2}-6$ and $\frac{6}{\alpha }$ equal by choosing $\mu =0, \sigma =0.8$ and solved for $\alpha \to 0.19128,\beta \to 0.335421$. This shows 1-F(x) for LND in blue and GD in orange

the survival function for the lognormal distribution (LND) in blue and the gamma distribution (GD) in orange. This brings us to our first caution. That is, if this plot were all we were to examine, we might conclude that the tail for GD is heavier than for LND. That this is not the case is shown by extending the x-axis values of the plot, thus 1-F(x) for LND and GD longer graph

This plot shows that 1) even with equal kurtoses, the right tail areas of LND and GD can differ. 2) That graphic interpretation alone has its dangers, as it can only display results for fixed parameter values over a limited range. Thus, there is a need to find general expressions for the limiting survival function ratio of $\lim_{x\to \infty } \, \frac{S(\text{LND},x)}{S(\text{GD},x)}$. I was unable to do this with infinite series expansions. However, I was able to do this by using the intermediary of terminal or asymptotic functions, which are not unique functions and where for right hand tails then $\lim_{x\to \infty } \, \frac{F(x)}{G(x)}=1$ is sufficient for $F(x)$ and $G(x)$ to be mutually asymptotic. It is possible for an asymptote to have an $\lim_{x\to \infty } \, \frac{F(x)}{G(x)}\neq1$ for example if both $F(x)\text{ and } G(x)$ are also asymptotic to zero, but in this case, we require convergence to 1. With appropriate care taken to finding these functions, this has the potential to identify a subset of simpler functions than the survival functions themselves, that can be shared or held in common with more than one density function, for example, two different density functions may share a limiting exponential tail. In the prior version of this post, this is what I was referring to as the "added complexity of comparing survival functions." Note that, $\lim_{u\to \infty } \, \frac{\text{erfc}(u)}{\frac{e^{-u^2}}{\sqrt{\pi } u}}=1$ and $\lim_{u\to \infty } \, \frac{\Gamma (\alpha ,u)}{e^{-u} u^{\alpha -1}}=1$ (Incidentally and not necessarily $\text{erfc}(u)<\frac{e^{-u^2}}{\sqrt{\pi } u}$ and $\Gamma (\alpha ,u )<e^{-u} u^{\alpha -1}$. That is, it is not necessary to choose an upper bound, just an asymptotic function). Here we write $\frac{1}{2} \text{erfc}\left(\frac{\ln (x)-\mu }{\sqrt{2} \sigma }\right)<\frac{e^{-\left(\frac{\ln (x)-\mu }{\sqrt{2} \sigma }\right)^2}}{\frac{2 \left(\sqrt{\pi } (\ln (x)-\mu )\right)}{\sqrt{2} \sigma }}$ and $\frac{\Gamma (\alpha ,\beta x)}{\Gamma (\alpha )}<\frac{e^{-\text{$\beta $x}} (\beta x)^{\alpha -1}}{\Gamma (\alpha )}$ where the ratio of the right hand terms has the same limit as $x\to \infty$ as the left hand terms. Simplifying the limiting ratio of right hand terms yields $\lim_{x\to \infty } \, \frac{\sigma \Gamma (\alpha ) (\beta x)^{1-\alpha } e^{\beta x-\frac{(\mu -\ln (x))^2}{2 \sigma ^2}}}{\sqrt{2 \pi } (\ln (x)-\mu )}=\infty$ meaning that for x sufficiently large, the LND tail area is as large as we like compared to the GD tail area, irrespective of what the parameter values are. That brings up another problem, we do not always have solutions that are true for all parameter values, or it may be that when two density functions are obtained from fitting data, one of those will always have a heavier tail than the other despite having no such guarantee from their survival function ratios. For example, the ratio of survival functions of the gamma and exponential distributions is $e^{\lambda\, x} Q(\alpha ,\beta \,x)$, where $Q$ is the regularized gamma function and $\beta$ and $\lambda$ are their respective rate constants. This leads to a heavier tail for whichever rate constant is slower (smaller), unless $\alpha=1\text{ and }\lambda=\beta$, such that $e^{-\lambda x} = Q(\alpha , \beta \,x)$. In other words, the gamma distribution is a generalization of the exponential distribution, and as such becomes an exponential distribution when $\alpha=1\text{ and }\lambda=\beta$.

What then is the use of taking the logarithms of the ratio of survival functions, since we obviously do not need to take logarithms to find a limiting ratio? Many distribution function contain exponential terms that look simpler when the logarithm is taken, and if the ratio goes to infinity in the limit as x increases, then the logarithm will do so as well. In our case, that would allow us to inspect $\lim_{x\to \infty } \, \left(\ln \left(\frac{\sigma \Gamma (\alpha ) (\beta x)^{1-\alpha }}{\sqrt{2 \pi } (\ln (x)-\mu )}\right)+\beta x-\frac{(\mu -\ln (x))^2}{2 \sigma ^2}\right)=\infty$, which some people would find simpler to look at. Lastly, if the ratio of survival functions goes to zero, then the logarithm of that ratio will go to $-\infty$, and in all cases after finding the limit of a logarithm of a ratio, we have to take the antilogarithm of that value to understand its relationship to the limiting value of the ordinary ratio of survival function.

Note that the question of tail heaviness comparison between density function is generally restricted to comparison of similarly long tails. For example, the comparison between a short tailed beta density and a long tailed gamma distribution is trivial in the sense that it is known by inspection of the supports (the range over which the densities are defined).

Edit 2020-02-18: BTW, there is a lot of literature on classifying tail heaviness of functions that, in effect, assumes (incorrectly) that one can compare hazard functions while ignoring the requirement for having an indeterminate form to do so. There does not seem to be much literature in support of the methods of survival function comparison outlined herein, at least that I could find. However, there is a recent publication appendix that may be cite-worthy. Any other references for the methods outlined herein would be greatly appreciated.

$\endgroup$
13
  • 3
    $\begingroup$ In this case (and quite often in cases of interest) higher kurtosis corresponds to heavier tail, but as a general proposition this is not the case - counterexamples are easy to construct. $\endgroup$
    – Glen_b
    Commented Dec 29, 2015 at 8:56
  • 1
    $\begingroup$ 1. I don't know of any general way short of directly comparing the tails. 2. What is it that's more complicated? whuber's answer shows us why there's a problem with looking at anything but the survivor function (for the right tail); he discusses why you can't compare pdfs in detail but similar points carry over to kurtosis. Further, comparing $S(x)=1-F(x)$ is often much less complicated than comparing kurtosis as well. (In the left tail you'd compare $F(x)$ directly but that wasn't an issue for this question.) $\endgroup$
    – Glen_b
    Commented Dec 29, 2015 at 12:35
  • 3
    $\begingroup$ I also note that you say "This has something to do with a moments theorem that says that if (all of?) the moments of two distributions are equal, then the distributions are identical." -- even if all moments of two distributions are equal, the distributions are not necessarily identical. Counterexamples are discussed in answers to several questions here on CV. You need more than just all moments equal -- you need the MGF to exist in a neighborhood of 0. $\endgroup$
    – Glen_b
    Commented Dec 29, 2015 at 12:53
  • 1
    $\begingroup$ Comparing survivor functions to measure tail weight is just one of infinitely many ways to measure the tail. This discussion misses the practical point entirely. The reason people are concerned about the tail is that they are concerned about outliers. Outliers are extremely important in statistical inference, but the question of whether survival functions cross as some point near infinity is not important. Kurtosis measures tails via the average of the Z^4 values, which is relevant for all kinds of statistical inference, including power of means tests and precision of variance estimates. $\endgroup$ Commented Nov 20, 2017 at 0:48
  • 2
    $\begingroup$ @PeterWestfall You are on to something. Why not ask it as a question to nail down a definition that is viable? I only brought up kurtosis because I started talking about it in the history of this answer, and, got clobbered by my usual shower of downvotes that I seem to attract like bees to honey. $\endgroup$
    – Carl
    Commented Jan 1, 2018 at 0:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.