This document was built in Markdown in R 4.1.2 and compiled on 16 November 2021. It covers package `lefko3`

version 4.0.1.

`LEFKO3`

R package `lefko3`

is devoted to the analysis of demographic data through matrix projection models (MPMs) (Shefferson, Kurokawa, and Ehrlen 2021). It is intended to serve as a one-stop destination for the construction of size-classified Lefkovitch MPMs, which divide the life of an individual into different life stages rather than ages. It was originally developed specifically to estimate and analyze *historical* matrix projection models (hMPMs), which are matrices designed to include not only current state but also past history in terms of previous states. Such matrices are large, typically having dimensions higher than their standard, ahistorical counterparts (the latter will be hereafter referred to as ahistorical MPMs, or ahMPMs, while the acronym MPM will be used to refer to all matrix projection models, whether historical or not). As this package has developed, we have prioritized the development of core algorithms and methods to construct these matrices quickly, efficiently, and at least relatively painlessly. To make comparison possible and straightforward, the package contains methods covering the estimation of both ahistorical and historical MPMs, using both raw matrix and function-based formats. It can also be used to create integral projection models (IPMs) and age × stage matrices, both of which are available in function-based formats.

Package `lefko3`

introduces a complete suite of functions covering the MPM workflow, from dataset management to the construction of MPMs to their analysis. Dataset management functions standardize demographic datasets from the dominant formats into a format that facilitates hMPM estimation while accounting for individual identity and other parameters. Demographic vital rate models may be estimated using demographic datasets with this standardized format, and these models take the form of generalized linear or mixed linear models using a variety of response distributions. Matrix estimation functions produce all necessary matrices from a single dataset, including all times, patches, and populations in a single shot, and do so quickly through core binaries engineered for speed and accuracy.

This vignette was written as a basic introduction to the concepts and methods underlying `lefko3`

. The target audience is everyone from beginners with little knowledge of population ecology and even less of R, to experienced ecologists with advanced working knowledge of R and the analysis of population dynamics. In addition to this vignette, which covers the concepts, background, and workflow underlying the package, we have created an online book entitled **lefko3: a gentle introduction**, and a series of vignettes focused on specific practical examples using the package to run suites of comprehensive analyses. The book covers all major uses of the package and contains lots of basic information and examples, and the vignettes show the development of raw and function-based MPMs, IPMs, and age-by-stage MPMs using two datasets included in `lefko3`

: a dataset from a Swedish population of the perennial herb *Lathyrus vernus*, and a dataset from an American population of the terrestrial orchid *Cypripedium candidum*. In addition, we have created a number of other vignettes and tutorials. All of these materials are available on the projects page of the Shefferson lab website.

Matrix projection models (MPMs) are representations of the dynamics of a population across all life history stages deemed relevant, across the most relevant time interval (typically one year, but sometimes different, and assumed to be consistent within each analysis). They require a complete model of the organism’s life history prior to construction, and this model must explicitly show all life stages and all life history transitions to be modeled. Each stage is mutually exclusive, meaning that an individual can only be in a single stage at a given time. Each stage is represented in the matrix by a single column and a single row. Each transition takes exactly one full time step, which needs to be defined consistently and should be equivalent to the approximate amount of time between consecutive monitoring occasions. Matrix elements (\(a_{kj}\)) show either the probability of transition for an individual in stage \(j\) at occasion *t* (along the columns), to stage \(k\) at occasion *t*+1 (along the rows), or the mean rate of production of new recruits into stage \(k\) at occasion *t*+1 (along the rows) by individuals in reproductive stage \(j\) in occasion *t* (along the columns). Conceptually, each individual is in a particular stage in the instance of monitoring or observation, and then either dies or completes a transition in the interval between that occasion’s observation and the next occasion’s observation. Death is not an explicit life stage and so is not modeled as such, instead becoming a potential endpoint of each transition.

Stages are generally defined under the assumption that they are unique moments in an organism’s life. This uniqueness is assumed to extend to the demography of the organism during its time within that stage. In some cases, stages are defined as developmental stages, as happens with insect instars. In other cases, stages are defined almost purely on the basis of size, as occurs with perennial herbs that may exhibit a different number of stems, leaves, and flowers in each growing season. In still other cases, stages may be defined via other characteristics. For example, the vegetative dormancy stage of some perennial herbs is defined by a lack of aboveground size, and so is characteristically not observable (Shefferson et al. 2001).

The timing of monitoring relative to the reproductive season impacts the structure of life history models. Life history models are typically categorized as either **pre-breeding** or **post-breeding**. Here, “breeding” refers to the production of offspring, and so a pre-breeding model assumes that monitoring is conducted immediately before the new recruits are born, while a post-breeding model assumes that the monitoring is conducted just after new recruits are born (in both cases, breeding is assumed to be seasonal). In a pre-breeding model, fecundity equals the production of newborns multiplied by the survival of newborns to age 1, since fecundity must take place over a full time step and the timing of the census misses both the birth event itself and the time in which the organism is a newborn (Kendall et al. 2019). In a post-breeding model, fecundity equals the survival of the parent from the stage/age preceding reproduction to reproduction itself, multiplied by the number of newborns produced (Kendall et al. 2019).

In monitoring studies of plant populations, the typical strategy taken is that of a pre-breeding model, in which fecundity is estimated as the production of seeds in a given year multiplied by their over-winter survival probability as seeds and their germination probability in the following year. If the life history includes seed dormancy, then it is modeled by multiplying seed production by seed survival (which is given as the probability of maintaining seed viability from one year to the next), in the first instance, and then as seed survival for seeds already produced and dormant (seed survival may be modeled to decrease with increasing age of dormant seed). Added complexity can arise if there are multiple fecundity pathways, for example when clonal reproduction is also possible, or if multiple propagule stages exist, or if recruitment can be to seeds that immediately germinate as well as to seeds that are dormant for one or more years. We urge users to be careful with this step, as properly defining the life history model has important implications for all analyses of population dynamics (Kendall et al. 2019).

Figure 1 is a simple example of a stage-based life history model (technically a **life cycle graph**) and its associated Lefkovitch matrix for a terrestrial orchid species, *Cypripedium candidum* (Shefferson et al. 2001). Here, we show each stage as a node, and each transition as a uni-directional arrow (a). The rates and probabilities are shown as mathematical symbols in (b), with \(S_{kj}\) denoting survival-transition probability from stage \(j\) in occasion *t* to stage \(k\) in occasion *t*+1, and \(F_{kj}\) denoting the fecundity of reproductive stage \(j\) into recruit stage \(k\) in this life history.

Figure 1.1. Simple life history model (a) and ahistorical MPM (b) for *Cypripedium candidum*, a North American herbaceous plant species. Here, **S** is the dormant seed stage, **J** is the seedling stage, **D** is adult vegetative dormancy, **V** is adult vegetative sprouting, and **F** is flowering.

Figure 1b is an example of an **ahistorical MPM** (ahMPM), which is a matrix projection model in which the future stage of an individual is dependent only on its current stage, and not on previous stages. In other words, individual history is not incorporated into ahMPMs. It may seem odd that individual history is not incorporated into the matrices given that demographic datasets are composed of records of individual histories spanning several or even many observation events. However, construction of a typical ahMPM breaks up these individual histories into pairs of consecutive stages across time, with each pair treated as independent of every other pair of consecutive stages. For example, if an individual is in stage A in occasion 1, stage B in occasion 2, stage E in occasion 3, and dead in occasion 4, then its individual history is broken up into A-B, B-E, and E-Dead, with each pair assumed to be independent. The resulting projection matrix would be the same if these transitions originated from different individuals or the same one - their order and relationships do not have any impacts in ahMPM construction.

The matrix shown in figure 1 can be used to project population dynamics by predicting the future numbers of individuals in each stage. For this example, we can project forward by multiplying the projection matrix by a column vector of the numbers of individuals in each stage, given in the same order as the order of stages corresponding to the rows and columns of the matrix, in a particular time, as in

\[\begin{equation} \tag{1} \left[\begin{array} {rrrrr} n _{2,S} \\ n _{2,J} \\ n _{2,V} \\ n _{2,D} \\ n _{2,F} \end{array}\right] = \left[\begin{array} {rrrrr} S _{SS} & 0 & 0 & 0 & F _{SF} \\ S _{JS} & S _{JJ} & 0 & 0 & F _{JF} \\ 0 & S _{VJ} & S _{VV} & S _{VD} & S _{VF} \\ 0 & S _{DJ} & S _{DV} & S _{DD} & S _{DF} \\ 0 & 0 & S _{FV} & S _{FD} & S _{FF} \end{array}\right] \left[\begin{array} {rrrrr} n _{1,S} \\ n _{1,J} \\ n _{1,V} \\ n _{1,D} \\ n _{1,F} \end{array}\right] \end{equation}\]

where \(n _{1,S}\) is the number of individuals in stage \(S\) in occasion 1. The total population size in any given occasion is the sum of the numbers of individuals in all stages in that occasion. The actual discrete population growth rate is calculated as the ratio of total population size in occasion 2 to the total population size in occasion 1, and the asymptotic growth rate \(\lambda\) can be estimated as the dominant eigenvalue of this matrix.

The independence of consecutive stage-pairs reflects a central assumption in ahMPM analysis: the stage of an individual in the next occasion is influenced only by its current stage. Conceptually, if an organism’s stage in the next occasion is entirely determined by its current stage, then its previous states do not influence these transitions. Thus, standard ahMPMs are two dimensional and reflect only the current and next immediate stage of individuals, given by the columns and rows, respectively. This is ultimately an extension of the *iid* assumption in statistics - that the states of individuals are independent and originate from identically-distributed random variables.

MPMs have been estimated since the 1940s (Caswell 2001). We have never done a meta-analysis of all of these studies, but nonetheless it is safe to say that studies considering individual history are rare. The typical MPM study uses ahMPMs, and so assumes independence of stage transitions across time even from the same individual. In fact, at the time of writing, we are aware of only five examples of studies breaking these assumptions and using a **historical** approach, meaning that they incorporated some degree of individual history into matrix estimation and analysis (Ehrlen 2000; Shefferson, Warren II, and Pulliam 2014; Shefferson, Mizuta, and Hutchings 2017; Shefferson et al. 2018; Vries and Caswell 2018).

The **historical MPM** (hMPM) is an extension of the matrix projection model that incorporates information on one previous occasion into the determination of vital rates. Thus, the expected survival-transition probability of an individual in stage \(j\) at occasion *t* to stage \(k\) at occasion *t*+1 depends not only on its stage in occasion *t* but also on its stage in occasion *t*-1. Population ecologists considering this problem analytically might be inclined to add an extra dimension to the matrix to deal with this, thus creating a 3d array or cube. However, this is mathematically intractable, with many analyses becoming impossible (Vries and Caswell 2018). Instead, we utilize the approach developed by Ehrlen (2000), in which rows and columns represent life history stages paired in consecutive occasions. Thus, columns now represent the **From** pair of stages (stage in occasions *t* and *t*-1), and rows now represent the **To** pair of stages (stage in occasions *t* and *t*+1), as in Figure 2. This model is equivalent to the second-order model proposed by Vries and Caswell (2018), although the latter incorporates more history into transitions involving individuals just born (we explain the difference further in this vignette).

