## 1 Introduction

The flexibility of generalized linear models (McCullagh and Nelder 1989) in handling count, categorical, positive and real-valued responses under a common modelling framework has not only made them a typical choice in applications but also the focus of much methodological research on their estimation and use in inference.

Suppose that $$y_1, \ldots , y_n$$ are observations on independent random variables $$Y_1, \ldots , Y_n$$, each with probability density or mass function of the exponential family form

\begin{aligned} f_{Y_i}(y; \theta _i, \phi )= & {} \exp \left\{ \frac{y \theta _i - b(\theta _i) - c_1(y)}{\phi /m_i} \right. \\&\left. -\, \frac{1}{2}a\left( -\,\frac{m_i}{\phi }\right) + c_2(y) \right\} \end{aligned}

for some sufficiently smooth functions $$b(\cdot )$$, $$c_1(\cdot )$$, $$a(\cdot )$$ and $$c_2(\cdot )$$, and fixed observation weights $$m_1, \ldots , m_n$$. The expected value and the variance of $$Y_i$$ are then $$\mathrm{E}(Y_i) = \mu _i = b'(\theta _i)$$ and $$\mathrm{var}(Y_i) = \phi b''(\theta _i)/m_i = \phi V(\mu _i)/m_i$$, respectively, where $$b'(\theta _i)$$ and $$b''(\theta _i)$$ are the first two derivatives of $$b(\theta _i)$$. Compared to the normal distribution, exponential family models are generally heteroscedastic because the response variance depends on the mean through the variance function $$V(\mu _i)$$, and the dispersion parameter $$\phi$$ allows shrinking or inflating that contribution of the mean. A generalized linear model (GLM) links the mean $$\mu _i$$ to a linear predictor $$\eta _i$$ through a monotone, sufficiently smooth link function $$g(\mu _i) = \eta _i$$ with $$\eta _i = \sum _{t=1}^p \beta _t x_{it}$$ where $$x_{it}$$ is the (it)th component of a model matrix $${X}$$, and $${\beta }= (\beta _1, \ldots , \beta _p)^\top$$. An intercept parameter is typically included in the linear predictor, in which case $$x_{i1} = 1$$ for all $$i \in \{1, \ldots , n\}$$.

Estimation of the parameters of GLMs is commonly done using maximum likelihood (ML) because of the limiting guarantees that the ML estimator provides assuming that the model assumptions are adequate. Specifically, the ML estimator $$({\hat{{\beta }}}^\top , {\hat{\phi }})^\top$$ is consistent, asymptotically unbiased and asymptotically efficient with a limiting normal distribution centred at the target parameter value and a variance–covariance matrix, given by the inverse of the Fisher information matrix, which is also the Cramér–Rao lower bound for the variance of unbiased estimators. These properties are used as reassurance that inferential procedures based on Wald, score or likelihood ratio statistics will perform well in large samples. Another reason that ML is the default estimation method for GLMs is that maximizing the likelihood can be conveniently performed by iteratively reweighted least squares (IWLS; Green 1984), requiring only standard algorithms for least squares and the evaluation of working weights and variates at each iteration.

Nevertheless, the properties of the ML estimator and of the associated inferential procedures that depend on its asymptotic normality may deteriorate for small or moderate sample sizes or, more generally, when the number of parameters is large relative to the number of observations.

### Example 1.1

To illustrate the differences between finite sample and limiting behaviour of the ML estimator and associate inferential procedures, consider the data in McCullagh and Nelder (1989, Sect. 8.4.2) of mean blood clotting times in seconds for nine percentage concentrations of normal plasma and two lots of clotting agent. The plasma concentrations are 5, 10, 15, 20, 30, 40, 60, 80, 100, with corresponding clotting times 118, 58, 42, 35, 27, 25, 21, 19, 18 for the first lot, and 69, 35, 26, 21, 18, 16, 13, 12, 12 for the second lot, respectively. We fit a gamma GLM with $$\log \mu _i = \sum _{t=1}^4 \beta _t x_{it}$$, where $$\mu _i$$ is the expectation of the ith clotting time, $$x_{i1}=1$$, $$x_{i2}$$ is 1 for the second lot and 0 otherwise, $$x_{i3}$$ is the corresponding (log) plasma concentration and $$x_{i4}=x_{i2}x_{i3}$$ is an interaction term. The ML estimates are $${\hat{{\beta }}}=(5.503, -\,0.584, -\,0.602, 0.034)$$ and $${\hat{\phi }}=0.017$$. Table 1 shows the estimated bias, root mean squared error, percentage of underestimation and mean absolute error of the ML estimator from 10, 000 simulated samples at the ML estimates, with covariates values fixed as in the original sample. The table also includes the same summaries of the moment-based estimator of $$\phi$$ (see, for example, McCullagh and Nelder 1989, Sect. 8.3, and the summary.glm function in R). The ML estimator of the regression parameters illustrates good bias properties, with distributions that have a mode around the parameter value used for simulation. On the other hand, the ML estimator of the dispersion parameter is subject to severe bias, which inflates the mean squared error by $$54.13\%$$ from its absolute minimum, and has a severely right skewed distribution. Note here that the latter observation holds for any monotone transformation of the dispersion parameter. The moment-based estimator on the other hand has a much smaller bias, probability of underestimation closer to 0.5, and its use delivers a marked improvement to the coverage of standard confidence intervals for all model parameters.

Improvements in first-order inference based on ML can be achieved in several ways. For instance, bootstrap methods guarantee both correction of bias and higher-order accurate inference. Alternatively, analytical methods derived from higher-order asymptotic expansions based on the likelihood (see, for instance, Brazzale et al. 2007) have been found to result in accurate inference on model parameters. Nevertheless, bootstrap methods typically require intensive computation, and analytical methods, typically, require tedious, model-specific algebraic effort for their implementation. Furthermore, both bootstrap and analytical methods rely on the existence of the ML estimate, which is not always guaranteed. Such an example is GLMs with multinomial or discrete responses (Heinze and Schemper 2002; Kosmidis 2014b).

This paper presents a unified approach for mean and median bias reduction (BR) in GLMs using adjusted score functions (Firth 1993; Kosmidis and Firth 2009; and Kenne Pagui et al. 2017, respectively). Specifically, Firth (1993) and Kosmidis and Firth (2009) achieve higher-order BR of the ML estimator through the additive adjustment of the score equation. Kenne Pagui et al. (2017) use a similar approach in order to obtain component-wise higher-order median BR of the ML estimator, i.e. each component of the estimator has, to third order, the same probability of underestimating and overestimating the corresponding parameter component. We illustrate how those methods can be implemented without sacrificing the computational simplicity and the first-order inferential properties of the ML framework, and illustrate that they provide simple and practical solutions to the issue of boundary estimates in models with categorical responses.

Explicit, general formulae are derived for the adjusted score equations that produce higher-order mean and median unbiased estimators for GLMs. It is shown that, like ML, both mean and median BR can be conveniently performed by IWLS after the appropriate adjustment of the working variates for ML. Extensive empirical evidence illustrates that such an adjustment of IWLS leads to a stable estimation procedure even in case in which standard IWLS for ML estimation diverges.

