Generalized linear model

Overview

In a generalized linear model (GLM), each outcome Y of the dependent variables is assumed to be generated from a particular distribution in an exponential family, a large class of probability distributions that includes the normal, binomial, Poisson and gamma distributions, among others. The conditional mean μ of the distribution depends on the independent variables X through:

${\displaystyle \mathrm{E}(\mathbf{Y}\mid \mathbf{X})=\mathit{\mu }=g^{-1}(\mathbf{X}\mathit{\beta }),}$

where E(Y | X) is the expected value of Y conditional on X; Xβ is the linear predictor, a linear combination of unknown parameters β; g is the link function.

In this framework, the variance is typically a function, V, of the mean:

${\displaystyle \mathrm{Var}(\mathbf{Y}\mid \mathbf{X})=\mathrm{V}(g^{-1}(\mathbf{X}\mathit{\beta })).}$

It is convenient if V follows from an exponential family of distributions, but it may simply be that the variance is a function of the predicted value.

The unknown parameters, β, are typically estimated with maximum likelihood, maximum quasi-likelihood, or Bayesian techniques.

Model components

The GLM consists of three elements:

1. A particular distribution for modeling ${\displaystyle Y}$ from among those which are considered exponential families of probability distributions,

2. A linear predictor ${\displaystyle \eta =X\beta }$, and

3. A link function ${\displaystyle g}$ such that ${\displaystyle \mathrm{E}(Y\mid X)=\mu =g^{-1}(\eta )}$.

Probability distribution

An overdispersed exponential family (or exponential family with dispersion) is a generalization of an exponential family and the exponential dispersion model of distributions and includes those families of probability distributions, parameterized by ${\displaystyle \mathit{\theta }}$ and ${\displaystyle \tau }$, whose density functions f (or probability mass function, for the case of a discrete distribution) can be expressed in the form

${\displaystyle f_Y(\mathbf{y}\mid \mathit{\theta },\tau )=h(\mathbf{y},\tau )\exp \left(\frac{\mathbf{b}(\mathit{\theta }{)}^{\mathrm{T}}\mathbf{T}(\mathbf{y})-A(\mathit{\theta })}{d(\tau )}\right).}$

The dispersion parameter, ${\displaystyle \tau }$, typically is known and is usually related to the variance of the distribution. The functions ${\displaystyle h(\mathbf{y},\tau )}$, ${\displaystyle \mathbf{b}(\mathit{\theta })}$, ${\displaystyle \mathbf{T}(\mathbf{y})}$, ${\displaystyle A(\mathit{\theta })}$, and ${\displaystyle d(\tau )}$ are known. Many common distributions are in this family, including the normal, exponential, gamma, Poisson, Bernoulli, and (for fixed number of trials) binomial, multinomial, and negative binomial.

For scalar ${\displaystyle \mathbf{y}}$ and ${\displaystyle \mathit{\theta }}$ (denoted ${\displaystyle y}$ and ${\displaystyle \theta }$ in this case), this reduces to

${\displaystyle f_Y(y\mid \theta ,\tau )=h(y,\tau )\exp \left(\frac{b(\theta )T(y)-A(\theta )}{d(\tau )}\right).}$

${\displaystyle \mathit{\theta }}$ is related to the mean of the distribution. Original formulation by John Nelder and Robert Wedderburn sets ${\displaystyle T(y)=y}$ , which is a key requirement for having unbiased estimating equations for ${\displaystyle \theta }$ that yields many attractive properties, including consistency of maximum likelihood estimate under distributional misspecification. If ${\displaystyle \mathbf{b}(\mathit{\theta })}$ is the identity function, then the distribution is said to be in canonical form (or natural form). Note that any distribution can be converted to canonical form by rewriting ${\displaystyle \mathit{\theta }}$ as ${\displaystyle {\mathit{\theta }}^{\prime }}$ and then applying the transformation ${\displaystyle \mathit{\theta }=\mathbf{b}({\mathit{\theta }}^{\prime })}$. It is always possible to convert ${\displaystyle A(\mathit{\theta })}$ in terms of the new parametrization, even if ${\displaystyle \mathbf{b}({\mathit{\theta }}^{\prime })}$ is not a one-to-one function; see comments in the page on exponential families.

If, in addition, ${\displaystyle \mathbf{T}(\mathbf{y})}$ and ${\displaystyle \mathbf{b}(\mathit{\theta })}$ are the identity, then ${\displaystyle \mathit{\theta }}$ is called the canonical parameter (or natural parameter) and is related to the mean through

