ABSTRACT

The expected shortfall is a popular risk measure in financial risk management. It is defined as the conditional expected loss given that the loss is greater than a given high quantile. We derive the asymptotic properties of the blocking bootstrap estimators for the expected shortfall of a stationary process under strong mixing conditions.

Keywords:

High Quantile, Risk Measure, Moving Block Bootstrap, Nonparametric Estimation, Strong Mixing Sample Quantile

1. Introduction

The expected shortfall is a risk measure which has been mostly used among actuaries and insurance companies. The expected shortfall on a portfolio of financial assets is the conditional expected loss given that the loss is greater than a high quantile named as value at risk (VaR). While the expected shortfall and VaR are two popular risk measures, the expected shortfall is becoming increasingly important due to its better properties. For example, the expected shortfall satisfies the sub-additive property, whereas the VaR does not. Sub-additivity, which is one of the four requirements of coherent risk measures, implies in the context of risk management that the total risk on a portfolio should not be greater than the sum of the individual risks. See [1] and [2] for details.

Let ${\left\{X_t\right\}}_{t\in \mathbb{Z}}$ be a sequence of stationary random variables with common distribution function F that describes the negative profit and loss distribution, where $\mathbb{Z}\equiv \left\{\mathrm{0,}\pm \mathrm{1,}\pm \mathrm{2,}\cdots \right\}$ denotes the set of all integers. For a given positive value p close to zero, the $\left(1-p\right)$ confidence level VaR, denoted by ${\nu }_p$ , is defined as the $\left(1-p\right)$ -th high quantile of the loss function F. That is

${\nu }_p=F^{-1}\left(1-p\right)=\inf \left\{t:F\left(t\right)\ge 1-p\right\}.$ (1.1)

VaR is defined as the loss of a financial position over a time horizon that would be exceeded with small probability p. See [3] [4] [5] for more discussions on VaR. The expected shortfall associated with a confidence level $\left(1-p\right)$ on a portfolio, denoted by ${\mu }_p$ , is a conditional expectation defined as follows

${\mu }_p=E\left(X_t|X_t>{\nu }_p\right).$

As can be seen from the definitions above, the expected shortfall gives the potential size of the loss that exceeds it, whereas VaR does not. Moreover, as a risk measure, in addition to being coherent, the expected shortfall gives weights to all quantiles greater than the high quantile ${\nu }_p$ , whereas the VaR gives all its weight to a single quantile ${\nu }_p$ and tells nothing about the size of the loss that exceeds it. Thus, as a risk measure, the expected shortfall is more applicable and produces better incentive for traders than VaR.

In the past, the estimation of expected shortfall has been mainly developed for the identically independently distributed (IID) observations based on the extreme value theory in a parametric or semi-parametric framework. We refer the reader to [6] and [7] for details. However, many empirical studies showed that financial data are often weakly dependent with heavy tails. It is also challenging to build a parametric model that can capture the tail behavior for calculating risk measures since the data are generally sparse in the tail part of the loss distribution. As a result, nonparametric based methods can play an important role in diverse problems in risk managements.

For the weak dependence case, under suitable mixing conditions,[8] first proposed a nonparametric kernel estimator for the expected shortfall in the context of portfolio allocation and derived its asymptotic properties. Reference [9] compared the performance of the sample estimator and the kernel smoothed estimator of the expected shortfall and showed that extra smoothing does not result in more accurate approximation for the expected shortfall.

Although properties of expected shortfall are well studied in the literature, no work seems to be available on the properties of bootstrap approximations for the expected shortfall. Our main contribution in this research is to provide a theoretical foundation to the practical applications of the moving block bootstrap for the expected shortfall.

In this paper, we investigate the asymptotic properties of nonparametric block bootstrap methods for estimating the sampling distribution and the asymptotic variance of expected shortfall under weak dependence setting.

The rest of the paper is organized as follows. In Section 2, we introduce some background material, including a brief description of the moving block bootstrap (MBB) method. In Section 3, we state the main results of this paper. Technical details and proofs will be presented in Section 4.

2. Background

We first define the sample estimator of expected shortfall. For a sample $X_1\mathrm{,}\cdots \mathrm{,}{X}_n\mathrm{,}n\ge 1$ , of stationary random variables with common distribution function F, let $F_n$ denote the corresponding empirical distribution function, putting mass 1/n on each $X_i$ , i.e.,

$F_n\left(x\right)=n^{-1}{\displaystyle \sum _{i=1}^n}I\left(X_i\le x\right)\mathrm{,}x\in ℝ\mathrm{,}$ (2.1)

where $I(\cdot )$ denotes the indicator function which is defined as follows