Each method possesses invariance properties that can be more useful or less desirable depending on the GLM under consideration; the estimators resulting from mean BR (mean BR estimators, in short) are exactly invariant under linear transformations of the parameters in terms of the mean bias of the transformed estimators, which is useful, for example, when estimation and inference on arbitrary contrasts of the regression parameters is of interest. These invariance properties do not extend, though, to more general nonlinear transformations. On the other hand, median BR delivers estimators that are exactly invariant in terms of their improved median bias properties under general component-wise transformations of the parameters, which is useful, for example, when a dispersion parameter needs to be estimated from data. However, estimators from median BR are not invariant in terms of the median bias properties under more general transformations, for example, parameter contrasts. In order to combine the desirable invariance properties of each method when modelling with GLMs, we exploit the Fisher orthogonality (Cox and Reid 1987) of the mean and dispersion parameters to formally derive a novel mixed adjustment approach that delivers estimators of the regression parameters with improved mean bias and estimators for any unknown dispersion parameter with improved median bias.

Examples and simulation studies for various response distributions are used to demonstrate that both methods for BR are effective in achieving their respective goals and improve upon maximum likelihood, even in extreme settings characterized by high-dimensional nuisance parameters. Particular focus is given on special cases, like estimation of odds ratios from logistic regression models and estimation of log odds ratios from multinomial baseline category models.

All methods and algorithms discussed in this paper are implemented in the brglm2 R package (Kosmidis 2018), which has been used for all numerical computations and simulation experiments (see Supplementary Material).

The remaining of the paper is structured as follows. Section 2 gives a brief introduction to estimation using IWLS and shows how IWLS can be readily adjusted to perform mean or median BR. In particular, Sects. 2.1 and 2.2 review known results of ML estimation and explicit mean bias correction in generalized linear models. These subsections are useful to set up the notation and allow the introduction of mean and median bias-reducing adjusted score functions in Sects. 2.3 and 2.4, respectively. Inferential procedures based on the bias-reduced estimators are discussed in Sect. 3. Section 4 motivates the need for and introduces the mixed adjustment strategy for GLMs with a dispersion parameter. All methods are then assessed and compared through case studies and simulation experiments in Sects. 5 and 6. Section 6 also discusses how multinomial logistic regression models can be easily estimated with all methods using the equivalent Poisson log-linear model. Section 7 concludes the paper with a short discussion and possible extensions.

## 2 Bias reduction and iteratively reweighted least squares

### 2.1 Iteratively reweighted least squares

The log-likelihood function for a GLM is $$\sum _{i = 1}^n \log f_{Y_i}(y_i; g^{-1}(\eta _i), \phi )$$, where $$g^{-1}(\cdot )$$ is the inverse of the link function. Suppressing the dependence of the various quantities on the model parameters and the data, the derivatives of the log-likelihood function with respect to the components of $${\beta }$$ and $$\phi$$ are

\begin{aligned} {s}_{{\beta }} = \frac{1}{\phi }{X}^T{W}{D}^{-1}({y}- {\mu }) \quad \text {and} \quad s_\phi = \frac{1}{2\phi ^2}\sum _{i = 1}^n (q_i - \rho _i),\nonumber \\ \end{aligned}
(1)

respectively, with $${y}= (y_1, \ldots , y_n)^\top$$, $${\mu }= (\mu _1, \ldots , \mu _n)^\top$$, $${W}= \mathrm{diag}\left\{ w_1, \ldots , w_n\right\}$$ and $${D}= \mathrm{diag}\left\{ d_1, \ldots , d_n\right\}$$, where $$w_i = m_i d_i^2/v_i$$ is the ith working weight, with $$d_i = d\mu _i/d\eta _i$$ and $$v_i = V(\mu _i)$$. Furthermore, $$q_i = -\,2 m_i \{y_i\theta _i - b(\theta _i) - c_1(y_i)\}$$ and $$\rho _i = m_i a'_i$$ are the ith deviance residual and its expectation, respectively, with $$a'_i = a'(-\,m_i/\phi )$$, where $$a'(u) = \hbox {d} a(u)/\hbox {d} u$$.

The ML estimators $${\hat{{\beta }}}$$ of $${\beta }$$ and $${\hat{\phi }}$$ of $$\phi$$ can be found by solution of the score equations $${s}_{{\beta }} = 0_p$$ and $$s_\phi = 0$$, where $$0_p$$ is a p-dimensional vector of zeros. Wedderburn (1976) derives necessary and sufficient conditions for the existence and uniqueness of the ML estimator of $${\hat{{\beta }}}$$. Given that the dispersion parameter $$\phi$$ appears in the expression for $${s}_{{\beta }}$$ in (1) only multiplicatively, the ML estimate of $${\beta }$$ can be computed without knowledge of the value of $$\phi$$. This fact is exploited in popular software like the glm.fit function in R (R Core Team 2018). The jth iteration of IWLS updates the current iterate $${\beta }^{(j)}$$ for $${\beta }$$ by solving the weighted least squares problem

\begin{aligned} \left( {X}^\top {W}^{(j)} {X}\right) ^{-1} {X}^\top {W}^{(j)}{z}^{(j)}\,, \end{aligned}
(2)

where the superscript (j) indicates evaluation at $${\beta }^{(j)}$$, and $${z}= (z_1, \ldots , z_n)^\top$$ is the vector of “working” variates with $$z_i = \eta _i + (y_i - \mu _i)/d_i$$ (Green 1984). Table 2 reports the working variates for well-used combinations of exponential family models and link functions. The updated $${\beta }$$ from the weighted least squares problem in (2) is equal to the updated $${\beta }$$ from the Fisher scoring step

\begin{aligned} {\beta }^{(j)} + \left\{ {i}_{{\beta }{\beta }}^{(j)}\right\} ^{-1} {s}_{{\beta }}^{(j)}\,, \end{aligned}

where $${i}_{{\beta }{\beta }}$$ is the $$({\beta },{\beta })$$ block of the expected information matrix about $${\beta }$$ and $$\phi$$

\begin{aligned} {i}= \left[ \begin{array}{cc} {i}_{{\beta }{\beta }} &{} {0}_p \\ {0}_p^\top &{} i_{\phi \phi } \end{array} \right] = \left[ \begin{array}{cc} \frac{1}{\phi } {X}^\top {W}{X}&{} {0}_p \\ {0}_p^\top &{} \frac{1}{2\phi ^4}\sum _{i = 1}^n m_i^2 a''_i \end{array} \right] \,, \end{aligned}
(3)

with $$a''_i = a''(-m_i/\phi )$$, where $$a''(u) = \hbox {d}^2 a(u)/\hbox {d}u^2$$.

### 2.2 Explicit mean bias reduction

Efron (1975) has shown that under the usual regularity conditions, the asymptotic mean bias of the ML estimator $${\hat{{\gamma }}}$$ for a general parametric model $$\mathcal {M}_{{\gamma }}$$ can be reduced by the explicit correction of $${\hat{{\gamma }}}$$ as $$\tilde{\gamma }= {\hat{{\gamma }}} - {b}_{{\gamma }}({\hat{{\gamma }}})$$, where $${b}_{{\gamma }} \equiv {b}_{{\gamma }}({\gamma })$$ is the first term in the expansion of the mean bias of $${\hat{{\gamma }}}$$. Kosmidis (2014a) provides a review of explicit and implicit methods for mean BR. The general form of $${b}_{{\gamma }}$$ is given in Cox and Snell (1968) in index notation and in Kosmidis and Firth (2010, Section 2) in matrix notation. For GLMs, $${b}_{{\beta }} = -\,{i}_{{\beta }{\beta }}^{-1} {A}_{{\beta }}^*$$ and $$b_\phi = -\,i_{\phi \phi }^{-1} A_\phi ^*$$ with

