Mathematical foundations
Common Distributions and Generative Assumptions
Learn when Bernoulli, categorical, binomial, Poisson, Gaussian, exponential, and related families are plausible—and when their assumptions fail.
By the end you can
- Match distribution support and parameters to a plausible data-generating process
- Distinguish observation models from latent-variable and sampling assumptions
- Recognize overdispersion, zero inflation, censoring, truncation, and heavy tails
- Select diagnostics that can challenge a proposed distribution family
Why Gaussian models appear so often
Gaussian distributions are mathematically tractable, stable under linear combinations, and supported by central-limit behavior in many aggregate settings. They also lead to convenient least-squares objectives. Convenience is not evidence of adequacy.
A Gaussian observation model may assign probability to impossible negative values, underestimate heavy tails, or blur several subpopulations into one bell shape. Residual analysis should therefore inspect symmetry, scale changes, tails, dependence, and systematic structure, rather than rely on a histogram.
The price of the tail assumption has been quoted in public. In August 2007 Goldman Sachs' CFO, David Viniar, told the Financial Times that the firm was seeing “25-standard deviation moves, several days in a row”. Kevin Dowd and three co-authors, writing in the Journal of Portfolio Management in 2008, recorded the setting: “the CFO of Goldman Sachs, David Viniar, announced in August that Goldman's flagship GEO hedge fund had lost 27% of its value since the start of the year.”
The Bank of England then did the arithmetic the normal distribution implies. In a speech on 13 February 2009, Andrew Haldane, then its Executive Director for Financial Stability, spelled it out: “To provide some context, assuming a normal distribution, a 7.26-sigma daily loss would be expected to occur once every 13.7 billion or so years.” That is about the age of the universe. And it is the waiting time for a move far smaller than the one Viniar described. A 25-sigma event, under the same distribution, is expected once every 6 × 10^124 lives of the universe. Haldane did not conclude that the market had misbehaved several days running. “Fortunately, there is a simpler explanation – the model was wrong.” When a fitted family says an observed event is impossible, the family is the thing that has been falsified.
A named distribution is a bundle of assumptions
Choosing a distribution does more than choose a formula. It defines which values are possible, how variance relates to the mean, how tails behave, and which observations are treated as exchangeable. A Poisson model assumes a particular count mechanism and equates conditional mean with conditional variance. A Gaussian model allows all real values and gives exponentially light tails.
The right question is not which distribution is popular. It is which assumptions are defensible for the process, the measurement system, and the decision. Each of those assumptions is testable. The sections that follow test them against published records rather than against intuition: a nineteenth-century army casualty table, contact-tracing data from eight diseases, federal crash-count practice, and nearly a thousand networks whose assumed family did not survive the check.
Distribution choice is model design, not a cosmetic final step.
Case
Prussian horse kicks, 1875 to 1894: the dataset behind the Poisson family
The Poisson family has a founding dataset: deaths from horse kicks in the Prussian army. Ladislaus von Bortkiewicz used it in his 1898 book Das Gesetz der kleinen Zahlen. A vignette distributed with the Horsekicks R package on CRAN describes exactly what he had in front of him: “annual data on deaths due to horse-kicks in 14 Army Corps over 20 years from 1875 to 1894”. The Wolfram Data Repository hosts the same record independently of CRAN. It enumerates the fourteen units — the guard corps plus corps 1 through 11, 14 and 15 — across the years 1875 to 1894, and cites “the classic 1898 book by von Bortkiewicz: Das Gesetz der kleinen Zahlen [The law of small numbers]”.
Read the design rather than the anecdote. Rare events. Many nearly independent units. A small and roughly constant rate per unit-year. Exposure measured in corps-years. That is the generative story the family encodes, and it is why the arithmetic worked on this table in particular. The assumptions came before the arithmetic. A modern count model still borrows them — including the borrowing that goes unexamined when the units are neither independent nor equally exposed.
Visual
Start with the support
The set of possible values rules out many families before parameter fitting begins. Binary outcomes, finite categories, nonnegative integers, positive continuous durations, and unrestricted real values each admit a different short list.
Crash counts are the case where that argument has been written into public practice instead of left to taste. A Federal Highway Administration report from February 2018 states the choice in its chapter on analysis: “A negative binomial error structure was specified, following the state of the art in modeling crash data.” The same report says why the reflexive default is wrong: “The negative binomial structure is now recognized as more appropriate for crash counts than the normal distribution assumed in conventional regression modeling.” Crashes at a site are nonnegative integers. A normal error structure puts probability on values the process cannot produce.
The specification is not decorative, because it carries a parameter that has to be estimated from data. Justice Appiah, calibrating Highway Safety Manual safety performance functions for Virginia freeway ramp terminals in May 2023, reported the method: “Dispersion parameters were estimated for each SPF and SPF grouping through maximum likelihood estimation assuming a negative binomial distribution of the errors.” The dispersion parameter k is fitted per function, not assumed once for the whole manual.
Binary {0,1}
Bernoulli outcomes such as success, failure, presence, or absence.
Finite categories
Categorical outcomes; multinomial models repeated category counts.
Nonnegative integers
Count models such as binomial, Poisson, or negative binomial.
Positive continuous
Exponential, gamma, log-normal, Weibull, and related duration or severity models.
All real values
Gaussian, Student-t, logistic, and other location-scale families.
A model that assigns probability to impossible values needs a strong approximation argument.
Comparison
Binomial, Poisson, and negative binomial counts
All three model counts, but they answer different generative questions. A binomial counts successes among a fixed number of trials, with variance tied to np(1−p). A Poisson counts events in an exposure interval under a rate model, takes exposure as an offset, and forces the conditional variance to equal the conditional mean. A negative binomial lets the variance exceed the mean, and it can arise as a Poisson–gamma mixture. It does not automatically solve zero inflation.
The gap between the second and the third is not a technicality. It is an entire epidemiological phenomenon. In Nature on 17 November 2005, Lloyd-Smith and three colleagues fitted a negative binomial offspring distribution — mean R0, dispersion parameter k, variance R(1+R/k) — to contact-tracing data from eight directly transmitted diseases. Their abstract states the result: “Using contact tracing data from eight directly transmitted diseases, we show that the distribution of individual infectiousness around R0 is often highly skewed.”
The fitted numbers show how far from Poisson the data sat. For SARS they estimated k = 0.16 (90% CI 0.11–0.64). Measles in the US from 1997 to 1999 gave 0.23 (0.16–0.39). Smallpox in Europe, Benin and Pakistan gave 0.32 to 0.72. A Poisson is the k → ∞ limit of that family, where mean and variance coincide. An estimate of 0.16 is nowhere near that limit, and the distance is precisely what superspreading means: most infected individuals transmit to nobody, while a few transmit to many, even when the average R0 is unchanged. A quantitative compendium of COVID-19 epidemiology states the modelling rule in one line: “The negative binomial distribution is generally used instead of Poisson to allow for unequal mean and variance.” Two models with the same mean can imply completely different probabilities for the outbreak that matters.
Binomial
Successes among a fixed number of trials.
- Support from zero to n
- Requires a trial count n
- Common success probability in basic form
- Variance tied to np(1−p)
Poisson
Events in an exposure interval under a rate model.
- Support is all nonnegative integers
- Conditional mean equals variance
- Exposure often enters as an offset
- Sensitive to clustering and unobserved heterogeneity
Negative binomial
Overdispersed counts through extra heterogeneity.
- Variance exceeds mean under common parameterizations
- Can arise from a Poisson–gamma mixture
- Useful when Poisson residuals are too variable
- Does not automatically solve zero inflation
Example
Modeling support-ticket resolution time
Resolution times are positive, skewed, and sometimes unfinished when the dataset closes. That last feature is not a nuisance to be dropped. It is the problem Edward Kaplan and Paul Meier solved in 1958. Their product-limit estimator uses durations known only to exceed the observation window, instead of discarding the rows that carry them.
The scale of the borrowing is measurable. Nature's 2014 analysis of Thomson Reuters' Web of Science ranked that paper number 11 on a list of the 100 most-cited papers of all time, a list that took 12,119 citations to enter: “the most frequently cited statistics paper (number 11) is a 1958 publication by US statisticians Edward Kaplan and Paul Meier that helps researchers to find survival patterns for a population, such as participants in clinical trials”. The article adds a detail that should reassure anyone whose own diagnostic work looks unglamorous: “The Kaplan–Meier paper was a sleeper hit, receiving almost no citations until computing power boomed in the 1970s, making the methods accessible to non-specialists.”
- Gaussian problem: A normal model assigns some probability to negative durations and may understate the right tail, which is the tail that determines whether a queue breaches its service commitment.
- Log-normal option: A logarithm can produce a more symmetric distribution when multiplicative factors drive time, but the choice must be argued from the mechanism rather than from the shape of one histogram.
- Survival framing: Censoring must be represented, because unresolved tickets have unknown final durations. A clinical guide to Kaplan–Meier curves, published in Otolaryngology–Head and Neck Surgery, states the definition plainly: “Censoring means the total survival time for that subject cannot be accurately determined.” The Kaplan and Meier product-limit estimator keeps those rows in the analysis instead of deleting them.
- Heterogeneity: Different queues or issue types can create mixtures rather than one common family, the same unobserved heterogeneity that pushes count data from Poisson toward negative binomial.
- Decision: The best model depends on whether the goal is mean staffing load, tail risk, or probability of resolution by a deadline — three targets that rank candidate families differently.
Steps
A distribution-family diagnostic
Challenge the model at the level of consequences, not only parameter estimates. List the impossible, bounded, discrete, censored, or truncated values. Write the mechanism in terms of trials, exposure, waiting, accumulation, or multiplicative growth. Compare mean–variance, skewness, and tail implications. Simulate replicated data and compare zeros, extremes, quantiles, and conditional patterns. Then inspect the summaries and tail regions that drive action.
The largest published run of that procedure overturned the family everyone expected. Anna Broido and Aaron Clauset tested nearly 1,000 real-world network data sets against five candidate degree distributions, in Nature Communications on 4 March 2019. Their abstract: “Across these networks, we find robust evidence that strongly scale-free structure is empirically rare, while for most networks, log-normal distributions fit the data as well or better than power laws.” The Results carry the counts: “only 10 and 4% of network data sets can be classified as belonging to the Strong or Strongest categories, respectively, in which the power-law distribution is not only statistically plausible, but the exponent falls within the special α ∈ (2,3) range”. Reporting on the same analysis, Quanta Magazine noted that “for 67 percent of the networks, including Facebook friendship networks, food webs and water distribution networks, the statistical tests rejected a power law as a plausible description of the network's structure.”
Fitting one family and reporting its parameters could not have produced any of those numbers. Only step four — comparing the candidate against rivals and against simulated replicates — can return the answer that the assumed family loses.
1. Check support
List impossible, bounded, discrete, censored, or truncated values.
2. Write the mechanism
Explain trials, exposure, waiting, accumulation, or multiplicative growth.
3. Compare moment relationships
Check mean–variance, skewness, and tail implications.
4. Simulate replicated data
Compare zeros, extremes, quantiles, and conditional patterns.
5. Evaluate the decision target
Inspect the summaries and tail regions that drive action.
Key idea
Common data features need explicit treatment
Zero inflation means a count process contains more zeros than a standard family predicts, often because two mechanisms generate zero. Truncation means impossible or unobserved ranges have been removed. Censoring records partial information, such as knowing a duration exceeds the observation window. Heavy tails produce extreme observations more often than light-tailed models expect.
These are not minor residual quirks. They alter the likelihood and the meaning of parameter estimates. Each of the four has already appeared in this lesson attached to a decision rather than to a residual plot. Censoring is why an estimator from 1958 is the most-cited statistics paper on Nature's list. Unobserved heterogeneity is why a dispersion parameter of k = 0.16 and a Poisson describe different epidemics. Heavy tails are why a run of 25-sigma days is evidence about the model rather than about the market.
Missing support mechanisms cannot be repaired by fitting the same likelihood more aggressively.
Case
Twenty-four datasets tested against the power law they were said to follow
Heavy tails are easier to assert than to establish. The machinery for establishing them arrived in 2007: maximum-likelihood fitting, combined with Kolmogorov–Smirnov goodness-of-fit tests and likelihood ratios against competing families. Aaron Clauset and two co-authors then applied it to twenty-four real-world data sets, every one of which had been conjectured to follow a power law. “In some cases we find these conjectures to be consistent with the data while in others the power law is ruled out.” SIAM Review published the work in 2009.
Their verdict on the method the field had been using is the sentence to carry away: “Commonly used methods for analyzing power-law data, such as least-squares fitting, can produce substantially inaccurate estimates of parameters for power-law distributions, and even in cases where such methods return accurate answers they are still unsatisfactory because they give no indication of whether the data obey a power law at all.” A straight-looking line on a log–log plot is a picture, not a test. It can be fitted to data drawn from families that are not power laws at all. And it returns no statistic that could reject the family it assumes.
The framework is available rather than merely published. Three researchers implemented it as a Python package in PLoS ONE in 2014, and restated its central mechanic: the lower cut-off xmin is found by building a power-law fit starting from each unique value in the dataset and keeping the one that minimises the Kolmogorov-Smirnov distance D between the data and the fit. The cost of testing a distributional claim is a package import. The cost of not testing it is a family that was never checked against its own alternatives.
Key takeaways
- A distribution family encodes support, tail behavior, variance relationships, and a data-generating story — von Bortkiewicz's 14 army corps observed from 1875 to 1894 are the story behind the Poisson.
- Binomial, Poisson, and negative binomial models answer different questions about counts and exposure: SARS needed a dispersion parameter of k = 0.16 (90% CI 0.11–0.64), not the k → ∞ limit at which the negative binomial collapses back to a Poisson.
- Gaussian models are convenient but misprice tails: under a normal distribution a 7.26-sigma daily loss is expected once every 13.7 billion years, so “25-standard deviation moves, several days in a row” indicts the model rather than the market.
- Censoring, truncation, zero inflation, and overdispersion change the likelihood rather than merely adding noise, which is why the Kaplan and Meier product-limit estimator of 1958 keeps durations known only to exceed the observation window.
- Simulation-based predictive checks and explicit comparison against rival families reveal what parameter summaries hide: across nearly 1,000 networks, log-normal distributions fitted as well as or better than power laws for most.
- Distribution choice should be judged against the operational target, which is why crash-count models are specified with a negative binomial error structure rather than the normal distribution of conventional regression.