Tutorials › Statistical Theory III - Theories of Inference, Multivariate Methods, and Contingency Tables › What Quasi-Likelihood Does Not Specify

Quasi-Likelihood and Overdispersion · Tutorial 683 of 972

What Quasi-Likelihood Does Not Specify

Learn to distinguish quasi-likelihood inference based on means and variances from exact likelihood and tail calculations that require a full distribution.

Advanced 9 min read

What You'll Learn

  • Identify what a quasi-likelihood specifies and what it leaves unspecified
  • Verify that distinct count distributions can share the same mean and variance
  • Derive the expectation and variance of a quasi-score from moment assumptions
  • Distinguish moment-based standard errors from exact finite-sample probabilities
  • Recognize when a full probability model is needed for likelihood or tail calculations

Moments Are Not a Full Probability Model

Quasi-likelihood is useful when a mean model and a variance function are credible but a complete distribution for the observations is not. It uses those specified features to construct estimating equations and, with appropriate conditions, to support large-sample inference. It does not fill in all the probabilities that a full probability model would require.

The distinction matters even for simple count data. Two distributions can have exactly the same mean and variance while assigning very different probabilities to extreme observations. As a result, quasi-likelihood calculations that depend only on the specified moments can agree for both distributions, even though exact tail probabilities and likelihoods do not.

Definition: A full probability model specifies the distribution of the observations, such as their probability mass function, including the probabilities of possible values. A quasi-likelihood specification instead gives a mean model and a variance function, typically \(E[Y_i]=\mu_i\) and \(\operatorname{Var}(Y_i)=\phi V(\mu_i)\), where \(\phi\) is a dispersion parameter. These moment statements do not, by themselves, specify a probability mass function or density.

For one observation with response \(y\), mean \(\mu\), and positive variance function \(V(\mu)\), a quasi-likelihood \(Q(y;\mu)\) is defined, up to a term not depending on \(\mu\), by

$$ \frac{\partial Q(y;\mu)}{\partial \mu}=\frac{y-\mu}{V(\mu)}. $$

Thus, for a fixed reference value \(\mu_0\), its difference is

$$ Q(y;\mu)-Q(y;\mu_0)=\int_{\mu_0}^{\mu}\frac{y-t}{V(t)}\,dt, $$

provided \(V(t)>0\) and the integrand is integrable between the two values. This construction specifies a function used for estimation; it does not turn that function into a normalized probability distribution. In particular, there is no general rule that the exponential of a quasi-likelihood, after normalization, must equal the probability of observing \(y\).

Worked Example: Two Count Distributions With the Same Moments

Worked Example: Two Count Distributions With the Same Moments

Compare \(X\sim\operatorname{Poisson}(2)\) with a count variable \(W\) having probabilities \(P(W=0)=1/4\), \(P(W=2)=1/2\), and \(P(W=4)=1/4\). Verify that both have mean 2 and variance 2.

For the Poisson variable, \(E[X]=2\) and \(\operatorname{Var}(X)=2\). For \(W\),

$$ E[W]=0\left(\frac14\right)+2\left(\frac12\right)+4\left(\frac14\right)=2, $$
$$ E[W^2]=0^2\left(\frac14\right)+2^2\left(\frac12\right)+4^2\left(\frac14\right)=2+4=6, \qquad \operatorname{Var}(W)=E[W^2]-E[W]^2=6-4=2. $$

The moments agree, but the distributions do not. For example, \(P(W=1)=0\), whereas \(P(X=1)=2e^{-2}\), which is positive. Their upper-tail probabilities also differ: \(P(W\geq 5)=0\), while

$$ P(X\geq 5) =1-P(X\leq 4) =1-e^{-2}\left(1+2+2+\frac{8}{6}+\frac{16}{24}\right) =1-7e^{-2} \approx 0.0527. $$

So knowing the mean and variance does not determine even this particular tail probability. Any procedure that needs \(P(Y\geq 5)\) must obtain more information than these two moments.

What the Quasi-Score Does Determine

Suppose \(Y_1,\ldots,Y_n\) are independent, \(E[Y_i]=\mu_i(\beta)\), and \(\operatorname{Var}(Y_i)=\phi V(\mu_i(\beta))\). Here \(\beta\) is a vector of parameters, and \(D_i=\partial\mu_i(\beta)/\partial\beta\) is a column vector. The quasi-score is

$$ U(\beta)=\sum_{i=1}^n D_i\frac{Y_i-\mu_i(\beta)}{V(\mu_i(\beta))}. $$

This expression involves the observations through their residuals and uses their assumed means and variances. Under the stated moment and independence conditions, its expectation and covariance can be calculated without specifying the full distribution.

Theorem: If each \(D_i\) and \(V(\mu_i(\beta))\) are nonrandom at the parameter value under consideration, \(E[Y_i]=\mu_i(\beta)\), \(\operatorname{Var}(Y_i)=\phi V(\mu_i(\beta))\), and the \(Y_i\) are independent with finite variances, then
$$ E[U(\beta)]=0, \qquad \operatorname{Cov}(U(\beta)) =\phi\sum_{i=1}^n\frac{D_iD_i^{T}}{V(\mu_i(\beta))}. $$

To prove the result, write \(V_i=V(\mu_i(\beta))\). Linearity of expectation and the mean assumption give

$$ E[U(\beta)] =\sum_{i=1}^n\frac{D_i}{V_i} \bigl(E[Y_i]-\mu_i(\beta)\bigr)=0. $$

For the covariance, independence makes all cross-covariances between distinct observations zero. The covariance of the \(i\)th score contribution is therefore