${\displaystyle \mathit{\mu }=\mathrm{E}(\mathbf{y})={\mathrm{\nabla }}_{\mathit{\theta }}A(\mathit{\theta }).}$

For scalar ${\displaystyle \mathbf{y}}$ and ${\displaystyle \mathit{\theta }}$, this reduces to

${\displaystyle \mu =\mathrm{E}(y)=A^{\prime }(\theta ).}$

Under this scenario, the variance of the distribution can be shown to be

${\displaystyle \mathrm{Var}(\mathbf{y})={\mathrm{\nabla }}_{\mathit{\theta }}^{2}A(\mathit{\theta })d(\tau ).}$

For scalar ${\displaystyle \mathbf{y}}$ and ${\displaystyle \mathit{\theta }}$, this reduces to

${\displaystyle \mathrm{Var}(y)=A^{″}(\theta )d(\tau ).}$

Linear predictor

The linear predictor is the quantity which incorporates the information about the independent variables into the model. The symbol η (Greek "eta") denotes a linear predictor. It is related to the expected value of the data through the link function.

η is expressed as linear combinations (thus, "linear") of unknown parameters β. The coefficients of the linear combination are represented as the matrix of independent variables X. η can thus be expressed as

${\displaystyle \eta =\mathbf{X}\mathit{\beta }.}$

Link function

The link function provides the relationship between the linear predictor and the mean of the distribution function. There are many commonly used link functions, and their choice is informed by several considerations. There is always a well-defined canonical link function which is derived from the exponential of the response's density function. However, in some cases it makes sense to try to match the domain of the link function to the range of the distribution function's mean, or use a non-canonical link function for algorithmic purposes, for example Bayesian probit regression.

When using a distribution function with a canonical parameter ${\displaystyle \theta ,}$ the canonical link function is the function that expresses ${\displaystyle \theta }$ in terms of ${\displaystyle \mu ,}$ i.e. ${\displaystyle \theta =g(\mu ).}$ For the most common distributions, the mean ${\displaystyle \mu }$ is one of the parameters in the standard form of the distribution's density function, and then ${\displaystyle g(\mu )}$ is the function as defined above that maps the density function into its canonical form. When using the canonical link function, ${\displaystyle g(\mu )=\theta =\mathbf{X}\mathit{\beta },}$ which allows ${\displaystyle {\mathbf{X}}^{\mathrm{T}}\mathbf{Y}}$ to be a sufficient statistic for ${\displaystyle \mathit{\beta }}$.

Following is a table of several exponential-family distributions in common use and the data they are typically used for, along with the canonical link functions and their inverses (sometimes referred to as the mean function, as done here).

In the cases of the exponential and gamma distributions, the domain of the canonical link function is not the same as the permitted range of the mean. In particular, the linear predictor may be positive, which would give an impossible negative mean. When maximizing the likelihood, precautions must be taken to avoid this. An alternative is to use a noncanonical link function.

In the case of the Bernoulli, binomial, categorical and multinomial distributions, the support of the distributions is not the same type of data as the parameter being predicted. In all of these cases, the predicted parameter is one or more probabilities, i.e. real numbers in the range ${\displaystyle [0,1]}$. The resulting model is known as logistic regression (or multinomial logistic regression in the case that K-way rather than binary values are being predicted).

For the Bernoulli and binomial distributions, the parameter is a single probability, indicating the likelihood of occurrence of a single event. The Bernoulli still satisfies the basic condition of the generalized linear model in that, even though a single outcome will always be either 0 or 1, the expected value will nonetheless be a real-valued probability, i.e. the probability of occurrence of a "yes" (or 1) outcome. Similarly, in a binomial distribution, the expected value is Np, i.e. the expected proportion of "yes" outcomes will be the probability to be predicted.

For categorical and multinomial distributions, the parameter to be predicted is a K-vector of probabilities, with the further restriction that all probabilities must add up to 1. Each probability indicates the likelihood of occurrence of one of the K possible values. For the multinomial distribution, and for the vector form of the categorical distribution, the expected values of the elements of the vector can be related to the predicted probabilities similarly to the binomial and Bernoulli distributions.

Fitting

Maximum likelihood

The maximum likelihood estimates can be found using an iteratively reweighted least squares algorithm or a Newton's method with updates of the form:

${\displaystyle {\mathit{\beta }}^{(t+1)}={\mathit{\beta }}^{(t)}+{\mathcal{J}}^{-1}({\mathit{\beta }}^{(t)})u({\mathit{\beta }}^{(t)}),}$