$I\left(S\right)\equiv \{\begin{array}{l}\mathrm{1,}\text{if}\text{the}\text{statement}S\text{is}\text{true}\\ \mathrm{0,}\text{if}\text{the}\text{statement}S\text{if}\text{false}\end{array}$

Then, ${\widehat{\nu }}_n=F_n^{-1}\left(1-p\right)$ is the sample estimator of VaR at confidence level $\left(1-p\right)$ . The sample estimator of the expected shortfall, denoted by ${\widehat{\mu }}_n$ , can be defined as

${\widehat{\mu }}_n=\frac{{{\displaystyle \sum }}_{i=1}^n{X}_{i}I\left(X_i\ge {\widehat{\nu }}_n\right)}{{{\displaystyle \sum }}_{i=1}^{n}I\left(X_t\ge {\widehat{\nu }}_n\right)}=\frac{1}{\lfloor np\rfloor +1}{\displaystyle \sum _{i=1}^n}{X}_{i}I\left(X_i\ge {\widehat{\nu }}_n\right),$

where $\lfloor x\rfloor$ denotes the largest integer not exceeding x for $x\in \text{R}$ , i.e.,

$\lfloor x\rfloor =max\left\{n\in \mathbb{Z}\mathrm{<mo>\; :\; </mo>}n\le x\right\}$

Then, the normalized expected shortfall, denoted by $Z_n$ , is defined as below:

$Z_n\equiv \sqrt{n}p\left({\widehat{\mu }}_n-{\mu }_p\right)\mathrm{.}$

Our goal in this paper is to investigate the asymptotic properties of bootstrap approximations to the distribution and the variance of the normalized expected shortfall, $Z_n$ .

Reference [10] first introduced the bootstrap method into the statistical world. The bootstrap is a flexible method that can be applied to a variety of problems. It can be used to approximate the quantities of interest such as distribution, bias, variance, significance level in a nonparametric framework.

However, Efron’s bootstrap method fails when the data are not independent [11] [12] . Block bootstrap methods for dependent data have been put forward by several authors, notably by [13] - [20] . See [21] and references therein for a detailed account of results on bootstrap methods (for smooth functions of the data) in the dependent case.

It is worth mentioning that although there has been a considerable amount of work on properties of block bootstrap methods for smooth functionals of weakly dependent data, not many theoretical results seem to be available on properties of the moving block bootstrap (MBB) and other block bootstrap methods in case of nonsmooth functionals. Reference [22] first showed that blocking bootstrap methods provide a valid approximation to the distribution and its asymptotic variance of a non-smooth function of data, the normalized sample quantile. Recently, due to its applications in financial times series data analysis, quantile based methods (for nonsmooth functions of data) are becoming increasingly attractive, such as expected shortfall [8] , quantile hedging [23] , risk management [24] , among others.

In this paper, we investigate the blocking bootstrap approximation to the expected shortfall based on time series data. For definiteness and conciseness, we shall exclusively concentrate on the MBB method that was independently proposed by [15] and [16] .

For the sake of integrity, we briefly describe the MBB method for estimating the sampling distributions of statistics based on weakly dependent observations. Let $X_1\mathrm{,}{X}_2\mathrm{,}\cdots \mathrm{,}{X}_n$ be a sample from the stationary process ${\left\{X_i\right\}}_{i\in \mathbb{Z}}$ . For $\mathcal{l}$ , a positive integer between 1 and n, we define the overlapping blocks of size $\mathcal{l}$ as:

$B_i=\left(X_i,\cdots ,X_{i+\mathcal{l}-1}\right),i=1,\cdots ,N=n-\mathcal{l}+1.$

Let $B_1^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}\cdots \mathrm{,}{B}_b^{\mathrm{<mo>\; *\; </mo>}}$ be a random sample of blocks from $\left\{B_1\mathrm{,}\cdots \mathrm{,}{B}_N\right\}$ , where $b=\lfloor n/\mathcal{l}\rfloor$ , that is, $B_1^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}\cdots \mathrm{,}{B}_b^{\mathrm{<mo>\; *\; </mo>}}$ are independently and identically distributed as $\text{Uniform}\left\{B_1\mathrm{,}\cdots \mathrm{,}{B}_N\right\}$ .

The observations in the resampled block $B_i^{\mathrm{<mo>\; *\; </mo>}}$ are denoted by $X_{\left(i-1\right)\mathcal{l}+1}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}\cdots \mathrm{,}{X}_{i\mathcal{l}}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,1}\le i\le b$ . The MBB sample consists of $X_1^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}\cdots \mathrm{,}{X}_{\mathcal{l}}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}\cdots \mathrm{,}{X}_{n_1}^{\mathrm{<mo>\; *\; </mo>}}$ , where $n_1=b\mathcal{l}$ . Let

$T_n\equiv t_n\left(X_1\mathrm{,}\cdots \mathrm{,}{X}_n\mathrm{<mo>\; ;\; </mo>}\theta \right)$ (2.2)

be a random quantity of interest that is a function of the random variables $\left\{X_1\mathrm{,}\cdots \mathrm{,}{X}_n\right\}$ and of some unknown population parameter $\theta$ . Then, the MBB version of $T_n$ is defined as

$T_n^{*}=t_{n_1}\left(X_1^{*},\cdots ,X_{n_1}^{*};{\widehat{\theta }}_n\right),$ (2.3)

where ${\widehat{\theta }}_n$ is a sensible estimator of $\theta$ based on $\left\{X_1\mathrm{,}\cdots \mathrm{,}{X}_n\right\}$ . The MBB estimator of the distribution of $T_n$ can be defined as the conditional distribution of $T_n^{\mathrm{<mo>\; *\; </mo>}}$ , given $X\equiv \left\{\cdots \mathrm{,}{X}_1\mathrm{,}{X}_2\mathrm{,}\cdots \right\}$ . Note that Efron’s bootstrap method is a special case of the MBB method with block length $\mathcal{l}=1$ .

An alternative definition of the MBB version of $T_n$ of (2.2) is given by resampling $\lceil n/\mathcal{l}\rceil$ blocks from $\left\{B_1\mathrm{,}\cdots \mathrm{,}{B}_N\right\}$ , and using the first n out of the $\lceil n/\mathcal{l}\rceil \cdot \mathcal{l}$ -many resampled values. However, the difference between the two versions is asymptotically negligible. To simplify the proofs of the main results, here we shall use the version given by (2.3) based on b complete resampled blocks.

Throughout this paper, we use $P_{\mathrm{<mo>\; *\; </mo>}}$ , $E_{\mathrm{<mo>\; *\; </mo>}}$ , and $Va{r}_{\mathrm{<mo>\; *\; </mo>}}$ to denote, respectively, the conditional probability, the conditional expectation, and the conditional variance, given $X$ .

Now, we are in a position to define the MBB version of the normalized expected shortfall, $Z_n$ , for a given $p\in \left(\mathrm{0,1}\right)$ . Let $F_n^{\mathrm{<mo>\; *\; </mo>}}$ denote the MBB empirical distribution function, i.e., $F_n^{\mathrm{<mo>\; *\; </mo>}}\left(x\right)=n_1^{-1}{\displaystyle {\sum }_{i=1}^{n_1}}I\left(X_i^{\mathrm{<mo>\; *\; </mo>}}\le x\right)\mathrm{,}x\in ℝ$ . Then, the MBB version of the sample VaR, ${\widehat{\nu }}_n\mathrm{<mo>\; =\; </mo>}{F}_n^{-1}\left(1-p\right)$ , is defined as ${\nu }_n^{\mathrm{<mo>\; *\; </mo>}}\equiv F_n^{\mathrm{<mo>\; *\; </mo>}}{}^{-1}\left(1-p\right)$ . Similarly, the MBB version of the expected shortfall can be defined as below