\begin{aligned} {A}_{{\beta }}^* = {X}^\top {W}{\xi }\quad \text {and} \quad A_\phi ^* = \frac{(p - 2)}{2\phi } + \frac{\sum _{i = 1}^n m_i^3 a'''_i}{2\phi ^2\sum _{i = 1}^n m_i^2 a''_i},\nonumber \\ \end{aligned}
(4)

where $${\xi }= (\xi _1, \ldots , \xi _n)^T$$ with $$\xi _i = h_id_i'/(2d_iw_i)$$ and $$d_i' = \hbox {d}^2\mu _i/\hbox {d}\eta _i^2$$, $$h_i$$ is the “hat” value for the ith observation, obtained as the ith diagonal element of the matrix $${H}= {X}({X}^\top {W}{X})^{-1} {X}^\top {W}$$, and $$a'''_i = a'''(-\,m_i/\phi )$$, with $$a'''(u) = \hbox {d}^3 a(u)/\hbox {d} u^3$$. The derivation of $$b_\phi$$ above is done using Kosmidis and Firth (2010, expressions (4.8) in Remark 3) to write $$b_\phi$$ in terms of the first term in the expansion of the bias of $$1/\hat{\phi }$$, which is given in Cordeiro and McCullagh (1991).

Note here that neither $$i_{\phi \phi }$$ nor $$A_\phi ^*$$ depend on $${\beta }$$, and hence, the bias-reduced estimator for $$\phi$$ can be computed by knowledge of $${\hat{\phi }}$$ only as

\begin{aligned} {\hat{\phi }} \left\{ 1 + {\hat{\phi }} \frac{\sum m_i^3 \hat{a}_i'''}{\left( \sum m_i^2 \hat{a}_i''\right) ^2} + {\hat{\phi }}^2 \frac{p - 2}{\sum m_i^2 \hat{a}_i''} \right\} , \end{aligned}

where $$\hat{a}_i''' = a'''(-m_i/{\hat{\phi }})$$. Some algebra gives that the bias-reduced estimator for $${\beta }$$ is

\begin{aligned} \left( {X}^\top \hat{{W}} {X}\right) ^{-1} {X}^\top \hat{{W}} \left( \hat{{z}} + \hat{\phi }\hat{{\xi }} \right) , \end{aligned}
(5)

where $$\hat{{B}}$$ denotes evaluation of $${B}$$ at the ML estimator. Equivalently, and as also noted in Cordeiro and McCullagh (1991), the explicit correction $${\hat{{\beta }}} - {b}_{{\beta }}({\hat{{\beta }}}, {\hat{\phi }})$$ can be performed by IWLS as in (2) up to convergence, and then making one extra step, where the working variate $${z}$$ is replaced by its adjusted version $${z}+ \phi {\xi }$$. Table 2 gives the quantity $$\phi {\xi }$$ for some well-used GLMs.

### 2.3 Mean bias-reducing adjusted score functions

Firth (1993) shows that the solution of the adjusted score equations

\begin{aligned} {s}_{{\beta }} + {A}_{{\beta }}^* = {0}_p \quad \text {and} \quad s_\phi + A_\phi ^* = 0 \end{aligned}
(6)

with $${A}_{{\beta }}^*$$ and $$A_\phi ^*$$ as in (4) result in estimators $${\beta }^*$$ and $$\phi ^*$$ with mean bias of smaller asymptotic order than the ML estimator.

A natural way to solve the adjusted score equations is through quasi-Fisher scoring (see Kosmidis and Firth 2010, for the corresponding quasi-Newton–Raphson iteration), where at the jth step the values for $${\beta }$$ and $$\phi$$ are updated as

\begin{aligned} {\beta }^{(j+1)}&\leftarrow {\beta }^{(j)} + \left\{ {i}_{{\beta }{\beta }}^{(j)}\right\} ^{-1} {s}_{{\beta }}^{(j)} - {b}_{{\beta }}^{(j)}\,, \nonumber \\ \phi ^{(j + 1)}&\leftarrow \phi ^{(j)} + \left\{ i_{\phi \phi }^{(j)}\right\} ^{-1}s_{\phi }^{(j)} - b_\phi ^{(j)}. \end{aligned}
(7)

The term “quasi-” here reflects the fact that the expectation of the negative second derivatives of the scores, instead of the adjusted scores, is used for the calculation of the step size. Setting $$\phi ^{(j + 1)} - \phi ^{(j)} = 0$$ in the above iteration shows that it has the required stationary point. Furthermore, if the starting values $${\beta }^{(0)}$$ and $$\phi ^{(0)}$$ for iteration (7) are the ML estimates, then $${\beta }^{(1)}$$ and $$\phi ^{(1)}$$ are the estimates from explicit BR, because $${s}_{{\beta }}^{(0)} = {0}_p$$ and $$s_{\phi }^{(0)} = 0$$. Figure 1 illustrates the quasi-Fisher scoring iterations for an one-parameter problem, starting from the ML estimate.

A similar calculation to that in Sect. 2.2 can be used to show that (7) can be written in terms of an IWLS step for $${\beta }$$ and an appropriate update for $$\phi$$. In particular,

\begin{aligned} {\beta }^{(j+1)} \leftarrow&\left( {X}^\top {W}^{(j)} {X}\right) ^{-1} {X}^\top {W}^{(j)} \left( {z}^{(j)} + \phi ^{(j)}{\xi }^{(j)} \right) \,,\nonumber \\ \phi ^{(j+1)} \leftarrow&\phi ^{(j)} \left\{ 1 + \phi ^{(j)}\frac{\sum \left( q_i^{(j)} - \rho _i^{(j)}\right) }{\sum m_i^2 a_i''^{(j)}}\right. \nonumber \\&\left. +\, \phi ^{(j)}\frac{\sum m_i^3 a_i'''^{(j)}}{\left( \sum m_i^2 a_i''^{(j)}\right) ^2} + \left( \phi ^{(j)}\right) ^2 \frac{p - 2}{\sum m_i^2a_i''^{(j)}} \right\} \,. \end{aligned}
(8)

Expression 8 makes apparent that, in contrast to ML, solving the mean bias-reducing adjusted score functions in GLMs with unknown dispersion parameter involves updating $${\beta }$$ and $$\phi$$ simultaneously. This is because $$b_{{\beta }}$$ generally depends on $$\phi$$.

Despite that the stationary point of the iterative scheme (8) is the mean BR estimates, there is no theoretical guarantee for its convergence for general GLMs. However, substantial empirical studies have shown no evidence of divergence, even in cases in which standard IWLS (2) fails to converge. Some of those empirical studies are presented in Sects. 4, 5 and 6 of the present paper.

### 2.4 Median bias-reducing adjusted score functions

Kenne Pagui et al. (2017) introduce a family of adjusted score functions whose solution has smaller median bias than the ML estimator. Specifically, the solution $${\gamma }^\dagger$$ of $${s}_{{\gamma }} + {A}^\dagger _{{\gamma }} = 0$$ is such that each of its components has probability 1 / 2 of underestimating the corresponding component of the parameter $${\gamma }$$ with an error of order $$O(n^{-3/2})$$, as opposed to the error of order $$O(n^{-1/2})$$ for $${\hat{{\gamma }}}$$. A useful property of the method is that it is invariant under component-wise monotone reparameterizations in terms of the improved median bias properties of the resulting estimators.

Some tedious but straightforward algebra starting from Kenne Pagui et al. (2017, expression (10)) gives that the median bias-reducing adjustments $${A}^\dagger _{{\beta }}$$ and $$A^\dagger _\phi$$ for GLMs have the form

\begin{aligned} {A}^\dagger _{{\beta }}= & {} {X}^\top {W}({\xi }+ {X}{u}) \quad \text {and} \quad \nonumber \\ A^\dagger _\phi= & {} \frac{p}{2\phi }+\frac{ \sum _{i = 1}^n m_i^3 a'''_i}{6\phi ^2\sum _{i = 1}^n m_i^2 a''_i}, \end{aligned}
(9)

where $${u}= (u_1, \ldots , u_p)^\top$$ with

\begin{aligned} u_j = [({X}^\top {W}{X})^{-1}]_{j}^\top {X}^\top \left[ \begin{array}{c} \tilde{h}_{j,1} \left\{ d_1 v'_1 / (6 v_1) - d'_1/(2 d_1)\right\} \\ \vdots \\ \tilde{h}_{j,n} \left\{ d_n v'_n / (6 v_n) - d'_n/(2 d_n)\right\} \end{array} \right] . \end{aligned}
(10)

In the above expressions, $$[{B}]_j$$ denotes the jth row of matrix $${B}$$ as a column vector, $$v'_i = \mathrm{dV} (\mu _i)/ \mathrm{d} \mu _{i}$$, and $$\tilde{h}_{j,i}$$ is the ith diagonal element of $${X}{K}_j {X}^T {W}$$, with

\begin{aligned} {K}_j = [({X}^\top {W}{X})^{-1}]_{j} [({X}^\top {W}{X})^{-1}]_{j}^\top / [({X}^\top {W}{X})^{-1}]_{jj}\,, \end{aligned}

and where $$[B]_{jj}$$ denotes the (jj)th element of a generic matrix B.

Similarly to the case of mean BR, the median bias-reducing adjusted score equations can be solved using quasi-Fisher scoring or equivalently IWLS, where at the jth iteration

\begin{aligned} {\beta }^{(j+1)}&\leftarrow \left( {X}^\top {W}^{(j)} {X}\right) ^{-1} {X}^\top {W}^{(j)} \left( {z}^{(j)} + \phi ^{(j)}{\xi }^{(j)} \right) \nonumber \\&\quad +\, \phi ^{(j)}{u}^{(j)}\,, \nonumber \\ \phi ^{(j+1)}&\leftarrow \phi ^{(j)} \left\{ 1 + \phi ^{(j)}\frac{\sum \left( q_i^{(j)} - \rho _i^{(j)}\right) }{\sum m_i^2 a_i''^{(j)}}\right. \nonumber \\&\quad \left. +\, \phi ^{(j)}\frac{\sum m_i^3 a_i'''^{(j)}}{3\left( \sum m_i^2 a_i''^{(j)}\right) ^2} + \left( \phi ^{(j)}\right) ^2 \frac{p}{\sum m_i^2a_i''^{(j)}} \right\} . \end{aligned}
(11)