$$ \operatorname{Cov}\left( D_i\frac{Y_i-\mu_i(\beta)}{V_i} \right) = \frac{D_iD_i^T}{V_i^2}\operatorname{Var}(Y_i) = \phi\frac{D_iD_i^T}{V_i}. $$

Adding these contributions gives the stated covariance. No step in this calculation uses probabilities for individual outcomes, such as \(P(Y_i=0)\) or \(P(Y_i\geq 5)\). The result therefore applies equally to different distributions that satisfy the same stated mean and variance assumptions. \(\square\)

When a quasi-score equation is solved for an estimator, its large-sample behavior can often be studied using this score covariance and regularity conditions for the estimating equation. Such inference is not a claim that the observations have a particular distribution. It is an approximation justified by the model for the moments and by the sampling conditions. For instance, independence matters: marginal means and variances alone do not determine the covariance of a sum when observations are dependent.

Worked Example: A Moment-Based Estimate and Its Standard Error

Worked Example: A Moment-Based Estimate and Its Standard Error

Let \(Y_1,\ldots,Y_4\) be independent observations with a common unknown mean \(\mu\), and suppose their variance is 2. The mean estimating equation is \(\sum_{i=1}^4(Y_i-\mu)=0\). For observed values \(0,2,2,4\), find the estimate and its standard error using the stated variance.

Solving the equation gives the sample mean:

$$ \hat{\mu}=\bar{Y}=\frac{0+2+2+4}{4}=2. $$

By independence, \(\operatorname{Var}(\bar{Y})=2/4=1/2\). Thus its standard error, calculated from the specified variance, is

$$ \operatorname{SE}(\bar{Y})=\sqrt{\frac{2}{4}}=\frac{1}{\sqrt{2}}\approx 0.7071. $$

These calculations are the same whether each observation follows \(\operatorname{Poisson}(2)\) or the three-point distribution in the preceding example, provided the mean and variance assumptions hold. In both cases the quasi-score at \(\mu=2\) is zero, since the residuals sum to zero.

But the probability of this ordered data under the two full models is different. Under the three-point distribution it is

$$ P(W_1=0,W_2=2,W_3=2,W_4=4) =\frac14\cdot\frac12\cdot\frac12\cdot\frac14 =\frac{1}{64}=0.015625. $$

Under independent Poisson observations with mean 2, it is

$$ P(X_1=0,X_2=2,X_3=2,X_4=4) =e^{-8}\frac{2^8}{0!\,2!\,2!\,4!} =\frac{8}{3}e^{-8} \approx 0.000895. $$

The estimating equation and its moment-based standard error do not distinguish these models; their probabilities for the observed data do.

What Requires a Full Distribution

A full probability model supplies information beyond the first two moments. With such a model, one can calculate the likelihood \(L(\theta)\) for observed data and derive exact probabilities for specified events, assuming the model is correct. A quasi-likelihood specification alone does not identify those quantities. It cannot, for example, determine an exact finite-sample p-value for a test statistic whose null distribution depends on the tails of the observations.

The difference also applies to familiar likelihood calculations. If \(V(\mu)=\mu\), integrating the quasi-score definition gives \(Q(y;\mu)=y\log\mu-\mu\), up to a term independent of \(\mu\). This is the parameter-dependent part of a Poisson log-likelihood. That algebraic match does not prove that the observations are Poisson: a quasi-likelihood uses this expression because of the chosen mean-variance relationship. A different distribution can share a mean and variance at a specified mean without having the Poisson probabilities.

Worked Example: A Tail Test Is Not Identified by the Moments

Suppose a test rejects the mean value 2 when one observation differs from 2 by at least 3. Under \(X\sim\operatorname{Poisson}(2)\), negative values are impossible, so this event is \(X\geq 5\), with probability \(1-7e^{-2}\approx 0.0527\). Under the three-point variable \(W\), the largest possible absolute difference from 2 is 2, so the event has probability 0.

Both models have mean 2 and variance 2, but the event probabilities are different. The mean and variance therefore cannot supply the exact null probability for this test. A tail calculation requires a specified distribution, or additional assumptions that determine the relevant tail behavior.

Common Mistake: Treating a Quasi-Likelihood as a Likelihood

A tempting but incorrect argument is: “The quasi-likelihood has the same algebraic form as a Poisson log-likelihood, so the data must be Poisson and Poisson tail probabilities apply.” The formula for \(Q\) follows from the quasi-score and variance function; it does not establish the probability of any observed outcome. As the examples show, different distributions can give the same moment-based estimating calculations but assign very different probabilities to data and tail events.

The correction is to match the inference to what has actually been specified. Use quasi-score methods for conclusions justified by the mean and variance assumptions and the relevant large-sample conditions. Use exact likelihoods, exact finite-sample tests, and model-specific tail probabilities only when a full probability model is supplied and its assumptions are defensible. A quasi-likelihood may be a useful working tool, but it does not silently add the missing distributional information.

Key takeaway: A mean model and variance function can determine quasi-score calculations and support appropriate asymptotic inference. They do not, by themselves, determine the full distribution, exact likelihood, or tail probabilities.

Check Your Understanding

Use the distinction between moment information and a full probability model to answer these questions.

  1. Verify that the distribution with probabilities \(1/4,1/2,1/4\) at \(0,2,4\) has variance 2.
  2. Why can two independent-observation models with the same means and variances have the same quasi-score covariance?
  3. What additional information is needed to calculate an exact probability such as \(P(Y\geq 5)\)?
  4. If a quasi-likelihood has the same parameter-dependent expression as a Poisson log-likelihood, what does that fact establish—and what does it not establish?
  5. Why does independence matter when using marginal variances to calculate the variance of a sum?
Clinical Biostats