Extracted main text — title through conclusion, appendix excluded. This is what our citation measures are computed over, published so the extraction can be checked by eye.
Rendered from LaTeX for readability, not typeset faithfully. Citation keys are highlighted; maths is left as source; figures, tables and equation environments are summarised rather than reproduced; unrecognised commands are greyed out so nothing is silently dropped. Email addresses are removed.
Unit Averaging for Heterogeneous Panels
\if10
{
} \fi
\if00
{
\long\def\symbolfootnote[#1]#2{\begingroup\footnote[#1]{#2}\endgroup}
} \fi
abstractIn this work we introduce a unit averaging procedure to efficiently recover unit-specific parameters in a heterogeneous panel model.
The procedure consists in estimating the parameter of a given unit using a weighted average of all the unit-specific parameter estimators in the panel.
The weights of the average are determined by minimizing an MSE criterion we derive.
We analyze the properties of the resulting minimum MSE unit averaging estimator in a local heterogeneity framework inspired by the literature on frequentist model averaging,
and we derive the local asymptotic distribution of the estimator and the corresponding weights.
The benefits of the procedure are showcased with an application to forecasting unemployment rates for a panel of German regions.
{ Keywords: heterogeneous panels, frequentist model averaging, prediction}
{ JEL: C33, C52, C53 }
\def\spacingset#1 \spacingset{1}
\spacingset{1.25}
Introduction
Estimation of unit-specific parameters in panel data models with heterogeneous parameters is a topic of active research in econometrics Maddala1997,Pesaran1999,Wang2019,Liu2020.
Estimation of unit-specific parameters is relevant, for instance, when interest lies in constructing forecasts for the individual units in the panel Baltagi2013,Zhang2014,Wang2019,Liu2020,
which typically arises in the analysis of international panels of macroeconomic time series Marcellino2003. Other unit-specific parameters of interest include individual coefficients Maddala1997, Maddala2001, Wang2019 and long-run effects of a change in a covariate Pesaran1995, Pesaran1999.
There are three natural strategies for estimating unit-specific parameters Baltagi2008a.
The simplest approach consists in estimating each unit-specific parameter from its individual time series.
While this strategy typically leads to approximately unbiased estimation, such estimators suffer from large estimation variability when the time dimension is small.
In the second approach, an assumption of parameter homogeneity is imposed and a common panel-wide estimator is used for all unit-specific parameters.
This strategy leads to small variability; however, it suffers from large bias in the presence of heterogeneity.
The third strategy is a compromise between the first two. It uses panel-wide information to reduce the variability of the individual estimator to obtain an estimator with favorable risk properties Maddala2001, Wang2019, Liu2020.
This is appealing when the time dimension is moderate in the sense that there is a nontrivial bias-variance trade-off between individual-specific and panel-wide estimation.
In this paper we propose a novel compromise estimator for unit-specific “focus” parameters --- the unit averaging estimator.
Focus parameters considered are smooth transformations of unit-specific parameters, including the examples mentioned above.
The unit averaging estimator for the unit-specific focus parameter is defined as a weighted average of all the unit-specific focus parameter estimators in the panel.
The weights
are chosen by minimizing one of the two unit-specific mean squared error (MSE) criteria we derive.
One of the criteria can leverage prior information about similarities between cross-sectional units in terms of their parameters.
The other criterion is agnostic and requires no prior information.
In both cases, the weights solve a straightforward quadratic optimization problem.
The estimator is fairly general and is designed for possibly nonlinear and dynamic panel models estimated by M-estimation.
We analyze the theoretical properties of the our unit averaging methodology.
We focus on a moderate-$T$ setting --- a setting in which the amount of information in each time series is limited and the variance of individual estimators is of the same order of magnitude as the coefficients.
In this setting, we derive the leading terms of the MSE
of the unit averaging estimator.
We do so using a limited information local asymptotic technique under a
local heterogeneity framework, in which the unit-specific coefficients are local in the time dimension to a common mean.
This theoretical device emulates a moderate-$T$ setting
and the trade-off between unit-specific and panel-wide information.
It is inspired by the local misspecification technique used in the frequentist model averaging literature for analyzing finite-sample properties of estimators Hjort2003,Liu2015, Hansen2016.
We propose and analyze minimum MSE weights that minimize an estimator of the leading terms of the MSE.
As we show, these minimum MSE weights minimize an appropriately defined notion of the population MSE contaminated by a noise component that we characterize explicitly.
We obtain the limiting distribution of the minimum MSE unit averaging estimator in a local heterogeneity setting, similarly to Liu2015.
Finally, we argue that the minimum MSE weights also have desirable properties a large-$T$ setting, in which the amount of information in each time series grows without bound.
In a simulation study, we assess the finite sample properties of the our methodology.
We compare our minimum MSE unit averaging estimator against the unit-specific and mean group estimators, along with AIC and BIC weighted averaging estimators Buckland1997.
The proposed methodology performs favorably relative to these benchmarks.
Gains in the MSE are possible without prior information about unit similarity.
However, leveraging prior information may lead to stronger improvements.
An application to forecasting regional unemployment in Germany showcases the methodology Schanne2010.
Unemployment forecasting is a
natural application of the unit averaging methodology since the literature documents both
evidence of regional heterogeneity and the benefits of pooling data Schanne2010, Graaff2018.
We find that unit averaging using minimum MSE weights improves prediction accuracy. The gains in the MSE are larger for shorter panels.
This paper is related to two strands of the literature.
First, it contributes to the literature on estimation of unit-specific parameters.
Important contributions in this area include Zhang2014, Wang2019, Issler2009 and Liu2020.
In contrast to these contributions, we focus on a setting where the time dimension is moderate (as opposed to either large or small).
Moreover, the existing literature largely focuses on linear models under strict exogeneity Baltagi2008a, Wang2019 whereas our framework allows for nonlinear and dynamic models.
Second,
our paper is related to the literature on frequentist model averaging.
Important contributions in this area include Hjort2003, Hansen2007, Hansen2008, Wan2010, Hansen2012, Liu2015, and Gao2016, among others.
Gao2016, Yin2019 deal with model averaging estimators specifically tailored for panel models.
The main difference with respect to these contributions is that we focus on averaging different units with the same model whereas these papers average different models for a given fixed unit or the pooled data.
The rest of the paper is structured as follows.
Section (ref) introduces the unit averaging methodology.
Section (ref) studies the theoretical properties of the procedure.
Section (ref) contains the simulation study.
Section (ref) contains the empirical application.
Concluding remarks follow in section (ref).
All proofs are collected in the proof appendix. Further theoretical, numerical, and empirical results are collected in an online appendix.
Methodology
We introduce our unit averaging methodology within the framework of a fairly general class of panel data models with heterogeneous parameters.
Let $\{ {\bm{z}_{i\,t}} \}$ with $i=1,\ldots, N$ and $t=1,\ldots, T$ denote a panel where
$\bm{z}_{i\,t}$ denotes a random vector of observations taking values in $\mathcal Z \subset \mathbb R^d$.
For each unit in the panel, we define the unit-specific parameter $\bm{\theta}_{i} \in \Theta \subset \mathbb R^p$ as
equation*[equation* omitted — 167 chars of source]
where $m : \Theta \times \mathcal Z \rightarrow \mathbb R $ is a smooth criterion function.
Our interest lies in estimating the unit-specific “focus” parameter $\mu(\bm{\theta}_{i})$ for a {fixed} unit $i$ with minimal MSE, where $\mu : \Theta \rightarrow \mathbb R$ is a smooth function (similarly to the setup in Hjort2003).
For example, $\mu(\bm{\theta}_i)$ may denote a component of $\bm{\theta}_i$, the conditional mean of a response variable given the covariates, or the long-run effect of a covariate.
To simplify exposition and without loss of generality, we focus on the problem of estimating the focus parameter $\mu(\bm{\theta}_{1})$ for unit 1.
In this paper we consider the case in which the focus function $\mu$ is scalar-valued.
It is straightforward to generalize the framework to a focus function taking values in $\mathbb R^q$ for some $q >1$.
To estimate $\mu(\bm{\theta}_1)$ we consider the class of unit averaging estimators given by
equation[equation omitted — 101 chars of source]
where
$\bm{w} = ( w_{i} ) $ is a $N$-vector such that $ w_{i} \geq 0$ for all $i$ and $\sum_{i=1}^N w_{i}=1$,
and $\hat{\bm{\theta}}_i$ is the unit-specific estimator of unit $i=1, \dots, N$, given by
equation[equation omitted — 185 chars of source]
The class of estimators in (ref) is fairly broad and contains a number of important special cases.
It includes the individual estimator of unit 1 \( \hat{\mu}_1 = \mu(\hat{\bm{\theta}}_1) \) and the mean group estimator
$\hat \mu_{MG} = N^{-1} \sum_{i=1}^N \mu(\hat{\bm{\theta}}_i)$.
It also includes estimators based on smooth AIC/BIC weights Buckland1997
as well as Stein-type estimators Maddala1997.
The class of estimators in (ref) may be motivated by the following representation for the individual parameters $\bm{\theta}_i$.
Assume that $ \bm{\theta}_i$ can be written as $ \bm{\theta}_i = \bm{\theta}_0 + \bm{\eta}_i $,
where $\bm{\theta}_0$ is a common mean component and $\bm{\eta}_i$ is a zero-mean random component.
All units in the panel carry information on $\bm{\theta}_0$, and so all units may be useful for estimating $\bm{\theta}_1=\bm{\theta}_0+ \bm{\eta}_1$.
The vector of weights $\bm{w}$ controls the balance between the bias and the variance of estimator (ref).
Assigning a large weight to unit 1 leads to low bias but may also lead to excessive variability.
Alternatively, assigning larger weights to units other than unit 1 induces bias but may substantially reduce variability.
This bias-variance trade-off is most relevant in a moderate-$T$ setting, defined as the range of values of $T$ for which the variability of the individual estimators $\hat{\bm{\theta}}_i$ is of the same order of magnitude as $\bm{\eta}_i$ (see remark (ref) below for a heuristic criterion for detecting a moderate-$T$ setting).
In this work we introduce two weighting schemes --- the fixed-$N$ and the large-$N$ minimum-MSE unit averaging estimators.
The key practical difference between the two is that the large-$N$ estimator uses prior information about the similarity of cross-sectional units in terms of the focus parameter. In contrast, the fixed-$N$ estimator requires no prior information
(see the discussion following eq.\ (ref) explaining the names of the approaches)
These estimators seek to strike a balance between the bias and variance of the unit averaging estimator.
For both, the weights are chosen by minimizing an estimator of the local approximation to the MSE (LA-MSE) of the unit averaging estimator.
The LA-MSE contains the leading terms of the
the moderate-$T$ MSE of the unit averaging estimator and is justified in detail in the next section.
The fixed-$N$ approach provides an agnostic way to determine the weights. It imposes no structure on the weights.
All of the weights are determined only by the data.
Formally, let $\bar{N}<\infty$ be the number of units.
Let $\bm{w}^{\bar{N}}=(w_i^{\bar{N}})$ be a $\bar{N}$-vector such that $w_i^{\bar{N}}\geq 0$ for all $i$ and $\sum_{i=1}^{\bar{N}} w_i^{\bar{N}}=1$.
The fixed-$N$ LA-MSE estimator associated with $\bm{w}^{\bar{N}}$ is given by
equation[equation omitted — 230 chars of source]
where $\hat{\bm{\Psi}}_{\bar{N}} \in \mathbb R^{\bar{N} \times \bar{N}}$ with entries
$[\hat{\bm{\Psi}}_{\bar{N}}]_{i\,i} = \nabla \mu(\hat{\bm{\theta}}_1)' ( T ( \hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 )( \hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 )' + \hat{\bm{V}}_i ) \nabla \mu(\hat{\bm{\theta}}_1)$ and $[\hat{\bm{\Psi}}_{\bar{N}}]_{i\,j} = \nabla \mu(\hat{\bm{\theta}}_1)' T ( \hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 )( \hat{\bm{\theta}}_j -\hat{\bm{\theta}}_1 )' \nabla \mu(\hat{\bm{\theta}}_1)$ when $i\neq j$. Here $\hat \bm{V}_i$ is an estimator of the asymptotic variance of $\hat \bm{\theta}_i$, and $\nabla \mu(\cdot)$ is the gradient of $\mu$.
The terms \( \nabla \mu(\hat{\bm{\theta}}_1)'T (\hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 )( \hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 )' \nabla \mu(\hat{\bm{\theta}}_1)\) and \( \nabla \mu(\hat{\bm{\theta}}_1)'\hat{\bm{V}}_i \nabla \mu(\hat{\bm{\theta}}_1)\) are estimators of, respectively, the squared bias and variance of $\mu (\hat \bm{\theta}_i )$ as estimators of $\mu (\bm{\theta}_1 )$.
The fixed-$N$ minimum MSE weights are defined as
equation[equation omitted — 174 chars of source]
where $\Delta^{\bar{N}} = \curl{\bm{w}\in \operatorname{\mathbb{R}}^{\bar{N}}: \sum_{i=1}^{\bar{N}} w_i=1, w_i\geq 0, i=1,\dots, \bar{N} }$.
Alternatively, the researcher may have prior information on which units are potentially more important for estimating $\mu(\bm{\theta}_1)$ (in terms of having a similar $\mu(\bm{\theta}_i)$ or being similar in observables, see below).
Accordingly, units are partitioned into two sets -- a set of $\bar{N} \geq 0$ unrestricted potentially important units,
and a set of the remaining $N-\bar{N}$ restricted units.
The number of restricted units $N-\bar{N}$ is assumed to be at least somewhat large for the partition of units to have a meaningful impact on the resulting estimator.
The large-$N$ estimator leverages prior information expressed through these two sets.
Intuitively, the weights of the unrestricted units are freely determined by the data. For the restricted units, the optimization problem determines only the total mass assigned to the whole restricted set. This mass is then equally split over its members, though we note that other weighting schemes are allowed for the restricted units; see theorem (ref) below.
Formally, let $\bm{w}^{N,\infty}=(w_{i}^{N,\infty})$ be an $N$-vector and assume that the weights of the unrestricted units are placed in the first $\bar{N}$ positions.
The vector of weights $\bm{w}^{N,\infty}$ is such that $w_i^{N,\infty}\geq 0$ for all $i$, $\sum_{i=1}^N w_i^{N,\infty}= 1$, and the weights of the restricted units ($i > \bar N$) are equal and given by \( w_i^{N,\infty} = ( 1 - \sum_{j=1}^{\bar N} w^{N,\infty}_j )/( N - \bar N) \).
Let $\bm{w}^{\bar{N},\infty}=(w_i^{\bar{N},\infty})$ be a $\bar{N}$-vector such that $ w_i^{N,\infty}=w_i^{\bar{N},\infty} $ for $i=1,\ldots,\bar N$. These are the weights of the unrestricted units.
The large-$N$ LA-MSE estimator associated with $\bm{w}^{N,\infty}$ is controlled by $\bm{w}^{\bar{N},\infty}$ and given by
align[align omitted — 876 chars of source]
The above approximation to the MSE assumes that the number $N-\bar{N}$ of restricted units is large.
In this case the restricted units have an impact on the bias of the estimator, but only a negligible contribution to its variance (asymptotically as $N\to\infty$).
The large-$N$ minimum MSE weights $\hat{\bm{w}}^{N, \infty} = (\hat{w}^{N, \infty}_i)$ are given by
equation[equation omitted — 247 chars of source]
where
\[
\hat{\bm{w}}^{\bar{N}, \infty} = \operatorname*{arg\,min }_{\bm{w}\in\tilde{\Delta}^{\bar{N}}} \widehat{LA\mhyphen MSE}_{\infty}(\bm{w})
\]
with $\tilde \Delta^{\bar{N}}= \curl{\bm{w}\in \operatorname{\mathbb{R}}^{\bar{N}}: w_i\geq 0, \sum_{i=1}^{N} w_i\leq 1}$.
Note that the optimization problem defining $\hat{\bm{w}}^{\bar{N}, \infty}$ is $\bar N$-dimensional and can be solved by standard quadratic programming methods.
Three comments are in order before we proceed.
First, the names of the approaches come from the frameworks used to study their properties.
The fixed-$N$ estimator is studied in a setting where the number of units $\bar{N}$ is held finite and fixed, regardless of whether $\bar{N}$ is small or large in practical terms.
In contrast, the large-$N$ estimator is studied in a framework where the size of the restricted set grows without bound.
Second, using the large-$N$ estimator requires choosing the set of unrestricted units.
In principle, this set may be chosen arbitrarily, with weights (ref) adapting to the choice.
However, larger reductions in bias are possible if the unrestricted set contains units with $\mu(\bm{\theta}_i)$ similar to $\mu(\bm{\theta}_1)$.
For example, when dealing with country-level, this similarity may be established by using previous country-level studies focusing on the parameter of interest or related parameters.
We explore several ways of specifying this set in sections (ref)-(ref).
Last, the fixed- and large-$N$ LA-MSE estimators have the appealing property of being applicable both when the amount of time series information in the panel is moderate or large.
When the amount of time series information is moderate, the LA-MSE approximates the infeasible population problem of minimizing the MSE, along with uncertainty about individual parameters (see the discussion following theorem (ref)).
When the amount of time series information is large, the bias term in the MSE dominates. Then the unit averaging estimator based on the minimum MSE weights converges to the individual estimator $\mu(\hat{\bm{\theta}}_1)$, if the coefficients $\bm{\theta}_i$ are continuously distributed (see remark (ref) in the next section).
remark[Practical criterion for a moderate-$T$ setting]
In practice, the small-, moderate- and large-$T$ settings may be differentiated using the following heuristic criterion. If the realized $t$-statistic(s) of the individual-specific estimates is between 1 and 5, the setting is a moderate-$T$ one.
Larger $t$-statistics signal a large-$T$ setting.
If the $t$-statistics are smaller than 1 or the individual estimators cannot be computed, the setting is a small-$T$ one.
remark[Non-MSE criteria]
The quality of the estimator may also be measured using notions of risk different from the MSE.
In the Online Appendix, we extend the analysis of the paper to risks of the form $R_l(\mu(\bm{\theta}_1), \hat{\mu}(\bm{w}_N)) = \operatorname{\mathbb{E}}\left[l(\mu(\bm{\theta}_1), \hat{\mu}(\bm{w}_N)) \right]$, where $l$ is some loss function.
If $l$ is a strictly convex smooth function, we show that $R_l$ behaves essentially like the MSE. Weights (ref) and (ref) are feasible minimum risk weights for $R_l$.
In contrast, if $l$ is the absolute loss, the local approximation to $R_l$ (the mean absolute deviation in this case) is different from LA-MSE.
However, optimal weights may be obtained similarly.
Theory
Assumptions
We focus on a moderate-$T$ setting --- in which the variance of the individual estimators is of the same order of magnitude as the individual components $\bm{\eta}_i$. In this case, the amount of information in each individual time series is limited. To emulate this and the trade-off between unit-specific and panel-wide information, we make a local heterogeneity assumption.
asm[Local Heterogeneity]
The sequence of unit-specific parameters $\{ \bm{\theta}_i \}$ is such that
\begin{equation}
\bm{\theta}_{i} = \bm{\theta}_0 + \frac{\bm{\eta}_i}{\sqrt{T}} ,
\end{equation}
where $\{\bm{\eta}_i\}$ is a sequence of independent random vectors that satisfy $\operatorname{\mathbb{E}}_{\bm{\eta}}[\bm{\eta}_i]=\bm 0$ and $\sup_i \operatorname{\mathbb{E}}_{\bm{\eta}}[\left\lVert\bm{\eta}_{i} \right\rVert^{12}] < \infty$ (here and below $\left\lVert\cdot\right\rVert $ means the 2-norm; $\operatorname{\mathbb{E}}_{\bm{\eta}}$ means that the expectation according to the joint distribution of $\curl{\bm{\eta}_i}$).
All analysis is done conditional on $\sigma(\bm{\eta}_1, \bm{\eta}_2, \dots)$ and all statements below are conditional on $\sigma(\bm{\eta}_1, \bm{\eta}_2, \dots)$ unless specifically stated otherwise.
Scaling $\bm{\eta}_i$ by $\sqrt{T}$ is a mathematical device that allows us to approximate a limited-information moderate-$T$ setting using asymptotic techniques with $T\to\infty$.
Intuitively, as $T$ becomes larger, the signal strength becomes proportionally weaker, so that the amount of information in each time series is unchanged and bounded even if $T\to\infty$.
At the same time, this assumption will permit us to apply asymptotic techniques to characterize the leading terms of the bias and the variance of the unit averaging estimator.
The local heterogeneity assumption is
analogous to the local misspecification device used in the frequentist model averaging literature Hjort2003,Hjort2003rejoinder, Hansen2016, Yin2019.
It is also similar to the techniques of weak instrument asymptotics Staiger1997 and local alternatives used in test evaluation Lehmann2022.
Like in those settings, this assumption should not be interpreted literally as meaning that the true parameters change depending on time series length (see Raftery2003 and Hjort2003rejoinder for some important criticism of such an interpretation of locality).
Since the focus
lies on recovering the realized individual parameter $\mu(\bm{\theta}_1)$,
all probability statements are implicitly conditional on $\sigma(\bm{\eta}_1, \bm{\eta}_2, \dots)$.
Such conditioning is typical when individual parameters are of interest Vaida2005,Donohue2011, Zhang2014.
Importantly, all the results
are shown to hold with $\bm{\eta}$-probability 1 (for almost any realization of $\{ \bm{\eta}_i \}$).
In this paper we assume that the cross-sectional units are independent.
asm[Independence]
For each $i, j_1, \dots, j_k, k$ such that $i\neq j_1, \dots, j_k$ $\{ \{ \bm{z}_{i\,t} \}_{t=0}^\infty , \bm{\eta}_i \}$ and $\curl*{\{ \{ \bm{z}_{j_1\,t} \}_{t=0}^\infty , \bm{\eta}_{j_1} \}, \dots, \{ \{ \bm{z}_{j_k\,t} \}_{t=0}^\infty , \bm{\eta}_{j_k} \} }$ are independent.
Note that together (ref) and (ref) permit cross-sectional heterogeneity. In particular, $\bm{\eta}_i$ may be heterogeneously distributed, provided the coefficients $\bm{\theta}_i$ share a common mean $\bm{\theta}_0$.
The unit-specific estimators $\hat{\bm{\theta}}_i$ are assumed to satisfy a number of regularity conditions.
asm[Individual Objective Function]
\begin{enumerate}[label=(\roman*), noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt]
• The parameter space $\Theta$ is convex.
• The function $m(\bm{\theta}, \bm{z}): \Theta\times \mathcal{Z}\to \operatorname{\mathbb{R}}$ is twice continuously differentiable in $\bm{\theta}$ for each value of $\bm{z}$. $m(\bm{\theta}, \bm{z})$ is measurable as a function of $\bm{z}$ for every value of $\bm{\theta}$.
• There exists a positive finite constant $T_0$ (which does not depend on $i$) such that for all $i$ and $T>T_0$ it holds that
the unit-specific estimator satisfies $\hat{\bm{\theta}}_i \in \mathrm{int}( \Theta )$ a.s..
• The gradient of the unit-specific objective function satisfies \[ \frac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m(\bm{\theta}_i, \bm{z}_{i\,t})\Rightarrow N(\bm 0, \bm{\Sigma}_i) ~,\]
where $ \bm{\Sigma}_i =\lim_{T\to\infty} T^{-1}\sum_{t=1}^T \operatorname{\mathbb{E}}\left[ \left( \sum_{t=1}^T \nabla m(\bm{\theta}_i,\bm{z}_{i\,t}) \right)\left( \sum_{t=1}^T \nabla m(\bm{\theta}_i,\bm{z}_{i\,t}) \right)'\right]$.
• There exist a positive finite constant $C_{\nabla m}$ (which does not depend on $i$ or $T$) such that, for all $i$ and all $T>T_0$ and for some $\delta>0$, it holds that
\[
\operatorname{\mathbb{E}}\left\lVert \frac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t}) \right\rVert^{2(1+\delta)} \leq C_{\nabla m} ~.
\]
• The Hessian of the unit-specific objective function satisfies
\[
\sup_{ \bm{\theta} \in [\bm{\theta}_i, \hat{\bm{\theta}}_i]} \left\lVert \dfrac{1}{T}\sum_{t=1}^T \nabla^2 m({\bm{\theta}}, \bm{z}_{i\,t}) - \bm{H}_i \right\rVert \xrightarrow{p} 0 ~,
\]
where $ \bm{H}_i = \lim_{T\to\infty}\operatorname{\mathbb{E}}(T^{-1} \sum_{t=1}^T \nabla^2 m( \bm{\theta}_i, \bm{z}_{i\,t}))$.
• Let $ D_{i\, T} = \sup_{ \bm{\theta} \in [\bm{\theta}_i, \hat{\bm{\theta}}_i]} \left\lVert \left(T^{-1}\sum_{t=1}^T \nabla^2 m( {\bm{\theta}}, \bm{z}_{i\, t}) \right)\bm{H}^{-1}_i-\bm{I} \right\rVert_{\infty}$.
$D_{i\, T}<1$ a.s. for all $i$ and all $T>T_0$.
There exists a positive constant $C_{\nabla^2 m}$ such that, for all $i$ and all $T>T_0$ and for $\delta$ as in (v), it holds that
\begin{equation}
\operatorname{\mathbb{E}}\left[\left( \dfrac{D_{i\, T}}{1-D_{i\, T}} \right)^{\frac{2(2+\delta)(1+\delta)}{\delta} }\right] \leq C_{\nabla^2 m}.
\end{equation}
• The matrices $\bm{\Sigma}_i$ and $\bm{H}_i$ satisfy
$\underline{\lambda}_{\bm{\Sigma}} \leq \lambda_{\min}( \bm{\Sigma}_i ) \leq \lambda_{\max}(\bm{\Sigma}_i) \leq \overline \lambda_{\bm{\Sigma}} $ and
$\underline \lambda_{\bm{H}} \leq \lambda_{\min}( \bm{H}_i ) \leq \lambda_{\max}(\bm{H}_i) \leq \overline \lambda_{\bm{H}} $ where
$\underline \lambda_{\bm{\Sigma}}$, $\overline \lambda_{\bm{\Sigma}}$, $\underline \lambda_{\bm{H}}$ and $\overline \lambda_{\bm{H}}$ are positive constants that do not depend on $i$.
• Let $\bm{V}_i = \bm{H}_i^{-1} \bm{\Sigma}_i \bm{H}_i^{-1}$.
Then, there is a sequence of estimators $\{ \hat{\bm{V}}_i \}$ such that, for all $i$, $\hat{\bm{V}}_i$ is consistent for $\bm{V}_i$, and, for all $T>T_0$, $\lambda_{\min}(\hat{\bm{V}}_i) > 0$ holds almost surely.
\end{enumerate}
(ref) requires the unit-specific estimators to be consistent, asymptotically normal and to satisfy a number of regularity conditions.
This assumption allows for a fair amount of dependence, heterogeneity, and non-stationarity in the unit-specific time series;
we refer to ch.\ 11 of Potscher1997 for a catalog of low-level conditions.
Assumption (ref)$(iii)$ states that the unit-specific estimator lies in the interior of the parameter space almost surely.
If the problem is linear or defined by a convex smooth objective function and continuous covariates, the parameter space can be taken to be $\operatorname{\mathbb{R}}^p$, and the condition holds automatically.
Assumption (ref)$(iv)$ is standard in the M-estimation literature, it requires the gradient of the objective function evaluated at $\bm{\theta}_i$ to satisfy a CLT.
Assumption (ref)$(v)$ is a moment condition on the gradient of the objective function.
In an i.i.d. setting such an assumption translates into a moment condition on the individual gradients.
More generally, this would be implied by appropriate moment and dependence assumption on the individual gradients.
Assumption (ref)$(vi)$ is also standard in the M-estimation literature; it requires the Hessian to satisfy a uniform law of large numbers.
Assumption (ref)$(vii)$ effectively requires that the sample Hessian is nonsingular in a small enough neighborhood of $\bm{\theta}_i$. In a scalar problem, $(vii)$ restricts the possible range of the second derivative as $\bm{\theta}$ ranges over a shrinking interval around $\bm{\theta}_i$. In addition, $(vii)$ places an assumption on the moments of deviation from the population limit Hessian.
In case of linear regression, the sample and population Hessians do not depend on the slope parameters and $(vii)$ is an assumption on moments of covariates.
Assumption (ref)$(viii)$
implies a uniform restriction on the asymptotic variance $\bm{V}_i$ of the individual estimators.
Assumption (ref)$(ix)$ states that there exists a sequence of nonsingular estimators $\{ \hat \bm{V}_i \}$ for the asymptotic variance-covariance matrix of the individual estimator.
We remark that Assumptions (ref)$(iii)$ and $(vii)$ state that the sequence of unit-specific estimation problems satisfies approprite uniformity conditions.
Such conditions allow us to distill the key arguments relevant to our averaging theory and, in a sense, should be intrepreted as a simplifying approximation.
In general, $(iii)$ and $(vii)$ would hold with probability approaching one for each unit.
In this case all our results would still hold, though under appropriate rate conditions on $(N, T)$ and trimming to ensure certain well-behavedness of individual estimators.
We further note that assumptions $(iii)$ and $(vii)$ might hold in practice in certain special cases regardless (such as linear or nonlinear models with a convex and smooth objective function and continuous covariates).
asm[Unit-specific Bias]
There exists a constant $C_{Bias}$, which does not depend on $i$, such that $\left\lVert \operatorname{\mathbb{E}}[\hat{\bm{\theta}}_i-\bm{\theta}_i] \right\rVert_1 \leq C_{Bias}/T$ for all $T>T_0$.
Assumption (ref) requires that the bias of individual estimators for {their} own parameters is bounded uniformly in $i$.
The order of the bias is consistent with the results obtained by Rilstone1996 and Bao2007. The higher order terms can be subsumed into the $T^{-1}$ term for a sufficiently large $C_{Bias}$.
Assumption (ref) is satisfied for linear models under assumption (ref). For nonlinear models it is sufficient that for all $s$ and $i$ it holds that $ \operatorname{\mathbb{E}}(\left\lVert\nabla^s m(\bm{\theta}_i, z_{i\,t})\right\rVert^2)\leq C_s<\infty$ Bao2007.
asm[Focus Parameter]
The focus function $\mu:\Theta\to \operatorname{\mathbb{R}}$ is twice-differentiable.
There exists a constant $C_{\nabla \mu}$ such that $\left\lVert\nabla \mu(\bm{\theta})\right\rVert<C_{\nabla \mu}$ for all $\bm{\theta} \in \Theta$.
There exists a constant $C_{\nabla^2 \mu}$ such that for all $\bm{\theta} \in \Theta$ the largest and smallest eigenvalues of the Hessian $\nabla^2 \mu(\bm{\theta})$ are bounded in absolute value by $C_{\nabla^2 \mu}$.
Let $\bm{d}_0 = \nabla \mu(\bm{\theta}_0)$ be the gradient of $\mu$ at $\bm{\theta}_0$. Then $\bm{d}_0 \neq 0$.
Assumption (ref) lays out mild smoothness assumptions on $\mu$.
For simplicity we assume that $\mu$ is a scalar focus parameter. However, all our results can be extended to the case in which $\mu$ is a vector focus parameter.
Properties of the Minimum MSE Unit Averaging Estimator
We begin with a lemma that establishes the properties of the unit-specific estimators ${\mu}(\hat{\bm{\theta}}_i)$ as estimators for the target parameter $\mu(\bm{\theta}_1)$ of unit 1 in limited-information local setting.
lemmaAssume that assumptions (ref)--(ref) are satisfied. Let the unit-specific estimators $\hat{\bm{\theta}}_i$ for $i=1,2,\ldots$ be defined as in eq. (ref).
Then
\begin{align}
\sqrt{T}\left(\hat{\bm{\theta}}_i-\bm{\theta}_1 \right) & \Rightarrow N(\bm{\eta}_i-\bm{\eta}_1, \bm{V}_i) \eqqcolon \bm{Z}_i , \\
\sqrt{T}\left(\mu(\hat{\bm{\theta}}_i) -\mu(\bm{\theta}_1) \right) & \Rightarrow N(\bm{d}_0'\left(\bm{\eta}_i-\bm{\eta}_1\right), \bm{d}_0'\bm{V}_i\bm{d}_0) \eqqcolon \Lambda_i
\end{align}
holds as $T\to\infty$ for $i=1,2,\ldots$. Convergence is joint (that is, with respect to the product topology), and all $\bm{Z}_i$ and $\Lambda_i$ are independent across $i$.
Lemma (ref) approximates the exact moderate-$T$ bias and variance of $\mu(\hat{\bm{\theta}}_i)$ with their leading terms, which appear as the mean and variance of $\Lambda_i$.
This approximation relies on the locality assumption (ref): as $T\to\infty$, the amount of information in each individual time series remains limited (see the discussion after (ref)).
Consequently, both the asymptotic mean and variance are non-negligible and of the same order.
We now establish a local asymptotic approximation to the MSE (LA-MSE) of the unit averaging estimator (ref).
Let
$\{ \bm{w}_1, \bm{w}_2 , \ldots \}$ be a (non-random) sequence where $\bm{w}_k$ is a $k$-vector of weights. Suppose that $\bm{w}_N$ converges to some $\bm{w} \in \operatorname{\mathbb{R}}^{\infty}$ in the sense defined below.
In what follows we treat $\bm{w}_k = (w_{i\,k})$ as an element both in $\operatorname{\mathbb{R}}^{k}$ and in $\operatorname{\mathbb{R}}^{\infty}$ (with coordinates $i>k$ restricted to zero).
Consider the unit averaging estimator $\hat \mu( \bm{w}_N )$ (ref).
thmLet assumptions (ref)--(ref) be satisfied. Let $\{ \bm{w}_1, \bm{w}_2, \dots \}$ be such that
$(i)$ for each $N$, $\bm{w}_N$ is measurable with respect to $\sigma(\bm{\eta}_1, \dots, \bm{\eta}_N)$,
$(ii)$ for each $N$, $w_{i\,N}\geq 0$ for all $i$, $\sum_{i=1}^N w_{i\,N}=1$, $w_{j\,N}=0$ for $j>N$,
$(iii)$ $\sup_{i} \abs*{w_{i\,N}-w_i} = o(N^{-1/2})$ where $\bm{w}=(w_i) \in \mathbb R^{\infty}$ is a vector such that $w_i\geq 0$ and $\sum_{i=1}^{\infty} w_i\leq1$. Let $T_0$ be as in assumption (ref).
Then $(i)$ $\sum_{i=1}^{\infty} w_i\bm{d}_0'\bm{\eta}_i$ and $\sum_{i=1}^{\infty}w_i^2\bm{d}_0'\bm{V}_i\bm{d}_0$ exist;
$(ii)$ for any $N$ and $T>T_0$ the MSE of the averaging estimator is finite; and
$(iii)$ as $N, T\to\infty$ jointly it holds that
\begin{equation}
T\times MSE\left(\hat{\mu}(\bm{w}_N) \right) \to \left( \sum_{i=1}^{\infty} w_i \bm{d}_0'\bm{\eta}_i-\bm{d}_0'\bm{\eta}_1 \right)^2 + \sum_{i=1}^{\infty}w_i^2 \bm{d}_0'\bm{V}_i\bm{d}_0. \eqqcolon LA-MSE(\bm{w}).
\end{equation}
Theorem (ref) provides a local approximation to the MSE (LA-MSE)
of the averaging estimator.
The LA-MSE consists of the leading terms of the moderate-$T$ bias and variance of the estimator.
This result
parallels local approximations for the finite-sample risk in the model averaging literature (e.g. Hjort2003, Hansen2016).
The LA-MSE highlights the bias-variance trade-off associated with the choice of the weights.
The two extremes of the trade-off correspond to the individual estimator $\mu(\hat{\bm{\theta}}_1)$ of the first unit and the mean group estimator $\hat{\mu}_{MG} = N^{-1}\sum_{i=1}^N \mu(\hat{\bm{\theta}}_i)$.
$\mu(\hat{\bm{\theta}}_1)$ is obtained by setting $w_{1\,N}=1$ for all $N$.
It is asymptotically unbiased, and its LA-MSE is equal to $\bm{d}_0'\bm{V}_i\bm{d}_0$, the asymptotic variance of the individual estimator.
The mean group estimator is obtained by setting $w_{i\,N} = (N)^{-1}\operatorname{\mathbb{I}}_{i\leq N}$ for $i=1,\ldots, N$ for all $N$.
The variance term for
$\hat{\mu}_{MG}$ is zero, and the LA-MSE is equal to $(\bm{d}_0'\bm{\eta}_1)^2$.
The weight convergence condition $(iii)$ characterizes the spaces of weights over which the MSE is validly approximated by the LA-MSE.
$(iii)$ requires the sequence $\{ \bm{w}_1, \bm{w}_2, \dots \}$ of weight vectors to converge uniformly to some limit $\bm{w}$ as the cross-section grows.
Note that the sum of the limit $\bm{w}$ can be less than one, as is the case for the mean group estimator.
We now specialize the LA-MSE expression to the fixed-$N$ and large-$N$ averaging approaches of section (ref).
In the fixed-$N$ case, suppose that
only the first $\bar{N}$ units are being averaged, where $\bar{N}$ is fixed and finite.
Only these units affect the bias and the variance of the estimator, and both sums in eq.\ (ref) are finite sums.
The LA-MSE is a quadratic function of the weights.
Formally, for all $N\geq\bar{N}$, let $\bm{w}_N=(w_{i\,N})$ satisfy two conditions. First, set $w_{i\,N}=0$ for all $i>\bar{N}$.
Second, let $\bm{w}^{\bar{N}}$ be a $\bar{N}$-vector that satisfies $\sum_{i=1}^{\bar{N}} w_i^{\bar{N}}=1, w_{i}^{\bar{N}}\geq 0$.
Then let $w_{i\, N} = w_{i}^{\bar{N}}$.
The condition that $N\to\infty$ becomes superfluous and condition $(iii)$ holds automatically.
The LA-MSE is controlled by the $\bar{N}$-vector $\bm{w}^{\bar{N}}$ and can be written as
equation[equation omitted — 252 chars of source]
where $\bm{\Psi}_{\bar{N}}$ is an $\bar{N} \times \bar{N}$ matrix with elements
$[\bm{\Psi}_{\bar{N}}]_{i\,i} =\bm{d}_0'\left((\bm{\eta}_i-\bm{\eta}_1)\left(\bm{\eta}_i-\bm{\eta}_1 \right)' + \bm{V}_i\right)\bm{d}_0 $ and
$[\bm{\Psi}_{\bar{N}}]_{i\,j} = \bm{d}_0'(\bm{\eta}_i-\bm{\eta}_1)\left(\bm{\eta}_j-\bm{\eta}_1 \right)'\bm{d}_0$ when $ i\neq j$.
In the large-$N$ case, let the $\bar{N}$ unrestricted units be placed in
the first $\bar{N}$ positions, with the $N-\bar{N}$ remaining units forming the restricted set.
By eq.\ (ref), the individual weights of the restricted units
converge to 0 uniformly and satisfy $(iii)$.
The restricted units contribute only to the bias component of the LA-MSE.
The LA-MSE itself is fully determined by the individual weights of the unrestricted units and the total mass assigned to the restricted set.
Formally, let $\bm{w}^{\bar{N}, \infty}$ be a $\bar{N}$-vector that satisfies $\sum_{i=1}^{\bar{N}} w_{i}^{\bar{N}, \infty} \leq 1$, $w_{i}^{\bar{N}, \infty} \geq 0$;
the vector $\bm{w}^{\bar{N}, \infty}$ holds the weights of the unrestricted units.
Set $w_{iN} = w_i^{\bar{N}, \infty}$ for $i\leq \bar{N}$ and $w_{iN} = (1-\sum_{j=1}^{\bar{N}} w_{j}^{\bar{N}, \infty})/(N-\bar{N})$, $i \in\curl{\bar{N}+1, \dots, N}$. Let $\bm{w}=(w_i)$ where $w_i=w_i^{\bar{N}, \infty}$, $i\leq \bar{N}$ and $w_i =0$, $i>\bar{N}$.
Then $\sup_{i} \abs*{w_{iN} - w_i} = O(N^{-1})$.
Note that the mass of the restricted units $(1-\sum_{i=1}^{\bar{N}} w_{i}^{\bar{N}, \infty})$ may lie anywhere between 0 and 1 (the latter being the case for the mean group estimator).
The LA-MSE is controlled by $\bm{w}^{\bar{N}, \infty}$ as
align[align omitted — 455 chars of source]
The same expression for the LA-MSE can be obtained with other weighting schemes for the restricted set.
The weights in $\bm{w}_N$ beyond $\bar{N}$ can display strong variations in orders of magnitude, with some weights decaying like $N^{-1/2-\varepsilon}$, and some at a faster rate.
The above arguments also show that it is internally consistent to use the fixed-$N$ and large-$N$ approaches to minimize the MSE. These approaches minimize (an estimator) of the LA-MSE.
The weights returned lie within the class of weights for which the LA-MSE provides a valid approximation to the MSE.
The quantities $\widehat{LA\mhyphen MSE}_{\bar{N}}$ and $\widehat{LA\mhyphen MSE}_{\infty}$ used to define the minimum MSE weights introduced in section (ref)
are estimators of the population expressions for the LA-MSE given above.
In the rest of the section we focus on the properties of these estimators as well as the optimal weights (ref) and (ref) associated with them.
We begin by noting that in our framework the population LA-MSE cannot be consistently estimated. Under local heterogeneity the idiosyncratic components $\bm{\eta}_i$ cannot be consistently estimated, as the amount of information in each time series is finite and bounded under (ref) Hjort2003.
Instead, we form $\widehat{LA\mhyphen MSE}_{\bar{N}}$ and $\widehat{LA\mhyphen MSE}_{\infty}$ by plugging in asymptotically unbiased estimators for $\bm{\eta}_i-\bm{\eta}_1$ and $\bm{\eta}_1$ Hjort2003.
Such estimators are provided by $\sqrt{T}(\hat{\bm{\theta}}_i-\hat{\bm{\theta}}_1)$ and $\sqrt{T}(\hat{\bm{\theta}}_1-N^{-1} \sum_{i=1}^N \hat{\bm{\theta}}_i)$, respectively:
lemmaLet assumptions (ref)-(ref) hold.
Then as $N, T\to \infty$ jointly, it holds that
\begin{align}
\sqrt{T}\left( \hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 \right) & \Rightarrow N\left(\bm{\eta}_i-\bm{\eta}_1, \bm{V}_i+\bm{V}_1 \right) = \bm{Z}_i- \bm{Z}_1, \\
\sqrt{T}\left(\hat{\bm{\theta}}_1- \frac{1}{N} \sum_{i=1}^N \hat{\bm{\theta}}_i \right) & \Rightarrow N(\bm{\eta}_1, \bm{V}_1) = \bm{Z}_1 + \bm{\eta}_1 .
\end{align}
Convergence is joint for all $i$.
The following two theorems establish the properties of our LA-MSE estimators and the associated minimum MSE weights (ref) and (ref).
The theorem also characterizes the asymptotic distribution of the minimum MSE unit averaging estimators.
First, we state a result for the fixed-$N$ estimator. Recall that $\Delta^{\bar{N}} = \curl{\bm{w}\in \operatorname{\mathbb{R}}^{\bar{N}}: \sum_{i=1}^{\bar{N}} w_i=1, w_i\geq 0, i=1,\dots, \bar{N} }$.
thm[Fixed-$N$ Minimum MSE Unit Averaging]
Let assumptions (ref)-(ref) hold and $\bar{N}<\infty$ be a fixed positive integer.
\begin{enumerate}[label=(\roman*), noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt]
• For any $\bm{w}^{\bar{N}} \in \Delta^{\bar{N}}$ it holds that
\( \widehat{LA\mhyphen MSE}_{\bar{N}}(\bm{w}^{\bar{N}})\Rightarrow \overline{LA\mhyphen MSE}_{\bar{N}}(\bm{w}^{\bar{N}}) \coloneqq \bm{w}^{\bar{N}'}\overline{\bm{\Psi}}_{\bar{N}}\bm{w}^{\bar{N}} \)
as $T\to\infty$,
where ${\overline{\bm{\Psi}}}_{\bar{N}}$ is an $\bar{N}\times \bar{N}$ matrix with $[{\overline{\bm{\Psi}}}_{\bar{N}}]_{i\,j} = \bm{d}_0'((\bm{Z}_i-\bm{Z}_1)(\bm{Z}_i-\bm{Z}_1)' +\bm{V}_i)\bm{d}_0$ when $i=j$ and $\bm{d}_0'((\bm{Z}_i-\bm{Z}_1)(\bm{Z}_j-\bm{Z}_1)' )\bm{d}_0$ when $i\neq j$; and $\bm{Z}_i$ is as in lemma (ref).
• As $T\to\infty$, the minimum MSE weights satisfy
\begin{equation}
\hat{\bm{w}}^{\bar{N}} = \operatorname*{arg\,min }_{\bm{w}^{\bar{N}}\in\Delta^{\bar{N}}} \widehat{LA\mhyphen MSE}_{\bar{N}}(\bm{w}^{\bar{N}}) \Rightarrow \overline{\bm{w}}^{\bar{N}}= \operatorname*{arg\,min }_{\bm{w}^{\bar{N}}\in\Delta^{\bar{N}}} \overline{LA\mhyphen MSE}_{\bar{N}}(\bm{w}^{\bar{N}}) .
\end{equation}
• As $T\to\infty$, for $\Lambda_i$ of lemma (ref), the minimum MSE unit averaging estimator satisfies
\[ \sqrt{T}\left(\hat{\mu}(\hat{\bm{w}}^{\bar{N}}) - \mu(\bm{\theta}_1) \right)\Rightarrow \sum_{i=1}^{\bar N} \overline{w}_{i}^{\bar{N}} \Lambda_i. \]
\end{enumerate}
The quantity $\overline{LA\mhyphen MSE}_{\bar{N}}$ plays the same role to $\widehat{LA\mhyphen MSE}_{\bar{N}}$ as $\bm{Z}_i$ does to $\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1)$ in lemma (ref). $\overline{LA\mhyphen MSE}_{\bar{N}}$ uses a local approximation to express $\widehat{LA\mhyphen MSE}_{\bar{N}}$ in terms of the leading components of the MSE and the approximate distribution of the individual estimators.
We can see that $\overline{LA\mhyphen MSE}_{\bar{N}}$ is composed of the population LA-MSE, a bias term, and a noise component.
In fact, the entries of the matrix $\overline{\bm{\Psi}}_{\bar{N}}$ may be expressed as
align[align omitted — 329 chars of source]
where $\bm{e}_{i\,j} = (\bm{Z}_i-\bm{Z}_1)(\bm{Z}_j-\bm{Z}_1)' - \operatorname{\mathbb{E}}\left((\bm{Z}_i-\bm{Z}_1)(\bm{Z}_j-\bm{Z}_1)' \right)$.
The noise terms $\bm{e}_{i\,j}$ may be interpreted as the result of the fact that in a moderate-$T$ setting there is limited information about the idiosyncratic components $\bm{\eta}_i$. These terms are mean zero and independent conditional on unit 1.
The bias terms guarantee that $\overline{\bm{\Psi}}_{\bar{N}}$ is positive definite and arise as a consequence of using the biased positive definite estimator $\hat{\bm{\Psi}}_{\bar{N}}$ (see remark (ref) below). The bias can be split into two components.
The $\bm{d}'_0\bm{V}_1\bm{d}_0$ is common for all elements of $\overline{\bm{\Psi}}_{\bar{N}}$ and does not affect the solution of the MSE minimization problem.
The second component $\bm{d}_0'\bm{V}_i\bm{d}_0$ only affects the diagonal of $\overline{\bm{\Psi}}_{\bar{N}}$ and measures the individual variances.
This component does not modify the ordering of the estimators in terms of their variances.
Result $(iii)$ shows that the minimum MSE unit averaging estimator has a nonstandard asymptotic distribution in the local heterogeneity framework.
The limit distribution is a randomly weighted sum of independent normal random variables.
This result is somewhat similar to the distributional results for model averaging estimators Liu2015.
In the Online Appendix, we show how to construct confidence intervals based on theorem (ref).
The following theorem establishes an analogous result for the large-$N$ estimator.
thm[Large-$N$ Minimum MSE Unit Averaging]
Let assumptions (ref)-(ref) hold and $\bar{N}<\infty$ be a fixed non-negative integer.
\begin{enumerate}[label=(\roman*), noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt]
• For any $\bm{w}^{\bar{N}, \infty}\in \tilde{\Delta}^{\bar{N}}$
it holds that
$\widehat{LA\mhyphen MSE}_{\infty}(\bm{w}^{\bar{N}, \infty}) \Rightarrow \overline{LA\mhyphen MSE}_{\infty}(\bm{w}^{\bar{N}, \infty}) $
as $N, T\to \infty$ jointly
where $\tilde \Delta^{\bar{N}}= \curl{\bm{w}\in \operatorname{\mathbb{R}}^{\bar{N}}: w_i\geq 0, \sum_{i=1}^{N} w_i\leq 1}$ and
\begin{align}
\overline{LA\mhyphen MSE}_{\infty}(\bm{w}^{\bar{N}, \infty}) & = \bm{w}^{\bar{N}, \infty'} \overline{\bm{\Psi}}_{\bar{N}}\bm{w}^{{\bar{N}, \infty}} + \Bigg[ \left(1-\sum_{i=1}^{\bar{N}}w^{\bar{N}, \infty}_i \right) \bm{d}_0'\left(\bm{\eta}_1+ \bm{Z}_1\right) \\
& \quad - 2\sum_{i=1}^{\bar{N}}w^{\bar{N}, \infty}_i\bm{d}_0' \left(\bm{Z}_i-\bm{Z}_1\right) \Bigg]
\left( 1-\sum_{i=1}^{\bar{N}}w_i^{\bar{N}, \infty} \right)
\bm{d}_0'\left(\bm{\eta}_1 + \bm{Z}_1
\right).
\end{align}
• As $N, T\to\infty$, the minimum MSE weights satisfy \begin{equation}
\hat{\bm{w}}^{\bar{N}, \infty} = \operatorname*{arg\,min }_{\bm{w}\in\tilde{\Delta}^{\bar{N}}} \widehat{LA\mhyphen MSE}_{\infty}(\bm{w})\Rightarrow \overline{\bm{w}}^{\bar{N},\infty} = \operatorname*{arg\,min }_{\bm{w}\in\tilde{\Delta}^{\bar{N}}} \overline{LA\mhyphen MSE}_\infty(\bm{w}) .
\end{equation}
• Let $\bm{v}_{N-\bar N}=(v_{\bar{N}\, N}, \dots, v_{N\, N})$ be a $(N-\bar{N})$-vector such that $\sup_{i} v_{i\, N-\bar N}=o(N^{-1/2})$, $v_{i\,N-\bar{N}}\geq 0$, for each $N$ it holds that $\sum_{i=N-\bar{N}}^{N} v_{i\,N - \bar N}=1$.
Then as $N, T\to\infty$ jointly
\begin{align}
& \quad \sqrt{T}\left(\sum_{i=1}^{\bar{N}}\hat{w}_{i}^{\bar{N}, \infty} \mu\left(\hat{\bm{\theta}}_i \right) + \left(1-\sum_{i=1}^{\bar{N}}\hat{w}_{i}^{\bar{N}, \infty} \right)\sum_{j=N-\bar{N}}^{N} v_{j\,N-\bar N}\mu(\hat{\bm{\theta}}_j) - \mu(\bm{\theta}_1) \right)\\ &\Rightarrow
\sum_{i=1}^{\bar{N}} \overline{w}_{i}^{\bar{N},\infty} \Lambda_i - \left(1-\sum_{i=1}^{\bar{N}}\overline{w}_{i}^{\bar{N},\infty} \right)\bm{d}_0'\bm{\eta}_1 .
\end{align}
\end{enumerate}
Note that the estimator in equation (ref) is a valid averaging estimator, with
weights summing to unity.
The exact way $\bm{v}_N$ is picked does not matter, as long as the decay condition holds. All admissible choices lead to the same limit. In particular, we may pick equal weights $v_{i\,N} = 1/(N-\bar{N})$, as we do in eq. (ref).
Also note that the convergence result $(ii)$ applies to the vector $\hat{\bm{w}}^{\bar{N}, \infty}$ of the weights of the unrestricted units, a vector of fixed length $\bar{N}$.
remark[Large-$T$ properties]
Minimizing $\widehat{LA\mhyphen MSE}_N$ is natural even in a non-local (fixed parameters) setting where we drop assumption
(ref) and allow the amount of information in each time series to grow as $T\to\infty$.
Asymptotically, this approach will place zero weights on units with $\bm{\theta}_i\neq \bm{\theta}_1$, while the weights on units with $\bm{\theta}_i= \bm{\theta}_1$ will follow theorem (ref).
Specifically, for all $i$ such that $\bm{\theta}_i\neq \bm{\theta}_1$, the bias estimators $\sqrt{T}(\hat{\bm{\theta}}_i-\hat{\bm{\theta}}_1)$ will diverge.
In contrast, for the units with $\bm{\theta}_i = \bm{\theta}_1$, the bias estimators $\sqrt{T}(\hat{\bm{\theta}}_i-\hat{\bm{\theta}}_1)$ will instead behave as in lemma (ref) (with $\bm{\eta}_i-\bm{\eta}_1=0$).
Accordingly, asymptotically no weight will be assigned to units with $\bm{\theta}_i\neq \bm{\theta}_1$.
Similarly, $\sqrt{T}(\hat{\bm{\theta}}_1-N^{-1}\sum_{i=1}^N\hat{\bm{\theta}}_i)$ will diverge, leading the approach to place no weight on the restricted set, if it is present.
Such a result has a parallel in fixed parameter asymptotics for model averaging Zhang2019b, Zhang2024.
The units with $\bm{\theta}_i\neq \bm{\theta}_1$ play the role of under-fitted models (asymptotically zero weights), while the units $\bm{\theta}_i=\bm{\theta}_1$ correspond to the just-fitted and over-fitted models (random weights characterized by a normal vector ).
Moreover, the difference between the averaging estimator with minimum MSE weights and the individual estimator will converge to zero in probability if there are no other units $i$ with $\bm{\theta}_i=\bm{\theta}_1$ (as would happen if the distribution of $\bm{\eta}$ is continuous).
remark[Bias in $\hat{\bm{\Psi}}_{\bar{N}}$ and an alternative estimator for $\bm{\Psi}_{\bar{N}}$]
The matrix $\hat{\bm{\Psi}}_{\bar{N}}$ of equations (ref) and (ref) is a biased estimator of $\bm{\Psi}_{\bar{N}}$.
Such a bias ensures that $\widehat{LA\mhyphen MSE}$ is nonnegative for all admissible weight vectors. An asymptotically unbiased estimator $\tilde{\bm{\Psi}}_{\bar{N}}$ instead would have elements
$[\tilde{\bm{\Psi}}_{\bar{N}}]_{i\, j} = \hat{\bm{d}}'_1( T ( \hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 )( \hat{\bm{\theta}}_j -\hat{\bm{\theta}}_1 )' - (\hat{\bm{V}}_i \operatorname{\mathbb{I}}\curl{i=j}+\hat{\bm{V}}_1 ))\hat{\bm{d}}_1$.
However, $\tilde{\bm{\Psi}}_{\bar{N}}$ can fail to be positive definite,
as it involves a difference of positive definite matrices, leading to the undesirable possibility of negative estimates of the LA-MSE.
Simulation Study
In this section, we study the performance of our minimum MSE unit averaging estimator for a variety of sample sizes via a simulation exercise.
We consider a model similar to the one we use in our empirical application -- a linear dynamic heterogeneous panel model defined as
align[align omitted — 228 chars of source]
The error $u_{i\,t}$ is cross-sectionally heteroskedastic, with variance $\sigma^2_i$ drawn independently from an exponential(1) distribution.
$u_{i\, t}$ is independent from the coefficients and the covariates.
The exogenous variable $x_{i\,t}$ is independently drawn from a $N(0, 1)$ distribution.
The initial conditions $y_{i0}$ are drawn from a $N(0, (\beta_i^2+\sigma^2_i)/(1-\lambda_i^2))$ distribution to ensure that $\{ y_{it} \}_t$ is covariance stationary.
The two components of the parameter $\bm{\theta}_i=(\beta_i,\lambda_i)'$ are independently drawn from a $N(0, 1)$ and a Beta$(5,5)$ distribution on $[0.2, 0.8]$, respectively.
Note that, in order to measure the impact of increasing information and to compare results across $T$, we model the distribution of $\bm{\theta}_i$ as independent from $T$.
Under this (fixed parameter) approach, the amount of information in each time series increases as $T$ grows.
We study both moderate-$T$ and large-$T$ settings for a variety of cross-sectional sample sizes $N$.
Specifically, we consider $N=50, 150, 450$, and $T=50, 60, 600$.
$T=30$ and $T=60$ are moderate values of $T$, according to the heuristic criterion of remark (ref): the average $t$-statistic of the parameter estimates is 2 for $T=30$ and 3.5 for $T=60$.
In contrast, $T=600$ is a large value of $T$, with an average $t$-statistic value of 10.
We also note that
$N=150, T=60$ is one of the estimation sample sizes in our empirical application.
The measures of interest are the MSE, bias, and variance of the unit averaging estimators (see below) for the focus parameter $\mu(\bm{\theta}_1)=\lambda_1$.
Specifically, we evaluate the MSE of the form $\operatorname{\mathbb{E}}\left[(\hat{\mu}(\bm{w}) - \mu(\bm{\theta}_1))^2|\lambda_1=c\right]$, where $c$ ranges through a grid of values in $[0.2, 0.8]$, and the expectation is over the distribution of data, $\beta_1$, and the parameters of units 2-$N$.
The bias and variance of interest are defined similarly.
We draw 10000 datasets for each value of $c$ and $(N, T)$.
For each sample, we estimate eq.\ (ref) by OLS, compute the estimators, and record the estimates and estimation errors.
The MSE is approximated with the average square Monte Carlo estimation error; we compute biases and variances similarly.
We estimate the focus parameter using the fixed-$N$ and large-$N$ minimum MSE estimators.
We consider three specifications for the large-$N$ estimator.
enumerate[
noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt, leftmargin=1.2em]
• For the most similar specification, an oracle selects the $10\%$ units whose parameter vector $\bm{\theta}_i$ is most similar to $\bm{\theta}_1$ in terms of the 2-norm. These units are set as the unrestricted units.
This approach measures the impact of prior information on unit similarity.
• For the Stein-like specification, only the target unit is unrestricted.
• For the top units approach, we first run the fixed-$N$ estimator. The units are then sorted by the estimated weights. The top 10% units are set to be the unrestricted units.
Note that the latter
specification is data-driven and thus not directly covered by theorem (ref).
The corresponding tuning parameter (number of top units) matches the empirical application; in the Online Appendix we explore the impact of this choice.
The performance of the minimum MSE estimator is benchmarked against
the individual estimator of unit 1, the mean group estimator, as well as the unit averaging estimator based on AIC/BIC weights Buckland1997,Vaida2005. AIC and BIC generate the same likelihood-based weights, as each unit has the same number of coefficients.
figure[figure omitted — 280 chars of source]
figure[figure omitted — 349 chars of source]
Our key result is that the minimum MSE estimators generally have lower MSE for both moderate and large-$T$.
As fig.\ (ref) shows, all of the minimum MSE estimators (bar the Stein-like one)
perform favorably throughout most of the parameter space for all $(N, T)$.
Gains in the MSE are possible without prior information, as shown by the agnostic fixed-$N$ estimator, and the data-driven top unit large-$N$ specification.
However, leveraging prior information may lead to stronger improvements for some parameter values (the “most similar” line).
Fig.\ (ref)
shows a trade-off between stronger improvements for more typical values of $\lambda_1$ vs. for less typical ones (closer to $\operatorname{\mathbb{E}}\left[\lambda_1\right]=0.5$ vs. closer to the boundary of the support of $\lambda_1$).
This trade-off is controlled by the flexibility of the estimator, determined by the number of free weights it has.
Importantly, this trade-off is not identical to the bias variance trade-off
(fig.\ (ref)).
More flexible estimators (such as the fixed-$N$ estimator) have uniformly lower bias for all values of $\lambda_1$.
However, more flexible estimators also have lower variance for more extreme values of $\lambda_1$, while less flexible estimators have lower variance for $\lambda_1$ close to $\operatorname{\mathbb{E}}[\lambda_1]$.
Increasing $N$ has a twofold effect.
First, it strictly improves the performance of the similarity-based large-$N$ estimator.
For larger $N$, more units will lie within any given neighborhood of $\lambda_1$ on average, reducing bias.
Second, more flexible estimators offer a stronger gain for less typical $\lambda_1$, as larger cross-sections will have more units with similar $\lambda_i$.
At the same time, the region around $\operatorname{\mathbb{E}}[\lambda_i]$ in which improvements are modest grows.
figure[figure omitted — 290 chars of source]
Gains in MSE are strongest for smaller values of $T$.
The impact is not symmetric around $\operatorname{\mathbb{E}}[\lambda_1]=0.5$, with stronger improvements in the left tail than in the right one.
This asymmetry is due to the increase in the convergence rate of the individual estimator as $\lambda_1$ moves into a near-unit root region.
At the extreme, if $\lambda_1\approx0.8$, most of the other units will have smaller values of $\lambda_i$. Their own individual estimators will converge at a rate closer to $T^{-1/2}$. Accordingly, for larger values of $T$, the variance of the individual estimator of unit $1$ may be significantly smaller than the variance of most of the individual estimators.
This effect has little impact for $T=30, 60$, but is more notable for $T=600$.
As $T$ increases, more weight is placed on the individual estimator of unit 1, in line with the discussion after theorem (ref) (fig.\ (ref)).
This effect is more pronounced in smaller cross-sections, for less flexible estimators, more extreme values of $\lambda_1$, and values of $\lambda_1$ where the individual estimator is more efficient ($\lambda_1\approx 0.8$).
Additional simulation results are reported in the Online Appendix.
We consider an additional data-driven large-$N$ specification, further focus parameters; perform simulations for the intermediate case $T=180$; analyze
the choice of tuning parameters for large-$N$ estimators; and examine the estimated weights.
The evidence emerging from these simulations is in line with the results presented above.
Empirical Application
We illustrate our averaging methodology with an application to forecasting monthly unemployment rates for a panel of German regions.
This setting provides a natural application for two reasons. First, the unemployment dynamics of German regions are heterogeneous due to differences in sectoral composition, regional laws, and historical trends such as the East-West divide Graaff2018. At the same time, using data on other regions at least partially improves prediction. Schanne2010.
Second, the performance of our methodology can be explicitly measured against realized unemployment rates.
Our application contributes to the growing literature on forecasting regional unemployment
Schanne2010, Patuelli2012, Wozniak2020, Aaronson2022.
The regions of interest are the 150 German labor market districts (Arbeitsagenturbezirke, AABs) of the German Federal Employment Agency.
Each AAB is medium-size region, between a NUTS-2 and a NUTS-3 region in size.
Together, the 150 AABs cover all of Germany.
The AABs are grouped into 10 regional directorates (RDs).
These RDs correspond either to German federal states or unions of two states (NUTS-2).
We make use of monthly AAB-, RD-, and Germany-wide seasonally adjusted unemployment data from May 2007 to February 2024 (a total of 202 time series observations).
The resulting panel is balanced with $N=150$.
All data is freely available from the Federal Employment Agency.
We model the AAB-level unemployment rate as a function of the past values of AAB-, RD-, and national-level unemployment rates.
Specifically, let $y_{i\, t}^{AAB}$ be the unemployment rate in the $i$th AAB at month $t$. Let $y_{i\, t}^{RD}$ be the unemployment rate of the RD to which the $i$th AAB belongs. Finally, let $y_{t}^{DE}$ be the unemployment rate in Germany.
Then $y_{i\, t}^{AAB}$ is modeled as:
equation[equation omitted — 285 chars of source]
In model (ref), we allow both idiosyncratic and regional dynamics to drive the AAB-level unemployment rate, following Schanne2010.
These dynamics may be heterogeneous between AABs, and all coefficients are AAB-specific.
For each AAB, we forecast $y_{i\,t}^{AAB}$ with its conditional mean $\operatorname{\mathbb{E}}\left[y_{i\,t}^{AAB}|y_{i\, t-1}^{AAB}, y_{i\, t-1}^{RD}, y_{t-1}^{DE} \right]$ implied by eq.\ (ref).
Formally, the target parameter for the $i$th AAB in month $t$ is $\mu(\bm{\theta}_i) = \theta_{i0} + \theta_{i1} y_{i\, t-1}^{AAB} + \theta_{i2} y_{i\, t-1}^{RD} + \theta_{i3} y_{t-1}^{DE} $. Observe that the period $(t-1)$ unemployment rates are treated as part of the parameter $\mu$.
The key measure of interest in our study is the out-of-sample forecasting MSE of our unit averaging approaches (see below).
To estimate this MSE, we adopt a rolling-window approach.
The data is split into all possible contiguous subsamples of window sizes $T=40, 60$, and $80$ months (between 3 and 7 years of data).
On each window we estimate the individual parameters of eq.\ (ref) with OLS.
We compute the one-step-ahead out-of-sample unit averaging forecasts and record the forecast error.
These errors are used to estimate the MSE for each AAB and averaging approach.
Note that estimating the MSE from rolling windows implicitly assumes that individual parameters are stable over time, see remark (ref) below for evidence in favor of this.
We also note that
the values of $T$ considered satisfy the heuristic criterion for moderate-$T$ of remark (ref). The average $t$-statistic across coefficients, AABs, and $T$s is approximately 2.
We estimate the conditional mean using our fixed-$N$ and large-$N$ minimum MSE estimators.
For the large-$N$ approach, we consider two
specifications.
For the Stein-like specification, only the target AAB is unrestricted.
For the top units specification, we first run the fixed-$N$ estimator. The 15 AABs (10% of total) with the largest weights are set as unrestricted units, and the rest are restricted, and the large-$N$ estimator is then ran
(see also the discussion in section (ref)). The choice of the number of top units is explored in the Online Appendix.
The pre-averaging fixed-$N$ procedure is done for every AAB in every window subsample.
The performance of our minimum MSE unit averaging estimator is benchmarked against the individual, mean group, and AIC-weighted averaging estimators.
figure[figure omitted — 540 chars of source]
table[table omitted — 672 chars of source]
figure[figure omitted — 376 chars of source]
figure[figure omitted — 231 chars of source]
Figures (ref)-(ref) visualize our results for the MSE.
Fig.\ (ref) provides a box plot for the MSE for all averaging approaches relative to the MSE of the individual estimator, along with a box plot of the (absolute) MSE of the individual estimator.
Table (ref) complements fig.\ (ref) with the average relative MSEs.
The underlying geographic distribution of the MSE is plotted on fig.\ (ref) for $T=40$.
Finally, on fig.\ (ref) we compare the individual and the minimum MSE estimators, and depict the best performing approach for each AAB and each value of $T$.
Maps for all of the averaging approaches and $T$ are provided in
the Online Appendix.
Our key finding is that averaging with minimum MSE weights
generally improves forecasting performance.
For most AABs,
at least one
minimum MSE approach outperforms the individual estimator for all $T$, as can be seen on fig.\ (ref).
The gain in MSE can be substantial, as fig.\ (ref) and table (ref) show.
These gains are stronger for regions where the individual estimator does relatively poorly (fig.\ (ref)); these regions are predominantly concentrated in the former East Germany.
The improvement is also stronger for smaller values of $T$, although it is also non-negligible even for $T=80$.
The fixed-$N$ and the top units large-$N$ minimal MSE estimators emerge as the leading averaging approaches, in line with the simulation evidence of section (ref).
Both offer roughly similar gains in MSE (fig.\ (ref)).
For $T =40$, greater flexibility makes the fixed-$N$ approach the overall best, as fig.\ (ref) shows.
For $T=80$, the leading option is the top units large-$N$ estimator, which has only 15 unrestricted units.
The other averaging methods considered perform somewhat worse.
Mean group and AIC weights do not improve forecasting performance on average, although they
offer an improvement for a non-trivial share of AABs.
The Stein-like large-$N$ performs similarly to the mean group estimator, but with smaller variation in the MSEs across AABs.
remark[Individual parameter stability]
Estimating AAB-level MSE implicitly requires that the unemployment rate dynamics of eq.\ (ref) are stable over time.
As our sample covers 2007-2024, the key possible threat to this stability is
the Covid-19 pandemic.
However, we find no evidence of a corresponding change in dynamics.
First, the literature finds that employment dynamics are stable across the pre-, intra-, and post-pandemic periods due to the strong German Kurzarbeit scheme, both on the regional Aiyar2021 and the national level Adams-Prassl2020, Casey2023.
Second, we find no statistical evidence of coefficient breaks with a joint Chow coefficient breakpoint test with a Bonferroni-corrected 5% level critical value.
remark[Additional empirical results]
The Online Appendix contains further results, including detailed maps of the MSE and results for several specifications of the top units approach.
We also examine the averaging weights of the minimum MSE estimators.
We also provide an application to nowcasting quarterly GDP for a panel of European countries.
As above,
the minimum MSE estimator improves nowcasting performance relative to competing estimators.
The gains are larger for shorter panels.
Conclusions
In this work we introduce a unit averaging estimator to recover unit-specific parameters in a general class of panel data models with heterogeneous parameters.
The procedure consists in estimating the parameter of a given unit using a weighted average of all the unit-specific parameter estimators in the panel. The weights of the average are determined by minimizing an MSE criterion.
The paper studies the properties of the procedures using a local heterogeneity framework that builds upon the literature on frequentist model averaging Hjort2003,Hansen2008.
An application to forecasting regional unemployment for a panel of German regions shows that the procedure performs favorably for prediction relative to a number of alternative procedures.
small
\numberwithin{thm}{section}
\numberwithin{lemma}{section}
\setcounter{section}{0}
\numberwithin{equation}{section}
\part*{Proofs of Results in the Main Text}
Under assumption (ref) we work conditional on $\curl{\bm{\eta}_1, \bm{\eta}_2, \dots}$.
We use $\operatorname{\mathbb{E}}[\cdot]$ to denote the expectation operator conditional on $\curl{\bm{\eta}_1, \bm{\eta}_2, \dots}$, whereas
$\operatorname{\mathbb{E}}_{\bm{\eta}}[\cdot]$ is the expectation taken with respect the distribution of $\bm{\eta}$.
All results are shown to hold with probability one with respect to the distribution of $\bm{\eta}$ (denoted $\bm{\eta}$-a.s.).
Proof of Lemma (ref)
Recall that the data vector $\bm{z}_{i\,t}$ takes values in $\mathcal{Z}\subset \operatorname{\mathbb{R}}^d$ and define the data matrix $\bm{z}_i = (\bm{z}_{i\,1}',\ldots,\bm{z}_{i\,T}')'$ that takes values in $ \mathcal{Z}^T= \prod_{t=1}^{T}\mathcal{Z}$.
Recall that that the parameter vector $\bm{\theta}= (\theta_1, \dots, \theta_p)$ takes values in $\Theta \subset \mathbb R^p$.
We denote by $\nabla m(\bm{\theta}, \bm{z}_{i\,t})$ the gradient vector of $m$ with respect to $\bm{\theta}$,
by $\nabla^2 m(\bm{\theta}, \bm{z}_{i\,t})$ the Hessian matrix of $m$ with respect to $\bm{\theta}$,
by $\nabla_{\theta_k} m(\bm{\theta}, \bm{z}_{i\,t})$ the partial derivative of $m$ with respect to $\theta_k$, and
by $\nabla^2_{\bm{\theta}\,\theta_k}$ the gradient vector of $\nabla_{\theta_k} m(\bm{\theta}, \bm{z}_{i\,t})$ with respect to $\bm{\theta}$.
We establish a mean value theorem that does not require compactness of $\Theta$.
lemmaSuppose assumption (ref) is satisfied.
Then for each unit $i$, any $T$ and any $k=1,\ldots, p$ there exists a measurable function $\tilde{\bm{\theta}}_{i\,k}$ from $\mathcal{Z}^T$ to $\Theta$
such that the individual estimator $\hat{\bm{\theta}}_i$ of eq. (ref) satisfies
\begin{align}
& \dfrac{1}{T}\sum_{t=1}^T \nabla_{\theta_k} m(\hat{\bm{\theta}}_i, \bm{z}_{i\,t}) = \dfrac{1}{T}\sum_{t=1}^T \nabla_{\theta_k} m({\bm{\theta}}_i, \bm{z}_{i\,t}) \\
& \quad + \left[ \dfrac{1}{T}\sum_{t=1}^T \nabla^2_{\bm{\theta}\, \theta_k} m(\tilde{\bm{\theta}}_{i\,k}, \bm{z}_{i\,t})\right]'\left(\hat{\bm{\theta}}_i - \bm{\theta}_i \right) ,
\end{align}
where $\tilde{\bm{\theta}}_{i\,k}$ lies on the segment joining $\hat{\bm{\theta}}_i$ and $\bm{\theta}_i$.
Further, suppose (ref) is satisfied.
Then for each $i$ and any $T$ there exist measurable functions $\bar{\bm{\theta}}_i$, $\acute{\bm{\theta}}_i$ and $\check{\bm{\theta}}_i$ from $\mathcal{Z}^T$ to $\Theta$ such that
the individual estimator $\hat{\bm{\theta}}_i$ of eq. (ref) satisfies
\begin{align}
\mu(\hat{\bm{\theta}}_i) & = \mu(\bm{\theta}_1) + \nabla \mu(\bar{\bm{\theta}}_i)' (\hat{\bm{\theta}}_i -\bm{\theta}_1 ) , \\
\mu(\hat{\bm{\theta}}_i) & = \mu(\bm{\theta}_1) + \bm{d}'_1(\hat{\bm{\theta}}_i -\bm{\theta}_1 ) +\dfrac{1}{2}(\hat{\bm{\theta}}_i-\bm{\theta}_1)'\nabla^2 \mu(\acute{\bm{\theta}}_i ) (\hat{\bm{\theta}}_i-\bm{\theta}_1) , \\
\mu(\hat{\bm{\theta}}_i) & = \mu(\bm{\theta}_i) + \bm{d}'_i(\hat{\bm{\theta}}_i -\bm{\theta}_i) +\dfrac{1}{2}(\hat{\bm{\theta}}_i-\bm{\theta}_i)'\nabla^2 \mu(\check{\bm{\theta}}_i) (\hat{\bm{\theta}}_i-\bm{\theta}_i) ,
\end{align}
where $\bm{d}_1=\nabla \mu(\bm{\theta}_1)$; $\bar{\bm{\theta}}_i$ and $\acute{\bm{\theta}}_i$ lie on the segment joining $\hat{\bm{\theta}}_i$ and $\bm{\theta}_1$; and $\check{\bm{\theta}}_i$ lies on the segment joining $\hat{\bm{\theta}}_i$ and $\bm{\theta}_i$.
proofFix $k\in \curl{1, \dots, p}$ and define the function $f_i: \mathcal{Z}^T\times [0, 1]\to \operatorname{\mathbb{R}}$ as\begin{align}
f_i( \bm{z}_i, y) & = \dfrac{1}{T}\sum_{t=1}^T \nabla_{\theta_k} m(\hat{\bm{\theta}}_i, \bm{z}_{i\,t}) - \dfrac{1}{T}\sum_{t=1}^T \nabla_{\theta_k} m({\bm{\theta}}_i, \bm{z}_{i\,t}) \\
& \quad - \left[ \dfrac{1}{T}\sum_{t=1}^T \nabla^2_{\bm{\theta}\, \theta_k} m(y \hat{\bm{\theta}}_i + (1-y)\bm{\theta}_i, \bm{z}_{i})\right]'(\hat{\bm{\theta}}_i - \bm{\theta}_i ) .
\end{align}
(ref) implies that $f_i$ is well-defined, as for each $y \in [0,1]$ we have that $y \hat{\bm{\theta}}_i + (1-y)\bm{\theta}_i \in \Theta$. $f_i$ is a measurable function of $\bm{z}_i$ for every fixed value $y\in [0, 1]$, as $\hat{\bm{\theta}}_i$ and $m$ are measurable functions of $\bm{z}_i$ and $m$ is continuously differentiable in $\bm{\theta}$. $f_i$
is a continuous function of $y$ for every value of $\bm{z}_i$.
Define the correspondence $\varphi_i: \mathcal{Z}^T\to [0, 1]$ as $\varphi_i(\bm{z}_i) = \curl*{y\in [0, 1]: f_i(\bm{z}_i, y)=0 }$.
The function $f_i$ satisfies the assumptions of corollary 18.8 in Aliprantis2006, and so $\varphi_i$ is a measurable correspondence.
$\varphi_i(\bm{z}_i)$ is nonempty for every $\bm{z}_i$, as
by the mean value theorem, for every fixed value of $\bm{z}_i$ there exists some $\tilde y\in [0, 1]$ such that
\begin{align}
\dfrac{1}{T}\sum_{t=1}^T \nabla_{\theta_k} m(\hat{\bm{\theta}}_i, \bm{z}_{i\,t}) & = \dfrac{1}{T}\sum_{t=1}^T \nabla_{\theta_k} m({\bm{\theta}}_i, \bm{z}_{i\,t})
\\ & \quad + \left[ \dfrac{1}{T}\sum_{t=1}^T \nabla^2_{\bm{\theta},\theta_k} m(\tilde y \hat{\bm{\theta}}_i + (1-\tilde y)\bm{\theta}_i, \bm{z}_{i\,t})\right]'\left(\hat{\bm{\theta}}_i - \bm{\theta}_i \right).
\end{align}
In addition, $\varphi_i(\bm{z}_i)$ is closed for every $\bm{z}_i$ as $m$ is twice continuously differentiable in $\bm{\theta}$ by assumption (ref).
Then by the Kuratowski-Ryll-Nardzewski measurable selection theorem (theorem 18.13 in Aliprantis2006), $\varphi_i(\bm{z}_i)$ admits a measurable selector $\tilde{y}_{i\,k}= \tilde{y}_{i\, k}(\bm{z}_i)$.
Finally, define $\tilde{\bm{\theta}}_{i\,k}= \tilde{y}_{i\,k}\hat{\bm{\theta}}_i+ (1-\tilde{y}_{i\,k})\bm{\theta}_i$ and note that $\tilde{\bm{\theta}}_{i\,k}$ satisfies the requirements of the lemma.
This establishes the first claim of the lemma.
The proof of the second claim of the lemma is analogous.
The following lemma is needed to prove lemmas (ref) and (ref).
lemmaSuppose (ref) is satisfied.
Let $\tilde{\bm{\theta}}_{i\,j} : \mathcal Z^T \rightarrow \mathbb R^p$ for $j=1, \dots, p$ be a sequence of measurable functions that lie on the segment joining $\bm{\theta}_i$ and $\hat{\bm{\theta}}_i$ and define
\begin{equation}
\hat{\bm{H}}_{i\,T} = \begin{bmatrix}
\left[ \dfrac{1}{T}\sum_{t=1}^T \nabla^2_{\bm{\theta}, \theta_1} m(\tilde{\bm{\theta}}_{i\, 1}, \bm{z}_{i\,t})\right]'\\
\cdots\\
\left[ \dfrac{1}{T}\sum_{t=1}^T \nabla^2_{\bm{\theta}, \theta_p} m(\tilde{\bm{\theta}}_{i\, p}, \bm{z}_{i\,t})\right]'
\end{bmatrix}.
\end{equation}
Then for all $T>T_0$ the matrix $\hat{\bm{H}}_{i\, T}$ (i) is a.s. nonsingular and (ii) satisfies
\begin{equation}
\operatorname{\mathbb{E}}\left[\left\lVert\bm{H}_i^{-1} - \hat{\bm{H}}_{i\,T}^{-1} \right\rVert_{\infty}^{\frac{2(2+\delta)(1+\delta)}{\delta} }\right] \leq p^{\frac{(2+\delta)(1+\delta)}{\delta} } \lambda_{\bm{H}}^{-\frac{2(2+\delta)(1+\delta)}{\delta} } C_{\nabla^2 m} ,
\end{equation}
where $\bm{H}_i= \lim_{T\to\infty}\operatorname{\mathbb{E}}\left[ T^{-1}\sum_{t=1}^T \nabla^2 m( \bm{\theta}_i, \bm{z}_{i\,t})\right]$.
proofThe proof of assertion $(i)$ is based on showing that $\left\lVert(\bm{H}_i-\hat{\bm{H}}_{i\, T}) \bm{H}_i^{-1}\right\rVert_{\infty}<1$
holds almost surely, which implies that the matrix $\hat{\bm{H}}_{i\, T}$ is a.s. nonsingular. This result follows from the standard observation that if
$\left\lVert\bm{I}-\bm{A}\right\rVert_{\infty}<1$, then $\bm{A}$ is nonsingular.
Write $I=\bm{H}_i\bm{H}_i^{-1}$ and $\bm{A} = \hat{\bm{H}}_{i\, T}\bm{H}_i^{-1}$. Then $\left\lVert\bm{I}-\bm{A}\right\rVert_{\infty}= \left\lVert (\bm{H}_i-\hat{\bm{H}}_{i\,T}) \bm{H}_i^{-1}\right\rVert_{\infty}<1$. The matrix $\bm{A}$ is nonsingular, and $\hat{\bm{H}}_{i\,T}= \bm{A}\bm{H}_i$ is a product of two nonsingular matrices.
Let $\bm{H}_i^{-1} = (h^{ij})$ and observe that
\begin{equation}
\hat{\bm{H}}_{i\, T}\bm{H}_i^{-1}=\begin{bmatrix}
\sum_{k=1}^p \nabla^2_{\theta_k\,\theta_1} m(\tilde{\bm{\theta}}_{i\,1}, \bm{z}_{i\,t})h^{k1} & \cdots & \sum_{k=1}^p \nabla^2_{\theta_k\,\theta_1} m(\tilde{\bm{\theta}}_{i\,1}, \bm{z}_{i\,t})h^{kp} \\
\sum_{k=1}^p \nabla^2_{\theta_k\,\theta_2} m(\tilde{\bm{\theta}}_{i\,2}, \bm{z}_{i\,t})h^{k1} & \cdots & \sum_{k=1}^p \nabla^2_{\theta_k\,\theta_2} m(\tilde{\bm{\theta}}_{i\,2}, \bm{z}_{i\,t})h^{kp}\\
\vdots & \ddots & \vdots\\
\sum_{k=1}^p \nabla^2_{\theta_k\,\theta_p} m(\tilde{\bm{\theta}}_{i\,p}, \bm{z}_{i\,t})h^{k1} & \cdots & \sum_{k=1}^p \nabla^2_{\theta_k\,\theta_p} m(\tilde{\bm{\theta}}_{i\,p}, \bm{z}_{i\,t})h^{kp}
\end{bmatrix} .
\end{equation}
Row $j$ of $\hat{\bm{H}}_{i\, T}\bm{H}_i^{-1}-\bm{I}$ coincides with row $j$ of $\left(T^{-1}\sum_{t=1}^T \nabla^2 m\left(\tilde{\bm{\theta}}_{i\,j}, \bm{z}_{i\, t}\right) \right)\bm{H}^{-1}-\bm{I}$. Then we have that
\begin{align}
\left\lVert(\bm{H}_i-\hat{\bm{H}}_{i\, T}) \bm{H}_i^{-1}\right\rVert_{\infty} & = \left\lVert \hat{\bm{H}}_{i\, T}\bm{H}_i^{-1}- \bm{I}\right\rVert_{\infty}\\
& \leq \max_{1\leq j\leq p} \left\lVert \left(T^{-1}\sum_{t=1}^T \nabla^2 m(\tilde{\bm{\theta}}_{i\,j}, \bm{z}_{i\, t}) \right)\bm{H}^{-1}_i-\bm{I} \right\rVert_{\infty}\\
& \leq \sup_{ \bm{\theta} \in [\bm{\theta}_i, \hat{\bm{\theta}}_i]} \left\lVert \left(T^{-1}\sum_{t=1}^T \nabla^2 m( {\bm{\theta}}, \bm{z}_{i\, t}) \right)\bm{H}^{-1}_i-\bm{I} \right\rVert_{\infty}\\
& \equiv D_{i\, T} ,
\end{align}
where the second inequality holds as all $\tilde{\bm{\theta}}_{i\,j}$ lie on the segment joining $\bm{\theta}_i$ and $\hat{\bm{\theta}}_i$ and where $D_{i\, T}$ is defined in (ref).
(ref) implies $D_{i\, T}<1$ a.s. for $T>T_0$, and thus $\left\lVert(\bm{H}_i-\hat{\bm{H}}_{i\, T}) \bm{H}_i^{-1}\right\rVert_{\infty}<1$ a.s.\ for $T>T_0$, which implies the first claim.\\
As $\hat{\bm{H}}_{i\, T}$ is invertible for $T>T_0$ we have Horn2012
\begin{equation}
\left\lVert\bm{H}_i^{-1}- \hat{\bm{H}}_{i\,T}^{-1} \right\rVert_{\infty} \leq \left\lVert\bm{H}_i^{-1}\right\rVert_{\infty} \dfrac{\left\lVert \bm{H}^{-1}_i\hat{\bm{H}}_{i\,T} - \bm{I}\right\rVert_{\infty} }{1- \left\lVert \bm{H}^{-1}_i\hat{\bm{H}}_{i\,T} - \bm{I}\right\rVert_{\infty} }
\leq \left\lVert\bm{H}_i^{-1}\right\rVert_{\infty} \dfrac{D_{i\,T}}{1-D_{i\, T}} ,
\end{equation}
where the last inequality follows from (ref).
Taking expectations, we obtain that
\begin{align}
\operatorname{\mathbb{E}}\left[\left\lVert\bm{H}_i^{-1} - \hat{\bm{H}}_i^{-1} \right\rVert_{\infty}^{\frac{2(2+\delta)(1+\delta)}{\delta} }\right] & \leq \left\lVert\bm{H}_i^{-1}\right\rVert^{\frac{2(2+\delta)(1+\delta)}{\delta} }_{{\infty}} \operatorname{\mathbb{E}}\left[\left( \dfrac{D_{i\, T}}{1-D_{i\, T}} \right)^{\frac{2(2+\delta)(1+\delta)}{\delta} }\right] \\
& \leq p^{\frac{(2+\delta)(1+\delta)}{\delta} } \left\lVert\bm{H}_i^{-1}\right\rVert^{\frac{2(2+\delta)(1+\delta)}{\delta} } C_{\nabla^2 m}\\
& \leq p^{\frac{(2+\delta)(1+\delta)}{\delta} } \lambda_{\bm{H}}^{-\frac{2(2+\delta)(1+\delta)}{\delta} } C_{\nabla^2 m} ,
\end{align}
which establishes the second claim.
proof[Proof of lemma (ref)]
(ref) and Lemma (ref) imply that
\begin{align}
0 & =\dfrac{1}{T}\sum_{t=1}^T \nabla_{\theta_k} m(\hat{\bm{\theta}}_i, \bm{z}_{i\,t}) \\
& = \dfrac{1}{T}\sum_{t=1}^T \nabla_{\theta_k} m({\bm{\theta}}_i, \bm{z}_{i\,t}) + \left[ \dfrac{1}{T}\sum_{t=1}^T \nabla^2_{\bm{\theta}, \theta_k} m(\tilde{\bm{\theta}}_{i\, k}, \bm{z}_{i\,t})\right]'\left(\hat{\bm{\theta}}_i - \bm{\theta}_i \right) ,
\end{align}
where $\tilde{\bm{\theta}}_{i\,k}$ lies on the segment joining $\bm{\theta}_i$ and $\hat{\bm{\theta}}_i$.
Define the matrix
\begin{equation}
\hat{\bm{H}}_{i\,T} = \begin{bmatrix}
\left[ \dfrac{1}{T}\sum_{t=1}^T \nabla^2_{\bm{\theta}, \theta_1} m(\tilde{\bm{\theta}}_{i\, 1}, \bm{z}_{i\,t})\right]'\\
\cdots\\
\left[ \dfrac{1}{T}\sum_{t=1}^T \nabla^2_{\bm{\theta}, \theta_p} m(\tilde{\bm{\theta}}_{i\, p}, \bm{z}_{i\,t})\right]'
\end{bmatrix}.
\end{equation}
As all $\hat{\bm{\theta}}_{i\,k}$ lie between $\bm{\theta}_i$ and $\hat{\bm{\theta}}_i$, by lemma (ref) the matrix $\hat{\bm{H}}_{i\, T}$ is a.s. nonsingular for $T>T_0$.
Observe that $\hat{\bm{\theta}}_i - \bm{\theta}_i = (\hat{\bm{\theta}}_i -\bm{\theta}_1) - (\bm{\theta}_i-\bm{\theta}_1)$. Combining the above two observations, we obtain that for $T>T_0$ it holds that
\begin{equation}
\sqrt{T}\left(\hat{\bm{\theta}}_i-\bm{\theta}_1 \right) = -\hat{\bm{H}}_{i\, T}^{-1} \dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t}) + (\bm{\eta}_i- \bm{\eta}_1).
\end{equation}
By assumption (ref) and lemma (ref), it holds that
\begin{equation}
-\hat{\bm{H}}_{i\, T}^{-1} \dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t}) \Rightarrow N(0, \bm{V}_i).
\end{equation}
The convergence is joint as all units are independent by (ref).\\
The second assertion follows from the delta method and the observation that $\nabla \mu(\bm{\theta}_1)=\nabla \mu(\bm{\theta}_0+T^{-1/2}\bm{\eta}_1)\to \nabla \mu(\bm{\theta}_0)= \bm{d}_0$ under the continuity assumption of (ref).
Proof of Theorem (ref)
Before presenting the proof of theorem (ref) we introduce a number of intermediate results.
lemmaSuppose (ref) and (ref) are satisfied.
Let $\delta$ be as in (ref).
Then there exist finite constants $C_{\hat{\bm{\theta}}, 1}, C_{\hat{\bm{\theta}}, 1+\delta/2}, C_{\hat{\bm{\theta}}, 2}, C_{\hat{\bm{\theta}}, 2+\delta}$, which do not depend on $i$ or $T$, such that the following moment bounds hold for the individual estimator (ref) for all $T>T_0$
\begin{align}
\operatorname{\mathbb{E}}\left[\left\lVert \sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i)\right\rVert^k\right] & \leq C_{\hat{\bm{\theta}}, k} , \quad k=1,1+\delta/2, 2, 2+\delta,\\
\operatorname{\mathbb{E}}\left[\left\lVert\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1)\right\rVert^2\right] & \leq C_{\hat{\bm{\theta}}, 2} + 2C_{\hat{\bm{\theta}}, 1}\left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert + \left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert^2 .
\end{align}
proofLet the matrix $\hat{\bm{H}}_{i\, T}$ be defined as in eq. (ref).
By lemma (ref) the matrix $\hat{\bm{H}}_{i\, T}$ is non-singular for $T>T_0$. Then, as in the proof of lemma (ref), for $T>T_0$ it holds that
\begin{align}
\sqrt{T}\left(\hat{\bm{\theta}}_i-\bm{\theta}_i \right) & = -\hat{\bm{H}}^{-1}_{i\, T} \dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t})\\
& = - \bm{H}_{i}^{-1} \dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t}) + \left(\bm{H}_i^{-1} - \hat{\bm{H}}_{i\, T}^{-1} \right)\dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t}) ,
\end{align}
where $\bm{H}_i= \lim_{T\to\infty}\operatorname{\mathbb{E}}\left(\nabla^2 T^{-1} \sum_{t=1}^T m( \bm{\theta}_i, \bm{z}_{i\,t})\right)$.
We separately bound the $(2+\delta)$-th moment of the norm for the two terms above. For the first term we have
\begin{align}
& \operatorname{\mathbb{E}}\left[ \left\lVert\bm{H}_i^{-1} \dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t}) \right\rVert^{2+\delta} \right]\\
&
\leq \operatorname{\mathbb{E}}\left[ \left\lVert\bm{H}_i^{-1}\right\rVert^{2+\delta} \left\lVert\dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t}) \right\rVert^{2+\delta} \right] \\
& \leq \left\lVert\bm{H}_i^{-1}\right\rVert^{2+\delta} \operatorname{\mathbb{E}}\left[ \left\lVert\dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t}) \right\rVert^{2+\delta} \right]\\
& \leq \lambda_{\bm{H}}^{-2-\delta} C_{\nabla m}^{ \frac{2+\delta}{2(1+\delta)} },
\end{align}
where the first inequality follows from $\left\lVertAx\right\rVert\leq \left\lVertA\right\rVert\left\lVertx\right\rVert$, and the last line follows by assumption (ref) and
by Jensen's inequality.
For the second term we have
\begin{align*}
& \operatorname{\mathbb{E}}\left[ \left\lVert\left(\bm{H}_i^{-1} - \hat{\bm{H}}_{i\, T}^{-1} \right)\dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t})\right\rVert^{2+\delta} \right]\\
& \leq p^{\frac{2+\delta}{2}} \operatorname{\mathbb{E}}\left[ \left\lVert\left(\bm{H}_i^{-1} - \hat{\bm{H}}_{i\, T}^{-1} \right)\dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t})\right\rVert^{2+\delta}_{\infty} \right]\\
& \leq p^{\frac{2+\delta}{2}} \operatorname{\mathbb{E}}\left[ \left\lVert\bm{H}_i^{-1} - \hat{\bm{H}}_{i\, T}^{-1} \right\rVert_{\infty}^{2+\delta}\left\lVert\dfrac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m({\bm{\theta}}_i, \bm{z}_{i\,t})\right\rVert^{2+\delta}_{\infty} \right]\\
& \leq p^{\frac{2+\delta}{2}} \left( \operatorname{\mathbb{E}}\left[\left\lVert\bm{H}_i^{-1} - \hat{\bm{H}}_{i\, T}^{-1} \right\rVert_{\infty}^{\frac{2(2+\delta)(1+\delta)}{\delta} }\right] \right)^{ \frac{\delta}{2(1+\delta)} } \left( \operatorname{\mathbb{E}}\left[ \left\lVert \frac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m( {\bm{\theta}}_i, \bm{z}_{i\,t}) \right\rVert^{2(1+\delta)}_{\infty} \right] \right)^{\frac{1+\delta/2}{1+\delta}}\\
& \leq p^{\frac{2+\delta}{2}} \left(p^{\frac{(2+\delta)(1+\delta)}{\delta} } \lambda_{\bm{H}}^{-\frac{2(2+\delta)(1+\delta)}{\delta} } C_{\nabla^2 m} \right)^{\frac{\delta}{2(1+\delta)}} \left( \operatorname{\mathbb{E}}\left[ \left\lVert \frac{1}{\sqrt{T}}\sum_{t=1}^T \nabla m( {\bm{\theta}}_i, \bm{z}_{i\,t}) \right\rVert^{2(1+\delta)} \right] \right)^{\frac{1+\delta/2}{1+\delta}}\\
& \leq p^{\frac{2+\delta}{2}} \left(p^{\frac{(2+\delta)(1+\delta)}{\delta} } \lambda_{\bm{H}}^{-\frac{2(2+\delta)(1+\delta)}{\delta} } C_{\nabla^2 m} \right)^{\frac{\delta}{2(1+\delta)}} C_{\nabla \mu}^{\frac{1+\delta/2}{1+\delta}},
\end{align*}
where the second inequality follows from $\left\lVertAx\right\rVert_{\infty}\leq \left\lVertA\right\rVert_{\infty}\left\lVertx\right\rVert_{\infty}$; the third inequality from Hölder's inequality applied with $p={(1+\delta)}/{(1+\delta/2)}>1$; the fourth inequality from lemma (ref), and the last line follows by assumption (ref).
Finally, we conclude that
\begin{align}
& \operatorname{\mathbb{E}}\left[\left\lVert\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i)\right\rVert^{2+\delta} \right]\\
& \leq 2^{1+\delta}\left[\lambda_{\bm{H}}^{-2-\delta} C_{\nabla m}^{ \frac{2+\delta}{2(1+\delta)} }+ p^{\frac{2+\delta}{2}} \left(p^{\frac{(2+\delta)(1+\delta)}{\delta} } \lambda_{\bm{H}}^{-\frac{2(2+\delta)(1+\delta)}{\delta} } C_{\nabla^2 m} \right)^{\frac{\delta}{2(1+\delta)}} C_{\nabla \mu}^{\frac{1+\delta/2}{1+\delta}} \right] \\
& \equiv C_{\hat{\bm{\theta}}, 2+\delta} ,
\end{align}
where we note that $C_{\hat{\bm{\theta}}, 2+\delta}$ does not depend on $i$ or $T$. By Jensen's inequality we have
\begin{align}
\operatorname{\mathbb{E}}\left[ \left\lVert\sqrt{T}\left(\hat{\bm{\theta}}_i-\bm{\theta}_i\right)\right\rVert^2 \right] & \leq C_{\hat{\bm{\theta}}, 2+\delta}^{\frac{2}{2+\delta}} \equiv C_{\hat{\bm{\theta}}, 2},\\
\operatorname{\mathbb{E}}\left[ \left\lVert\sqrt{T}\left(\hat{\bm{\theta}}_i-\bm{\theta}_i\right)\right\rVert^{1+\delta/2} \right] & \leq C_{\hat{\bm{\theta}}, 2+\delta}^{\frac{1}{2}} \equiv C_{\hat{\bm{\theta}}, 1+\delta/2},\\
\operatorname{\mathbb{E}}\left[ \left\lVert\sqrt{T}\left(\hat{\bm{\theta}}_i-\bm{\theta}_i\right)\right\rVert \right] & \leq C_{\hat{\bm{\theta}}, 2+\delta}^{\frac{1}{2+\delta}} \equiv C_{\hat{\bm{\theta}}, 1} ,
\end{align}
which establishes the first part of the claim.\\
Next we note that
\begin{align}
& \operatorname{\mathbb{E}}\left[\left\lVert\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1)\right\rVert^2\right] = { \operatorname{\mathbb{E}}\left[ T(\hat{\bm{\theta}}_i-\bm{\theta}_1)'(\hat{\bm{\theta}}_i-\bm{\theta}_1) \right]}\\
& \leq \operatorname{\mathbb{E}}\left[\left\lVert\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i)\right\rVert^2\right] + 2\abs*{\operatorname{\mathbb{E}}\left[T(\hat{\bm{\theta}}_i-\bm{\theta}_i)'(\bm{\theta}_i-\bm{\theta}_1) \right]} + T\left(\bm{\theta}_i-\bm{\theta}_1 \right)'\left(\bm{\theta}_i-\bm{\theta}_1 \right)\\
& \leq \operatorname{\mathbb{E}}\left[\left\lVert\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i)\right\rVert^2\right] + 2\left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert\operatorname{\mathbb{E}}\left[\left\lVert\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i)\right\rVert\right] + \left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert^2\\
& \leq C_{\hat{\bm{\theta}}, 2} + 2 C_{\hat{\bm{\theta}}, 1} \left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert + \left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert^2 ,
\end{align}
where in the first inequality we add and subtract $\bm{\theta}_i$ in both parentheses,
in the third inequality we apply the Cauchy-Schwarz inequality to the cross term and observe that under (ref) $\sqrt{T}(\bm{\theta}_i-\bm{\theta}_1)=\bm{\eta}_i-\bm{\eta}_1$.
This establishes the second part of the claim.
lemmaSuppose (ref) and (ref) are satisfied. Let $\delta$ be as in assumption (ref).
Then for all $i$ and $T>T_0$ it holds that
\begin{align}
\operatorname{\mathbb{E}}\left[ \abs*{\mu(\hat{\bm{\theta}}_i)}^{2+\delta}\right]& <\infty\\
\operatorname{\mathbb{E}}\left[\abs*{\sqrt{T}(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_i) )}^{2+\delta} \right] & \leq C_{\nabla \mu}^{2+\delta} C_{\hat{\bm{\theta}}, 2+\delta}
\end{align}
proofEquation (ref) in lemma (ref) implies
$\mu(\hat{\bm{\theta}}_i) = \mu(\bm{\theta}_i) + \bar{\bm{d}}_i'(\hat{\bm{\theta}}_i-\bm{\theta}_i)$,
where $\bar{\bm{d}}_i = \nabla \mu\left(\bar{\bm{\theta}}_i \right)$ for $\bar{\bm{\theta}}_i$ on the segment joining $\bm{\theta}_i$ and $\hat{\bm{\theta}}_i$.
Raising both sides to the power of $(2+\delta)$ and applying the $C_r$ inequality we obtain that
\begin{equation}
\abs*{ \mu(\hat{\bm{\theta}}_i)}^{2+\delta} \leq 2^{1+\delta}\left[ \abs*{\mu(\bm{\theta}_i)}^{2+\delta} + \abs*{ \bar{\bm{d}}_i'(\hat{\bm{\theta}}_i-\bm{\theta}_i)}^{2+\delta}\right].
\end{equation}
By assumption (ref) and the Cauchy-Schwarz inequality it holds that
$ \abs*{\bar{\bm{d}}_i'(\hat{\bm{\theta}}_i-\bm{\theta}_i)}^{2+\delta}\leq \left\lVert\bar{\bm{d}}_1\right\rVert^{2+\delta}\left\lVert\hat{\bm{\theta}}_i-\bm{\theta}_i\right\rVert^{2+\delta}\leq C_{\nabla \mu}^{2+\delta} \left\lVert\hat{\bm{\theta}}_i-\bm{\theta}_i\right\rVert^{2+\delta}$, hence by lemma (ref) it follows that \begin{equation}
\operatorname{\mathbb{E}}\left[ \left|\bar{\bm{d}}_i'(\hat{\bm{\theta}}_i-\bm{\theta}_i)\right|^{2+\delta}\right] \leq \dfrac{ C_{\nabla \mu}^{2+\delta} C_{\hat{\bm{\theta}}, 2+\delta}}{T^{(2+\delta)/2}},
\end{equation} where the constants are independent on $i$. Then both claims of the lemma follow.
We need an extension of a weighted law of large numbers due to Rohatgi1971.
lemmaSuppose
\begin{enumerate}[label=(\roman*), noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt]
• $X_1, X_2, \dots$ is a sequence of independent random variables such that $\operatorname{\mathbb{E}}({X_1})=0$ and $\sup_{i}\operatorname{\mathbb{E}}[\abs*{X_i}^{1+1/\gamma}]<\infty$ for some $\gamma\in (0, 1]$;
• $\{ \bm{w}_N \}_N$ with $\bm{w}_N\in \operatorname{\mathbb{R}}^{\infty}$ is a sequence of weight vectors such that $w_{i\,N}\geq 0$ for $i>0$, $\sum_{i=1}^N w_{i\,N}\leq 1$, and $w_{j\,N}=0$ for $j>N$;
• $\bm{w}\in\operatorname{\mathbb{R}}^{\infty}$ is a weight vector such that $w_i\geq 0$ for $i>0$, $\sum_{i=1}^{\infty} w_i\leq 1$; and
• $\{ \bm{w}_N \}$ and $\bm{w}$ are such that $\sup_{i} \abs{w_{i\,N}-w_i} = O(N^{-\gamma})$.
\end{enumerate}
Then $\sum_{i=1}^{\infty} w_iX_i$ exists a.s. and $\sum_{i=1}^N w_{i\,N}X_i \xrightarrow{a.s.} \sum_{i=1}^{\infty} w_iX_i$.
Observe that the limit sequence of weights can be defective. If $w_{i\,N} = N^{-1}\operatorname{\mathbb{I}}_{i\leq N}$ (equal weights), the above result becomes a standard SLLN with a second moment assumption.
proofDefine $\tilde{\bm{w}}_N\in\operatorname{\mathbb{R}}^{\infty}$ by $\tilde{w}_{i\,N} = w_{i\,N}-w_i$ for $i\leq N$ and $\tilde{w}_{i\,N}=0$ for $i>N$.
Then
\begin{equation}
\sum_{i=1}^N w_{i\,N}X_i = \sum_{i=1}^N w_i X_i + \sum_{i=1}^N (w_{i\,N}-w_i)X_i = \sum_{i=1}^N w_i X_i + \sum_{i=1}^N \tilde w_{i\,N} X_i
\end{equation}
holds.
For any $n$ it holds that $\sum_{i=1}^{n} \operatorname{\mathrm{Var}}(w_i X_i)=\sum_{i=1}^n w_i^2 \operatorname{\mathbb{E}}(X_i^2) = \operatorname{\mathbb{E}}(X_i^2)\sum_{i=1}^n w_i^2\leq \operatorname{\mathbb{E}}(X_i^2)<\infty$ since $\gamma \leq 1$.
Hence the Kolmogorov two-series theorem Kallenberg2021 implies that $\sum_{i=1}^{N} w_iX_i \xrightarrow{a.s.} \sum_{i=1}^{\infty} w_iX_i$.
The vector $\tilde{\bm{w}}_N$ satisfies the conditions of theorem 2 of Rohatgi1971.
Hence the same theorem implies that $\sum_{i=1}^{\infty}\tilde{w}_{i\,N} X_i \xrightarrow{a.s.}0$. The claim of the lemma then follows.
lemmaSuppose that the assumptions of theorem (ref) are satisfied.
Then (i) $ \sum_{i=1}^{\infty} w_i\bm{\eta}_i$ exists $\bm{\eta}$-a.s.\ and it holds that
\begin{equation}
\sum_{i=1}^N w_{i\,N}(\bm{\eta}_i-\bm{\eta}_1) \xrightarrow{a.s.} \sum_{i=1}^{\infty} w_i\bm{\eta}_i - \bm{\eta}_1 ,
\end{equation}
and (ii) $\sup_{N}\sum_{i=1}^N w_{i\,N}\left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert^k<\infty$ is finite $\bm{\eta}$-a.s. for $k=1, 1+\delta/2, 2, 2+\delta$ for the choice of $\delta$ in (ref).
proofNotice that $\sum_{i=1}^N w_{i\,N}(\bm{\eta}_i-\bm{\eta}_1) = \sum_{i=1}^N w_{i\,N}\bm{\eta}_i-\bm{\eta}_1$.
By assumption (ref) $\bm{\eta}_i$ are independent random vectors with finite third moments and $\sup_{i} \abs*{w_{i\,N}-w_i}= O(N^{-1/2})$.
Lemma (ref) then implies that $\sum_{i=1}^{\infty} w_i\bm{\eta}_i$ exists $\bm{\eta}$-a.s.\ and that $\sum_{i=1}^N w_{i\,N}\bm{\eta}_i\xrightarrow{a.s.} \sum_{i=1}^{\infty} w_i \bm{\eta}_i$, which establishes the first claim.\\
Consider $\left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert^k$ and note that the triangle and $C_r$ inequalities imply that
\begin{equation}
\left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert^k \leq (\left\lVert\bm{\eta}_i\right\rVert + \left\lVert\bm{\eta}_1\right\rVert)^k\leq 2^{k-1}(\left\lVert\bm{\eta}_k\right\rVert^k+\left\lVert\bm{\eta}_1\right\rVert^k) ,
\end{equation}
which, in turn, implies
\begin{align}
\sum_{i=1}^N w_{i\,N} \left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert^k \leq 2^{k-1} \sum_{i=1}^N w_{i\,N} \left\lVert\bm{\eta}_i\right\rVert^k + 2^{k-1}\left\lVert\bm{\eta}_1\right\rVert^k .
\end{align}
Observe that $\left\lVert\bm{\eta}_i\right\rVert^k$ are independent random variables with $\sup_i\operatorname{\mathbb{E}}_{\bm{\eta}}\left[\left\lVert\bm{\eta}_i\right\rVert^{3k}\right]<\infty$ for $k\in [1, 2+\delta]$ by (ref).
Then lemma (ref) applies with $\gamma=1/2$, and $\sum_{i=1}^N w_{i\,N} \left\lVert\bm{\eta}_i\right\rVert^k$ converges almost surely, which implies that $\sup_{N} \sum_{i=1}^N w_{i\,N} \left\lVert\bm{\eta}_i\right\rVert^k<\infty$ $\bm{\eta}$-a.s..
Since $\left\lVert\bm{\eta}_1\right\rVert$ is also $\bm{\eta}$-a.s. finite, together with eq. (ref), this implies the second claim.
Finally, we present the proof of theorem (ref).
proof[Proof of theorem (ref)]
First, from lemma (ref) it follows for each $N$ and $T>T_0$
\begin{equation}
\operatorname{\mathbb{E}}\left[\hat{\mu}(\bm{w}_N)-\mu(\bm{\theta}_1) \right]^2<\infty ,
\end{equation}
establishing the second assertion of the theorem. \\
The MSE of the averaging estimator expressed as a sum of squared bias and variance is
\begin{equation}
T\times \operatorname{\mathbb{E}}\left[\hat{\mu}(\bm{w}_N)-\mu(\bm{\theta}_1) \right]^2 = \left(\sum_{i=1}^Nw_{i\,N}\operatorname{\mathbb{E}}\left(\sqrt{T}(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_1))\right) \right)^2 + T\operatorname{\mathrm{Var}}\left(\sum_{i=1}^N w_{i\,N}(\mu(\hat{\bm{\theta}}_i)) \right).
\end{equation}
We examine the bias and the variance separately.
We first focus on the bias.
By eq. (ref) of lemma (ref), we have
\begin{equation}
\mu(\hat{\bm{\theta}}_i) = \mu(\bm{\theta}_1) + \bm{d}'_1\left(\hat{\bm{\theta}}_i -\bm{\theta}_1 \right) +\dfrac{1}{2}(\hat{\bm{\theta}}_i-\bm{\theta}_1)'\nabla^2 \mu(\acute{\bm{\theta}}_i) (\hat{\bm{\theta}}_i-\bm{\theta}_1),
\end{equation}
where $\bm{d}_1=\nabla \mu(\bm{\theta}_1)$ and $\acute{\bm{\theta}}_i$ lies on the segment joining $\hat{\bm{\theta}}_i$ and $\bm{\theta}_1$.
The bias of $\mu(\hat \bm{\theta}_i)$ is
\begin{align}
& {\sqrt{T}\operatorname{\mathbb{E}}\left(\mu(\hat{\bm{\theta}}_i) - \mu(\bm{\theta}_1)\right) } \\
& = { \operatorname{\mathbb{E}}\left[ \bm{d}_1'\sqrt{T}(\hat{\bm{\theta}}_i -\bm{\theta}_1) + \dfrac{1}{2}(\hat{\bm{\theta}}_i-\bm{\theta}_1)'\nabla^2 \mu(\acute{\bm{\theta}}_i) \sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1) \right]} \\
& = \operatorname{\mathbb{E}}\left[ \bm{d}_1'\sqrt{T}(\hat{\bm{\theta}}_i -\bm{\theta}_i ) + \dfrac{1}{2}(\hat{\bm{\theta}}_i-\bm{\theta}_1)'\nabla^2 \mu(\acute{\bm{\theta}}_i) \sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1) \right] \\
& \quad + \sqrt{T}\bm{d}_0'(\bm{\theta}_i-\bm{\theta}_1) + (\bm{d}_1-\bm{d}_0)'\sqrt{T}(\bm{\theta}_i-\bm{\theta}_1) \\
& = \operatorname{\mathbb{E}}\left[ \bm{d}_1'\sqrt{T}(\hat{\bm{\theta}}_i -\bm{\theta}_i) + \dfrac{1}{2}(\hat{\bm{\theta}}_i-\bm{\theta}_1)'\nabla^2 \mu(\acute{\bm{\theta}}_i) \sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1) \right]\\
& \quad + \bm{d}_0'(\bm{\eta}_i-\bm{\eta}_1) + (\bm{d}_1-\bm{d}_0)' (\bm{\eta}_i-\bm{\eta}_1) ,
\end{align}
where in the first equality we use eq. (ref); in the second equality
$\bm{\theta}_1$ is replaced by $\bm{\theta}_i$ in the first term using $\bm{d}_1'\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1)- \bm{d}_1'(\bm{\eta}_i-\bm{\eta}_1)={\bm{d}_1'}\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i)$; $\bm{d}_0=\nabla \mu(\bm{\theta}_0)$; and we use the locality assumption (ref) in the last equality as $\sqrt{T}(\bm{\theta}_i-\bm{\theta}_1) = \bm{\eta}_1-\bm{\eta}_1$.
Define
\begin{equation}
A_{i\, T} \equiv \operatorname{\mathbb{E}}\left[ \bm{d}_1'\sqrt{T}\left(\hat{\bm{\theta}}_i -\bm{\theta}_i \right) \right]+ \dfrac{1}{2} \operatorname{\mathbb{E}} \left[ (\hat{\bm{\theta}}_i-\bm{\theta}_1)'\nabla^2 \mu(\acute{\bm{\theta}}_i) \sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1) \right] + (\bm{d}_1-\bm{d}_0)' (\bm{\eta}_i-\bm{\eta}_1) ,
\end{equation}
and note that by eq. (ref), the bias of the averaging estimator can be written as
\begin{align}
\sum_{i=1}^Nw_{i\,N}\operatorname{\mathbb{E}}\left(\sqrt{T}(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_1))\right) = \sum_{i=1}^N w_{i\, N}\bm{d}_0'(\bm{\eta}_i-\bm{\eta}_1) + \sum_{i=1}^N w_{i\, N}A_{i\, T} .
\end{align}
We then proceed by showing that $\abs*{\sum_{i=1}^N w_{i\,N} A_{i\, T}} \leq M/\sqrt{T}\to 0$ for some constant $M<\infty$ independent of $N $(recall that all statements are almost surely with respect to the distribution of $\bm{\eta}$ in line with assumption (ref), and $M$ may depend on the sequence $\curl{\bm{\eta}_1, \bm{\eta}_2, \dots}$).
Note that
\begin{enumerate}
• By Hölder's inequality, we obtain $\abs*{\bm{d}_1'\operatorname{\mathbb{E}}\left(\sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i) \right)} \leq \left\lVert\bm{d}_1\right\rVert_{\infty}\left\lVert\sqrt{T}\operatorname{\mathbb{E}}(\hat{\bm{\theta}}_i-\bm{\theta}_i)\right\rVert_1$ $\leq {C_{\nabla \mu}C_{Bias}}T^{-1/2} $, where the last bound follows from assumptions (ref) and (ref);
• By assumption (ref) the eigenvalues of $\nabla^2 \mu$ are bounded in absolute value by $C_{\nabla^2 \mu}$. Then \begin{equation*}
\abs*{ \operatorname{\mathbb{E}}(\hat{\bm{\theta}}_i-\bm{\theta}_1)'\nabla^2 \mu(\acute{\bm{\theta}}_i) \sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_1)}\leq {C_{\nabla^2 \mu}}T^{-1/2} \Big[C_{\hat{\bm{\theta}}, 2} + 2C_{\hat{\bm{\theta}}, 1}\left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert + \left\lVert\bm{\eta}_i-\bm{\eta}_1\right\rVert^2 \Big]
\end{equation*} where the bound is given by lemma (ref);
• By assumption (ref), $\left\lVert\bm{d}_1-\bm{d}_0\right\rVert\equiv \left\lVert\nabla \mu(\bm{\theta}_0+T^{-1/2}\bm{\eta}_1) - \nabla \mu(\bm{\theta}_0)\right\rVert\leq {C_{\nabla^2 \mu} }\left\lVert\bm{\eta}_1\right\rVertT^{-1/2}$.
\end{enumerate}
All the $C_{\cdot}$-constants do not depend in $i$.
Combining the above results, we obtain by the triangle and Cauchy-Scwharz inequalities that
\begin{align*}
\abs*{A_{i\, T}}
& \leq \dfrac{1}{\sqrt{T}}\left[ C_{\nabla \mu}C_{Bias} + C_{\nabla^2 \mu} C_{\hat{\bm{\theta}}, 2} + {C_{\nabla^2 \mu}} \left\lVert{\bm{\eta}_i-\bm{\eta}_1}\right\rVert^2 + {C_{\nabla^2 \mu}} ( 2C_{\hat{\bm{\theta}}, 1} + \left\lVert\bm{\eta}_1\right\rVert ) \left\lVert{\bm{\eta}_i-\bm{\eta}_1}\right\rVert \right].
\end{align*}
Define
\begin{align}
M & = C_{\nabla \mu}C_{Bias} + C_{\nabla^2 \mu}C_{\hat{\bm{\theta}}, 2} + {C_{\nabla^2 \mu}} \sup_N\sum_{i=1}^N w_{i\,N} \left\lVert{\bm{\eta}_i-\bm{\eta}_1}\right\rVert^2 \\
& \quad + {C_{\nabla^2 \mu}} \left( 2C_{\hat{\bm{\theta}}, 1} + \left\lVert\bm{\eta}_1\right\rVert \right) \sup_N\sum_{i=1}^N w_{i\,N} \left\lVert{\bm{\eta}_i-\bm{\eta}_1}\right\rVert ,
\end{align}
and observe that $M$ does not depend on $N$ or $T$, and by lemma (ref) $M<\infty$ ($\bm{\eta}$-a.s.).
Take the weighted average of $A_{i\, T}$ to obtain
\begin{align}
\abs*{\sum_{i=1}^N w_{i\,N}A_{i\, T} } & \leq \sum_{i=1}^N w_{i\,N}\abs{A_{i\, T}} \leq \dfrac{M}{\sqrt{T}} \xrightarrow 0 as N, T\to\infty .
\end{align}
By lemma (ref), $\sum_{i=1}^N w_{i\, N}\bm{d}_0'(\bm{\eta}_i-\bm{\eta}_1) \to \sum_{i=1}^{\infty} w_i \bm{d}_0'\bm{\eta}_0 - \bm{d}_0'\bm{\eta}_i$, where the infinite sum exists.
Combining this with eqs. (ref) and (ref), we obtain that the bias converges as $N, T\to\infty$:
\begin{align} {\sum_{i=1}^Nw_{i\,N}\operatorname{\mathbb{E}}\left(\sqrt{T}\left(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_1)\right)\right) }
\xrightarrow \sum_{i=1}^{\infty} w_i \bm{d}_0'\bm{\eta}_0 - \bm{d}_0'\bm{\eta}_i, ($\bm{\eta}$-a.s.)
\end{align}
Now turn to the variance series and observe that
\begin{align*}
& T\times \operatorname{\mathrm{Var}}\left(\sum_{i=1}^N w_{i\,N}(\mu(\hat{\bm{\theta}}_i)) \right)\\ & = T\sum_{i=1}^N w_{i\,N}^2 \operatorname{\mathrm{Var}}\left( \mu(\hat{\bm{\theta}}_i)\right)\\
& = \sum_{i=1}^N w_{i\,N}^2\left[ \operatorname{\mathbb{E}}\left[\sqrt{T}\left(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_i) \right) \right]^2 - \left[\sqrt{T}\left(\operatorname{\mathbb{E}}\left(\mu(\hat{\bm{\theta}}_i) \right)-\mu(\bm{\theta}_i) \right) \right]^2\right] .
\end{align*}
We tackle the two sums separately.
First we show that \begin{equation}
\sup_N \sum_{i=1}^{N} w_{i\,N}^2 \left[ \sqrt{T}\left(\mu(\bm{\theta}_i)-\operatorname{\mathbb{E}}\left(\mu(\hat{\bm{\theta}}_i) \right) \right) \right]^2= O(T^{-1})
\end{equation}
The argument is similar to that leading up to eq. (ref). By eq. (ref) of lemma (ref), we can expand $\mu(\hat{\bm{\theta}}_i)$ around $\bm{\theta}_i$ to obtain that
\begin{equation}
\sqrt{T}\left( \operatorname{\mathbb{E}}\left(\mu(\hat{\bm{\theta}}_i) \right) - \mu(\bm{\theta}_i) \right) = \operatorname{\mathbb{E}}\left[ \bm{d}_1'\sqrt{T}\left(\hat{\bm{\theta}}_i -\bm{\theta}_i \right) + \dfrac{1}{2}(\hat{\bm{\theta}}_i-\bm{\theta}_i)'\nabla^2 \mu(\check{\bm{\theta}}_i) \sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i) \right] ,
\end{equation}
for some $\check{\bm{\theta}}_i$ on the segment joining $\bm{\theta}_i$ and $\hat{\bm{\theta}}_i$. Similarly to the above, we conclude by lemma (ref) and assumption (ref) that
\begin{align}
\abs*{\operatorname{\mathbb{E}}\left[ \bm{d}_1'\sqrt{T}\left(\hat{\bm{\theta}}_i -\bm{\theta}_i \right)\right] } & \leq \dfrac{C_{\nabla \mu}C_{Bias}}{\sqrt{T}}\\
\abs*{\operatorname{\mathbb{E}}\left[(\hat{\bm{\theta}}_i-\bm{\theta}_i)'\nabla^2 \mu(\check{\bm{\theta}}_i) \sqrt{T}(\hat{\bm{\theta}}_i-\bm{\theta}_i) \right] } & \leq \dfrac{C_{\nabla^2 \mu} C_{\hat{\bm{\theta}}, 2} }{\sqrt{T}} .
\end{align}
From this it immediately follows that
\begin{equation}
\sum_{i=1}^N w_{i\,N}^2 \left[\sqrt{T}\left(\operatorname{\mathbb{E}}\left(\mu(\hat{\bm{\theta}}_i) \right)-\mu(\bm{\theta}_i) \right) \right]^2\leq \dfrac{1}{T}\left[C_{\nabla \mu}C_{Bias} + C_{\nabla^2 \mu}C_{\hat{\bm{\theta}}, 2} \right]^2 ,
\end{equation}
where the right hand side does not depend on $i$ or $N$.
Second, we show that
\begin{equation}
\sum_{i=1}^N w_{i\,N}^2 \operatorname{\mathbb{E}}\left[\sqrt{T}\left(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_i) \right) \right]^2\to \sum_{i=1}^{\infty} w_i^2\bm{d}_0'\bm{V}_i\bm{d}_0.
\end{equation} Define $X_{i\,T}= \operatorname{\mathbb{E}}\left[\sqrt{T}(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_i)) \right]^2$. By lemma (ref) there exists a constant $C_X<\infty$ that does not depend on $i$ or $T$ such that $X_{iT}\leq C_X$ for $T>T_0$.
Then
\begin{align}
& \sum_{i=1}^N w_{i\,N}^2 \operatorname{\mathbb{E}}\left[\sqrt{T}\left(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_i) \right) \right]^2 \\
& \equiv \sum_{i=1}^N w_{i\,N}^2 X_{i\, T} \\
& = \sum_{i=1}^N w_i^2\bm{d}_0'\bm{V}_i\bm{d}_0 + \sum_{i=1}^N (w_{i\,N}^2-w_i^2)\bm{d}_0'\bm{V}_i\bm{d}_0 + \sum_{i=1}^N (w_{i\,N}^2-w_i^2)(X_{i\,T}-\bm{d}_0'\bm{V}_i\bm{d}_0) \\
& \quad + \sum_{i=1}^N w_i^2 (X_{i\,T}-\bm{d}_0'\bm{V}_0\bm{d}_0) .
\end{align}
We deal with the four sums separately:
\begin{enumerate}
• By (ref), $\sum_{i=1}^N w_i^2 \bm{d}_0'\bm{V}_i\bm{d}_0\leq \bar{\lambda}_{\bm{\Sigma}}\underline{\lambda}_{\bm{H}}^2 \left\lVert\bm{d}_0\right\rVert^2$. Accordingly $\curl*{\sum_{i=1}^N w_i^2 \bm{d}_0'\bm{V}_i\bm{d}_0}_{N=1}^{\infty}$ forms a bounded non-decreasing sequence. Thus $\sum_{i=1}^{N} w_i^2\bm{d}_0'\bm{V}_i\bm{d}_0\to \sum_{i=1}^\infty w_i^2 \bm{d}_0'\bm{V}_i\bm{d}_0$.
• Consider $\sum_{i=1}^N (w_{i\,N}^2- w_i^2)\bm{d}_0'\bm{V}_i\bm{d}_0$
\begin{align}
\abs*{\sum_{i=1}^N (w_{i\,N}^2- w_i^2)\bm{d}_0'\bm{V}_i\bm{d}_0} & = \abs*{\sum_{i=1}^N (w_{i\,N}- w_i)(w_{i\,N}+w_i)\bm{d}_0'\bm{V}_i\bm{d}_0}\\
& \leq \sup_{j} \abs*{w_{j\,N}-w_j } \sum_{i=1}^N (w_{i\,N}+w_{i})\bm{d}_0\bm{V}_i\bm{d}_0\\
& \leq 2 \bar{\lambda}_{\bm{\Sigma}}\lambda_{\bm{H}}^2 \left\lVert\bm{d}_0\right\rVert^2 \sup_{j} \abs*{w_{j\,N}-w_j } \to 0 ,
\end{align}
where we have used (ref).
• Similarly we obtain that
\begin{align}
\abs*{\sum_{i=1}^N (w_{i\,N}^2- w_i^2)(X_{i\,T}-\bm{d}_0'\bm{V}_i\bm{d}_0)} & = \abs*{\sum_{i=1}^N (w_{i\,N}- w_i)(w_{i\,N}+w_i)(X_{i\,T}-\bm{d}_0'\bm{V}_i\bm{d}_0)}\\
& \leq \sup_{j} \abs*{w_{j\,N}-w_j } \sum_{i=1}^N (w_{i\,N}+w_{i})\abs*{X_{i\,T}-\bm{d}_0\bm{V}_i\bm{d}_0}\\
& \leq 2 \left[ \bar{\lambda}_{\bm{\Sigma}}\lambda_{\bm{H}}^2 \left\lVert\bm{d}_0\right\rVert^2 + C_X \right] \sup_{j} \abs*{w_{j\,N}-w_j } \to 0 .
\end{align}
• Last, we apply the dominated convergence theorem to show that $\sum_{i=1}^N w_i^2 (X_{i\,T}-\bm{d}_0'\bm{V}_i\bm{d}_0) \to 0$.
Define $f_{N, T}:\mathbb{N}\to \operatorname{\mathbb{R}}$ as $f_{N, T}(i)= w_{i\,N}^2 (X_{i\,T}-\bm{d}_0'\bm{V}_i\bm{d}_0)$ if $i\leq N$ and $f_{N, T}(i)=0$ if $i>N$.
For each $i$, $\curl*{ \sqrt{T}(\mu(\hat{\bm{\theta}}_i)-\bm{\theta}_i), T= T_0+1, \dots}$ form a family with uniformly bounded $(2+\delta)$th moments (by lemma (ref)). By lemma (ref) $\sqrt{T}(\mu(\hat{\bm{\theta}}_i)-\bm{\theta}_i)\Rightarrow N(0, \bm{d}_0'\bm{V}_i\bm{d}_0)$, hence by Vitali's convergence theorem the second moments converge as $X_{i\,T}\rightarrow \bm{d}_0'\bm{V}_i\bm{d}_0$. This convergence is equivalent to the observation that for each $i$
$f_{N, T}(i)$ converges to zero as $N, T\to\infty$ .
Next, $f_{N, T}$ is dominated: for any $i$ it holds that $\abs*{f_{N, T}(i)}\leq w_i^2\abs{X_{i\,T} - \bm{d}_0'\bm{V}_i\bm{d}_0 }\leq w_i(C_X+\bar{\lambda}_{\bm{\Sigma}}\underline{\lambda}^2_{\bm{H}}\left\lVert\bm{d}\right\rVert_0^2)$. The bound is summable: $\sum_{i=1}^{\infty} w_i(C_X+\bar{\lambda}_{\bm{\Sigma}}\underline{\lambda}^2_{\bm{H}}\left\lVert\bm{d}\right\rVert_0^2)\leq (C_X+\bar{\lambda}_{\bm{\Sigma}}\underline{\lambda}^2_{\bm{H}}\left\lVert\bm{d}\right\rVert_0^2) $, which is independent of $N$ and $T$.
The dominated convergence theorem applies and so
\begin{equation}
\sum_{i=1}^N w_i^2 (X_{i\,T}-\bm{d}_0'\bm{V}_i\bm{d}_0)= \sum_{i=1}^{\infty} f_{N, T}(i) \to \sum_{i=1}^{\infty} 0 =0 as N, T\to\infty.
\end{equation}
\end{enumerate}
Combining the above arguments, we obtain that as $N, T\to\infty$
\begin{equation}
\sum_{i=1}^N w_{i\,N}^2 \operatorname{\mathbb{E}}\left[\sqrt{T}\left(\mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_i) \right) \right]^2 \rightarrow \sum_{i=1}^{\infty} w_i^2\bm{d}_0'\bm{V}_i\bm{d}_0 .
\end{equation}
Combining together equations
(ref), (ref), and (ref) shows that as $N, T\to\infty$
\begin{equation}
T\times \operatorname{\mathbb{E}}\left[\hat{\mu}(\bm{w}_N)-\mu(\bm{\theta}_1) \right]^2 \to \left( \sum_{i=1}^{\infty} w_i \bm{d}_0'\bm{\eta}_i-\bm{d}_0'\bm{\eta}_1 \right)^2 + \sum_{i=1}^{\infty}w_i^2 \bm{d}_0'\bm{V}_i\bm{d}_0 .
\end{equation}
Proof of Lemma (ref)
proof[Proof of lemma (ref)]
First assertion: in notation of the proof of lemma (ref), for $T>T_0$
\begin{align}
\sqrt{T}\left( \hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 \right) & = \bm{\eta}_i - \bm{\eta}_1 + \sqrt{T} \Bigg( \hat{\bm{H}}_{i\, T}^{-1} \dfrac{1}{T}\sum_{t=1}^T \nabla m(\hat{\bm{\theta}}_i, \bm{z}_{i\,t}) - \hat{\bm{H}}_{1\,T}^{-1}\dfrac{1}{T}\sum_{t=1}^T \nabla m(\hat{\bm{\theta}}_1, \bm{z}_{1\,t}) \Bigg) .
\end{align}
By lemma (ref), the term in parentheses tends to $\bm{Z}_i-\bm{Z}_1\sim N(\bm{\eta}_i-\bm{\eta}_1, \bm{V}_i+\bm{V}_1)$, as $\bm{Z}_1$ and $\bm{Z}_i$ are independent. Convergence is joint by lemma (ref) since $\sqrt{T}\left(\hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1 \right) = \sqrt{T}\left(\hat{\bm{\theta}}_i -\bm{\theta}_1 \right) - \sqrt{T}\left(\hat{\bm{\theta}}_1 -\bm{\theta}_1 \right)$.
Now turn to the second assertion. First, it holds that
\begin{align}
& \sqrt{T}\left(\frac{1}{N} \sum_{i=1}^N \hat{\bm{\theta}}_i - \bm{\theta}_1 \right) \xrightarrow{p} -\bm{\eta}_1
\end{align}
as $N, T\to\infty$ by theorem OA.1.1 in the Online Appendix, with the $\mu$ the identity map (which satisfies condition (ref)).
Then
\begin{equation}
\sqrt{T}\left(\hat{\bm{\theta}}_1- \frac{1}{N} \sum_{i=1}^N \hat{\bm{\theta}}_i \right) = \sqrt{T}\left(\hat{\bm{\theta}}_1- \bm{\theta}_1\right) +\sqrt{T}\left( \bm{\theta}_1 - \frac{1}{N} \sum_{i=1}^N \hat{\bm{\theta}}_i \right)\Rightarrow \bm{Z}_1 + \bm{\eta}_1\sim N(\bm{\eta}_1, \bm{V}_1),
\end{equation}
by lemma (ref) and Slutsky's theorem.
Proof of Theorems (ref) and (ref)
proof[Proof of theorem (ref)]
Lemma (ref) implies that
\begin{align}
\sqrt{T} (\hat{\bm{\theta}}_i -\hat{\bm{\theta}}_1) & \Rightarrow \bm{Z}_i-\bm{Z}_1
\end{align}
jointly for all $i=1,\ldots,N$. Hence jointly for all $i$ and $j$ it holds that
\begin{align}
\left[ \hat{\bm{\Psi}}_{\bar{N}}\right]_{i\,i} & \Rightarrow \bm{d}_0'( (\bm{Z}_i-\bm{Z}_1)(\bm{Z}_i-\bm{Z}_1)' +\bm{V}_i)\bm{d}_0 & = & \left[ \overline{\bm{\Psi}}_{\bar{N}}\right]_{i\,i} ,\\
\left[ \hat{\bm{\Psi}}_{\bar{N}}\right]_{i\,j} & \Rightarrow \bm{d}_0'( (\bm{Z}_i-\bm{Z}_1)(\bm{Z}_j-\bm{Z}_1)')\bm{d}_0 & = & \left[ \overline{\bm{\Psi}}_{\bar{N}}\right]_{i\,j} , \quad i\neq j.
\end{align}
Note that $\hat{\bm{\Psi}}_{\bar{N}}$ is finite-dimensional, and all its elements jointly converge as $ T\to\infty$. Then the continuous mapping theorem readily implies that for any $\bm{w}^{\bar{N}}\in\Delta^{\bar{N}}$
\begin{equation}
\widehat{LA\mhyphen MSE}_{\bar{N}}(\bm{w}^{\bar{N}})\Rightarrow \overline{LA\mhyphen MSE}_{\bar{N}}(\bm{w}^{\bar{N}}) \coloneqq \bm{w}^{\bar{N}'}\overline{\bm{\Psi}}_{\bar{N}}\bm{w}^{\bar{N}} ,
\end{equation}
which establishes the first claim.\\
The second claim is an implication of the argmax theorem (theorem 3.2.2 in VanderVaart1996). The conditions of that theorem are satisfied since we have that
\begin{enumerate}
• By the first assertion of the theorem, $\widehat{LA\mhyphen MSE}_{\bar{N}}(\bm{w}^{\bar{N}})\Rightarrow \overline{LA\mhyphen MSE}_{\bar{N}}(\bm{w}^{\bar{N}})$ as $T\to\infty$ for every $\bm{w}^{\bar{N}}$ in the compact set $\Delta^{\bar{N}}$.
• The limit problem $\operatorname*{arg\,min }_{\bm{w}^{\bar{N}}\in\Delta^{{\bar{N}}}} \bm{w}^{\bar{N}'}{\overline{\bm{\Psi}}}_{\bar{N}}\bm{w}^{{\bar{N}}}$ is a problem of minimizing a strictly convex continuous function on a compact convex set $\Delta^{\bar{N}}$, hence it has a unique solution. Strict convexity of the objective function follows since $\overline{\bm{\Psi}}_{\bar{N}}$ is positive definite. To see that $\overline{\bm{\Psi}}_{\bar{N}}$ is positive definite, it is sufficient to observe that for any $\bm{w}\neq 0$ $\bm{w}'\overline{\bm{\Psi}}_{\bar{N}}\bm{w}\geq \min_{i: w_i\neq 0} w_i^2\bm{d}_0'{\bm{V}}_i{\bm{d}}_0>0$. \textcolor{black}{The inequality follows as $\bm{w}'\overline{\bm{\Psi}}_{\bar{N}}\bm{w}$ is formally the MSE associated with the problem with individual variances given by $\bm{V}_i$ and biases of the form $(\bm{Z}_i-\bm{Z}_1)$. Hence $\bm{w}'\overline{\bm{\Psi}}_{{\bar{N}}}\bm{w}$= Bias$^2(\bm{w})$ + Variance$(\bm{w})\geq $ Variance$(\bm{w})\geq $ the minimal component of variance}.
Last, $\min_{i: w_i\neq 0} w_i^2\bm{d}_0'{\bm{V}}_i{\bm{d}}_0>0$ since $\bm{V}_i$ is positive definite by assumption (ref) and $\bm{d}_0\neq 0$.
• The weights $\hat{\bm{w}}^{\bar{N}}$ minimize $\widehat{LA\mhyphen MSE}_M(\bm{w}^{\bar{N}})$ over the compact set $\Delta^{\bar N}$ for all $T$.
\end{enumerate}
Then the argmax theorem applies and $\hat{\bm{w}}^{\bar{N}}\Rightarrow \overline{\bm{w}}^{\bar{N}}=\operatorname*{arg\,min }_{\bm{w}^{\bar{N}}\in \Delta^{\bar{N}}} \bm{w}^{{\bar{N}}'}\overline{\bm{\Psi}}_{\bar{N}}\bm{w}^{\bar{N}}$ as $T\to\infty$.\\
The third claim follows from joint convergence of the weights, the estimators being averaged, and the continuous mapping theorem.
proof[Proof of theorem (ref)]
First assertion: let $\bm{w}^{{\bar{N}, \infty}}\in\tilde{\Delta}^{\bar{N}}$. Then by lemma (ref) and Slutsky's theorem we conclude that as $N, T\to\infty$
\begin{align}
& \widehat{LA\mhyphen MSE}_{\infty}(\bm{w}^{\bar{N}, \infty})\\
& = \bm{w}^{\bar{N}, \infty'}\hat{\bm{\Psi}}_{\bar{N}}\bm{w}^{\bar{N}, \infty} + \left[ \left(1-\sum_{i=1}^{\bar{N}}w_i^{\bar{N}, \infty} \right) \left( \sqrt{T}\hat{\bm{d}}_1'\left(\hat{\bm{\theta}}_1- \frac{1}{N} \sum_{i=1}^N \hat{\bm{\theta}}_i \right)\right)
\right.
\\ & \quad
\left. - 2\sum_{i=1}^{\bar{N}}w_i^{\bar{N}, \infty}\hat{\bm{d}}_1' \sqrt{T}\left(\hat{\bm{\theta}}_i-\hat{\bm{\theta}}_1\right) \right]
\left( 1-\sum_{i=1}^{\bar{N}}w_i^{\bar{N}, \infty} \right)
\left( \sqrt{T}\hat{\bm{d}}_1'\left(\hat{\bm{\theta}}_1- \frac{1}{N} \sum_{i=1}^N \hat{\bm{\theta}}_i \right)
\right)\\
\Rightarrow & \overline{LA\mhyphen MSE}_{\infty}(\bm{w}^{\bar{N}, \infty})\\
& \coloneqq\bm{w}^{\bar{N}, \infty'} \overline{\bm{\Psi}}_{\bar{N}}\bm{w}^{\bar{N}, \infty} + \left[ \left(1-\sum_{i=1}^{\bar{N}}w_i^{\bar{N}, \infty} \right) \bm{d}_0'\left(\bm{\eta}_1+ \bm{Z}_1\right)
\right.
\\ & \quad
\left. - 2\sum_{i=1}^{\bar{N}}w_i^{\bar{N}, \infty}\bm{d}_0' \left(\bm{Z}_i-\bm{Z}_1\right) \right]
\left( 1-\sum_{i=1}^{\bar{N}}w_i^{\bar{N}, \infty} \right)
\bm{d}_0'\left(\bm{\eta}_1 + \bm{Z}_1
\right)
\end{align}
Second assertion: follows by the same logic as in the fixed-$N$ regime (theorem (ref)).
The objective function $\widehat{LA\mhyphen MSE}_{\infty}(\bm{w}^{\bar{N},\infty})$ can be represented as a quadratic function $\bm{x}'\hat{\bm{Q}}\bm{x}$, where $\bm{x}\in \Delta^{\bar{N}+1}$ stands in for $\left(\bm{w}^{\bar{N},\infty}, 1- \sum_{i=1}^{\bar{N},\infty} w_i\right)$, and
\begin{align*}
\hat{\bm{Q}} & = \begin{pmatrix}
\hat{\bm{\Psi}}_{\bar{N}} & \hat{\bm{b}}\\
\hat{\bm{b}}' & T \left[ \hat{\bm{d}}_1'\left(\hat{\bm{\theta}}_1- \frac{1}{N} \sum_{i=1}^N \hat{\bm{\theta}}_i \right)\right]^2
\end{pmatrix} \Rightarrow \overline{\bm{Q}} = \begin{pmatrix}
\overline{\bm{\Psi}}_{\bar{N}} & \overline{\bm{b}} \\
\overline{\bm{b}}'& \left[\bm{d}_0'(\bm{\eta}_1 + \bm{Z}_1) \right]^2
\end{pmatrix}\\
\hat{\bm{b}} & = \begin{pmatrix}
-\hat{\bm{d}}_1'T(\hat{\bm{\theta}}_1-\hat{\bm{\theta}}_1) \left(\hat{\bm{\theta}}_1- \frac{1}{N}\sum_{i=1}^N \hat{\bm{\theta}}_i \right)'\hat{\bm{d}}_1\\
\vdots\\
-\hat{\bm{d}}_1'T(\hat{\bm{\theta}}_{\bar{N}}-\hat{\bm{\theta}}_1) \left(\hat{\bm{\theta}}_1- \frac{1}{N}\sum_{i=1}^N \hat{\bm{\theta}}_i \right)'\hat{\bm{d}}_1 &
\end{pmatrix}\Rightarrow \overline{\bm{b}}= \begin{pmatrix}
\bm{d}_0'\left(\bm{Z}_1-\bm{Z}_1 \right)(\bm{\eta}_1 + \bm{Z}_1)'\bm{d}_0\\
\vdots\\
\bm{d}_0'\left(\bm{Z}_{\bar{N}}-\bm{Z}_1 \right)(\bm{\eta}_1 + \bm{Z}_1)'\bm{d}_0
\end{pmatrix}.
\end{align*}
We now verify the condition of the argmax theorem for the problem of minimizing $\bm{x}'\hat{\bm{Q}}\bm{x}$ over $\Delta^{\bar{N}+1}$:
\begin{enumerate}
• By the first assertion of the theorem, for any $\bm{x}$ in the compact set $\Delta^{\bar{N}+1}$ it holds that $\bm{x}'\hat{\bm{Q}}\bm{x}\Rightarrow \bm{x}'\overline{\bm{Q}}\bm{x}$ as $N, T\to\infty$ jointly.
• The limit problem $\operatorname*{arg\,min }_{\bm{x} \in\Delta^{\bar{N}+1}} \bm{x}'\overline{\bm{Q}}\bm{x}$ is a problem of minimizing a strictly convex continuous function on a compact convex set $\Delta^{\bar{N}+1}$, hence it has a unique solution.
Similarly to the above, strict convexity follows from positive definiteness of $\overline{\bm{Q}}$. To establish positive definitiness, first let $\bm{x}\neq 0$ such that at least one of first $\bar{N}$ coordinates are nonzero. For such an $\bm{x}$ it holds that $\bm{x}'\overline{\bm{Q}}\bm{x}\geq \min_{i=1, \dots, \bar{N}, x_i\neq 0} x_i^2\bm{d}_0'{\bm{V}}_i{\bm{d}}_0>0$ where the inequality follows as in the proof of theorem (ref).
Alternatively, if the first $\bar{N}$ coordinates of $\bm{x}$ are zero, then $\bm{x}'\overline{\bm{Q}}\bm{w}= x_{\bar{N}+1}^2\left(\bm{d}_0'(\bm{\eta}_1+\bm{Z}_1) \right)^2>0$ ($(\bm{Z}_1)$-a.s.).
• The vector $\hat{\bm{x}}^{\bar{N}, \infty} = ( \hat{\bm{w}}^{\bar{N}, \infty}, 1-\sum_{i=1}^{\bar{N}} \hat{w}_i^{\bar{N}, \infty}) $ minimizes $\bm{x}'\hat{\bm{Q}}\bm{x}$ over the compact set $\Delta^{\bar{N}+1}$ for all $N>\bar{N}, T$.
\end{enumerate}
Then the argmax theorem shows that $\hat{\bm{x}}^{\bar{N}, \infty}\Rightarrow \overline{\bm{x}}^{\bar{N}, \infty}\coloneqq\operatorname*{arg\,min }_{\bm{x} \in\Delta^{\bar{N}+1}} \bm{x}'\overline{\bm{Q}}\bm{x}$. Finally, it is sufficient to observe that $\hat{\bm{w}}^{\bar{N}, \infty}$ comprises the first $\bar{N}$-coordinates of $\hat{\bm{x}}^{\bar{N}, \infty}$, and $\overline{\bm{w}}^{\bar{N}, \infty}$ comprises the first $\bar{N}$ coordinates of $\overline{\bm{x}}^{\bar{N},\infty}$.
The last assertion follows from the joint convergence of $\left(\hat{\bm{w}}^{\bar{N}, \infty}\right)$, $\sqrt{T}(\mu(\hat{\bm{\theta}}_2-\mu(\bm{\theta}_1))), \dots$, and $\sqrt{T}(\mu(\hat{\bm{\theta}}_{\bar{N}})-\mu(\bm{\theta}_1)))$ as $N, T\to\infty$, and from the fact that $\sqrt{T}(\sum_{j=\bar{N}+1}^{N} v_{j\,N-\bar{N}} \mu(\hat{\bm{\theta}}_i)-\mu(\bm{\theta}_1))\xrightarrow{p} -\bm{d}_0'\bm{\eta}_1 $ by theorem OA.1.1 in the Online Appendix.