1What the method is for

When the response is a proportion, keep the fitted values from leaving the interval by construction.

Let the response \(y_s\) be closed inside \((0,1)\) — say, the proportion of vocabulary lost in settlement \(s\). Fit a linear regression \(y_s = \mathbf{x}_s^\top \boldsymbol{\beta} + \varepsilon_s\) with a normal distribution and the linear predictor ranges over the whole real line, so fitted values fall below 0 or rise above 1. The moment a value appears that cannot be read as a proportion, the model contradicts the domain of its own response.

Two workarounds are commonly reached for, and neither is adequate. One is to dichotomise at a threshold — everything at or above 0.5 counts as 1 — and hand the result to logistic regression, which throws away a quantity that was measured on a continuum. The other is to apply logistic regression directly, but the binomial distribution counts trials that come out 0 or 1; it is not a distribution for a continuous proportion.

Beta regression puts the beta distribution, continuous on \((0,1)\), under the response, and connects its mean to the linear predictor through a link function. The problem of the domain is dissolved by the choice of distribution itself (Ferrari & Cribari-Neto 2004).

2Origin — who made it, and in which field

It came out of a gap: there was no framework for regressing on proportion data.

The formulation is due to Silvia Ferrari and Francisco Cribari-Neto, published in the Journal of Applied Statistics in 2004. The work of two Brazilian statisticians, and the motivation was plain. Rates and proportions turn up in every field, yet no standard regression framework took them as the response. The inadequacy of the two workarounds above is exactly where the paper starts.

It spread quickly, into every area where proportion data are handled. What deserves notice, though, is that the paper invented neither a new distribution nor a new principle of estimation. The beta distribution had long been known, and the generalized linear model framework had been in place since 1972. What Ferrari and Cribari-Neto contributed was assembling existing parts into something usable as a regression model. The lineage in the next section shows this.

3Where it comes from mathematically

Exponential family → generalized linear models → beta regression: a chain of three.

The starting point is the discovery that distributions which look unrelated share a common form. The exponential family, formulated independently by Fisher (1934) and others, is the name for those whose density can be written as follows.

General form of the exponential family
\[ f(y \mid \theta) \;=\; h(y)\,\exp\bigl[\,\eta(\theta)\,T(y) - A(\theta)\,\bigr] \]

The normal, the binomial, the Poisson — and the beta distribution — all belong to this family. The differences between distributions reduce to differences in \(h,\eta,T,A\).

Nelder & Wedderburn (1972) gave a framework in which any distribution from this family can serve as the response under the same fitting procedure. The linear predictor \(\mathbf{x}^\top\boldsymbol{\beta}\) and the mean \(\mu\) of the response distribution are joined by a link function \(g\).

The connection made by the generalized linear model
\[ g(\mu_i) \;=\; \mathbf{x}_i^\top \boldsymbol{\beta} \]

Take the normal with an identity link and you have linear regression; the binomial with a logit, logistic regression; the Poisson with a log, Poisson regression. The beta with a logit gives beta regression.

Beta regression filled a vacant seat in this framework

Read down the correspondence above and the row for the beta distribution had stood empty for a long time. Ferrari & Cribari-Neto (2004) reparameterised the beta distribution in terms of a mean and a precision, set it into the generalized linear model form, and filled that seat. The lineage of the method is therefore closed within statistics itself. Nothing was borrowed from another field.

4Definition and assumptions

Rewrite the beta distribution with a mean and a precision, then attach the predictor through a logit link.

The beta distribution is usually written \(\mathrm{Beta}(a,b)\) with two shape parameters, but for regression it helps to handle the mean directly. Setting \(\mu = a/(a+b)\) and \(\phi = a+b\) gives the following form.

Reparameterisation by mean \(\mu\) and precision \(\phi\)
\[ f(y \mid \mu,\phi) \;=\; \frac{\Gamma(\phi)}{\Gamma(\mu\phi)\,\Gamma\bigl((1-\mu)\phi\bigr)}\; y^{\mu\phi-1}\,(1-y)^{(1-\mu)\phi-1} \]

\(\mu \in (0,1)\) … the mean of the distribution; this is what attaches to the linear predictor
\(\phi > 0\) … the precision; the larger it is, the tighter the concentration around the mean
Variance … \(\mathrm{Var}[y] = \mu(1-\mu)/(1+\phi)\). It changes with the mean. Equal variance is not assumed

That \(\mu\) is attached to the linear predictor through a logit. For the rate of vocabulary loss in settlement \(s\), the main model of the Maibara survey takes the following form.

The main model of this study
\[ \operatorname{logit}\bigl(\mathrm{loss}_s\bigr) \;=\; \beta_0 + \beta_1\,\mathrm{growth}_s + \beta_2\,\log N^{\text{ms}}_s + \beta_3\,\log N^{\text{gp}}_s + u_{\text{district}[s]} \]

\(\mathrm{growth}_s\) … the population growth rate (2010 population / 2005 population), standardised
\(\log N^{\text{ms}}_s,\ \log N^{\text{gp}}_s\) … logs of the number surveyed among middle-school students and among the older generation. Control terms for sampling effort
\(u_{\text{district}[s]}\) … a random intercept for the middle-school district (five districts)

