# Identification and Forecasting in Mortality Models

Authors: Bent Nielsen; Jens P. Nielsen
Journal: The Scientific World Journal
 (2014)

---

## Abstract

Mortality models often have inbuilt identification issues challenging the statistician. The statistician can choose to work with well-defined freely varying parameters, derived as maximal invariants in this paper, or with ad hoc identified parameters which at first glance seem more
intuitive, but which can introduce a number of unnecessary challenges. In this paper we describe the methodological advantages from using the maximal
invariant parameterisation and we go through the extra methodological challenges a statistician has to deal with when insisting on working with ad
hoc identifications. These challenges are broadly similar in frequentist and in Bayesian setups. We also go through a number of examples from the
literature where ad hoc identifications have been preferred in the statistical analyses.


---

## Body

## 1. Introduction

Mortality models are commonly used in a wide range of fields such as actuarial sciences, epidemiology, and sociology. They are often used in important decisions such as how to deal with unisex legislation in the pension industry; see Ornelas et al. [1] and Jarner and Kryger [2]. However, such models do often have inbuilt identification issues stemming from overparametrisation. While identification issues are omnipresent in statistical modelling, this paper focuses on mortality modelling, where estimated parameters are treated as time series and extrapolated to give forecasts of future mortality. The underlying theme of this paper is to provide strategies of avoiding arbitrariness resulting from the identification process. We suggest two ways forward. First, we can reparametrise the model in terms of a freely varying parameter, which therefore has to be of lower dimension than the original parameter. Secondly, we can work with an identified version of the original parameter as long as we keep track of the consequences of the identification choice. That way we ensure that two researchers making different identification choices get the same statistical inferences and forecasts.A simple example is the age-period model for an age-period array of mortality rates. It is well-known that the levels of the age- and period-effects cannot be determined from the likelihood representing the overparametrisation of the model. When the estimated age- and period-effects are treated as time series and subjected to plotting and extrapolation, then our approach ensures that the statistical analysis is the same for two researchers identifying the above model in two different ways. Whereas this issue is relatively simple for the age-period model, identification becomes more tricky for complicated models such as the age-period-cohort model and the model of Lee and Carter [3], let alone two-sample situations.Mortality models are built as a combination of age, period, and cohort-effects, but the likelihood only varies with a surjective function of these time effects. The time effects can be divided into two parts. One part that moves the likelihood function and another part which does not induce variation in the likelihood function. We will argue that all inferences and forecasts should be concerned primarily with the part of the parameter that moves the likelihood function. This does not preclude the researcher from working with the time effects, but it gives some limitations on what can be done. This is important because the motivation and the intuition of mortality models typically originate in the time effects. For instance, in the context of an age-period-cohort model linear trends cannot be identified so time series plots of the time effects need to be invariant to linear trends and extrapolations of time effects must preserve the arbitrary linear trend in the time effects. This applies regardless of whether the identification issue is dealt with in a frequentist manner or by Bayesian methods.To formalise the discussion slightly return to the age-period example. Denote the predictor for the age-period data array byμ. The age-period model then determines how the predictor μ varies with a vector θ summarising age and period effects. That vector is split into two components ξ and λ so that the predictor only depends on θ through ξ but not on λ which cannot be identified by statistical analysis. In the age-period example ξ could reflect the contrasts and the overall level of the predictor μ, whereas λ reflects the level of the age effect. The more principled solution is then to work exclusively with ξ and simply consider θ as a motivation rather than the objective of the analysis. Another solution is to ad hoc identify λ based on a notion of mathematical convenience or based on a particular purpose given the substantive context.Once an ad hoc identification ofλ is chosen the identification problem appears to go away, because the likelihood analysis can now go through. The reason is that the variation of θ is now reduced to the variation of ξ precisely because λ is fixed. Suppose two researchers choose the same likelihood and the same parametrisation of ξ but different ad hoc identifications λ
† and λ
‡. Which of their conclusions will be the same and which will be different? As the likelihood only depends on ξ the fits of the two researchers will be identical. But differences might arise if the statistical inference or forecasting or any other statistical analysis involves λ in some way.Indeed, with many extrapolation methods forecasts will be invariant to the choice ofλ. But, there will also be extrapolation methods where this is not the case. Examples arise in the age-period-cohort model, where linear trends have to be handled with care.We will start by analysing linearly parametrised models at a rather general level. We do this with two aspects in mind. First, we need to step back to a point in the analysis before ad hoc identification is made. Secondly, we also want to avoid the discussion of how to chooseξ and λ, which tend to be specific to the mortality model in question. Working at the general level we can focus on the mappings between different parametrisations and the invariance properties coming from these mappings. It is then seen that the parameter ξ arises as a maximal invariant. The general setting also allows the formulation of a series of results discussing different types of ad hoc identification, first in a frequentist fashion and then in a Bayesian fashion.Subsequently, we will consider the age-period-cohort model in detail, both for one- and two-sample situations. Using the general results it becomes easier to see that a number of popular methods inadvertently include features that are not invariant to ad hoc identification. These include the “intrinsic estimator” advocated by Yang et al. [4], the “mixed model approach” by Yang and Land [5], the Bayesian approach by Berzuini and Clayton [6], and the two-sample analysis by Riebler and Held [7]. Finally, we consider the nonlinearly parametrised model of Lee and Carter [3]. The nonlinearity gives a further complication since the mapping from the time effects to the mortality predictor is nondifferentiable. As it turns out the mortality predictor varies in a smooth space, so the nondifferentiability is avoided by working directly with the mortality predictor instead of the original time effects. Instead, a Lee-Carter application should consider whether a certain matrix has rank of unity or zero. Apart from that the analysis is similar to that of linearly parametrised models. Likewise a theory is given for two-sample situations.Throughout the paper our concern rests exclusively with the identification problem and the consequences of ad hoc identification for estimation, plots, inference, and forecasting. In practice, important additional concerns are how to choose appropriate models and forecasting methods. We would like to refer to Girosi and King [8], Pitacco et al. [9] for general discussions of these issues, and also to Kuang et al. [10] and Coelho and Nunes [11] for discussions of forecast methods in the light of structural breaks. Instead, the aim of the paper is to present an overall framework that can help streamlining the identification discussion that has appeared in so many papers in so many fields over so many years.Section2 of this paper considers standard linear statistical models, which lend themselves to a relative straightforward analysis based on linear algebra. Any ad hoc identification splits the time effect into two components. The first component is an arbitrary component, which is not needed for the identification of the likelihood. The other component is necessary and sufficient to identify the model and hence sufficient for statistical analysis. In Section 3 it is outlined how to analyze the statistical model when the latter component is ad hoc identified. It is argued that this can cause difficulties for estimation, interpretation, and forecast. In Section 4 it is shown that Bayesian analysis shares the same challenges as the frequentist approach. In Sections 5 and 6 we study the two particular examples: the omnipresent age-period-cohort and Lee-Carter mortality models. All proofs are collected in the Appendix.


## 2. Statistical Models with Linear Parametrisations

In this section we present the identification problem in a linear framework. The problem is solved by analysing the mapping from the original time effect to the predictor which, in turn, leads to standard statistical analysis. In Section6 we show how these ideas transfer to a nonlinear context. This contrasts with Section 3 in which we illustrate the analytical challenges and inconveniences arising from ad hoc identification.In Section2.1 we present the overparametrized linear model for the mortality predictor. The identification problem is defined in Section 2.2 via the likelihood. In an overparametrized linear model two different parameters might produce the same likelihood. In Section 2.3 we analyze the mapping from the overparametrised parameter to the predictor. This mapping enables us to split the overparametrised parameter into two. One arbitrary parameter and one parameter identify the model without being overparametrised. This latter parameter is shown to be a maximal invariant parameter. In Section 2.4 it is demonstrated how any statistical analysis can be based on this maximal invariant parameter alone. In particular we comment that visual data representations, hypothesis testing, and forecasting are simple and well defined. This in turn leads to standard statistical analysis.The analysis of the linearly parametrised involves projections on linear or affine spaces and on their orthogonal complements. It is therefore convenient to introduce the following notation. A matrixm has full column rank if m
′
m is invertible. In this case the orthogonal complement m
⊥ is a matrix so m
⊥
′
m
=
0 and (
m
,
m
⊥
) is invertible. Thus, when m itself is invertible then m
⊥ is the empty matrix. It is not difficult to calculate m
⊥ in practise, an explicit construction of m
⊥ follows from a singular value decomposition of m
m
′, choosing m
⊥ as the eigenvectors associated with the zero eigenvalues. Moreover, let m
¯
=
m
(
m
′
m
)
-
1 so that m
¯
′
m is the identity matrix, while m
¯
⊥
=
m
⊥
(
m
⊥
′
m
⊥
)
-
1.


### 2.1. The Model

Think of the time effectθ as our preferred intuitive, but unidentified parameter, and think of the predictor μ as some function of θ specifying the model at hand. In a Poisson type model, where the mean specifies the distribution, μ could be the log of that mean. Such Poisson models are omnipresent in mortality models. We will often think of θ as containing some time effects. Often forecasting is carried out simply by isolating and extrapolating such a time effect.Consider a data vectorY of dimension n. This could, for instance, be the vector consisting of the stacked mortality rates for a rectangular age-period array of dimension I
×
J in which case n
=
I
J. The statistical model for Y could be a generalized linear model. This involves an appropriately chosen distribution and a link function, which links the expected mortality rate to an n-dimensional predictor, which is denoted by μ. Taken together this defines a likelihood function L
(
μ
;
Y
).The model for the predictorμ is constructed in terms of, for instance, age, period, and cohort time effects. These time effects are summarized in a vector θ, which is of dimension q
<
n. Therefore μ is a surjective function of θ. For the moment the specification of the predictor is assumed linear so that
(1)
μ
=
D
θ
for
θ
∈
Θ
=
R
q
,
for some design matrix D
∈
R
n
×
q. We refer to this specification as the mortality model, while the space Θ is the time effect space. The time effect space is chosen as an unrestricted real space in accordance with the starting point of most mortality analyses.The parameter space for the likelihood function and therefore for the statistical model is given by the range of variation for the predictorμ; that is,
(2)
M
=
(
μ
∈
R
n
:
μ
=
D
θ
for
θ
∈
Θ
=
R
q
)
.
The likelihood function is assumed uniquely identified on this space in the sense that for all pairs of predictors so μ
†
≠
μ
‡ then the likelihood of μ
†, μ
‡ differ; that is,
(3)
L
(
μ
†
;
Y
)
≠
L
(
μ
‡
;
Y
)
,
for Y in a set with positive probability.


### 2.2. The Identification Problem

The identification problem of mortality models arises when the mapping from the time effect spaceΘ to the parameter space M is surjective but not injective. With a linear parametrisation this arises when the design matrix D has reduced column rank p
<
q so D
′
D is singular. In this situation there exists time effects θ
†
≠
θ
‡ with the same likelihood:
(4)
L
(
D
θ
†
;
Y
)
=
L
(
D
θ
‡
;
Y
)
,
for all data Y. Then the time effect space Θ is not useful as parameter space for the statistical model.


### 2.3. Analysing the Mappingθ
↦
μ

When analysing the mapping from our intuitively preferred parametrisationθ into the linear predictor μ, we will be able to rewrite θ as a sum of two components: one is a function of the predictor and the other is the arbitrary part varying with θ, but not with the predictor. We provide two methods for analysis.The first method is to find a basisX
∈
R
n
×
p with full column rank
⁡
p for the design D. The design matrix of the mortality model can then be expressed as D
=
X
A
′ for some matrix A
∈
R
q
×
p with full column rank
⁡
p. Introduce a new p-dimensional parameter:
(5)
ξ
=
A
′
θ
.
The parameter space M can then be written more parsimoniously as
(6)
M
=
(
μ
∈
R
n
:
μ
=
X
ξ
for
ξ
∈
R
p
)
.
The mapping from ξ to μ is bijective, so the statistical model can just as well be parametrised in terms of ξ
∈
Ξ
=
R
p.Alternatively, the identification problem can be expressed through an invariance argument. This argument relates to the parameterization but resembles the classical invariance argument for reduction of data; see Cox and Hinkley [12, page 157]. With a linear parametrisation the argument involves the orthogonal complement to the matrix A. That is a matrix A
⊥
∈
R
q
×
(
q
-
p
) which has the properties that A
⊥
′
A
=
0 and that (
A
,
A
⊥
) is invertible. The mortality model (1) is defined by the mapping
(7)
θ
⟼
μ
=
D
θ
=
X
A
′
θ
,
from Θ
=
R
q to M. This mapping is surjective in that two different values of θ may result in the same μ and therefore the same likelihood. These equivalence classes in the time effect space can be described by the group of transformations
(8)
g
:
θ
⟼
θ
+
A
⊥
ζ
,
acting on Θ for arbitrary ζ
∈
R
q
-
p. Indeed, it holds that θ and g
(
θ
) will result in the same μ. The mapping (7) is therefore invariant to the group g. We will argue that the parameter ξ
=
A
′
θ is a maximal invariant to the group g acting on Θ, which provides a link with (6). It has to be argued that for any θ
†, θ
‡ so that ξ
†
=
A
′
θ
† equals ξ
‡
=
A
′
θ
‡ then θ
‡
=
g
(
θ
†
), see Cox and Hinkley [12, page 159]. For this argument use the orthogonal projection identity to write
(9)
θ
=
A
(
A
′
A
)
-
1
ξ
+
A
⊥
(
A
⊥
′
A
⊥
)
-
1
φ
;
for unique ξ
=
A
′
θ and φ
=
A
⊥
′
θ. Thus, if A
′
θ
‡
=
A
′
θ
† then θ
‡
=
g
(
θ
†
) with ζ
=
φ
‡
-
φ
†
=
A
⊥
′
(
θ
‡
-
θ
†
).In applications it can be difficult to find a basisX for the design D. It can be easier to find a group g and hence A
⊥ and then use this information to construct A and a candidate basis X
=
D
A
¯, noting that D
=
X
A
′. This argument leaves it to be proven that X is a basis, or equivalently, that the suggested group g actually describes the equivalence classes of the mapping from θ to μ.It is useful to note that in the choices ofX, A only the spaces spanned by them are unique since X
A
′
=
X
m
m
-
1
A
′ for any invertible m
∈
R
p
×
p. Likewise, the maximal invariant ξ is only unique up to bijective transformations. This lack of uniqueness has no impact on the analysis of the likelihood albeit it influences interpretations.


### 2.4. Statistical Analysis Using the Maximal Invariant Parameter

The statistical model parametrised with the maximal invariant parameterξ can be analysed by standard statistical techniques. This contrasts to a range of problems that arise when working with an ad hoc identified time effect θ. In the following the relatively simple standard statistical analysis of the model parametrised by ξ is discussed with respect to likelihood theory, interpretation, plots, hypothesis testing, forecasting, and Bayesian analysis. In Sections 3 and 4 we give an overview of the much more complicated theory underpinning models parametrised by the ad hoc identified time effect θ. Age-period-cohort examples follow in Section 5.


#### 2.4.1. Exponential Family Theory

Suppose the likelihood is drawn from a generalized linear model based on an exponential family. Then the model is actually a regular exponential family where the maximal invariant parameterξ is the canonical parameter since it is freely varying in a real space; see Barndorff-Nielsen [13, page 116]. This opens up for a wealth of convenient statistical properties such as a likelihood equation with a simple expression and explicit conditions for a unique solution. In contrast, ad hoc identified parameters are based on an injective mapping of the canonical parameter ξ into θ; see Sections 3.1 and 3.2. It is then more difficult to fully exploit the exponential family theory.


#### 2.4.2. Interpretation and Plots

The maximal invariant parameterξ varies freely in R
p. It can therefore be interpreted as the parameter of any standard statistical model. Since ξ is freely varying the coordinates of ξ can be interpreted independently. When θ is a collection of time effects then ξ can be organised as a collection of time series. Since the coordinates of ξ are freely varying the time series plots of the components of ξ have the usual interpretation of time series. In contrast, ad hoc identified estimators are constrained to a p-dimensional subspace Θ
λ of Θ
=
R
q, which is often affine but can be more complicated. A consequence is that plots are complicated to evaluate; see Section 3.4.1.


#### 2.4.3. Hypothesis Testing

Hypotheses are easily formulated and analysed when using the maximal invariant parametrisation. An affine hypothesis that restrictsξ to vary in a p
H-dimensional affine subspace can be formulated as H
′
ξ
=
η for known matrices H
∈
R
p
×
(
p
-
p
H
), η
∈
R
p
-
p
H. This implies a restriction on the predictor μ
=
X
ξ of (6). Form the orthogonal complement H
⊥ and recall the orthogonal projection identity I
n
=
H
¯
H
′
+
H
⊥
H
¯
⊥
′ so that μ
=
X
H
¯
H
′
ξ
+
X
H
⊥
H
¯
⊥
′
ξ. Introduce a p
H-dimensional parameter φ
=
H
¯
⊥
′
ξ, a design matrix X
H
=
X
H
⊥, and an offset Z
H
=
X
H
¯
η. The restricted parameter space is
(10)
M
H
=
(
μ
∈
R
n
:
μ
=
X
H
φ
+
Z
H
for
φ
∈
R
p
H
)
.
In an exponential family context both the unrestricted model and the restricted model form regular exponential families. A variety of nice properties then follow for the estimators and the test statistics from the exponential family theory. Examples are given in Sections 5.3 and 5.5.3. In contrast, the hypothesis derived from restrictions on ad hoc identified parameters and the resulting degrees of freedom are complicated to analyse; see Section 3.4.2.


#### 2.4.4. Forecasting

Most often the objective of a mortality study is to forecast the future mortality. In the linear context,μ
=
X
ξ, this is done by extending the design X and by extrapolating ξ.It is usually easy to extend the designX into the forecast horizon. This involves the construction of a triangular block matrix with an appropriate number of extra rows corresponding to the data over the forecast horizon as well as extra columns representing the extra parameters that would be needed:
(11)
X
h
=
(
X
0
X
1
h
X
2
h
)
.
Extrapolating ξ into a vector ξ
~ then gives the forecast
(12)
μ
~
=
(
X
1
h
,
X
2
h
)
(
ξ
ξ
~
)
.
The extrapolation of the parameter ξ can be done as follows. The estimated parameter, or part of it, can be thought of as a time series. Any forecast techniques from the time series literature applied directly to ξ can be used, subject to the usual contextual considerations.Ad hoc identified time effects can be extrapolated in a similar way; see Section3.4.3. This may, however, result in avoidable arbitrary effects in the forecast. Necessary and sufficient conditions for this eventuality are given for age-period-cohort models in Section 5.4.3. The practical examples are mainly Bayesian in nature and are discussed next.


#### 2.4.5. Bayesian Analysis

The introduction of the canonical parameter shows that the likelihood, in Bayesian notation, is of the formp
(
y
∣
θ
)
=
p
(
y
∣
ξ
) where ξ is freely varying. A purist Bayesian analysis can simply introduce a prior on the canonical parameter, p
(
ξ
). This is updated in a straight forward way, resulting in the posterior p
(
ξ
∣
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
)
/
p
(
y
).In contrast, introducing a prior on ad hoc identified parameters gives various difficulties. Only parts of the prior are updated by the likelihood, so that it becomes unclear which information arises from the data and which information arises from the ad hoc identification. Moreover, avoidable arbitrariness is introduced in the forecast; see Section4. Introduction of hyperparameters exacerbates the issue. Examples are given in Sections 5.4.4, 5.5.2, and 6.1.6.


## 2.1. The Model

Think of the time effectθ as our preferred intuitive, but unidentified parameter, and think of the predictor μ as some function of θ specifying the model at hand. In a Poisson type model, where the mean specifies the distribution, μ could be the log of that mean. Such Poisson models are omnipresent in mortality models. We will often think of θ as containing some time effects. Often forecasting is carried out simply by isolating and extrapolating such a time effect.Consider a data vectorY of dimension n. This could, for instance, be the vector consisting of the stacked mortality rates for a rectangular age-period array of dimension I
×
J in which case n
=
I
J. The statistical model for Y could be a generalized linear model. This involves an appropriately chosen distribution and a link function, which links the expected mortality rate to an n-dimensional predictor, which is denoted by μ. Taken together this defines a likelihood function L
(
μ
;
Y
).The model for the predictorμ is constructed in terms of, for instance, age, period, and cohort time effects. These time effects are summarized in a vector θ, which is of dimension q
<
n. Therefore μ is a surjective function of θ. For the moment the specification of the predictor is assumed linear so that
(1)
μ
=
D
θ
for
θ
∈
Θ
=
R
q
,
for some design matrix D
∈
R
n
×
q. We refer to this specification as the mortality model, while the space Θ is the time effect space. The time effect space is chosen as an unrestricted real space in accordance with the starting point of most mortality analyses.The parameter space for the likelihood function and therefore for the statistical model is given by the range of variation for the predictorμ; that is,
(2)
M
=
(
μ
∈
R
n
:
μ
=
D
θ
for
θ
∈
Θ
=
R
q
)
.
The likelihood function is assumed uniquely identified on this space in the sense that for all pairs of predictors so μ
†
≠
μ
‡ then the likelihood of μ
†, μ
‡ differ; that is,
(3)
L
(
μ
†
;
Y
)
≠
L
(
μ
‡
;
Y
)
,
for Y in a set with positive probability.


## 2.2. The Identification Problem

The identification problem of mortality models arises when the mapping from the time effect spaceΘ to the parameter space M is surjective but not injective. With a linear parametrisation this arises when the design matrix D has reduced column rank p
<
q so D
′
D is singular. In this situation there exists time effects θ
†
≠
θ
‡ with the same likelihood:
(4)
L
(
D
θ
†
;
Y
)
=
L
(
D
θ
‡
;
Y
)
,
for all data Y. Then the time effect space Θ is not useful as parameter space for the statistical model.


## 2.3. Analysing the Mappingθ
↦
μ

When analysing the mapping from our intuitively preferred parametrisationθ into the linear predictor μ, we will be able to rewrite θ as a sum of two components: one is a function of the predictor and the other is the arbitrary part varying with θ, but not with the predictor. We provide two methods for analysis.The first method is to find a basisX
∈
R
n
×
p with full column rank
⁡
p for the design D. The design matrix of the mortality model can then be expressed as D
=
X
A
′ for some matrix A
∈
R
q
×
p with full column rank
⁡
p. Introduce a new p-dimensional parameter:
(5)
ξ
=
A
′
θ
.
The parameter space M can then be written more parsimoniously as
(6)
M
=
(
μ
∈
R
n
:
μ
=
X
ξ
for
ξ
∈
R
p
)
.
The mapping from ξ to μ is bijective, so the statistical model can just as well be parametrised in terms of ξ
∈
Ξ
=
R
p.Alternatively, the identification problem can be expressed through an invariance argument. This argument relates to the parameterization but resembles the classical invariance argument for reduction of data; see Cox and Hinkley [12, page 157]. With a linear parametrisation the argument involves the orthogonal complement to the matrix A. That is a matrix A
⊥
∈
R
q
×
(
q
-
p
) which has the properties that A
⊥
′
A
=
0 and that (
A
,
A
⊥
) is invertible. The mortality model (1) is defined by the mapping
(7)
θ
⟼
μ
=
D
θ
=
X
A
′
θ
,
from Θ
=
R
q to M. This mapping is surjective in that two different values of θ may result in the same μ and therefore the same likelihood. These equivalence classes in the time effect space can be described by the group of transformations
(8)
g
:
θ
⟼
θ
+
A
⊥
ζ
,
acting on Θ for arbitrary ζ
∈
R
q
-
p. Indeed, it holds that θ and g
(
θ
) will result in the same μ. The mapping (7) is therefore invariant to the group g. We will argue that the parameter ξ
=
A
′
θ is a maximal invariant to the group g acting on Θ, which provides a link with (6). It has to be argued that for any θ
†, θ
‡ so that ξ
†
=
A
′
θ
† equals ξ
‡
=
A
′
θ
‡ then θ
‡
=
g
(
θ
†
), see Cox and Hinkley [12, page 159]. For this argument use the orthogonal projection identity to write
(9)
θ
=
A
(
A
′
A
)
-
1
ξ
+
A
⊥
(
A
⊥
′
A
⊥
)
-
1
φ
;
for unique ξ
=
A
′
θ and φ
=
A
⊥
′
θ. Thus, if A
′
θ
‡
=
A
′
θ
† then θ
‡
=
g
(
θ
†
) with ζ
=
φ
‡
-
φ
†
=
A
⊥
′
(
θ
‡
-
θ
†
).In applications it can be difficult to find a basisX for the design D. It can be easier to find a group g and hence A
⊥ and then use this information to construct A and a candidate basis X
=
D
A
¯, noting that D
=
X
A
′. This argument leaves it to be proven that X is a basis, or equivalently, that the suggested group g actually describes the equivalence classes of the mapping from θ to μ.It is useful to note that in the choices ofX, A only the spaces spanned by them are unique since X
A
′
=
X
m
m
-
1
A
′ for any invertible m
∈
R
p
×
p. Likewise, the maximal invariant ξ is only unique up to bijective transformations. This lack of uniqueness has no impact on the analysis of the likelihood albeit it influences interpretations.


## 2.4. Statistical Analysis Using the Maximal Invariant Parameter

The statistical model parametrised with the maximal invariant parameterξ can be analysed by standard statistical techniques. This contrasts to a range of problems that arise when working with an ad hoc identified time effect θ. In the following the relatively simple standard statistical analysis of the model parametrised by ξ is discussed with respect to likelihood theory, interpretation, plots, hypothesis testing, forecasting, and Bayesian analysis. In Sections 3 and 4 we give an overview of the much more complicated theory underpinning models parametrised by the ad hoc identified time effect θ. Age-period-cohort examples follow in Section 5.


### 2.4.1. Exponential Family Theory

Suppose the likelihood is drawn from a generalized linear model based on an exponential family. Then the model is actually a regular exponential family where the maximal invariant parameterξ is the canonical parameter since it is freely varying in a real space; see Barndorff-Nielsen [13, page 116]. This opens up for a wealth of convenient statistical properties such as a likelihood equation with a simple expression and explicit conditions for a unique solution. In contrast, ad hoc identified parameters are based on an injective mapping of the canonical parameter ξ into θ; see Sections 3.1 and 3.2. It is then more difficult to fully exploit the exponential family theory.


### 2.4.2. Interpretation and Plots

The maximal invariant parameterξ varies freely in R
p. It can therefore be interpreted as the parameter of any standard statistical model. Since ξ is freely varying the coordinates of ξ can be interpreted independently. When θ is a collection of time effects then ξ can be organised as a collection of time series. Since the coordinates of ξ are freely varying the time series plots of the components of ξ have the usual interpretation of time series. In contrast, ad hoc identified estimators are constrained to a p-dimensional subspace Θ
λ of Θ
=
R
q, which is often affine but can be more complicated. A consequence is that plots are complicated to evaluate; see Section 3.4.1.


### 2.4.3. Hypothesis Testing

Hypotheses are easily formulated and analysed when using the maximal invariant parametrisation. An affine hypothesis that restrictsξ to vary in a p
H-dimensional affine subspace can be formulated as H
′
ξ
=
η for known matrices H
∈
R
p
×
(
p
-
p
H
), η
∈
R
p
-
p
H. This implies a restriction on the predictor μ
=
X
ξ of (6). Form the orthogonal complement H
⊥ and recall the orthogonal projection identity I
n
=
H
¯
H
′
+
H
⊥
H
¯
⊥
′ so that μ
=
X
H
¯
H
′
ξ
+
X
H
⊥
H
¯
⊥
′
ξ. Introduce a p
H-dimensional parameter φ
=
H
¯
⊥
′
ξ, a design matrix X
H
=
X
H
⊥, and an offset Z
H
=
X
H
¯
η. The restricted parameter space is
(10)
M
H
=
(
μ
∈
R
n
:
μ
=
X
H
φ
+
Z
H
for
φ
∈
R
p
H
)
.
In an exponential family context both the unrestricted model and the restricted model form regular exponential families. A variety of nice properties then follow for the estimators and the test statistics from the exponential family theory. Examples are given in Sections 5.3 and 5.5.3. In contrast, the hypothesis derived from restrictions on ad hoc identified parameters and the resulting degrees of freedom are complicated to analyse; see Section 3.4.2.


### 2.4.4. Forecasting

Most often the objective of a mortality study is to forecast the future mortality. In the linear context,μ
=
X
ξ, this is done by extending the design X and by extrapolating ξ.It is usually easy to extend the designX into the forecast horizon. This involves the construction of a triangular block matrix with an appropriate number of extra rows corresponding to the data over the forecast horizon as well as extra columns representing the extra parameters that would be needed:
(11)
X
h
=
(
X
0
X
1
h
X
2
h
)
.
Extrapolating ξ into a vector ξ
~ then gives the forecast
(12)
μ
~
=
(
X
1
h
,
X
2
h
)
(
ξ
ξ
~
)
.
The extrapolation of the parameter ξ can be done as follows. The estimated parameter, or part of it, can be thought of as a time series. Any forecast techniques from the time series literature applied directly to ξ can be used, subject to the usual contextual considerations.Ad hoc identified time effects can be extrapolated in a similar way; see Section3.4.3. This may, however, result in avoidable arbitrary effects in the forecast. Necessary and sufficient conditions for this eventuality are given for age-period-cohort models in Section 5.4.3. The practical examples are mainly Bayesian in nature and are discussed next.


### 2.4.5. Bayesian Analysis

The introduction of the canonical parameter shows that the likelihood, in Bayesian notation, is of the formp
(
y
∣
θ
)
=
p
(
y
∣
ξ
) where ξ is freely varying. A purist Bayesian analysis can simply introduce a prior on the canonical parameter, p
(
ξ
). This is updated in a straight forward way, resulting in the posterior p
(
ξ
∣
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
)
/
p
(
y
).In contrast, introducing a prior on ad hoc identified parameters gives various difficulties. Only parts of the prior are updated by the likelihood, so that it becomes unclear which information arises from the data and which information arises from the ad hoc identification. Moreover, avoidable arbitrariness is introduced in the forecast; see Section4. Introduction of hyperparameters exacerbates the issue. Examples are given in Sections 5.4.4, 5.5.2, and 6.1.6.


## 2.4.1. Exponential Family Theory

Suppose the likelihood is drawn from a generalized linear model based on an exponential family. Then the model is actually a regular exponential family where the maximal invariant parameterξ is the canonical parameter since it is freely varying in a real space; see Barndorff-Nielsen [13, page 116]. This opens up for a wealth of convenient statistical properties such as a likelihood equation with a simple expression and explicit conditions for a unique solution. In contrast, ad hoc identified parameters are based on an injective mapping of the canonical parameter ξ into θ; see Sections 3.1 and 3.2. It is then more difficult to fully exploit the exponential family theory.


## 2.4.2. Interpretation and Plots

The maximal invariant parameterξ varies freely in R
p. It can therefore be interpreted as the parameter of any standard statistical model. Since ξ is freely varying the coordinates of ξ can be interpreted independently. When θ is a collection of time effects then ξ can be organised as a collection of time series. Since the coordinates of ξ are freely varying the time series plots of the components of ξ have the usual interpretation of time series. In contrast, ad hoc identified estimators are constrained to a p-dimensional subspace Θ
λ of Θ
=
R
q, which is often affine but can be more complicated. A consequence is that plots are complicated to evaluate; see Section 3.4.1.


## 2.4.3. Hypothesis Testing

Hypotheses are easily formulated and analysed when using the maximal invariant parametrisation. An affine hypothesis that restrictsξ to vary in a p
H-dimensional affine subspace can be formulated as H
′
ξ
=
η for known matrices H
∈
R
p
×
(
p
-
p
H
), η
∈
R
p
-
p
H. This implies a restriction on the predictor μ
=
X
ξ of (6). Form the orthogonal complement H
⊥ and recall the orthogonal projection identity I
n
=
H
¯
H
′
+
H
⊥
H
¯
⊥
′ so that μ
=
X
H
¯
H
′
ξ
+
X
H
⊥
H
¯
⊥
′
ξ. Introduce a p
H-dimensional parameter φ
=
H
¯
⊥
′
ξ, a design matrix X
H
=
X
H
⊥, and an offset Z
H
=
X
H
¯
η. The restricted parameter space is
(10)
M
H
=
(
μ
∈
R
n
:
μ
=
X
H
φ
+
Z
H
for
φ
∈
R
p
H
)
.
In an exponential family context both the unrestricted model and the restricted model form regular exponential families. A variety of nice properties then follow for the estimators and the test statistics from the exponential family theory. Examples are given in Sections 5.3 and 5.5.3. In contrast, the hypothesis derived from restrictions on ad hoc identified parameters and the resulting degrees of freedom are complicated to analyse; see Section 3.4.2.


## 2.4.4. Forecasting

Most often the objective of a mortality study is to forecast the future mortality. In the linear context,μ
=
X
ξ, this is done by extending the design X and by extrapolating ξ.It is usually easy to extend the designX into the forecast horizon. This involves the construction of a triangular block matrix with an appropriate number of extra rows corresponding to the data over the forecast horizon as well as extra columns representing the extra parameters that would be needed:
(11)
X
h
=
(
X
0
X
1
h
X
2
h
)
.
Extrapolating ξ into a vector ξ
~ then gives the forecast
(12)
μ
~
=
(
X
1
h
,
X
2
h
)
(
ξ
ξ
~
)
.
The extrapolation of the parameter ξ can be done as follows. The estimated parameter, or part of it, can be thought of as a time series. Any forecast techniques from the time series literature applied directly to ξ can be used, subject to the usual contextual considerations.Ad hoc identified time effects can be extrapolated in a similar way; see Section3.4.3. This may, however, result in avoidable arbitrary effects in the forecast. Necessary and sufficient conditions for this eventuality are given for age-period-cohort models in Section 5.4.3. The practical examples are mainly Bayesian in nature and are discussed next.