Note here that the working variate for median BR is the one for mean BR plus the extra term $$\phi {X}{u}$$. Equivalently, and since the extra term is in the column space of $${X}$$, the median BR IWLS update for $${\beta }$$ consists of a mean BR update for $${\beta }$$ as in (8), and a translation of the result by $$\phi {u}$$. Figure 2 illustrates that procedure. The core quantities in the definition of u are $$d_i v'_i / (6 v_i) - d'_i/(2 d_i)$$ in expression (10), and Table 2 includes their expressions for some well-used GLMs.

Similarly to (8), there is no theoretical guarantee for the convergence of the iterative scheme (11) for general GLMs. However, even in this case, our extensive empirical studies have produced no evidence of divergence.

## 3 Inference with mean and median bias reduction

### 3.1 Wald-type inference by plug-in

According to the results in Firth (1993) and Kenne Pagui et al. (2017), both $${\theta }^*$$ and $${\theta }^\dagger$$ have the same asymptotic distribution as the ML estimator and hence are all asymptotically unbiased and efficient. Hence, the distribution of those estimators for finite samples can be approximated by a normal with mean $${\theta }$$ and variance–covariance matrix $$\{{i}({\theta })\}^{-1}$$, where $${i}({\theta })$$ is given in (3). The derivation of this result relies on the fact that both $${A}_{{\theta }}^*$$ and $${A}_{{\theta }}^\dagger$$ are of order O(1) and hence dominated by the score function as information increases.

The implication of the above results is that standard errors for the components of $${\theta }^*$$ and $${\theta }^\dagger$$ can be computed as for the ML estimator, using the square roots of the diagonal elements of $$\{{i}({\beta }^*, \phi ^*)\}^{-1}$$ and $$\{{i}({\beta }^\dagger , \phi ^\dagger )\}^{-1}$$, respectively. As a result, first-order inference like standard Wald tests and Wald-type confidence intervals and regions are constructed in a plug-in fashion, by replacing the ML estimates with the mean BR or median BR estimates in the usual procedures in standard software.

Of course, for finite samples, Wald-type procedures based on the use of ML, mean and median bias reduction will yield different results. Such differences will disappear as the samples size increases. Sect. 3.2 explores those differences in normal linear regression models.

### 3.2 Normal linear regression models

Consider a normal regression model with $$y_1,\ldots , y_n$$ realizations of independent random variables $$Y_1, \ldots , Y_n$$ where $$Y_i$$ has a $$N(\mu _i,\phi /m_i)$$$$(i=1,\ldots ,n)$$ with $$\mu _i=\eta _i= \sum _{t=1}^p \beta _t x_{it}$$. The adjustment terms $${A}_{{\beta }}^*$$ and $${A}_{{\beta }}^\dagger$$ are zero for this model. As a result, the ML, mean BR and median BR estimators of $${\beta }$$ coincide with the least squares estimator $$({X}^{\top }{M}{X})^{-1}{X}^{\top }{M}{y}$$, where $${M}= \mathrm{diag}\left\{ m_1, \ldots , m_n\right\}$$. On the other hand, the ML, mean BR and median BR estimators for $$\phi$$ are $${\hat{\phi }}=\sum _{i=1}^n (y_i-{\hat{\mu }}_i)^2/n$$, $$\phi ^*=\sum _{i=1}^n (y_i-{\hat{\mu }}_i)^2/(n-p)$$ and $$\phi ^\dagger =\sum _{i=1}^n (y_i-{\hat{\mu }}_i)^2/(n-p-2/3)$$.

The estimator $$\phi ^*$$ is mean unbiased for $$\phi$$, and for this reason, it is the default choice for estimating the precision parameter in normal linear regression models. On the other hand, and as shown by Theorem 3.1, the use of $$\phi ^\dagger$$ for Wald-type inference about $$\beta _j$$ based on asymptotic normality leads to inferences that are closer to the exact ones, based on the Student $$t_{n-p}$$ distribution, than when $$\phi ^*$$ is used, for all practically relevant values of $$n - p$$ and $$\alpha$$.

Let $$\hat{I}_{1-\alpha }=\{{\hat{\beta }}_j \pm z_{1-\alpha /2}\, (\kappa _{j}\, {\hat{\phi }})^{1/2}\}$$, $${I}_{1-\alpha }^*=\{{\hat{\beta }}_j \pm z_{1-\alpha /2}\, (\kappa _{j} \,\phi ^*)^{1/2}\}$$ and $${I}_{1-\alpha }^\dagger =\{{\hat{\beta }}_j \pm z_{1-\alpha /2}\, (\kappa _{j}\, \phi ^\dagger )^{1/2}\}$$ be the Wald-type confidence intervals for $$\beta _j$$ of nominal level $$1-\alpha$$, based on the asymptotic normal distribution of $${\hat{{\beta }}}$$, $${\beta }^*$$ and $${\beta }^\dagger$$, respectively, where $$z_\alpha$$ is the quantile of level $$\alpha$$ of the standard normal and $$\kappa _j = [({X}^\top {M}{X})^{-1}]_{jj}$$. Let also $$I^E_{1-\alpha }=\{{\hat{\beta }}_j \pm t_{n-p;1-\alpha /2} \,(\kappa _{j}\, \phi ^*)^{1/2}\}$$ be the confidence interval of exact level $$1-\alpha$$ for $$\beta _j$$, where $$t_{n - p;\alpha }$$ is the quantile of level $$\alpha$$ of the Student t distribution with $$n - p$$ degrees of freedom, and define $$\mathrm {Len}(I)$$ to be the length of interval I.

