# Variance function

In statistics, the variance function is a smooth function that depicts the variance of a random quantity as a function of its mean. The variance function is a measure of heteroscedasticity and plays a large role in many settings of statistical modelling. It is a main ingredient in the generalized linear model framework and a tool used in non-parametric regression, semiparametric regression and functional data analysis. In parametric modeling, variance functions take on a parametric form and explicitly describe the relationship between the variance and the mean of a random quantity. In a non-parametric setting, the variance function is assumed to be a smooth function.

## Intuition

In a regression model setting, the goal is to establish whether or not a relationship exists between a response variable and a set of predictor variables. Further, if a relationship does exist, the goal is then to be able to describe this relationship as best as possible. A main assumption in linear regression is constant variance or (homoscedasticity), meaning that different response variables have the same variance in their errors, at every predictor level. This assumption works well when the response variable and the predictor variable are jointly normal. As we will see later, the variance function in the Normal setting is constant; however, we must find a way to quantify heteroscedasticity (non-constant variance) in the absence of joint Normality.
When it is likely that the response follows a distribution that is a member of the exponential family, a generalized linear model may be more appropriate to use, and moreover, when we wish not to force a parametric model onto our data, a non-parametric regression approach can be useful. The importance of being able to model the variance as a function of the mean lies in improved inference (in a parametric setting), and estimation of the regression function in general, for any setting.
Variance functions play a very important role in parameter estimation and inference. In general, maximum likelihood estimation requires that a likelihood function be defined. This requirement then implies that one must first specify the distribution of the response variables observed. However, to define a quasi-likelihood, one need only specify a relationship between the mean and the variance of the observations to then be able to use the quasi-likelihood function for estimation. Quasi-likelihood estimation is particularly useful when there is overdispersion. Overdispersion occurs when there is more variability in the data than there should otherwise be expected according to the assumed distribution of the data.
In summary, to ensure efficient inference of the regression parameters and the regression function, the heteroscedasticity must be accounted for. Variance functions quantify the relationship between the variance and the mean of the observed data and hence play a significant role in regression estimation and inference.

## Types

The variance function and its applications come up in many areas of statistical analysis. A very important use of this function is in the framework of generalized linear models and non-parametric regression.

### Generalized linear model

When a member of the exponential family has been specified, the variance function can easily be derived.$^{:29}$ The general form of the variance function is presented under the exponential family context, as well as specific forms for Normal, Bernoulli, Poisson, and Gamma. In addition, we describe the applications and use of variance functions in maximum likelihood estimation and quasi-likelihood estimation.

#### Derivation

The generalized linear model (GLM), is a generalization of ordinary regression analysis that extends to any member of the exponential family. It is particularly useful when the response variable is categorical, binary or subject to a constraint (e.g. only positive responses make sense). A quick summary of the components of a GLM are summarized on this page, but for more details and information see the page on generalized linear models.
A GLM consists of three main ingredients:
    1. Random Component: a distribution of y from the exponential family, $E[y\mid X]=\mu$
    2. Linear predictor: $\eta =XB=\sum _{j=1}^{p}X_{ij}^{T}B_{j}$
    3. Link function: $\eta =g(\mu ),\mu =g^{-1}(\eta )$
First it is important to derive a couple key properties of the exponential family.
Any random variable ${\textit {y}}$ in the exponential family has a probability density function of the form,
    $f(y,\theta ,\phi )=\exp \left({\frac {y\theta -b(\theta )}{\phi }}-c(y,\phi )\right)$
with loglikelihood,
    $\ell (\theta ,y,\phi )=\log(f(y,\theta ,\phi ))={\frac {y\theta -b(\theta )}{\phi }}-c(y,\phi )$
Here, $\theta$ is the canonical parameter and the parameter of interest, and $\phi$ is a nuisance parameter which plays a role in the variance. We use the Bartlett's Identities to derive a general expression for the variance function. The first and second Bartlett results ensures that under suitable conditions (see Leibniz integral rule), for a density function dependent on $\theta ,f_{\theta }$,
    $\operatorname {E} _{\theta }\left[{\frac {\partial }{\partial \theta }}\log(f_{\theta }(y))\right]=0$
    $\operatorname {Var} _{\theta }\left[{\frac {\partial }{\partial \theta }}\log(f_{\theta }(y))\right]+\operatorname {E} _{\theta }\left[{\frac {\partial ^{2}}{\partial \theta ^{2}}}\log(f_{\theta }(y))\right]=0$