Figure 1.2. Historical MPM for *Cypripedium candidum*, a North American herbaceous plant.

Here, we can refer to matrix elements as \(a_{kjl}\), where the element represents the rate at which individuals transition to stage \(k\) in occasion *t*+1 after having been stage \(j\) in occasion *t* and stage \(l\) in occasion *t*-1. If \(n_{kjl}\) is the number of individuals making this transition, \(n_{.jl}\) is the total number of individuals in stage \(j\) in occasion *t* and stage \(l\) in occasion *t*-1 regardless of stage or even status as alive or dead in occasion *t*+1, \(m\) is the number of stages in the life history model, and \(d\) is the number of stages plus death in the life history model (so \(d=m+1\)), then we have

\[\begin{equation} \tag{2} a _{kjl} = \frac{n _{kjl}}{n _{.jl}} = \frac{n _{kjl}}{\sum_{i=1}^{d} n _{ijl}} \end{equation}\]

These values can be used to compute the elements of matrices in ahMPMs, as follows:

\[\begin{equation} \tag{3} a _{kj} = \frac{\sum_{l=1}^{m} n _{kjl}}{\sum_{l=1}^{m} \sum_{i=1}^{d} n _{ijl}} \end{equation}\]

Note that although one can use the actual numbers of individuals making historical transitions to estimate ahistorical MPMs, one cannot use the actual matrix elements in a historical MPM to calculate the associated ahistorical MPM elements (and vice versa). This is due to the fact that historical transitions must be weighted by the numbers of individuals corresponding to each transition from occasion *t* to *t*+1 that were in each previous stage to produce the proper ahistorical weighted average transition rate. Historical matrix elements are equal only to the ratios of numbers of individuals in these categories, rather than to the numbers of individuals themselves, and contain no information allowing the inference of the latter.

Historical MPMs can be projected forward in the same way that ahMPMs can. Here we see an example of a projection going forward one time step, using the hMPM shown in figure 2.

\[\begin{equation} \tag{4} \tiny \left[\begin{array} {rrrrrrrrrrrrrrrrr} n _{2,SS} \\ n _{2,JS} \\ n _{2,JJ} \\ n _{2,VJ} \\ n _{2,DJ} \\ n _{2,FJ} \\ n _{2,VV} \\ n _{2,DV} \\ n _{2,FV} \\ n _{2,VD} \\ n _{2,DD} \\ n _{2,FD} \\ n _{2,VF} \\ n _{2,DF} \\ n _{2,FF} \\ n _{2,SF} \\ n _{2,JF} \end{array}\right] = \left[\begin{array} {rrrrrrrrrrrrrrrrr} S _{SSS} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & F _{SSF} & 0 \\ S _{JSS} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & F _{JSF} & 0 \\ 0 & S _{JJS} & S _{JJJ} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & F _{JJF} \\ 0 & S _{VJS} & S _{VJJ} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & F _{VJF} \\ 0 & S _{DJS} & S _{DJJ} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & F _{DJF} \\ 0 & S _{FJS} & S _{FJJ} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & F _{FJF} \\ 0 & 0 & 0 & S _{VVJ} & 0 & 0 & S _{VVV} & 0 & 0 & S _{VVD} & 0 & 0 & S _{VVF} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & S _{DVJ} & 0 & 0 & S _{DVV} & 0 & 0 & S _{DVD} & 0 & 0 & S _{DVF} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & S _{FVJ} & 0 & 0 & S _{FVV} & 0 & 0 & S _{FVD} & 0 & 0 & S _{FVF} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & S _{VDJ} & 0 & 0 & S _{VDV} & 0 & 0 & S _{VDD} & 0 & 0 & S _{VDF} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & S _{DDJ} & 0 & 0 & S _{DDV} & 0 & 0 & S _{DDD} & 0 & 0 & S _{DDF} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & S _{FDJ} & 0 & 0 & S _{FDV} & 0 & 0 & S _{FDD} & 0 & 0 & S _{FDF} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & S _{VFV} & 0 & 0 & S _{VFD} & 0 & 0 & S _{VFF} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & S _{DFV} & 0 & 0 & S _{DFD} & 0 & 0 & S _{DFF} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & S _{FFV} & 0 & 0 & S _{FFD} & 0 & 0 & S _{FFF} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & F _{SFJ} & 0 & 0 & F _{SFV} & 0 & 0 & F _{SFD} & 0 & 0 & F _{SFF} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & F _{JFJ} & 0 & 0 & F _{JFV} & 0 & 0 & F _{JFD} & 0 & 0 & F _{JFF} & 0 & 0 \\ \end{array}\right] \left[\begin{array} {rrrrrrrrrrrrrrrrr} n _{1,SS} \\ n _{1,JS} \\ n _{1,JJ} \\ n _{1,VJ} \\ n _{1,DJ} \\ n _{1,FJ} \\ n _{1,VV} \\ n _{1,DV} \\ n _{1,FV} \\ n _{1,VD} \\ n _{1,DD} \\ n _{1,FD} \\ n _{1,VF} \\ n _{1,DF} \\ n _{1,FF} \\ n _{1,SF} \\ n _{1,JF} \end{array}\right] \end{equation}\]

Here, \(n _{1,SS}\) is the number of individuals that were in stage \(S\) in both occasions 0 and 1, and \(n _{2,DF}\) is the number of individuals that were in stage \(D\) in occasion 2 and stage \(F\) in occasion 1.

Historical MPMs normally require a much larger number of elements to be parameterized than ahMPMs do. Figure 2 illustrates this issue, but the function-based matrix analysis in our *Cypripedium candidum* vignette provides a more realistic example. In that case study, we use a life history with 54 life stages, of which the first is a dormant seed stage, the next four are immature stages, the sixth is adult vegetative dormancy, the next 24 stages are size-classified non-flowering adults, and the final 24 stages are size-classified flowering adults. A life history with 54 stages yields an ahistorical matrix with 54 columns and 54 rows, and so 2,916 elements. A full historical matrix should have \(54 \times 54 = 2,916\) columns and 2,916 rows, consisting of 8,503,056 elements, because the column and row stages represent pairs of stages.

In an ahistorical matrix, the only true 0s will be those elements corresponding to biologically impossible transitions, or, in the raw matrix case, those elements without any individuals taking the respective transition in a given time step. However, most elements in a historical MPM are structural 0s. This happens because transition elements in hMPMs are only estimable if stage at occasion *t* is equal in the column and row stage pairs. For example, the transition probability between stage A in occasion *t*-1 and stage B in occasion *t* (column stage), to stage C in occasion *t* and stage D in occasion *t*+1 (row stage) equals 0, because an organism cannot be in both stages B and C in occasion *t*. Increasing the number of stages in a life history model causes these structural 0s to increase at a faster rate than the rate at which the number of truly estimable elements increases. In fact, if there are \(m\) stages in a life history, yielding \(m^2\) elements in an ahistorical matrix, then although there will be \(m^4\) elements in the historical matrix, only \(m^3\) will be *potentially* estimable while \((m-1)m^3\) are structural 0s (we say *potentially* because some of the logically possible transitions may still be biologically impossible, or may have no data to yield values other than 0). Thus, in the *Cypripedium candidum* example, all 2,916 elements of the ahMPM are potentially estimable (although some are biologically impossible), while only 157,464 of the 8,503,056 elements of the associated hMPM are potentially estimable and the rest are structural 0s.

Matrix projection models, whether historical or ahistorical, can also be categorized as either **raw** or **function-based**. The oldest and most common in the literature is the **raw** MPM, in which transition probabilities in the matrix are estimated by counting all of the individuals alive in a particular stage at occasion *t*, and dividing that number into the number of individuals from that set that are still alive in each possible stage in occasion *t*+1 (equations 2 and 3). For example, if 100 individuals are alive in stage D in year 2010, and 20 of these are alive in stage D in year 2011, as are a further 40 in stage V and a further 25 in stage F, then the associated transition probabilities are 0.20, 0.40, and 0.25, respectively. The overall survival probability for stage D is the sum of these transitions, or 0.85.

Methods for estimating fecundity in raw matrices vary from system to system. In the *Cypripedium candidum* vignette, we used counts of the number of fruits produced by each individual in a given year, and multiplied by the mean number of seeds per fruit and the mean germination probability in the next year. This study was conducted as a pre-breeding census - fecundity was estimated using a count of the seeds or other propagules that the plant produces (or a proxy thereof, such as the number of fruits multiplied by the mean number of seeds per fruit) multiplied by the probability of that propagule surviving to the next year in order to make sure that fecundity reflects demographic processes across a full time step (Kendall et al. 2019). In other systems in which offspring may be observed and tracked, counts of actual recruits may be possible, such as in studies of nesting birds, and as in *Lathyrus vernus*, an herbaceous perennial plant that is the subject of some vignettes included in this package.

In **function-based** MPMs, matrix elements are populated by kernels that link together functions representing key demographic processes governing each transition. Typically, demographic datasets are analyzed via linear models to estimate demographic parameters such as survival probability, the probability of becoming a certain size assuming survival, and fecundity. These linear models are developed using nested subsets of the demographic data used in a study in order to estimate conditional probabilities reflecting all of the demographic processes that must occur over the span of a single time step. Matrix elements are then estimated as products of responses from these linear models set to particular inputs corresponding to stage at occasion *t* and occasion *t*+1, as well as any other parameters governing the construction of the matrix. The most common examples of function-based MPMs are **integral projection models (IPMs)**, which break up a life history into many fine-scale size classes using a continuous measure of size, and then estimate survival-transitions and fecundity according to these fine-scale size classes (Ellner and Rees 2006). Function-based MPMs are more recent inventions than raw MPMs, and their strengths are making them increasingly common in the literature.

The example from Figures 1 and 2 may help to illustrate the procedure of creating a function-based MPM. In *Cypripedium candidum*, the simple life history model shown in Figure 1 includes one adult stage that is not observable (D - vegetative dormancy), one adult stage that is observable but not reproductive (V - vegetative sprouting), and one adult stage that is both observable and reproductive (F - flowering). If \(\sigma _{.jl}\) is the probability of survival from stage \(j\) in occasion *t* and stage \(l\) in occasion *t*-1 to any stage in occasion *t*+1, \(\rho _{.jl}\) is the probability of sprouting in occasion *t*+1 after being stage \(j\) in occasion *t* and stage \(l\) in occasion *t*-1 and surviving to occasion *t*+1, and \(\gamma _{.jl}\) is the probability of flowering in occasion *t*+1 after being stage \(j\) in occasion *t* and stage \(l\) in occasion *t*-1 and surviving to and sprouting in occasion *t*+1, then