## 2.4.5. Bayesian Analysis

The introduction of the canonical parameter shows that the likelihood, in Bayesian notation, is of the formp
(
y
∣
θ
)
=
p
(
y
∣
ξ
) where ξ is freely varying. A purist Bayesian analysis can simply introduce a prior on the canonical parameter, p
(
ξ
). This is updated in a straight forward way, resulting in the posterior p
(
ξ
∣
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
)
/
p
(
y
).In contrast, introducing a prior on ad hoc identified parameters gives various difficulties. Only parts of the prior are updated by the likelihood, so that it becomes unclear which information arises from the data and which information arises from the ad hoc identification. Moreover, avoidable arbitrariness is introduced in the forecast; see Section4. Introduction of hyperparameters exacerbates the issue. Examples are given in Sections 5.4.4, 5.5.2, and 6.1.6.


## 3. Working with the Time Effects

In Section2 we considered the situations where estimation, hypothesis testing a hypothesis, or forecasting is carried out using the canonical parameter. However, there might be situations, where the original time effect parametrisation is preferred, perhaps because it is felt that this parametrisation is particularly helpful in guiding the intuition.  This requires ad hoc identification of the time effect. In this section we will guide the considerations a statistician that has to go through when insisting on an analysis based on some nonunique parametrisations. As in Section 2 we focus on linearly parametrised models. Specific examples follow in Sections 5 and 6.In Section3.1 ad hoc identification is defined. As an example we consider a least squares estimation problem with collinear regressors in Section 3.2. For the age-period-cohort model reviewed in Section 5 it is common to ad hoc identify in two steps: first identifying levels then the linear trends. We consider such two-step ad hoc identification in Section 3.3. The consequence of ad hoc identification is considered in Section 3.4. Indeed, when forecasting the time effect, we do not want the forecast to depend on the identification scheme. The same applies to graphical visualisation of our data, where the eye may extract patterns that depend on the identification scheme. Likewise, confusion may arise when formulating a hypothesis directly on the time effect parameters.


### 3.1. Ad Hoc Identification

In this section the time effect parametrisation is considered. An identification scheme has to be introduced when working with the time effects. This may rest on mathematical convenience or it may be chosen for a particular purpose given the substantive context. We therefore call it ad hoc identification. Here we consider a simple identification scheme but turn to a more common two-step identification scheme in Section3.3.Once the canonical parameterξ has been estimated there is often a wish to return to the original time effect θ. The two are linked through the surjective mapping
(13)
θ
⟼
ξ
=
A
′
θ
,
from Θ
=
R
q to Ξ
=
R
p. Indeed, since ξ is constructed as a function of θ the notation for ξ is often chosen to reflect θ. The canonical parameter ξ does, however, only give partial information about θ. The remaining part, say λ, of θ will have to be chosen by the researcher and combined with ξ.A linear ad hoc identification ofθ comes about by the researcher choosing a constraint
(14)
L
′
θ
=
λ
for some known λ
∈
R
q
-
p and some matrix L
∈
R
q
×
(
q
-
p
) chosen so the square matrix (
A
,
L
) is invertible. The time effect space Θ is now reduced to an affine subspace
(15)
Θ
λ
=
(
θ
λ
∈
Θ
:
L
′
θ
λ
=
λ
)
.
Given θ we can find ξ, λ through (13) and (14) as (
ξ
′
,
λ
′
)
′
=
(
A
,
L
)
′
θ. At the same time, given values of ξ, λ and the invertibility of (
A
,
L
), the ad hoc identified time effect is found through
(16)
θ
λ
=
(
A
′
L
′
)
-
1
(
ξ
λ
)
=
L
⊥
(
A
′
L
⊥
)
-
1
ξ
+
A
⊥
(
L
′
A
⊥
)
-
1
λ
.
In this notation a subindex λ is introduced to avoid confusion with the time effect θ in the original mortality model. Indeed, there are now four different parameters in play, namely, the original time effect θ
∈
Θ, the predictor μ
∈
M, the maximal invariant parameter ξ
∈
Ξ and the ad hoc identified time effect θ
λ
∈
Θ
λ, each of which has a different interpretation. The mapping from θ to each of μ, ξ, and θ
λ is surjective, while there are bijective mappings between the latter three. The interpretations of the time effect θ and the canonical parameter ξ will inevitably be different. For a start they have different dimensions. Endowing the spaces with Euclidean norms shows that distances in the two spaces Θ and Ξ will be judged differently. The time effect θ and the ad hoc identified time effect θ
λ will similarly have different interpretations. Although they have the same dimensions the Euclidean norms on Θ and Θ
λ will be rather different. Confusion may arise in the interpretation of a mortality analysis if there is no clear distinction between θ and θ
λ. In addition an unnecessary arbitrariness may arise when making inference on θ
λ or extrapolating θ
∈
Θ
λ. We will return to these issues in Section 3.4.It is perhaps interesting to note that despite the linear parametrisation the ad hoc identification need not be done in a linear fashion as in (14). Indeed it is common for Poisson models with a log link to ad hoc identify θ through the original multiplicative scale. That means that the ad hoc identification is done nonlinearly through
(17)
ξ
=
A
′
θ
λ
,
λ
=
f
(
θ
λ
)
.The fit of the model is unaffected by the ad hoc identification. Indeed the fit is measured in terms of the estimate of the predictorμ
=
D
θ
λ where D
=
X
A
′. Since the identification is made so ξ
=
A
′
θ
λ; the estimated predictor reduces to
(18)
μ
^
=
D
θ
^
λ
=
X
A
′
θ
^
λ
=
X
ξ
^
,
regardless of the choice of ad hoc identification.


### 3.2. A Least Squares Example

As an illustration of estimation in the presence of ad hoc identification consider a normal likelihood. Different, but equivalent, expressions can be found depending on the parametrisation. The likelihood of the predictorμ is
(19)
L
(
μ
,
σ
2
;
Y
)
=
(
2
π
σ
2
)
-
n
/
2
exp
⁡
{
-
1
2
σ
2
(
Y
-
μ
)
′
(
Y
-
μ
)
}
xxxxxxxxxxxxlxxxxxxx
for
μ
∈
M
,
σ
2
>
0
.
Rewriting it in terms of the canonical parameter it is
(20)
L
(
ξ
,
σ
2
;
Y
)
=
(
2
π
σ
2
)
-
n
/
2
exp
⁡
⁡
{
-
1
2
σ
2
(
Y
-
X
ξ
)
′
(
Y
-
X
ξ
)
}
cccccccccccclccccc
k
s
for
ξ
∈
Ξ
=
R
p
,
σ
2
>
0
,
while introducing the time effect parameter gives
(21)
L
(
θ
,
σ
2
;
Y
)
=
(
2
π
σ
2
)
-
n
/
2
exp
⁡
{
-
1
2
σ
2
(
Y
-
X
A
′
θ
)
′
(
Y
-
X
A
′
θ
)
}
dddddddddddddddldddddd
ff
for
θ
∈
Θ
=
R
q
,
σ
2
>
0
.
The likelihood (20) of the canonical parameter ξ can be analysed by the least squares method since the design X has full column rank. The maximum likelihood estimator for ξ and the predictor for the data are
(22)
ξ
^
=
(
X
′
X
)
-
1
X
′
Y
,
Y
^
=
X
ξ
^
=
X
(
X
′
X
)
-
1
X
′
Y
.
Along with the residual variance this is all the information that is given by the likelihood.The likelihood (21) of the time effect θ only depends on θ through ξ
=
A
′
θ. The lack of identification means that the maximum likelihood estimator for θ has an arbitrary element, so that it is a set valued estimator. Based on (16) this can be expressed by
(23)
Θ
^
λ
=
L
⊥
(
A
′
L
⊥
)
-
1
ξ
^
+
A
⊥
(
L
′
A
⊥
)
-
1
λ
ffffffffffff
ss
ff
l
where
θ
^
λ
∈
Θ
λ
⊂
Θ
,
for any L so (
A
,
L
) is invertible and for any λ
∈
R
q
-
p. The fit, however, remains the same and (18) becomes
(24)
μ
^
=
D
θ
^
λ
=
X
A
′
{
L
⊥
(
A
′
L
⊥
)
-
1
ξ
^
+
A
⊥
(
L
′
A
⊥
)
-
1
λ
}
=
X
ξ
^
=
Y
^
.
In order to compute actual estimates then L, λ have to be chosen, which amounts to ad hoc identification. For instance, with the ad hoc identifying restrictions L
=
A
⊥ and λ
=
0 then θ
^
λ can be thought of as the least squares estimator of Y on D using the Moore-Penrose generalised inverse for the singular matrix D
′
D; see Searle [14, page 212]. See Section 5.4.1 for an example.


### 3.3. Step-Wise Identification

It is common to ad hoc identify parameter in a step-wise fashion. In the first step the time effect parameter is only partially constrained. The full identification then follows in a second step. An example is given in Section5.4.1 for an age-period-cohort model in which the levels of the time effects are constrained in the first step leaving the ad hoc identification of the linear trends to the second step.The first step constraints are affine of the type(25)
C
′
θ
C
=
ψ
,
for known matrices C
∈
R
q
×
(
q
-
q
C
), ψ
∈
R
q
-
q
C. The constrained time effect space is then
(26)
Θ
C
=
(
θ
C
∈
Θ
:
C
′
θ
C
=
ψ
)
.
Thereby the q-dimensional time effect space Θ is reduced to a q
C-dimensional variation. The properties of this partially ad hoc identified parameter space depends on the rank of the matrix (
A
,
C
). If the number of constraints, q
-
q
C, is at most equal to the number of unidentified components q
-
p, it is possible that (
A
,
C
) has full column rank. In that case the constraint implies a partial ad hoc identification without constraining the parameter space M of the statistical model. This is shown in Theorem 1; see also Section 5.4.1 for an example, while the proof is given in the Appendix. When (
A
,
C
) has reduced rank the parameter space M is also constrained; see Section 3.4.2 for a discussion.Theorem 1.
Suppose(
A
,
C
) has full column rank. Then the matrix m
=
A
⊥
′
C
∈
R
(
q
-
p
)
×
(
q
-
q
C
) has full column rank and the constraint (25) does not constrain the canonical parameter ξ and the predictor μ. Hence, the predictor space remains of the form (2). The equivalence classes in Θ
C under the mapping θ
↦
μ
=
X
A
′
θ are given by the group
(27)
g
C
:
θ
⟼
θ
+
A
⊥
m
⊥
ζ
,
for arbitrary ζ
∈
R
q
C
-
p where m
⊥
∈
R
(
q
-
p
)
×
(
q
C
-
p
) is the orthogonal complement of m. The maximal invariant remains ξ
=
A
′
θ.The partial ad hoc identification by (25) implies that any time series analysis of the time effects has to happen relative to the constrained space Θ
C rather than the space Θ. This is awkward as discussed in Section 3.4 below. It is also considerably more complicated than working with the freely varying canonical parameter ξ; see Section 2.4.2.


### 3.4. Consequences of Ad Hoc Identification

In the following we will look closer at the consequences of working with the ad hoc identified time effect parameterθ in the context of a linear mortality model of the form μ
=
D
θ. We consider the consequences for plotting, hypothesis testing, and forecasting.


#### 3.4.1. Plots of Time Effects

In the mortality model (1) the time effect θ is the concatenation of age, period, and cohort effects. It seems natural to think of these individual time effects as time series and to plot them against time. As the time effect θ varies in the unrestricted space Θ
=
R
q this maps the q-vector into unrestricted time series.Estimates of the time effects are constructed by combining an estimate ofξ with an ad hoc chosen value for λ
=
L
′
θ, see (14). The resulting estimate θ
^
λ is therefore constrained to the space Θ
λ
⊂
Θ. The interpretation of the estimate θ
^
λ is therefore different from the interpretation of the original time effect θ. Distances on the spaces Θ and Θ
λ are judged differently and the variability of θ
^
λ is deduced exclusively from ξ
^ through (16). The time series components of θ
^
λ are now restricted through λ
=
L
′
θ
λ. Plots of the θ
^
λ-time series are therefore interpreted differently from the imagined plots of the original θ-time series and from the plots of the maximal invariant parameter ξ discussed in Section 2.4.2. Indeed, if one were to analyse the estimated θ
^
λ-time series statistically the linear constraint should be taken into account. This is a bit complicated as illustrated below, but it is the consequence of working with the ad hoc identified parameter θ
λ rather than the canonical parameter ξ.Attempts to give intrinsic meaning toλ will be specific to the index set for the data set at hand. For instance, the requirement that the age effect should be zero on average does not carry over when looking at a subsample or when forecasting. It is not obvious that such an ad hoc identification is any more or less arbitrary than saying that, for instance, the first or the last age effect should have a particular value.Adding confidence bands to a plot ofθ
^
λ is in itself not difficult. If ξ
^ is asymptotically normal with mean ξ and variance Σ, then θ
^
λ is asymptotically normal with mean θ
λ and variance L
⊥
(
A
′
L
⊥
)
-
1
Σ
(
L
⊥
′
A
)
-
1
L
⊥
′. This is a normal distribution on the space Θ
λ. The interpretation of these standard errors will therefore be similar to that of θ
^
λ itself.Finally, it may be of interest to analyse the estimatedθ
^
λ-time series statistically. Denote this time series by x
λ. Its sample space is now Θ
λ. A statistical model on Θ
λ can be built as follows. The starting point could be a time series model for unrestricted variables x on the sample space Θ. This gives a joint density for x
∈
Θ, which can be reduced by marginalisation to a density for x
λ
∈
Θ
λ. Whether one is working with the unrestricted model for x
∈
Θ or the restricted model for x
λ
∈
Θ
λ inferences that are invariant to g must be based on those statistics of x or x
λ that are invariant to g. Thus, inferences must be based on the maximal invariant under g. For a general overview of invariant reduction see Cox and Hinkley [12, page 175f], whereas Nielsen [15] gives the argument in some detail for an autoregression with a linear trend.


#### 3.4.2. Hypothesis Testing

Having formulated the model in terms of time effects it may be of interest to test the hypothesis that one of these time effects is absent. No identification issues arise when the hypothesis is formulated as a restriction on the canonical parameterξ as discussed in Section 2.4.3. But one has to be careful when formulating hypotheses in terms of the original time effect. See Sections 5.4.5, 5.5.3, and 5.5.4 for examples.Affine hypotheses on the time effect are of the form(28)
R
′
θ
R
=
ρ
,
for known matrices R
∈
R
q
×
(
q
-
q
R
), ρ
∈
R
q
-
q
R. The constrained time effect space is then
(29)
Θ
R
=
(
θ
R
∈
R
q
:
R
′
θ
R
=
ρ
)
.
To see how the restriction (28) restricts the predictor space M
⊂
R
n recall that the predictor μ only depends on θ through ξ
=
A
′
θ. Thus, the analysis of the restriction (28) depends on the interplay between the matrices A, R. Theorem A.3 in Appendix A.3 gives a general result to that effect. It shows that the hypothesis (28) restricts the predictor space M to a p
R-dimensional affine subspace of R
n in so far as it restricts the canonical parameter ξ. In particular, the degrees of freedom of the hypothesis, p
-
p
R, may in general be different from the dimension reduction of the time effect parameter, q
-
q
R. When this is the case the restriction (28) has an element of ad hoc identifying the time effect.


#### 3.4.3. Forecasts

Forecasts can be made by extrapolating the ad hoc identified time effectsθ
λ. Two researchers choosing different ad hoc identification schemes, but otherwise making the same analysis, may make different forecasts. This can be avoided if the extrapolation method is chosen with some care.Following the linear approach outlined in Section2.4.4 the predictor μ
=
D
θ
=
X
A
′
θ is forecasted by extending the design D into
(30)
D
h
=
(
D
0
D
1
h
D
2
h
)
.
Extrapolating the ad hoc identified θ
λ into a vector (
θ
λ
′
,
θ
~
λ
′
)
′ then gives the forecast
(31)
μ
~
=
(
D
1
h
,
D
2
h
)
(
θ
λ
θ
~
λ
)
=
D
1
h
θ
λ
+
D
2
h
θ
~
λ
.
Often both components D
1
h
θ
λ and D
2
h
θ
~
λ depend on the ad hoc identification. Nonetheless, these dependencies of ad hoc identification may cancel each other so that the overall forecast μ
~ is invariant to the ad hoc identification. Such invariance would seem desirable in most applications unless there is strong substantial reason for the ad hoc identification scheme. Necessary and sufficient conditions for invariance are presented for the age-period-cohort model in Section 5.4.3 and for a nonlinear model in Section 6.1.5.In contrast, these considerations are redundant when working with the canonical parameter,ξ; see Section 2.4.4.


## 3.1. Ad Hoc Identification

In this section the time effect parametrisation is considered. An identification scheme has to be introduced when working with the time effects. This may rest on mathematical convenience or it may be chosen for a particular purpose given the substantive context. We therefore call it ad hoc identification. Here we consider a simple identification scheme but turn to a more common two-step identification scheme in Section3.3.Once the canonical parameterξ has been estimated there is often a wish to return to the original time effect θ. The two are linked through the surjective mapping
(13)
θ
⟼
ξ
=
A
′
θ
,
from Θ
=
R
q to Ξ
=
R
p. Indeed, since ξ is constructed as a function of θ the notation for ξ is often chosen to reflect θ. The canonical parameter ξ does, however, only give partial information about θ. The remaining part, say λ, of θ will have to be chosen by the researcher and combined with ξ.A linear ad hoc identification ofθ comes about by the researcher choosing a constraint
(14)
L
′
θ
=
λ
for some known λ
∈
R
q
-
p and some matrix L
∈
R
q
×
(
q
-
p
) chosen so the square matrix (
A
,
L
) is invertible. The time effect space Θ is now reduced to an affine subspace
(15)
Θ
λ
=
(
θ
λ
∈
Θ
:
L
′
θ
λ
=
λ
)
.
Given θ we can find ξ, λ through (13) and (14) as (
ξ
′
,
λ
′
)
′
=
(
A
,
L
)
′
θ. At the same time, given values of ξ, λ and the invertibility of (
A
,
L
), the ad hoc identified time effect is found through
(16)
θ
λ
=
(
A
′
L
′
)
-
1
(
ξ
λ
)
=
L
⊥
(
A
′
L
⊥
)
-
1
ξ
+
A
⊥
(
L
′
A
⊥
)
-
1
λ
.
In this notation a subindex λ is introduced to avoid confusion with the time effect θ in the original mortality model. Indeed, there are now four different parameters in play, namely, the original time effect θ
∈
Θ, the predictor μ
∈
M, the maximal invariant parameter ξ
∈
Ξ and the ad hoc identified time effect θ
λ
∈
Θ
λ, each of which has a different interpretation. The mapping from θ to each of μ, ξ, and θ
λ is surjective, while there are bijective mappings between the latter three. The interpretations of the time effect θ and the canonical parameter ξ will inevitably be different. For a start they have different dimensions. Endowing the spaces with Euclidean norms shows that distances in the two spaces Θ and Ξ will be judged differently. The time effect θ and the ad hoc identified time effect θ
λ will similarly have different interpretations. Although they have the same dimensions the Euclidean norms on Θ and Θ
λ will be rather different. Confusion may arise in the interpretation of a mortality analysis if there is no clear distinction between θ and θ
λ. In addition an unnecessary arbitrariness may arise when making inference on θ
λ or extrapolating θ
∈
Θ
λ. We will return to these issues in Section 3.4.It is perhaps interesting to note that despite the linear parametrisation the ad hoc identification need not be done in a linear fashion as in (14). Indeed it is common for Poisson models with a log link to ad hoc identify θ through the original multiplicative scale. That means that the ad hoc identification is done nonlinearly through
(17)
ξ
=
A
′
θ
λ
,
λ
=
f
(
θ
λ
)
.The fit of the model is unaffected by the ad hoc identification. Indeed the fit is measured in terms of the estimate of the predictorμ
=
D
θ
λ where D
=
X
A
′. Since the identification is made so ξ
=
A
′
θ
λ; the estimated predictor reduces to
(18)
μ
^
=
D
θ
^
λ
=
X
A
′
θ
^
λ
=
X
ξ
^
,
regardless of the choice of ad hoc identification.


## 3.2. A Least Squares Example

As an illustration of estimation in the presence of ad hoc identification consider a normal likelihood. Different, but equivalent, expressions can be found depending on the parametrisation. The likelihood of the predictorμ is
(19)
L
(
μ
,
σ
2
;
Y
)
=
(
2
π
σ
2
)
-
n
/
2
exp
⁡
{
-
1
2
σ
2
(
Y
-
μ
)
′
(
Y
-
μ
)
}
xxxxxxxxxxxxlxxxxxxx
for
μ
∈
M
,
σ
2
>
0
.
Rewriting it in terms of the canonical parameter it is
(20)
L
(
ξ
,
σ
2
;
Y
)
=
(
2
π
σ
2
)
-
n
/
2
exp
⁡
⁡
{
-
1
2
σ
2
(
Y
-
X
ξ
)
′
(
Y
-
X
ξ
)
}
cccccccccccclccccc
k
s
for
ξ
∈
Ξ
=
R
p
,
σ
2
>
0
,
while introducing the time effect parameter gives
(21)
L
(
θ
,
σ
2
;
Y
)
=
(
2
π
σ
2
)
-
n
/
2
exp
⁡
{
-
1
2
σ
2
(
Y
-
X
A
′
θ
)
′
(
Y
-
X
A
′
θ
)
}
dddddddddddddddldddddd
ff
for
θ
∈
Θ
=
R
q
,
σ
2
>
0
.
The likelihood (20) of the canonical parameter ξ can be analysed by the least squares method since the design X has full column rank. The maximum likelihood estimator for ξ and the predictor for the data are
(22)
ξ
^
=
(
X
′
X
)
-
1
X
′
Y
,
Y
^
=
X
ξ
^
=
X
(
X
′
X
)
-
1
X
′
Y
.
Along with the residual variance this is all the information that is given by the likelihood.The likelihood (21) of the time effect θ only depends on θ through ξ
=
A
′
θ. The lack of identification means that the maximum likelihood estimator for θ has an arbitrary element, so that it is a set valued estimator. Based on (16) this can be expressed by
(23)
Θ
^
λ
=
L
⊥
(
A
′
L
⊥
)
-
1
ξ
^
+
A
⊥
(
L
′
A
⊥
)
-
1
λ
ffffffffffff
ss
ff
l
where
θ
^
λ
∈
Θ
λ
⊂
Θ
,
for any L so (
A
,
L
) is invertible and for any λ
∈
R
q
-
p. The fit, however, remains the same and (18) becomes
(24)
μ
^
=
D
θ
^
λ
=
X
A
′
{
L
⊥
(
A
′
L
⊥
)
-
1
ξ
^
+
A
⊥
(
L
′
A
⊥
)
-
1
λ
}
=
X
ξ
^
=
Y
^
.
In order to compute actual estimates then L, λ have to be chosen, which amounts to ad hoc identification. For instance, with the ad hoc identifying restrictions L
=
A
⊥ and λ
=
0 then θ
^
λ can be thought of as the least squares estimator of Y on D using the Moore-Penrose generalised inverse for the singular matrix D
′
D; see Searle [14, page 212]. See Section 5.4.1 for an example.


## 3.3. Step-Wise Identification

It is common to ad hoc identify parameter in a step-wise fashion. In the first step the time effect parameter is only partially constrained. The full identification then follows in a second step. An example is given in Section5.4.1 for an age-period-cohort model in which the levels of the time effects are constrained in the first step leaving the ad hoc identification of the linear trends to the second step.The first step constraints are affine of the type(25)
C
′
θ
C
=
ψ
,
for known matrices C
∈
R
q
×
(
q
-
q
C
), ψ
∈
R
q
-
q
C. The constrained time effect space is then
(26)
Θ
C
=
(
θ
C
∈
Θ
:
C
′
θ
C
=
ψ
)
.
Thereby the q-dimensional time effect space Θ is reduced to a q
C-dimensional variation. The properties of this partially ad hoc identified parameter space depends on the rank of the matrix (
A
,
C
). If the number of constraints, q
-
q
C, is at most equal to the number of unidentified components q
-
p, it is possible that (
A
,
C
) has full column rank. In that case the constraint implies a partial ad hoc identification without constraining the parameter space M of the statistical model. This is shown in Theorem 1; see also Section 5.4.1 for an example, while the proof is given in the Appendix. When (
A
,
C
) has reduced rank the parameter space M is also constrained; see Section 3.4.2 for a discussion.Theorem 1.
Suppose(
A
,
C
) has full column rank. Then the matrix m
=
A
⊥
′
C
∈
R
(
q
-
p
)
×
(
q
-
q
C
) has full column rank and the constraint (25) does not constrain the canonical parameter ξ and the predictor μ. Hence, the predictor space remains of the form (2). The equivalence classes in Θ
C under the mapping θ
↦
μ
=
X
A
′
θ are given by the group
(27)
g
C
:
θ
⟼
θ
+
A
⊥
m
⊥
ζ
,
for arbitrary ζ
∈
R
q
C
-
p where m
⊥
∈
R
(
q
-
p
)
×
(
q
C
-
p
) is the orthogonal complement of m. The maximal invariant remains ξ
=
A
′
θ.The partial ad hoc identification by (25) implies that any time series analysis of the time effects has to happen relative to the constrained space Θ
C rather than the space Θ. This is awkward as discussed in Section 3.4 below. It is also considerably more complicated than working with the freely varying canonical parameter ξ; see Section 2.4.2.


## 3.4. Consequences of Ad Hoc Identification

In the following we will look closer at the consequences of working with the ad hoc identified time effect parameterθ in the context of a linear mortality model of the form μ
=
D
θ. We consider the consequences for plotting, hypothesis testing, and forecasting.


### 3.4.1. Plots of Time Effects

In the mortality model (1) the time effect θ is the concatenation of age, period, and cohort effects. It seems natural to think of these individual time effects as time series and to plot them against time. As the time effect θ varies in the unrestricted space Θ
=
R
q this maps the q-vector into unrestricted time series.Estimates of the time effects are constructed by combining an estimate ofξ with an ad hoc chosen value for λ
=
L
′
θ, see (14). The resulting estimate θ
^
λ is therefore constrained to the space Θ
λ
⊂
Θ. The interpretation of the estimate θ
^
λ is therefore different from the interpretation of the original time effect θ. Distances on the spaces Θ and Θ
λ are judged differently and the variability of θ
^
λ is deduced exclusively from ξ
^ through (16). The time series components of θ
^
λ are now restricted through λ
=
L
′
θ
λ. Plots of the θ
^
λ-time series are therefore interpreted differently from the imagined plots of the original θ-time series and from the plots of the maximal invariant parameter ξ discussed in Section 2.4.2. Indeed, if one were to analyse the estimated θ
^
λ-time series statistically the linear constraint should be taken into account. This is a bit complicated as illustrated below, but it is the consequence of working with the ad hoc identified parameter θ
λ rather than the canonical parameter ξ.Attempts to give intrinsic meaning toλ will be specific to the index set for the data set at hand. For instance, the requirement that the age effect should be zero on average does not carry over when looking at a subsample or when forecasting. It is not obvious that such an ad hoc identification is any more or less arbitrary than saying that, for instance, the first or the last age effect should have a particular value.Adding confidence bands to a plot ofθ
^
λ is in itself not difficult. If ξ
^ is asymptotically normal with mean ξ and variance Σ, then θ
^
λ is asymptotically normal with mean θ
λ and variance L
⊥
(
A
′
L
⊥
)
-
1
Σ
(
L
⊥
′
A
)
-
1
L
⊥
′. This is a normal distribution on the space Θ
λ. The interpretation of these standard errors will therefore be similar to that of θ
^
λ itself.Finally, it may be of interest to analyse the estimatedθ
^
λ-time series statistically. Denote this time series by x
λ. Its sample space is now Θ
λ. A statistical model on Θ
λ can be built as follows. The starting point could be a time series model for unrestricted variables x on the sample space Θ. This gives a joint density for x
∈
Θ, which can be reduced by marginalisation to a density for x
λ
∈
Θ
λ. Whether one is working with the unrestricted model for x
∈
Θ or the restricted model for x
λ
∈
Θ
λ inferences that are invariant to g must be based on those statistics of x or x
λ that are invariant to g. Thus, inferences must be based on the maximal invariant under g. For a general overview of invariant reduction see Cox and Hinkley [12, page 175f], whereas Nielsen [15] gives the argument in some detail for an autoregression with a linear trend.


### 3.4.2. Hypothesis Testing

Having formulated the model in terms of time effects it may be of interest to test the hypothesis that one of these time effects is absent. No identification issues arise when the hypothesis is formulated as a restriction on the canonical parameterξ as discussed in Section 2.4.3. But one has to be careful when formulating hypotheses in terms of the original time effect. See Sections 5.4.5, 5.5.3, and 5.5.4 for examples.Affine hypotheses on the time effect are of the form(28)
R
′
θ
R
=
ρ
,
for known matrices R
∈
R
q
×
(
q
-
q
R
), ρ
∈
R
q
-
q
R. The constrained time effect space is then
(29)
Θ
R
=
(
θ
R
∈
R
q
:
R
′
θ
R
=
ρ
)
.
To see how the restriction (28) restricts the predictor space M
⊂
R
n recall that the predictor μ only depends on θ through ξ
=
A
′
θ. Thus, the analysis of the restriction (28) depends on the interplay between the matrices A, R. Theorem A.3 in Appendix A.3 gives a general result to that effect. It shows that the hypothesis (28) restricts the predictor space M to a p
R-dimensional affine subspace of R
n in so far as it restricts the canonical parameter ξ. In particular, the degrees of freedom of the hypothesis, p
-
p
R, may in general be different from the dimension reduction of the time effect parameter, q
-
q
R. When this is the case the restriction (28) has an element of ad hoc identifying the time effect.


### 3.4.3. Forecasts

Forecasts can be made by extrapolating the ad hoc identified time effectsθ
λ. Two researchers choosing different ad hoc identification schemes, but otherwise making the same analysis, may make different forecasts. This can be avoided if the extrapolation method is chosen with some care.Following the linear approach outlined in Section2.4.4 the predictor μ
=
D
θ
=
X
A
′
θ is forecasted by extending the design D into
(30)
D
h
=
(
D
0
D
1
h
D
2
h
)
.
Extrapolating the ad hoc identified θ
λ into a vector (
θ
λ
′
,
θ
~
λ
′
)
′ then gives the forecast
(31)
μ
~
=
(
D
1
h
,
D
2
h
)
(
θ
λ
θ
~
λ
)
=
D
1
h
θ
λ
+
D
2
h
θ
~
λ
.
Often both components D
1
h
θ
λ and D
2
h
θ
~
λ depend on the ad hoc identification. Nonetheless, these dependencies of ad hoc identification may cancel each other so that the overall forecast μ
~ is invariant to the ad hoc identification. Such invariance would seem desirable in most applications unless there is strong substantial reason for the ad hoc identification scheme. Necessary and sufficient conditions for invariance are presented for the age-period-cohort model in Section 5.4.3 and for a nonlinear model in Section 6.1.5.In contrast, these considerations are redundant when working with the canonical parameter,ξ; see Section 2.4.4.


## 3.4.1. Plots of Time Effects

In the mortality model (1) the time effect θ is the concatenation of age, period, and cohort effects. It seems natural to think of these individual time effects as time series and to plot them against time. As the time effect θ varies in the unrestricted space Θ
=
R
q this maps the q-vector into unrestricted time series.Estimates of the time effects are constructed by combining an estimate ofξ with an ad hoc chosen value for λ
=
L
′
θ, see (14). The resulting estimate θ
^
λ is therefore constrained to the space Θ
λ
⊂
Θ. The interpretation of the estimate θ
^
λ is therefore different from the interpretation of the original time effect θ. Distances on the spaces Θ and Θ
λ are judged differently and the variability of θ
^
λ is deduced exclusively from ξ
^ through (16). The time series components of θ
^
λ are now restricted through λ
=
L
′
θ
λ. Plots of the θ
^
λ-time series are therefore interpreted differently from the imagined plots of the original θ-time series and from the plots of the maximal invariant parameter ξ discussed in Section 2.4.2. Indeed, if one were to analyse the estimated θ
^
λ-time series statistically the linear constraint should be taken into account. This is a bit complicated as illustrated below, but it is the consequence of working with the ad hoc identified parameter θ
λ rather than the canonical parameter ξ.Attempts to give intrinsic meaning toλ will be specific to the index set for the data set at hand. For instance, the requirement that the age effect should be zero on average does not carry over when looking at a subsample or when forecasting. It is not obvious that such an ad hoc identification is any more or less arbitrary than saying that, for instance, the first or the last age effect should have a particular value.Adding confidence bands to a plot ofθ
^
λ is in itself not difficult. If ξ
^ is asymptotically normal with mean ξ and variance Σ, then θ
^
λ is asymptotically normal with mean θ
λ and variance L
⊥
(
A
′
L
⊥
)
-
1
Σ
(
L
⊥
′
A
)
-
1
L
⊥
′. This is a normal distribution on the space Θ
λ. The interpretation of these standard errors will therefore be similar to that of θ
^
λ itself.Finally, it may be of interest to analyse the estimatedθ
^
λ-time series statistically. Denote this time series by x
λ. Its sample space is now Θ
λ. A statistical model on Θ
λ can be built as follows. The starting point could be a time series model for unrestricted variables x on the sample space Θ. This gives a joint density for x
∈
Θ, which can be reduced by marginalisation to a density for x
λ
∈
Θ
λ. Whether one is working with the unrestricted model for x
∈
Θ or the restricted model for x
λ
∈
Θ
λ inferences that are invariant to g must be based on those statistics of x or x
λ that are invariant to g. Thus, inferences must be based on the maximal invariant under g. For a general overview of invariant reduction see Cox and Hinkley [12, page 175f], whereas Nielsen [15] gives the argument in some detail for an autoregression with a linear trend.