That the variance depends on the mean is a consequence, not an assumption

As the variance formula above shows, under a beta distribution the variance shrinks as the mean approaches 0 or 1. The property actually observed in proportion data — less spread the closer to an edge — falls out of the distribution on its own. Fitting a normal distribution would require an extra structure for unequal variance to express the same thing; in beta regression it is built in the moment the distribution is chosen.

5Handling the endpoints — when 0 and 1 occur exactly

The beta distribution lives on an open interval. The endpoints carry no density.

The domain is \((0,1)\), not \([0,1]\). If \(y=0\) or \(y=1\) appears in the data the likelihood is undefined and the fit fails. Endpoints are not rare in proportion data, so in practice some treatment is required.

The standard remedy is the linear squeeze given by Smithson & Verkuilen (2006), which pushes values inside the interval relative to the sample size \(n\).

Squeezing the endpoints inward (not used in this study)
\[ y' \;=\; \frac{y\,(n-1) + 1/2}{n} \]

The larger \(n\) is, the smaller the shift. But this is an operation that moves the data, and with many endpoints the result can depend on the transformation. Where the endpoints themselves carry meaning, a zero-one inflated formulation placing probability mass at 0 and 1 is the thing to consider.

This study did not need the transformation

The loss and gain rates in the Maibara survey were recorded as percentages from 0 to 100 and divided by 100 to sit in \([0,1]\). The resulting values for 25 neighbourhood associations contained no endpoints at all, so no squeeze was applied. This is not a general property of the method but a condition this particular dataset happened to satisfy. Fitting the same model to data that do contain endpoints would require the treatment above, or a different formulation.

6Maximum likelihood in origin, Bayesian in implementation

The distinction changes how the results are read.

The formulation of Ferrari & Cribari-Neto (2004) is maximum likelihood estimation. The generalized linear model framework itself was assembled as a procedure for obtaining maximum likelihood estimates by iteratively reweighted least squares (Nelder & Wedderburn 1972). In this lineage, a parameter is a fixed unknown value and it is the sample that varies at random.

The settled model of this study, however, is fitted by Bayesian estimation in Stan through brms. Priors are placed on the parameters and the posterior is obtained by MCMC. The intervals reported are credible intervals, not confidence intervals, and \(P(\beta > 0)\) can be read as a probability about the parameter.

It sits under perspective 2 because of the lineage of the formulation

This page is placed under perspective 2 (frequentist) because beta regression as a method grew out of the exponential family and the generalized linear model, a maximum likelihood lineage. The estimation framework itself is Bayesian. A prior is multiplied into the same likelihood to obtain a posterior; the judgement is not being made from the variation of the sample.

The distinction is not nominal. In the table below, the 0.993 attached to the coefficient of base is the probability that \(\beta>0\) under the posterior distribution, not a p-value. The same figure cannot be produced within a frequentist framework. Conversely the betareg results, run alongside as a frequentist baseline, carry p-values, and those give no probability about the parameter. As stated in Read the seven perspectives in equations, likelihood is used in Bayesian work as well. Maximum likelihood is one principle of estimation; it is not a synonym for frequentism.

7How it was used in this research

Does population growth push up the rate of vocabulary loss, once sampling effort and spatial structure are controlled?

  1. Constructing the response For item \(j\) in settlement \(s\), write \(g_{sj}\) for the proportion of the older generation (aged 60 and over) using it and \(m_{sj}\) for the proportion among middle-school students, and define the loss rate as \(\mathrm{loss}_s = (1/J)\sum_j \max(g_{sj}-m_{sj},\,0)\). The gain rate \(\mathrm{gain}_s\) reverses the direction of the difference.
  2. Frequentist baseline Fit a beta regression with a logit link in betareg, with standardised population size, population growth rate and area as predictors. A first sketch taken on a small sample (n=25).
  3. Moving to the hierarchical Bayesian model Fit a hierarchical beta regression with a random intercept for middle-school district in brms with cmdstanr/Stan. The logs of the numbers surveyed in each generation enter as control terms for sampling effort.
  4. Priors Weakly informative: \(\mathrm{Normal}(0,1)\) on the slopes, \(\mathrm{Normal}(0,2)\) on the intercept, \(\mathrm{Gamma}(0.1,0.1)\) on the precision \(\phi\).
  5. Sampling Four chains, 4,000 iterations each (2,000 as warm-up), adapt_delta = 0.97, max_treedepth = 12. The adopted model has \(\hat{R}=1.00\), bulk-ESS > 3,000, and at most one divergent transition.
  6. Checking the spatial term Build a binary adjacency matrix treating settlements within 3 km as neighbours, and compare models with and without an ICAR spatial random effect by approximate leave-one-out cross-validation.
ModelCoefficient on population growth95% credible interval\(P(\beta>0)\)
base (sampling effort controlled)+0.231[+0.059, +0.397]0.993
+ covariates (area, elevation, built-up land)+0.229[+0.032, +0.422]0.987
+ spatial (ICAR, 3 km adjacency)+0.228[+0.045, +0.402]0.992

Hierarchical Bayesian beta regression (n=25, random intercept for middle-school district). Coefficients are on the logit scale and predictors are standardised. Figures are quoted from loss_growth_coefs.csv in the repository and from run results recorded in the working log.

Against the frequentist baseline

The betareg fit gives a standardised coefficient on population growth of +0.2522 (standard error 0.0582, \(z=4.334\), \(p=1.5\times10^{-5}\)). Population size in the same model is \(-0.1274\) (\(p=0.101\)) and area \(+0.0295\) (\(p=0.690\)); neither reaches the 5% level. Take the gain rate as the response and the coefficient on population growth becomes \(-0.139\) (\(p=0.267\)) — the sign flips and significance disappears. Only the loss side holds up robustly.

The \(+0.231\) from the Bayesian hierarchical model and the \(+0.2522\) from the frequentist fit are close. On a small sample with weakly informative priors that is what one expects, and it confirms that the priors are not manufacturing the result.

The spatial random effect was not adopted

In the leave-one-out comparison the model with ICAR is slightly worse than the one without (elpd difference \(-0.7 \pm 0.3\)). Placing 25 spatial random effects on n=25 is excessive besides, and sampling ran into treedepth problems. The adopted model is the non-spatial hierarchical beta. The spatial term was included to check against the data whether it was needed, not inserted as a correction.

8Limits — what the method cannot say

What the choice of distribution resolves is the problem of the domain, and nothing else.

Getting the domain of the response right does not produce causation

What beta regression guarantees is that fitted values stay inside \((0,1)\) and that the variance is handled as depending on the mean. That the association between population growth and loss holds steady at \(+0.23\) is not evidence that population growth causes loss. These are observational data with no assignment of treatment. Sampling effort, area, elevation, built-up land and spatial structure, controlled here, are no more than the confounder candidates that could be measured.

A small sample is not resolved by the choice of model

Loss rates could be computed for 25 neighbourhood associations. There are only five middle-school districts, so there is thin material for estimating the variance of the random intercept. Weakly informative priors are a device for representing uncertainty properly; they are not a substitute for more data. In a leave-one-settlement-out sensitivity analysis, removing the settlement with a single respondent in the older generation drops the coefficient to \(+0.12\) (\(p=0.25\)). The association is at its strongest when the least informative observation is retained.

How the response is constructed steers the result

\(\mathrm{loss}_s\) averages the between-generation difference in usage over items, but the difference is truncated by \(\max(\cdot,0)\). That definition keeps loss and gain as separate quantities, and the truncation is also an operation that discards the information on the negative side. Each settlement's proportion, moreover, is estimated from a small number of respondents, and that uncertainty disappears at the point of aggregation. This was checked separately with a count-level beta-binomial model that models the number of users by item, settlement and generation directly, where the generation-by-growth interaction is \(-0.17\) with a 95% credible interval of \([-0.50,\,0.18]\), straddling zero. That the association only emerges clearly once aggregation is assumed is a property the reader should be told about.

9Sources and data

A secondary analysis of a three-generation dialect vocabulary survey covering five middle-school districts from Maibara in Shiga Prefecture to Sekigahara in Gifu Prefecture. The questionnaire elicited 106 dialect vocabulary variants across 40 question concepts, classified in advance into 45 Kansai/Ōmi forms, 31 Tokyo/standard forms and 26 Mino/Owari forms, with four items of youth speech and new dialect. The original survey was conducted in 2015 by Habiro-Net, and this research analyses the anonymised data. Every stage of the analysis is scripted.

References for the method

  • Ferrari, S. & Cribari-Neto, F. (2004) Beta regression for modelling rates and proportions. Journal of Applied Statistics, 31(7), 799–815. doi:10.1080/0266476042000214501
  • Nelder, J. A. & Wedderburn, R. W. M. (1972) Generalized linear models. Journal of the Royal Statistical Society, Series A, 135(3), 370–384. doi:10.2307/2344614
  • Smithson, M. & Verkuilen, J. (2006) A better lemon squeezer? Maximum-likelihood regression with beta-distributed dependent variables. Psychological Methods, 11(1), 54–71. doi:10.1037/1082-989X.11.1.54
  • Bürkner, P.-C. (2017) brms: An R package for Bayesian multilevel models using Stan. Journal of Statistical Software, 80(1), 1–28. doi:10.18637/jss.v080.i01

Which perspective the method belongs to

Beta regression is derived from the exponential family as a common form and from the generalized linear model as a framework of link functions. That lineage belongs to perspective 2 (frequentist), with maximum likelihood at its centre — but as stated in Read the seven perspectives in equations, likelihood is used in Bayesian work as well. The implementation in this study is posterior estimation with priors in place, and the same likelihood is being read from the side of perspective 3 (Bayesian). It is a worked instance of one equation readable from more than one perspective.

This page sets out a method Onohara uses in actual research, written for readers in the same field. All figures are quoted from the output of analysis scripts and from working records; no estimates or approximations are given.
For the whole picture of where the methods sit, see Read the seven perspectives in equations; for which course sessions fall under which perspective, see Methods & Mathematics.