where ${\displaystyle \mathcal{J}({\mathit{\beta }}^{(t)})}$ is the observed information matrix (the negative of the Hessian matrix) and ${\displaystyle u({\mathit{\beta }}^{(t)})}$ is the score function; or a Fisher's scoring method:

${\displaystyle {\mathit{\beta }}^{(t+1)}={\mathit{\beta }}^{(t)}+{\mathcal{I}}^{-1}({\mathit{\beta }}^{(t)})u({\mathit{\beta }}^{(t)}),}$

where ${\displaystyle \mathcal{I}({\mathit{\beta }}^{(t)})}$ is the Fisher information matrix. Note that if the canonical link function is used, then they are the same.

Bayesian methods

In general, the posterior distribution cannot be found in closed form and so must be approximated, usually using Laplace approximations or some type of Markov chain Monte Carlo method such as Gibbs sampling.

Examples

General linear models

A possible point of confusion has to do with the distinction between generalized linear models and general linear models, two broad statistical models. Co-originator John Nelder has expressed regret over this terminology.

The general linear model may be viewed as a special case of the generalized linear model with identity link and responses normally distributed. As most exact results of interest are obtained only for the general linear model, the general linear model has undergone a somewhat longer historical development. Results for the generalized linear model with non-identity link are asymptotic (tending to work well with large samples).

Linear regression

A simple, very important example of a generalized linear model (also an example of a general linear model) is linear regression. In linear regression, the use of the least-squares estimator is justified by the Gauss–Markov theorem, which does not assume that the distribution is normal.

From the perspective of generalized linear models, however, it is useful to suppose that the distribution function is the normal distribution with constant variance and the link function is the identity, which is the canonical link if the variance is known. Under these assumptions, the least-squares estimator is obtained as the maximum-likelihood parameter estimate.

For the normal distribution, the generalized linear model has a closed form expression for the maximum-likelihood estimates, which is convenient. Most other GLMs lack closed form estimates.

Binary data

When the response data, Y, are binary (taking on only values 0 and 1), the distribution function is generally chosen to be the Bernoulli distribution and the interpretation of μ_i is then the probability, p, of Y_i taking on the value one.

There are several popular link functions for binomial functions.

Logit link function

The most typical link function is the canonical logit link:

${\displaystyle g(p)=\mathrm{logit}p=\ln \left(\frac{p}{1-p}\right).}$

GLMs with this setup are logistic regression models (or logit models).

Probit link function as popular choice of inverse cumulative distribution function

Alternatively, the inverse of any continuous cumulative distribution function (CDF) can be used for the link since the CDF's range is ${\displaystyle [0,1]}$, the range of the binomial mean. The normal CDF ${\displaystyle \mathrm{\Phi }}$ is a popular choice and yields the probit model. Its link is

${\displaystyle g(p)={\mathrm{\Phi }}^{-1}(p).}$

The reason for the use of the probit model is that a constant scaling of the input variable to a normal CDF (which can be absorbed through equivalent scaling of all of the parameters) yields a function that is practically identical to the logit function, but probit models are more tractable in some situations than logit models. (In a Bayesian setting in which normally distributed prior distributions are placed on the parameters, the relationship between the normal priors and the normal CDF link function means that a probit model can be computed using Gibbs sampling, while a logit model generally cannot.)

Complementary log-log (cloglog)

The complementary log-log function may also be used:

${\displaystyle g(p)=\log (-\log (1-p)).}$

This link function is asymmetric and will often produce different results from the logit and probit link functions. The cloglog model corresponds to applications where we observe either zero events (e.g., defects) or one or more, where the number of events is assumed to follow the Poisson distribution. The Poisson assumption means that

${\displaystyle Pr(0)=\exp (-\mu ),}$

where μ is a positive number denoting the expected number of events. If p represents the proportion of observations with at least one event, its complement

${\displaystyle 1-p=Pr(0)=\exp (-\mu ),}$

and then

${\displaystyle -\log (1-p)=\mu .}$

A linear model requires the response variable to take values over the entire real line. Since μ must be positive, we can enforce that by taking the logarithm, and letting log(μ) be a linear model. This produces the "cloglog" transformation

${\displaystyle \log (-\log (1-p))=\log (\mu ).}$

Identity link

The identity link g(p) = p is also sometimes used for binomial data to yield a linear probability model. However, the identity link can predict nonsense "probabilities" less than zero or greater than one. This can be avoided by using a transformation like cloglog, probit or logit (or any inverse cumulative distribution function). A primary merit of the identity link is that it can be estimated using linear math—and other standard link functions are approximately linear matching the identity link near p = 0.5.