## 3.4.2. Hypothesis Testing

Having formulated the model in terms of time effects it may be of interest to test the hypothesis that one of these time effects is absent. No identification issues arise when the hypothesis is formulated as a restriction on the canonical parameterξ as discussed in Section 2.4.3. But one has to be careful when formulating hypotheses in terms of the original time effect. See Sections 5.4.5, 5.5.3, and 5.5.4 for examples.Affine hypotheses on the time effect are of the form(28)
R
′
θ
R
=
ρ
,
for known matrices R
∈
R
q
×
(
q
-
q
R
), ρ
∈
R
q
-
q
R. The constrained time effect space is then
(29)
Θ
R
=
(
θ
R
∈
R
q
:
R
′
θ
R
=
ρ
)
.
To see how the restriction (28) restricts the predictor space M
⊂
R
n recall that the predictor μ only depends on θ through ξ
=
A
′
θ. Thus, the analysis of the restriction (28) depends on the interplay between the matrices A, R. Theorem A.3 in Appendix A.3 gives a general result to that effect. It shows that the hypothesis (28) restricts the predictor space M to a p
R-dimensional affine subspace of R
n in so far as it restricts the canonical parameter ξ. In particular, the degrees of freedom of the hypothesis, p
-
p
R, may in general be different from the dimension reduction of the time effect parameter, q
-
q
R. When this is the case the restriction (28) has an element of ad hoc identifying the time effect.


## 3.4.3. Forecasts

Forecasts can be made by extrapolating the ad hoc identified time effectsθ
λ. Two researchers choosing different ad hoc identification schemes, but otherwise making the same analysis, may make different forecasts. This can be avoided if the extrapolation method is chosen with some care.Following the linear approach outlined in Section2.4.4 the predictor μ
=
D
θ
=
X
A
′
θ is forecasted by extending the design D into
(30)
D
h
=
(
D
0
D
1
h
D
2
h
)
.
Extrapolating the ad hoc identified θ
λ into a vector (
θ
λ
′
,
θ
~
λ
′
)
′ then gives the forecast
(31)
μ
~
=
(
D
1
h
,
D
2
h
)
(
θ
λ
θ
~
λ
)
=
D
1
h
θ
λ
+
D
2
h
θ
~
λ
.
Often both components D
1
h
θ
λ and D
2
h
θ
~
λ depend on the ad hoc identification. Nonetheless, these dependencies of ad hoc identification may cancel each other so that the overall forecast μ
~ is invariant to the ad hoc identification. Such invariance would seem desirable in most applications unless there is strong substantial reason for the ad hoc identification scheme. Necessary and sufficient conditions for invariance are presented for the age-period-cohort model in Section 5.4.3 and for a nonlinear model in Section 6.1.5.In contrast, these considerations are redundant when working with the canonical parameter,ξ; see Section 2.4.4.


## 4. Bayesian Models and Random Effects Models

Mortality analysis is often carried out using either Bayesian methods or random effects methods. The mortality model is then altered through the introduction of a prior distribution on the parameters. One might think that the identification problems become less of an issue or even disappear. This is not the case since the Bayesian method and the random effects method is based on the mortality likelihood which only depends on the time effectθ through the maximal invariant parameter ξ. Thus, the identification challenges remain. The issue is that a prior on the unidentified part, say λ, of the time effect amounts to an ad hoc identification. Indeed, the conditional prior of λ given ξ is not updated by the mortality likelihood. A main difference is that a maximum likelihood analysis of the original mortality likelihood usually prompts the researcher when there is an identification issue, whereas both Bayesian methods and random effects methods allow computations to go through despite an identification issue.In Section4.1 it is seen that introduction of a conditional prior on λ given ξ is the Bayesian analogue of ad hoc identification. This leads to the same type of forecasting challenges as in the frequentist settings as is seen in Section 4.2. In Section 4.3 we show how the Bayesian identification issues transfer to random effects models.


### 4.1. Bayesian Estimation

For Bayesian and random effects models we formulate a likelihood and a prior. Thus, consider a likelihoodp
(
y
∣
θ
)
=
L
(
θ
;
y
). Replacing θ by ξ, λ the identification problem implies that
(32)
p
(
y
∣
ξ
,
λ
)
=
p
(
y
∣
ξ
)
for
all
outcomes
y
.
The prior on θ is factorised as p
(
θ
)
=
p
(
ξ
,
λ
)
=
p
(
ξ
)
p
(
λ
∣
ξ
). In the case of Bayesian estimation the following result emerges.Theorem 2.
Suppose the likelihood satisfies (32). Then (i)
the predictive distribution does not depend on the conditional prior forλ:
(33)
p
(
y
)
=
∫
‍
p
(
y
∣
ξ
)
p
(
ξ
)
d
ξ
;
(ii)
the posterior satisfies(34)
p
(
ξ
∣
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
)
p
(
y
)
,
p
(
λ
∣
ξ
,
y
)
=
p
(
λ
∣
ξ
)
;
(iii)
the posterior means satisfy(35)
E
(
ξ
∣
y
)
=
∫
‍
ξ
p
(
ξ
∣
y
)
d
ξ
,
E
(
λ
∣
ξ
,
y
)
=
E
(
λ
∣
ξ
)
,
E
(
λ
∣
y
)
=
∫
‍
E
(
λ
∣
ξ
)
p
(
ξ
∣
y
)
d
ξ
.Theorem2 shows that it suffices to give a prior to ξ and ignore λ as advocated in Section 2.4.5. Indeed the conditional prior for λ given ξ is not updated. Theorem 2 appears to be well-known; see Poirier [16, Proposition 2] or Smith [17, Section B].Due to Theorem2 the Bayesian analyst faces the complications outlined in Section 3.4. Indeed, suppose that two Bayesian researchers choose the same likelihood p
(
x
∣
ξ
,
λ
)
=
p
(
x
∣
ξ
) and the same prior p
(
ξ
) for ξ, but different conditional priors for λ given ξ. Their marginal distributions for the data are identical, but any inferences regarding interpretation or forecasting will differ in so far as they involve the unidentified parameter λ. A Bayesian researcher should therefore be cautious with inference related to λ. There will of course be situations where the prior knowledge of λ given ξ is found to be of substantive relevance. In such situations it seems more fruitful to change the likelihood to include that information.


### 4.2. Forecasting

Bayesian forecasts involve integrating an extrapolative distribution. This can be done in two ways, either working exclusively with the identified, maximal invariant parameterξ as in Section 2.4.4, or working with the time effect θ
=
(
ξ
,
λ
) as in Section 3.4.3.


#### 4.2.1. Forecasting Using the Maximal Invariant Parameter

Consider first the case where only the maximal invariant parameterξ is used. In that case the forecast is computed by sampling from the posterior p
(
ξ
∣
y
) and then extrapolating μ
~ using the sampled value ξ using some extrapolative methods, say p
(
μ
~
∣
ξ
,
y
). In combination this gives the forecast
(36)
p
(
μ
~
∣
y
)
=
∫
‍
p
(
μ
~
∣
ξ
,
y
)
p
(
ξ
∣
y
)
d
ξ
.


#### 4.2.2. Forecasting Using the Ad Hoc Identified Time Effect

Consider now forecasts involving the full time effectθ
=
(
ξ
,
λ
). Theorem 2(ii) shows that the posterior satisfies p
(
θ
∣
y
)
=
p
(
ξ
∣
y
)
p
(
λ
∣
ξ
). The distribution forecast with extrapolation p
(
μ
~
∣
ξ
,
λ
,
y
) is then
(37)
p
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
λ
,
y
)
p
(
ξ
∣
y
)
p
(
λ
∣
ξ
)
d
λ
d
ξ
.
The concern is now as follows. Suppose a second researcher chooses the same extrapolative method, likelihood, and prior for ξ, but different conditional priors p
†
(
λ
∣
ξ
). In general, this will result in a different distribution forecast:
(38)
p
†
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
λ
,
y
)
p
(
ξ
∣
y
)
p
†
(
λ
∣
ξ
)
d
λ
d
ξ
.
The question is then under which conditions will p
(
μ
~
∣
y
)
=
p
†
(
μ
~
∣
y
) so that the distribution forecasts are invariant to the choice of conditional prior for λ given ξ? A sufficient condition is that the extrapolation method does not depend on λ so
(39)
p
(
μ
~
∣
ξ
,
λ
,
y
)
=
p
(
μ
~
∣
ξ
,
y
)
.
Condition (39) could alternatively be expressed as requiring that the forecast p
(
μ
~
∣
θ
,
y
)
=
p
(
μ
~
∣
ξ
,
λ
,
y
) is invariant to the group g acting on the time effect space Θ so that p
(
μ
~
∣
ξ
,
λ
,
y
)
=
p
{
μ
~
∣
ξ
,
g
(
λ
)
,
y
}.Theorem 3.
Suppose that the likelihood satisfies (32) and the priors are probabilities. If the extrapolative distribution does not depend on λ so (39) holds; then the forecast distribution p
(
μ
~
∣
y
) computed in (37) is invariant to the choice of conditional prior for λ given ξ. The forecast then reduces to (36).To summarise, the identification issues surrounding Bayesian analysis are similar to those outlined in the previous sections. Examples of the problems that can arise are discussed in Sections5.4.4, 5.5.2, and 6.1.6. There are two solutions to the identification problem. The first is only to formulate a prior on ξ; see Section 2.4.5. Incidentally, this is what Bernardo and Smith [18, page 218] do in their discussion of the two-way analysis of variance, albeit without linking it to the considerations of Smith [17]. The prior p
(
ξ
) can of course be constructed by formulating a prior on θ and then reduce it to a prior on ξ by marginalisation so p
(
ξ
)
=
∫
‍
p
(
ξ
,
λ
)
d
λ. The other solution is to work with a prior on θ but avoid those parts of the posterior that depend on λ.


### 4.3. Random Effects Models

It is common to combine mortality models with a random effects approach, which effectively forms a new model. An example is given in Section5.4.6. We consider the consequence of the lack of identification.The random effect models are typically constructed as follows. Suppose the density of the datay given the time effects θ
=
(
ξ
,
λ
) is of the form p
(
y
∣
ξ
,
λ
)
=
p
(
y
∣
ξ
) as before; see (32). A prior p
(
θ
∣
ψ
) is chosen that now depends on a parameter ψ. The prior can be decomposed as p
(
θ
∣
ψ
)
=
p
(
ξ
∣
ψ
)
p
(
λ
∣
ξ
,
ψ
). Theorem 2 implies that the density of the data y given ψ is
(40)
p
(
y
∣
ψ
)
=
∫
‍
p
(
y
∣
ξ
)
p
(
ξ
∣
ψ
)
d
ξ
.
This in turn is used to form the random effects likelihood of ψ as
(41)
L
RE
(
ψ
∣
y
)
=
p
(
y
∣
ψ
)
.
This, effectively, defines a new model. The random effects likelihood only depends on the prior p
(
θ
∣
ψ
) through p
(
ξ
∣
ψ
). Two researchers choosing the same prior p
(
ξ
∣
ψ
) but different conditional priors p
(
λ
∣
ξ
,
ψ
) will then get the same random effects likelihood and the same maximum likelihood estimator ψ
^.In mortality modelling it is common to go one step further and estimate the time effectsθ through the mean of the posterior p
(
θ
∣
y
,
ψ
) evaluated at ψ
=
ψ
^. Then the identification problem may show up. Theorem 2 shows that
(42)
p
(
ξ
∣
ψ
^
,
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
∣
ψ
^
)
p
(
y
∣
ψ
^
)
,
p
(
λ
∣
ξ
,
ψ
^
,
y
)
=
p
(
λ
∣
ξ
,
ψ
^
)
,
so that the prior for ξ is updated, while the conditional posterior for λ given ξ is not updated by the data. Thus, in general the estimate for θ is based, in part, on a prior which is not updated by the data.


## 4.1. Bayesian Estimation

For Bayesian and random effects models we formulate a likelihood and a prior. Thus, consider a likelihoodp
(
y
∣
θ
)
=
L
(
θ
;
y
). Replacing θ by ξ, λ the identification problem implies that
(32)
p
(
y
∣
ξ
,
λ
)
=
p
(
y
∣
ξ
)
for
all
outcomes
y
.
The prior on θ is factorised as p
(
θ
)
=
p
(
ξ
,
λ
)
=
p
(
ξ
)
p
(
λ
∣
ξ
). In the case of Bayesian estimation the following result emerges.Theorem 2.
Suppose the likelihood satisfies (32). Then (i)
the predictive distribution does not depend on the conditional prior forλ:
(33)
p
(
y
)
=
∫
‍
p
(
y
∣
ξ
)
p
(
ξ
)
d
ξ
;
(ii)
the posterior satisfies(34)
p
(
ξ
∣
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
)
p
(
y
)
,
p
(
λ
∣
ξ
,
y
)
=
p
(
λ
∣
ξ
)
;
(iii)
the posterior means satisfy(35)
E
(
ξ
∣
y
)
=
∫
‍
ξ
p
(
ξ
∣
y
)
d
ξ
,
E
(
λ
∣
ξ
,
y
)
=
E
(
λ
∣
ξ
)
,
E
(
λ
∣
y
)
=
∫
‍
E
(
λ
∣
ξ
)
p
(
ξ
∣
y
)
d
ξ
.Theorem2 shows that it suffices to give a prior to ξ and ignore λ as advocated in Section 2.4.5. Indeed the conditional prior for λ given ξ is not updated. Theorem 2 appears to be well-known; see Poirier [16, Proposition 2] or Smith [17, Section B].Due to Theorem2 the Bayesian analyst faces the complications outlined in Section 3.4. Indeed, suppose that two Bayesian researchers choose the same likelihood p
(
x
∣
ξ
,
λ
)
=
p
(
x
∣
ξ
) and the same prior p
(
ξ
) for ξ, but different conditional priors for λ given ξ. Their marginal distributions for the data are identical, but any inferences regarding interpretation or forecasting will differ in so far as they involve the unidentified parameter λ. A Bayesian researcher should therefore be cautious with inference related to λ. There will of course be situations where the prior knowledge of λ given ξ is found to be of substantive relevance. In such situations it seems more fruitful to change the likelihood to include that information.


## 4.2. Forecasting

Bayesian forecasts involve integrating an extrapolative distribution. This can be done in two ways, either working exclusively with the identified, maximal invariant parameterξ as in Section 2.4.4, or working with the time effect θ
=
(
ξ
,
λ
) as in Section 3.4.3.


### 4.2.1. Forecasting Using the Maximal Invariant Parameter

Consider first the case where only the maximal invariant parameterξ is used. In that case the forecast is computed by sampling from the posterior p
(
ξ
∣
y
) and then extrapolating μ
~ using the sampled value ξ using some extrapolative methods, say p
(
μ
~
∣
ξ
,
y
). In combination this gives the forecast
(36)
p
(
μ
~
∣
y
)
=
∫
‍
p
(
μ
~
∣
ξ
,
y
)
p
(
ξ
∣
y
)
d
ξ
.


### 4.2.2. Forecasting Using the Ad Hoc Identified Time Effect

Consider now forecasts involving the full time effectθ
=
(
ξ
,
λ
). Theorem 2(ii) shows that the posterior satisfies p
(
θ
∣
y
)
=
p
(
ξ
∣
y
)
p
(
λ
∣
ξ
). The distribution forecast with extrapolation p
(
μ
~
∣
ξ
,
λ
,
y
) is then
(37)
p
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
λ
,
y
)
p
(
ξ
∣
y
)
p
(
λ
∣
ξ
)
d
λ
d
ξ
.
The concern is now as follows. Suppose a second researcher chooses the same extrapolative method, likelihood, and prior for ξ, but different conditional priors p
†
(
λ
∣
ξ
). In general, this will result in a different distribution forecast:
(38)
p
†
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
λ
,
y
)
p
(
ξ
∣
y
)
p
†
(
λ
∣
ξ
)
d
λ
d
ξ
.
The question is then under which conditions will p
(
μ
~
∣
y
)
=
p
†
(
μ
~
∣
y
) so that the distribution forecasts are invariant to the choice of conditional prior for λ given ξ? A sufficient condition is that the extrapolation method does not depend on λ so
(39)
p
(
μ
~
∣
ξ
,
λ
,
y
)
=
p
(
μ
~
∣
ξ
,
y
)
.
Condition (39) could alternatively be expressed as requiring that the forecast p
(
μ
~
∣
θ
,
y
)
=
p
(
μ
~
∣
ξ
,
λ
,
y
) is invariant to the group g acting on the time effect space Θ so that p
(
μ
~
∣
ξ
,
λ
,
y
)
=
p
{
μ
~
∣
ξ
,
g
(
λ
)
,
y
}.Theorem 3.
Suppose that the likelihood satisfies (32) and the priors are probabilities. If the extrapolative distribution does not depend on λ so (39) holds; then the forecast distribution p
(
μ
~
∣
y
) computed in (37) is invariant to the choice of conditional prior for λ given ξ. The forecast then reduces to (36).To summarise, the identification issues surrounding Bayesian analysis are similar to those outlined in the previous sections. Examples of the problems that can arise are discussed in Sections5.4.4, 5.5.2, and 6.1.6. There are two solutions to the identification problem. The first is only to formulate a prior on ξ; see Section 2.4.5. Incidentally, this is what Bernardo and Smith [18, page 218] do in their discussion of the two-way analysis of variance, albeit without linking it to the considerations of Smith [17]. The prior p
(
ξ
) can of course be constructed by formulating a prior on θ and then reduce it to a prior on ξ by marginalisation so p
(
ξ
)
=
∫
‍
p
(
ξ
,
λ
)
d
λ. The other solution is to work with a prior on θ but avoid those parts of the posterior that depend on λ.


## 4.2.1. Forecasting Using the Maximal Invariant Parameter

Consider first the case where only the maximal invariant parameterξ is used. In that case the forecast is computed by sampling from the posterior p
(
ξ
∣
y
) and then extrapolating μ
~ using the sampled value ξ using some extrapolative methods, say p
(
μ
~
∣
ξ
,
y
). In combination this gives the forecast
(36)
p
(
μ
~
∣
y
)
=
∫
‍
p
(
μ
~
∣
ξ
,
y
)
p
(
ξ
∣
y
)
d
ξ
.


## 4.2.2. Forecasting Using the Ad Hoc Identified Time Effect

Consider now forecasts involving the full time effectθ
=
(
ξ
,
λ
). Theorem 2(ii) shows that the posterior satisfies p
(
θ
∣
y
)
=
p
(
ξ
∣
y
)
p
(
λ
∣
ξ
). The distribution forecast with extrapolation p
(
μ
~
∣
ξ
,
λ
,
y
) is then
(37)
p
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
λ
,
y
)
p
(
ξ
∣
y
)
p
(
λ
∣
ξ
)
d
λ
d
ξ
.
The concern is now as follows. Suppose a second researcher chooses the same extrapolative method, likelihood, and prior for ξ, but different conditional priors p
†
(
λ
∣
ξ
). In general, this will result in a different distribution forecast:
(38)
p
†
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
λ
,
y
)
p
(
ξ
∣
y
)
p
†
(
λ
∣
ξ
)
d
λ
d
ξ
.
The question is then under which conditions will p
(
μ
~
∣
y
)
=
p
†
(
μ
~
∣
y
) so that the distribution forecasts are invariant to the choice of conditional prior for λ given ξ? A sufficient condition is that the extrapolation method does not depend on λ so
(39)
p
(
μ
~
∣
ξ
,
λ
,
y
)
=
p
(
μ
~
∣
ξ
,
y
)
.
Condition (39) could alternatively be expressed as requiring that the forecast p
(
μ
~
∣
θ
,
y
)
=
p
(
μ
~
∣
ξ
,
λ
,
y
) is invariant to the group g acting on the time effect space Θ so that p
(
μ
~
∣
ξ
,
λ
,
y
)
=
p
{
μ
~
∣
ξ
,
g
(
λ
)
,
y
}.Theorem 3.
Suppose that the likelihood satisfies (32) and the priors are probabilities. If the extrapolative distribution does not depend on λ so (39) holds; then the forecast distribution p
(
μ
~
∣
y
) computed in (37) is invariant to the choice of conditional prior for λ given ξ. The forecast then reduces to (36).To summarise, the identification issues surrounding Bayesian analysis are similar to those outlined in the previous sections. Examples of the problems that can arise are discussed in Sections5.4.4, 5.5.2, and 6.1.6. There are two solutions to the identification problem. The first is only to formulate a prior on ξ; see Section 2.4.5. Incidentally, this is what Bernardo and Smith [18, page 218] do in their discussion of the two-way analysis of variance, albeit without linking it to the considerations of Smith [17]. The prior p
(
ξ
) can of course be constructed by formulating a prior on θ and then reduce it to a prior on ξ by marginalisation so p
(
ξ
)
=
∫
‍
p
(
ξ
,
λ
)
d
λ. The other solution is to work with a prior on θ but avoid those parts of the posterior that depend on λ.


## 4.3. Random Effects Models

It is common to combine mortality models with a random effects approach, which effectively forms a new model. An example is given in Section5.4.6. We consider the consequence of the lack of identification.The random effect models are typically constructed as follows. Suppose the density of the datay given the time effects θ
=
(
ξ
,
λ
) is of the form p
(
y
∣
ξ
,
λ
)
=
p
(
y
∣
ξ
) as before; see (32). A prior p
(
θ
∣
ψ
) is chosen that now depends on a parameter ψ. The prior can be decomposed as p
(
θ
∣
ψ
)
=
p
(
ξ
∣
ψ
)
p
(
λ
∣
ξ
,
ψ
). Theorem 2 implies that the density of the data y given ψ is
(40)
p
(
y
∣
ψ
)
=
∫
‍
p
(
y
∣
ξ
)
p
(
ξ
∣
ψ
)
d
ξ
.
This in turn is used to form the random effects likelihood of ψ as
(41)
L
RE
(
ψ
∣
y
)
=
p
(
y
∣
ψ
)
.
This, effectively, defines a new model. The random effects likelihood only depends on the prior p
(
θ
∣
ψ
) through p
(
ξ
∣
ψ
). Two researchers choosing the same prior p
(
ξ
∣
ψ
) but different conditional priors p
(
λ
∣
ξ
,
ψ
) will then get the same random effects likelihood and the same maximum likelihood estimator ψ
^.In mortality modelling it is common to go one step further and estimate the time effectsθ through the mean of the posterior p
(
θ
∣
y
,
ψ
) evaluated at ψ
=
ψ
^. Then the identification problem may show up. Theorem 2 shows that
(42)
p
(
ξ
∣
ψ
^
,
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
∣
ψ
^
)
p
(
y
∣
ψ
^
)
,
p
(
λ
∣
ξ
,
ψ
^
,
y
)
=
p
(
λ
∣
ξ
,
ψ
^
)
,
so that the prior for ξ is updated, while the conditional posterior for λ given ξ is not updated by the data. Thus, in general the estimate for θ is based, in part, on a prior which is not updated by the data.


## 5. Age-Period-Cohort Models

We will now apply the theoretical considerations to analyse the age-period-cohort model. The methodological literature on this model is large and the consequences of the above theory are wide ranging.In Section5.1 we present the age-period-cohort model along with the maximal invariant parameter. This maximal invariant parameter is also called the canonical parameter because the age-period-cohort model is usually implemented as an exponential family; see Section 2.4.1. When formulating the model we choose a notation matching the age-period-cohort literature rather than the reserving literature. At the same time the exposition takes it starting point in Kuang et al. [19], but the notation deviates.The implementation of the canonical parameter depends on the type of data array. In Section5.2 design matrices are given for age-cohort, age-period, and period-cohort data arrays. While they illustrate interesting differences in the structure for these data arrays, they also provide the basis for an immediate implementation via any generalised linear model software. The age-cohort model is expressed as a hypothesis of the age-period-cohort model in Section 5.3. Time effects and forecasting are considered in Section 5.4, while the two-sample age-period-cohort model is discussed in Section 5.5.


### 5.1. The Model and the Canonical Parameter

Here the age-period model is set up and a quite general identification result is reported.Consider dataY
i
j indexed by (
i
,
j
)
∈
I where i is the age and j is the period. The index set may be a rectangle given by i
=
1
,
…
,
I and j
=
1
,
…
,
J so that the cohort k
=
I
-
i
+
j runs from 1 to K
=
I
+
J
-
1. More generally, the index set could be a generalized trapezoid where two corners are cut off the rectangle so that the cohort k runs from 1
+
h
1 to I
+
J
-
1
-
h
2 for some h
1
,
h
2
≥
0. The class of generalized trapezoids includes the three types of Lexis diagrams discussed by Keiding [20]. We will return to those special cases below.The statistical model is defined by the assumption that the variablesY
i
j are independent with an exponential family distribution with predictor μ
i
j given by
(43)
μ
i
j
=
α
i
+
β
j
+
γ
k
+
δ
for
i
,
j
∈
I
.
The time effect θ
=
(
α
1
…
,
α
I
,
β
1
,
…
,
β
j
,
γ
h
1
+
1
,
…, γ
I
+
J
-
1
-
h
2
,
δ
)
′ now varies in some time effect space Θ
∈
R
q where q
=
I
+
J
+
K
+
1
-
h
1
-
h
2.The model (43) is of the form (1) discussed in Section 2. Specifically, the predictors μ
i
j can be stacked in a vector μ of dimension n
=
dim
⁡
I and written as μ
=
D
θ. Thus, the parameter space for the model is of the form M
=
(
μ
∈
R
n
:
μ
=
D
θ for θ
∈
Θ
) as outlined in (2). The mapping θ
↦
μ from Θ to M is surjective and the equivalence classes in the time effect space can be described by a group of transformations that are discussed in (8). This group can be represented as
(44)
g
:
(
α
i
β
j
γ
k
δ
)
⟼
(
α
i
+
a
+
(
i
-
1
)
d
β
j
+
b
-
(
j
-
1
)
d
γ
k
+
c
+
(
k
-
1
)
d
δ
-
a
-
b
-
c
-
(
I
-
1
)
d
)
for
θ
∈
Θ
,
for any a, b, c, and d. This is of the form (8) with ζ
=
(
a
,
b
,
c
,
d
)
′ although the definition of the matrix A depends on the structure of the index set I.A first clue for the canonical parametrisation is given by Fienberg and Mason [21] and Clayton and Schiffler [22] who pointed out that, on the multiplicative scale, ratios of relative risks are invariant. On the additive scale this amounts to looking at second differences, such as Δ
2
α
i
=
α
i
-
2
α
i
-
1
+
α
i
-
2. A graphical illustration of the double differences is given in Figure 1 (graphics were done using R 3.0.2, see R Development Core Team [23]), which is taken from Miranda et al. [24]. Panel (a) illustrates the interpretations of the formula for Δ
2
α
i as follows. Consider the 1970 and 1971 cohorts. In 2010 these have ages 40 and 39, while in 2011 these have ages 41 and 40. Thus, Δ
2
α
41 represents the increase in mortality from ages 40 to 41 in 2011 relative to the increase from ages 39 to age 40 in 2010. An equivalent interpretation is that which represents the increase in mortality from ages 40 to 41 for the 1970 cohort relative to the increase from ages 39 to 40 for the 1971 cohort. In a similar way panels (b) and (c) illustrate the formulas for Δ
2
β
2012 and Δ
2
γ
1972.Illustration of interpretation ofΔ
2
α
41, Δ
2
β
2012, and Δ
2
γ
1972.
(a)
(b)
(c)Kuang et al. [19] introduces a parameter formed by these second differences as well as three entries of the predictor; that is,
(45)
ξ
=
(
μ
i
1
j
1
,
μ
i
2
j
2
,
μ
i
3
j
3
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
Δ
2
β
3
,
…
,
Δ
2
β
J
,
v
v
v
v
Δ
2
γ
h
1
+
3
,
…
,
Δ
2
γ
K
-
h
2
Δ
2
β
3
)
.
The parameter ξ varies in the space Ξ
=
R
p where p
=
q
-
4. If the three points μ
i
1
j
1, μ
i
2
j
2, and μ
i
3
j
3 are chosen not to be linearly related then they define the levels and the linear trends in the predictor. The formal condition is that a certain determinant defined from the indices is nonzero; that is,
(46)
i
2
j
3
-
i
3
j
2
+
i
3
j
1
-
i
1
j
3
+
i
1
k
2
-
i
2
k
1
≠
0
.Theorem 4 (see [19], [25, Corollary 2]).
Letμ satisfy (43). If the condition (46) is satisfied then the parameter ξ of (45) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ;
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).Theorem4 therefore shows that ξ varies freely in Ξ
=
R
p. Moreover, ξ is a maximal invariant of the mapping m from θ to μ under the transformations g. It should be noted that the choice of maximal invariant is not unique. Indeed, any bijective mapping of ξ can serve as maximal invariant. The choice of ξ is convenient since it becomes the canonical parameter in generalized linear models of the exponential family type.In itself this theorem does not tell how to express the predictorμ in terms of the canonical parameter ξ. The link depends on the structure of the index set I. The above mentioned paper gives implicit expressions for generalized trapezoid index sets. In the following we report explicit expressions for the 3 principal Lexis diagrams.


### 5.2. Design Matrices for Lexis Diagrams

The link between the canonical parameterξ and the predictor μ is analysed for the 3 principal Lexis diagrams. We start with age-cohort data arrays, which were the focus of attention in Kuang et al. [19]. Such arrays are easiest to analyse because all three time scales increase from the point where i
=
j
=
k
=
1. As a consequence the results are relatively easier for these arrays.


#### 5.2.1. Age-Cohort Data Arrays

Age-cohort data arrays are rectangular in the age and cohort indices and given by(47)
I
ac
=
{
(
i
,
k
)
:
i
=
1
,
…
,
I
,
k
=
1
,
…
,
K
}
.
Consequently, the period index j
=
i
+
k
-
1 varies over j
=
1
,
…
,
J
=
I
+
K
-
1. Keiding [20] refers to this Lexis diagram as the first principal set of death.Age-cohort arrays are in particular used for reserving in general insurance. In that situation, only the triangle1
≤
i
,
j
,
k
≤
I is observed. The issue is to forecast the other triangle in the square 1
≤
i
,
k
≤
I. In the reserving literature these triangles are referred to as the upper and lower triangles, since the cohort axis has reverse order. The two-factor age-cohort model for triangular age-cohort arrays is known as the chain-ladder model; see England and Verrall [26] for an overview. Zehnwirth [27] introduced an age-period-cohort model for such triangular arrays. The identification issue is analysed in detail in Kuang et al. [19, 25]. Subsequently, Kuang et al. [28] analysed the Poisson likelihood, while Kuang et al. [10] give an empirical analysis focusing on forecasting.The age-period-cohort model for the age-cohort arrays is parametrised by(48)
μ
i
k
=
α
i
+
β
i
+
k
-
1
+
γ
k
+
δ
for
i
,
k
∈
I
ac
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
I
+
K
).The design matrix linking the canonical parameterξ in (45) and the predictor μ is essentially an identity linking the two parameters. A natural choice of the three levels points to the predictors that are μ
11, μ
12, and μ
21. We then get the representation
(49)
μ
i
k
=
μ
11
+
(
i
-
1
)
(
μ
21
-
μ
11
)
+
(
k
-
1
)
(
μ
12
-
μ
11
)
+
∑
l
=
3
i
‍
∑
h
=
3
l
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
3
k
‍
∑
h
=
3
l
‍
Δ
2
γ
h
,
with the convention that empty sums are zero, and recalling that second differences are defined as Δ
2
α
i
=
α
i
-
2
α
i
-
1
+
α
i
-
2 so that ∑
h
=
3
i
Δ
2
α
h
=
Δ
α
i
-
Δ
α
2 and ∑
l
=
3
i
∑
h
=
3
l
Δ
2
α
h
=
α
i
-
α
1
-
(
i
-
1
)
Δ
α
2.The identity (49) is crucial to the understanding of the age-period-cohort model. It shows that the predictor has a single level expressed as μ
11, which in turn satisfies μ
11
=
α
1
+
β
1
+
γ
1
+
δ. The level μ
11 is therefore estimable, but the individual levels α
1, β
1, γ
1, and δ are not identifiable from the model. Further, the model has two linear trends, here expressed with slopes μ
21
-
μ
11 and μ
12
-
μ
11 in terms of the age and cohort indices. These slopes can be expressed as μ
21
-
μ
11
=
Δ
α
2
+
Δ
β
2 and μ
12
-
μ
11
=
Δ
β
2
+
Δ
γ
2. They are estimable, but the individual slopes Δ
α
2, Δ
β
2, and Δ
γ
2 are not identifiable.The design matrix now follows from the identity (49) so that the predictor satisfies μ
=
X
ξ, where
(50)
ξ
=
(
Δ
2
β
J
μ
11
,
μ
21
-
μ
11
,
μ
12
-
μ
11
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
c
c
c
c
c
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(51)
X
i
k
=
{
(
j
,
3
)
1
,
(
i
-
1
)
,
(
k
-
1
)
,
h
(
i
,
3
)
,
…
,
h
(
i
,
I
)
,
d
f
f
h
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
k
,
3
)
,
…
,
h
(
k
,
K
)
}
′
,
where ξ
∈
R
p, where p
=
2
(
I
+
K
-
2
) and h
(
t
,
s
)
=
max
⁡
(
t
-
s
+
1,0
).The identification relies on Theorem4, which can be specialised to age-cohort arrays as follows.Theorem 5 (see [19, Theorem 1]).
Letμ satisfy (48). The parameter ξ of (50) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (49);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).Theorem5 in turn implies that the parameter ξ varies freely in Ξ
=
R
p, while the design matrix X given by (51) has full column rank. Originally, the more general Theorem 4 was proved as a corollary to Theorem 5.