${\mu }_n^{*}=\frac{{{\displaystyle \sum }}_{i=1}^n{X}_i^{*}I\left(X_i^{*}\ge {\tilde{\nu }}_n\right)}{{{\displaystyle \sum }}_{i=1}^{n_1}I\left(X_i^{*}\ge {\tilde{\nu }}_n\right)}=\frac{1}{\lfloor n_{1}p\rfloor +1}{\displaystyle \sum _{i=1}^n}{X}_i^{*}I\left(X_i^{*}\ge {\tilde{\nu }}_n\right),$

where ${\tilde{\nu }}_n={\tilde{F}}_n^{-1}\left(p\right)$ , and ${\tilde{F}}_n(\cdot )=E_{*}{F}_n^{*}$ . The MBB version of the normalized expected shortfall, $Z_n=\sqrt{n}p\left({\widehat{\mu }}_n-{\mu }_p\right)$ , is given by

$Z_n^{*}\equiv \sqrt{n_1}p\left({\mu }_n^{*}-{\tilde{\mu }}_n\right),{\tilde{\mu }}_n=E_{*}{\mu }_n^{*}.$ (2.4)

Note that in the definition of the MBB version of $Z_n$ , we center ${\mu }_n^{\mathrm{<mo>\; *\; </mo>}}$ by ${\tilde{\mu }}_n$ . As in the case of the sample mean [25] , and the sample quantile [22] , this helps center constant for the MBB sample expected shortfall.

Let

$H_n\left(x\right)=P\left(Z_n\le x\right),x\in ℝ,$ (2.5)

denote the distribution function of $Z_n$ . Then, the MBB estimator of $H_n\left(x\right)$ is given by the conditional distribution of $Z_n^{\mathrm{<mo>\; *\; </mo>}}$ , i.e., by

${\widehat{H}}_n\left(x\right)=P_{\mathrm{<mo>\; *\; </mo>}}\left(Z_n^{\mathrm{<mo>\; *\; </mo>}}\le x\right)\mathrm{,}x\in ℝ\mathrm{.}$ (2.6)

We conclude this section with an introduction of some standard dependence condition on the $X_i$ ’s. Suppose that the random variables ${\left\{X_i\right\}}_{i\in \mathbb{Z}}$ are defined on a common probability space $\left(\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right)$ . Let ${\mathcal{F}}_m^n=\sigma \langle X_i\mathrm{<mo>\; :\; </mo>}m\le i\le n\mathrm{,}i\in \mathbb{Z}\rangle$ be the s-field generated by random variables $X_m\mathrm{,}\cdots \mathrm{,}{X}_n$ , $-\infty \le m\le n\le \infty$ . For $n\ge 1$ , we define

$\alpha \left(n\right)=\underset{m\in \mathbb{Z}}{sup}\underset{A\in {\mathcal{F}}_{-\infty }^m\mathrm{,}B\in {\mathcal{F}}_{m+n}^{\infty }}{sup}\left|P\left(A\cap B\right)-P\left(A\right)P\left(B\right)\right|.$

The sequence ${\left\{X_i\right\}}_{i\in \mathbb{Z}}$ is called strongly mixing or a-mixing if $\alpha \left(n\right)\to 0$ as $n\to \infty$ . Strong mixing is a fairly non-restrictive dependence assumption. Empirical studies have showed that many log financial returns are strong mixing with exponential decay coefficients.

As a convention, we assume throughout this paper that unless otherwise specified, limits are taken as $n\to \infty$ . Next we state the main results of the paper.

3. Main Results

The first result asserts consistency of the MBB approximation for the distribution function of $Z_n$ .

Theorem 1. Assume that $0<p<1$ with p close to zero and that F has a positive and continuous derivative f in a neighborhood ${\mathcal{N}}_p$ of ${\nu }_p$ with $f\left({\nu }_p\right)>0$ . Also, suppose that $\alpha \left(n\right)\le C{\rho }^n$ for some $C\in \left(\mathrm{0,}\infty \right)$ and $\rho \in \left(\mathrm{0,1}\right)$ , and that ${\mathcal{l}}^{-1}=o\left(1\right)$ and $\mathcal{l}=o\left(n^{1/4}{\left(\log \log n\right)}^{-1/4}\right)$ . Then, under the moment condition

$E{\left|X_1\right|}^{4+\delta }<\infty ,\text{for}\text{some}\delta >0,$ (3.1)

$\underset{x\in ℝ}{sup}\left|P_{\mathrm{<mo>\; *\; </mo>}}\left(\sqrt{n_1}p\left({\mu }_n^{\mathrm{<mo>\; *\; </mo>}}-{\tilde{\mu }}_n\right)\le x\right)-P\left(\sqrt{n}p\left({\widehat{\mu }}_n-{\mu }_p\right)\le x\right)\right|=o_p\left(1\right)\mathrm{.}$ (3.2)

Theorem 1 shows that the MBB method provides a valid approximation to the distribution of the centered and scaled sample expected shortfall $Z_n$ under geometric mixing and under a mild condition on the block length $\mathcal{l}$ .

The next result proves the consistency of the MBB variance estimators under the same conditions as Theorem 1.

Theorem 2. Under the conditions of Theorem 1,

${\widehat{\sigma }}_n^2=Va{r}_{*}\left(\sqrt{n_1}p\left({\mu }_n^{*}-{\tilde{\mu }}_n\right)\right){\to }^p{\sigma }_{\infty }^2,$

where

${\sigma }_{\infty }^2={\displaystyle \sum _{i\in \mathbb{Z}}}Cov\left(X_{1}I\left(X_1>{\nu }_p\right),X_{1+i}I\left(X_{i+1}>{\nu }_p\right)\right).$ (3.3)

Theorem 2 shows that under some mild conditions, the MBB estimator ${\widehat{\sigma }}_n^2$ of the asymptotic variance of the centered and scaled expected shortfall at confidence level $\left(1-p\right)$ converges in probability.

Remark 1. Note that in addition to the regularity conditions, we require the moment condition (3.1) for both main results. The consistency of the MBB approximation to the distributions of some quantities, as in the cases of sample mean and sample quantile, does not require moment condition although consistency of the MBB variance estimator in general needs some moment condition. The moment condition of Theorem 1 may be relaxed.

4. Proofs