\[\begin{equation} \tag{5} a _{DDD} = \sigma _{.DD} (1 - \rho _{.DD}) \end{equation}\]

\[\begin{equation} \tag{6} a _{VDD} = \sigma _{.DD} \rho _{.DD} (1 - \gamma _{.DD}) \end{equation}\]

\[\begin{equation} \tag{7} a _{FDD} = \sigma _{.DD} \rho _{.DD} \gamma _{.DD} \end{equation}\]

In both raw and function-based MPMs, most estimated elements are *survival-transition probabilities*. In ahMPMs, these give the probability of an individual in stage \(j\) at occasion *t* surviving and transitioning to stage \(k\) at occasion *t*+1. Fewer elements are devoted to fecundity, although life history models with more reproductive stages and more recruit stages will have more fecundity elements. In Figure 1, fecundity is shown in the top-right of the matrix, as the mean production of seeds either dormant or germinating in the next occasion. Ignoring the fecundity elements, we have a **survival-transition matrix** (symbolized as either **U** or **T**), in which the column sums correspond to the expected survival probabilities of individuals in each stage from occasion *t* to occasion *t*+1. Ignoring the survival-transition terms, we have the **fecundity matrix** (symbolized as **F**), in which the column sums correspond to the expected overall time-specific fecundity of individuals in these respective stages. The full MPM (symbolized as **A**) is the matrix sum of the survival-transition matrix and the fecundity matrix.

In principle, everything just noted about function-based ahMPMs also applies to function-based hMPMs. However, there is a key difference in terms of the distribution of elements within the matrix. The inclusion of stage or condition in occasion *t*-1 increases both the number of survival-transition elements and the number of fecundity elements, and also has the effect of dispersing the locations of these elements across the matrix. Whereas estimated transitions in ahMPMs will generally occur in dense patches of estimated elements, in hMPMs, most elements are structural 0s, with elements occurring either individually surrounded by 0s, or in small patches of estimated elements surrounded by 0s. This makes error-checking more challenging, because the user needs to be aware of where elements are supposed to occur in order to check their values properly.

Vries and Caswell (2018) detail different approaches to the development of hMPMs, differing in how state or stage in occasion *t*-1 is incorporated into the matrix. **Full prior stage dependence models** deal with history by incorporating prior condition as the exact stage of an organism in occasion *t*-1, yielding a 2d matrix showing stage pairs in occasion *t*-1 and *t* along the columns of the matrix, and stage pairs in occasion *t* and *t*+1 along the rows of the matrix. **Prior condition models** deal with history by making the transition from stage *t* to stage *t*+1 a function of stage at occasion *t* and condition in occasion *t*-1. Prior condition can be determined in the same way that current stage is determined (e.g. size classification), or a different measure of condition can be used, such as growth (i.e. the change in size between occasions *t*-1 and *t*).

One key feature proposed by Vries and Caswell (2018) is the addition of a new stage to account for the prior status of newborn individuals. This reflects a different interpretation from Ehrlen (2000) of the historical transition. In Ehrlen (2000), all matrix elements simply reflect the order of the events in a single transition, including both fecundity and survival-transition events. However, in Vries and Caswell (2018), these matrix elements must also reflect the history of specific individuals. In the latter case, the fact that a newborn in occasion *t* did not exist in occasion *t*-1 means that a new prior stage is constructed and used in the matrix. This new stage only exists in the prior occasion, and is only used for newborns in the first survival transition from birth. So, for example, in a 3 stage MPM where the 1st stage is the newborn stage and only the 3rd stage is reproductive, we add a 4th stage to the prior portion of the row and column. Thus, we may start with the following hMPM in Ehrlen (2000) format:

\[\begin{equation} \tag{8} \tiny \left[\begin{array} {rrrrrrrrr} n _{2,AA} \\ n _{2,BA} \\ n _{2,CA} \\ n _{2,AB} \\ n _{2,BB} \\ n _{2,CB} \\ n _{2,AC} \\ n _{2,BC} \\ n _{2,CC} \end{array}\right] = \left[\begin{array} {rrrrrrrrr} S _{AAA} & 0 & 0 & S _{AAB} & 0 & 0 & S _{AAC} & 0 & 0 \\ S _{BAA} & 0 & 0 & S _{BAB} & 0 & 0 & S _{BAC} & 0 & 0 \\ S _{CAA} & 0 & 0 & S _{CAB} & 0 & 0 & S _{CAC} & 0 & 0 \\ 0 & S _{ABA} & 0 & 0 & S _{ABB} & 0 & 0 & S _{ABC} & 0 \\ 0 & S _{BBA} & 0 & 0 & S _{BBB} & 0 & 0 & S _{BBC} & 0 \\ 0 & S _{CBA} & 0 & 0 & S _{CBB} & 0 & 0 & S _{CBC} & 0 \\ 0 & 0 & S _{ACA} + F _{ACA} & 0 & 0 & S _{ACB} + F _{ACB} & 0 & 0 & S _{ACC} + F _{ACC} \\ 0 & 0 & S _{BCA} & 0 & 0 & S _{BCB} & 0 & 0 & S _{BCC} \\ 0 & 0 & S _{CCA} & 0 & 0 & S _{CCB} & 0 & 0 & S _{CCC} \\ \end{array}\right] \left[\begin{array} {rrrrrrrrr} n _{1,AA} \\ n _{1,BA} \\ n _{1,CA} \\ n _{1,AB} \\ n _{1,BB} \\ n _{1,CB} \\ n _{1,AC} \\ n _{1,BC} \\ n _{1,CC} \end{array}\right] \end{equation}\]

This hMPM becomes as follows in Vries and Caswell (2018) format:

\[\begin{equation} \tag{9} \tiny \left[\begin{array} {rrrrrrrrrrrr} n _{2,AA} \\ n _{2,BA} \\ n _{2,CA} \\ n _{2,AB} \\ n _{2,BB} \\ n _{2,CB} \\ n _{2,AC} \\ n _{2,BC} \\ n _{2,CC} \\ n _{2,AP} \\ n _{2,BP} \\ n _{2,CP} \end{array}\right] = \left[\begin{array} {rrrrrrrrrrrr} S _{AAA} & 0 & 0 & S _{AAB} & 0 & 0 & S _{AAC} & 0 & 0 & S _{AA,AP} & 0 & 0 \\ S _{BAA} & 0 & 0 & S _{BAB} & 0 & 0 & S _{BAC} & 0 & 0 & S _{BA,AP} & 0 & 0 \\ S _{CAA} & 0 & 0 & S _{CAB} & 0 & 0 & S _{CAC} & 0 & 0 & S _{CA,AP} & 0 & 0 \\ 0 & S _{ABA} & 0 & 0 & S _{ABB} & 0 & 0 & S _{ABC} & 0 & 0 & 0 & 0 \\ 0 & S _{BBA} & 0 & 0 & S _{BBB} & 0 & 0 & S _{BBC} & 0 & 0 & 0 & 0 \\ 0 & S _{CBA} & 0 & 0 & S _{CBB} & 0 & 0 & S _{CBC} & 0 & 0 & 0 & 0 \\ 0 & 0 & S _{ACA} & 0 & 0 & S _{ACB} & 0 & 0 & S _{ACC} & 0 & 0 & 0 \\ 0 & 0 & S _{BCA} & 0 & 0 & S _{BCB} & 0 & 0 & S _{BCC} & 0 & 0 & 0 \\ 0 & 0 & S _{CCA} & 0 & 0 & S _{CCB} & 0 & 0 & S _{CCC} & 0 & 0 & 0 \\ 0 & 0 & F _{AP,CA} & 0 & 0 & F _{AP,CB} & 0 & 0 & F _{AP,CC} & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ \end{array}\right] \left[\begin{array} {rrrrrrrrrrrr} n _{1,AA} \\ n _{1,BA} \\ n _{1,CA} \\ n _{1,AB} \\ n _{1,BB} \\ n _{1,CB} \\ n _{1,AC} \\ n _{1,BC} \\ n _{1,CC} \\ n _{1,AP} \\ n _{1,BP} \\ n _{1,CP} \end{array}\right] \end{equation}\]

Note that matrix 9 above can be reduced by two rows and 2 columns, since transitions from the newborn prior stage (P) can only be to the newborn stage (A).

Package `lefko3`

generally implements the **full prior stage dependence model** approach, particularly in the development of raw matrices. However, in principle, function-based matrices developed with `lefko3`

can be seen as falling within the **prior condition model** approach where prior condition is determined in the same way as current stage. We also implement both the Ehrlen (2000) format and the Vries and Caswell (2018) format, and use the former as the default. We leave it to the user to decide which approach to use, and point out only that the literature suggests that maternal condition can have long-term effects on offspring survival, for example through maternal care and epigenetic influences (Descamps et al. 2008; Beamonte-Barrientos et al. 2010; Dogra and Dani 2019). Thus, retaining maternal state as the prior condition of a newborn makes logical sense and has a basis in the literature.

Vries and Caswell (2018) also suggest that hMPMs can be organized differently to yield more intuitive models. In particular, matrices may be as organized as block matrices where the component blocks are essentially matrices showing the transitions from all stages in occasion *t* to stages in occasion *t*+1 conditioned on individuals having been in the same stage in occasion *t*-1. We refer to these block component matrices as **conditional matrices**, since they show transitions from occasion *t* to occasion *t*+1 conditional on the same previous stage in occasion *t*-1. We have developed function `cond_hmpm()`

to take full hMPMs and decompose them into their associated conditional matrices.

Package `lefko3`

can also handle the estimation and analysis of age-by-stage MPMs. These matrices incorporate both size-classified (and not) stages, as well as the ages in which they occur. For example, in a 3 stage life history with a single newborn stage and two adult stages, only one of which is reproductive (as in equations 1, 4, 8, and 9), and in which age impacts survival and fecundity only for the first 4 years, beyond which survival and fecundity transitions remain the same, we have the following ahistorical age-by-stage matrix.