### Theorem 3.1

For $$n-p \ge 1$$ and $$\alpha \in (0,1)$$, $$\hat{I}_{1-\alpha } \subset I_{1-\alpha }^* \subset {I}_{1-\alpha }^E$$ and $$I_{1-\alpha }^* \subset I_{1-\alpha }^\dagger$$. Moreover, for $$n-p \ge 1$$ and $$0< \alpha < 0.35562$$, $$I_{1-\alpha }^\dagger \subset {I}_{1-\alpha }^E$$.

Finally, for $$n - p >1$$ and $$\alpha \in (0,1)$$

\begin{aligned} \left| \mathrm {Len}(I_{1-\alpha }^\dagger ) - \mathrm {Len}(I_{1-\alpha }^E)\right| < \left| \mathrm {Len}(I_{1-\alpha }^*) - \mathrm {Len}(I_{1-\alpha }^E)\right| . \end{aligned}

If $$n - p =1$$, the latter inequality holds for any $$0< \alpha < 0.62647$$.

The proof of Theorem 3.1 is given in Appendix.

Exact inferential solutions are not generally available for other GLMs with unknown dispersion parameter. It is therefore of interest to investigate whether the desirable behaviour of inference based on the median BR estimator, as demonstrated in Theorem 3.1 for the normal linear regression model, is preserved, at least approximately, in other models. Section 5.2 considers an example with gamma regression.

## 4 Mixed adjustments for dispersion models

In contrast to ML, mean BR is inherently not invariant to general transformations of the model parameters, in terms of its smaller asymptotic mean bias properties. This imposes a level of arbitrariness when carrying out inference on $${\beta }$$ in GLMs with unknown dispersion parameters, mainly because $$\phi$$ appears as a factor on the variance–covariance matrix $$\{{i}({\beta }, \phi )\}^{-1}$$ of the estimators. For example, standard errors for $${\beta }^*$$ will be different if the bias is reduced for $$\phi$$ or $$1/\phi$$. The mean BR estimates are exactly invariant under general affine transformations, which is useful in regressions that involve categorical covariates where invariance under parameter contrasts is, typically, required. On the other hand, median BR is invariant, in terms of smaller asymptotic median bias, under component-wise monotone transformations of the parameters, but it is not invariant under more general parameter transformations, like parameter contrasts.

In order to best exploit the invariance properties of each method, we propose the default use of a mixed adjustment that combines the mean bias-reducing adjusted score for $${\beta }$$ with the median bias-reducing adjusted score for $$\phi$$ by jointly solving

\begin{aligned} {s}_{{\beta }} + {A}_{{\beta }}^* = 0_p \quad \text {and} \quad s_\phi + A_\phi ^\dagger = 0\, \end{aligned}

with $${A}_{{\beta }}^*$$ and $$A_\phi ^\dagger$$ as in expressions (4) and (9), respectively. For GLMs with known $$\phi$$, like Poisson or Binomial models, the mixed adjustment results in mean BR. On the contrary, for the normal linear models of Sect. 3.2 the mixed adjustment results in median BR because $$A^*_\beta = A^\dagger _\beta =0_p$$.

For general GLMs with unknown $$\phi$$, the mixed adjustment provides the estimators $${\beta }^\ddagger$$ and $$\phi ^\ddagger$$, which are asymptotically equivalent to third order to $${\beta }^*$$ and $$\phi ^\dagger$$, respectively. The proof of this result is a direct consequence of the orthogonality (Cox and Reid 1987) between $${\beta }$$ and $$\phi$$ and makes use of the expansions in Appendix of Kenne Pagui et al. (2017). Specifically, parameter orthogonality implies that terms up to order $$O(n^{-1})$$ in the expansion of $${\beta }^\ddagger -{\beta }$$ are not affected by terms of order O(1) in $$s_\phi + A^\dagger _\phi$$. As a result, and up to order $$O(n^{-1})$$, the expansion of $${\beta }^\ddagger -{\beta }$$ is the same as that of $${\beta }^* - {\beta }$$. The same reasoning applies if we switch the roles of $${\beta }$$ and $$\phi$$, i.e. the expansion of $$\phi ^\ddagger -\phi$$ is the same to the expansion of $$\phi ^\dagger -\phi$$, up to order $$O(n^{-1})$$. Hence, $${\beta }^\ddagger$$ has the same mean bias properties as $${\beta }^*$$ and $$\phi ^\ddagger$$ has the same median bias properties as $$\phi ^\dagger$$. For this reason, we use the term mixed BR to refer to the solution of adjusted score functions resulting from the mixed adjustment.

In order to illustrate the stated invariance properties of the estimators coming from the mixed adjustment, we consider a gamma regression model with independent response random variables $$Y_1, \ldots , Y_{12}$$, where, conditionally on covariates $$s_{i}$$ and $$t_i$$, each $$Y_i$$ has a gamma distribution with mean $$\mu _i = \exp (\eta _i)$$ and variance $$\phi \mu _i^2$$. The predictor $$\eta _i$$ is a function of regression parameters and the covariates, $$s_i$$ is a categorical covariate with values L1, L2 and L3, and $$t_1, \ldots , t_{12}$$ are generated from an exponential distribution with rate 1. Consider the three alternative parameterizations in Table 3. The identities $$\beta _1 = \gamma _1$$, $$\beta _2 = \gamma _1 + \gamma _2$$ and $$\beta _3 = \gamma _1 + \gamma _3$$ follow directly.

We simulate 1000 independent response vectors from the parameter value $$(\beta _1, \beta _2, \beta _3, \beta _4, \phi )^\top$$$$=$$$$(-\,1, -\,0.5, 3, 0.2, 0.5)^\top$$ and estimate the three parameter vectors in Table 3 for each sample using the ML estimator, and the estimators resulting from the mean, median and mixed bias-reducing adjusted scores. The estimates for parameterizations I and III are used to estimate the probability $$P(|\tilde{\beta _2} - \tilde{\gamma _1} - \tilde{\gamma _2}| > \epsilon _1)$$, and those for parameterizations I and II are used to estimate the probability $$P(|\tilde{\phi } - \exp (\tilde{\zeta })| > \epsilon _2)$$ for various values of $$\epsilon _1$$ and $$\epsilon _2$$, using the various estimators in place of $$\tilde{\beta }_2$$, $$\tilde{\gamma }_1$$, $$\tilde{\gamma }_2$$, $$\tilde{\phi }$$ and $$\tilde{\zeta }$$. The results are displayed in Table 4. As expected, the probability $$P(|\tilde{\beta _2} - \tilde{\gamma _1} - \tilde{\gamma _2}| > \epsilon _1)$$ is zero for ML and mean BR, but not for median BR. Similarly, the probability $$P(|\tilde{\phi } - \exp (\tilde{\zeta })| > \epsilon _2)$$ is zero for ML and median BR, but not for mean BR. In contrast, the mixed adjustment strategy inherits the relevant properties of mean and median BR, and delivers estimators that are numerically invariant under linear contrasts of the mean regression parameters, and monotone transformations of the dispersion parameter.

Section 5.2 further evaluates the use of the mixed adjustment in the estimation of gamma regression models.

## 5 Illustrations and simulation studies

### 5.1 Case studies and simulation experiments