We now introduce some basic notation. Let C, $C(\cdot )$ denote generic constants in $\left(\mathrm{0,}\infty \right)$ that depend on their arguments (if any) but not on the variables n and x. For real numbers x and y, write $x\vee y=\max \left\{x,y\right\}$ , $x\wedge y=\min \left\{x,y\right\}$ .

For any real number x, $i=1,\cdots ,n$ , we introduce the following

$Y_i\left(x\right)=X_{i}I\left(X_i\ge x\right),Y_i^{*}\left(x\right)=X_i^{*}I\left(X_i^{*}\ge x\right)$

$U_i\left(x\right)=\frac{1}{\mathcal{l}}{\displaystyle \sum _{j=1}^{\mathcal{l}}}{Y}_{\left(i-1\right)\mathcal{l}+j}\left(x\right),U_i^{*}\left(x\right)=\frac{1}{\mathcal{l}}{\displaystyle \sum _{j=1}^{\mathcal{l}}}{Y}_{\left(i-1\right)\mathcal{l}+j}^{*}(x)$

Note that $U_i(\cdot )$ and $U_i^{\mathrm{<mo>\; *\; </mo>}}(\cdot )$ , $i=1,\cdots ,b$ , are block averages. Then,

${\widehat{\mu }}_n\left(x\right)=\frac{1}{\lfloor np\rfloor +1}{\displaystyle \sum _{i=1}^n}{Y}_i\left(x\right),{\mu }_n^{*}\left(x\right)=\frac{1}{\lfloor n_{1}p\rfloor +1}{\displaystyle \sum _{i=1}^{n_1}}{Y}_i^{*}(x)$

which implies that

${\widehat{\mu }}_n={\widehat{\mu }}_n\left({\widehat{\nu }}_n\right),{\mu }_n^{*}={\mu }_n^{*}\left({\tilde{\nu }}_n\right).$

For a random variable X and a real number q, we define

${\Vert X\Vert }_q\equiv {\left(E{\left|X\right|}^q\right)}^{\frac{1}{q}},q\in \left[1,\infty \right).$

Recall that unless otherwise indicated, limits are taken by letting n tend to infinity. The first lemma is Theorem 1 of [9] . It states the asymptotic normality of the centered and scaled sample estimator of expected shortfall, $Z_n=\sqrt{n}p\left({\widehat{\mu }}_n-{\mu }_p\right)$ , for a given $p\in \left(\mathrm{0,1}\right)$ close to zero. We include this result here for the sake of completeness.

Lemma 1. Suppose that F is differentiable at ${\nu }_p$ with a positive derivative $f\left({\nu }_p\right)>0$ and that $\alpha \left(n\right)\le C{\rho }^n$ for some $C>0$ and $0<\rho <1$ . Then,

$Z_n=\sqrt{n}p\left({\widehat{\mu }}_n-{\mu }_p\right){\to }^{d}N\left(0,{\sigma }_{\infty }^2\right),$ (4.1)

where ${\sigma }_{\infty }^2$ is as defined in (3.3).

The next lemma is a consistency result of the MBB variance estimator of ${\sigma }_{\infty }^2$ , the asymptotic variance of the normalized expected shortfall.

Lemma 2. Under conditions of Theorem 2, we have

$\mathcal{l}Va{r}_{\mathrm{<mo>\; *\; </mo>}}{U}_1^{\mathrm{<mo>\; *\; </mo>}}\left({\tilde{\nu }}_n\right){\to }^p{\sigma }_{\infty }^2\mathrm{,}\text{as}n\to \infty \mathrm{.}$

Proof: By Lemma 5.4 (iii) of [22] , for $\mathcal{l}=o\left(n^{1/2}\right)$ , we have,

$\left|{\tilde{\nu }}_n-{\nu }_p\right|\le C_1{n}^{-1/2}{\left(\log \log n\right)}^{1/2},\text{a}\text{.s}\text{.}$ (4.2)

where $C_1>0$ is a constant. Let

$x_{n1}={\nu }_p-C_1{n}^{-1/2}{\left(\log \log n\right)}^{1/2},x_{n2}={\nu }_p+C_1{n}^{-1/2}{\left(\log \log n\right)}^{1/2},$

and

$R_{i,n}=\frac{1}{\mathcal{l}}{\displaystyle \sum _{j=1}^{\mathcal{l}}}\left\{X_{\left(i-1\right)\mathcal{l}+j}\left[I\left(X_{\left(i-1\right)\mathcal{l}+j}\ge {\tilde{\nu }}_n\right)-I\left(X_{\left(i-1\right)\mathcal{l}+j}\ge {\nu }_p\right)\right]\right\},1\le i\le N.$ (4.3)

Then, for $r=1,2$ , $j=1,\cdots ,\mathcal{l}$ ,

$\begin{array}{l}E{\left|X_{\left(i-1\right)\mathcal{l}+j}\left[I\left(X_{\left(i-1\right)\mathcal{l}+j}\ge {\tilde{\nu }}_n\right)-I\left(X_{\left(i-1\right)\mathcal{l}+j}\ge {\nu }_p\right)\right]\right|}^{2r+\delta }\\ =E{\left|X_1\left[I\left(X_1\ge {\tilde{\nu }}_n\right)-I\left(X_1\ge {\nu }_p\right)\right]\right|}^{2r+\delta }\\ \le E\left[{\left|X_1\right|}^{2r+\delta }I\left(x_{n1}\le X_1\le x_{n2}\right)\right]\\ ={\displaystyle {\int }_{x_{n1}}^{x_{n2}}}{\left|x\right|}^{2r+\delta }f\left(x\right)\text{d}x\\ =O\left(n^{-1/2}{\left(\log \log n\right)}^{1/2}\right),\end{array}$ (4.4)

since $f\left(x\right)$ is continuous (and hence bounded) in a neighborhood ${\mathcal{N}}_p$ of ${\nu }_p$ . Because the mixing coefficient $\alpha (\cdot )$ decays exponentially, it is easily seen that, for $1\le k\le 2r$ ,

$\Delta \left(k,r\right)=1+{\displaystyle \sum _{j=1}^{\mathcal{l}}}{j}^k{\left[\alpha \left(j\right)\right]}^{\delta /\left(2r+\delta \right)}<\infty$