\[\begin{equation} \tag{10} \tiny \left[\begin{array} {rrrrrrr} n _{2,1A} \\ n _{2,2B} \\ n _{2,2C} \\ n _{2,3B} \\ n _{2,3C} \\ n _{2,4B} \\ n _{2,4C} \end{array}\right] = \left[\begin{array} {rrrrrrr} 0 & 0 & F _{1A,2C} & 0 & F _{1A,3C} & 0 & F _{1A,4+C} \\ S _{2B,1A} & 0 & 0 & 0 & 0 & 0 & 0 \\ S _{2C,1A} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & S _{3B,2B} & S _{3B,2C} & 0 & 0 & 0 & 0 \\ 0 & S _{3C,2B} & S _{3C,2C} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & S _{4B,3B} & S _{4B,3C} & S _{5+B,4B} & S _{5+B,4C} \\ 0 & 0 & 0 & S _{4C,3B} & S _{4C,3C} & S _{5+C,4B} & S _{5+C,4C} \\ \end{array}\right] \left[\begin{array} {rrrrrrr} n _{1,1A} \\ n _{1,2B} \\ n _{1,2C} \\ n _{1,3B} \\ n _{1,3C} \\ n _{1,4B} \\ n _{1,4C} \end{array}\right] \end{equation}\]

The above matrix is ahistorical. Package `lefko3`

does not currently support historical age-by-stage matrices.

The basic workflow to analysis with package `lefko3`

starts with the development of a life history model that encapsulates all of the appropriate life stages relevant to population dynamics. We do not present a complete discussion on this step, instead focusing on a sketch of the process focused on the life cycle graph and noting key issues related to this package. We encourage users to explore the literature on this subject, but particularly note chapters 3 and 4 in Caswell (2001) for a good treatment useful for beginners. Stages need to be defined carefully, and should strongly account for variability in vital rates. Statistical approaches such as *Jenks natural breaks optimization* can help determine ideal “natural” breaks in the distribution of size data to act as borders between size-classified stages (Jenks 1967). We also note Kendall et al. (2019) as a good reference detailing common problems in MPM construction and how to avoid them through proper development and operationalization of life history models. Beissinger and Westphal (1998), Wardle (1998), and Salguero-Gomez and Casper (2010) provide good discussions of the proper application of life history models to understand population dynamics through the MPM approach.

Here we utilize a **life cycle graph** approach to build a life history model. A life cycle graph shows the life history of an organism as a series of nodes and arrows. The nodes represent unique stages that the individual may go through during development, and individuals are noted as occurring in these stages during monitoring sessions conducted over a roughly or strictly regular frequency, such as at the start of the growing season every year, or over specific dates each year. Arrows represent transitions between stages across consecutive occasions. These may be interpreted either as probabilities of survival when reflecting the individual’s stage across time, or as rates when reflecting the production of offspring. A good life cycle graph, and in general a good life history model, must explicitly include representations of all stages possible for the organism to enter, and all biologically plausible transitions between these transitions. Figure 1a shows an example of a life cycle graph.

The construction of a good life history model is not as easy as it might appear, particularly because it can be influenced by factors seemingly external to the life history of the organism. Some of the most important considerations outside of the species’ biology include the size of the dataset, and the decision of whether to create a raw MPM or a function-based MPM. All else being equal, a larger dataset and a function-based MPM will allow more stages to be used in the life history. Assuming a dataset of fixed size, raw MPMs will include more and more 0s as the number of stages in the life history model increases. This happens because the chance of having any individuals actually move through a specific transition decreases as the number of possible transitions increases. These functional 0s that become increasingly common with increasing stages can cause problems in analysis, because they suggest that some transitions are impossible when, in fact, individuals moving through them were missing just by chance. Even a transition with extremely high probability may be missing in some years just by chance. One impact of this would be the reduction of the mean transition within an element-wise mean matrix to an unrealistic level, causing the predicted population growth rate to be artificially low.

Function-based MPMs are better able to handle large numbers of matrix elements because the risk of overparameterization is reduced by parsimonious model selection when vital rate models are determined. However, the size of the dataset influences the statistical power of these vital rate models, with smaller datasets yielding larger error associated with matrix elements. Loss of statistical power in vital rate models can lead to the loss of important process variance, and can make the population appear more static than it really is. Further, developing function-based MPMs for life history models that include stages rarely or never actually observed can yield problematic inferenes, such as matrices suggesting that some stages have survival probabilities greater than 1.0. Chapter 6 in Morris and Doak (2002) provides a good description of techniques that may be used to define stages and to determine the exact number to use given the context imposed by a given dataset of a given size. Ellner and Rees (2006) provides some discussion of this issue within the context of integral projection model development.

Once a life history model is developed, we need to characterize the main life stages in a way that is relevant to the dataset. We do this with the `sf_create()`

function, which creates a **stageframe** object. This term is a combination of the terms *life history stage* and *data frame*, and the object itself is a data frame that describes all of the life history stages. This object is created in a way that shows how stage relates to size, reproductive status, observation status, propagule status, maturity status, entry status (i.e. a stage’s ability to serve as the first stage of an individual’s life), and presence in the dataset, and in which the description of each life stage is unique. A good stageframe describes stages in ways that matrix-estimating functions utilize to compute elements accurately, and also allows the user to stipulate extra descriptive information on each stage as text. If the user wishes to create an IPM, then this function also allows that to be specified in a way that simplifies calculations.

Once the stageframe has been created, the demographic data needs to be organized into a format that `lefko3`

can use. The proper format is one that we term **historically-formatted vertical format**, or **hfv** format for short. We have developed two functions for this purpose, depending on the original format of the data. If the data is arranged *horizontally*, meaning that individual life histories are recorded in a spreadsheet in which each unique individual’s data is organized within a single row, where columns correspond to descriptor variables and to condition at different times, then the `verticalize3()`

function can standardize this dataset into the proper format. If the dataset is in *vertical, ahistorical format*, in which an individual’s condition across time is recorded across rows in a spreadsheet, with a single row corresponding to either a single observation or to a pair of consecutive observations, then the `historicalize3()`

function can standardize the dataset properly. These functions both can also add some new variables that might be of use. For example, both functions can estimate radial density if Cartesian coordinates for each datum and a radius are provided. Both functions are powered by binaries built in C++ using single control loops to propagate each data frame properly and efficiently, and so run very quickly (typically under 1s on a 2019 MacBook Pro). The case studies included in `lefko3`

illustrate the usage of these functions on real data.

MPMs are often estimated only partially from available demographic datasets. Some transitions are parameterized using information gathered from other studies, whether through direct input in the matrix or through the development of kernels contingent on external information. Other transitions might also be estimated via proxy transitions elsewhere in the matrix. In `lefko3`

, this information can be provided in one of two ways. The preferred, and most recently developed, method is through the **supplement table**, which can be developed using the `supplemental()`

function. This function allows users to create a data frame detailing:

- specific transitions to set as constants,
- specific transitions to estimate via proxy transitions, and
- specific multipliers for fecundity in cases in which fecundity estimates resulting from linear modeling must be modified to characterize the full transition, or for transitions estimated via proxy.

Examples might illustrate where this approach is useful. If I lack my own data on subterranean juvenile stages in a plant species, but I have estimates of survival for those stages form another study, then I might use those estimates as constants in the MPM. I can also set some transitions explicitly to 0 if I believe that there is a biological need for such an override. Further, if I lack demographic data on the development of germinated seeds to the seedling or earliest adult stage, but I have reason to believe that the survival probabilities should be similar to the survival within an observed stage of seedlings or small adults, then I can use the latter survival-transitions as proxies. Finally, if fecundity is a function of seed production, survival to the next year, and germination probability, then germination probability might be estimated via a separate field germination study. I might wish to incorporate this germination probability both as a constant transition, and as a multiplier on estimated fecundity. Supplement tables provide a means to include all of this information.

Function `supplemental()`

was developed to provide a robust, general solution to the addition of these data to MPMs. An alternative, older method exists that is composed of two parts. First, the user may specify specific rates and probabilities to incorporate directly into the matrix via **overwrite tables**, which can be created using the `overwrite()`

function. This function provides an opportunity to show the specific transition, in either historical or ahistorical format, along with the exact value to use. It also allows the user to specify whether a specific transition should be equal to another proxy transition to be estimated within the matrix estimation procedure. This makes it functionally similar to `supplemental()`

, although it lacks the latter’s ability to incorporate element multipliers for fecundity and for proxies, as well as some of the latter’s error-checking power. Users choosing to use the `overwrite()`

approach may also need to incorporate fecundity multipliers, in which case they can do so by creating a numeric matrix equal in both dimension and row/column designation to the ahistorical matrix associated with the study. We refer to this as a **reproductive matrix**. Assuming the same order of stages as in the associated `stageframe`

, the user can create a zero matrix and add fecundity elements set to the appropriate multipliers. Changing all fecundity elements to 1 simply yields fecundity estimated as equal to whatever variable corresponds to fecundity in the dataset. Multiplying by, say, 0.25 will yield estimates \(\frac{1}{4}\) of that magnitude. The default behavior of `lefko3`

if neither a reproductive matrix nor a `supplemental()`

table is supplied is to assume that all fecundity is to the earliest stage supplied in the stage frame, where the earliest stage would be the first propagule stage, or the first immature stage if no propagule stage is noted, or the first overall stage if only mature stages are provided.

Historical MPMs are not necessarily justified in all cases. We urge the reader to use the principle of parsimony in deciding this. For example, users may analyze whether lagged effects of previous stage appear to influence vital rates. Package `lefko3`

includes one method to do this based on linear modeling. A number of other methods exist, mostly focused on what are known as *memory models* (Brownie et al. 1993; Pradel, Wintrebert, and Gimenez 2003; Cole et al. 2014). Here, we focus only on the `lefko3`

method, and leave it to the reader to explore other options.

In `lefko3`

, function `modelsearch()`

allows users to explore whether history influences component vital rates, and to develop linear models of these vital rates. The results can be used to decide not only whether a historical MPM is justified, but also to develop function-based hMPMs and ahMPMs themselves. Package `lefko3`

can estimate linear models to estimate up to thirteen different vital rates:

**Survival probability**- This is the probability of surviving from occasion*t*to occasion*t*+1, given that the individual is in stage \(j\) in occasion*t*(and, if historical, in stage \(l\) in occasion*t*-1). In`lefko3`