#### 5.2.2. Age-Period Arrays

An age-period data array is rectangular in the age and cohort indices and given by(52)
I
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
,
j
=
1
,
…
,
J
}
.
Consequently, the cohort index k
=
j
-
i
+
I varies over k
=
1
,
…
,
K
=
I
+
J
-
1. Keiding [20] refers to this Lexis diagram as the third principal set of death.Age-period arrays are commonly used in epidemiology, in mortality analysis, and in sociology. The analysis of identification issue is largely similar to that of age-cohort arrays. However, the representation of the predictorμ in terms of ξ differs in an intriguing way, because the third time index, the cohort k, is the difference of the other two indices.The age-period-cohort model for the age-period arrays is parametrised by(53)
μ
i
j
=
α
i
+
β
j
+
γ
j
-
i
+
I
+
δ
for
i
,
j
∈
I
ap
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
I
+
J
). A representation of the predictor μ in terms of the canonical parameter ξ is now
(54)
μ
i
j
=
μ
I
1
+
(
i
-
I
)
(
μ
I
1
-
μ
I
-
1,1
)
+
(
j
-
1
)
(
μ
I
2
-
μ
I
1
)
+
∑
l
=
i
I
-
2
‍
∑
h
=
l
I
-
2
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
3
j
-
i
+
I
‍
∑
h
=
3
l
‍
Δ
2
γ
h
+
2
.
The representation (54) differs from that of (49) in a subtle way. The three reference points for the levels of the predictor are chosen in the corner i
=
I, j
=
1. From this corner period and cohort indices increase, while age decreases. Hence, the age double differences Δ
2
α
i are now cumulated backwards. This phenomenon arises because the cohort index is the difference of the principal indices of age and period, whereas for the age-cohort array the period index is the sum of the principal indices of age and cohort. The predictor is now μ
=
X
ξ where, with h
(
t
,
s
)
=
max
⁡
(
t
-
s
+
1,0
),
(55)
ξ
=
(
Δ
2
β
J
,
Δ
2
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
c
c
c
c
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(56)
X
i
j
=
{
1
,
i
-
I
,
j
-
1
,
h
(
1
,
i
)
,
…
,
h
(
I
-
2
,
i
)
,
j
j
j
j
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
j
-
i
+
I
,
3
)
,
…
,
j
j
j
j
h
(
j
-
i
+
I
,
K
)
}
′
.
The identification relies on Theorem 4. It is specialised to age-period arrays as follows.Theorem 6 (see [24, Theorem 4.1]).
Letμ satisfy (53). The parameter ξ of (55) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (54);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).The group of transformations in (44) can be specialised as
(57)
g
:
(
α
i
β
j
γ
i
-
i
+
I
δ
)
⟼
(
α
i
+
a
+
d
i
β
j
+
b
-
d
j
γ
j
-
i
+
I
+
c
+
d
(
j
-
i
+
I
)
δ
-
a
-
b
-
c
-
d
I
)
xxxxxxxxxxxxlxxxxxhhhx
kk
b
for
θ
∈
Θ
=
R
2
(
I
+
J
)
;
see, for instance, Carstensen [29]. This is of the form (8) with ζ
=
(
a
,
b
,
c
,
d
)
′ and
(58)
A
⊥
′
=
(
1
1
⋯
1
-
1
1
1
⋯
1
-
1
1
1
⋯
1
-
1
1
2
⋯
I
-
1
-
2
⋯
-
J
1
2
⋯
K
-
I
)
.


#### 5.2.3. Period-Cohort Arrays

An age-period data arrays is rectangular in the age and cohort indices and given by(59)
I
pc
=
{
(
j
,
k
)
:
j
=
1
,
…
,
J
,
k
=
1
,
…
,
K
}
.
Consequently, the age index i
=
j
-
k
+
K varies over i
=
1
,
…
,
I
=
J
+
K
-
1. Keiding [20] refers to this Lexis diagram as the second principal set of death. Age-period arrays are commonly used in prospective cohort studies in epidemiology and in sociology. The analysis is similar to that of age-period arrays when swapping the role of age and cohort.The age-period-cohort model for the age-cohort arrays is parametrised by(60)
μ
j
k
=
α
j
-
k
+
1
+
β
j
+
γ
k
+
δ
for
j
,
k
∈
I
ap
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
J
+
K
). A representation of the predictor μ in terms of the canonical parameter ξ is now
(61)
μ
j
k
=
μ
1
K
+
(
j
-
1
)
(
μ
2
K
-
μ
1
K
)
+
(
k
-
K
)
(
μ
1
K
-
μ
1
,
K
-
1
)
+
∑
l
=
3
j
-
k
+
1
‍
∑
h
=
3
l
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
i
K
-
2
‍
∑
h
=
l
K
-
2
‍
Δ
2
γ
h
+
2
.
Thus, the canonical parameter and the design matrix are given by
(62)
ξ
=
(
β
3
μ
1
K
,
μ
2
K
-
μ
1
K
,
μ
1
K
-
μ
1
,
K
-
1
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
d
d
k
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(63)
X
j
k
=
{
1
,
j
-
1
,
k
-
K
,
h
(
j
-
k
+
1,3
)
,
…
,
h
(
j
-
k
+
1
,
I
)
,
f
f
l
h
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
1
,
k
)
,
…
,
h
(
K
-
2
,
k
)
}
′
.
In parallel with Theorem 6 we then have the following identification result.Theorem 7.
Letμ satisfy (60). The parameter ξ of (62) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (61);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).


### 5.3. Expressing the Age-Cohort Model as a Hypothesis

It is often of interest to test the absence of the period effect. An application to analysing asbestos related mortality can be found in Miranda et al. [24].The hypothesis is thatβ
1
=
⋯
=
β
J, when expressed in terms of the time effect parameters. The restricted model is given by, with k
=
j
-
i
+
I,
(64)
μ
i
j
ac
=
α
i
+
γ
j
-
i
+
I
+
δ
for
i
,
j
∈
I
ap
.The identification problem simplifies to a question of determining the levels ofα
i and γ
k. Therefore the (log) relative risk parameters Δ
α
i are identified as pointed out by Clayton and Schifflers [30]. In this model the cohort index is present and keeps the difference of the principal age and period indices. Therefore the representation of the predictor involves backward cumulated age differences as before but with a subtle change of sign, so that (54) reduces to
(65)
μ
i
j
ac
=
μ
I
1
-
∑
l
=
i
I
-
1
‍
Δ
α
l
+
1
+
∑
l
=
2
k
‍
Δ
γ
l
.
As a consequence the canonical parameter and the design reduce to μ
i
j
ac
=
X
i
j
ac
ξ
i
j
ac, where
(66)
X
i
j
ac
=
{
1
,
-
1
(
1
≥
i
)
,
…
,
-
1
(
I
-
1
≥
i
)
,
1
(
k
≥
2
)
,
…
,
1
(
k
≥
K
)
}
,
(67)
ξ
ac
=
(
μ
I
1
,
Δ
α
2
,
…
,
Δ
α
I
,
Δ
γ
2
,
…
,
Δ
γ
K
)
′
.
Miranda et al. [24, Theorem 4.2] establish an identification result similar to Theorem 6.The age-cohort model can also be formulated as a hypothesis on the maximal invariantξ in the age-period-cohort model following Section 2.4.3. The period effects Δ
2
β
j are set to zero through H
′
ξ
=
0, where H
′
=
(
0
,
I
J
-
2
,
0
). Applying this to the expression for ξ in (55) gives
(68)
ξ
H
=
H
¯
⊥
′
ξ
=
(
μ
I
1
,
Δ
α
I
-
Δ
γ
2
,
Δ
γ
2
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
h
h
h
h
h
h
h
h
h
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
,
since in the absence of period effects; then μ
I
1
-
μ
I
-
1,1
=
Δ
α
I
-
Δ
γ
2 and μ
I
2
-
μ
I
1
=
Δ
γ
2. The double differences cumulate to first differences through ∑
i
=
3
I
Δ
2
α
i
=
Δ
α
I
-
Δ
α
2, so the above expression ξ
H is seen to be a linear transformation of ξ
ac in (67). In other words the age-cohort model arises from the age-period-cohort model by restricting the maximal invariant parameter.


### 5.4. Working with the Time Effect

There is a large literature seeking to identify the original time effectsα
i, β
j, and γ
k of the age-period-cohort model from the predictor. Here we look closer at some of those ad hoc identification proposals.


#### 5.4.1. Ad Hoc Identification of Levels

For the age-period-cohort model it is popular to impose ad hoc identifications in two steps of the type discussed in Section3.3. Here the first step is concerned with the level of the time effects and the second step is concerned with the linear trend. Examples are given in Sections 5.4.2 and 5.5.4.A common first step ad hoc identification is to require that(69)
∑
i
=
1
I
‍
α
i
=
∑
j
=
1
J
‍
β
j
=
∑
k
=
1
K
‍
γ
k
=
0
.
This ad hoc identification is specific to the chosen data range. For instance, the constraint ∑
i
=
1
I
α
i
=
0 is not easily transferable to a different data set drawn from the same population but with a different set of age groups. This aspect would have to be kept in mind if a substantive motivation was to be found for this constraint. Other ad hoc identification schemes such as α
I
=
β
J
=
γ
K
=
0 have similar problems.The constraint (69) is a special case of affine constraints of the form C
′
θ
C
=
ψ discussed in Section 3.3. The involved dimensions are q
=
2
(
I
+
J
) and p
=
q
-
4, while the number of constrains is q
-
q
C
=
3. The matrix C
′
∈
R
(
q
-
q
C
)
×
q is given by the top left {
3
×
(
q
-
1
)
}-block of A
⊥
′ in (58) padded with a column of zeros, while ψ
∈
R
3 is given by ψ
=
0. Theorem 1 shows that m
=
A
⊥
′
C
∈
R
(
q
-
p
)
×
(
q
-
q
c
) has full rank. Indeed, m and its orthogonal complement are given by
(70)
m
=
A
⊥
′
C
=
(
I
0
0
0
J
0
0
0
K
I
i
˘
-
J
j
˘
K
k
˘
)
,
m
⊥
=
(
-
i
˘
j
˘
-
k
˘
1
)
,
where, for instance, i
˘
=
I
-
1
∑
i
=
1
I
i
=
(
I
+
1
)
/
2. Thus, the constrained group of equivalence classes (27) is
(71)
g
C
:
(
α
i
β
j
γ
k
δ
)
⟼
{
α
i
+
d
(
i
-
i
˘
)
β
j
-
d
(
j
-
j
˘
)
γ
k
+
d
(
k
-
k
˘
)
δ
}
xxxxxxxxxx
for
θ
∈
Θ
C
.


#### 5.4.2. Ad Hoc Identification of Slopes: The “Intrinsic” Estimator

The “intrinsic” estimator is a popular estimator in the sociology literature; see Yang et al. [4] and see also O’Brien [31, 32] and Fu et al. [33] for a recent discussion of its merits. It has its roots in a suggestion by Kupper et al. [34], with an early critique given by Holford [35].The “intrinsic” estimator is defined in two steps. In the first step, the levels are identified by the ad hoc constraint (69). Three of the θ-coordinates are then dropped; that is α
I, β
J, and γ
K are dropped. In a second step the linear trend is ad hoc identified using a Moore-Penrose inverse as in (23).We can analyse these steps using the developed framework. The first step identifies the levels by the ad hoc constraint (69), which is a constraint of the form C
′
θ
=
0 for the C discussed in Section 5.4.1. This θ is defined on Θ
C which is a linear subspace with a dimension deficiency of 3. Introduce a selection matrix S
⊥
∈
R
q
×
(
q
-
3
) that selects all coordinates of θ except α
I, β
J, and γ
K. Thus S
⊥ arises as a q-dimensional with 3 columns deleted corresponding to α
I, β
J, and γ
K. This is chosen so that (
C
,
S
⊥
) is invertible. Then S
⊥
′
θ is freely varying in that S
⊥
′
Θ
C
=
R
q
-
3. The skew projection identity I
q
=
S
(
C
′
S
)
-
1
C
′
+
C
⊥
(
S
⊥
′
C
⊥
)
-
1
S
⊥
′ and the constraint C
′
θ
=
0 then implies that θ
=
C
S
ϑ where C
S
⊥
=
C
⊥
(
S
⊥
′
C
⊥
)
-
1 and ϑ
=
S
⊥
′
θ
∈
R
q
-
3. Note that while C
S
⊥ depends on S
⊥ and C
⊥, it does not depend on the normalisation of C
⊥, since we can replace C
⊥ by C
⊥
m for arbitrary invertible matrices m
∈
R
(
q
-
3
)
×
(
q
-
3
). This implies that C
S is a function of S
⊥ and C. The predictor μ is now parametrised by μ
=
X
A
′
θ
=
X
A
C
′
ϑ with A
C
′
=
A
′
C
S. This corresponds to equation 5 of Yang et al. [4] who use the notation X and b for X
A
C
′ and ϑ, respectively.In the second step the linear trend is ad hoc identified through a time effect parameter of the form (23) with A, θ replaced by A
C, ϑ so that θ
ad
.
hoc
=
C
⊥
ϑ
ad
.
hoc where ϑ
ad
.
hoc
=
L
⊥
(
A
C
′
L
⊥
)
-
1
ξ
+
(
A
C
)
⊥
{
L
′
(
A
C
)
⊥
}
-
1
λ for some scalar λ and some matrix L
⊥
∈
R
(
q
-
3
)
×
p.The “intrinsic” estimator is ad hoc identified through the choicesλ
=
0 and L
⊥
=
A
C, while C is chosen by (69). It therefore estimates an “intrinsic” parameter:
(72)
θ
intrinsic
=
C
S
⊥
C
S
⊥
′
A
(
A
′
C
S
⊥
C
S
⊥
′
A
)
-
1
ξ
,
which depends on the choices of S
⊥
′, C, and A
⊥. However, since we can replace C
⊥ by C
⊥
m for arbitrary invertible matrices m
∈
R
(
q
-
3
)
×
(
q
-
3
) without changing θ
intrinsic the expression θ
intrinsic does not depend on the normalisation of C
⊥. The “intrinsic” parameter satisfies the following result.Theorem 8.
The “intrinsic” parameter is an injective mapping of the canonical parameterξ
∈
R
p into a p
=
q
-
4 dimensional linear subspace Θ
intrinsic of Θ
=
R
q. The “intrinsic” time effect space is a p-dimensional linear subspace of R
q of the form
(73)
Θ
intrinsic
=
{
θ
∈
R
q
:
θ
=
C
S
⊥
C
S
⊥
′
A
(
A
′
C
S
⊥
C
S
⊥
′
A
)
-
1
ξ
f
o
r
ξ
∈
R
p
}
,
=
{
θ
∈
R
q
:
C
′
θ
=
0
,
w
′
(
C
⊥
′
S
⊥
)
(
S
⊥
′
C
⊥
)
C
¯
⊥
′
θ
=
0
}
,
where w
∈
R
q
-
3 is uniquely defined up to a scale by w
′
C
⊥
′
A
=
0.Theorem8 implies that the “intrinsic” parameter should be interpreted as an object varying in the linear subspace Θ
intrinsic rather than in the unrestricted time effect space Θ
=
R
q. As outlined in Section 3.4 this has consequences for the interpretation of plots of the time effects, hypothesis testing, and forecasts. A consequence of this argument is that different choices of C, S
⊥, L, and λ would lead to other ad hoc identified parameters varying in other affine subspaces of Θ. In other words, the “intrinsic” estimator carries the cost of working with the somewhat complicated linear subspace Θ
intrinsic. This effort may be worthwhile if the particular choice of C, S
⊥, L, and λ can be made on substantive grounds.


#### 5.4.3. Forecasting

Forecasting of future mortality rates involves an extrapolation of the time parameters. In Section2.4.4 it was argued that ad hoc identification may introduce an undesirable arbitrariness in the forecast. When working exclusively with the canonical parameter ξ this arbitrariness is avoided. It is, however, also possible to work with ad hoc identified time effects under specific circumstances that we characterise here for age-period arrays. This builds on the theory developed in Kuang et al. [25] for age-cohort data arrays.In the context of an age-period data arrayI
ap it is often of interest to forecast h periods ahead. Suppose it is of interest to forecast the mortality at age i in period J
+
h, so that the cohort is k
=
I
+
J
+
h
-
i. This requires an extrapolation of the period effect. If the cohort index is sufficiently large, that is, k
>
K, then the cohort effect needs to be extrapolated too. Thus, there are two forecast index arrays of interest:
(74)
J
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
;
j
=
J
+
1
,
…
,
J
+
h
;
k
≤
K
}
,
K
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
;
j
=
J
+
1
,
…
,
J
+
h
;
k
>
K
}
.
Figure 2 illustrates these forecast index arrays.Figure 2
I
ap is the data array. J
ap
,
1 is the forecast array where only period parameters need to be extrapolated. J
2 is the forecast array where both period and cohort parameters need to be extrapolated. Cohorts are indicated by dashed lines.Identification plays a role when extrapolating the estimates obtained on the data arrayI
ap. The identification issues can be ignored if the investigator simply extrapolates Δ
2
β
j and Δ
2
γ
k. In the context of ad hoc identified time effects arbitrary linear trends are introduced in the model. The forecast of the predictor μ
i
,
J
+
h is invariant to these if and only if the chosen extrapolation method for β
j, γ
k preserves these linear trends so that they can cancel with the arbitrary linear trend in α
i. The next result gives a precise formulation of this statement. It applies both to point forecasts and distribution forecasts.Theorem 9.
Consider the predictorμ
i
j for i
,
j
∈
I
ap as given in (53). Suppose the time effects α
i, β
j, and γ
k are ad hoc identified. Consider the class of h periods-ahead forecasts over J
ap constructed as μ
~
i
,
J
+
h
=
α
^
i
+
β
~
J
+
h
+
γ
~
I
+
J
+
h
-
i
+
δ
^, where β
~
J
+
h
+
γ
~
I
+
J
+
h
-
i is a function of the ad hoc identified estimate θ
^. Let g be the group (57). Invariance of the forecast μ
~
i
,
J
+
h with respect to the ad hoc identification is equivalent to either of the following:(i)
the extrapolation method for period and cohort effects is linear trend-preserving:(75)
β
~
J
+
h
(
θ
^
)
+
γ
~
I
+
J
+
h
-
i
(
θ
^
)
=
[
β
~
J
+
h
{
g
(
θ
^
)
}
-
b
+
d
(
J
+
h
)
]
+
[
γ
~
I
+
J
+
h
-
i
{
g
(
θ
^
)
}
-
c
-
d
(
I
+
J
+
h
-
i
)
]
fffffffffffffffffffffffffffffffffffffff
f
dd
∀
b
,
c
,
d
∈
R
;
(ii)
functionsf
β, f
γ exist so that with ξ
^
β
,
γ
=
(
Δ
2
β
^
3
,
…
,
Δ
2
β
^
J
,
Δ
2
γ
^
3
,
…
,
Δ
2
γ
^
K
)
′; then
(76)
β
~
J
+
h
(
θ
^
)
+
γ
~
I
+
J
+
h
-
i
(
θ
^
)
=
{
β
^
J
+
h
Δ
β
^
J
+
f
β
(
ξ
^
)
}
+
{
γ
^
K
+
(
h
-
i
+
1
)
Δ
γ
^
K
+
f
γ
(
ξ
^
)
}
.To illustrate the use of Theorem9 consider the extrapolation methods β
~
J
+
h
=
β
^
J and Δ
β
~
J
+
h
=
Δ
β
^
J. The first forecast is a random walk forecast and it is seen to violate (ii). The second forecast is a cumulated random walk and satisfies (ii). The reason is that β
J
+
h
=
β
J
+
∑
l
=
1
h
Δ
β
J
+
l. Since Δ
β
~
J
+
l
=
Δ
β
^
J, then β
~
J
+
h
=
β
^
J
+
h
Δ
β
^
J. Further examples of forecasts that are linear trend-preserving as well as some which are not are given Kuang et al. [25, Table 1].Kuang, Nielsen, and Nielsen [10] apply this to reserving data organised in an age-cohort array I
ac and discuss the issue of robustification of forecast with respect to structural breaks at the forecast origin. Miranda et al. [24] give an application to asbestos related mortality using an age-period array I
ap.


#### 5.4.4. Bayesian Ad Hoc Identification Using a Dynamic Prior

A Bayesian ad hoc identification using a dynamic prior does not solve the identification problem as discussed in Section4 and the same care has to be exercised to avoid the problems outlined in Section 3.4. Berzuini and Clayton [6] suggest such an ad hoc identification approach. On page 831 they write “Identificability problems may be solved by imposing an arbitrary linear constraint on the log-linear trend components of age, period and cohort effects. Happily, such an arbitrary constraint has no effect on the predictions of the model.” The previous analysis suggests that this is far from innocent.The Berzuini-Clayton suggestion is to ad hoc identify the model (53) through
(77)
α
i
=
α
1
+
α
2
i
+
∑
l
=
3
i
‍
∑
h
=
3
l
‍
Δ
2
α
h
,
β
j
=
β
1
+
β
2
j
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
,
γ
k
=
γ
1
+
γ
2
k
+
∑
l
=
3
k
‍
∑
h
=
3
l
‍
Δ
2
γ
h
,
δ
=
0
.
A dynamic prior is chosen so that the double differences Δ
2
α
i, Δ
2
β
j, and Δ
2
γ
k are independent zero mean normal with variances ϕ
=
(
σ
α
2
,
σ
β
2
,
σ
γ
2
) that have χ
2-type prior. The purpose of this is in part to facilitate extrapolations Δ
2
α
i, Δ
2
β
j, and Δ
2
γ
k for i
>
I, j
>
J, and k
>
K, which is done through further draws from normal distributions. The level/trend effects θ
level
=
(
α
1
,
α
2
,
β
1
,
β
2
,
γ
1
,
γ
2
)
′ have independent uniform priors on some large intervals.We will analyse the Berzuini-Clayton model as applied to an age-period data arrayI
ap. Decompose the canonical parameter ξ from (54) into two parts: the slope and level parameters, say ξ
μ
=
(
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
)
′, and the collection of double differences, say ξ
Δ. The assumed prior for ξ
Δ is a simple collection of independent normal distributions with variances ϕ. The assumed prior for ξ
μ is a linear combination of not only the independent uniform variables θ
level, but also on ξ
Δ, since the age double differences Δ
2
α
i are cumulated backwards in (54), but forwards in (77). Thus, the prior for ξ
=
(
ξ
μ
′
,
ξ
Δ
′
)
′ depends on the θ
level construction.We get a hyper-parameterλ
hyper
=
(
λ
,
ϕ
), where λ is some three-dimensional ad hoc identified level/trend effect dependent on θ
level
,
ξ
Δ. We will argue that the ad hoc identified level/trend effect λ will wash out in the Berzuini-Clayton model. However, the level/trend parameter ξ
μ is a function of the θ
level construction that is tailored to the ad hoc identification. That construction remains in the analysis.In the presentation of the posterior Berzuini and Clayton are careful only to consider the double differencesξ
Δ and stay clear of the ad hoc identified level/trend effect θ
level. Theorem 2 yields the posterior p
(
ξ
∣
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
)
/
p
(
y
). Thus, the marginal posterior for the double differences is p
(
ξ
Δ
∣
y
)
=
∫
‍
p
(
y
∣
ξ
Δ
,
ξ
μ
)
p
(
ξ
Δ
,
ξ
μ
)
d
ξ
μ
/
p
(
y
). This links ξ
Δ to ξ
μ and in turn to the θ
level construction.The extrapolative method is based on double differences so it only depends onλ
hyper through ϕ due to Theorem 9 and the subsequent discussion. Thus, the extrapolative method is of the form p
(
μ
~
∣
ξ
,
λ
hyper
,
y
)
=
p
(
μ
~
∣
ξ
,
ϕ
,
y
). By construction it does not reduce to p
(
μ
~
∣
ξ
,
y
) so that condition (39) for Theorem 3 is not satisfied. The distribution forecast is of the form
(78)
p
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
ϕ
,
y
)
p
(
ξ
∣
y
)
p
(
ϕ
∣
ξ
)
d
ϕ
d
ξ
,
which, apart from depending on the θ
level construction, also depends on the conditional prior p
(
ϕ
∣
ξ
), which is not updated by the likelihood.In summary, it appears that the Berzuini-Clayton analysis depends on theθ
level construction as well as the conditional prior p
(
ϕ
∣
ξ
). The dependence on the θ
level construction could of course be addressed by introducing priors directly on ξ
μ, which in turn would be updated by the likelihood. Since the conditional prior p
(
ϕ
∣
ξ
) cannot be updated by the likelihood that its sole justification rests on the substantial context.


#### 5.4.5. A Functional Form Hypothesis

It is instructive to consider functional form restrictions on the time effects. Such hypotheses can be analysed using the results outlined in Section3.4.2. As an example restrict the age effect to be quadratic in a similar way to Yang and Land [5] so that
(79)
α
i
=
σ
0
+
σ
1
i
+
σ
2
i
2
for
i
=
1
,
…
,
I
.This restriction on the time effect can be analysed by writing it on the formR
′
θ
=
ρ, see (28), and then applying Theorem A.3. Alternatively, in this particular case, we can show that the restriction actually only affects the ad hoc identified time effect through the canonical parameter, so a simpler analysis can be made.A quadratic polynomial has constant second order derivative. Therefore the restriction (79) implies
(80)
Δ
2
α
i
=
2
σ
2
for
i
=
3
,
…
,
I
.
This expression has one free parameter. Thus, it is useful to consider the third order difference:
(81)
Δ
3
α
i
=
Δ
2
α
i
-
Δ
2
α
i
-
1
=
0
for
i
=
4
,
…
,
I
.
This gives I
-
3 linear restrictions on the canonical parameter. The age time effect α
i then has three remaining parameters, say α
1, α
2, and α
3. These are freely varying since the parameters σ
0, σ
1, and σ
2 are freely varying.If the constraint is imposed directly on the canonical parameter, the restricted model is a regular exponential family with the advantages outlined in Section2.4. However, if the analysis is done with the time effect the levels and trend will have to be ad hoc identified while bearing in mind the issues discussed above.


#### 5.4.6. The “Hierarchical Age-Period Cohort Regression Model”

In some cases a random effects approach can be used to get an overview of the many parameters of the age-period model. When applied to the time effects this implies an ad hoc identification. An example is the “hierarchical age-period cohort regression model” by Yang and Land [5]. In that paper the age effect is given a quadratic structure, but that does not have to be the case. The model is then given by
(82)
α
i
=
σ
0
+
σ
1
i
+
σ
2
i
2
,
β
j
=
D
N
(
0
,
σ
β
2
)
,
γ
k
=
D
N
(
0
,
σ
γ
2
)
,
δ
=
0
.
Since random effects are only introduced for some of the time effects, the analysis of Section 4.3 has to modified in a similar way to the analysis in Section 5.4.4.From (80) it is seen that the model restricts Δ
2
α
i
=
2
σ
2. Thus, divide the canonical parameter ξ into three elements: the slope and level parameters, say ξ
μ
=
(
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
)
′, the age-double differences ξ
α
=
(
Δ
2
α
3
,
…
,
Δ
2
α
I
), and the remaining double differences ξ
β
,
γ. Here ξ
α is restricted by the hypothesis 2
σ
2 and ξ
β
,
γ is linear function of the normal random effects, while ξ
μ is a three-dimensional linear function of σ
2 and of the six-dimensional object ν
=
(
σ
0
,
σ
1
,
β
1
,
β
2
,
γ
1
,
γ
2
)
′. This leaves a three-dimensional ad hoc identified level/slope parameter λ which is also a function of ν but not entering the likelihood. Let ψ
=
(
σ
0
,
σ
1
,
σ
2
,
σ
β
2
,
σ
γ
2
).The random effects likelihood are constructed in three steps. First, we have the usual age-period-cohort likelihoodp
(
y
∣
ξ
). Secondly, the random effects distribution for ξ
μ, ξ
β
,
γ, and λ is multivariate normal, while ξ
α is deterministic function of ψ. Thus, decompose the prior as p
(
ξ
μ
,
ξ
β
,
γ
,
λ
∣
ψ
)
=
p
(
ξ
μ
,
ξ
β
,
γ
∣
ψ
)
p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
). Thirdly, following Section 4.3 the random effects likelihood will not depend on p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
) and it is given by
(83)
p
(
y
∣
ψ
)
=
∫
‍
p
(
y
∣
ξ
α
,
ξ
μ
,
ξ
β
,
γ
)
p
(
ξ
α
,
ξ
μ
,
ξ
β
,
γ
∣
ψ
)
d
(
ξ
μ
,
ξ
β
,
γ
)
.
The prior p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
) is not updated by the data. Plots and inferences based on the posterior p
(
θ
∣
ψ
,
y
) will then suffer from the ad hoc identification issues outlined in Section 3.4.


### 5.5. A Two-Sample Age-Period-Cohort Model

When confronted with two samples for women and for men it may be of interest to apply the age-period-cohort model (43) to each of the samples and impose that some of the time effects are the same across samples. The models for samples r
=
1,2 are
(84)
μ
i
j
r
=
α
i
r
+
β
j
r
+
γ
k
r
+
δ
r
for
i
,
j
∈
I
,
r
=
1,2
.
The time effect θ
=
(
…
,
α
i
r
,
β
j
r
,
γ
k
r
,
δ
r
,
…
)
′ now varies in Θ
=
R
q where q
=
4
(
I
+
J
).


#### 5.5.1. Analysis of the Unrestricted Two-Sample Model

The unrestricted two-sample model is simply analysed as two copies of the one sample model of Section5.1. The time effects of each copy are only defined up to linear trends. The group of transformations characterizing the identification problem combines two copies of the one sample group (44). The maximal invariant parameter is ξ
=
(
ξ
1
′
,
ξ
2
′
)
′
∈
R
p where p
=
4
(
I
+
J
-
2
) and each of ξ
r are of the form (45). The benefits of Section 2 hold when working with that parameter.


#### 5.5.2. Bayesian Ad Hoc Identification Using a Dynamic Model

An application of the unrestricted two-sample model can be found in Cairns et al. [36]. The two samples are the population of England and Wales and the subpopulation of assured lives, so the substantive question is whether there is a selection effect for the assured lives. A Bayesian model with dynamic prior is used. It shares some features with the Berzuini and Clayton [6] model discussed in Section 5.4.4 although the details of the ad hoc identification of the levels and slopes are slightly different. When it comes to forecasting the extrapolative method appears to depend on the ad hoc identified parameter as well as the hyperparameters. This complicates the analysis of the forecast relatively the discussion in Section 5.4.4.


#### 5.5.3. The Hypothesis of Common Period Parameters

The two-sample model allows the possibility for adding cross-sample restrictions on the parameters. As an example we consider the hypothesis of common period parameters.Working with the canonical parameter the hypothesis is(85)
Δ
2
β
i
1
=
Δ
2
β
i
2
for
j
=
3
,
…
,
J
.
This is a simple linear restriction as that discussed in Section 2.4.3. It is readily seen that the degrees of freedom of the hypothesis are p
-
p
H
=
J
-
2 so the dimension of the restricted model is p
H
=
4
I
+
3
J
-
6. The canonical parameter under the hypothesis is then
(86)
ξ
H
=
(
…
,
μ
11
r
,
μ
21
r
-
μ
11
r
,
μ
12
r
-
μ
11
r
,
Δ
2
α
i
r
,
Δ
2
β
j
,
c
d
c
c
Δ
2
γ
k
r
,
…
)
′
.The same result arises when writing the hypothesis in terms of time effects so that(87)
β
j
1
=
β
j
2
for
j
=
1
,
…
,
J
.
Such hypotheses on the time effect were discussed in Section 3.4.2. It can be analysed using the general result in Theorem A.3. However, we will take the simpler route of arguing that this only restricts the canonical parameter given a hypothesis of the type (85). The argument relies on noting that analysing the restriction for the predictors μ
i
j
1 and μ
i
j
2 is equivalent to analysing the restriction for the predictors μ
i
j
1 and μ
i
j
2
-
μ
i
j
1, where the cross-sample differenced predictor is of the form
(88)
μ
i
j
2
-
μ
i
j
1
=
(
α
i
2
-
α
i
1
)
+
(
β
j
2
-
β
j
1
)
+
(
γ
k
2
-
γ
k
1
)
+
(
δ
2
-
δ
1
)
.
Now, the restricted model for the cross-sample differenced predictor μ
i
j
2
-
μ
i
j
1 is an age-cohort model:
(89)
μ
i
j
2
-
μ
i
j
1
=
(
α
i
2
-
α
i
1
)
+
(
γ
k
2
-
γ
k
1
)
+
(
δ
2
-
δ
1
)
.
Following the analysis of Section 5.3 the (87) therefore implies the J
-
2 linear restrictions given by (85). At the same time the predictor for the first sample μ
i
j
1 is left unrestricted by (87). In summary, the restrictions (85) and (87) are equivalent.The restriction has an interesting implication for the interpretation of the involved double differences. For the unrestricted model it was found that only plain double differences, such asΔ
2
α
j
r, are identified. Under the restriction the cross-sample differenced predictor is of age-cohort form (89) so also the cross-double differences Δ
(
α
i
2
-
α
i
1
) and Δ
(
γ
k
2
-
γ
k
1
) are identified.