Hence, applying Lemma 3.2 of Lahiri (2003) with $r=1,2$ , and $1\le k\le 2r$ , we obtain

$\begin{array}{c}E{\left|R_{i,n}\right|}^k\le {\mathcal{l}}^{-k}E{\left({\displaystyle \sum _{j=1}^{\mathcal{l}}}\left|X_{\left(i-1\right)\mathcal{l}+j}\left[I\left(X_{\left(i-1\right)\mathcal{l}+j}\ge {\tilde{\nu }}_n\right)-I\left(X_{\left(i-1\right)\mathcal{l}+j}\ge {\nu }_p\right)\right]\right|\right)}^k\\ \le {\mathcal{l}}^{-k}\cdot C\left(r\right)\Delta (k,r){\Vert X_1\left(I\left(x_{n1}\le X_1\le x_{n2}\right)\right)\Vert }_{2r+\delta }^k{\mathcal{l}}^{k/2}\\ =O\left({\mathcal{l}}^{-k/2}{n}^{-k/\left(4r+2\delta \right)}{\left(\log \log n\right)}^{k/\left(4r+2\delta \right)}\right).\end{array}$ (4.5)

Thus,

$E\left(\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left|R_{i,n}\right|\right)=E\left|R_{1,n}\right|=O\left({\mathcal{l}}^{-1/2}{n}^{-1/\left(4+2\delta \right)}{\left(\log \log n\right)}^{1/\left(4+2\delta \right)}\right),$

and

$E\left(\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}\right|}^2\right)=E{\left|R_{1,n}\right|}^2=O\left({\mathcal{l}}^{-1}{n}^{-1/\left(2+\delta \right)}{\left(\log \log n\right)}^{1/\left(2+\delta \right)}\right).$

which together with the Markov’s inequality lead to

$\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left|R_{i,n}\right|=O_p\left({\mathcal{l}}^{-1/2}{n}^{-1/\left(4+2\delta \right)}{\left(\log \log n\right)}^{1/\left(4+2\delta \right)}\right),$ (4.6)

and

$\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}\right|}^2=O_p\left({\mathcal{l}}^{-1}{n}^{-1/\left(2+\delta \right)}{\left(\log \log n\right)}^{1/\left(2+\delta \right)}\right).$ (4.7)

Define,

${\overline{U}}_N=\frac{1}{N}{\displaystyle \sum _{i=1}^N}{U}_i\left({\nu }_p\right),{\overline{R}}_N=\frac{1}{N}{\displaystyle \sum _{i=1}^N}{R}_{i,n}.$ (4.8)

Now, we investigate $Va{r}_{\mathrm{<mo>\; *\; </mo>}}\left[U_1^{\mathrm{<mo>\; *\; </mo>}}\left({\tilde{\nu }}_n\right)\right]$ .

$\begin{array}{c}Va{r}_{*}\left[U_1^{*}\left({\tilde{\nu }}_n\right)\right]=\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left[U_i\left({\tilde{\nu }}_n\right)-\frac{1}{N}{\displaystyle \sum _{i=1}^N}{U}_i\left({\tilde{\nu }}_n\right)\right]}^2\\ =\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left[\left(U_i\left({\nu }_p\right)+R_{i,n}\right)-\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left(U_i\left({\nu }_p\right)+R_{i,n}\right)\right]}^2\\ =\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left[\left(U_i\left({\nu }_p\right)-{\overline{U}}_N\right)+\left(R_{i,n}-{\overline{R}}_N\right)\right]}^2\end{array}$

$\begin{array}{l}=\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left[U_i\left({\nu }_p\right)-{\overline{U}}_N\right]}^2+\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left[R_{i,n}-{\overline{R}}_N\right]}^2\\ +\frac{2}{N}{\displaystyle \sum _{i=1}^N}\left[U_i\left({\nu }_p\right)-{\overline{U}}_N\right]\left[R_{i,n}-{\overline{R}}_N\right]\\ =Va{r}_{*}\left[U_1^{*}\left({\nu }_p\right)\right]+\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left[R_{i,n}-{\overline{R}}_N\right]}^2\\ +\frac{2}{N}{\displaystyle \sum _{i=1}^N}\left[U_i\left({\nu }_p\right)-{\overline{U}}_N\right]\left[R_{i,n}-{\overline{R}}_N\right].\end{array}$ (4.9)

Theorem 3.1 of Lahiri (2003) implies that

$\mathcal{l}Va{r}_{\mathrm{<mo>\; *\; </mo>}}\left[U_1^{\mathrm{<mo>\; *\; </mo>}}\left({\nu }_p\right)\right]{\to }^p{\sigma }_{\infty }^2\mathrm{.}$ (4.10)

Next, we show that

$\begin{array}{l}\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left[R_{i,n}-{\overline{R}}_N\right]}^2\\ =O_p\left({\mathcal{l}}^{-1}{n}^{-1/\left(2+\delta \right)}{\left(\log \log n\right)}^{1/\left(2+\delta \right)}\right),\end{array}$ (4.11)

and

$\begin{array}{l}\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left[U_i\left({\nu }_p\right)-{\overline{U}}_N\right]\left[R_{i,n}-{\overline{R}}_N\right]\\ =O_p\left({\mathcal{l}}^{-1/2}{n}^{-\left(1+\delta \right)/\left(4+2\delta \right)}{\left(\log \log n\right)}^{1/\left(4+2\delta \right)}\right).\end{array}$ (4.12)

Using (4.6), (4.7), we get

$\begin{array}{c}\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left[R_{i,n}-{\overline{R}}_N\right]}^2\le \frac{2}{N}{\displaystyle \sum _{i=1}^N}\left({\left|R_{i,n}\right|}^2+{\left|{\overline{R}}_N\right|}^2\right)\\ \le \frac{2}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}\right|}^2+2{\left(\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left|R_{i,n}\right|\right)}^2\\ =O_p\left({\mathcal{l}}^{-1}{n}^{-1/\left(2+\delta \right)}{\left(\log \log n\right)}^{1/\left(2+\delta \right)}\right)\\ +O_p\left({\mathcal{l}}^{-1}{n}^{-2/\left(4+2\delta \right)}{\left(\log \log n\right)}^{2/\left(4+2\delta \right)}\right)\\ =O_p\left({\mathcal{l}}^{-1}{n}^{-1/\left(2+\delta \right)}{\left(\log \log n\right)}^{1/\left(2+\delta \right)}\right).\end{array}$