, this parameter may be modeled as a function of size, reproductive status, patch, year, age, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity. This parameter is required in all function-based matrices.**Observation probability**- This is an optional parameter denoting the probability of observation in occasion*t*+1 of an individual in stage \(k\) given survival from occasion*t*to occasion*t*+1. This parameter is only used when at least one stage is technically not observable. For example, some plants are capable of vegetative dormancy, in which case they are alive but do not necessarily sprout in all years. In these cases, the probability of sprouting may be estimated as the observation probability. Note that this probability does not refer to observer effort, and so should only be used to differentiate completely unobservable stages where the observation status refers to an important biological phenomenon, such as when individuals may be alive but have a size of 0. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, reproductive status, patch, year, age, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity.**Primary size transition probability**- This is the probability of becoming size \(k\) in occasion*t*+1 assuming survival from occasion*t*to occasion*t*+1 and observation in that time. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, reproductive status, patch, year, age, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity. This parameter is required in all function-based size-classified matrices.**Secondary size transition probability**- This is the probability of becoming size \(k\) in occasion*t*+1 assuming survival from occasion*t*to occasion*t*+1 and observation in that time, within a second size metric used for classification in addition to the primary metric. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, reproductive status, patch, year, age, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity. This parameter is required in all function-based size-classified matrices.**Tertiary size transition probability**- This is the probability of becoming size \(k\) in occasion*t*+1 assuming survival from occasion*t*to occasion*t*+1 and observation in that time, within a third size metric used for classification in addition to the primary and secondary metrics. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, reproductive status, patch, year, age, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity. This parameter is required in all function-based size-classified matrices.**Reproduction probability**- This is an optional parameter denoting the probability of reproducing in occasion*t*+1 given survival from occasion*t*to occasion*t*+1, and observation in that time. Note that this should be used only if the researcher wishes to separate breeding from non-breeding mature stages. If all adult stages are potentially reproductive and no separation of reproducing from non-reproducing adults is desired, then this parameter should not be estimated. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, reproductive status, patch, year, age, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity.**Fecundity rate**- Under the default setting, this is the rate of successful production of offspring in occasion*t*by individuals alive, observable, and reproductive in that time, and, if desired and sufficient information is provided in the dataset, the survival of those offspring into occasion*t*+1 in whatever juvenile class is possible. Thus, the fecundity rate of seed-producing plants might be split into seedlings, which are plants that germinated within a year of seed production, and dormant seeds. Alternatively, it may be given only as produced fruits or seeds, with the survival and germination of seeds provided elsewhere in the MPM development process, such as within a supplement table. An additional setting allows fecundity rate to be estimated using data provided for occasion*t*+1 instead of occasion*t*. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, reproductive status, patch, year, age, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity.**Juvenile survival probability**- This is an optional parameter that is used to model the probability of surviving from juvenile stage \(j\) in occasion*t*to a mature stage in occasion*t*+1. It is used only when the user wishes to model juvenile vital rates separately from adults, and not on the size scale used to classify adults. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, patch, year, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity.**Juvenile observation probability**- This is an optional parameter denoting the probability of observation in occasion*t*+1 of an individual in mature stage \(k\) given survival from a juvenile stage in occasion*t*to occasion*t*+1. It is used only when the user wishes to model juvenile vital rates separately from adults. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, patch, year, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity, and all other caveats noted in (2) above apply.**Juvenile primary size transition probability**- This is an optional parameter denoting the probability of becoming mature size \(k\) in occasion*t*+1 assuming survival from juvenile stage \(j\) in occasion*t*to occasion*t*+1 and observation in that time. It is used only when the user wishes to model juvenile vital rates separately from adults. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, patch, year, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity.**Juvenile secondary size transition probability**- This is an optional parameter denoting the probability of becoming mature size \(k\) in occasion*t*+1 assuming survival from juvenile stage \(j\) in occasion*t*to occasion*t*+1 and observation in that time, in a secondary size metric in addition to the primary size metric. It is used only when the user wishes to model juvenile vital rates separately from adults. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, patch, year, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity.**Juvenile tertiary size transition probability**- This is an optional parameter denoting the probability of becoming mature size \(k\) in occasion*t*+1 assuming survival from juvenile stage \(j\) in occasion*t*to occasion*t*+1 and observation in that time, in a tertiary size metric in addition to the primary and secondary size metrics. It is used only when the user wishes to model juvenile vital rates separately from adults. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, patch, year, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity.**Juvenile reproduction probability**- This is an optional parameter denoting the probability of reproducing in mature stage \(k\) in occasion*t*+1 given survival from juvenile stage*j*in occasion*t*to occasion*t*+1, and observation in that time. It is used only when the user wishes to model juvenile vital rates separately from adults. In`lefko3`

, this parameter may be modeled as a function of up to 3 size metrics, patch, year, and a number of individual or environmental covariates in occasions*t*and*t*-1, and individual identity, and all other caveats in (4) apply. Note that this parameter denotes transition to maturity.

Of these thirteen vital rates, most users will estimate at least parameters (1) survival probability, (3) size transition probability, and (7) fecundity. These three are the default set for function `modelsearch()`

. Parameters (2) observation probability and (6) reproduction probability may be used when some stages are included that are completely unobservable (and so do not have any size), or that are mature but non-reproductive, respectively. Parameters (8) through (13) should only be added if the dataset contains juvenile individuals transitioning to maturity, and these juveniles live essentially as a single stage for a single time step before transitioning to maturity, or before transitioning to a stage that is size-classified in the same manner as adult stages are.

Function `modelsearch()`

handles the entire modeling process using an exhaustive model building process combined with information theoretical model selection using model AICc and the number of estimated parameters in each model. It handles the development of global models, exhaustive model building, and the selection of best-fit models. Users should provide this function with information about the following:

**Individual history**- Are the matrices to be built historical or ahistorical? If the former, then the state of the individual in occasion*t*-1 will be included in modeling.**Modeling approach**- Should the models be estimated as generalized linear models (GLMs) or mixed linear models? While most function-based matrix models are estimated as the former, the latter approach can account for repeated observations of the same individual by including individual identity as a random factor. Mixed models also allow time and patch to be treated as random variables, which allows for broader and more theoretically sound inference.**Suite of factors**- Should both size and reproductive status be tested as causal factors? Should two-way interactions be included? Alternatively, should models be estimated as constants?**Suite of vital rates**- Which adult demographic parameters should be estimated? The defaults are (1) survival, (3) primary size, and (7) fecundity. Should (2) observation status, (6) reproductive status, or (4) secondary size or (5) tertiary size also be modeled?**Juvenile vital rate estimation**- Should juvenile parameters (8) through (13) also be modeled separately from adult parameters?**Best-fit criterion**- If a model with fewer parameters exists within 2.0 AICc units of the model with the lowest AICc, then should this model be used as the best-fit model (the default), or should the model with the lowest AICc always be chosen?**Size distribution**- Should size be modeled as a continuous variable under a Gaussian or Gamma distribution, or as a count variable under either a Poisson or negative binomial distribution? If a count variable, then should the distribution be zero-inflated to account for excess zeroes, zero-truncated to account for a lack of zeroes, or left unaltered?**Fecundity distribution**- Should fecundity be modeled as a continuous variable under a Gaussian or Gamma distribution, or as a count variable under either a Poisson or negative binomial distribution? If a count variable, then should the distribution be zero-inflated to account for excess zeroes, zero-truncated to account for a lack of zeroes, or left unaltered?**Timing of fecundity**- Function`modelsearch()`

assumes that linear models of fecundity use a metric counted or measured in occasion*t*as the response. This applies well with most herbaceous plant datasets, where flowers or seeds produced in one year might be the fecundity response measured. However, users not wishing to follow this default behavior can use the`fectime`

option to stipulate a fecundity metric measured in occasion*t*+1.**Age**- Is an age or age x stage MPM the main goal? Currently only age MPMs and ahistorical age x stage MPMs are offered in`lefko3`

.**Individual covariates and environmental state variables**- Should individual or environmental covariates be tested as causal factors on vital rates? If so, then should they be included as fixed, quantitative terms or as random, categorical terms?**Stage groups**- If stage groups are noted in the stageframe, then should they also be used as fixed, independent categorical predictors in modeling?**Missing values for occasions and patches**- Should occasions or patches with coefficients that drop to 0 in modeling be estimated as random draws from the corresponding distributions of occasion or patch coefficients?**Censoring**- Should data points marked as questionable be used or eliminated?**Variable names**- The names of all relevant variables in the dataset need to be specified. Note that the default behavior assumes variable names output via the`historicalize3()`

or`verticalize3()`

functions, which produce standardized historically-formatted vertical (*hfv*format) datasets.

Once all decisions are made and associated input terms are provided, `modelsearch()`

goes to work. The result is a `lefkoMod`

object, which is a list in which the first 13 elements are the best-fit models developed for each vital rate. These are followed by an equivalent number of elements showing the full model tables developed and tested, followed by a table detailing the names and definitions of terms used in modeling, an element detailing the best-fit criterion used, and ending on quality control data showing the number of individuals and the number of unique transitions used in the estimation of each model. Depending on user choices, linear modeling is handled through the `lm()`

and `glm()`

functions in the `stats`

package, the `lmer()`

and `glmer()`

functions in `lme4`

(Bates et al. 2015), the `glmmTMB()`

function in `glmmTMB`

(Brooks et al. 2017), the `glm.nb()`

function in package `MASS`

, the `vglm()`

function in package `VGAM`

(Yee and Wild 1996; Yee 2015), or the `zeroinfl()`

function in package `pscl`

(Zeileis, Kleiber, and Jackman 2008). Exhaustive model building proceeds through the `dredge()`

function in package `MuMIn`

(Barton 2014). Model selection is handled through assessment of AICc and the number of parameters estimated per model (see 6. **Best-fit criterion** above).

If `modelsearch()`

is set for historical analysis (`historical = TRUE`

, the default), then the decision of whether to develop a historical MPM can be made on the basis of whether any best-fit vital rate model includes size or reproductive status in occasion *t*-1. If at least one vital rate does, then a historical MPM is justified. Otherwise, it is not. Regardless, the output can be used to create a function-based MPM in the next step.

Advanced users of `lefko3`

may wish to create their own models without the package’s automated model selection function. In that case, `lefko3`

’s matrix functions can accommodate single models developed using base R (including packages `stats`

and `MASS`

), package `lme4`

(Bates et al. 2015), package `glmmTMB`

(Brooks et al. 2017), package `pscl`

(Zeileis, Kleiber, and Jackman 2008), and package `VGAM`

(Yee and Wild 1996; Yee 2015). Plans are in the works to add `nlme`

compatibility (Pinheiro et al. 2020), as well as non-linear models such as general additive models (GAMs).

A final note of some importance with regards to `modelsearch()`

. Vital rate models vary in quality, and many methods exist to assess this quality. Since the predicted population dynamics from MPM analysis are strongly subject to the inputs used, we strongly urge the user to conduct further quality control analyses. We suggest such analyses as assessing the adjusted \(R^2\) in Gaussian regression, the accuracy rate in binomial models, and at the very least deviance comparisons in other, more complicated models. A model that cannot predict its own dataset is unlikely to produce useful results in ecological analysis. We currently include accuracy information for binomial models in `summary()`

calls for `lefkoMod`

objects, and are working on incorporating other model quality control metrics for other model styles.

MPM creation can be accomplished with five different functions:

`rlefko2()`

- Creates raw ahistorical MPMs given a dataset, a stageframe, and either a supplement table or a reproductive matrix and an overwrite table.`rlefko3()`

- Creates raw historical MPMs given a dataset, a stageframe, and either a supplement table or a reproductive matrix and an overwrite table.`flefko2()`