In this section, we present results from case studies and confirmatory simulation studies that provide empirical support to the ability of mean and median BR to achieve their corresponding goals, i.e. mean and median bias reduction, respectively. In particular, in Sect. 5.2 we consider gamma regression, in which we also evaluate the mixed adjustment strategy of Sect. 4, while in Sect. 5.3 we consider logistic regression, showing how both mean and median BR provide a practical solution to the occurrence of infinite ML estimates. Finally, Sect. 5.4 evaluates the performance of mean and median BR in a logistic regression setting characterized by the presence of many nuisance parameters. In this case, ML estimation and inference are known to be unreliable, while both mean and median BR practically reproduce the behaviour of estimation and inference based on the conditional likelihood, which, in this particular case, is the gold standard.

All numerical computations are performed in R using the brglm2 R package (Kosmidis 2018). The brglm2 R package provides the brglmFit method for the glm R function that implements mean and median BR for any GLM using the quasi-Fisher scoring iteration introduced in Sect. 2.

### 5.2 Gamma regression model for blood clotting times

The regression model for the clotting data in Example 1.1 is fitted, here, using the mean, median and mixed bias-reducing adjusted score functions of Sects. 2.3, 2.4 and 4, respectively. The estimates and the corresponding estimated standard errors are reported in Table 5. The estimates of regression parameters are practically the same for all methods. More marked differences between ML and the three adjusted score methods are noted in the estimates of the dispersion parameter. In particular, the estimates from the adjusted score methods result in notable inflation of the estimated standard errors for the regression parameters, with the median and mixed bias-reducing adjustments resulting in the largest inflation.

In order to assess the quality of the estimates in Table 5, the simulated data sets in Example 1.1 are used to estimate the bias, the root mean squared error, the percentage of underestimation, and the mean absolute error of the various estimators, and the coverage of nominally 95% Wald-type confidence intervals. Table 6 reports the results. A comparison with the results of ML in Table 1 shows that the ML, mean BR, median BR and mixed BR estimators of $$\beta _1, \ldots , \beta _4$$ have similar bias and variance properties. On the other hand, the mean BR estimator of the dispersion parameter almost fully compensates for the mean bias of the ML estimator, while median BR and mixed BR give almost exactly $$50\%$$ probability of underestimation. Furthermore, all BR methods deliver marked improvements in terms of empirical coverage over ML, and the confidence intervals based on the estimates from the median and mixed bias-reducing adjustments are behaving the best. Finally, all confidence intervals appear to be liberal in terms of coverage, most probably due to the small sample size and the need to estimate the dispersion parameter. Note here that the superior coverage when using estimates from median and mixed bias-reducing adjustments of the scores are similar to what is expected in the case of the normal linear model; see Sect. 3.2.

### 5.3 Logistic regression for infant birthweights

We consider a study of low birthweight using the data given in Hosmer and Lemeshow (2000, Table 2.1), which are also publicly available in the MASS R package. The focus here is on the 100 births for which the mother required no physician visits during the first trimester. The outcome of interest is a proxy of infant birthweight (1 if $$\ge 2500g$$ and 0 otherwise), whose expected value $$\mu _i$$ is modelled in terms of explanatory variables using a logistic regression model with $$\log \{\mu _i/(1-\mu _i)\}=\sum _{t=1}^7 \beta _t x_{it}$$, where $$x_{i1}=1$$, $$x_{i2}$$ and $$x_{i3}$$ are the age and race (1 if white, 0 otherwise) of the mother, respectively, $$x_{i4}$$ is the mother’s smoking status during pregnancy (1 if yes, 0 if no), $$x_{i5}$$ is a proxy of the history of premature labour (1 if any, 0 if none), $$x_{i6}$$ is history of hypertension (1 if yes, 0 if no) and $$x_{i7}$$ is the logarithm of the mother’s weight at her last menstrual period.

Table 7 gives the parameter estimates from ML, mean BR and median BR. Both mean BR and median BR deliver estimates that are shrunken versions of the corresponding ML estimates, with mean BR delivering the most shrinkage. This shrinkage translates to smaller estimated standard errors for the regression parameters. Kosmidis and Firth (2018) provide geometric insights for the shrinkage induced by mean BR in binary regression and prove that the mean BR estimates are always finite for full rank X.

The frequency properties of the resulting estimators are assessed by simulating 10,000 samples at the ML estimates in Table 7, with covariates fixed as in the observed sample, and re-estimating the model from each simulated sample. A total of 103 out of the 10,000 samples result in ML estimates with one or more infinite components due to data separation (Albert and Anderson 1984). The detection of infinite estimates was done prior to fitting the model using the linear programming algorithms in Konis (2007), as implemented in the detect_separation method of the brglm2 R package (Kosmidis 2018). The separated data sets were excluded when estimating the bias and coverage of Wald-type confidence intervals for the ML estimator. In contrast, the estimates from mean and median BR estimates were finite in all cases. For this reason, the corresponding summaries are based on all 10,000 samples.

Table 8 shows the results. Both mean BR and median BR have excellent performance in terms of mean bias and probability of underestimation, respectively. Table 8 also includes summaries for the estimators $${\hat{\psi }}_t = e^{{\hat{\beta }}_t}$$ , $$\psi _t^* = e^{\beta _t^*}$$ , $$\psi _t^\dagger = e^{\beta _t^\dagger }$$ of the odds ratios $$\psi _t = e^{\beta _t}$$. Estimators of $$\psi _t$$ with improved bias properties have also been recently investigated in Lyles et al. (2012). The invariance properties of ML and median BR guarantee that $${\hat{{\psi }}}$$ and $${\psi }^\dagger$$ are the ML and median BR estimators of $${\psi }$$, respectively. As a result, $$\psi _t^\dagger$$ preserves its improved median bias properties. On the other hand, $$\psi _t^*$$ is not, formally, the mean BR estimator of $${\psi }$$. Nevertheless, it behaves best in terms of bias. The improved estimation and inference provided by mean and median BR become even more evident in more extreme modelling settings, as shown by the example in the next section.

### 5.4 Logistic regression for the link between sterility and abortion

We consider data from a retrospective, matched case–control study on the role of induced and spontaneous abortions in the aetiology of secondary sterility (Trichopoulos et al. 1976). The data are available in the infert data frame from the datasets R package. The two healthy control subjects from the same hospital were matched to each of 83 patients according to their age, parity and level of education. One of the cases could be matched with only one control; thus, there are a total of 248 records. Each record also provides the number of induced and spontaneous abortions, taking values 0, 1 and 2 or more.

As is meaningful for retrospective case–control studies (see, for example, McCullagh and Nelder 1989, Sect. 4.3.3), we consider a logistic regression model with one fixed effect for each matched combination of cases and controls, and the number of induced and spontaneous abortions as the two categorical covariates of interest. In particular, the log odds of secondary sterility for the jth individual in the ith case–control combination are assumed to be

\begin{aligned}&\lambda _i + \beta _1 x_{ij} + \beta _2 x'_{ij} + \beta _3 z_{ij} +\, \beta _4 z'_{ij} \nonumber \\&\quad (i = 1, \ldots , 83; j = 1, \ldots , n_i), \end{aligned}
(12)

where $$n_i \in \{2, 3\}$$, $$x_{ij}$$, $$x'_{ij}$$ are indicator variables of 1 and 2 or more spontaneous abortions, respectively, and $$z_{ij}$$ and $$z'_{ij}$$ are indicator variables of 1 and 2 or more induced abortions, respectively. The parameters $$\lambda _1, \ldots , \lambda _{83}$$ are the fixed effects for each matched combination of cases and controls, and the parameters of interest are $$\beta _1, \ldots , \beta _4$$.