#### 5.5.4. Step-Wise Ad Hoc Identification under the Hypothesis

The analysis of Riebler and Held [7] finds that the difference α
i
2
-
α
i
1 is identified under the hypothesis (85). This is not consistent with the above analysis showing that the cross-sample differenced predictor is an age-cohort model under the hypothesis, for which levels such as α
i
2
-
α
i
1 are identified.The apparent difference comes about because Riebler and Held follow a step-wise identification approach along the lines of Sections3.3 and 5.4.1. In a first step the time effects α
i
r, β
j
r, and γ
k
r are constrained to have zero-sums as in (69). In a second step the slopes are ad hoc identified using a Bayesian approach similar to that of Berzuini and Clayton [6]; see Sections 4 and 5.4.4 for a discussion of the consequences.The identification in the first step implies thatα
i
2
-
α
i
1 has a zero sum. Under the hypothesis (85) this is exactly what is needed to ad hoc identify the levels in the age-cohort model (89). In other words a different level identification in the first step leads to a different level for the difference α
i
2
-
α
i
1.


## 5.1. The Model and the Canonical Parameter

Here the age-period model is set up and a quite general identification result is reported.Consider dataY
i
j indexed by (
i
,
j
)
∈
I where i is the age and j is the period. The index set may be a rectangle given by i
=
1
,
…
,
I and j
=
1
,
…
,
J so that the cohort k
=
I
-
i
+
j runs from 1 to K
=
I
+
J
-
1. More generally, the index set could be a generalized trapezoid where two corners are cut off the rectangle so that the cohort k runs from 1
+
h
1 to I
+
J
-
1
-
h
2 for some h
1
,
h
2
≥
0. The class of generalized trapezoids includes the three types of Lexis diagrams discussed by Keiding [20]. We will return to those special cases below.The statistical model is defined by the assumption that the variablesY
i
j are independent with an exponential family distribution with predictor μ
i
j given by
(43)
μ
i
j
=
α
i
+
β
j
+
γ
k
+
δ
for
i
,
j
∈
I
.
The time effect θ
=
(
α
1
…
,
α
I
,
β
1
,
…
,
β
j
,
γ
h
1
+
1
,
…, γ
I
+
J
-
1
-
h
2
,
δ
)
′ now varies in some time effect space Θ
∈
R
q where q
=
I
+
J
+
K
+
1
-
h
1
-
h
2.The model (43) is of the form (1) discussed in Section 2. Specifically, the predictors μ
i
j can be stacked in a vector μ of dimension n
=
dim
⁡
I and written as μ
=
D
θ. Thus, the parameter space for the model is of the form M
=
(
μ
∈
R
n
:
μ
=
D
θ for θ
∈
Θ
) as outlined in (2). The mapping θ
↦
μ from Θ to M is surjective and the equivalence classes in the time effect space can be described by a group of transformations that are discussed in (8). This group can be represented as
(44)
g
:
(
α
i
β
j
γ
k
δ
)
⟼
(
α
i
+
a
+
(
i
-
1
)
d
β
j
+
b
-
(
j
-
1
)
d
γ
k
+
c
+
(
k
-
1
)
d
δ
-
a
-
b
-
c
-
(
I
-
1
)
d
)
for
θ
∈
Θ
,
for any a, b, c, and d. This is of the form (8) with ζ
=
(
a
,
b
,
c
,
d
)
′ although the definition of the matrix A depends on the structure of the index set I.A first clue for the canonical parametrisation is given by Fienberg and Mason [21] and Clayton and Schiffler [22] who pointed out that, on the multiplicative scale, ratios of relative risks are invariant. On the additive scale this amounts to looking at second differences, such as Δ
2
α
i
=
α
i
-
2
α
i
-
1
+
α
i
-
2. A graphical illustration of the double differences is given in Figure 1 (graphics were done using R 3.0.2, see R Development Core Team [23]), which is taken from Miranda et al. [24]. Panel (a) illustrates the interpretations of the formula for Δ
2
α
i as follows. Consider the 1970 and 1971 cohorts. In 2010 these have ages 40 and 39, while in 2011 these have ages 41 and 40. Thus, Δ
2
α
41 represents the increase in mortality from ages 40 to 41 in 2011 relative to the increase from ages 39 to age 40 in 2010. An equivalent interpretation is that which represents the increase in mortality from ages 40 to 41 for the 1970 cohort relative to the increase from ages 39 to 40 for the 1971 cohort. In a similar way panels (b) and (c) illustrate the formulas for Δ
2
β
2012 and Δ
2
γ
1972.Illustration of interpretation ofΔ
2
α
41, Δ
2
β
2012, and Δ
2
γ
1972.
(a)
(b)
(c)Kuang et al. [19] introduces a parameter formed by these second differences as well as three entries of the predictor; that is,
(45)
ξ
=
(
μ
i
1
j
1
,
μ
i
2
j
2
,
μ
i
3
j
3
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
Δ
2
β
3
,
…
,
Δ
2
β
J
,
v
v
v
v
Δ
2
γ
h
1
+
3
,
…
,
Δ
2
γ
K
-
h
2
Δ
2
β
3
)
.
The parameter ξ varies in the space Ξ
=
R
p where p
=
q
-
4. If the three points μ
i
1
j
1, μ
i
2
j
2, and μ
i
3
j
3 are chosen not to be linearly related then they define the levels and the linear trends in the predictor. The formal condition is that a certain determinant defined from the indices is nonzero; that is,
(46)
i
2
j
3
-
i
3
j
2
+
i
3
j
1
-
i
1
j
3
+
i
1
k
2
-
i
2
k
1
≠
0
.Theorem 4 (see [19], [25, Corollary 2]).
Letμ satisfy (43). If the condition (46) is satisfied then the parameter ξ of (45) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ;
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).Theorem4 therefore shows that ξ varies freely in Ξ
=
R
p. Moreover, ξ is a maximal invariant of the mapping m from θ to μ under the transformations g. It should be noted that the choice of maximal invariant is not unique. Indeed, any bijective mapping of ξ can serve as maximal invariant. The choice of ξ is convenient since it becomes the canonical parameter in generalized linear models of the exponential family type.In itself this theorem does not tell how to express the predictorμ in terms of the canonical parameter ξ. The link depends on the structure of the index set I. The above mentioned paper gives implicit expressions for generalized trapezoid index sets. In the following we report explicit expressions for the 3 principal Lexis diagrams.


## 5.2. Design Matrices for Lexis Diagrams

The link between the canonical parameterξ and the predictor μ is analysed for the 3 principal Lexis diagrams. We start with age-cohort data arrays, which were the focus of attention in Kuang et al. [19]. Such arrays are easiest to analyse because all three time scales increase from the point where i
=
j
=
k
=
1. As a consequence the results are relatively easier for these arrays.


### 5.2.1. Age-Cohort Data Arrays

Age-cohort data arrays are rectangular in the age and cohort indices and given by(47)
I
ac
=
{
(
i
,
k
)
:
i
=
1
,
…
,
I
,
k
=
1
,
…
,
K
}
.
Consequently, the period index j
=
i
+
k
-
1 varies over j
=
1
,
…
,
J
=
I
+
K
-
1. Keiding [20] refers to this Lexis diagram as the first principal set of death.Age-cohort arrays are in particular used for reserving in general insurance. In that situation, only the triangle1
≤
i
,
j
,
k
≤
I is observed. The issue is to forecast the other triangle in the square 1
≤
i
,
k
≤
I. In the reserving literature these triangles are referred to as the upper and lower triangles, since the cohort axis has reverse order. The two-factor age-cohort model for triangular age-cohort arrays is known as the chain-ladder model; see England and Verrall [26] for an overview. Zehnwirth [27] introduced an age-period-cohort model for such triangular arrays. The identification issue is analysed in detail in Kuang et al. [19, 25]. Subsequently, Kuang et al. [28] analysed the Poisson likelihood, while Kuang et al. [10] give an empirical analysis focusing on forecasting.The age-period-cohort model for the age-cohort arrays is parametrised by(48)
μ
i
k
=
α
i
+
β
i
+
k
-
1
+
γ
k
+
δ
for
i
,
k
∈
I
ac
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
I
+
K
).The design matrix linking the canonical parameterξ in (45) and the predictor μ is essentially an identity linking the two parameters. A natural choice of the three levels points to the predictors that are μ
11, μ
12, and μ
21. We then get the representation
(49)
μ
i
k
=
μ
11
+
(
i
-
1
)
(
μ
21
-
μ
11
)
+
(
k
-
1
)
(
μ
12
-
μ
11
)
+
∑
l
=
3
i
‍
∑
h
=
3
l
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
3
k
‍
∑
h
=
3
l
‍
Δ
2
γ
h
,
with the convention that empty sums are zero, and recalling that second differences are defined as Δ
2
α
i
=
α
i
-
2
α
i
-
1
+
α
i
-
2 so that ∑
h
=
3
i
Δ
2
α
h
=
Δ
α
i
-
Δ
α
2 and ∑
l
=
3
i
∑
h
=
3
l
Δ
2
α
h
=
α
i
-
α
1
-
(
i
-
1
)
Δ
α
2.The identity (49) is crucial to the understanding of the age-period-cohort model. It shows that the predictor has a single level expressed as μ
11, which in turn satisfies μ
11
=
α
1
+
β
1
+
γ
1
+
δ. The level μ
11 is therefore estimable, but the individual levels α
1, β
1, γ
1, and δ are not identifiable from the model. Further, the model has two linear trends, here expressed with slopes μ
21
-
μ
11 and μ
12
-
μ
11 in terms of the age and cohort indices. These slopes can be expressed as μ
21
-
μ
11
=
Δ
α
2
+
Δ
β
2 and μ
12
-
μ
11
=
Δ
β
2
+
Δ
γ
2. They are estimable, but the individual slopes Δ
α
2, Δ
β
2, and Δ
γ
2 are not identifiable.The design matrix now follows from the identity (49) so that the predictor satisfies μ
=
X
ξ, where
(50)
ξ
=
(
Δ
2
β
J
μ
11
,
μ
21
-
μ
11
,
μ
12
-
μ
11
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
c
c
c
c
c
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(51)
X
i
k
=
{
(
j
,
3
)
1
,
(
i
-
1
)
,
(
k
-
1
)
,
h
(
i
,
3
)
,
…
,
h
(
i
,
I
)
,
d
f
f
h
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
k
,
3
)
,
…
,
h
(
k
,
K
)
}
′
,
where ξ
∈
R
p, where p
=
2
(
I
+
K
-
2
) and h
(
t
,
s
)
=
max
⁡
(
t
-
s
+
1,0
).The identification relies on Theorem4, which can be specialised to age-cohort arrays as follows.Theorem 5 (see [19, Theorem 1]).
Letμ satisfy (48). The parameter ξ of (50) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (49);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).Theorem5 in turn implies that the parameter ξ varies freely in Ξ
=
R
p, while the design matrix X given by (51) has full column rank. Originally, the more general Theorem 4 was proved as a corollary to Theorem 5.


### 5.2.2. Age-Period Arrays

An age-period data array is rectangular in the age and cohort indices and given by(52)
I
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
,
j
=
1
,
…
,
J
}
.
Consequently, the cohort index k
=
j
-
i
+
I varies over k
=
1
,
…
,
K
=
I
+
J
-
1. Keiding [20] refers to this Lexis diagram as the third principal set of death.Age-period arrays are commonly used in epidemiology, in mortality analysis, and in sociology. The analysis of identification issue is largely similar to that of age-cohort arrays. However, the representation of the predictorμ in terms of ξ differs in an intriguing way, because the third time index, the cohort k, is the difference of the other two indices.The age-period-cohort model for the age-period arrays is parametrised by(53)
μ
i
j
=
α
i
+
β
j
+
γ
j
-
i
+
I
+
δ
for
i
,
j
∈
I
ap
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
I
+
J
). A representation of the predictor μ in terms of the canonical parameter ξ is now
(54)
μ
i
j
=
μ
I
1
+
(
i
-
I
)
(
μ
I
1
-
μ
I
-
1,1
)
+
(
j
-
1
)
(
μ
I
2
-
μ
I
1
)
+
∑
l
=
i
I
-
2
‍
∑
h
=
l
I
-
2
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
3
j
-
i
+
I
‍
∑
h
=
3
l
‍
Δ
2
γ
h
+
2
.
The representation (54) differs from that of (49) in a subtle way. The three reference points for the levels of the predictor are chosen in the corner i
=
I, j
=
1. From this corner period and cohort indices increase, while age decreases. Hence, the age double differences Δ
2
α
i are now cumulated backwards. This phenomenon arises because the cohort index is the difference of the principal indices of age and period, whereas for the age-cohort array the period index is the sum of the principal indices of age and cohort. The predictor is now μ
=
X
ξ where, with h
(
t
,
s
)
=
max
⁡
(
t
-
s
+
1,0
),
(55)
ξ
=
(
Δ
2
β
J
,
Δ
2
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
c
c
c
c
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(56)
X
i
j
=
{
1
,
i
-
I
,
j
-
1
,
h
(
1
,
i
)
,
…
,
h
(
I
-
2
,
i
)
,
j
j
j
j
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
j
-
i
+
I
,
3
)
,
…
,
j
j
j
j
h
(
j
-
i
+
I
,
K
)
}
′
.
The identification relies on Theorem 4. It is specialised to age-period arrays as follows.Theorem 6 (see [24, Theorem 4.1]).
Letμ satisfy (53). The parameter ξ of (55) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (54);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).The group of transformations in (44) can be specialised as
(57)
g
:
(
α
i
β
j
γ
i
-
i
+
I
δ
)
⟼
(
α
i
+
a
+
d
i
β
j
+
b
-
d
j
γ
j
-
i
+
I
+
c
+
d
(
j
-
i
+
I
)
δ
-
a
-
b
-
c
-
d
I
)
xxxxxxxxxxxxlxxxxxhhhx
kk
b
for
θ
∈
Θ
=
R
2
(
I
+
J
)
;
see, for instance, Carstensen [29]. This is of the form (8) with ζ
=
(
a
,
b
,
c
,
d
)
′ and
(58)
A
⊥
′
=
(
1
1
⋯
1
-
1
1
1
⋯
1
-
1
1
1
⋯
1
-
1
1
2
⋯
I
-
1
-
2
⋯
-
J
1
2
⋯
K
-
I
)
.


### 5.2.3. Period-Cohort Arrays

An age-period data arrays is rectangular in the age and cohort indices and given by(59)
I
pc
=
{
(
j
,
k
)
:
j
=
1
,
…
,
J
,
k
=
1
,
…
,
K
}
.
Consequently, the age index i
=
j
-
k
+
K varies over i
=
1
,
…
,
I
=
J
+
K
-
1. Keiding [20] refers to this Lexis diagram as the second principal set of death. Age-period arrays are commonly used in prospective cohort studies in epidemiology and in sociology. The analysis is similar to that of age-period arrays when swapping the role of age and cohort.The age-period-cohort model for the age-cohort arrays is parametrised by(60)
μ
j
k
=
α
j
-
k
+
1
+
β
j
+
γ
k
+
δ
for
j
,
k
∈
I
ap
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
J
+
K
). A representation of the predictor μ in terms of the canonical parameter ξ is now
(61)
μ
j
k
=
μ
1
K
+
(
j
-
1
)
(
μ
2
K
-
μ
1
K
)
+
(
k
-
K
)
(
μ
1
K
-
μ
1
,
K
-
1
)
+
∑
l
=
3
j
-
k
+
1
‍
∑
h
=
3
l
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
i
K
-
2
‍
∑
h
=
l
K
-
2
‍
Δ
2
γ
h
+
2
.
Thus, the canonical parameter and the design matrix are given by
(62)
ξ
=
(
β
3
μ
1
K
,
μ
2
K
-
μ
1
K
,
μ
1
K
-
μ
1
,
K
-
1
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
d
d
k
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(63)
X
j
k
=
{
1
,
j
-
1
,
k
-
K
,
h
(
j
-
k
+
1,3
)
,
…
,
h
(
j
-
k
+
1
,
I
)
,
f
f
l
h
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
1
,
k
)
,
…
,
h
(
K
-
2
,
k
)
}
′
.
In parallel with Theorem 6 we then have the following identification result.Theorem 7.
Letμ satisfy (60). The parameter ξ of (62) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (61);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).


## 5.2.1. Age-Cohort Data Arrays

Age-cohort data arrays are rectangular in the age and cohort indices and given by(47)
I
ac
=
{
(
i
,
k
)
:
i
=
1
,
…
,
I
,
k
=
1
,
…
,
K
}
.
Consequently, the period index j
=
i
+
k
-
1 varies over j
=
1
,
…
,
J
=
I
+
K
-
1. Keiding [20] refers to this Lexis diagram as the first principal set of death.Age-cohort arrays are in particular used for reserving in general insurance. In that situation, only the triangle1
≤
i
,
j
,
k
≤
I is observed. The issue is to forecast the other triangle in the square 1
≤
i
,
k
≤
I. In the reserving literature these triangles are referred to as the upper and lower triangles, since the cohort axis has reverse order. The two-factor age-cohort model for triangular age-cohort arrays is known as the chain-ladder model; see England and Verrall [26] for an overview. Zehnwirth [27] introduced an age-period-cohort model for such triangular arrays. The identification issue is analysed in detail in Kuang et al. [19, 25]. Subsequently, Kuang et al. [28] analysed the Poisson likelihood, while Kuang et al. [10] give an empirical analysis focusing on forecasting.The age-period-cohort model for the age-cohort arrays is parametrised by(48)
μ
i
k
=
α
i
+
β
i
+
k
-
1
+
γ
k
+
δ
for
i
,
k
∈
I
ac
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
I
+
K
).The design matrix linking the canonical parameterξ in (45) and the predictor μ is essentially an identity linking the two parameters. A natural choice of the three levels points to the predictors that are μ
11, μ
12, and μ
21. We then get the representation
(49)
μ
i
k
=
μ
11
+
(
i
-
1
)
(
μ
21
-
μ
11
)
+
(
k
-
1
)
(
μ
12
-
μ
11
)
+
∑
l
=
3
i
‍
∑
h
=
3
l
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
3
k
‍
∑
h
=
3
l
‍
Δ
2
γ
h
,
with the convention that empty sums are zero, and recalling that second differences are defined as Δ
2
α
i
=
α
i
-
2
α
i
-
1
+
α
i
-
2 so that ∑
h
=
3
i
Δ
2
α
h
=
Δ
α
i
-
Δ
α
2 and ∑
l
=
3
i
∑
h
=
3
l
Δ
2
α
h
=
α
i
-
α
1
-
(
i
-
1
)
Δ
α
2.The identity (49) is crucial to the understanding of the age-period-cohort model. It shows that the predictor has a single level expressed as μ
11, which in turn satisfies μ
11
=
α
1
+
β
1
+
γ
1
+
δ. The level μ
11 is therefore estimable, but the individual levels α
1, β
1, γ
1, and δ are not identifiable from the model. Further, the model has two linear trends, here expressed with slopes μ
21
-
μ
11 and μ
12
-
μ
11 in terms of the age and cohort indices. These slopes can be expressed as μ
21
-
μ
11
=
Δ
α
2
+
Δ
β
2 and μ
12
-
μ
11
=
Δ
β
2
+
Δ
γ
2. They are estimable, but the individual slopes Δ
α
2, Δ
β
2, and Δ
γ
2 are not identifiable.The design matrix now follows from the identity (49) so that the predictor satisfies μ
=
X
ξ, where
(50)
ξ
=
(
Δ
2
β
J
μ
11
,
μ
21
-
μ
11
,
μ
12
-
μ
11
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
c
c
c
c
c
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(51)
X
i
k
=
{
(
j
,
3
)
1
,
(
i
-
1
)
,
(
k
-
1
)
,
h
(
i
,
3
)
,
…
,
h
(
i
,
I
)
,
d
f
f
h
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
k
,
3
)
,
…
,
h
(
k
,
K
)
}
′
,
where ξ
∈
R
p, where p
=
2
(
I
+
K
-
2
) and h
(
t
,
s
)
=
max
⁡
(
t
-
s
+
1,0
).The identification relies on Theorem4, which can be specialised to age-cohort arrays as follows.Theorem 5 (see [19, Theorem 1]).
Letμ satisfy (48). The parameter ξ of (50) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (49);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).Theorem5 in turn implies that the parameter ξ varies freely in Ξ
=
R
p, while the design matrix X given by (51) has full column rank. Originally, the more general Theorem 4 was proved as a corollary to Theorem 5.


## 5.2.2. Age-Period Arrays

An age-period data array is rectangular in the age and cohort indices and given by(52)
I
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
,
j
=
1
,
…
,
J
}
.
Consequently, the cohort index k
=
j
-
i
+
I varies over k
=
1
,
…
,
K
=
I
+
J
-
1. Keiding [20] refers to this Lexis diagram as the third principal set of death.Age-period arrays are commonly used in epidemiology, in mortality analysis, and in sociology. The analysis of identification issue is largely similar to that of age-cohort arrays. However, the representation of the predictorμ in terms of ξ differs in an intriguing way, because the third time index, the cohort k, is the difference of the other two indices.The age-period-cohort model for the age-period arrays is parametrised by(53)
μ
i
j
=
α
i
+
β
j
+
γ
j
-
i
+
I
+
δ
for
i
,
j
∈
I
ap
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
I
+
J
). A representation of the predictor μ in terms of the canonical parameter ξ is now
(54)
μ
i
j
=
μ
I
1
+
(
i
-
I
)
(
μ
I
1
-
μ
I
-
1,1
)
+
(
j
-
1
)
(
μ
I
2
-
μ
I
1
)
+
∑
l
=
i
I
-
2
‍
∑
h
=
l
I
-
2
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
3
j
-
i
+
I
‍
∑
h
=
3
l
‍
Δ
2
γ
h
+
2
.
The representation (54) differs from that of (49) in a subtle way. The three reference points for the levels of the predictor are chosen in the corner i
=
I, j
=
1. From this corner period and cohort indices increase, while age decreases. Hence, the age double differences Δ
2
α
i are now cumulated backwards. This phenomenon arises because the cohort index is the difference of the principal indices of age and period, whereas for the age-cohort array the period index is the sum of the principal indices of age and cohort. The predictor is now μ
=
X
ξ where, with h
(
t
,
s
)
=
max
⁡
(
t
-
s
+
1,0
),
(55)
ξ
=
(
Δ
2
β
J
,
Δ
2
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
c
c
c
c
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(56)
X
i
j
=
{
1
,
i
-
I
,
j
-
1
,
h
(
1
,
i
)
,
…
,
h
(
I
-
2
,
i
)
,
j
j
j
j
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
j
-
i
+
I
,
3
)
,
…
,
j
j
j
j
h
(
j
-
i
+
I
,
K
)
}
′
.
The identification relies on Theorem 4. It is specialised to age-period arrays as follows.Theorem 6 (see [24, Theorem 4.1]).
Letμ satisfy (53). The parameter ξ of (55) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (54);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).The group of transformations in (44) can be specialised as
(57)
g
:
(
α
i
β
j
γ
i
-
i
+
I
δ
)
⟼
(
α
i
+
a
+
d
i
β
j
+
b
-
d
j
γ
j
-
i
+
I
+
c
+
d
(
j
-
i
+
I
)
δ
-
a
-
b
-
c
-
d
I
)
xxxxxxxxxxxxlxxxxxhhhx
kk
b
for
θ
∈
Θ
=
R
2
(
I
+
J
)
;
see, for instance, Carstensen [29]. This is of the form (8) with ζ
=
(
a
,
b
,
c
,
d
)
′ and
(58)
A
⊥
′
=
(
1
1
⋯
1
-
1
1
1
⋯
1
-
1
1
1
⋯
1
-
1
1
2
⋯
I
-
1
-
2
⋯
-
J
1
2
⋯
K
-
I
)
.


## 5.2.3. Period-Cohort Arrays