These identities lead to simple calculations of the expected value and variance of any random variable ${\textit {y}}$ in the exponential family $E_{\theta }[y],Var_{\theta }[y]$.
Expected value of Y: Taking the first derivative with respect to $\theta$ of the log of the density in the exponential family form described above, we have
    ${\frac {\partial }{\partial \theta }}\log(f(y,\theta ,\phi ))={\frac {\partial }{\partial \theta }}\left[{\frac {y\theta -b(\theta )}{\phi }}-c(y,\phi )\right]={\frac {y-b'(\theta )}{\phi }}$
Then taking the expected value and setting it equal to zero leads to,
    $\operatorname {E} _{\theta }\left[{\frac {y-b'(\theta )}{\phi }}\right]={\frac {\operatorname {E} _{\theta }[y]-b'(\theta )}{\phi }}=0$
    $\operatorname {E} _{\theta }[y]=b'(\theta )$
Variance of Y: To compute the variance we use the second Bartlett identity,
    $\operatorname {Var} _{\theta }\left[{\frac {\partial }{\partial \theta }}\left({\frac {y\theta -b(\theta )}{\phi }}-c(y,\phi )\right)\right]+\operatorname {E} _{\theta }\left[{\frac {\partial ^{2}}{\partial \theta ^{2}}}\left({\frac {y\theta -b(\theta )}{\phi }}-c(y,\phi )\right)\right]=0$
    $\operatorname {Var} _{\theta }\left[{\frac {y-b'(\theta )}{\phi }}\right]+\operatorname {E} _{\theta }\left[{\frac {-b''(\theta )}{\phi }}\right]=0$
    $\operatorname {Var} _{\theta }\left[y\right]=b''(\theta )\phi$
We have now a relationship between $\mu$ and $\theta$, namely
    $\mu =b'(\theta )$ and $\theta =b'^{-1}(\mu )$, which allows for a relationship between $\mu$ and the variance,
    $V(\theta )=b''(\theta )={\text{the part of the variance that depends on }}\theta$
    $\operatorname {V} (\mu )=b''(b'^{-1}(\mu )).\,$
Note that because $\operatorname {Var} _{\theta }\left[y\right]>0,b''(\theta )>0$, then $b':\theta \rightarrow \mu$ is invertible. We derive the variance function for a few common distributions.

#### Example – normal

The normal distribution is a special case where the variance function is a constant. Let $y\sim N(\mu ,\sigma ^{2})$ then we put the density function of y in the form of the exponential family described above:
    $f(y)=\exp \left({\frac {y\mu -{\frac {\mu ^{2}}{2}}}{\sigma ^{2}}}-{\frac {y^{2}}{2\sigma ^{2}}}-{\frac {1}{2}}\ln {2\pi \sigma ^{2}}\right)$
where
    $\theta =\mu ,$
    $b(\theta )={\frac {\mu ^{2}}{2}},$
    $\phi =\sigma ^{2},$
    $c(y,\phi )=-{\frac {y^{2}}{2\sigma ^{2}}}-{\frac {1}{2}}\ln {2\pi \sigma ^{2}}$
To calculate the variance function $V(\mu )$, we first express $\theta$ as a function of $\mu$. Then we transform $V(\theta )$ into a function of $\mu$
    $\theta =\mu$
    $b'(\theta )=\theta =\operatorname {E} [y]=\mu$
    $V(\theta )=b''(\theta )=1$
Therefore, the variance function is constant.

#### Example – Bernoulli

Let $y\sim {\text{Bernoulli}}(p)$, then we express the density of the Bernoulli distribution in exponential family form,
    $f(y)=\exp \left(y\ln {\frac {p}{1-p}}+\ln(1-p)\right)$
    $\theta =\ln {\frac {p}{1-p}}=$ logit(p), which gives us $p={\frac {e^{\theta }}{1+e^{\theta }}}=$ expit$(\theta )$
    $b(\theta )=\ln(1+e^{\theta })$ and
    $b'(\theta )={\frac {e^{\theta }}{1+e^{\theta }}}=$ expit$(\theta )=p=\mu$
    $b''(\theta )={\frac {e^{\theta }}{1+e^{\theta }}}-\left({\frac {e^{\theta }}{1+e^{\theta }}}\right)^{2}$
This give us
    $V(\mu )=\mu (1-\mu )$

#### Example – Poisson

Let $y\sim {\text{Poisson}}(\lambda )$, then we express the density of the Poisson distribution in exponential family form,
    $f(y)=\exp(y\ln \lambda -\ln \lambda )$
    $\theta =\ln \lambda =$ which gives us $\lambda =e^{\theta }$
    $b(\theta )=e^{\theta }$ and
    $b'(\theta )=e^{\theta }=\lambda =\mu$
    $b''(\theta )=e^{\theta }=\mu$
This give us
    $V(\mu )=\mu$
Here we see the central property of Poisson data, that the variance is equal to the mean.

#### Example – Gamma

The Gamma distribution and density function can be expressed under different parametrizations. We will use the form of the gamma with parameters $(\mu ,\nu )$
    $f_{\mu ,\nu }(y)={\frac {1}{\Gamma (\nu )y}}\left({\frac {\nu y}{\mu }}\right)^{\nu }e^{-{\frac {\nu y}{\mu }}}$
Then in exponential family form we have
    $f_{\mu ,\nu }(y)=\exp \left({\frac {-{\frac {1}{\mu }}y+\ln({\frac {1}{\mu }})}{\frac {1}{\nu }}}+\ln \left({\frac {\nu ^{\nu }y^{\nu -1}}{\Gamma (\nu )}}\right)\right)$
    $\theta ={\frac {-1}{\mu }}\rightarrow \mu ={\frac {-1}{\theta }}$
    $\phi ={\frac {1}{\nu }}$
    $b(\theta )=-\ln(-\theta )$
    $b'(\theta )={\frac {-1}{\theta }}={\frac {-1}{\frac {-1}{\mu }}}=\mu$
    $b''(\theta )={\frac {1}{\theta ^{2}}}=\mu ^{2}$
And we have $V(\mu )=\mu ^{2}$

#### Application – weighted least squares

A very important application of the variance function is its use in parameter estimation and inference when the response variable is of the required exponential family form as well as in some cases when it is not (which we will discuss in quasi-likelihood). Weighted least squares (WLS) is a special case of generalized least squares. Each term in the WLS criterion includes a weight that determines that the influence each observation has on the final parameter estimates. As in regular least squares, the goal is to estimate the unknown parameters in the regression function by finding values for parameter estimates that minimize the sum of the squared deviations between the observed responses and the functional portion of the model.
While WLS assumes independence of observations it does not assume equal variance and is therefore a solution for parameter estimation in the presence of heteroscedasticity. The Gauss–Markov theorem and Aitken demonstrate that the best linear unbiased estimator (BLUE), the unbiased estimator with minimum variance, has each weight equal to the reciprocal of the variance of the measurement.
In the GLM framework, our goal is to estimate parameters $\beta$, where $Z=g(E[y\mid X])=X\beta$. Therefore, we would like to minimize $(Z-XB)^{T}W(Z-XB)$ and if we define the weight matrix W as
    $\underbrace {W} _{n\times n}={\begin{bmatrix}{\frac {1}{\phi V(\mu _{1})g'(\mu _{1})^{2}}}&0&\cdots &0&0\\0&{\frac {1}{\phi V(\mu _{2})g'(\mu _{2})^{2}}}&0&\cdots &0\\\vdots &\vdots &\vdots &\vdots &0\\\vdots &\vdots &\vdots &\vdots &0\\0&\cdots &\cdots &0&{\frac {1}{\phi V(\mu _{n})g'(\mu _{n})^{2}}}\end{bmatrix}},$
where $\phi ,V(\mu ),g(\mu )$ are defined in the previous section, it allows for iteratively reweighted least squares (IRLS) estimation of the parameters. See the section on iteratively reweighted least squares for more derivation and information.
Also, important to note is that when the weight matrix is of the form described here, minimizing the expression $(Z-XB)^{T}W(Z-XB)$ also minimizes the Pearson distance. See Distance correlation for more.
The matrix W falls right out of the estimating equations for estimation of $\beta$. Maximum likelihood estimation for each parameter $\beta _{r},1\leq r\leq p$, requires
    $\sum _{i=1}^{n}{\frac {\partial l_{i}}{\partial \beta _{r}}}=0$, where $\operatorname {l} (\theta ,y,\phi )=\log(\operatorname {f} (y,\theta ,\phi ))={\frac {y\theta -b(\theta )}{\phi }}-c(y,\phi )$ is the log-likelihood.
Looking at a single observation we have,
    ${\frac {\partial l}{\partial \beta _{r}}}={\frac {\partial l}{\partial \theta }}{\frac {\partial \theta }{\partial \mu }}{\frac {\partial \mu }{\partial \eta }}{\frac {\partial \eta }{\partial \beta _{r}}}$
    ${\frac {\partial \eta }{\partial \beta _{r}}}=x_{r}$
    ${\frac {\partial l}{\partial \theta }}={\frac {y-b'(\theta )}{\phi }}={\frac {y-\mu }{\phi }}$
    ${\frac {\partial \theta }{\partial \mu }}={\frac {\partial b'^{-1}(\mu )}{\mu }}={\frac {1}{b''(b'(\mu ))}}={\frac {1}{V(\mu )}}$
This gives us
    ${\frac {\partial l}{\partial \beta _{r}}}={\frac {y-\mu }{\phi V(\mu )}}{\frac {\partial \mu }{\partial \eta }}x_{r}$, and noting that
    ${\frac {\partial \eta }{\partial \mu }}=g'(\mu )$ we have that
    ${\frac {\partial l}{\partial \beta _{r}}}=(y-\mu )W{\frac {\partial \eta }{\partial \mu }}x_{r}$
The Hessian matrix is determined in a similar manner and can be shown to be,
    $H=X^{T}(y-\mu )\left[{\frac {\partial }{\beta _{s}}}W{\frac {\partial }{\beta _{r}}}\right]-X^{T}WX$
Noticing that the Fisher Information (FI),
    ${\text{FI}}=-E[H]=X^{T}WX$, allows for asymptotic approximation of ${\hat {\beta }}$
    ${\hat {\beta }}\sim N_{p}(\beta ,(X^{T}WX)^{-1})$, and hence inference can be performed.

#### Application – quasi-likelihood

Because most features of GLMs only depend on the first two moments of the distribution, rather than the entire distribution, the quasi-likelihood can be developed by just specifying a link function and a variance function. That is, we need to specify
* the link function, $E[y]=\mu =g^{-1}(\eta )$
* the variance function, $V(\mu )$, where the $\operatorname {Var} _{\theta }(y)=\sigma ^{2}V(\mu )$
With a specified variance function and link function we can develop, as alternatives to the log-likelihood function, the score function, and the Fisher information, a quasi-likelihood, a quasi-score, and the quasi-information. This allows for full inference of $\beta$.
Quasi-likelihood (QL)
Though called a quasi-likelihood, this is in fact a quasi-log-likelihood. The QL for one observation is
    $Q_{i}(\mu _{i},y_{i})=\int _{y_{i}}^{\mu _{i}}{\frac {y_{i}-t}{\sigma ^{2}V(t)}}\,dt$
And therefore the QL for all n observations is
    $Q(\mu ,y)=\sum _{i=1}^{n}Q_{i}(\mu _{i},y_{i})=\sum _{i=1}^{n}\int _{y_{i}}^{\mu _{i}}{\frac {y-t}{\sigma ^{2}V(t)}}\,dt$
From the QL we have the quasi-score
Quasi-score (QS)
Recall the score function, U, for data with log-likelihood $\operatorname {l} (\mu \mid y)$ is
    $U={\frac {\partial l}{d\mu }}.$
We obtain the quasi-score in an identical manner,
    $U={\frac {y-\mu }{\sigma ^{2}V(\mu )}}$
Noting that, for one observation the score is
    ${\frac {\partial Q}{\partial \mu }}={\frac {y-\mu }{\sigma ^{2}V(\mu )}}$
The first two Bartlett equations are satisfied for the quasi-score, namely
    $E[U]=0$
and
    $\operatorname {Cov} (U)+E\left[{\frac {\partial U}{\partial \mu }}\right]=0.$
In addition, the quasi-score is linear in y.
Ultimately the goal is to find information about the parameters of interest $\beta$. Both the QS and the QL are actually functions of $\beta$. Recall, $\mu =g^{-1}(\eta )$, and $\eta =X\beta$, therefore,
    $\mu =g^{-1}(X\beta ).$
Quasi-information (QI)
The quasi-information, is similar to the Fisher information,
    $i_{b}=-\operatorname {E} \left[{\frac {\partial U}{\partial \beta }}\right]$
QL, QS, QI as functions of $\beta$
The QL, QS and QI all provide the building blocks for inference about the parameters of interest and therefore it is important to express the QL, QS and QI all as functions of $\beta$.
Recalling again that $\mu =g^{-1}(X\beta )$, we derive the expressions for QL, QS and QI parametrized under $\beta$.
Quasi-likelihood in $\beta$,
    $Q(\beta ,y)=\int _{y}^{\mu (\beta )}{\frac {y-t}{\sigma ^{2}V(t)}}\,dt$
The QS as a function of $\beta$ is therefore
    $U_{j}(\beta _{j})={\frac {\partial }{\partial \beta _{j}}}Q(\beta ,y)=\sum _{i=1}^{n}{\frac {\partial \mu _{i}}{\partial \beta _{j}}}{\frac {y_{i}-\mu _{i}(\beta _{j})}{\sigma ^{2}V(\mu _{i})}}$
    $U(\beta )={\begin{bmatrix}U_{1}(\beta )\\U_{2}(\beta )\\\vdots \\\vdots \\U_{p}(\beta )\end{bmatrix}}=D^{T}V^{-1}{\frac {(y-\mu )}{\sigma ^{2}}}$
Where,
    $\underbrace {D} _{n\times p}={\begin{bmatrix}{\frac {\partial \mu _{1}}{\partial \beta _{1}}}&\cdots &\cdots &{\frac {\partial \mu _{1}}{\partial \beta _{p}}}\\{\frac {\partial \mu _{2}}{\partial \beta _{1}}}&\cdots &\cdots &{\frac {\partial \mu _{2}}{\partial \beta _{p}}}\\\vdots \\\vdots \\{\frac {\partial \mu _{m}}{\partial \beta _{1}}}&\cdots &\cdots &{\frac {\partial \mu _{m}}{\partial \beta _{p}}}\end{bmatrix}}\underbrace {V} _{n\times n}=\operatorname {diag} (V(\mu _{1}),V(\mu _{2}),\ldots ,\ldots ,V(\mu _{n}))$
The quasi-information matrix in $\beta$ is,
    $i_{b}=-{\frac {\partial U}{\partial \beta }}=\operatorname {Cov} (U(\beta ))={\frac {D^{T}V^{-1}D}{\sigma ^{2}}}$
Obtaining the score function and the information of $\beta$ allows for parameter estimation and inference in a similar manner as described in Application – weighted least squares.

### Non-parametric regression analysis

Non-parametric estimation of the variance function and its importance, has been discussed widely in the literature In non-parametric regression analysis, the goal is to express the expected value of your response variable(y) as a function of your predictors (X). That is we are looking to estimate a mean function, $g(x)=\operatorname {E} [y\mid X=x]$ without assuming a parametric form. There are many forms of non-parametric smoothing methods to help estimate the function $g(x)$. An interesting approach is to also look at a non-parametric variance function, $g_{v}(x)=\operatorname {Var} (Y\mid X=x)$. A non-parametric variance function allows one to look at the mean function as it relates to the variance function and notice patterns in the data.
    $g_{v}(x)=\operatorname {Var} (Y\mid X=x)=\operatorname {E} [y^{2}\mid X=x]-\left[\operatorname {E} [y\mid X=x]\right]^{2}$
An example is detailed in the pictures to the right. The goal of the project was to determine (among other things) whether or not the predictor, number of years in the major leagues (baseball), had an effect on the response, salary, a player made. An initial scatter plot of the data indicates that there is heteroscedasticity in the data as the variance is not constant at each level of the predictor. Because we can visually detect the non-constant variance, it useful now to plot $g_{v}(x)=\operatorname {Var} (Y\mid X=x)=\operatorname {E} [y^{2}\mid X=x]-\left[\operatorname {E} [y\mid X=x]\right]^{2}$, and look to see if the shape is indicative of any known distribution. One can estimate $\operatorname {E} [y^{2}\mid X=x]$ and $\left[\operatorname {E} [y\mid X=x]\right]^{2}$ using a general smoothing method. The plot of the non-parametric smoothed variance function can give the researcher an idea of the relationship between the variance and the mean. The picture to the right indicates a quadratic relationship between the mean and the variance. As we saw above, the Gamma variance function is quadratic in the mean.