Due to the many nuisance parameters, the maximum likelihood estimators of $$\beta _1, \ldots , \beta _4$$ are highly biased leading to misleading inference. A solution that is specific to logistic regression is to eliminate the fixed effects by conditioning on their sufficient statistics and maximize the conditional likelihood (CL). This can be done, for example, using the clogit function in the survival R package. As shown in Table 9, both mean and median BR give estimates that are close to the maximum CL estimates, practically removing all the bias from the ML estimates, and resulting also in a correction for the estimated standard errors.

This desirable behaviour of mean BR and median BR is in line with published theoretical results in stratified settings with nuisance parameters. In particular, Lunardon (2018) has recently shown that inferences based on mean BR in stratified settings with strata-specific nuisance parameters are valid under the same conditions for the validity of inference (Sartori 2003) based on modified profile likelihoods (see, for example, Barndorff-Nielsen 1983; Cox and Reid 1987; McCullagh and Tibshirani 1990; Severini 1998). The same equivalence is shown for median BR in Kenne Pagui et al. (2017).

The advantage of mean and median BR over maximum CL is their generality of application. As is shown in Table 2 mean and median BR can be used in models where a sufficient statistic does not exist, and hence, direct elimination of the nuisance parameters is not possible. One such example is probit regression, which is typically the default choice in many econometric applications stemming out from prospective studies. The further algorithmic simplicity for mean and median BR makes them also competitive to the various modified profile likelihoods.

## 6 Multinomial logistic regression

### 6.1 The Poisson trick

Suppose that $${y}_1, \ldots , {y}_n$$ are k-vectors of counts with $$\sum _{j = 1}^k y_{ij} = m_i$$ and that $${x}_1, \ldots , {x}_n$$ are corresponding p-vectors of explanatory variables. The multinomial logistic regression model assumes that conditionally on $${x}_1, \ldots , {x}_n$$ the vectors of counts $${y}_1, \ldots , {y}_n$$ are realizations of independent multinomial vectors, with $$y_i=(y_{i1},\ldots ,y_{ik})$$, where the probabilities for the ith multinomial vector satisfy

\begin{aligned} \log \frac{\pi _{ij}}{\pi _{ik}} = {x}_i^\top {\gamma }_j \quad (j = 1, \ldots , k - 1), \end{aligned}
(13)

with $$\sum _{j = 1}^k \pi _{ij} = 1$$. Typically, $$x_{i1} = 1$$ for every $$i \in \{1,\ldots , n\}$$. The above model is also known as the baseline category logit (see, for example, Agresti 2002, Sect. 7.1) because it uses one of the multinomial categories as a baseline for the definition of the log odds. Expression (13) has the kth category as baseline, but this is without loss of generality since any other log odds can be computed using simple contrasts of the parameter vectors $${\gamma }_1, \ldots , {\gamma }_{k-1}$$.

Maximum likelihood estimation can be done either by direct maximization of the multinomial log-likelihood for (13) or using maximum likelihood for an equivalent Poisson log-linear model. Specifically, if $$y_{11}, \ldots , y_{nk}$$ are realizations of independent Poisson random variables with means $$\mu _{11}, \ldots , \mu _{nk}$$, where

\begin{aligned} \log \mu _{ij}&= \lambda _i + {x}_i^\top {\gamma }_j \quad (j = 1, \ldots , k - 1)\,, \nonumber \\ \log \mu _{ik}&= \lambda _i\, , \end{aligned}
(14)

then the score equations for $$\lambda _i$$ are $$m_i = \sum _{j = 1}^k \mu _{ij}$$, forcing the Poisson means to add up to the multinomial totals and the maximum likelihood estimates for $${\gamma }_1, \ldots , {\gamma }_{k-1}$$ to be exactly those that result from maximizing the multinomial likelihood for model (13) directly.

Kosmidis and Firth (2011) proved that the equivalence of the multinomial logistic regression model (13) and the Poisson log-linear model (14) extends to the mean BR estimates of $${\gamma }_1, \ldots , {\gamma }_{k-1}$$, if at each step of the iterative procedure for solving the adjusted score equations, the current values of the Poisson expectations $$\mu _{i1}, \ldots , \mu _{ik}$$ are rescaled to sum up to the corresponding multinomial totals. Specifically, the results in Kosmidis and Firth (2011) suggest to prefix the IWLS update in (8) for the Poisson log-linear model (14) with the extra step

\begin{aligned} \bar{\mu }_{is}^{(j)} \leftarrow m_{is} \frac{\mu _{is}^{(j)}}{\sum _{t = 1}^k\mu _{it}^{(j)}} \quad (i = 1,\ldots ,n; s = 1,\ldots , k) \end{aligned}

that rescales the Poisson means to sum to the multinomial totals. Then, W and the ML and mean BR quantities in the last row of Table 2 are computed using $$\bar{\mu }_{is}^{(j)}$$ instead of $$\mu _{is}^{(j)}$$.

The same argument applies the case of median BR. Given that the extra term in the IWLS update for median bias reduction in (11) depends on the parameters only through the response means, the same extra step of rescaling the Poisson means before the IWLS update of the parameters will result in an iteration that delivers the median BR estimates of the multinomial logistic regression model using the equivalent Poisson log-linear model.

### 6.2 Invariance properties

The mean BR estimator is invariant under general affine transformations of the parameters, and hence, direct contrasts result in mean BR estimators for any other baseline category for the response and any reference category in the covariates, without refitting the model. This is a particularly useful guarantee when modelling with baseline category models. In contrast, a direct transformation of the median BR estimates with baseline category k or a specific set of contrasts for the covariates is not guaranteed to result in median BR estimates for other baseline categories or contrasts in general.

### 6.3 Primary food choices of alligators

In order to investigate the extent that non-invariance impacts estimation and inference, we consider the data on food choice of alligators analysed in Agresti (2002, Sect. 7.1.2). The data come from a study of factors influencing the primary food choice of alligators. The observations are 219 alligators captured in four lakes in Florida. The nominal response variable is the primary food type, in volume, found in an alligator’s stomach, which has five categories (fish, invertebrate, reptile, bird and other). The data set classifies the primary food choice according to the lake of capture (Hancock, Oklawaha, Trafford, George), gender (male and female) and size of the alligator ($$\le 2.3$$ m long, $$>2.3$$ m long).

Let $$s=1$$ for alligator size $$> 2.3$$ metres and 0 otherwise, and let $$z^H, z^O, z^T, z^G$$ be indicator variables for the lakes; for instance, $$z^H=1$$ for alligators on the lake Hancock and 0 otherwise. A possible model for the probabilities of food choice is

\begin{aligned} \log (\pi _{ic}/\pi _{i1})= & {} \gamma _{c1} + \gamma _{c2}s_i+\gamma _{c3}z^O_i\nonumber \\&+\,\gamma _{c4}z^T_i+\gamma _{c5}z^G_i \quad (c=2,3,4,5)\,, \end{aligned}
(15)

where $$\pi _{ic}$$ is the probability for category c, with values corresponding to fish ($$c = 1$$), invertebrate ($$c = 2$$), reptile ($$c = 3$$), bird ($$c = 4$$) and other ($$c = 5$$). Model (15) is based on the choice of contrasts that would be selected by default in R. In order to investigate the effects of lack of invariance of median bias reduction, the set of contrasts used in Agresti (2002, Section 7.1.2) is considered where George is the reference lake and $$> 2.3$$ is the reference alligator size. These choices result in writing the food choice log odds as