An age-period data arrays is rectangular in the age and cohort indices and given by(59)
I
pc
=
{
(
j
,
k
)
:
j
=
1
,
…
,
J
,
k
=
1
,
…
,
K
}
.
Consequently, the age index i
=
j
-
k
+
K varies over i
=
1
,
…
,
I
=
J
+
K
-
1. Keiding [20] refers to this Lexis diagram as the second principal set of death. Age-period arrays are commonly used in prospective cohort studies in epidemiology and in sociology. The analysis is similar to that of age-period arrays when swapping the role of age and cohort.The age-period-cohort model for the age-cohort arrays is parametrised by(60)
μ
j
k
=
α
j
-
k
+
1
+
β
j
+
γ
k
+
δ
for
j
,
k
∈
I
ap
.
The time effect θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
J
,
γ
1
,
…
,
γ
K
,
δ
)
′ now varies in Θ
=
R
2
(
J
+
K
). A representation of the predictor μ in terms of the canonical parameter ξ is now
(61)
μ
j
k
=
μ
1
K
+
(
j
-
1
)
(
μ
2
K
-
μ
1
K
)
+
(
k
-
K
)
(
μ
1
K
-
μ
1
,
K
-
1
)
+
∑
l
=
3
j
-
k
+
1
‍
∑
h
=
3
l
‍
Δ
2
α
h
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
+
∑
l
=
i
K
-
2
‍
∑
h
=
l
K
-
2
‍
Δ
2
γ
h
+
2
.
Thus, the canonical parameter and the design matrix are given by
(62)
ξ
=
(
β
3
μ
1
K
,
μ
2
K
-
μ
1
K
,
μ
1
K
-
μ
1
,
K
-
1
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
d
d
k
Δ
2
β
3
,
…
,
Δ
2
β
J
,
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
′
,
(63)
X
j
k
=
{
1
,
j
-
1
,
k
-
K
,
h
(
j
-
k
+
1,3
)
,
…
,
h
(
j
-
k
+
1
,
I
)
,
f
f
l
h
(
j
,
3
)
,
…
,
h
(
j
,
J
)
,
h
(
1
,
k
)
,
…
,
h
(
K
-
2
,
k
)
}
′
.
In parallel with Theorem 6 we then have the following identification result.Theorem 7.
Letμ satisfy (60). The parameter ξ of (62) satisfies the following:(i)
ξ is a function of θ which is invariant to the group g in (44);
(ii)
μ is a function of ξ, because of (61);
(iii)
the parametrisation ofμ by ξ is exactly identified in that ξ
†
≠
ξ
‡
⇒
μ
(
ξ
†
)
≠
μ
(
ξ
‡
).


## 5.3. Expressing the Age-Cohort Model as a Hypothesis

It is often of interest to test the absence of the period effect. An application to analysing asbestos related mortality can be found in Miranda et al. [24].The hypothesis is thatβ
1
=
⋯
=
β
J, when expressed in terms of the time effect parameters. The restricted model is given by, with k
=
j
-
i
+
I,
(64)
μ
i
j
ac
=
α
i
+
γ
j
-
i
+
I
+
δ
for
i
,
j
∈
I
ap
.The identification problem simplifies to a question of determining the levels ofα
i and γ
k. Therefore the (log) relative risk parameters Δ
α
i are identified as pointed out by Clayton and Schifflers [30]. In this model the cohort index is present and keeps the difference of the principal age and period indices. Therefore the representation of the predictor involves backward cumulated age differences as before but with a subtle change of sign, so that (54) reduces to
(65)
μ
i
j
ac
=
μ
I
1
-
∑
l
=
i
I
-
1
‍
Δ
α
l
+
1
+
∑
l
=
2
k
‍
Δ
γ
l
.
As a consequence the canonical parameter and the design reduce to μ
i
j
ac
=
X
i
j
ac
ξ
i
j
ac, where
(66)
X
i
j
ac
=
{
1
,
-
1
(
1
≥
i
)
,
…
,
-
1
(
I
-
1
≥
i
)
,
1
(
k
≥
2
)
,
…
,
1
(
k
≥
K
)
}
,
(67)
ξ
ac
=
(
μ
I
1
,
Δ
α
2
,
…
,
Δ
α
I
,
Δ
γ
2
,
…
,
Δ
γ
K
)
′
.
Miranda et al. [24, Theorem 4.2] establish an identification result similar to Theorem 6.The age-cohort model can also be formulated as a hypothesis on the maximal invariantξ in the age-period-cohort model following Section 2.4.3. The period effects Δ
2
β
j are set to zero through H
′
ξ
=
0, where H
′
=
(
0
,
I
J
-
2
,
0
). Applying this to the expression for ξ in (55) gives
(68)
ξ
H
=
H
¯
⊥
′
ξ
=
(
μ
I
1
,
Δ
α
I
-
Δ
γ
2
,
Δ
γ
2
,
Δ
2
α
3
,
…
,
Δ
2
α
I
,
h
h
h
h
h
h
h
h
h
Δ
2
γ
3
,
…
,
Δ
2
γ
K
)
,
since in the absence of period effects; then μ
I
1
-
μ
I
-
1,1
=
Δ
α
I
-
Δ
γ
2 and μ
I
2
-
μ
I
1
=
Δ
γ
2. The double differences cumulate to first differences through ∑
i
=
3
I
Δ
2
α
i
=
Δ
α
I
-
Δ
α
2, so the above expression ξ
H is seen to be a linear transformation of ξ
ac in (67). In other words the age-cohort model arises from the age-period-cohort model by restricting the maximal invariant parameter.


## 5.4. Working with the Time Effect

There is a large literature seeking to identify the original time effectsα
i, β
j, and γ
k of the age-period-cohort model from the predictor. Here we look closer at some of those ad hoc identification proposals.


### 5.4.1. Ad Hoc Identification of Levels

For the age-period-cohort model it is popular to impose ad hoc identifications in two steps of the type discussed in Section3.3. Here the first step is concerned with the level of the time effects and the second step is concerned with the linear trend. Examples are given in Sections 5.4.2 and 5.5.4.A common first step ad hoc identification is to require that(69)
∑
i
=
1
I
‍
α
i
=
∑
j
=
1
J
‍
β
j
=
∑
k
=
1
K
‍
γ
k
=
0
.
This ad hoc identification is specific to the chosen data range. For instance, the constraint ∑
i
=
1
I
α
i
=
0 is not easily transferable to a different data set drawn from the same population but with a different set of age groups. This aspect would have to be kept in mind if a substantive motivation was to be found for this constraint. Other ad hoc identification schemes such as α
I
=
β
J
=
γ
K
=
0 have similar problems.The constraint (69) is a special case of affine constraints of the form C
′
θ
C
=
ψ discussed in Section 3.3. The involved dimensions are q
=
2
(
I
+
J
) and p
=
q
-
4, while the number of constrains is q
-
q
C
=
3. The matrix C
′
∈
R
(
q
-
q
C
)
×
q is given by the top left {
3
×
(
q
-
1
)
}-block of A
⊥
′ in (58) padded with a column of zeros, while ψ
∈
R
3 is given by ψ
=
0. Theorem 1 shows that m
=
A
⊥
′
C
∈
R
(
q
-
p
)
×
(
q
-
q
c
) has full rank. Indeed, m and its orthogonal complement are given by
(70)
m
=
A
⊥
′
C
=
(
I
0
0
0
J
0
0
0
K
I
i
˘
-
J
j
˘
K
k
˘
)
,
m
⊥
=
(
-
i
˘
j
˘
-
k
˘
1
)
,
where, for instance, i
˘
=
I
-
1
∑
i
=
1
I
i
=
(
I
+
1
)
/
2. Thus, the constrained group of equivalence classes (27) is
(71)
g
C
:
(
α
i
β
j
γ
k
δ
)
⟼
{
α
i
+
d
(
i
-
i
˘
)
β
j
-
d
(
j
-
j
˘
)
γ
k
+
d
(
k
-
k
˘
)
δ
}
xxxxxxxxxx
for
θ
∈
Θ
C
.


### 5.4.2. Ad Hoc Identification of Slopes: The “Intrinsic” Estimator

The “intrinsic” estimator is a popular estimator in the sociology literature; see Yang et al. [4] and see also O’Brien [31, 32] and Fu et al. [33] for a recent discussion of its merits. It has its roots in a suggestion by Kupper et al. [34], with an early critique given by Holford [35].The “intrinsic” estimator is defined in two steps. In the first step, the levels are identified by the ad hoc constraint (69). Three of the θ-coordinates are then dropped; that is α
I, β
J, and γ
K are dropped. In a second step the linear trend is ad hoc identified using a Moore-Penrose inverse as in (23).We can analyse these steps using the developed framework. The first step identifies the levels by the ad hoc constraint (69), which is a constraint of the form C
′
θ
=
0 for the C discussed in Section 5.4.1. This θ is defined on Θ
C which is a linear subspace with a dimension deficiency of 3. Introduce a selection matrix S
⊥
∈
R
q
×
(
q
-
3
) that selects all coordinates of θ except α
I, β
J, and γ
K. Thus S
⊥ arises as a q-dimensional with 3 columns deleted corresponding to α
I, β
J, and γ
K. This is chosen so that (
C
,
S
⊥
) is invertible. Then S
⊥
′
θ is freely varying in that S
⊥
′
Θ
C
=
R
q
-
3. The skew projection identity I
q
=
S
(
C
′
S
)
-
1
C
′
+
C
⊥
(
S
⊥
′
C
⊥
)
-
1
S
⊥
′ and the constraint C
′
θ
=
0 then implies that θ
=
C
S
ϑ where C
S
⊥
=
C
⊥
(
S
⊥
′
C
⊥
)
-
1 and ϑ
=
S
⊥
′
θ
∈
R
q
-
3. Note that while C
S
⊥ depends on S
⊥ and C
⊥, it does not depend on the normalisation of C
⊥, since we can replace C
⊥ by C
⊥
m for arbitrary invertible matrices m
∈
R
(
q
-
3
)
×
(
q
-
3
). This implies that C
S is a function of S
⊥ and C. The predictor μ is now parametrised by μ
=
X
A
′
θ
=
X
A
C
′
ϑ with A
C
′
=
A
′
C
S. This corresponds to equation 5 of Yang et al. [4] who use the notation X and b for X
A
C
′ and ϑ, respectively.In the second step the linear trend is ad hoc identified through a time effect parameter of the form (23) with A, θ replaced by A
C, ϑ so that θ
ad
.
hoc
=
C
⊥
ϑ
ad
.
hoc where ϑ
ad
.
hoc
=
L
⊥
(
A
C
′
L
⊥
)
-
1
ξ
+
(
A
C
)
⊥
{
L
′
(
A
C
)
⊥
}
-
1
λ for some scalar λ and some matrix L
⊥
∈
R
(
q
-
3
)
×
p.The “intrinsic” estimator is ad hoc identified through the choicesλ
=
0 and L
⊥
=
A
C, while C is chosen by (69). It therefore estimates an “intrinsic” parameter:
(72)
θ
intrinsic
=
C
S
⊥
C
S
⊥
′
A
(
A
′
C
S
⊥
C
S
⊥
′
A
)
-
1
ξ
,
which depends on the choices of S
⊥
′, C, and A
⊥. However, since we can replace C
⊥ by C
⊥
m for arbitrary invertible matrices m
∈
R
(
q
-
3
)
×
(
q
-
3
) without changing θ
intrinsic the expression θ
intrinsic does not depend on the normalisation of C
⊥. The “intrinsic” parameter satisfies the following result.Theorem 8.
The “intrinsic” parameter is an injective mapping of the canonical parameterξ
∈
R
p into a p
=
q
-
4 dimensional linear subspace Θ
intrinsic of Θ
=
R
q. The “intrinsic” time effect space is a p-dimensional linear subspace of R
q of the form
(73)
Θ
intrinsic
=
{
θ
∈
R
q
:
θ
=
C
S
⊥
C
S
⊥
′
A
(
A
′
C
S
⊥
C
S
⊥
′
A
)
-
1
ξ
f
o
r
ξ
∈
R
p
}
,
=
{
θ
∈
R
q
:
C
′
θ
=
0
,
w
′
(
C
⊥
′
S
⊥
)
(
S
⊥
′
C
⊥
)
C
¯
⊥
′
θ
=
0
}
,
where w
∈
R
q
-
3 is uniquely defined up to a scale by w
′
C
⊥
′
A
=
0.Theorem8 implies that the “intrinsic” parameter should be interpreted as an object varying in the linear subspace Θ
intrinsic rather than in the unrestricted time effect space Θ
=
R
q. As outlined in Section 3.4 this has consequences for the interpretation of plots of the time effects, hypothesis testing, and forecasts. A consequence of this argument is that different choices of C, S
⊥, L, and λ would lead to other ad hoc identified parameters varying in other affine subspaces of Θ. In other words, the “intrinsic” estimator carries the cost of working with the somewhat complicated linear subspace Θ
intrinsic. This effort may be worthwhile if the particular choice of C, S
⊥, L, and λ can be made on substantive grounds.


### 5.4.3. Forecasting

Forecasting of future mortality rates involves an extrapolation of the time parameters. In Section2.4.4 it was argued that ad hoc identification may introduce an undesirable arbitrariness in the forecast. When working exclusively with the canonical parameter ξ this arbitrariness is avoided. It is, however, also possible to work with ad hoc identified time effects under specific circumstances that we characterise here for age-period arrays. This builds on the theory developed in Kuang et al. [25] for age-cohort data arrays.In the context of an age-period data arrayI
ap it is often of interest to forecast h periods ahead. Suppose it is of interest to forecast the mortality at age i in period J
+
h, so that the cohort is k
=
I
+
J
+
h
-
i. This requires an extrapolation of the period effect. If the cohort index is sufficiently large, that is, k
>
K, then the cohort effect needs to be extrapolated too. Thus, there are two forecast index arrays of interest:
(74)
J
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
;
j
=
J
+
1
,
…
,
J
+
h
;
k
≤
K
}
,
K
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
;
j
=
J
+
1
,
…
,
J
+
h
;
k
>
K
}
.
Figure 2 illustrates these forecast index arrays.Figure 2
I
ap is the data array. J
ap
,
1 is the forecast array where only period parameters need to be extrapolated. J
2 is the forecast array where both period and cohort parameters need to be extrapolated. Cohorts are indicated by dashed lines.Identification plays a role when extrapolating the estimates obtained on the data arrayI
ap. The identification issues can be ignored if the investigator simply extrapolates Δ
2
β
j and Δ
2
γ
k. In the context of ad hoc identified time effects arbitrary linear trends are introduced in the model. The forecast of the predictor μ
i
,
J
+
h is invariant to these if and only if the chosen extrapolation method for β
j, γ
k preserves these linear trends so that they can cancel with the arbitrary linear trend in α
i. The next result gives a precise formulation of this statement. It applies both to point forecasts and distribution forecasts.Theorem 9.
Consider the predictorμ
i
j for i
,
j
∈
I
ap as given in (53). Suppose the time effects α
i, β
j, and γ
k are ad hoc identified. Consider the class of h periods-ahead forecasts over J
ap constructed as μ
~
i
,
J
+
h
=
α
^
i
+
β
~
J
+
h
+
γ
~
I
+
J
+
h
-
i
+
δ
^, where β
~
J
+
h
+
γ
~
I
+
J
+
h
-
i is a function of the ad hoc identified estimate θ
^. Let g be the group (57). Invariance of the forecast μ
~
i
,
J
+
h with respect to the ad hoc identification is equivalent to either of the following:(i)
the extrapolation method for period and cohort effects is linear trend-preserving:(75)
β
~
J
+
h
(
θ
^
)
+
γ
~
I
+
J
+
h
-
i
(
θ
^
)
=
[
β
~
J
+
h
{
g
(
θ
^
)
}
-
b
+
d
(
J
+
h
)
]
+
[
γ
~
I
+
J
+
h
-
i
{
g
(
θ
^
)
}
-
c
-
d
(
I
+
J
+
h
-
i
)
]
fffffffffffffffffffffffffffffffffffffff
f
dd
∀
b
,
c
,
d
∈
R
;
(ii)
functionsf
β, f
γ exist so that with ξ
^
β
,
γ
=
(
Δ
2
β
^
3
,
…
,
Δ
2
β
^
J
,
Δ
2
γ
^
3
,
…
,
Δ
2
γ
^
K
)
′; then
(76)
β
~
J
+
h
(
θ
^
)
+
γ
~
I
+
J
+
h
-
i
(
θ
^
)
=
{
β
^
J
+
h
Δ
β
^
J
+
f
β
(
ξ
^
)
}
+
{
γ
^
K
+
(
h
-
i
+
1
)
Δ
γ
^
K
+
f
γ
(
ξ
^
)
}
.To illustrate the use of Theorem9 consider the extrapolation methods β
~
J
+
h
=
β
^
J and Δ
β
~
J
+
h
=
Δ
β
^
J. The first forecast is a random walk forecast and it is seen to violate (ii). The second forecast is a cumulated random walk and satisfies (ii). The reason is that β
J
+
h
=
β
J
+
∑
l
=
1
h
Δ
β
J
+
l. Since Δ
β
~
J
+
l
=
Δ
β
^
J, then β
~
J
+
h
=
β
^
J
+
h
Δ
β
^
J. Further examples of forecasts that are linear trend-preserving as well as some which are not are given Kuang et al. [25, Table 1].Kuang, Nielsen, and Nielsen [10] apply this to reserving data organised in an age-cohort array I
ac and discuss the issue of robustification of forecast with respect to structural breaks at the forecast origin. Miranda et al. [24] give an application to asbestos related mortality using an age-period array I
ap.


### 5.4.4. Bayesian Ad Hoc Identification Using a Dynamic Prior

A Bayesian ad hoc identification using a dynamic prior does not solve the identification problem as discussed in Section4 and the same care has to be exercised to avoid the problems outlined in Section 3.4. Berzuini and Clayton [6] suggest such an ad hoc identification approach. On page 831 they write “Identificability problems may be solved by imposing an arbitrary linear constraint on the log-linear trend components of age, period and cohort effects. Happily, such an arbitrary constraint has no effect on the predictions of the model.” The previous analysis suggests that this is far from innocent.The Berzuini-Clayton suggestion is to ad hoc identify the model (53) through
(77)
α
i
=
α
1
+
α
2
i
+
∑
l
=
3
i
‍
∑
h
=
3
l
‍
Δ
2
α
h
,
β
j
=
β
1
+
β
2
j
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
,
γ
k
=
γ
1
+
γ
2
k
+
∑
l
=
3
k
‍
∑
h
=
3
l
‍
Δ
2
γ
h
,
δ
=
0
.
A dynamic prior is chosen so that the double differences Δ
2
α
i, Δ
2
β
j, and Δ
2
γ
k are independent zero mean normal with variances ϕ
=
(
σ
α
2
,
σ
β
2
,
σ
γ
2
) that have χ
2-type prior. The purpose of this is in part to facilitate extrapolations Δ
2
α
i, Δ
2
β
j, and Δ
2
γ
k for i
>
I, j
>
J, and k
>
K, which is done through further draws from normal distributions. The level/trend effects θ
level
=
(
α
1
,
α
2
,
β
1
,
β
2
,
γ
1
,
γ
2
)
′ have independent uniform priors on some large intervals.We will analyse the Berzuini-Clayton model as applied to an age-period data arrayI
ap. Decompose the canonical parameter ξ from (54) into two parts: the slope and level parameters, say ξ
μ
=
(
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
)
′, and the collection of double differences, say ξ
Δ. The assumed prior for ξ
Δ is a simple collection of independent normal distributions with variances ϕ. The assumed prior for ξ
μ is a linear combination of not only the independent uniform variables θ
level, but also on ξ
Δ, since the age double differences Δ
2
α
i are cumulated backwards in (54), but forwards in (77). Thus, the prior for ξ
=
(
ξ
μ
′
,
ξ
Δ
′
)
′ depends on the θ
level construction.We get a hyper-parameterλ
hyper
=
(
λ
,
ϕ
), where λ is some three-dimensional ad hoc identified level/trend effect dependent on θ
level
,
ξ
Δ. We will argue that the ad hoc identified level/trend effect λ will wash out in the Berzuini-Clayton model. However, the level/trend parameter ξ
μ is a function of the θ
level construction that is tailored to the ad hoc identification. That construction remains in the analysis.In the presentation of the posterior Berzuini and Clayton are careful only to consider the double differencesξ
Δ and stay clear of the ad hoc identified level/trend effect θ
level. Theorem 2 yields the posterior p
(
ξ
∣
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
)
/
p
(
y
). Thus, the marginal posterior for the double differences is p
(
ξ
Δ
∣
y
)
=
∫
‍
p
(
y
∣
ξ
Δ
,
ξ
μ
)
p
(
ξ
Δ
,
ξ
μ
)
d
ξ
μ
/
p
(
y
). This links ξ
Δ to ξ
μ and in turn to the θ
level construction.The extrapolative method is based on double differences so it only depends onλ
hyper through ϕ due to Theorem 9 and the subsequent discussion. Thus, the extrapolative method is of the form p
(
μ
~
∣
ξ
,
λ
hyper
,
y
)
=
p
(
μ
~
∣
ξ
,
ϕ
,
y
). By construction it does not reduce to p
(
μ
~
∣
ξ
,
y
) so that condition (39) for Theorem 3 is not satisfied. The distribution forecast is of the form
(78)
p
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
ϕ
,
y
)
p
(
ξ
∣
y
)
p
(
ϕ
∣
ξ
)
d
ϕ
d
ξ
,
which, apart from depending on the θ
level construction, also depends on the conditional prior p
(
ϕ
∣
ξ
), which is not updated by the likelihood.In summary, it appears that the Berzuini-Clayton analysis depends on theθ
level construction as well as the conditional prior p
(
ϕ
∣
ξ
). The dependence on the θ
level construction could of course be addressed by introducing priors directly on ξ
μ, which in turn would be updated by the likelihood. Since the conditional prior p
(
ϕ
∣
ξ
) cannot be updated by the likelihood that its sole justification rests on the substantial context.


### 5.4.5. A Functional Form Hypothesis

It is instructive to consider functional form restrictions on the time effects. Such hypotheses can be analysed using the results outlined in Section3.4.2. As an example restrict the age effect to be quadratic in a similar way to Yang and Land [5] so that
(79)
α
i
=
σ
0
+
σ
1
i
+
σ
2
i
2
for
i
=
1
,
…
,
I
.This restriction on the time effect can be analysed by writing it on the formR
′
θ
=
ρ, see (28), and then applying Theorem A.3. Alternatively, in this particular case, we can show that the restriction actually only affects the ad hoc identified time effect through the canonical parameter, so a simpler analysis can be made.A quadratic polynomial has constant second order derivative. Therefore the restriction (79) implies
(80)
Δ
2
α
i
=
2
σ
2
for
i
=
3
,
…
,
I
.
This expression has one free parameter. Thus, it is useful to consider the third order difference:
(81)
Δ
3
α
i
=
Δ
2
α
i
-
Δ
2
α
i
-
1
=
0
for
i
=
4
,
…
,
I
.
This gives I
-
3 linear restrictions on the canonical parameter. The age time effect α
i then has three remaining parameters, say α
1, α
2, and α
3. These are freely varying since the parameters σ
0, σ
1, and σ
2 are freely varying.If the constraint is imposed directly on the canonical parameter, the restricted model is a regular exponential family with the advantages outlined in Section2.4. However, if the analysis is done with the time effect the levels and trend will have to be ad hoc identified while bearing in mind the issues discussed above.


### 5.4.6. The “Hierarchical Age-Period Cohort Regression Model”

In some cases a random effects approach can be used to get an overview of the many parameters of the age-period model. When applied to the time effects this implies an ad hoc identification. An example is the “hierarchical age-period cohort regression model” by Yang and Land [5]. In that paper the age effect is given a quadratic structure, but that does not have to be the case. The model is then given by
(82)
α
i
=
σ
0
+
σ
1
i
+
σ
2
i
2
,
β
j
=
D
N
(
0
,
σ
β
2
)
,
γ
k
=
D
N
(
0
,
σ
γ
2
)
,
δ
=
0
.
Since random effects are only introduced for some of the time effects, the analysis of Section 4.3 has to modified in a similar way to the analysis in Section 5.4.4.From (80) it is seen that the model restricts Δ
2
α
i
=
2
σ
2. Thus, divide the canonical parameter ξ into three elements: the slope and level parameters, say ξ
μ
=
(
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
)
′, the age-double differences ξ
α
=
(
Δ
2
α
3
,
…
,
Δ
2
α
I
), and the remaining double differences ξ
β
,
γ. Here ξ
α is restricted by the hypothesis 2
σ
2 and ξ
β
,
γ is linear function of the normal random effects, while ξ
μ is a three-dimensional linear function of σ
2 and of the six-dimensional object ν
=
(
σ
0
,
σ
1
,
β
1
,
β
2
,
γ
1
,
γ
2
)
′. This leaves a three-dimensional ad hoc identified level/slope parameter λ which is also a function of ν but not entering the likelihood. Let ψ
=
(
σ
0
,
σ
1
,
σ
2
,
σ
β
2
,
σ
γ
2
).The random effects likelihood are constructed in three steps. First, we have the usual age-period-cohort likelihoodp
(
y
∣
ξ
). Secondly, the random effects distribution for ξ
μ, ξ
β
,
γ, and λ is multivariate normal, while ξ
α is deterministic function of ψ. Thus, decompose the prior as p
(
ξ
μ
,
ξ
β
,
γ
,
λ
∣
ψ
)
=
p
(
ξ
μ
,
ξ
β
,
γ
∣
ψ
)
p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
). Thirdly, following Section 4.3 the random effects likelihood will not depend on p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
) and it is given by
(83)
p
(
y
∣
ψ
)
=
∫
‍
p
(
y
∣
ξ
α
,
ξ
μ
,
ξ
β
,
γ
)
p
(
ξ
α
,
ξ
μ
,
ξ
β
,
γ
∣
ψ
)
d
(
ξ
μ
,
ξ
β
,
γ
)
.
The prior p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
) is not updated by the data. Plots and inferences based on the posterior p
(
θ
∣
ψ
,
y
) will then suffer from the ad hoc identification issues outlined in Section 3.4.


## 5.4.1. Ad Hoc Identification of Levels

For the age-period-cohort model it is popular to impose ad hoc identifications in two steps of the type discussed in Section3.3. Here the first step is concerned with the level of the time effects and the second step is concerned with the linear trend. Examples are given in Sections 5.4.2 and 5.5.4.A common first step ad hoc identification is to require that(69)
∑
i
=
1
I
‍
α
i
=
∑
j
=
1
J
‍
β
j
=
∑
k
=
1
K
‍
γ
k
=
0
.
This ad hoc identification is specific to the chosen data range. For instance, the constraint ∑
i
=
1
I
α
i
=
0 is not easily transferable to a different data set drawn from the same population but with a different set of age groups. This aspect would have to be kept in mind if a substantive motivation was to be found for this constraint. Other ad hoc identification schemes such as α
I
=
β
J
=
γ
K
=
0 have similar problems.The constraint (69) is a special case of affine constraints of the form C
′
θ
C
=
ψ discussed in Section 3.3. The involved dimensions are q
=
2
(
I
+
J
) and p
=
q
-
4, while the number of constrains is q
-
q
C
=
3. The matrix C
′
∈
R
(
q
-
q
C
)
×
q is given by the top left {
3
×
(
q
-
1
)
}-block of A
⊥
′ in (58) padded with a column of zeros, while ψ
∈
R
3 is given by ψ
=
0. Theorem 1 shows that m
=
A
⊥
′
C
∈
R
(
q
-
p
)
×
(
q
-
q
c
) has full rank. Indeed, m and its orthogonal complement are given by
(70)
m
=
A
⊥
′
C
=
(
I
0
0
0
J
0
0
0
K
I
i
˘
-
J
j
˘
K
k
˘
)
,
m
⊥
=
(
-
i
˘
j
˘
-
k
˘
1
)
,
where, for instance, i
˘
=
I
-
1
∑
i
=
1
I
i
=
(
I
+
1
)
/
2. Thus, the constrained group of equivalence classes (27) is
(71)
g
C
:
(
α
i
β
j
γ
k
δ
)
⟼
{
α
i
+
d
(
i
-
i
˘
)
β
j
-
d
(
j
-
j
˘
)
γ
k
+
d
(
k
-
k
˘
)
δ
}
xxxxxxxxxx
for
θ
∈
Θ
C
.


## 5.4.2. Ad Hoc Identification of Slopes: The “Intrinsic” Estimator

The “intrinsic” estimator is a popular estimator in the sociology literature; see Yang et al. [4] and see also O’Brien [31, 32] and Fu et al. [33] for a recent discussion of its merits. It has its roots in a suggestion by Kupper et al. [34], with an early critique given by Holford [35].The “intrinsic” estimator is defined in two steps. In the first step, the levels are identified by the ad hoc constraint (69). Three of the θ-coordinates are then dropped; that is α
I, β
J, and γ
K are dropped. In a second step the linear trend is ad hoc identified using a Moore-Penrose inverse as in (23).We can analyse these steps using the developed framework. The first step identifies the levels by the ad hoc constraint (69), which is a constraint of the form C
′
θ
=
0 for the C discussed in Section 5.4.1. This θ is defined on Θ
C which is a linear subspace with a dimension deficiency of 3. Introduce a selection matrix S
⊥
∈
R
q
×
(
q
-
3
) that selects all coordinates of θ except α
I, β
J, and γ
K. Thus S
⊥ arises as a q-dimensional with 3 columns deleted corresponding to α
I, β
J, and γ
K. This is chosen so that (
C
,
S
⊥
) is invertible. Then S
⊥
′
θ is freely varying in that S
⊥
′
Θ
C
=
R
q
-
3. The skew projection identity I
q
=
S
(
C
′
S
)
-
1
C
′
+
C
⊥
(
S
⊥
′
C
⊥
)
-
1
S
⊥
′ and the constraint C
′
θ
=
0 then implies that θ
=
C
S
ϑ where C
S
⊥
=
C
⊥
(
S
⊥
′
C
⊥
)
-
1 and ϑ
=
S
⊥
′
θ
∈
R
q
-
3. Note that while C
S
⊥ depends on S
⊥ and C
⊥, it does not depend on the normalisation of C
⊥, since we can replace C
⊥ by C
⊥
m for arbitrary invertible matrices m
∈
R
(
q
-
3
)
×
(
q
-
3
). This implies that C
S is a function of S
⊥ and C. The predictor μ is now parametrised by μ
=
X
A
′
θ
=
X
A
C
′
ϑ with A
C
′
=
A
′
C
S. This corresponds to equation 5 of Yang et al. [4] who use the notation X and b for X
A
C
′ and ϑ, respectively.In the second step the linear trend is ad hoc identified through a time effect parameter of the form (23) with A, θ replaced by A
C, ϑ so that θ
ad
.
hoc
=
C
⊥
ϑ
ad
.
hoc where ϑ
ad
.
hoc
=
L
⊥
(
A
C
′
L
⊥
)
-
1
ξ
+
(
A
C
)
⊥
{
L
′
(
A
C
)
⊥
}
-
1
λ for some scalar λ and some matrix L
⊥
∈
R
(
q
-
3
)
×
p.The “intrinsic” estimator is ad hoc identified through the choicesλ
=
0 and L
⊥
=
A
C, while C is chosen by (69). It therefore estimates an “intrinsic” parameter:
(72)
θ
intrinsic
=
C
S
⊥
C
S
⊥
′
A
(
A
′
C
S
⊥
C
S
⊥
′
A
)
-
1
ξ
,
which depends on the choices of S
⊥
′, C, and A
⊥. However, since we can replace C
⊥ by C
⊥
m for arbitrary invertible matrices m
∈
R
(
q
-
3
)
×
(
q
-
3
) without changing θ
intrinsic the expression θ
intrinsic does not depend on the normalisation of C
⊥. The “intrinsic” parameter satisfies the following result.Theorem 8.
The “intrinsic” parameter is an injective mapping of the canonical parameterξ
∈
R
p into a p
=
q
-
4 dimensional linear subspace Θ
intrinsic of Θ
=
R
q. The “intrinsic” time effect space is a p-dimensional linear subspace of R
q of the form
(73)
Θ
intrinsic
=
{
θ
∈
R
q
:
θ
=
C
S
⊥
C
S
⊥
′
A
(
A
′
C
S
⊥
C
S
⊥
′
A
)
-
1
ξ
f
o
r
ξ
∈
R
p
}
,
=
{
θ
∈
R
q
:
C
′
θ
=
0
,
w
′
(
C
⊥
′
S
⊥
)
(
S
⊥
′
C
⊥
)
C
¯
⊥
′
θ
=
0
}
,
where w
∈
R
q
-
3 is uniquely defined up to a scale by w
′
C
⊥
′
A
=
0.Theorem8 implies that the “intrinsic” parameter should be interpreted as an object varying in the linear subspace Θ
intrinsic rather than in the unrestricted time effect space Θ
=
R
q. As outlined in Section 3.4 this has consequences for the interpretation of plots of the time effects, hypothesis testing, and forecasts. A consequence of this argument is that different choices of C, S
⊥, L, and λ would lead to other ad hoc identified parameters varying in other affine subspaces of Θ. In other words, the “intrinsic” estimator carries the cost of working with the somewhat complicated linear subspace Θ
intrinsic. This effort may be worthwhile if the particular choice of C, S
⊥, L, and λ can be made on substantive grounds.


## 5.4.3. Forecasting

Forecasting of future mortality rates involves an extrapolation of the time parameters. In Section2.4.4 it was argued that ad hoc identification may introduce an undesirable arbitrariness in the forecast. When working exclusively with the canonical parameter ξ this arbitrariness is avoided. It is, however, also possible to work with ad hoc identified time effects under specific circumstances that we characterise here for age-period arrays. This builds on the theory developed in Kuang et al. [25] for age-cohort data arrays.In the context of an age-period data arrayI
ap it is often of interest to forecast h periods ahead. Suppose it is of interest to forecast the mortality at age i in period J
+
h, so that the cohort is k
=
I
+
J
+
h
-
i. This requires an extrapolation of the period effect. If the cohort index is sufficiently large, that is, k
>
K, then the cohort effect needs to be extrapolated too. Thus, there are two forecast index arrays of interest:
(74)
J
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
;
j
=
J
+
1
,
…
,
J
+
h
;
k
≤
K
}
,
K
ap
=
{
(
i
,
j
)
:
i
=
1
,
…
,
I
;
j
=
J
+
1
,
…
,
J
+
h
;
k
>
K
}
.
Figure 2 illustrates these forecast index arrays.Figure 2
I
ap is the data array. J
ap
,
1 is the forecast array where only period parameters need to be extrapolated. J
2 is the forecast array where both period and cohort parameters need to be extrapolated. Cohorts are indicated by dashed lines.Identification plays a role when extrapolating the estimates obtained on the data arrayI
ap. The identification issues can be ignored if the investigator simply extrapolates Δ
2
β
j and Δ
2
γ
k. In the context of ad hoc identified time effects arbitrary linear trends are introduced in the model. The forecast of the predictor μ
i
,
J
+
h is invariant to these if and only if the chosen extrapolation method for β
j, γ
k preserves these linear trends so that they can cancel with the arbitrary linear trend in α
i. The next result gives a precise formulation of this statement. It applies both to point forecasts and distribution forecasts.Theorem 9.
Consider the predictorμ
i
j for i
,
j
∈
I
ap as given in (53). Suppose the time effects α
i, β
j, and γ
k are ad hoc identified. Consider the class of h periods-ahead forecasts over J
ap constructed as μ
~
i
,
J
+
h
=
α
^
i
+
β
~
J
+
h
+
γ
~
I
+
J
+
h
-
i
+
δ
^, where β
~
J
+
h
+
γ
~
I
+
J
+
h
-
i is a function of the ad hoc identified estimate θ
^. Let g be the group (57). Invariance of the forecast μ
~
i
,
J
+
h with respect to the ad hoc identification is equivalent to either of the following:(i)
the extrapolation method for period and cohort effects is linear trend-preserving:(75)
β
~
J
+
h
(
θ
^
)
+
γ
~
I
+
J
+
h
-
i
(
θ
^
)
=
[
β
~
J
+
h
{
g
(
θ
^
)
}
-
b
+
d
(
J
+
h
)
]
+
[
γ
~
I
+
J
+
h
-
i
{
g
(
θ
^
)
}
-
c
-
d
(
I
+
J
+
h
-
i
)
]
fffffffffffffffffffffffffffffffffffffff
f
dd
∀
b
,
c
,
d
∈
R
;
(ii)
functionsf
β, f
γ exist so that with ξ
^
β
,
γ
=
(
Δ
2
β
^
3
,
…
,
Δ
2
β
^
J
,
Δ
2
γ
^
3
,
…
,
Δ
2
γ
^
K
)
′; then
(76)
β
~
J
+
h
(
θ
^
)
+
γ
~
I
+
J
+
h
-
i
(
θ
^
)
=
{
β
^
J
+
h
Δ
β
^
J
+
f
β
(
ξ
^
)
}
+
{
γ
^
K
+
(
h
-
i
+
1
)
Δ
γ
^
K
+
f
γ
(
ξ
^
)
}
.To illustrate the use of Theorem9 consider the extrapolation methods β
~
J
+
h
=
β
^
J and Δ
β
~
J
+
h
=
Δ
β
^
J. The first forecast is a random walk forecast and it is seen to violate (ii). The second forecast is a cumulated random walk and satisfies (ii). The reason is that β
J
+
h
=
β
J
+
∑
l
=
1
h
Δ
β
J
+
l. Since Δ
β
~
J
+
l
=
Δ
β
^
J, then β
~
J
+
h
=
β
^
J
+
h
Δ
β
^
J. Further examples of forecasts that are linear trend-preserving as well as some which are not are given Kuang et al. [25, Table 1].Kuang, Nielsen, and Nielsen [10] apply this to reserving data organised in an age-cohort array I
ac and discuss the issue of robustification of forecast with respect to structural breaks at the forecast origin. Miranda et al. [24] give an application to asbestos related mortality using an age-period array I
ap.


## 5.4.4. Bayesian Ad Hoc Identification Using a Dynamic Prior

A Bayesian ad hoc identification using a dynamic prior does not solve the identification problem as discussed in Section4 and the same care has to be exercised to avoid the problems outlined in Section 3.4. Berzuini and Clayton [6] suggest such an ad hoc identification approach. On page 831 they write “Identificability problems may be solved by imposing an arbitrary linear constraint on the log-linear trend components of age, period and cohort effects. Happily, such an arbitrary constraint has no effect on the predictions of the model.” The previous analysis suggests that this is far from innocent.The Berzuini-Clayton suggestion is to ad hoc identify the model (53) through
(77)
α
i
=
α
1
+
α
2
i
+
∑
l
=
3
i
‍
∑
h
=
3
l
‍
Δ
2
α
h
,
β
j
=
β
1
+
β
2
j
+
∑
l
=
3
j
‍
∑
h
=
3
l
‍
Δ
2
β
h
,
γ
k
=
γ
1
+
γ
2
k
+
∑
l
=
3
k
‍
∑
h
=
3
l
‍
Δ
2
γ
h
,
δ
=
0
.
A dynamic prior is chosen so that the double differences Δ
2
α
i, Δ
2
β
j, and Δ
2
γ
k are independent zero mean normal with variances ϕ
=
(
σ
α
2
,
σ
β
2
,
σ
γ
2
) that have χ
2-type prior. The purpose of this is in part to facilitate extrapolations Δ
2
α
i, Δ
2
β
j, and Δ
2
γ
k for i
>
I, j
>
J, and k
>
K, which is done through further draws from normal distributions. The level/trend effects θ
level
=
(
α
1
,
α
2
,
β
1
,
β
2
,
γ
1
,
γ
2
)
′ have independent uniform priors on some large intervals.We will analyse the Berzuini-Clayton model as applied to an age-period data arrayI
ap. Decompose the canonical parameter ξ from (54) into two parts: the slope and level parameters, say ξ
μ
=
(
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
)
′, and the collection of double differences, say ξ
Δ. The assumed prior for ξ
Δ is a simple collection of independent normal distributions with variances ϕ. The assumed prior for ξ
μ is a linear combination of not only the independent uniform variables θ
level, but also on ξ
Δ, since the age double differences Δ
2
α
i are cumulated backwards in (54), but forwards in (77). Thus, the prior for ξ
=
(
ξ
μ
′
,
ξ
Δ
′
)
′ depends on the θ
level construction.We get a hyper-parameterλ
hyper
=
(
λ
,
ϕ
), where λ is some three-dimensional ad hoc identified level/trend effect dependent on θ
level
,
ξ
Δ. We will argue that the ad hoc identified level/trend effect λ will wash out in the Berzuini-Clayton model. However, the level/trend parameter ξ
μ is a function of the θ
level construction that is tailored to the ad hoc identification. That construction remains in the analysis.In the presentation of the posterior Berzuini and Clayton are careful only to consider the double differencesξ
Δ and stay clear of the ad hoc identified level/trend effect θ
level. Theorem 2 yields the posterior p
(
ξ
∣
y
)
=
p
(
y
∣
ξ
)
p
(
ξ
)
/
p
(
y
). Thus, the marginal posterior for the double differences is p
(
ξ
Δ
∣
y
)
=
∫
‍
p
(
y
∣
ξ
Δ
,
ξ
μ
)
p
(
ξ
Δ
,
ξ
μ
)
d
ξ
μ
/
p
(
y
). This links ξ
Δ to ξ
μ and in turn to the θ
level construction.The extrapolative method is based on double differences so it only depends onλ
hyper through ϕ due to Theorem 9 and the subsequent discussion. Thus, the extrapolative method is of the form p
(
μ
~
∣
ξ
,
λ
hyper
,
y
)
=
p
(
μ
~
∣
ξ
,
ϕ
,
y
). By construction it does not reduce to p
(
μ
~
∣
ξ
,
y
) so that condition (39) for Theorem 3 is not satisfied. The distribution forecast is of the form
(78)
p
(
μ
~
∣
y
)
=
∬
p
(
μ
~
∣
ξ
,
ϕ
,
y
)
p
(
ξ
∣
y
)
p
(
ϕ
∣
ξ
)
d
ϕ
d
ξ
,
which, apart from depending on the θ
level construction, also depends on the conditional prior p
(
ϕ
∣
ξ
), which is not updated by the likelihood.In summary, it appears that the Berzuini-Clayton analysis depends on theθ
level construction as well as the conditional prior p
(
ϕ
∣
ξ
). The dependence on the θ
level construction could of course be addressed by introducing priors directly on ξ
μ, which in turn would be updated by the likelihood. Since the conditional prior p
(
ϕ
∣
ξ
) cannot be updated by the likelihood that its sole justification rests on the substantial context.