Hence, Equation (4.11) is proved. By (4.10), (4.11), and Cauchy-Schwartz inequality, we have,

$\begin{array}{l}\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left[U_i\left({\nu }_p\right)-{\overline{U}}_N\right]\left[R_{i,n}-{\overline{R}}_N\right]\\ \le \frac{1}{N}{\left({\displaystyle \sum _{i=1}^N}{\left[U_i\left({\nu }_p\right)-{\overline{U}}_N\right]}^2\right)}^{1/2}{\left({\displaystyle \sum _{i=1}^N}{\left[R_{i,n}-{\overline{R}}_N\right]}^2\right)}^{1/2}\\ =\frac{1}{\sqrt{N}}{\left(Va{r}_{*}\left[U_1^{*}\left({\nu }_p\right)\right]\right)}^{1/2}{\left(\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}\right|}^2\right)}^{1/2}\\ =N^{-1/2}\cdot O_p\left(1\right)\cdot O_p\left({\mathcal{l}}^{-1/2}{n}^{-1/\left(4+2\delta \right)}{\left(\log \log n\right)}^{1/\left(4+2\delta \right)}\right)\\ =O_p\left({\mathcal{l}}^{-1/2}{n}^{-\left(1+\delta \right)/\left(4+2\delta \right)}{\left(\log \log n\right)}^{1/\left(4+2\delta \right)}\right).\end{array}$

We complete the proof of (4.12). Combining (4.9)-(4.12), we obtain

$\begin{array}{c}\mathcal{l}Va{r}_{*}\left[U_1^{*}\left({\tilde{\nu }}_n\right)\right]={\sigma }_{\infty }^2+\mathcal{l}\cdot O_p\left({\mathcal{l}}^{-1}{n}^{-1/\left(2+\delta \right)}{\left(\log \log n\right)}^{1/\left(2+\delta \right)}\right)\\ +\mathcal{l}\cdot O_p\left({\mathcal{l}}^{-1/2}{n}^{-\left(1+\delta \right)/\left(4+2\delta \right)}{\left(\log \log n\right)}^{1/\left(4+2\delta \right)}\right)\\ ={\sigma }_{\infty }^2+O_p\left({\mathcal{l}}^{1/2}{n}^{-\left(1+\delta \right)/\left(4+2\delta \right)}{\left(\log \log n\right)}^{1/\left(4+2\delta \right)}\right)\\ ={\sigma }_{\infty }^2+o_p(1)\end{array}$

Here we used the condition on the block length $\mathcal{l}=o\left(n^{1/4}{\left(\log \log n\right)}^{-1/4}\right)$ . We complete the proof of Lemma 2. ,

Lemma 3 below gives a convergence result of the third moment of the MBB block average.

Lemma 3. Under the conditions of Theorem 2,

$\frac{n\sqrt{n}}{b^2}{E}_{*}{\left|U_1^{*}\left({\tilde{\nu }}_n\right)-E_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right|}^3{\to }^{p}0.$

Proof: It can be verified by using (4.5) with $k=3,r=2$ ,

$E\left(\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}\right|}^3\right)=E{\left|R_{1,n}\right|}^3=O\left({\mathcal{l}}^{-3/2}{n}^{-3/\left(8+2\delta \right)}{\left(\log \log n\right)}^{3/\left(8+2\delta \right)}\right),$

which leads to

$\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}\right|}^3=O_p\left({\mathcal{l}}^{-3/2}{n}^{-3/\left(8+2\delta \right)}{\left(\log \log n\right)}^{3/\left(8+2\delta \right)}\right).$ (4.13)

Using (4.6), (4.13), and the fact that

${\left(x+y\right)}^m\le 2^m\left(x^m+y^m\right),\forall m,x,y>0$ (4.14)

we obtain,

$\begin{array}{l}\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}-{\overline{R}}_N\right|}^3\\ \le \frac{1}{N}{\displaystyle \sum _{i=1}^N}{2}^3\left({\left|R_{i,n}\right|}^3+{\left|{\overline{R}}_N\right|}^3\right)\\ \le \frac{8}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}\right|}^3+8{\left(\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left|R_{i,n}\right|\right)}^3\\ =O_p\left({\mathcal{l}}^{-3/2}{n}^{-3/\left(8+2\delta \right)}{\left(\log \log n\right)}^{3/\left(8+2\delta \right)}\right).\end{array}$

Therefore,

$\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}-{\overline{R}}_N\right|}^3=O_p\left({\mathcal{l}}^{-3/2}{n}^{-3/\left(8+2\delta \right)}{\left(\log \log n\right)}^{3/\left(8+2\delta \right)}\right).$ (4.15)

Note that for $1\le j\le \mathcal{l}$ , $r=1,2$ , and $1\le k\le 2r$ ,

${\Vert Y_j\left({\nu }_p\right)\Vert }_{2r+\delta }\le {\Vert X_1\Vert }_{2r+\delta }<\infty$

and

$\Delta \left(k,r\right)=1+{\displaystyle \sum _{j=1}^{\mathcal{l}}}{j}^k{\left[\alpha \left(j\right)\right]}^{\delta /\left(2r+\delta \right)}<\infty$

Then, Lemma 3.2 of Lahiri (2003) implies,

$E{\left|{\displaystyle \sum _{j=1}^{\mathcal{l}}}{Y}_j\left({\nu }_p\right)\right|}^k\le \Delta \left(k,r\right){\Vert Y_1\left({\nu }_p\right)\Vert }_{2r+\delta }^k{\mathcal{l}}^{k/2}\le C\left(k,r\right){\Vert X_1\Vert }_{2r+\delta }^k{\mathcal{l}}^{k/2}=O\left({\mathcal{l}}^{k/2}\right)$ (4.16)

which implies

$E\left(\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|U_i\left({\nu }_p\right)\right|}^3\right)=E{\left|U_1\left({\nu }_p\right)\right|}^3=E{\left(\frac{1}{\mathcal{l}}{\displaystyle \sum _{j=1}^{\mathcal{l}}}{Y}_j\left({\nu }_p\right)\right)}^3=O\left({\mathcal{l}}^{-3/2}\right)$