- Creates function-based ahistorical MPMs given a dataset, a set of models, a stageframe, and either a supplement table or a reproductive matrix and an overwrite table.`flefko3()`

- Creates function-based historical MPMs given a dataset, a set of models, a stageframe, and either a supplement table or a reproductive matrix and an overwrite table.`aflefko3()`

- Creates function-based ahistorical age x stage MPMs given a dataset, a set of models, a stageframe, and either a supplement table or a reproductive matrix and an overwrite table.

These functions incorporate binary kernels developed to handle the estimation of matrix elements quickly and efficiently. A single run of `flefko3()`

, for example, should be able to yield all annual matrices for all patches for the *Cypripedium candidum* dataset provided with `lefko3`

in under a minute on most machines (14s or so on RPS’ 2019 MacBook Pro with 2.3 GHz 8-Core Intel Core i9). Parallel computing should not be necessary even with the slowest of current machines, provided that the machine is current enough to handle at least R 3.6.3.

The output for each of these functions is a `lefkoMat`

object, which is an S3 object (i.e. a list with pre-defined elements). These lists include elements `A`

, `U`

, and `F`

, which are themselves lists of complete projection matrices, survival-transition matrices, and fecundity matrices, respectively. For example, code such as `matobject$A[[1]]`

would access the first complete projection matrix in a `lefkoMat`

object named `matobject`

. They are followed by elements referred to as `ahstages`

, `hstages`

, and `agestages`

, which provide data frames describing the stages (technically showing the stageframe, though edited by the function for consistency), the historical stage-pairs, and the age-stage pairs shown in the order in which they occur within the matrices. The `labels`

element is a data frame giving a description of each matrix in the order in which it occurs within the `A`

, `U`

, and `F`

elements, including the population, patch, and monitoring time designations. The final elements are quality control outputs that vary in content depending on whether the output matrices are raw or function-based, but nonetheless always include at least the numbers of individuals and individual-transitions used for estimation.

Users wishing to check the output MPMs for errors or simply understand more about them may utilize functions `summary()`

and `cond_hmpm()`

. Function `summary()`

summarizes each `lefkoMat`

object used as input, and also checks the survival of stages, stage-pairs, or age-stages by assessing the column sums for each `U`

matrix and providing warnings if any survival probabilities fall below 0 or are greater than 1. Function `cond_hmpm()`

decomposes hMPMs into MPMs showing transitions from occasion *t* to occasion *t*+1, but conditioned on the same stage at occasion *t*-1. Thus, a single hMPM with 5 stages and 25 stage pairs would be broken down into 5 conditional MPMs, one for each stage at occasion *t*-1, with 5 columns and 5 rows denoting stage at occasions *t* and *t*+1, respectively. These can be examined individually, and the survival of stages from occasion *t* to occasion *t*+1 can be assessed as a function of stage in occasion *t*-1 by taking the associated column sums of these conditional matrices.

Some population ecologists will wish to utilize the power and functionality of `lefko3`

on already existing matrices. Although many analytical functions work with simple lists of matrices, users may import sets of matrices as `lefkoMat`

objects in order to utilize the most powerful analyses. The `create_lM()`

function allows users to take a list of square matrices of equal dimensions, and import them into a `lefkoMat`

object. Users wishing to do this will also need to develop a stageframe, and to input the order of populations, patches, and years associated with the order of matrices in the input list. Function `create_lM`

runs several quality checks on the input data, and assuming that there are no obvious inconsistencies, yields the final `lefkoMat`

object for further use in analysis.

Package `lefko3`

includes a number of functions to aid analysis once matrices are created. These may be of greater utility in some circumstances than established functions such as `eigen()`

, because our functions are made to handle even extremely large, sparse matrices. Currently, we include functions to estimate element-wise arithmetic mean matrices, discrete and stochastic population growth rate, stable stage structure, reproductive value, deterministic and stochastic sensitivity and elasticity, and deterministic and stochastic life table response experiments (LTRE and sLTRE). We also include a basic projection function that can show the expected numbers of individuals in each stage forward in time under deterministic, stochastic, and density dependent assumptions. Plans are in the works for further analysis functions in the future.

Population ecologists most typically run deterministic projection analyses. These analyses take single matrices, and project them infinite numbers of times. In most cases, such an infinite projection yields a set of asymptotic properties that are measurable using eigen analysis. For example, the long-run population growth rate should asymptotically approach the largest real part of the dominant eigenvalue.

Ecologists wishing to assess the influence of environmental variability may instead wish to assume temporal environmental stochasticity. Under this assumption, the population is projected into the future by randomly shuffling with resampling all matrices associated with that specific population. Several theorems predict that such a long-run projection will typically yield roughly stable characteristics, including the long-run mean population growth rate and the long-run average stage structure, and that these characteristics may differ strongly from those predicted under deterministic analysis.

Package `lefko3`

contains functions that quickly assess deterministic and stochastic properties. In addition, users may use the `projection3()`

function to conduct user-defined projections of various sorts, including even cyclical and unequally weighted stochastic projections.

Package `lefko3`

also provides the ability to conduct density dependent projections. Readers of the density dependence literature will know that there are many forms of density dependent functions that can be applied to matrix projection. The oldest forms typically applied a function such as the logistic function to all matrix elements, generally by multiplying each matrix element by some function of density (e.g., Leslie 1959). More recent forms incorporate complex approaches, often separating density dependent functions by vital rate (e.g., Jensen 1995).

To provide the greatest flexibility, `lefko3`

currently implements density dependence using the `density_input()`

function, which allows users to list all matrix elements that should be subject to density dependence, and to stipulate the characteristics of the density dependence. Shorthand abbreviations can be used, such as `all`

for all stages, `rep`

for reproductive stages, `nrep`

for mature but non-reproductive stages, etc. A default time delay of 1 time step is applied, and this can be set to any positive integer. Currently, `lefko3`

includes 4 density dependence functions that can be chosen, with projections capable of including multiple functions and time delays. The first is the Ricker function, which is given as

\[\begin{equation} \tag{11} \phi_{t+1} = \phi_t \times \alpha e^{-\beta n_t} \end{equation}\]

where \(\alpha\) and \(\beta\) are the density dependence parameters, and \(\beta\) in particular gives the strength of density dependence. This equation is among the most interesting in the density dependence literature, because it is capable of producing oscillations, even multi-period oscillations, and chaos.

The second density dependence function applied in `lefko3`

is the Beverton-Holt equation, which is given as

\[\begin{equation} \tag{12} \phi_{t+1} = \frac{\phi_t \times \alpha}{1 + \beta n_t} \end{equation}\]

where \(\alpha\) and \(\beta\) are, once again, the density dependence parameters, and \(\beta\) in particular gives the strength of density dependence. This function generally asymptotes at an equilibrium density, and so is not capable of producing the complex patterns that the Ricker model is capable of.

The third function implemented in `lefko3`

is the Usher function, given as

\[\begin{equation} \tag{13} \phi_{t+1} = \phi_t \times \frac{1}{1 + e^{\alpha N + \beta}} \end{equation}\]

where both \(\alpha\) and \(\beta\) give the strength of density dependence, though the former via an interaction with density and the latter via an addition to the exponential effect.

Finally, `lefko3`

also implements a form of the logistic equation, given as

\[\begin{equation} \tag{14} \phi_{t+1} = \phi_t \times (1 - \frac{n}{K}) \end{equation}\]

where only one parameter, \(K\), is needed.

Package `lefko3`

currently implements these analyses via the `projection3()`

function. Settings for this function also allow the user to stipulate whether the projection should force matrices to remain substochastic, meaning that the probabilities can be prevented from moving outside of the range of 0 to 1. Two forms of substochasticity are allowed: 1) a simple form in which surviv-transition elements are prevented from moving outside of the range of allowable values for probabilities, and 2) a more complicated form that keeps the column sums in survival-transitions matrices (equivalent to the survival probabilities of stages, stage-pairs, or age-stages) within the range of allowable values for probabilities. We are currently developing functions to analyze projection results, including sensitivity and analyses.

Package `lefko3`

allows the estimation of both the deterministic and stochastic population growth rates. The deterministic population growth rate is estimated with function `lambda3()`

, and estimates the population growth rate (\(\lambda\)) as the dominant eigenvalue of each matrix provided (technically, the largest real part of the estimated eigenvalues). Where matrices are largeand sparse, as in most historical or age-by-stage cases, `lambda3()`

first converts matrices to sparse format in order to speed up estimation.

The function `slambda3()`

estimates the log stochastic population growth rate in its instantaneous form (\(a = \text{log} \lambda _{S}\)). This is estimated as the mean log discrete population growth rate across a user-specified number of random draws of the supplied annual matrices:

\[\begin{equation} \tag{15} a = \text{log} \lambda _{S} = \frac{1}{T} \sum _{t=1}^{T} \text{log} \frac{N _{t}}{N _{t-1}} \end{equation}\]

where \(N _t\) is the population size in occasion \(t\), and \(T\) is the number of occasions projected forward, set to 10,000 by default. Function `slambda3()`

does not shuffle across patches or populations, instead shuffling within patches, or shuffling annual matrices calculated as element-wise means of patch matrices within the same population and the same time. The methodology is based on Morris and Doak (2002), though accounts for spatial averaging of patches and can easily handle large and sparse matrices.

In ahistorical analysis, the stable stage distribution and the reproductive value of stages are estimated as the standardized right and left eigenvectors, respectively, associated with the dominant eigenvalue of the matrix. Standardization of the stable stage distribution is handled by dividing each respective element of the right eigenvector by the sum of the elements in that eigenvector. Standardization of the reproductive value vector is handled by dividing each element in the left eigenvector by the value of the first non-zero element in that eigenvector.

The methods mentioned above apply to historical matrices as well. However, as described, they only provide the stable stage distribution and reproductive values of stage pairs. We provide two functions, `stablestage3()`

and `repvalue3()`

to allow the estimation of these vectors for both ahistorical and historical MPMs. When provided with a historical MPM, these functions also estimate **historically-corrected** stable stage distributions and reproductive value vectors, which correspond to the original stages in the associated life history model rather than the stage pairs, and so are comparable against the ahistorical stable stage distributions and reproductive value vectors. The historically-corrected stable stage proportion for stage \(j\) is estimated as the sum of all stable stage proportions for stage \(j\) in occasion *t* across all stages in occasion *t*-1, as in:

\[\begin{equation} \tag{16} SS _j = \sum _{l=1}^{m} w _{jl} \end{equation}\]

where \(l\) is stage in occasion *t*-1, \(m\) is the number of stages, \(SS_j\) is the stable stage proportion of stage \(j\), and \(w _{jl}\) is the stable stage proportion of stage pair \(jl\) given as the standardized right eigenvector corresponding to the dominant eigenvalue of the hMPM. The historically-corrected reproductive value of stage \(j\) is calculated as the sum of all reproductive values for stage \(j\) in occasion *t* across all stages in occasion *t*-1, weighted by the stable stage proportion of the respective stage pair divided by the stable stage proportion of stage \(j\) at occasion *t* (Ehrlen 2000), as in:

\[\begin{equation} \tag{17} RV _j = \sum _{l=1}^{m} v _{jl} (w _{jl} / SS _{j}) \end{equation}\]

where \(RV _j\) refers to reproductive value of stage \(j\), and \(v _{jl}\) refers to the reproductive value of the stage pair as given by the standardized left eigenvector of the dominant eigenvalue of the historical MPM. The influence of history can make these numbers differ quite dramatically from those produced by ahistorical matrices.
Package `lefko3`

also handles the estimation of stochastic stable stage distribution and reproductive value vectors. It handles this through projection of shuffled temporal matrices, typically 10,000 occasions forward though the exact number can be set as needed. According to the stochastic strong and weak ergodic theorems, this random shuffling should eventually yield a roughly stationary distribution of stage proportions and stage reproductive values. Thus, the stochastic stable structure is estimated as the arithmetic mean vector of the final set of typically one or two thousand predicted stage proportion vectors in such a projection.

The stochastic reproductive value is more complicated. Imagine a vector, \(\mathbf{x}(t)\), which includes the expected number of offspring produced by each stage in occasion *t*+1. This is referred to as the *undiscounted reproductive value vector* because it is not standardized, and so is likely to eventually move to an extreme value such as infinity. It turns out that \(\mathbf{x}(t)\) is related to other occasions in this projection via:

\[\begin{equation} \tag{18} \mathbf{x}^\top(t) = \mathbf{x}^\top(t+1)\mathbf{A}_t \end{equation}\]

Standardizing leads to the *discounted reproductive value vector*, as below:

\[\begin{equation} \tag{19} \mathbf{v}(t) = \frac{\mathbf{x}(t)}{\lVert \mathbf{x}(t) \rVert} \end{equation}\]

The reproductive value vector can then be projected as well, as in

\[\begin{equation} \tag{20} \mathbf{v}(t) = \frac{\mathbf{v}^\top(t+1)\mathbf{A}_t}{\lVert \mathbf{v}^\top(t+1)\mathbf{A}_t \rVert} \end{equation}\]

The reproductive value is projected backwards in time, and package `lefko3`

takes its average in the final one or two thousand portions of the backward projection.

Package `lefko3`

contains functions allowing users to conduct deterministic and stochastic sensitivity and elasticity analyses. Sensitivity and elasticity analysis are forms of perturbation analysis, and we urge readers to consult Caswell (2001) and Caswell (2019) to become fully acquainted with the topic. Here, we discuss just the most important aspects to understand these analyses as conducted using `lefko3`

.

The sensitivity of \(\lambda\), the deterministic population growth rate, to a specific element in a projection matrix can be calculated using eigen analysis as

\[\begin{equation} \tag{21} \frac{\partial \lambda}{\partial a _{kj}} = \frac{\bar{v} _{k} w _{j}}{<\mathbf{w}, \mathbf{v}>} \end{equation}\]

Here, \(\mathbf{w}\) is the stable stage distribution vector calculated as the right eigenvector of the dominant eigenvalue of the matrix (standardized to sum to 1.0), \(\mathbf{v}\) is the reproductive value vector calculated as the associated left eigenvector (standardized by dividing by the value of the first non-zero value), and \(\bar{v} _{k}\) is the complex conjugate of element \(k\) of \(\mathbf{v}\). \(k\) is the stage in occasion *t*+1 and in the ahMPM refers to the corresponding row, while \(j\) refers to stage in occasion *t* and in an ahMPM refers to the corresponding column. The term \(<\mathbf{w}, \mathbf{v}>\) refers to the scalar product of these vectors.

In the hMPM case, the basic method is essentially the same as in equation 21, although the equation itself changes somewhat, with the sensitivity of \(\lambda\) to each matrix element given as

\[\begin{equation} \tag{22} \frac{\partial \lambda}{\partial a _{kjl}} = \frac{\bar{v} _{kj} w _{jl}}{<\mathbf{w}, \mathbf{v}>} \end{equation}\]

Here, \(k\) is stage in occasion *t*+1, \(j\) is stage in occasion *t*, \(l\) is stage in occasion *t*-1, \(kj\) refers both to the stage pair in occasions *t*+1 and *t* as well as the corresponding row in the historical matrix, and \(jl\) refers both to the stage pair in occasions *t* and *t*-1 as well as the corresponding column in the historical matrix. Historically-corrected sensitivities may also be estimated for the basic stages of the life history model using the historically-corrected stable stage distributions and reproductive values given in equations 16 and 17 as input in equation 21.

Sensitivities show how much a small, additive change in a matrix element can alter \(\lambda\), but do so by estimating the local slope of \(\lambda\) given in terms of the matrix element (Caswell 2001). Sensitivities are also typically non-zero even for impossible transitions represented by 0s in the matrix. Elasticities, in contrast, show the influence of small, proportional changes in matrix elements on \(\lambda\), essentially given as local slopes of \(log \lambda\) given in terms of the logarithms of matrix elements. This results in impossible transitions yielding elasticities equal to 0. In the ahistorical case, the elasticity, \(e _{kj}\), of \(\lambda\) to change in a matrix element \(a _{kj}\) is given as

\[\begin{equation} \tag{23} e _{kj} = \frac{a _{kj}}{\lambda} \frac{\partial \lambda}{\partial a _{kj}} \end{equation}\]

The historical case is just an extension of the above.

\[\begin{equation} \tag{24} e _{kjl} = \frac{a _{kjl}}{\lambda} \frac{\partial \lambda}{\partial a _{kjl}} \end{equation}\]

Here, we use row and column definitions equivalent to those used in the historical sensitivity case. This makes the elasticity a function of the sensitivity of \(\lambda\) to the matrix element, as well as of the value of the matrix element itself. Thus, structural 0s in the hMPM must have elasticity equal to 0, although it is entirely possible that they have non-zero sensitivities.

Elasticities calculated for hMPMs can be compared to those calculated in ahMPMs easily because elasticities may be added by stage or transition type, with all elasticities corresponding to a specific matrix necessarily summing to 1.0. Thus, we can calculate the stage pair elasticities resulting from a historical MPM analysis as

\[\begin{equation} \tag{25} e _{kj} = \sum_{i=1}^{m} e _{kji} \end{equation}\]

with all symbol definitions as before. We have provided a `summary()`

function for elasticity output in `lefko3`

that automatically groups the resulting elasticities by the kind of ahistorical or historical transition.

Stochastic sensitivity and elasticity analysis are also available. Per Caswell Caswell (2001), the sensitivity of \(a = \text{log} \lambda _{S}\) to changes in a specific element is given as:

\[\begin{equation} \tag{26} \frac{\partial \text{log} \lambda _S}{\partial a _{kj}} = \lim_{T \to \infty} \frac{1}{T} \sum_{t=0}^{T-1} \frac{\mathbf{v}(t+1) \mathbf{w}^\top(t)}{\mathbf{v}^\top(t+1) \mathbf{w}(t+1)} \end{equation}\]

where \(t\) refers to a specific monitoring occasion and \(T\) refers to the number of occasions projected forward. Similarly, the stochastic elasticity of \(a = \text{log} \lambda _{S}\) to changes in a specific element is given as:

\[\begin{equation} \tag{27} \frac{\partial \text{log} \lambda _S}{\partial \text{log} a _{kj}} = \lim_{T \to \infty} \frac{1}{T} \sum_{t=0}^{T-1} \frac{\bigl(\mathbf{v}(t+1) \mathbf{w}^\top(t) \bigr) \circ \mathbf{A_t}}{\mathbf{v}^\top(t+1) \mathbf{w}(t+1)} \end{equation}\]

where \(\mathbf{A_t}\) refers to the A matrix corresponding to occasion *t*. Stochastic sensitivities for hMPMs may be converted to historically-corrected format as in the deterministic case, and stochastic elasticities may be summed as before.

Users working with elasticities, whether deterministic or stochastic, may find the `summary.lefkoElas()`

function useful. If an elasticity analysis is conducted on a `lefkoMat`

object, then the information in that object can be used to summarize summed elasticity according to different sorts of transitions. In the ahistorical case, elasticities are sorted by growth, stasis, shrinkage, and fecundity. In the historical case, they are sorted by transition pairs across three consecutive occasions (e.g. stasis followed growth vs. shrinkage followed by stasis vs. growth followed by reproduction).

MPMs are very useful tools to describe and explore population dynamics. However, sometimes we may wish to know how specific factors or treatments impact the population growth rate, and through what elements and vital rates those impacts are achieved. Life table response experiments (LTREs) provide the means to evaluate these impacts via methodologies that compare matrices for their impacts on the growth rate of some reference matrix or set of matrices.

Several forms of LTRE exist. The simplest and earliest developed is the fixed, one-way LTRE, which evaluates the impact of a single factor on the asymptotic population growth rate \(\lambda\). Imagine two matrices, the first a matrix derived from some treatment such as a particular management regime, \(\mathbf{A^{(m)}}\), and a reference matrix from a control regime, \(\mathbf{A^{(R)}}\). Per Caswell (2001), if we estimate a matrix \(\mathbf{A^{(m+R)/2}}\) that is the element-wise arithmetic mean matrix of \(\mathbf{A^{(m)}}\) and \(\mathbf{A^{(R)}}\), then:

\[\begin{equation} \tag{28} \Delta \lambda = \lambda^{(m)} - \lambda^{(R)} \approx \sum_{j,i} ((a_{ji}^{(m)} - a_{ji}^{(R)}) (\frac{\partial \lambda}{\partial a_{ji}})) | _\mathbf{A^{(m+R)/2}} \end{equation}\]

Since 2010, several stochastic life table response experiment (sLTREs) methodologies have also been developed. sLTREs measure the impact of one or more treatments on the log stochastic growth rate, \(a = \text{log} \lambda _{S}\). However, the treatment and reference here are not single matrices, but sets of matrices that vary randomly across time. Here, we assume that \(log\lambda^{(m)}\) and \(log\lambda^{(R)}\) are the log stochastic growth rates of the treatment MPM and the reference MPM, respectively. Package `lefko3`

currently implements the Davison et al. (2010) simulated sLTRE, where:

\[\begin{equation} \tag{29} \Delta \text{log} \lambda _{S} = log\lambda^{(m)} - log\lambda^{(R)} \approx \sum_{j,i} [log \mu_{ji}^{(m)} - log \mu_{ji}^{(R)}] E_{ji}^{\mu} + [log \sigma_{ji}^{(m)} - log \sigma_{ji}^{(R)}] E_{ji}^{\sigma} \end{equation}\]