## 5.4.5. A Functional Form Hypothesis

It is instructive to consider functional form restrictions on the time effects. Such hypotheses can be analysed using the results outlined in Section3.4.2. As an example restrict the age effect to be quadratic in a similar way to Yang and Land [5] so that
(79)
α
i
=
σ
0
+
σ
1
i
+
σ
2
i
2
for
i
=
1
,
…
,
I
.This restriction on the time effect can be analysed by writing it on the formR
′
θ
=
ρ, see (28), and then applying Theorem A.3. Alternatively, in this particular case, we can show that the restriction actually only affects the ad hoc identified time effect through the canonical parameter, so a simpler analysis can be made.A quadratic polynomial has constant second order derivative. Therefore the restriction (79) implies
(80)
Δ
2
α
i
=
2
σ
2
for
i
=
3
,
…
,
I
.
This expression has one free parameter. Thus, it is useful to consider the third order difference:
(81)
Δ
3
α
i
=
Δ
2
α
i
-
Δ
2
α
i
-
1
=
0
for
i
=
4
,
…
,
I
.
This gives I
-
3 linear restrictions on the canonical parameter. The age time effect α
i then has three remaining parameters, say α
1, α
2, and α
3. These are freely varying since the parameters σ
0, σ
1, and σ
2 are freely varying.If the constraint is imposed directly on the canonical parameter, the restricted model is a regular exponential family with the advantages outlined in Section2.4. However, if the analysis is done with the time effect the levels and trend will have to be ad hoc identified while bearing in mind the issues discussed above.


## 5.4.6. The “Hierarchical Age-Period Cohort Regression Model”

In some cases a random effects approach can be used to get an overview of the many parameters of the age-period model. When applied to the time effects this implies an ad hoc identification. An example is the “hierarchical age-period cohort regression model” by Yang and Land [5]. In that paper the age effect is given a quadratic structure, but that does not have to be the case. The model is then given by
(82)
α
i
=
σ
0
+
σ
1
i
+
σ
2
i
2
,
β
j
=
D
N
(
0
,
σ
β
2
)
,
γ
k
=
D
N
(
0
,
σ
γ
2
)
,
δ
=
0
.
Since random effects are only introduced for some of the time effects, the analysis of Section 4.3 has to modified in a similar way to the analysis in Section 5.4.4.From (80) it is seen that the model restricts Δ
2
α
i
=
2
σ
2. Thus, divide the canonical parameter ξ into three elements: the slope and level parameters, say ξ
μ
=
(
μ
I
1
,
μ
I
1
-
μ
I
-
1,1
,
μ
I
2
-
μ
I
1
)
′, the age-double differences ξ
α
=
(
Δ
2
α
3
,
…
,
Δ
2
α
I
), and the remaining double differences ξ
β
,
γ. Here ξ
α is restricted by the hypothesis 2
σ
2 and ξ
β
,
γ is linear function of the normal random effects, while ξ
μ is a three-dimensional linear function of σ
2 and of the six-dimensional object ν
=
(
σ
0
,
σ
1
,
β
1
,
β
2
,
γ
1
,
γ
2
)
′. This leaves a three-dimensional ad hoc identified level/slope parameter λ which is also a function of ν but not entering the likelihood. Let ψ
=
(
σ
0
,
σ
1
,
σ
2
,
σ
β
2
,
σ
γ
2
).The random effects likelihood are constructed in three steps. First, we have the usual age-period-cohort likelihoodp
(
y
∣
ξ
). Secondly, the random effects distribution for ξ
μ, ξ
β
,
γ, and λ is multivariate normal, while ξ
α is deterministic function of ψ. Thus, decompose the prior as p
(
ξ
μ
,
ξ
β
,
γ
,
λ
∣
ψ
)
=
p
(
ξ
μ
,
ξ
β
,
γ
∣
ψ
)
p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
). Thirdly, following Section 4.3 the random effects likelihood will not depend on p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
) and it is given by
(83)
p
(
y
∣
ψ
)
=
∫
‍
p
(
y
∣
ξ
α
,
ξ
μ
,
ξ
β
,
γ
)
p
(
ξ
α
,
ξ
μ
,
ξ
β
,
γ
∣
ψ
)
d
(
ξ
μ
,
ξ
β
,
γ
)
.
The prior p
(
λ
∣
ξ
μ
,
ξ
β
,
γ
,
ψ
) is not updated by the data. Plots and inferences based on the posterior p
(
θ
∣
ψ
,
y
) will then suffer from the ad hoc identification issues outlined in Section 3.4.


## 5.5. A Two-Sample Age-Period-Cohort Model

When confronted with two samples for women and for men it may be of interest to apply the age-period-cohort model (43) to each of the samples and impose that some of the time effects are the same across samples. The models for samples r
=
1,2 are
(84)
μ
i
j
r
=
α
i
r
+
β
j
r
+
γ
k
r
+
δ
r
for
i
,
j
∈
I
,
r
=
1,2
.
The time effect θ
=
(
…
,
α
i
r
,
β
j
r
,
γ
k
r
,
δ
r
,
…
)
′ now varies in Θ
=
R
q where q
=
4
(
I
+
J
).


### 5.5.1. Analysis of the Unrestricted Two-Sample Model

The unrestricted two-sample model is simply analysed as two copies of the one sample model of Section5.1. The time effects of each copy are only defined up to linear trends. The group of transformations characterizing the identification problem combines two copies of the one sample group (44). The maximal invariant parameter is ξ
=
(
ξ
1
′
,
ξ
2
′
)
′
∈
R
p where p
=
4
(
I
+
J
-
2
) and each of ξ
r are of the form (45). The benefits of Section 2 hold when working with that parameter.


### 5.5.2. Bayesian Ad Hoc Identification Using a Dynamic Model

An application of the unrestricted two-sample model can be found in Cairns et al. [36]. The two samples are the population of England and Wales and the subpopulation of assured lives, so the substantive question is whether there is a selection effect for the assured lives. A Bayesian model with dynamic prior is used. It shares some features with the Berzuini and Clayton [6] model discussed in Section 5.4.4 although the details of the ad hoc identification of the levels and slopes are slightly different. When it comes to forecasting the extrapolative method appears to depend on the ad hoc identified parameter as well as the hyperparameters. This complicates the analysis of the forecast relatively the discussion in Section 5.4.4.


### 5.5.3. The Hypothesis of Common Period Parameters

The two-sample model allows the possibility for adding cross-sample restrictions on the parameters. As an example we consider the hypothesis of common period parameters.Working with the canonical parameter the hypothesis is(85)
Δ
2
β
i
1
=
Δ
2
β
i
2
for
j
=
3
,
…
,
J
.
This is a simple linear restriction as that discussed in Section 2.4.3. It is readily seen that the degrees of freedom of the hypothesis are p
-
p
H
=
J
-
2 so the dimension of the restricted model is p
H
=
4
I
+
3
J
-
6. The canonical parameter under the hypothesis is then
(86)
ξ
H
=
(
…
,
μ
11
r
,
μ
21
r
-
μ
11
r
,
μ
12
r
-
μ
11
r
,
Δ
2
α
i
r
,
Δ
2
β
j
,
c
d
c
c
Δ
2
γ
k
r
,
…
)
′
.The same result arises when writing the hypothesis in terms of time effects so that(87)
β
j
1
=
β
j
2
for
j
=
1
,
…
,
J
.
Such hypotheses on the time effect were discussed in Section 3.4.2. It can be analysed using the general result in Theorem A.3. However, we will take the simpler route of arguing that this only restricts the canonical parameter given a hypothesis of the type (85). The argument relies on noting that analysing the restriction for the predictors μ
i
j
1 and μ
i
j
2 is equivalent to analysing the restriction for the predictors μ
i
j
1 and μ
i
j
2
-
μ
i
j
1, where the cross-sample differenced predictor is of the form
(88)
μ
i
j
2
-
μ
i
j
1
=
(
α
i
2
-
α
i
1
)
+
(
β
j
2
-
β
j
1
)
+
(
γ
k
2
-
γ
k
1
)
+
(
δ
2
-
δ
1
)
.
Now, the restricted model for the cross-sample differenced predictor μ
i
j
2
-
μ
i
j
1 is an age-cohort model:
(89)
μ
i
j
2
-
μ
i
j
1
=
(
α
i
2
-
α
i
1
)
+
(
γ
k
2
-
γ
k
1
)
+
(
δ
2
-
δ
1
)
.
Following the analysis of Section 5.3 the (87) therefore implies the J
-
2 linear restrictions given by (85). At the same time the predictor for the first sample μ
i
j
1 is left unrestricted by (87). In summary, the restrictions (85) and (87) are equivalent.The restriction has an interesting implication for the interpretation of the involved double differences. For the unrestricted model it was found that only plain double differences, such asΔ
2
α
j
r, are identified. Under the restriction the cross-sample differenced predictor is of age-cohort form (89) so also the cross-double differences Δ
(
α
i
2
-
α
i
1
) and Δ
(
γ
k
2
-
γ
k
1
) are identified.


### 5.5.4. Step-Wise Ad Hoc Identification under the Hypothesis

The analysis of Riebler and Held [7] finds that the difference α
i
2
-
α
i
1 is identified under the hypothesis (85). This is not consistent with the above analysis showing that the cross-sample differenced predictor is an age-cohort model under the hypothesis, for which levels such as α
i
2
-
α
i
1 are identified.The apparent difference comes about because Riebler and Held follow a step-wise identification approach along the lines of Sections3.3 and 5.4.1. In a first step the time effects α
i
r, β
j
r, and γ
k
r are constrained to have zero-sums as in (69). In a second step the slopes are ad hoc identified using a Bayesian approach similar to that of Berzuini and Clayton [6]; see Sections 4 and 5.4.4 for a discussion of the consequences.The identification in the first step implies thatα
i
2
-
α
i
1 has a zero sum. Under the hypothesis (85) this is exactly what is needed to ad hoc identify the levels in the age-cohort model (89). In other words a different level identification in the first step leads to a different level for the difference α
i
2
-
α
i
1.


## 5.5.1. Analysis of the Unrestricted Two-Sample Model

The unrestricted two-sample model is simply analysed as two copies of the one sample model of Section5.1. The time effects of each copy are only defined up to linear trends. The group of transformations characterizing the identification problem combines two copies of the one sample group (44). The maximal invariant parameter is ξ
=
(
ξ
1
′
,
ξ
2
′
)
′
∈
R
p where p
=
4
(
I
+
J
-
2
) and each of ξ
r are of the form (45). The benefits of Section 2 hold when working with that parameter.


## 5.5.2. Bayesian Ad Hoc Identification Using a Dynamic Model

An application of the unrestricted two-sample model can be found in Cairns et al. [36]. The two samples are the population of England and Wales and the subpopulation of assured lives, so the substantive question is whether there is a selection effect for the assured lives. A Bayesian model with dynamic prior is used. It shares some features with the Berzuini and Clayton [6] model discussed in Section 5.4.4 although the details of the ad hoc identification of the levels and slopes are slightly different. When it comes to forecasting the extrapolative method appears to depend on the ad hoc identified parameter as well as the hyperparameters. This complicates the analysis of the forecast relatively the discussion in Section 5.4.4.


## 5.5.3. The Hypothesis of Common Period Parameters

The two-sample model allows the possibility for adding cross-sample restrictions on the parameters. As an example we consider the hypothesis of common period parameters.Working with the canonical parameter the hypothesis is(85)
Δ
2
β
i
1
=
Δ
2
β
i
2
for
j
=
3
,
…
,
J
.
This is a simple linear restriction as that discussed in Section 2.4.3. It is readily seen that the degrees of freedom of the hypothesis are p
-
p
H
=
J
-
2 so the dimension of the restricted model is p
H
=
4
I
+
3
J
-
6. The canonical parameter under the hypothesis is then
(86)
ξ
H
=
(
…
,
μ
11
r
,
μ
21
r
-
μ
11
r
,
μ
12
r
-
μ
11
r
,
Δ
2
α
i
r
,
Δ
2
β
j
,
c
d
c
c
Δ
2
γ
k
r
,
…
)
′
.The same result arises when writing the hypothesis in terms of time effects so that(87)
β
j
1
=
β
j
2
for
j
=
1
,
…
,
J
.
Such hypotheses on the time effect were discussed in Section 3.4.2. It can be analysed using the general result in Theorem A.3. However, we will take the simpler route of arguing that this only restricts the canonical parameter given a hypothesis of the type (85). The argument relies on noting that analysing the restriction for the predictors μ
i
j
1 and μ
i
j
2 is equivalent to analysing the restriction for the predictors μ
i
j
1 and μ
i
j
2
-
μ
i
j
1, where the cross-sample differenced predictor is of the form
(88)
μ
i
j
2
-
μ
i
j
1
=
(
α
i
2
-
α
i
1
)
+
(
β
j
2
-
β
j
1
)
+
(
γ
k
2
-
γ
k
1
)
+
(
δ
2
-
δ
1
)
.
Now, the restricted model for the cross-sample differenced predictor μ
i
j
2
-
μ
i
j
1 is an age-cohort model:
(89)
μ
i
j
2
-
μ
i
j
1
=
(
α
i
2
-
α
i
1
)
+
(
γ
k
2
-
γ
k
1
)
+
(
δ
2
-
δ
1
)
.
Following the analysis of Section 5.3 the (87) therefore implies the J
-
2 linear restrictions given by (85). At the same time the predictor for the first sample μ
i
j
1 is left unrestricted by (87). In summary, the restrictions (85) and (87) are equivalent.The restriction has an interesting implication for the interpretation of the involved double differences. For the unrestricted model it was found that only plain double differences, such asΔ
2
α
j
r, are identified. Under the restriction the cross-sample differenced predictor is of age-cohort form (89) so also the cross-double differences Δ
(
α
i
2
-
α
i
1
) and Δ
(
γ
k
2
-
γ
k
1
) are identified.


## 5.5.4. Step-Wise Ad Hoc Identification under the Hypothesis

The analysis of Riebler and Held [7] finds that the difference α
i
2
-
α
i
1 is identified under the hypothesis (85). This is not consistent with the above analysis showing that the cross-sample differenced predictor is an age-cohort model under the hypothesis, for which levels such as α
i
2
-
α
i
1 are identified.The apparent difference comes about because Riebler and Held follow a step-wise identification approach along the lines of Sections3.3 and 5.4.1. In a first step the time effects α
i
r, β
j
r, and γ
k
r are constrained to have zero-sums as in (69). In a second step the slopes are ad hoc identified using a Bayesian approach similar to that of Berzuini and Clayton [6]; see Sections 4 and 5.4.4 for a discussion of the consequences.The identification in the first step implies thatα
i
2
-
α
i
1 has a zero sum. Under the hypothesis (85) this is exactly what is needed to ad hoc identify the levels in the age-cohort model (89). In other words a different level identification in the first step leads to a different level for the difference α
i
2
-
α
i
1.


## 6. Models with Nonlinear Parametrisations

Some additional issues arise when looking at models with nonlinear parametrisations. A prominent example is the mortality model proposed by Lee and Carter [3] and which is the current benchmark in mortality studies done by government agencies and pension funds. For this model the time effect space Θ has a nondifferentiability which can actually be avoided by working directly with the parameter space M.We analyze the Lee-Carter model in Section6.1. In Section 6.2 we turn to a two-sample problem where some additional difficulties can arise when forecasting.


### 6.1. The Lee-Carter Model

The mortality model proposed by Lee and Carter [3] has predictor of the form
(90)
μ
i
j
=
α
i
+
β
i
κ
j
for
i
,
j
∈
I
ap
.
The time effects θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
I
,
κ
1
,
…
,
κ
J
) vary in Θ
=
R
2
I
+
J.Lee and Carter pointed towards two identification issues of the model. Ifα, β, and κ are one solution to (90), then α
-
β
c
,
β
,
κ
+
c is also a solution for any scalar c, just as α, β
/
d, and κ
d are a solution for any d
≠
0. Consequently, they proposed the ad hoc identification:
(91)
∑
i
‍
β
i
=
1
,
∑
j
‍
κ
j
=
0
.
This is, however, not the full story about the identification issues. To get at this we follow the outline from the linear parametrised models and start by finding the parameter space for the predictor μ.


#### 6.1.1. The Parameter Space

We start by finding the predictor spaceM. Write the model in matrix form. Let μ
_ denote the I
×
J-matrix of μ
i
j. Then
(92)
μ
_
=
α
ι
′
+
β
κ
′
,
where α, β, and κ are vectors concatenating α
i, β
i, and κ
j and where ι
=
(
1
,
…
,
1
)
′
∈
R
J. Postmultiply by the projection identity I
J
=
ι
¯
ι
′
+
ι
¯
⊥
ι
⊥
′ to get
(93)
μ
_
=
α
ι
′
+
β
κ
′
(
ι
¯
ι
′
+
ι
¯
⊥
ι
⊥
′
)
=
(
α
+
β
κ
′
ι
¯
)
ι
′
+
β
(
κ
′
ι
¯
⊥
)
ι
⊥
′
,
where the orthogonal complement ι
⊥ can be chosen so that ι
⊥
′
κ
=
(
Δ
κ
2
,
…
,
Δ
κ
J
)
′ but could also be chosen otherwise. Equation (93) shows that the model is composed of two matrices with rank one. Thus, the parameter space is given by
(94)
M
=
{
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
+
δ
ι
⊥
′
sssss
d
lllllllllll
k
for
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
dddd
lllllllllll
h
so
rank
⁡
(
δ
)
≤
1
μ
_
}
.
Note that M does not depend on the normalisation of ι
⊥ since δ is freely varying. The space M is a manifold since the space of matrices δ with an upper bound to the rank is a manifold as opposed to the space where δ has rank of unity. This space can be parametrised parsimoniously by
(95)
ξ
=
(
γ
,
δ
)
where
γ
=
α
+
β
κ
′
ι
¯
,
δ
=
β
κ
′
ι
¯
⊥
,
varying in the manifold
(96)
Ξ
=
{
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
:
rank
⁡
(
δ
)
≤
1
}
.
The ξ is the candidate for the maximal invariant describing the equivalence classes of the mapping from the time effect θ to the predictor μ.The next step is to analyse the time effect spaceΘ. It is convenient to decompose M into two disjoint sets depending on the rank of δ. These sets are
(97)
M
1
=
{
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
+
δ
ι
⊥
′
for
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
s
s
s
s
s
s
s
s
s
h
h
h
h
so
rank
⁡
(
δ
)
=
1
μ
_
}
,
M
0
=
(
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
for
γ
∈
R
I
)
.
Correspondingly, the time effect space Θ can be decomposed into two disjoint sets:
(98)
Θ
1
=
(
θ
∈
Θ
:
∃
i
,
j
so
β
i
κ
j
≠
β
i
κ
J
)
,
Θ
0
=
(
θ
∈
Θ
:
∀
i
,
j
so
β
i
κ
j
=
β
i
κ
J
)
.
Note that δ
=
0 if and only if θ
∈
Θ
0. Consider first the time effect space Θ
1, which is implicitly what Lee and Carter had in mind. The mapping θ
↦
μ on Θ
1 to M is invariant to the group of transformations:
(99)
g
1
:
(
α
i
β
i
κ
j
)
⟼
(
α
i
+
β
i
c
β
i
d
(
κ
j
-
c
)
d
)
,
acting on Θ
1 for all c
∈
R and all d
≠
0. The parameter ξ
=
(
γ
′
,
δ
′
)
′ is invariant under g
1 acting on Θ
1. Now, consider the space Θ
0 with deficient rank. Then α
i
,
β
i, and κ
j map into α
i
+
φ
i where φ
i
=
β
i
κ
j is constant in j, so that δ
=
β
κ
′
ι
¯
⊥
=
0. This mapping is invariant to the group of transformations:
(100)
g
0
:
(
α
i
β
i
κ
j
)
⟼
(
α
i
+
a
i
β
i
κ
j
-
a
i
)
,
acting on Θ
0 for all (
a
1
,
…
,
a
I
)
′
∈
R
I.Theorem 10.
Letμ
_
∈
M. The parameter ξ
∈
Ξ of (95) satisfies the following:(i)
ξ is a function of θ
∈
Θ which is invariant to the groups g
0, g
1 in (99) and (100);
(ii)
μ
_ is a function of ξ;
(iii)
the parametrisation ofμ
_ by ξ is exactly identified in the sense that ξ
†
≠
ξ
‡
⇒
μ
_
(
ξ
†
)
≠
μ
_
(
ξ
‡
).Theorem10 shows that ξ varies freely on the space Ξ and it gives a unique parametrisation of μ. As a function of θ it is invariant to g
0
,
g
1; hence it is a maximal invariant.It is interesting to compare the properties of the spacesM, Ξ, and Θ. The spaces M and Ξ are spaces of matrices with deficient rank. These are smooth spaces, but they are not vector spaces since the sum of matrices with rank one may have rank larger than one. In contrast Θ is a vector space. The mapping from Θ to M will inevitably be nondifferentiable. This nondifferentiability is avoided by working directly with M. Likewise, in a Bayesian setting it would seem more difficult to introduce a meaningful prior of Θ with its nondifferentiability than on M.


#### 6.1.2. Maximum Likelihood Estimation

The maximum likelihood estimator forξ can be derived analytically in the normal case.Consider a situation where the data array is of age-period form soY
i
j for (
i
,
j
)
∈
I
ap. Suppose Y
i
j are independent normal with mean μ
i
j and variance σ
2. Organise the data in a matrix Y
_. Then the log likelihood is of the form
(101)
l
(
μ
_
,
σ
2
;
Y
_
)
=
-
I
J
2
log
⁡
(
2
π
σ
2
)
-
1
2
σ
2
tr
⁡
{
(
Y
_
-
μ
_
)
(
Y
_
-
μ
_
)
′
}
.
The maximum likelihood estimator is of the following form. Subsequently, this is related to the estimator suggested by Lee and Carter.Theorem 11.
For a normal age-period array parametrised by (94) the maximum likelihood estimators are
(102)
γ
^
=
Y
_
ι
(
ι
′
ι
)
-
1
,
δ
^
=
[
svd
1
{
Y
_
ι
⊥
(
ι
⊥
′
ι
⊥
)
-
1
ι
⊥
′
}
]
ι
⊥
(
ι
⊥
′
ι
⊥
)
-
1
,
where svd
1
(
·
) is the singular value decomposition truncated to one factor.Thus,γ is estimated by the row-averages of the data matrix, while δ is estimated by the singular value decomposition of the row-wise demeaned data matrix.


#### 6.1.3. Estimation of Ad Hoc Identified Time Effects

The ad hoc identification (91) gives a time effect θ
λ varying in a 2
I
+
J
-
2 dimensional affine subspace of Θ
=
R
2
I
+
J. The ad hoc identified θ
λ can now be expressed in terms of the maximal invariant parameter ξ using (95). In the case where δ
≠
0 then it has singular value decomposition δ
=
δ
L
δ
S
δ
R
′ for two vectors δ
L
∈
R
I and δ
R
∈
R
J
-
1 so δ
L
′
δ
L
=
1 and δ
R
δ
R
′
=
1, while δ
S
>
0 is a positive scale. The ad hoc identification of Lee and Carter then gives
(103)
α
λ
=
γ
,
β
λ
=
δ
L
(
ι
′
δ
L
)
-
1
,
κ
λ
=
ι
⊥
δ
R
ι
′
δ
L
δ
S
.
Inserting the maximum likelihood estimators from Theorem 11 yields the estimators proposed by Lee and Carter. However, the disentangling of the singular values and singular vectors of δ
^ is done by the ad hoc identification β
′
ι
=
1 and κ
′
ι
=
0. These estimators are therefore specific to the considered data array and data set in parallel with the discussion in Sections 3.2 and 5.4.1.


#### 6.1.4. Consequences of the Possible Rank Deficiency

The parameter spaceM was split into spaces M
1 and M
0 depending on the rank of δ. The space M
0 is a Lebesgue null set relative to M. Broadly speaking, there are two consequences of the possible rank deficiency. The first consequence is an estimation problem arising in the vicinity of M
0. The second consequence is that the usual normal asymptotic distribution theory does not apply in the vicinity of M
1. Whether this becomes a problem in practice depends on the data. One solution is to ensure that the time effect really is present when using the Lee-Carter model.Investigate whether the time effects are present amounts to estimating the rank ofδ. For a given data set two Lee-Carter models can be estimated. The first model with predictor space M is the unrestricted model in which rank
⁡
(
δ
)
≤
1. The second model has predictor space M
0 so δ
=
0. Twice the difference of the likelihood values gives a likelihood ratio test statistic which is asymptotically χ
2. If the smaller model, M
0, is accepted this is used in subsequent analysis. However, if the smaller model M
0 is rejected then it is likely that the predictor is not located in the vicinity of M
0 and it is then safe to work with the predictor space M
1.The consistency of this step-wise procedure is discussed in a cointegration context by Johansen [37, Section 12]. Even when this procedure points towards working with the parameter space M
1 the rank deficiency may still affect inference under M
1. Analysis of simple canonical correlation models suggests that inference under M
1 will be nearly similar if the distance to M
0 is sufficiently large. A problem is that the distribution for the test statistic will have poor finite sample properties when the parameter value is close to M
0. A simple way to get around this problem is to test for M
0 using a test with lower level than the conventional level. A more complicated way to address this is to employ a finite sample correction when seeking to test for M
0. See Nielsen [38, 39] for further discussion of this issue in the context of simple canonical correlation models.The rank deficiency issue is typically not encountered in a standard Lee-Carter analysis. The reason is that the analysis is typically applied to data where there is a marked improvement in mortality rates over time. A Lee-Carter analysis could however run into trouble if it were applied to data without a strong calendar effect. The issue becomes more pertinent when extending Lee-Carter model with a cohort component such as(104)
μ
i
j
=
β
i
(
1
)
+
β
i
(
2
)
κ
j
(
2
)
+
β
i
(
3
)
γ
j
-
i
+
I
(
3
)
;
see Renshaw and Haberman [40]. If the cohort effect is modest the latter matrix is nearly rank deficient and the likelihood will be nearly flat in certain directions. This is presumably the reason for the estimation problem noted by Cairns et al. [41].


#### 6.1.5. Forecasting

The purpose of Lee-Carter model is usually to forecast future mortality. This issue is considered for the model with parameter spaceM
1. The standard approach is to extrapolate κ, ad hoc identified through, for instance, κ
′
ι
=
0. The h-step ahead extrapolation of κ
J
+
h based on some forecast methods is denoted by κ
~
J
+
h
(
κ
^
). Combined with the estimates α
^
i, β
^
i this gives the overall forecast
(105)
μ
~
i
,
J
+
h
(
θ
^
)
=
α
^
i
+
β
^
i
κ
~
J
+
h
(
κ
^
)
.
The identification question is then for which extrapolation methods this equals
(106)
μ
~
i
,
J
+
h
{
g
1
(
θ
^
)
}
=
(
α
^
i
+
β
^
i
c
)
+
(
β
^
i
d
)
κ
~
J
+
h
{
(
κ
^
-
c
)
d
}
.
The condition for avoiding adverse impact of the ad hoc identification is as follows.Theorem 12.
Letμ
_
∈
M
2. The forecast μ
~
i
,
J
+
h in (105) is invariant to ad hoc identification if and only if the extrapolation method for the period effect is location-scale preserving:
(107)
κ
~
J
+
h
{
(
κ
^
-
c
ι
)
d
}
=
{
κ
~
J
+
h
(
κ
^
)
-
c
}
d
∀
c
∈
R
,
∀
d
≠
0
.The default forecast method in the literature is a random walk with a drift, which was the preferred forecast of Lee and Carter [3]. This is given by
(108)
κ
~
J
+
h
=
κ
~
J
+
h
-
1
+
ν
c
+
ε
h
,
with estimates ν
^
c
=
(
J
-
1
)
-
1
∑
j
=
2
J
(
κ
^
j
-
κ
^
j
-
1
) and normal errors ε
h with mean zero and estimated variance σ
^
2
(
κ
^
)
=
(
J
-
2
)
-
1
∑
j
=
2
J
(
κ
^
j
-
κ
^
j
-
1
-
ν
^
c
)
2. This extrapolation method is location-scale preserving as required in Theorem 12. It is even linear trend preserving. Other valid forecasts are a random walk without intercept as given by the equation κ
~
J
+
h
=
κ
~
J
+
h
-
1
+
ε
h, or an autoregression given by κ
~
J
+
h
=
ρ
κ
~
J
+
h
-
1
+
ν
c
+
ε
h.An alternative approach to forecasting would consider the predictor of the model for a particular age ground, sayi. That predictor is μ
_
^
i
=
e
i
′
(
γ
^
ι
′
+
δ
^
ι
⊥
′
), where e
i is the ith unit vector. From this we can generate forecasts μ
~
i
,
J
+
h using any time series method. The resulting forecast will in general depend on κ
^ as well as α
^
i, β
^
i and it is therefore more general than the forecasts discussed in Theorem 12, which only depends on κ
^. The forecast for another age group, say i
†, should be the same up to a linear transformation dictated by the Lee-Carter structure. Thus, the h-step ahead forecasts for the entire array are
(109)
μ
_
~
J
+
h
=
δ
^
ι
⊥
′
e
ı
˘
e
i
′
δ
^
ι
⊥
′
e
ı
˘
(
μ
~
i
,
J
+
h
-
e
i
′
γ
^
ι
′
)
+
γ
^
ι
′
,
for an index ı
˘ is chosen so that e
i
′
δ
^
ι
⊥
′
e
ı
˘
≠
0.


#### 6.1.6. Bayesian Ad Hoc Identification Using a Dynamic Model

A Bayesian model with dynamic specification of the prior has been suggested by Pedroza [42]. Dynamic priors are presented for the time effects θ
=
(
ξ
,
λ
) involving a hyper parameter ϕ. The ad hoc identification (91) is imposed so that analysis is made for an ad hoc identified time effect θ
λ.Pedroza presents posteriors forθ
λ. When evaluating this posterior one should bear in mind that the conditional prior p
(
λ
∣
ξ
) is not updated by the data; see Theorem 2. The presented extrapolative method does not depend on λ. Even so, the forecast will depend on conditional prior p
(
ϕ
∣
ξ
) which is not updated by the data; see Theorem 3.


### 6.2. The Two-Sample Lee-Carter Model

We now turn to applications of the Lee-Carter model in two-sample problems. Suppose two samples are for women and men. One approach would be to fit separate Lee-Carter models to the two datasets. These Lee-Carter models are of the form(110)
μ
i
j
r
=
α
i
r
+
β
i
r
κ
j
r
for
i
,
j
∈
I
ap
,
r
=
1,2
.
The objective is now to extrapolate the period effects κ
j
r. Extrapolating the two models separately using separate random walks is often seen to be volatile, so methods that seek to combine information from both estimated series κ
^
j
r are sought after. The next result describes the invariance problem in forecasting.Theorem 13.
Letμ
_
r
∈
M
2
r for r
=
1,2. The forecast μ
~
i
,
J
+
h
,
1 for sample r
=
1 is invariant to ad hoc identification if the extrapolation method κ
~
J
+
h
,
1 preserves location/scale for sample 1, but is invariant to location and scale for sample 2. That is for all c
1
,
c
2
∈
R and all d
1
,
d
2
≠
0; then
(111)
κ
~
J
+
h
,
1
{
d
1
(
κ
^
1
-
c
1
)
,
d
2
(
κ
^
2
-
c
2
)
}
=
d
1
{
κ
~
J
+
h
,
1
(
κ
^
1
,
κ
^
2
)
-
c
1
}
.For one sample the standard forecasting technique appears to be the random walk with a drift as in (108). For the two-sample problem a suggestion could be that women and men should share a common random walk with a drift but deviate from this by a stationary process. In econometrics this idea is referred to as cointegration as proposed by Engle and Granger [43]; see also Johansen [37] for a likelihood based vector autoregressive approach. It is tempting to require that the calendar effects should cointegrate with coefficients of unity, so κ
j
1
-
κ
j
2 should be stationary. However, that apparently intuitive choice violates Theorem 13 because the locations and scales of κ
j
r are different and arbitrary.There are two fixes to this problem. The first solution is to work directly with the mortality predictorsμ
i
j
r for an arbitrary age group i as outlined for the one-sample case in connection with (109). Since no identification is involved it is permitted to impose that μ
i
j
1 and μ
i
j
2 cointegrate with coefficients of unity. The forecast for age group i is then carried over to other age groups. The second solution is to work with the estimated series κ
^
j
r but estimate the cointegrating coefficients from the data. In other words, the cointegrating relation κ
^
j
1
-
φ
κ
^
j
2
-
ψ should be zero mean, stationary, with coefficients φ, ψ estimated from the data. This can, for instance, be done by Johansen’s approach for a bivariate vector autoregression; see Hendry and Nielsen [44, Section 17].