and

$E\left(\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left|U_i\left({\nu }_p\right)\right|\right)=E\left|U_1\left({\nu }_p\right)\right|=E\left(\frac{1}{\mathcal{l}}{\displaystyle \sum _{j=1}^{\mathcal{l}}}{Y}_j\left({\nu }_p\right)\right)=O\left({\mathcal{l}}^{-1/2}\right)$

Therefore,

$\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|U_i\left({\nu }_p\right)\right|}^3=O_p\left({\mathcal{l}}^{-3/2}\right),\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left|U_i\left({\nu }_p\right)\right|=O_p\left({\mathcal{l}}^{-1/2}\right).$ (4.17)

Finally, combining (4.14), (4.15), and (4.17) gives,

$\begin{array}{l}{E}_{*}{\left|U_1^{*}\left({\tilde{\nu }}_n\right)-E_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right|}^3\\ =\frac{1}{N}{\displaystyle \sum _{i=1}^N}{\left|U_i\left({\tilde{\nu }}_n\right)-\frac{1}{N}{\displaystyle \sum _{i=1}^N}{U}_i\left({\tilde{\nu }}_n\right)\right|}^3\\ =\frac{1}{N}{\displaystyle \sum _{i=1}^N}\left|\left(U_i\left({\nu }_p\right)-{\overline{U}}_N\right)+\left(R_{i,n}-{\overline{R}}_N\right)\right|{|}^3\\ \le \frac{1}{N}{\displaystyle \sum _{i=1}^N}{2}^3\left({\left|U_i\left({\nu }_p\right)-{\overline{U}}_N\right|}^3+{\left|R_{i,n}-{\overline{R}}_N\right|}^3\right)\end{array}$

$\begin{array}{l}=\frac{8}{N}{\displaystyle \sum _{i=1}^N}{\left|U_i\left({\nu }_p\right)-{\overline{U}}_N\right|}^3+\frac{8}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}-{\overline{R}}_N\right|}^3\\ =\frac{64}{N}{\displaystyle \sum _{i=1}^N}{\left|U_i\left({\nu }_p\right)\right|}^3+64{\left|{\overline{U}}_N\right|}^3+\frac{8}{N}{\displaystyle \sum _{i=1}^N}{\left|R_{i,n}-{\overline{R}}_N\right|}^3\\ =O_p\left({\mathcal{l}}^{-3/2}+{\mathcal{l}}^{-3/2}{n}^{-3/\left(8+2\delta \right)}{\left(\log \log n\right)}^{3/\left(8+2\delta \right)}\right).\end{array}$ (4.18)

Thus, we obtain,

$\begin{array}{l}\frac{n\sqrt{n}}{b^2}{E}_{*}{\left|U_1^{*}\left({\tilde{\nu }}_n\right)-E_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right|}^3\\ ={\mathcal{l}}^2{n}^{-1/2}\cdot O_p\left({\mathcal{l}}^{-3/2}+{\mathcal{l}}^{-3/2}{n}^{-3/\left(4+2\delta \right)}{\left(\log \log n\right)}^{3/\left(4+2\delta \right)}\right)\\ =o_p(1)\end{array}$

Lemma 3 is proved. ,

Proof of Theorem 1: By the definitions of ${\mu }_n^{\mathrm{<mo>\; *\; </mo>}}$ , ${\tilde{\mu }}_n$ , $Y_i^{\mathrm{<mo>\; *\; </mo>}}$ , $U_i^{\mathrm{<mo>\; *\; </mo>}}$ , $n_1=b\mathcal{l}$ , and the fact that $U_1^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{U}_2^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}\cdots \mathrm{,}{U}_b^{\mathrm{<mo>\; *\; </mo>}}$ are IID, we get

$\begin{array}{c}{\mu }_n^{*}-{\tilde{\mu }}_n=\frac{{{\displaystyle \sum }}_{i=1}^n{X}_i^{*}I\left(X_i^{*}\ge {\tilde{\nu }}_n\right)}{{{\displaystyle \sum }}_{i=1}^{n_1}I\left(X_i^{*}\ge {\tilde{\nu }}_n\right)}-E_{*}\left(\frac{{{\displaystyle \sum }}_{i=1}^n{X}_i^{*}I\left(X_i^{*}\ge {\tilde{\nu }}_n\right)}{{{\displaystyle \sum }}_{i=1}^{n_1}I\left(X_i^{*}\ge {\tilde{\nu }}_n\right)}\right)\\ =\frac{n_1}{\lfloor n_{1}p\rfloor +1}\left\{\frac{1}{n_1}{\displaystyle \sum _{i=1}^{n_1}}{Y}_i^{*}\left({\tilde{\nu }}_n\right)-E_{*}\left(\frac{1}{n_1}{\displaystyle \sum _{i=1}^{n_1}}{Y}_i^{*}\left({\tilde{\nu }}_n\right)\right)\right\}\\ =\frac{n_1}{\lfloor n_{1}p\rfloor +1}\left\{\frac{1}{b}{\displaystyle \sum _{i=1}^b}{U}_i^{*}\left({\tilde{\nu }}_n\right)-E_{*}\left(\frac{1}{b}{\displaystyle \sum _{i=1}^b}{U}_i^{*}\left({\tilde{\nu }}_n\right)\right)\right\}\\ =\frac{n_1}{\lfloor n_{1}p\rfloor +1}\left(\frac{1}{b}{\displaystyle \sum _{i=1}^b}\left[U_i^{*}\left({\tilde{\nu }}_n\right)-E_{*}{U}_i^{*}\left({\tilde{\nu }}_n\right)\right]\right)\end{array}$ (4.19)

Then, for any $y\in ℝ$ ,

$\begin{array}{l}{P}_{*}\left(\sqrt{n_1}p\left({\mu }_n^{*}-{\tilde{\mu }}_n\right)\le y\right)\\ =P_{*}\left(\frac{1}{n_1}{\displaystyle \sum _{i=1}^{n_1}}\left[Y_i^{*}\left({\tilde{\nu }}_n\right)-{\tilde{\mu }}_n\right]\le \frac{\lfloor n_{1}p\rfloor +1}{p{n}_1\sqrt{n_1}}y\right)\\ =P_{*}\left(\frac{1}{b}{\displaystyle \sum _{i=1}^b}\left[U_i^{*}\left({\tilde{\nu }}_n\right)-E_{*}{U}_i^{*}\left({\tilde{\nu }}_n\right)\right]\le \frac{\lfloor n_{1}p\rfloor +1}{p{n}_1\sqrt{n_1}}y\right),\end{array}$