In the above equation, \(E_{ji}^{\mu}\) and \(E_{ji}^{\sigma}\) are the stochastic elasticities of the log stochastic growth rate to changes in the mean and standard deviation, respectively, of the element at row \(j\) and column \(i\) in the reference matrix set. Function `ltre3()`

handles all of these calculations.

Davison et al. (2013) presented an analytical solution to the sLTRE, and we are currently working to implement this version in `lefko3`

as well.

Users can take the MPMs produced by MPM creation functions in package `lefko3`

and plug them into MPM or matrix analysis functions in other packages. Matrices produced by `lefko3`

are stored within `lefkoMat`

objects, and users wishing to work with analysis functions in other packages need only extract the matrices from them. This allows the use of all functions that work with matrices, including functions in base R such as `eigen()`

, as well as in packages such as `popbio`

(Stubben and Milligan 2007) and `popdemo`

(Stott, Hodgson, and Townley 2012). We encourage users to explore whether the packages and functions they wish to use can handle sparse matrices, as well as large matrices - some were not designed to and can fail or yield unpredictable behavior when applied particularly to historical matrices produced by `lefko3`

.

We are grateful to two anonymous reviewers whose scrutiny improved the quality of this vignette. The project resulting in this package and this tutorial was funded by Grant-In-Aid 19H03298 from the Japan Society for the Promotion of Science.

Barton, Kamil A. 2014. “MuMIn: Multi-Model Inference.” https://CRAN.R-project.org/package=MuMIn.

Bates, Douglas, Martin Maechler, Ben Bolker, and Steve Walker. 2015. “Fitting Linear Mixed-Effects Models Using *Lme4*.” *Journal of Statistical Software* 67 (1): 1–48. https://doi.org/10.18637/jss.v067.i01.

Beamonte-Barrientos, Ren, Alberto Velando, Hugh Drummond, and Roxana Torres. 2010. “Senescence of Maternal Effects: Aging Influences Egg Quality and Rearing Capacities of a Long-Lived Bird.” *The American Naturalist* 175 (4): 469–80. https://doi.org/10.1086/650726.

Beissinger, Steven R., and Michael Ian Westphal. 1998. “On the Use of Demographic Models of Population Viability in Endangered Species Management.” *Journal of Wildlife Management* 62 (3): 821–41. https://doi.org/10.2307/3802534.

Brooks, Mollie E., Kasper Kristensen, Koen J. van Benthem, Arni Magnusson, Casper W. Berg, Anders Nielsen, Hans J. Skaug, Martin Machler, and Benjamin M. Bolker. 2017. “glmmTMB Balances Speed and Flexibility Among Packages for Zero-Inflated Generalized Linear Mixed Modeling.” *The R Journal* 9 (2): 378–400. https://doi.org/10.32614/RJ-2017-066.

Brownie, C., James E. Hines, James D. Nichols, Kenneth H. Pollock, and Jay B. Hestbeck. 1993. “Capture-Recapture Studies for Multiple Strata Including Non-Markovian Transitions.” *Biometrics* 49 (4): 1173–87. https://doi.org/10.2307/2532259.

Caswell, Hal. 2001. *Matrix Population Models: Construction, Analysis, and Interpretation*. Second edition. Sunderland, Massachusetts, USA: Sinauer Associates, Inc.

———. 2019. *Sensitivity Analysis: Matrix Methods in Demography and Ecology*. Demographic Research Methods. Cham, Switerland: Springer Nature. https://doi.org/10.1007/978-3-030-10534-1.

Cole, Diana J., Byron J. T. Morgan, Rachel S. McCrea, Roger Pradel, Olivier Gimenez, and Remi Choquet. 2014. “Does Your Species Have Memory? Analyzing Capture-Recapture Data with Memory Models.” *Ecology and Evolution* 4 (11): 2124–33. https://doi.org/10.1002/ece3.1037.

Davison, Raziel, Hans Jacquemyn, Dries Adriaens, Olivier Honnay, Hans de Kroon, and Shripad Tuljapurkar. 2010. “Demographic Effects of Extreme Weather Events on a Short-Lived Calcareous Grassland Species: Stochastic Life Table Response Experiments.” *Journal of Ecology* 98 (2): 255–67. https://doi.org/10.1111/j.1365-2745.2009.01611.x.

Davison, Raziel, Florence Nicole, Hans Jacquemyn, and Shripad Tuljapurkar. 2013. “Contributions of Covariance: Decomposing the Components of Stochastic Population Growth in *Cypripedium Calceolus*.” *The American Naturalist* 181 (3): 410–20. https://doi.org/10.1086/669155.

Descamps, Sebastien, Stan Boutin, Dominique Berteaux, and Jean-Michel Gaillard. 2008. “Age-Specific Variation in Survival, Reproductive Success and Offspring Quality in Red Squirrels: Evidence of Senescence.” *Oikos* 117 (9): 1406–16. http://dx.doi.org/10.1111/j.0030-1299.2008.16545.x.

Dogra, Harshita, and K. G. Srikanta Dani. 2019. “Defining Features of Age-Specific Fertility and Seed Quality in Senescing Indeterminate Annuals.” *American Journal of Botany* 106 (0): 604–10. https://doi.org/10.1002/ajb2.1265.

Ehrlen, Johan. 2000. “The Dynamics of Plant Populations: Does the History of Individuals Matter?” *Ecology* 81 (6): 1675–84. https://doi.org/10.1890/0012-9658(2000)081[1675:TDOPPD]2.0.CO;2.

Ellner, Stephen P., and Mark Rees. 2006. “Integral Projection Models for Species with Complex Demography.” *American Naturalist* 167 (3): 410–28. https://doi.org/10.1086/499438.

Jenks, George F. 1967. “The Data Model Concept in Statistical Mapping.” *International Yearbook of Cartography* 7: 186–90.

Jensen, A. L. 1995. “Simple Density-Dependent Matrix Model for Population Projection.” *Ecological Modelling* 77 (1): 43–48. https://doi.org/10.1016/0304-3800(93)E0081-D.

Kendall, Bruce E., Masami Fujiwara, Jasmin Diaz-Lopez, Sandra Schneider, Jakob Voigt, and Soren Wiesner. 2019. “Persistent Problems in the Construction of Matrix Population Models.” *Ecological Modelling* 406 (August): 33–43. https://doi.org/10.1016/j.ecolmodel.2019.03.011.

Leslie, P. H. 1959. “The Properties of a Certain Lag Type of Population Growth and the Influence of an External Random Factor on a Number of Such Populations.” *Physiological Zoology* 32 (3): 151–59. https://doi.org/10.1086/physzool.32.3.30152218.

Morris, William F., and Daniel F. Doak. 2002. *Quantitative Conservation Biology: Theory and Practice of Population Viability Analysis*. Sunderland, Massachusetts, USA: Sinauer Associates, Inc.

Pinheiro, Jose, Douglas Bates, Saikat Debroy, Deepyan Sarkar, and R Core Team. 2020. “Nlme: Linear and Nonlinear Mixed Effects Models. R Package Version 3.1-150.” https://CRAN.R-project.org/package=nlme.

Pradel, Roger, C. Wintrebert, and O. Gimenez. 2003. “A Proposal for a Goodness-of-Fit Test to the Arnason-Schwarz Multisite Capture-Recapture Model.” *Biometrics* 59: 43–53. https://doi.org/10.1111/1541-0420.00006.

Salguero-Gomez, Roberto, and Brenda B. Casper. 2010. “Keeping Plant Shrinkage in the Demographic Loop.” *Journal of Ecology* 98: 312–23. https://doi.org/10.1111/j.1365-2745.2009.01616.x.

Shefferson, Richard P., Tiiu Kull, Michael J. Hutchings, Marc-Andre Selosse, Hans Jacquemyn, Kimberly M. Kellett, Eric S. Menges, et al. 2018. “Drivers of Vegetative Dormancy Across Herbaceous Perennial Plant Species.” *Ecology Letters* 21 (5): 724–33. https://doi.org/10.1111/ele.12940.

Shefferson, Richard P., Shun Kurokawa, and Johan Ehrlen. 2021. “*Lefko3*: Analysing Individual History Through Size-Classified Matrix Population Models.” *Methods in Ecology and Evolution* 12 (2): 378–82. https://doi.org/10.1111/2041-210X.13526.

Shefferson, Richard P., Ryo Mizuta, and Michael J. Hutchings. 2017. “Predicting Evolution in Response to Climate Change: The Example of Sprouting Probability in Three Dormancy-Prone Orchid Species.” *Royal Society Open Science* 4 (1): 160647. https://doi.org/10.1098/rsos.160647.

Shefferson, Richard P., Brett K. Sandercock, Joyce Proper, and Steven R. Beissinger. 2001. “Estimating Dormancy and Survival of a Rare Herbaceous Perennial Using Mark-Recapture Models.” *Ecology* 82 (1): 145–56. https://doi.org/10.1890/0012-9658(2001)082[0145:EDASOA]2.0.CO;2.

Shefferson, Richard P., Robert J. Warren II, and H. Ronald Pulliam. 2014. “Life History Costs Make Perfect Sprouting Maladaptive in Two Herbaceous Perennials.” *Journal of Ecology* 102 (5): 1318–28. https://doi.org/10.1111/1365-2745.12281.

Stott, Iain, David J. Hodgson, and Stuart Townley. 2012. “Popdemo: An R Package for Population Demography Using Projection Matrix Analysis.” *Methods in Ecology and Evolution* 3 (5): 797–802. https://doi.org/10.1111/j.2041-210X.2012.00222.x.

Stubben, Chris J., and Brook G. Milligan. 2007. “Estimating and Analyzing Demographic Models Using the *Popbio* Package in *r*.” *Journal of Statistical Software* 22: 11. https://doi.org/10.18637/jss.v022.i11.

Vries, Charlotte de, and Hal Caswell. 2018. “Demography When History Matters: Construction and Analysis of Second-Order Matrix Population Models.” *Theoretical Ecology* 11 (2): 129–40. https://doi.org/10.1007/s12080-017-0353-0.

Wardle, Glenda M. 1998. “A Graph Theory Approach to Demographic Loop Analysis.” *Ecology* 79 (7): 2539–49. https://doi.org/10.1890/0012-9658(1998)079[2539:AGTATD]2.0.CO;2.

Yee, Thomas W. 2015. “Vector Generalized Linear and Additive Models: With an Implementation in R.” https://CRAN.R-project.org/package=VGAM.

Yee, Thomas W., and C. J. Wild. 1996. “Vector Generalized Additive Models.” *Journal of the Royal Statistical Society, Series B* 58 (3): 481–93.

Zeileis, Achim, Christian Kleiber, and Simon Jackman. 2008. “Regression Models for Count Data in R.” *Journal of Statistical Software* 27 (1): 1–25. https://doi.org/10.18637/jss.v027.i08.