\begin{aligned} \log (\pi _{ic}/\pi _{i1})= & {} \gamma _{c1}^{\prime } + \gamma _{c2}^{\prime }s_i^{\prime }+\gamma _{c3}^{\prime }z^H_i\nonumber \\&+\,\gamma _{c4}^{\prime }z^O_i+\gamma _{j5}^{\prime }z^T_i \quad (c=2,3,4,5), \end{aligned}
(16)

where $$s^{\prime }=1$$ for alligator size $$\le 2.3$$ metres and 0 otherwise. The coefficients in the linear predictors of (15) and (16) are related as $$\gamma _{c1}=\gamma _{c1}^{\prime }+\gamma _{c2}^{\prime }+ \gamma _{c3}^{\prime }$$, $$\gamma _{c2}=-\gamma _{c2}^{\prime }$$, $$\gamma _{c3}=\gamma _{c4}^{\prime }-\gamma _{c3}^{\prime }$$, $$\gamma _{c4}=\gamma _{c5}^{\prime }-\gamma _{c3}^{\prime }$$ and $$\gamma _{c5}=-\gamma _{c3}^{\prime }$$.

Table 10 gives the ML, mean BR and median BR estimates, along with the corresponding estimated standard errors of the coefficients of model (15). Table 10 shows also results of median $$\hbox {BR}_{{\gamma }^{\prime }}$$, which correspond to the median BR estimates of $${\gamma }^{\prime }$$ transformed in the $${\gamma }$$ parameterization. As in logistic regression, the mean and median BR estimates are shrunken relative to the maximum likelihood ones with a corresponding shrinkage effect on the estimated standard errors.

The median BR and median $$\hbox {BR}_{{\gamma }^{\prime }}$$ estimates are almost the same, indicating that median BR, in this particular setting, is not affected by its lack of invariance under linear contrasts. The differences between the three methods are more notable when the observed counts are divided by two, as given in Table 11. In this case, data separation results in two of the ML estimates being infinite. This can generally happen with positive probability when data are sparse or when there are large covariate effects (Albert and Anderson 1984). As is the case for logistic regression (see Sect. 5.3), both mean and median BR deliver finite estimates for all parameters. The finiteness of the mean BR estimates has also been observed in Bull et al. (2002).

In order to better assess the properties of the estimators considered in Tables 10 and 11, we designed a simulation study where the multinomial totals for each covariate setting in the alligator food choice data set are progressively increased as a fraction of their observed values. Specifically, we consider the sets of multinomial totals $$\{r m_1, \ldots , r m_n\}$$ for $$r \in \{0.5, 0.75, 1, 1.25, 1.5, 1.75, 2, 3, 4, 5\}$$, where $$m_i$$$$(i = 1, \ldots , n)$$ is the observed multinomial total for the ith combination of covariate values. For each value of r, we simulate 10,000 data sets from the ML fit of model (15) given in Table 10 and then compare the mean BR, median BR and median $$\hbox {BR}_{{\gamma }^{\prime }}$$ estimators in terms of relative bias and percentage of underestimation. The ML estimator is not considered in the comparison because the probability of infinite estimates is very high, ranging from 1.3% for $$r = 5$$ up to 76.4% for $$r = 0.5$$. In contrast, mean BR and median BR produced finite estimates for all data sets and r values considered.

Figures 3 and 4 show the relative bias and the percentage of underestimation, respectively, for each parameter as a function of r. Overall, mean BR is preferable in terms of mean bias, while median BR achieves better median centring for all the parameters. We note that even median $$\hbox {BR}_{{\gamma }^{\prime }}$$ has bias and probabilities of underestimation very close to those obtained directly under the $${\gamma }$$ parameterization. This confirms the indications from the observed data that, even if not granted by the theory, median BR is close to invariant under contrasts in the current model setting. As expected, the frequency properties of the three estimators converge to what we expect from standard ML asymptotics as r increases. In particular, the bias converges to 0 and the percentage of underestimation to 50%.

## 7 Discussion

Fisher orthogonality (Cox and Reid 1987) of the mean and dispersion parameters dictates that the mixed approach to bias reduction is valid also for generalized linear models with dispersion covariates in Smyth (1989), and that estimation can be done by direct generalization of the IWLS iterations in (5) and (11), for mean and median bias reduction, respectively.

Inference and model comparison has been based on Wald-type statistics. For special models, it is possible to form penalized likelihood ratio statistics based on the penalized log-likelihood that corresponds to the adjusted scores. A prominent example is logistic regression where the mean bias-reducing adjusted score is the gradient of the log-likelihood penalized by the logarithm of the Jeffreys’ prior (see Heinze and Schemper 2002, where the profiles of the penalized log-likelihood are used for inference). In that case, the estimator from mean BR coincides with the mode of the posterior distribution obtained using the Jeffreys’ prior (see also Ibrahim and Laud 1991). The same happens for Poisson log-linear models and for multinomial baseline category models. Even when a penalized log-likelihood corresponding to adjusted scores is not available (see Theorem 1 in Kosmidis and Firth 2009, for necessary and sufficient conditions for the existence of mean bias-reducing penalized likelihoods for generalized linear models), the adjustments to the score can, however, be seen as model-based penalties to the inferential quantities for maximum likelihood. In this sense, the adjustments introduce some implicit regularization to the estimation problem, which is just enough to achieve mean or median BR.

In this framework, a general alternative to Wald-type statistics is score-type statistics with known asymptotic distributions, which can be readily defined as in Lindsay and Qu (2003). Let $$({\beta }^\top , \phi )^\top = ({\psi }^\top , {\lambda }^\top )^\top$$, with $$\dim ({\psi }) = p_1$$ and $$\dim ({\lambda })= p - p_1$$, $${i}^{{\psi }{\psi }}({\psi }, {\lambda })$$ be a $$p_1 \times p_1$$ matrix collecting the rows and columns of $$\{{i}({\psi }, {\lambda })\}^{-1}$$ corresponding to $${\psi }$$, and $${\lambda }_{{\psi }}^*$$ the estimator of $${\lambda }$$ resulting from the solution of the mean bias-reducing adjusted score equations on $${\lambda }$$ for fixed $${\psi }$$. Since the scores have an asymptotic normal distribution with mean zero and variance–covariance matrix $${i}({\psi }, {\lambda })$$ and the mean bias-reducing adjustment is of order O(1),

\begin{aligned}&\{{s}_{{\psi }}({\psi }, {\lambda }_{{\psi }}^*) + {A}^*_{{\psi }}({\psi }, {\lambda }_{{\psi }}^*)\}^\top {i}^{{\psi }{\psi }}({\psi }, {\lambda }_{{\psi }}^*) \nonumber \\&\quad \left\{ {s}_{{\psi }}({\psi }, {\lambda }_{{\psi }}^*) + {A}^*_{{\psi }}({\psi }, {\lambda }_{{\psi }}^*) \right\} \end{aligned}
(17)

has an asymptotic null $$\chi ^2_{p_1}$$ distribution. The same result holds for median BR, by replacing $${\lambda }_{{\psi }}^*$$ and $${A}_{{\psi }}^*$$ with $${\lambda }_{{\psi }}^\dagger$$ and $${A}_{{\psi }}^\dagger$$. The adjusted score statistic can then be used for constructing confidence intervals and regions and testing hypotheses on any set of parameters of the generalized linear models, including constructing tables similar to analysis of deviance tables for maximum likelihood.

Finally, as is illustrated in the example of Sect. 5.4 and shown in Lunardon (2018) and Kenne Pagui et al. (2017), mean BR and median BR can be particularly effective for inference about a low-dimensional parameter of interest in the presence of high-dimensional nuisance parameters, while providing, at the same time, improved estimates of the nuisance parameters.

## 8 Supplementary material

The supplementary material includes R code and a report to fully reproduce all numerical results and figures in the paper.