which together with the Berry-Esseen Theorem gives

$\begin{array}{l}\left|P_{*}\left(\sqrt{n_1}p\left({\mu }_n^{*}-{\tilde{\mu }}_n\right)\le y\right)-\Psi \left(\frac{\sqrt{b}}{\sqrt{Va{r}_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)}}\frac{\lfloor n_{1}p\rfloor +1}{p{n}_1\sqrt{n_1}}y\right)\right|\\ \le \frac{3E_{*}{\left|U_1^{*}\left({\tilde{\nu }}_n\right)-E_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right|}^3}{\sqrt{b}{\left(Va{r}_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right)}^{3/2}}\end{array}$ (4.20)

Lemma 2 and Lemma 3 imply, respectively,

$\frac{\sqrt{b}}{\sqrt{Va{r}_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)}}\frac{\lfloor n_{1}p\rfloor +1}{p{n}_1\sqrt{n_1}}y=\frac{\lfloor n_{1}p\rfloor +1}{p{n}_1}\frac{y}{\sqrt{\mathcal{l}Va{r}_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)}}{\to }^p\frac{y}{{\sigma }_{\infty }},$ (4.21)

and

$\frac{E_{*}{\left|U_1^{*}\left({\tilde{\nu }}_n\right)-E_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right|}^3}{\sqrt{b}{\left(Va{r}_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right)}^{3/2}}=\frac{\frac{n\sqrt{n}}{b^2}{E}_{*}{\left|U_1^{*}\left({\tilde{\nu }}_n\right)-E_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right|}^3}{{\left(\mathcal{l}Va{r}_{*}{U}_1^{*}\left({\tilde{\nu }}_n\right)\right)}^{3/2}}{\to }^{p}0$ (4.22)

Then, by (4.20)-(4.22), we have

$\left|P_{\mathrm{<mo>\; *\; </mo>}}\left(\sqrt{n_1}p\left({\mu }_n^{\mathrm{<mo>\; *\; </mo>}}-{\tilde{\mu }}_n\right)\le y\right)-\Psi \left(\frac{y}{{\sigma }_{\infty }}\right)\right|{\to }^p\mathrm{0,}$

uniformly in $y\in ℝ$ . This together with Lemma 1 yields

$\underset{y\in ℝ}{{\displaystyle sup}}\left|P_{\mathrm{<mo>\; *\; </mo>}}\left(\sqrt{n_1}p\left({\mu }_n^{\mathrm{<mo>\; *\; </mo>}}-{\tilde{\mu }}_n\right)\le y\right)-P\left(\sqrt{n}p\left({\widehat{\mu }}_n-{\mu }_p\right)\le y\right)\right|{\to }^{p}0.$

That is, $Z_n^{*}=\sqrt{n_1}p\left({\mu }_n^{*}-{\tilde{\mu }}_n\right)$ converges in probability to $Z_n=\sqrt{n}p\left({\widehat{\mu }}_n-{\mu }_p\right)$ . We complete the proof of Theorem 1. ,

Proof of Theorem 2: Theorem 2 is a consequence of Lemma 2 and Equation (4.19).

$\begin{array}{c}Va{r}_{*}\left(Z_n^{*}\right)=Va{r}_{*}\left(\sqrt{n_1}p{\mu }_n^{*}\right)\\ =Va{r}_{*}\left(\frac{n_1\sqrt{n_1}p}{\lfloor n_{1}p\rfloor +1}\cdot \frac{1}{n_1}{\displaystyle \sum _{i=1}^{n_1}}{Y}_i^{*}\right)\\ ={\left(\frac{n_1\sqrt{n_1}p}{\lfloor n_{1}p\rfloor +1}\right)}^{2}Va{r}_{*}\left(\frac{1}{b}{\displaystyle \sum _{i=1}^b}{U}_i^{*}\left({\tilde{\nu }}_n\right)\right)\\ ={\left(\frac{n_{1}p}{\lfloor n_{1}p\rfloor +1}\right)}^2\left(\mathcal{l}Va{r}_{*}\left(U_1^{*}\left({\tilde{\nu }}_n\right)\right)\right)\\ \to {\sigma }_{\infty }^2,\end{array}$

since $U_1^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{U}_2^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}\cdots \mathrm{,}{U}_b^{\mathrm{<mo>\; *\; </mo>}}$ are IID, which implies that

$Va{r}_{*}\left(\frac{1}{b}{\displaystyle \sum _{i=1}^b}{U}_i^{*}\left({\tilde{\nu }}_n\right)\right)=\frac{1}{b}Va{r}_{*}\left(U_1^{*}\left({\tilde{\nu }}_n\right)\right)=\frac{1}{n_1}\left(\mathcal{l}Va{r}_{*}\left(U_1^{*}\left({\tilde{\nu }}_n\right)\right)\right).$

The proof of Theorem 2 is completed. ,

5. Conclusions

In this paper, we establish the asymptotic properties of the blocking bootstrap estimators of the expected shortfall. We prove that the MBB method provides a valid approximation to the distribution of the centered and scaled sample estimator of the expected shortfall and show that under mild regularity conditions, the MBB variance estimator is consistent.

As in many situations where the block bootstrap methodology is involved, the performance of the block bootstrap distribution function and variance estimators of $Z_n$ critically depends on the block size $\mathcal{l}$ . Although there have been some theoretical works on the choice of the optimal block length in the literature, the optimal block lengths and/or the optimal rates of convergence in Theorems 1 and 2 are unknown at this stage.

It is also of interest to conduct both empirical studies and simulations to investigate the performance of the MBB estimators and compare the obtained results with those in [9] .

Acknowledgements

We thank the reviewer for his/her helpful comments and suggestions which improved the manuscript.

Cite this paper

Sun, S.X. and Cheng, F.X. (2018) Bootstrapping the Expected Shortfall. Theoretical Economics Letters, 8, 685-698. https://doi.org/10.4236/tel.2018.84046

References