## 6.1. The Lee-Carter Model

The mortality model proposed by Lee and Carter [3] has predictor of the form
(90)
μ
i
j
=
α
i
+
β
i
κ
j
for
i
,
j
∈
I
ap
.
The time effects θ
=
(
α
1
,
…
,
α
I
,
β
1
,
…
,
β
I
,
κ
1
,
…
,
κ
J
) vary in Θ
=
R
2
I
+
J.Lee and Carter pointed towards two identification issues of the model. Ifα, β, and κ are one solution to (90), then α
-
β
c
,
β
,
κ
+
c is also a solution for any scalar c, just as α, β
/
d, and κ
d are a solution for any d
≠
0. Consequently, they proposed the ad hoc identification:
(91)
∑
i
‍
β
i
=
1
,
∑
j
‍
κ
j
=
0
.
This is, however, not the full story about the identification issues. To get at this we follow the outline from the linear parametrised models and start by finding the parameter space for the predictor μ.


### 6.1.1. The Parameter Space

We start by finding the predictor spaceM. Write the model in matrix form. Let μ
_ denote the I
×
J-matrix of μ
i
j. Then
(92)
μ
_
=
α
ι
′
+
β
κ
′
,
where α, β, and κ are vectors concatenating α
i, β
i, and κ
j and where ι
=
(
1
,
…
,
1
)
′
∈
R
J. Postmultiply by the projection identity I
J
=
ι
¯
ι
′
+
ι
¯
⊥
ι
⊥
′ to get
(93)
μ
_
=
α
ι
′
+
β
κ
′
(
ι
¯
ι
′
+
ι
¯
⊥
ι
⊥
′
)
=
(
α
+
β
κ
′
ι
¯
)
ι
′
+
β
(
κ
′
ι
¯
⊥
)
ι
⊥
′
,
where the orthogonal complement ι
⊥ can be chosen so that ι
⊥
′
κ
=
(
Δ
κ
2
,
…
,
Δ
κ
J
)
′ but could also be chosen otherwise. Equation (93) shows that the model is composed of two matrices with rank one. Thus, the parameter space is given by
(94)
M
=
{
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
+
δ
ι
⊥
′
sssss
d
lllllllllll
k
for
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
dddd
lllllllllll
h
so
rank
⁡
(
δ
)
≤
1
μ
_
}
.
Note that M does not depend on the normalisation of ι
⊥ since δ is freely varying. The space M is a manifold since the space of matrices δ with an upper bound to the rank is a manifold as opposed to the space where δ has rank of unity. This space can be parametrised parsimoniously by
(95)
ξ
=
(
γ
,
δ
)
where
γ
=
α
+
β
κ
′
ι
¯
,
δ
=
β
κ
′
ι
¯
⊥
,
varying in the manifold
(96)
Ξ
=
{
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
:
rank
⁡
(
δ
)
≤
1
}
.
The ξ is the candidate for the maximal invariant describing the equivalence classes of the mapping from the time effect θ to the predictor μ.The next step is to analyse the time effect spaceΘ. It is convenient to decompose M into two disjoint sets depending on the rank of δ. These sets are
(97)
M
1
=
{
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
+
δ
ι
⊥
′
for
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
s
s
s
s
s
s
s
s
s
h
h
h
h
so
rank
⁡
(
δ
)
=
1
μ
_
}
,
M
0
=
(
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
for
γ
∈
R
I
)
.
Correspondingly, the time effect space Θ can be decomposed into two disjoint sets:
(98)
Θ
1
=
(
θ
∈
Θ
:
∃
i
,
j
so
β
i
κ
j
≠
β
i
κ
J
)
,
Θ
0
=
(
θ
∈
Θ
:
∀
i
,
j
so
β
i
κ
j
=
β
i
κ
J
)
.
Note that δ
=
0 if and only if θ
∈
Θ
0. Consider first the time effect space Θ
1, which is implicitly what Lee and Carter had in mind. The mapping θ
↦
μ on Θ
1 to M is invariant to the group of transformations:
(99)
g
1
:
(
α
i
β
i
κ
j
)
⟼
(
α
i
+
β
i
c
β
i
d
(
κ
j
-
c
)
d
)
,
acting on Θ
1 for all c
∈
R and all d
≠
0. The parameter ξ
=
(
γ
′
,
δ
′
)
′ is invariant under g
1 acting on Θ
1. Now, consider the space Θ
0 with deficient rank. Then α
i
,
β
i, and κ
j map into α
i
+
φ
i where φ
i
=
β
i
κ
j is constant in j, so that δ
=
β
κ
′
ι
¯
⊥
=
0. This mapping is invariant to the group of transformations:
(100)
g
0
:
(
α
i
β
i
κ
j
)
⟼
(
α
i
+
a
i
β
i
κ
j
-
a
i
)
,
acting on Θ
0 for all (
a
1
,
…
,
a
I
)
′
∈
R
I.Theorem 10.
Letμ
_
∈
M. The parameter ξ
∈
Ξ of (95) satisfies the following:(i)
ξ is a function of θ
∈
Θ which is invariant to the groups g
0, g
1 in (99) and (100);
(ii)
μ
_ is a function of ξ;
(iii)
the parametrisation ofμ
_ by ξ is exactly identified in the sense that ξ
†
≠
ξ
‡
⇒
μ
_
(
ξ
†
)
≠
μ
_
(
ξ
‡
).Theorem10 shows that ξ varies freely on the space Ξ and it gives a unique parametrisation of μ. As a function of θ it is invariant to g
0
,
g
1; hence it is a maximal invariant.It is interesting to compare the properties of the spacesM, Ξ, and Θ. The spaces M and Ξ are spaces of matrices with deficient rank. These are smooth spaces, but they are not vector spaces since the sum of matrices with rank one may have rank larger than one. In contrast Θ is a vector space. The mapping from Θ to M will inevitably be nondifferentiable. This nondifferentiability is avoided by working directly with M. Likewise, in a Bayesian setting it would seem more difficult to introduce a meaningful prior of Θ with its nondifferentiability than on M.


### 6.1.2. Maximum Likelihood Estimation

The maximum likelihood estimator forξ can be derived analytically in the normal case.Consider a situation where the data array is of age-period form soY
i
j for (
i
,
j
)
∈
I
ap. Suppose Y
i
j are independent normal with mean μ
i
j and variance σ
2. Organise the data in a matrix Y
_. Then the log likelihood is of the form
(101)
l
(
μ
_
,
σ
2
;
Y
_
)
=
-
I
J
2
log
⁡
(
2
π
σ
2
)
-
1
2
σ
2
tr
⁡
{
(
Y
_
-
μ
_
)
(
Y
_
-
μ
_
)
′
}
.
The maximum likelihood estimator is of the following form. Subsequently, this is related to the estimator suggested by Lee and Carter.Theorem 11.
For a normal age-period array parametrised by (94) the maximum likelihood estimators are
(102)
γ
^
=
Y
_
ι
(
ι
′
ι
)
-
1
,
δ
^
=
[
svd
1
{
Y
_
ι
⊥
(
ι
⊥
′
ι
⊥
)
-
1
ι
⊥
′
}
]
ι
⊥
(
ι
⊥
′
ι
⊥
)
-
1
,
where svd
1
(
·
) is the singular value decomposition truncated to one factor.Thus,γ is estimated by the row-averages of the data matrix, while δ is estimated by the singular value decomposition of the row-wise demeaned data matrix.


### 6.1.3. Estimation of Ad Hoc Identified Time Effects

The ad hoc identification (91) gives a time effect θ
λ varying in a 2
I
+
J
-
2 dimensional affine subspace of Θ
=
R
2
I
+
J. The ad hoc identified θ
λ can now be expressed in terms of the maximal invariant parameter ξ using (95). In the case where δ
≠
0 then it has singular value decomposition δ
=
δ
L
δ
S
δ
R
′ for two vectors δ
L
∈
R
I and δ
R
∈
R
J
-
1 so δ
L
′
δ
L
=
1 and δ
R
δ
R
′
=
1, while δ
S
>
0 is a positive scale. The ad hoc identification of Lee and Carter then gives
(103)
α
λ
=
γ
,
β
λ
=
δ
L
(
ι
′
δ
L
)
-
1
,
κ
λ
=
ι
⊥
δ
R
ι
′
δ
L
δ
S
.
Inserting the maximum likelihood estimators from Theorem 11 yields the estimators proposed by Lee and Carter. However, the disentangling of the singular values and singular vectors of δ
^ is done by the ad hoc identification β
′
ι
=
1 and κ
′
ι
=
0. These estimators are therefore specific to the considered data array and data set in parallel with the discussion in Sections 3.2 and 5.4.1.


### 6.1.4. Consequences of the Possible Rank Deficiency

The parameter spaceM was split into spaces M
1 and M
0 depending on the rank of δ. The space M
0 is a Lebesgue null set relative to M. Broadly speaking, there are two consequences of the possible rank deficiency. The first consequence is an estimation problem arising in the vicinity of M
0. The second consequence is that the usual normal asymptotic distribution theory does not apply in the vicinity of M
1. Whether this becomes a problem in practice depends on the data. One solution is to ensure that the time effect really is present when using the Lee-Carter model.Investigate whether the time effects are present amounts to estimating the rank ofδ. For a given data set two Lee-Carter models can be estimated. The first model with predictor space M is the unrestricted model in which rank
⁡
(
δ
)
≤
1. The second model has predictor space M
0 so δ
=
0. Twice the difference of the likelihood values gives a likelihood ratio test statistic which is asymptotically χ
2. If the smaller model, M
0, is accepted this is used in subsequent analysis. However, if the smaller model M
0 is rejected then it is likely that the predictor is not located in the vicinity of M
0 and it is then safe to work with the predictor space M
1.The consistency of this step-wise procedure is discussed in a cointegration context by Johansen [37, Section 12]. Even when this procedure points towards working with the parameter space M
1 the rank deficiency may still affect inference under M
1. Analysis of simple canonical correlation models suggests that inference under M
1 will be nearly similar if the distance to M
0 is sufficiently large. A problem is that the distribution for the test statistic will have poor finite sample properties when the parameter value is close to M
0. A simple way to get around this problem is to test for M
0 using a test with lower level than the conventional level. A more complicated way to address this is to employ a finite sample correction when seeking to test for M
0. See Nielsen [38, 39] for further discussion of this issue in the context of simple canonical correlation models.The rank deficiency issue is typically not encountered in a standard Lee-Carter analysis. The reason is that the analysis is typically applied to data where there is a marked improvement in mortality rates over time. A Lee-Carter analysis could however run into trouble if it were applied to data without a strong calendar effect. The issue becomes more pertinent when extending Lee-Carter model with a cohort component such as(104)
μ
i
j
=
β
i
(
1
)
+
β
i
(
2
)
κ
j
(
2
)
+
β
i
(
3
)
γ
j
-
i
+
I
(
3
)
;
see Renshaw and Haberman [40]. If the cohort effect is modest the latter matrix is nearly rank deficient and the likelihood will be nearly flat in certain directions. This is presumably the reason for the estimation problem noted by Cairns et al. [41].


### 6.1.5. Forecasting

The purpose of Lee-Carter model is usually to forecast future mortality. This issue is considered for the model with parameter spaceM
1. The standard approach is to extrapolate κ, ad hoc identified through, for instance, κ
′
ι
=
0. The h-step ahead extrapolation of κ
J
+
h based on some forecast methods is denoted by κ
~
J
+
h
(
κ
^
). Combined with the estimates α
^
i, β
^
i this gives the overall forecast
(105)
μ
~
i
,
J
+
h
(
θ
^
)
=
α
^
i
+
β
^
i
κ
~
J
+
h
(
κ
^
)
.
The identification question is then for which extrapolation methods this equals
(106)
μ
~
i
,
J
+
h
{
g
1
(
θ
^
)
}
=
(
α
^
i
+
β
^
i
c
)
+
(
β
^
i
d
)
κ
~
J
+
h
{
(
κ
^
-
c
)
d
}
.
The condition for avoiding adverse impact of the ad hoc identification is as follows.Theorem 12.
Letμ
_
∈
M
2. The forecast μ
~
i
,
J
+
h in (105) is invariant to ad hoc identification if and only if the extrapolation method for the period effect is location-scale preserving:
(107)
κ
~
J
+
h
{
(
κ
^
-
c
ι
)
d
}
=
{
κ
~
J
+
h
(
κ
^
)
-
c
}
d
∀
c
∈
R
,
∀
d
≠
0
.The default forecast method in the literature is a random walk with a drift, which was the preferred forecast of Lee and Carter [3]. This is given by
(108)
κ
~
J
+
h
=
κ
~
J
+
h
-
1
+
ν
c
+
ε
h
,
with estimates ν
^
c
=
(
J
-
1
)
-
1
∑
j
=
2
J
(
κ
^
j
-
κ
^
j
-
1
) and normal errors ε
h with mean zero and estimated variance σ
^
2
(
κ
^
)
=
(
J
-
2
)
-
1
∑
j
=
2
J
(
κ
^
j
-
κ
^
j
-
1
-
ν
^
c
)
2. This extrapolation method is location-scale preserving as required in Theorem 12. It is even linear trend preserving. Other valid forecasts are a random walk without intercept as given by the equation κ
~
J
+
h
=
κ
~
J
+
h
-
1
+
ε
h, or an autoregression given by κ
~
J
+
h
=
ρ
κ
~
J
+
h
-
1
+
ν
c
+
ε
h.An alternative approach to forecasting would consider the predictor of the model for a particular age ground, sayi. That predictor is μ
_
^
i
=
e
i
′
(
γ
^
ι
′
+
δ
^
ι
⊥
′
), where e
i is the ith unit vector. From this we can generate forecasts μ
~
i
,
J
+
h using any time series method. The resulting forecast will in general depend on κ
^ as well as α
^
i, β
^
i and it is therefore more general than the forecasts discussed in Theorem 12, which only depends on κ
^. The forecast for another age group, say i
†, should be the same up to a linear transformation dictated by the Lee-Carter structure. Thus, the h-step ahead forecasts for the entire array are
(109)
μ
_
~
J
+
h
=
δ
^
ι
⊥
′
e
ı
˘
e
i
′
δ
^
ι
⊥
′
e
ı
˘
(
μ
~
i
,
J
+
h
-
e
i
′
γ
^
ι
′
)
+
γ
^
ι
′
,
for an index ı
˘ is chosen so that e
i
′
δ
^
ι
⊥
′
e
ı
˘
≠
0.


### 6.1.6. Bayesian Ad Hoc Identification Using a Dynamic Model

A Bayesian model with dynamic specification of the prior has been suggested by Pedroza [42]. Dynamic priors are presented for the time effects θ
=
(
ξ
,
λ
) involving a hyper parameter ϕ. The ad hoc identification (91) is imposed so that analysis is made for an ad hoc identified time effect θ
λ.Pedroza presents posteriors forθ
λ. When evaluating this posterior one should bear in mind that the conditional prior p
(
λ
∣
ξ
) is not updated by the data; see Theorem 2. The presented extrapolative method does not depend on λ. Even so, the forecast will depend on conditional prior p
(
ϕ
∣
ξ
) which is not updated by the data; see Theorem 3.


## 6.1.1. The Parameter Space

We start by finding the predictor spaceM. Write the model in matrix form. Let μ
_ denote the I
×
J-matrix of μ
i
j. Then
(92)
μ
_
=
α
ι
′
+
β
κ
′
,
where α, β, and κ are vectors concatenating α
i, β
i, and κ
j and where ι
=
(
1
,
…
,
1
)
′
∈
R
J. Postmultiply by the projection identity I
J
=
ι
¯
ι
′
+
ι
¯
⊥
ι
⊥
′ to get
(93)
μ
_
=
α
ι
′
+
β
κ
′
(
ι
¯
ι
′
+
ι
¯
⊥
ι
⊥
′
)
=
(
α
+
β
κ
′
ι
¯
)
ι
′
+
β
(
κ
′
ι
¯
⊥
)
ι
⊥
′
,
where the orthogonal complement ι
⊥ can be chosen so that ι
⊥
′
κ
=
(
Δ
κ
2
,
…
,
Δ
κ
J
)
′ but could also be chosen otherwise. Equation (93) shows that the model is composed of two matrices with rank one. Thus, the parameter space is given by
(94)
M
=
{
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
+
δ
ι
⊥
′
sssss
d
lllllllllll
k
for
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
dddd
lllllllllll
h
so
rank
⁡
(
δ
)
≤
1
μ
_
}
.
Note that M does not depend on the normalisation of ι
⊥ since δ is freely varying. The space M is a manifold since the space of matrices δ with an upper bound to the rank is a manifold as opposed to the space where δ has rank of unity. This space can be parametrised parsimoniously by
(95)
ξ
=
(
γ
,
δ
)
where
γ
=
α
+
β
κ
′
ι
¯
,
δ
=
β
κ
′
ι
¯
⊥
,
varying in the manifold
(96)
Ξ
=
{
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
:
rank
⁡
(
δ
)
≤
1
}
.
The ξ is the candidate for the maximal invariant describing the equivalence classes of the mapping from the time effect θ to the predictor μ.The next step is to analyse the time effect spaceΘ. It is convenient to decompose M into two disjoint sets depending on the rank of δ. These sets are
(97)
M
1
=
{
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
+
δ
ι
⊥
′
for
(
γ
,
δ
)
∈
R
I
×
R
I
×
(
J
-
1
)
s
s
s
s
s
s
s
s
s
h
h
h
h
so
rank
⁡
(
δ
)
=
1
μ
_
}
,
M
0
=
(
μ
_
∈
R
I
×
J
:
μ
_
=
γ
ι
′
for
γ
∈
R
I
)
.
Correspondingly, the time effect space Θ can be decomposed into two disjoint sets:
(98)
Θ
1
=
(
θ
∈
Θ
:
∃
i
,
j
so
β
i
κ
j
≠
β
i
κ
J
)
,
Θ
0
=
(
θ
∈
Θ
:
∀
i
,
j
so
β
i
κ
j
=
β
i
κ
J
)
.
Note that δ
=
0 if and only if θ
∈
Θ
0. Consider first the time effect space Θ
1, which is implicitly what Lee and Carter had in mind. The mapping θ
↦
μ on Θ
1 to M is invariant to the group of transformations:
(99)
g
1
:
(
α
i
β
i
κ
j
)
⟼
(
α
i
+
β
i
c
β
i
d
(
κ
j
-
c
)
d
)
,
acting on Θ
1 for all c
∈
R and all d
≠
0. The parameter ξ
=
(
γ
′
,
δ
′
)
′ is invariant under g
1 acting on Θ
1. Now, consider the space Θ
0 with deficient rank. Then α
i
,
β
i, and κ
j map into α
i
+
φ
i where φ
i
=
β
i
κ
j is constant in j, so that δ
=
β
κ
′
ι
¯
⊥
=
0. This mapping is invariant to the group of transformations:
(100)
g
0
:
(
α
i
β
i
κ
j
)
⟼
(
α
i
+
a
i
β
i
κ
j
-
a
i
)
,
acting on Θ
0 for all (
a
1
,
…
,
a
I
)
′
∈
R
I.Theorem 10.
Letμ
_
∈
M. The parameter ξ
∈
Ξ of (95) satisfies the following:(i)
ξ is a function of θ
∈
Θ which is invariant to the groups g
0, g
1 in (99) and (100);
(ii)
μ
_ is a function of ξ;
(iii)
the parametrisation ofμ
_ by ξ is exactly identified in the sense that ξ
†
≠
ξ
‡
⇒
μ
_
(
ξ
†
)
≠
μ
_
(
ξ
‡
).Theorem10 shows that ξ varies freely on the space Ξ and it gives a unique parametrisation of μ. As a function of θ it is invariant to g
0
,
g
1; hence it is a maximal invariant.It is interesting to compare the properties of the spacesM, Ξ, and Θ. The spaces M and Ξ are spaces of matrices with deficient rank. These are smooth spaces, but they are not vector spaces since the sum of matrices with rank one may have rank larger than one. In contrast Θ is a vector space. The mapping from Θ to M will inevitably be nondifferentiable. This nondifferentiability is avoided by working directly with M. Likewise, in a Bayesian setting it would seem more difficult to introduce a meaningful prior of Θ with its nondifferentiability than on M.


## 6.1.2. Maximum Likelihood Estimation

The maximum likelihood estimator forξ can be derived analytically in the normal case.Consider a situation where the data array is of age-period form soY
i
j for (
i
,
j
)
∈
I
ap. Suppose Y
i
j are independent normal with mean μ
i
j and variance σ
2. Organise the data in a matrix Y
_. Then the log likelihood is of the form
(101)
l
(
μ
_
,
σ
2
;
Y
_
)
=
-
I
J
2
log
⁡
(
2
π
σ
2
)
-
1
2
σ
2
tr
⁡
{
(
Y
_
-
μ
_
)
(
Y
_
-
μ
_
)
′
}
.
The maximum likelihood estimator is of the following form. Subsequently, this is related to the estimator suggested by Lee and Carter.Theorem 11.
For a normal age-period array parametrised by (94) the maximum likelihood estimators are
(102)
γ
^
=
Y
_
ι
(
ι
′
ι
)
-
1
,
δ
^
=
[
svd
1
{
Y
_
ι
⊥
(
ι
⊥
′
ι
⊥
)
-
1
ι
⊥
′
}
]
ι
⊥
(
ι
⊥
′
ι
⊥
)
-
1
,
where svd
1
(
·
) is the singular value decomposition truncated to one factor.Thus,γ is estimated by the row-averages of the data matrix, while δ is estimated by the singular value decomposition of the row-wise demeaned data matrix.


## 6.1.3. Estimation of Ad Hoc Identified Time Effects

The ad hoc identification (91) gives a time effect θ
λ varying in a 2
I
+
J
-
2 dimensional affine subspace of Θ
=
R
2
I
+
J. The ad hoc identified θ
λ can now be expressed in terms of the maximal invariant parameter ξ using (95). In the case where δ
≠
0 then it has singular value decomposition δ
=
δ
L
δ
S
δ
R
′ for two vectors δ
L
∈
R
I and δ
R
∈
R
J
-
1 so δ
L
′
δ
L
=
1 and δ
R
δ
R
′
=
1, while δ
S
>
0 is a positive scale. The ad hoc identification of Lee and Carter then gives
(103)
α
λ
=
γ
,
β
λ
=
δ
L
(
ι
′
δ
L
)
-
1
,
κ
λ
=
ι
⊥
δ
R
ι
′
δ
L
δ
S
.
Inserting the maximum likelihood estimators from Theorem 11 yields the estimators proposed by Lee and Carter. However, the disentangling of the singular values and singular vectors of δ
^ is done by the ad hoc identification β
′
ι
=
1 and κ
′
ι
=
0. These estimators are therefore specific to the considered data array and data set in parallel with the discussion in Sections 3.2 and 5.4.1.


## 6.1.4. Consequences of the Possible Rank Deficiency

The parameter spaceM was split into spaces M
1 and M
0 depending on the rank of δ. The space M
0 is a Lebesgue null set relative to M. Broadly speaking, there are two consequences of the possible rank deficiency. The first consequence is an estimation problem arising in the vicinity of M
0. The second consequence is that the usual normal asymptotic distribution theory does not apply in the vicinity of M
1. Whether this becomes a problem in practice depends on the data. One solution is to ensure that the time effect really is present when using the Lee-Carter model.Investigate whether the time effects are present amounts to estimating the rank ofδ. For a given data set two Lee-Carter models can be estimated. The first model with predictor space M is the unrestricted model in which rank
⁡
(
δ
)
≤
1. The second model has predictor space M
0 so δ
=
0. Twice the difference of the likelihood values gives a likelihood ratio test statistic which is asymptotically χ
2. If the smaller model, M
0, is accepted this is used in subsequent analysis. However, if the smaller model M
0 is rejected then it is likely that the predictor is not located in the vicinity of M
0 and it is then safe to work with the predictor space M
1.The consistency of this step-wise procedure is discussed in a cointegration context by Johansen [37, Section 12]. Even when this procedure points towards working with the parameter space M
1 the rank deficiency may still affect inference under M
1. Analysis of simple canonical correlation models suggests that inference under M
1 will be nearly similar if the distance to M
0 is sufficiently large. A problem is that the distribution for the test statistic will have poor finite sample properties when the parameter value is close to M
0. A simple way to get around this problem is to test for M
0 using a test with lower level than the conventional level. A more complicated way to address this is to employ a finite sample correction when seeking to test for M
0. See Nielsen [38, 39] for further discussion of this issue in the context of simple canonical correlation models.The rank deficiency issue is typically not encountered in a standard Lee-Carter analysis. The reason is that the analysis is typically applied to data where there is a marked improvement in mortality rates over time. A Lee-Carter analysis could however run into trouble if it were applied to data without a strong calendar effect. The issue becomes more pertinent when extending Lee-Carter model with a cohort component such as(104)
μ
i
j
=
β
i
(
1
)
+
β
i
(
2
)
κ
j
(
2
)
+
β
i
(
3
)
γ
j
-
i
+
I
(
3
)
;
see Renshaw and Haberman [40]. If the cohort effect is modest the latter matrix is nearly rank deficient and the likelihood will be nearly flat in certain directions. This is presumably the reason for the estimation problem noted by Cairns et al. [41].


## 6.1.5. Forecasting

The purpose of Lee-Carter model is usually to forecast future mortality. This issue is considered for the model with parameter spaceM
1. The standard approach is to extrapolate κ, ad hoc identified through, for instance, κ
′
ι
=
0. The h-step ahead extrapolation of κ
J
+
h based on some forecast methods is denoted by κ
~
J
+
h
(
κ
^
). Combined with the estimates α
^
i, β
^
i this gives the overall forecast
(105)
μ
~
i
,
J
+
h
(
θ
^
)
=
α
^
i
+
β
^
i
κ
~
J
+
h
(
κ
^
)
.
The identification question is then for which extrapolation methods this equals
(106)
μ
~
i
,
J
+
h
{
g
1
(
θ
^
)
}
=
(
α
^
i
+
β
^
i
c
)
+
(
β
^
i
d
)
κ
~
J
+
h
{
(
κ
^
-
c
)
d
}
.
The condition for avoiding adverse impact of the ad hoc identification is as follows.Theorem 12.
Letμ
_
∈
M
2. The forecast μ
~
i
,
J
+
h in (105) is invariant to ad hoc identification if and only if the extrapolation method for the period effect is location-scale preserving:
(107)
κ
~
J
+
h
{
(
κ
^
-
c
ι
)
d
}
=
{
κ
~
J
+
h
(
κ
^
)
-
c
}
d
∀
c
∈
R
,
∀
d
≠
0
.The default forecast method in the literature is a random walk with a drift, which was the preferred forecast of Lee and Carter [3]. This is given by
(108)
κ
~
J
+
h
=
κ
~
J
+
h
-
1
+
ν
c
+
ε
h
,
with estimates ν
^
c
=
(
J
-
1
)
-
1
∑
j
=
2
J
(
κ
^
j
-
κ
^
j
-
1
) and normal errors ε
h with mean zero and estimated variance σ
^
2
(
κ
^
)
=
(
J
-
2
)
-
1
∑
j
=
2
J
(
κ
^
j
-
κ
^
j
-
1
-
ν
^
c
)
2. This extrapolation method is location-scale preserving as required in Theorem 12. It is even linear trend preserving. Other valid forecasts are a random walk without intercept as given by the equation κ
~
J
+
h
=
κ
~
J
+
h
-
1
+
ε
h, or an autoregression given by κ
~
J
+
h
=
ρ
κ
~
J
+
h
-
1
+
ν
c
+
ε
h.An alternative approach to forecasting would consider the predictor of the model for a particular age ground, sayi. That predictor is μ
_
^
i
=
e
i
′
(
γ
^
ι
′
+
δ
^
ι
⊥
′
), where e
i is the ith unit vector. From this we can generate forecasts μ
~
i
,
J
+
h using any time series method. The resulting forecast will in general depend on κ
^ as well as α
^
i, β
^
i and it is therefore more general than the forecasts discussed in Theorem 12, which only depends on κ
^. The forecast for another age group, say i
†, should be the same up to a linear transformation dictated by the Lee-Carter structure. Thus, the h-step ahead forecasts for the entire array are
(109)
μ
_
~
J
+
h
=
δ
^
ι
⊥
′
e
ı
˘
e
i
′
δ
^
ι
⊥
′
e
ı
˘
(
μ
~
i
,
J
+
h
-
e
i
′
γ
^
ι
′
)
+
γ
^
ι
′
,
for an index ı
˘ is chosen so that e
i
′
δ
^
ι
⊥
′
e
ı
˘
≠
0.


## 6.1.6. Bayesian Ad Hoc Identification Using a Dynamic Model

A Bayesian model with dynamic specification of the prior has been suggested by Pedroza [42]. Dynamic priors are presented for the time effects θ
=
(
ξ
,
λ
) involving a hyper parameter ϕ. The ad hoc identification (91) is imposed so that analysis is made for an ad hoc identified time effect θ
λ.Pedroza presents posteriors forθ
λ. When evaluating this posterior one should bear in mind that the conditional prior p
(
λ
∣
ξ
) is not updated by the data; see Theorem 2. The presented extrapolative method does not depend on λ. Even so, the forecast will depend on conditional prior p
(
ϕ
∣
ξ
) which is not updated by the data; see Theorem 3.


## 6.2. The Two-Sample Lee-Carter Model

We now turn to applications of the Lee-Carter model in two-sample problems. Suppose two samples are for women and men. One approach would be to fit separate Lee-Carter models to the two datasets. These Lee-Carter models are of the form(110)
μ
i
j
r
=
α
i
r
+
β
i
r
κ
j
r
for
i
,
j
∈
I
ap
,
r
=
1,2
.
The objective is now to extrapolate the period effects κ
j
r. Extrapolating the two models separately using separate random walks is often seen to be volatile, so methods that seek to combine information from both estimated series κ
^
j
r are sought after. The next result describes the invariance problem in forecasting.Theorem 13.
Letμ
_
r
∈
M
2
r for r
=
1,2. The forecast μ
~
i
,
J
+
h
,
1 for sample r
=
1 is invariant to ad hoc identification if the extrapolation method κ
~
J
+
h
,
1 preserves location/scale for sample 1, but is invariant to location and scale for sample 2. That is for all c
1
,
c
2
∈
R and all d
1
,
d
2
≠
0; then
(111)
κ
~
J
+
h
,
1
{
d
1
(
κ
^
1
-
c
1
)
,
d
2
(
κ
^
2
-
c
2
)
}
=
d
1
{
κ
~
J
+
h
,
1
(
κ
^
1
,
κ
^
2
)
-
c
1
}
.For one sample the standard forecasting technique appears to be the random walk with a drift as in (108). For the two-sample problem a suggestion could be that women and men should share a common random walk with a drift but deviate from this by a stationary process. In econometrics this idea is referred to as cointegration as proposed by Engle and Granger [43]; see also Johansen [37] for a likelihood based vector autoregressive approach. It is tempting to require that the calendar effects should cointegrate with coefficients of unity, so κ
j
1
-
κ
j
2 should be stationary. However, that apparently intuitive choice violates Theorem 13 because the locations and scales of κ
j
r are different and arbitrary.There are two fixes to this problem. The first solution is to work directly with the mortality predictorsμ
i
j
r for an arbitrary age group i as outlined for the one-sample case in connection with (109). Since no identification is involved it is permitted to impose that μ
i
j
1 and μ
i
j
2 cointegrate with coefficients of unity. The forecast for age group i is then carried over to other age groups. The second solution is to work with the estimated series κ
^
j
r but estimate the cointegrating coefficients from the data. In other words, the cointegrating relation κ
^
j
1
-
φ
κ
^
j
2
-
ψ should be zero mean, stationary, with coefficients φ, ψ estimated from the data. This can, for instance, be done by Johansen’s approach for a bivariate vector autoregression; see Hendry and Nielsen [44, Section 17].


## 7. Conclusion

Ad hoc identification is intimately linked to interpretation, inference, numerical analysis, and forecasting. The ad hoc identification will often introduce an arbitrary element in the statistical analysis, whether it is based on frequentist or Bayesian methods. This arbitrary element is entirely avoidable and is in our view best avoided unless there is a clear substantial motivation for ad hoc identification. For decades there has been a debate over how it is best to ad hoc identify mortality models. Our proposal is to bypass this discussion by analysing the surjective mapping between the unidentified time effect parameter and the predictor of the model and then deduce a maximal invariant parametrisation. In our experience there are typically two substantial benefits. First, it simplifies estimation and other statistical computations which is what we have focused on here. Secondly and perhaps more importantly, it helps to focus the substantial question that gives rise to the analysis in the first place.The issue of dealing with two time scales also occurs in other statistical models, such as the Cox regression model; see Cabrera et al. [45] for a recent application. In future research it would be interesting to consider whether the analysis presented here has any bearing on that problem.



---

*Source: 347043-2014-06-02.xml*