Variance function

The variance function for "quasibinomial" data is:

${\displaystyle \mathrm{Var}(Y_i)=\tau {\mu }_i(1-{\mu }_i)}$

where the dispersion parameter τ is exactly 1 for the binomial distribution. Indeed, the standard binomial likelihood omits τ. When it is present, the model is called "quasibinomial", and the modified likelihood is called a quasi-likelihood, since it is not generally the likelihood corresponding to any real family of probability distributions. If τ exceeds 1, the model is said to exhibit overdispersion.

Multinomial regression

The binomial case may be easily extended to allow for a multinomial distribution as the response (also, a Generalized Linear Model for counts, with a constrained total). There are two ways in which this is usually done:

Ordered response

If the response variable is ordinal, then one may fit a model function of the form:

${\displaystyle g({\mu }_m)={\eta }_m={\beta }_0+X_1{\beta }_1+\cdots +X_p{\beta }_p+{\gamma }_2+\cdots +{\gamma }_m={\eta }_1+{\gamma }_2+\cdots +{\gamma }_m\text{ where }{\mu }_m=\mathrm{P}(Y\le m).}$

for m > 2. Different links g lead to ordinal regression models like proportional odds models or ordered probit models.

Unordered response

If the response variable is a nominal measurement, or the data do not satisfy the assumptions of an ordered model, one may fit a model of the following form:

${\displaystyle g({\mu }_m)={\eta }_m={\beta }_{m,0}+X_1{\beta }_{m,1}+\cdots +X_p{\beta }_{m,p}\text{ where }{\mu }_m=\mathrm{P}(Y=m\mid Y\in \{1,m\}).}$

for m > 2. Different links g lead to multinomial logit or multinomial probit models. These are more general than the ordered response models, and more parameters are estimated.

Count data

Another example of generalized linear models includes Poisson regression which models count data using the Poisson distribution. The link is typically the logarithm, the canonical link.

The variance function is proportional to the mean

${\displaystyle \mathrm{var}(Y_i)=\tau {\mu }_i,}$

where the dispersion parameter τ is typically fixed at exactly one. When it is not, the resulting quasi-likelihood model is often described as Poisson with overdispersion or quasi-Poisson.

Continuous proportional data

When a response ${\displaystyle Y}$ is double-bounded continuous random variable, after standardizing it into the unit interval [0,1], an example of generalized linear model is continuous binomial (cobin) regression based on continuous binomial distribution, a two-parameter generalization of continuous Bernoulli distribution. An additional parameter ${\displaystyle \lambda }$ is inversely proportional to variance,

${\displaystyle \mathrm{var}(Y_i)={\lambda }^{-1}{A}^{″}(A^{-1}({\mu }_i)),}$

where ${\displaystyle A(\theta )=\log \{(e^{\theta }-1)/\theta \}}$. It is related to fractional regression models based on quasi-maximum likelihood if the variance function is chosen differently.

Extensions

Correlated or clustered data

The standard GLM assumes that the observations are uncorrelated. Extensions have been developed to allow for correlation between observations, as occurs for example in longitudinal studies and clustered designs:

• Generalized estimating equations (GEEs) allow for the correlation between observations without the use of an explicit probability model for the origin of the correlations, so there is no explicit likelihood. They are suitable when the random effects and their variances are not of inherent interest, as they allow for the correlation without explaining its origin. The focus is on estimating the average response over the population ("population-averaged" effects) rather than the regression parameters that would enable prediction of the effect of changing one or more components of X on a given individual. GEEs are usually used in conjunction with Huber–White standard errors.
• Generalized linear mixed models (GLMMs) are an extension to GLMs that includes random effects in the linear predictor, giving an explicit probability model that explains the origin of the correlations. The resulting "subject-specific" parameter estimates are suitable when the focus is on estimating the effect of changing one or more components of X on a given individual. GLMMs are also referred to as multilevel models and as mixed model. In general, fitting GLMMs is more computationally complex and intensive than fitting GEEs.

Generalized additive models

Generalized additive models (GAMs) are another extension to GLMs in which the linear predictor η is not restricted to be linear in the covariates X but is the sum of smoothing functions applied to the x_is:

${\displaystyle \eta ={\beta }_0+f_1(x_1)+f_2(x_2)+\cdots }$

The smoothing functions f_i are estimated from the data. In general this requires a large number of data points and is computationally intensive.