EconBase
← Back to paper

Debiased Kernel Estimation of Spot Volatility in the Presence of Infinite Variation Jumps

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.

93,519 characters · 6 sections · 70 citation commands

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.

Debiased Kernel Estimation of Spot Volatility in the Presence of Infinite Variation Jumps

abstractVolatility estimation is a central problem in financial econometrics, but becomes particularly challenging when jump activity is high, a phenomenon observed empirically in highly traded financial securities. In this paper, we revisit the problem of spot volatility estimation for an Itô semimartingale with jumps of unbounded variation. We construct truncated kernel-based estimators and debiased variants that extend the efficiency frontier for spot volatility estimation in terms of the jump activity index $Y$, raising the previous bound $Y<4/3$ to $Y<20/11$, thereby covering nearly the entire admissible range $Y<2$. Compared with earlier work, our approach attains smaller asymptotic variances through the use of unbounded kernels, is simpler to implement, and has broader applicability under more flexible model assumptions. A comprehensive simulation study confirms that our procedures substantially outperform competing methods in finite samples.

Introduction

Spot volatility estimation is a central problem in financial econometrics, underpinning numerous critical applications ranging from short-horizon risk management to derivatives pricing and hedging. Formally, the core task is to estimate the coefficient $\sigma_\tau$ of the Brownian component of an It\^o semimartingale $X$ at a fixed point of time $\tau$ given high-frequency observations. For recent developments, we refer to LIU2018,figueroa2020optimal,Figueroa-Lopez_Wu_2024,mancino2022asymptotic, as well as the monographs jacod2012discretization,ait2014high for in-depth treatments.

Widely observed empirically in high-frequency financial data, jumps are a salient feature of price dynamics, separate from fluctuations captured by diffusive movements in $X$, and must be carefully accounted for when estimating volatility and related functionals of $X$. When jump activity is high, however, standard estimation methods face inherent limitations, as estimation difficulty increases with the degree of jump activity of the underlying process. Three qualitatively distinct regimes can be distinguished: jumps of finite activity, infinite activity jumps of bounded variation, and infinite activity jumps of unbounded variation, the latter posing the greatest challenge, and the setting of the present work.

A fundamental approach to handling jumps is through truncation, introduced by Mancini2004. Establishing jump-robustness for truncation-based methods classically amounts to two steps: suppose $\hat\theta_n(\Delta_1^nX,\dots,\Delta^n_n X)$ is an estimator of some functional $\theta$ of the continuous component $X^c$ of $X$, where $\Delta_i^nU:=U_{t_{i}}-U_{t_{i-1}}$ denotes the $i^{th}$ increment of a generic process $U$ sampled at times $0<t_0<\dots<t_n=T$ during a finite time period $[0,T]$. In the first step, one shows that the (infeasible) estimator $\hat\theta^{\text{Cont}}_n:=\hat{\theta}_n(\Delta_1^nX^c,\dots,\Delta_n^n X^c)$ is consistent and satisfies a central limit theorem (CLT) with, say, rate $r_n$:

equation[equation omitted — 181 chars of source]

Second, it is shown that, by choosing an appropriate threshold level $v_n\searrow{}0$, the truncated or thresholded version $\hat\theta^{Trunc}_n:=\hat{\theta}_n(\Delta_1^nX\mathbf{1}_{\{|\Delta_1^n X|\leq v_n\}},\dots,\Delta_n X^n\mathbf{1}_{\{|\Delta_n^n X|\leq v_n\}})$ is close enough to $\hat\theta^{Cont}$ so that

equation[equation omitted — 123 chars of source]

An emblematic example of this approach arises in the estimation of the integrated variance or volatility $IV:=\int_0^T \sigma^2_sds$, where one passes from the quantity

equation[equation omitted — 82 chars of source]

to its truncated version

equation[equation omitted — 125 chars of source]

By (essentially) employing the steps (ref)-(ref), it has been established that in the bounded variation case mancini2009non,cont2011nonparametric, an efficient CLT (see, e.g., jacod:reiss:2014) is possible: \[ \sqrt{n}\left(\widehat{IV}^{\text{Trunc}}-IV\right)\stackrel{\mathcal{D}}{\longrightarrow}\mathcal{N}\left(0,2\int_0^T\sigma_s^4ds\right). \] However, with unbounded-variation jumps, this approach alone falls short. It was proved by cont2011nonparametric,mancini:2011 that $\sqrt{n}\big(\widehat{IV}^{\text{Trunc}}-IV\big)\stackrel{P}{\longrightarrow}\infty$ in the presence of an infinite variation symmetric stable L\'evy process, precisely because the bias of $\widehat{IV}^{\text{Trunc}}$ -- and thus the difference $(\widehat{IV}^{\text{Trunc}} - \widehat{IV}^{\text{Cont}})$ -- vanishes too slowly.

Two methodological advances have since moved the field forward. The first is due to Jacod and Todorov Jacod2014,jacod:todorov:2016, who proposed an approach for integrated variance estimation based on the empirical characteristic function of the rescaled increments $\Delta_i^nX/\sqrt{\Delta_n}$, where $\Delta_n$ is the time span of the increment. After applying a suitable logarithmic transformation and debiasing procedure, this approach admits a CLT with optimal rate and variance, even in the case of unbounded variation jumps. However, with this method, full (rate and variance) efficiency is attainable only under specific conditions that require either the jump activity index $Y$ to satisfy $Y<3/2$, or under additional restrictive jump symmetry assumptions. The second major advance was introduced more recently by BONIECE2024, who showed that a debiasing method similar to Jacod2014 applied to the realized truncated variations (ref) leads to a fully efficient estimator for any $Y\leq 8/5$ without any symmetry conditions.

A natural next question is how these insights extend to the problem of spot volatility estimation. A standard and widely used approach to constructing spot volatility estimators is to apply kernel smoothing to an estimator of integrated variance, \[ \hat\sigma^2_\tau=\int K_b(t-\tau)d \widehat{IV}_t, \] where $\widehat{IV}_t$ denotes an estimator of $IV_t=\int_0^t \sigma_s^2ds$ and $K_b(u):=K(u/b)/b$ for a chosen kernel $K$ and a bandwidth $b>0$. For instance, using the realized quadratic variation $\widehat{IV}_t=\sum_{i=1}^{[nt]}(\Delta_i ^nX)^2$, this reduces to

equation[equation omitted — 105 chars of source]

as proposed in kristensen2010nonparametric,fan2008spot.

Spot volatility estimators differ markedly from their integrated volatility counterparts, with their local nature altering the efficiency picture in subtle but important ways: on the one hand, optimal convergence rates are of order $n^{-1/4}$ (compared with $n^{-1/2}$ in the integrated volatility case); on the other hand, kernel-based estimators enjoy a degree of built-in robustness against jumps, since “large” jumps are relatively rare and are unlikely to fall in a narrow neighborhood of $\tau$ where $K_b$ places most of its mass. For instance, jacod2012discretization shows that in the case of uniform kernels (i.e., $K(u)={\bf 1}_{[0,1)}(u)$ or $K(u)={\bf 1}_{(-1,0]}(u)$) the estimator (ref) admits a rate-optimal CLT even in the case of unbounded variation jumps, provided $Y<4/3$\footnote{The case of jumps of bounded variation corresponds to $Y<1$, while the jumps are of unbounded variation when $Y>1$.}. However, high levels of jump activity can still degrade performance, and the rate becomes suboptimal for $Y\geq 4/3$: in general, for any $a\in(0,1/2]$ such that $Y<2/(1+a)$, one can find a bandwidth $b_n$ such that $n^{a/2}(\hat\sigma_\tau^2-\sigma_\tau^2)\stackrel{\mathcal{D}}{\longrightarrow}\mathcal{N}(0,V_\sigma)$, which yields a rate that is slower than $n^{-\frac{2-Y}{2Y}}$. Thus, if, for instance, $Y\leq 3/2$, the rate is slower than $n^{-1/6}$. Surprisingly, following the two-step approach (ref)-(ref), even when thresholding is applied to (ref), i.e.,

equation[equation omitted — 147 chars of source]

there is no apparent asymptotic benefit: the optimal rate of $n^{-1/4}$ remains attainable only if $Y<4/3$, and the best possible rate when $Y\geq 4/3$ remains bounded by $n^{-\frac{2-Y}{2Y}}$, which is strictly slower.

Given these limitations, one may wonder if estimation performance can be improved by modifying the kernel $K$. This question was addressed in Figueroa-Lopez_Wu_2024, which extended the approach in jacod2012discretization to two-sided kernels of unbounded support. Although the convergence rate remains unchanged, they established that the asymptotic variance can be substantially reduced. For example, using the kernel $K(u)=.5e^{-|u|}$ leads to an asymptotic variance that is one-quarter of that obtained by a uniform kernel in the suboptimal rate regime $(Y\geq 4/3)$. Moreover, in the optimal rate regime $(Y< 4/3)$, this kernel was shown to be variance-optimal, highlighting the utility of unbounded kernels in general. However, we note that the results in both jacod2012discretization and Figueroa-Lopez_Wu_2024 are based on the two-step approach (ref)-(ref), which we depart from in the present work.

These findings motivate a fundamental question: can one develop methods that attain better rates -- possibly optimal -- beyond the boundary $Y< 4/3$? A recent step in this direction was taken by LIU2018, who developed a localized variant of the characteristic function approach of Jacod2014. Assuming the infinite-variation jump component is of the form $\int_0^t\chi_{s}dL_s$, where $L$ is a strictly $Y$-stable symmetric L\'evy process, and while restricting to the class of compactly-supported kernels that are continuously differentiable, they establish that their estimator satisfies

equation[equation omitted — 196 chars of source]

for any $Y\leq{}3/2$, but with a suboptimal convergence rate (i.e., $\sqrt{\frac{\Delta_n}{b_n}}\gg n^{-1/4}$). By applying an additional debiasing step similar to that in Jacod2014, they further showed that associated tuning parameters can be chosen so that (ref) holds for any $Y<2$, however, still with a suboptimal rate and under the jump symmetry condition described above. Consequently, the boundary $Y<4/3$ has long marked the limit of efficiency in spot volatility estimation, and the regime $Y\geq 4/3$ has remained largely underexplored without symmetry assumptions.

In this work, we push this efficiency boundary substantially forward by introducing appropriately debiased versions of the estimator (ref). First, by exploiting high-order expansions of the truncated moments of $\Delta_i X$, rather than relying on the coarser two-step framework (ref)-(ref), which does not explicitly account for higher-order bias, we show the estimator (ref) actually achieves rate-optimality for any $Y\leq{}3/2$ (namely, $n^{1/4}(\hat\sigma_\tau^2-\sigma_\tau^2)\stackrel{\mathcal{D}}{\longrightarrow}\mathcal{N}(0,V_\sigma)$) under standard assumptions and without additional adjustment. Second, by introducing debiasing steps similar to those in Jacod2014,BONIECE2024, we construct fully efficient estimators that cover the range $0<Y<20/11$. This extension is practically relevant, as empirical studies indicate that values of $Y$ are typically between $1.5$ and $1.8$ for liquid stocks (see BONIECE2024 for a brief supporting empirical analysis and further references). Our method stands in sharp contrast to the results in LIU2018, offering rate-optimal estimators over a wider range of $Y$, broader applicability through more flexible model assumptions, reduced asymptotic variances enabled by the use of unbounded kernels, and simpler estimators that are easier to implement. To validate our results, we perform a comprehensive simulation study and find that our methods significantly outperform those of LIU2018 in terms of both bias and variance over finite samples. Our findings further demonstrate that the advantages of kernels with unbounded support extend to the debiasing framework developed here, providing substantial improvements over widely-used uniform kernels, which are often the default choice in practice, especially in inference problems that require estimation of spot volatility as a preliminary step.

The paper is organized as follows. Section (ref) introduces the setting, assumptions, and preliminary results. Section (ref) presents the main results and their proofs. Section (ref) contains simulations assessing the performance of our estimators. Some additional technical proofs are collected in Appendix (ref).

Setting and background

Consider a 1-dimensional It\^o semimartingale $X = \big(X_t\big)_{t\in \mathbb{R}_{+}}$ defined on a complete filtered probability space $\big(\Omega,\mathscr{F},(\mathscr{F})_{t\in \mathbb{R}_{+}},\mathbb P\big)$ that can be decomposed as

align[align omitted — 163 chars of source]

where $W:=(W_t)_{t \in \mathbb{R}_{+}}$ is a Wiener process, $\sigma$ is an adapted càdlàg process, $J:=(J_t)_{t \in \mathbb{R}_{+}}$ is an independent pure-jump Lévy process with Lévy triplet $(b,0,v)$, and $\mathfrak{p}$ is a Poisson random measure on $\mathbb{R}_+\times\mathbb{R}$ with an intensity $\mathfrak{q}(ds,dz) = ds \otimes \lambda(dz)$, such that the $\lambda$ is a $\sigma$-finite measure on $\mathbb{R}$, possibly dependent with $J$. The Lévy measure $v$ is assumed to admit a density $s:{\mathbb{R}\backslash\{0\}}\rightarrow \mathbb{R}_+$ of the form

align[align omitted — 125 chars of source]

{We have the following standing assumptions:}

asu\begin{enumerate} • $C_{\pm}>0$ and $Y \in (0,2)\setminus\{1\}$. • $q:{{\mathbb{R}\backslash\{0\}} \rightarrow \mathbb{R}_+}$ is a bounded Borel-measurable function such that: \begin{enumerate} • $q(x) \rightarrow 1$, as $x\rightarrow 0$. • There exist $a_{\pm}$ such that \begin{equation}\int_0^1 \big|q(x)-1-a_+ x\big|x^{-Y-1}dx + \int_{-1}^0\big|q(x)-1-a_-x\big||x|^{-Y-1}dx<\infty. \end{equation} \end{enumerate} • The process $\chi$ is given as \begin{equation}\chi_t = \chi_0 + \int_0^tb_x^\chi ds + \int_0^t \Sigma_s^\chi dB_s. \end{equation} • The processes $W,B$ are standard Brownian motions with correlation $d\langle W,B\rangle_t = \rho_tdt$ for an adapted, locally bounded càdlàg process $\{\rho_t\}_{t\geq 0}$. $W,B$ are independent of $(J,\mathfrak{p})$; $J$ is independent of $\sigma$. • The {processes} $\Sigma^\chi$, $b$, $b^\chi$ are càdlàg adapted, and {$\delta$} is predictable. There {exist} a sequence $\{\tau_n\}_{n\geq 1}$ of stopping times increasing to infinity, nonnegative {$\lambda(dz)$}-integrable function {$H$} and a positive sequence $\{M_n\}_{n\geq 1}$ such that \begin{equation*} t\leq \tau_n \Rightarrow \begin{cases} |\sigma_t| + |b_t| + |b_t^\chi| + |\Sigma_t^\chi| \leq M_n,\\ ({|\delta(t,z)|}\wedge 1)^{{r}} \leq M_n {H(z)}, \end{cases} \end{equation*} for some ${r}\in[0,1\wedge Y)$. • The spot variance process $c_t:=\sigma_t^2$ is assumed to follow the dynamics: \begin{align} c_t = c_0 + \int_0^t \tilde \mu_sds +\int_0^t\tilde \sigma_s dB_s, \end{align} where $B:=(B_t)_{t\geq 0}$ is as in point 3 above. Here $\{\tilde \mu\}_{t\geq 0}$ and $(\tilde\sigma_t)_{t\geq 0}$ are adapted càdlàg locally bounded processes. \end{enumerate}
remarkThe conditions above are essentially the same as those in BONIECE2024. LIU2018 considered a similar but more restrictive component of unbounded variation by taking $J$ to be a symmetric strictly stable L\'evy process, while here we considered a type of tempered stable L\'evy process. The most technical (but still relatively mild) condition is that in (ref), which is used to apply a density transformation or change of probability measure under which the process $J$ becomes stable. We refer to BONIECE2024 for further details.

We assume we have at our disposal $n$ evenly-spaced discrete observations $X_{t_i}$ during a fixed time interval $[0,T]$. For simplicity, we further assume $T=1$ and, thus, $t_i=i/n$. Denote $\Delta_n = 1/n$, $\mathcal{F}_{i}^n:=\mathcal{F}_{t_i}$, and $\Delta^n_iA = A_{i\Delta_n} - A_{(i-1)\Delta_n}$ for any process $A$, where we often omit the superscript $n$. Our estimation target is {$c_\tau=\sigma_\tau^2$} for a fixed time $\tau\in(0,T)$. We consider the spot volatility estimator

equation[equation omitted — 209 chars of source]

where $K$ is a kernel function, and $m_n$ controls the bandwidth {$b_n:=m_n\Delta_n$ such that} $m_n \rightarrow \infty$ and $m_n\Delta_n\rightarrow 0$, and $K_b(x):=K(x/b)/b$. We assume the following conditions on $K$, which are standard:

asuThe kernel function $K:\mathbb{R}\rightarrow [0,\infty)$ is bounded and Lipschitz and piecewise $C^1$ on $(-\infty, \infty)$ such that $\int K(x)dx = 1$, $\int |K(x)x|dx<\infty$, $\int |K'(x)|dx<\infty$, and $K(y)y^2\rightarrow 0$ as $|y|\rightarrow \infty$.

{The estimator (ref) without the denominator factor, truncation, or any debiasing was studied in fan2008spot and kristensen2010nonparametric (see also additional references in the introduction). The denominator, motivated by the standard Nadarayan-Watson nonparametric regression estimator, and noted in passing in kristensen2010nonparametric, serves a dual role: it provides edge correction in finite samples and simplifies several proofs, notably leading to more relaxed technical assumptions in the optimal bandwidth regime (see Remark (ref) below). In contrast, when the denominator is omitted, our results remain valid, but stricter conditions on the bandwidth $b_n = m_n \Delta_n$ and its relationship with $Y$ are required; however, in the suboptimal rate regime (see Remark (ref), case (ii), below), the denominator can be dispensed of entirely without any loss of generality. The truncated version in (ref) was studied in figueroa2020optimal and Figueroa-Lopez_Wu_2024, also without debiasing. Finally, Assumption (ref) permits kernels of unbounded support, which, as discussed in the introduction, enables estimators that are more variance efficient in both the optimal and suboptimal convergence regimes.}

Notation: Throughout, {$A_n\lesssim B_n$ and $a_n\ll b_n$ mean $A_n = O_P(B_n)$ and $a_n=o(b_n)$, respectively.} For any process $V$, when unambiguous we write $\Delta_iV$ in place of $\Delta_i^nV$.

Main results

The following moment expansions play key roles in our analysis. The proofs are based on arguments in analogous results in BONIECE2024 (see {Lemmas} 2, 3, 4 and 5 therein) and are given in Appendix (ref) for completeness.

propositionSuppose that $Y \in (0,2)\setminus\{1\}$. Let $\Delta_n^{\frac{1}{2}-s}\ll v_n \ll \Delta_n^{\frac{1}{4-Y}}$ for a fixed $s\in(0,1/2)$. Then, the following statements hold: \begin{enumerate} • For any integer $p\geq 1$, we have \begin{align} &\mathbb E\big((\Delta_iX)^{2 p}\mathbf{1}_{\{|\Delta_iX|\leq v_n\}}|\mathcal F_{i-1}\big)=(2{p}-1)!!\sigma_{t_{i-1}}^{2{p}}\Delta_n^{ p}+C_{{p},i}\Delta_n v_n^{2{p}-Y}+o_P(\Delta_n v_n^{2{p}-Y})+o_P(\Delta_n^{p}), \end{align} where $C_{p,i} := \frac{(C_++C_-)|\chi_{t_{i-1}}|^Y}{2p-Y}$. • Furthermore, if $p=1$, the following high-order expansion holds: \begin{align} &\mathbb E\big((\Delta_iX)^{2}\mathbf{1}_{\{|\Delta_iX|\leq v_n\}}|\mathcal F_{i-1}\big)=\sigma_{t_{i-1}}^2\Delta_n+C_{1,i}\Delta_n v_n^{2-Y}+D_{1,i} \Delta_n^2 v_n^{-Y}+O_P(\Delta_n^3 v_n^{-2-Y}) +o_P(\Delta_n^{5/4}), \end{align} where $D_{1,i}=\frac{(C_++C_-)(Y+1)(Y+2)}{2Y}\sigma^2_{t_{i-1}}|\chi_{t_{i-1}}|^Y$. Additionally, {for any $\zeta>1$,} we have \begin{equation} \begin{aligned} \mathbb E\big((\Delta_iX)^{2}\mathbf{1}_{\{v_n<|\Delta_iX|\leq \zeta v_n\}}|\mathcal F_{i-1}\big) &=C_{1,i}\Delta_n(\zeta^{2-Y}-1) v_n^{2-Y}+D_{1,i} \Delta_n^2 (\zeta^{-Y}-1)v_n^{-Y}\\ &\quad +O_P(\Delta_n^3 v_n^{-2-Y}) +o_P(\Delta_n^{\frac{3}{4}}v_n^{\frac{4-Y}{2}}). \end{aligned} \end{equation} • For any $p>1$ (not necessarily an integer), we have \begin{align} &\mathbb E\big(|\Delta_iX|^{2p}\mathbf{1}_{\{|\Delta_iX|\leq v_n\}}|\mathcal F_{i-1}\big) = O_P(\sigma_{t_{i-1}}^{2{p}}\Delta_n^{p})+O_P(C_{{p},t_{i-1}}\Delta_n v_n^{2{p}-Y}). \end{align} \end{enumerate}

To analyze the asymptotic {behavior} of the estimator $\hat c_n(m_n, v_n)$ {defined in Eq. (ref)}, we consider the following decomposition:

align[align omitted — 469 chars of source]

Our next result is central to our analysis and underpins our main debiasing procedure. It establishes the joint asymptotic behavior of the terms in (ref), accounting for appropriate bias terms, and provides the framework for separating qualitatively distinct asymptotic regimes for $m_n$. In addition, on its own, it yields feasible CLTs for $\hat c_n(m_n,v_n)$ in certain settings that sharpen existing results in the literature (see Remark (ref)).

theoremSuppose that $\Delta_n^{\beta}\ll v_n \ll \Delta_n^{\beta'}$ with $\frac{1}{4-Y}<\beta'<\beta<\frac{1}{2}$, $\sqrt{\mathrm {log}(n)} \ll m_n\ll \Delta_n^{-4}v_n^{4+2Y}$, and $m_n = O(\Delta_n^{-\frac{1}{2}})$. Let \begin{align} \tilde Z_n(m_n, v_n) &:= \sqrt{m_n}\Big(\hat c_{n,1}(m_n, v_n) -A(v_n,m_n)\Big),\nonumber\\ \tilde Z_n'(m_n) &:= \frac{1}{\sqrt{m_n\Delta_n}}\Big(\hat c_{n,2}(m_n) -\sigma^2_\tau\Big),\nonumber \end{align} where, using the notation in (ref), \begin{align} {A(v_n,m_n) := \frac{\sum_{i=1}^nK_{m_n\Delta_n}(t_{i-1}-\tau){C_{1,i}}\Delta_n v_n^{2-Y}}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} + \frac{\sum_{i=1}^nK_{m_n\Delta_n}(t_{i-1}-\tau){D_{1,i}} \Delta_n^2 v_n^{-Y}}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}.} \end{align} Then, under Assumptions (ref) and (ref), as $n\rightarrow \infty$, \begin{align} (\tilde Z_n(m_n, v_n),\tilde Z'_n(m_n)) \xrightarrow{ st} \mathcal (Z_1,Z_2), \end{align} where $Z_1 \sim N\big(0,2\sigma_\tau^4\int K^2(x)dx\big)$ and $Z_2 \sim N(0, {\tilde\sigma^2_{\tau}}\int L^2(t) dt)$ with $L(t) = \int_t^{\infty}K(u)du\mathbf{1}_{t\geq 0}-\int^t_{-\infty}K(u)du\mathbf{1}_{t<0}$, {and $Z_1$ and $Z_2$ are independent}.
remarkTaking $m_n\to\infty$ at different rates alters the balance of the errors appearing on the right-hand side of (ref). Three distinct regimes can be distinguished: (i) $m_n\sqrt{\Delta_n}\to\theta\in(0,\infty)$, (ii) $m_n\sqrt{\Delta_n}\to 0$, and (iii) $m_n\sqrt{\Delta_n}\to\infty$, which we remark on below. Case (i): $m_n \sqrt{\Delta_n} \to \theta \in (0,\infty)$. In this regime, the orders of $\sqrt{m_n}$ and $1/\sqrt{m_n\Delta_n}$ match, in which case Theorem (ref) gives \begin{equation} \Delta_n^{-1/4}\left(\hat c_n(m_n, v_n)-A(v_n,m_n)-\sigma_{\tau}^2\right)\xrightarrow{ st} \theta^{-1/2}Z_1+\theta^{1/2} Z_2, \end{equation} or, equivalently, \begin{equation} \sqrt{m_n}\left(\hat c_n(m_n, v_n)-A(v_n,m_n)-\sigma_{\tau}^2\right)\xrightarrow{ st} Z_1+\theta Z_2. \end{equation} Note that the bias term $A(v_n,m_n)$ is $O_P(v_n^{2-Y})$. Thus, if $\sqrt{m_n} v_n^{2-Y}\ll 1$, then (ref) and (ref) remain true even with the term $A(v_n,m_n)$ omitted, in which case we obtain a valid feasible CLT for the estimation error $\hat c_n(m_n, v_n)-\sigma_{\tau}^2$ with convergence rate $\Delta_n^{1/4}$ (which is optimal). While the condition $\sqrt{m_n} v_n^{2-Y}\ll 1$ can be met in principle by taking small enough $v_n$, Theorem (ref) additionally requires $v_n\gg \Delta_n^{1/2}$, and thus implicitly $\Delta_n^{-1/4}\Delta_n^{(2-Y)/2}\ll 1$, which can happen only if $Y<3/2$. Nevertheless, this result significantly improves upon Figueroa-Lopez_Wu_2024 (and also {jacod2012discretization}), where a rate-optimal CLT is shown to be valid only when $Y<4/3$. Theorem (ref) also yields stronger results than the characteristic function approach taken in LIU2018, in which a similar CLT is is shown to be valid, under substantially more restrictive model assumptions\footnote{For instance, they assume that the process $J$ in (ref) is a symmetric stable L\'evy process}, for $Y<3/2$ at a convergent rate strictly slower than $\Delta_n^{1/4}$ (due to an assumption that $m_n\sqrt{\Delta_n}\to{}0$). Further, under case (i), the conditions on $v_n$ take the form $\Delta_n^{\beta}\vee \Delta_n^{\frac{7}{4Y+8}}\ll v_n\ll \Delta_n^{\beta'}$ ($\frac{1}{4-Y}<\beta'<\beta<\frac{1}{2}$), which can hold only if $\frac{7}{4Y+8}>\frac{1}{4-Y}$, which requires $Y<\frac{20}{11}$. Thus, this rate-optimal case (i) covers nearly the entire admissible range of $Y$ observed in applications, and ultimately underpins our feasible efficient CLT in this range (Theorem (ref)). Case (ii): $m_n \sqrt{\Delta_n} \to 0$. This regime corresponds to setting $\theta=0$ in (ref). Indeed, \begin{equation} \sqrt{m_n}\left(\hat c_n(m_n, v_n)-A(v_n,m_n)-\sigma_{\tau}^2\right) =\tilde Z_n(m_n, v_n)+m_n\sqrt{\Delta_n}\tilde Z'_n(m_n, v_n), \end{equation} and, from (ref), the first term above converges to $Z_1$, while the second is $o_P(1)$. In this case, the attained convergence rate, $1/\sqrt{m_n}$, is suboptimal, i.e., slower than the $\Delta^{1/4}$ rate achieved when $\theta\in(0,\infty)$. However, this asymptotic regime has the practical advantage that any eventual estimation of the volatility-of-volatiltity $\tilde\sigma_\tau^2$ is not needed when constructing confidence intervals, since $Z_2$ is absent from the limit. If we also require $\sqrt{m_n} v_n^{2-Y}\ll 1$, then the bias $A(v_n,m_n)$ can be omitted in (ref) leading to a feasible CLT for $\hat c_n(m_n, v_n)$ centered at $\sigma_{\tau}^2$. Under this constraint, the condition $v_n\gg \Delta_n^{\frac{1}{2}}$ and the asymptotic condition of case (ii) together imply that the convergence rate $m_n^{-1/2}$ must be strictly slower than $\Delta_n^{\frac14 \wedge \frac {2-Y}2}$, yielding a convergence rate that can be taken arbitrarily close to $\Delta_n^{1/4}$ when $Y<3/2$ but deteriorates as $Y$ increases to $2$. Case (iii): $m_n \sqrt{\Delta_n} \to \infty$. Though technically excluded from our hypotheses, our results can also cover the regime $m_n\sqrt{\Delta_n}\to\infty$, but at the expense of an upper bound of $Y< 8/5$ in the jump activity index. In this setting, the attained convergence rate is $\sqrt{m_n\Delta_n}$, which is not as fast as the analogous rates when $\theta\in[0,\infty)$.
remarkBeyond finite-sample edge correction, the denominator in (ref) (which converges to 1) relaxes the technical conditions required for our results; without it, additional restrictions on $Y$ and $m_n$ are necessary. Specifically, define ${\tilde c_n(m_n, v_n)} := \sum_{i=1}^{n} K_{m_n\Delta_n}(t_{i-1}-\tau)(\Delta_iX)^2 \mathbf{1}_{\{|\Delta_iX|\leq v_n\}}$, and let $\tilde Z_n(m_n, v_n)$, $\tilde Z'_n(m_n)$, and $A(v_n,m_n)$ denote the corresponding analogs without the denominator. Then the limit (ref) still holds under the hypotheses of Theorem (ref), provided also that $m_n \gg \Delta_n^{-1/3}$. Under this additional condition on $m_n$, (ref) remains valid for $Y<20/11$ when $m_n \sqrt{\Delta_n} \to \theta \in (0,\infty)$. However, a much more substantive difference arises when $m_n \sqrt{\Delta_n} \to 0$: if we also impose $\sqrt{m_n} v_n^{2-Y}\ll 1$ to obtain a feasible CLT (as discussed in Remark (ref)), the constraint becomes $\Delta_n^{-1/3} \ll m_n \ll v_n^{2(Y-2)} \ll \Delta_n^{Y-2}$, which can only be satisfied if $Y<5/3$, illustrating the benefit of including the denominator factor in (ref).
proof[Proof of Theorem (ref)] Denote \begin{align*} Y_i &:= \sqrt{m_n}K_{m_n\Delta_n}(t_{i-1}-\tau)(\Delta_iX)^2\mathbf{1}_{\{|\Delta_iX|\leq v_n\}},\\ Y'_i &:= \frac{\Delta_n}{\sqrt{m_n\Delta_n}}\times\left\{ \begin{aligned} &0, \;&if i=1,\\ -&\Big(\sum_{l=1}^{i-1}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)\Delta_iB,\; &if 2\leq i\leq \ceil{\tau/\Delta_n},\\ &\Big(\sum_{l=i}^{n}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)\Delta_iB,\; &if \ceil{\tau/\Delta_n} < i \leq n. \end{aligned}\right. \end{align*} Consider the following decompositions: \begin{align} \tilde Z_n(m_n, v_n) &=\Big(\frac{\sum_{i=1}^n Y_i}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} - \frac{\sum_{i=1}^n \mathbb E(Y_i|\mathcal{F}_{i-1})}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}\Big) \nonumber\\ &\qquad+ \Big(\frac{\sum_{i=1}^n \mathbb E(Y_i|\mathcal{F}_{i-1})}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} - \sqrt{m_n}\Delta_n\sum_{i=1}^n\frac{K_{m_n\Delta_n}(t_{i-1}-\tau)}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}\sigma_{t_{i-1}}^2 -\sqrt{m_n}A(v_n,m_n)\Big)\nonumber\\ &=:T_1 + T_2, \end{align} and \begin{align} \tilde Z'_n(m_n) &= \tilde \sigma_{\tau}\frac{\sum_{i=1}^nY_i'}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} + \Big({\tilde Z'_n(m_n)}- \frac{\tilde\sigma_{\tau}\sum_{i=1}^n Y_i'}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} \Big)\nonumber\\ &=\tilde\sigma_{\tau} \frac{\sum_{i=1}^nY_i'}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} \nonumber\\ &\quad+ \Big(\frac{\Delta_n}{\sqrt{m_n\Delta_n}}\sum_{i=1}^{n}\frac{K_{m_n\Delta_n}(t_{i-1}-\tau)(\sigma^2_{t_{i-1}} - \sigma^2_\tau)}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} - \tilde\sigma_{\tau} \frac{\sum_{i=1}^nY_i'}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}\Big)\nonumber\\ &=:T_3 + T_4. \end{align} We now proceed to show $(T_1,T_3)\xrightarrow{st} (Z_1, \tilde{\sigma}_\tau Z_2)$ by verifying the conditions of Theorem 2.2.15 in jacod2012discretization, and in addition that $T_2$ and $T_4$ are asymptotically negligible. {\bf a)} We start with $T_3$. Clearly, $\mathbb E(Y'_i|\mathcal F_{i-1}) = 0$ and, using the moment formula for Gaussian distributions {and Lemma 3.1 in FIGUEROALOPEZ20204693}, we have \begin{align*} \sum_{i=1}^n {\mathrm{Var}(Y'_i|\mathcal F_{i-1})}&= \frac{\Delta_n^2}{m_n\Delta_n} \sum_{i=1}^n \left(\Big(-\sum_{l=1}^{i-1}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)^2\Delta_n\mathbf{1}_{\tau\geq t_i} + \Big(\sum_{l=i}^{n}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)^2\Delta_n\mathbf{1}_{\tau< t_i}\right)\nonumber\\ &\quad= \frac{1}{m_n\Delta_n}\int_0^1 \Big(\int_{{v}}^{1}K_{m_n\Delta_n}({s}-\tau)ds\mathbf{1}_{\tau\geq {v}}-\int^{{v}}_{0}K_{m_n\Delta_n}({s}-\tau)ds\mathbf{1}_{\tau< {v}}\Big)^2 dv + o_P(1)\nonumber\\ &\quad \xrightarrow{P} \int \Big(\int_t^{\infty}K(u)du\mathbf{1}_{t\geq 0}-\int^t_{-\infty}K(u)du\mathbf{1}_{t<0}\Big)^2 dt,\nonumber \end{align*} and \begin{align*} \sum_{i=1}^n\mathbb E({Y'}_i^4|\mathcal F_{i-1})&= \frac{3\Delta_n^4}{m_n^2\Delta_n^2} \sum_{i=1}^n \left(\Big(\sum_{l=1}^{i-1}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)^4\Delta_n^2\mathbf{1}_{\tau\geq t_i} + \Big(\sum_{l=i}^{n}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)^4\Delta_n^2\mathbf{1}_{\tau< i}\right)\nonumber\\ &\quad =\frac{3}{m_n}\int \left(\int_t^{\infty}K(u)du\mathbf{1}_{t\geq 0}-\int^t_{-\infty}K(u)du\mathbf{1}_{t<0}\right)^4 dt + o_P(1)\xrightarrow{P} 0.\nonumber \end{align*} On the other hand, by Assumption (ref) and Lemma 3.1 in FIGUEROALOPEZ20204693, with $f\equiv 1$ and $m=1$ therein, we have \begin{align} \Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau) - 1 = {O(m_n^{-1})}, \end{align} which vanishes as $n\rightarrow \infty$. Therefore, \begin{gather*} \frac{\sum_{i=1}^n {\mathrm{Var}(Y'_i|\mathcal F_{i-1})}}{{\big(\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)\big)^2}} \xrightarrow{P} \int \Big(\int_t^{\infty}K(u)du\mathbf{1}_{t\geq 0}-\int^t_{-\infty}K(u)du\mathbf{1}_{t<0}\Big)^2 dt,\\ and \;\frac{\sum_{i=1}^n\mathbb E({Y'}_i^4|\mathcal F_{i-1})}{\big(\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)\big)^4}\rightarrow 0. \end{gather*} To conclude $T_3 \xrightarrow{ st} \tilde{\sigma}_\tau Z_2$, from Theorem 2.2.15 in jacod2012discretization it suffices to show the following technical condition: \begin{align} \sum_{i=1}^n\mathbb E_{i-1}\big(Y'_i\Delta_iM\big) \rightarrow 0, \end{align} where $\mathbb E_{i-1}(\cdot) = \mathbb E(\cdot|\mathcal{F}_{i-1})$ and $M$ is either $W$ or $B$ or is in the set $\mathcal N$ containing all bounded martingales orthogonal to $W$ and $B$. When $M = B$, we have \begin{align*} \sum_{i=1}^n\mathbb E(Y'_i\Delta_iB|\mathcal F_{i-1}) &= \frac{\Delta_n}{\sqrt{m_n\Delta_n}} \sum_{i=1}^n \left(-\Big(\sum_{l=1}^{i-1}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)\Delta_n\mathbf{1}_{\tau\geq t_i} + \Big(\sum_{l=i}^{n}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)\Delta_n\mathbf{1}_{\tau<{ t_i}}\right)\nonumber\\ & = \frac{1}{\sqrt{m_n\Delta_n}}\int_0^1 \Big(\int_{{v}}^{1}K_{m_n\Delta_n}({s}-{\tau})ds\mathbf{1}_{\tau\geq {v}}-\int^{{v}}_{0}K_{m_n\Delta_n}(s-{\tau})ds\mathbf{1}_{\tau<{v}}\Big) d{v} + o(1)\nonumber\\ & =\sqrt{m_n\Delta_n} \int \Big(\int_t^{\infty}K(u)du\mathbf{1}_{t\geq 0}-\int^t_{-\infty}K(u)du\mathbf{1}_{t<0}\Big) d{t} + o(1) \xrightarrow{P} 0. \end{align*} When $M \in \mathcal N$ or $M = W$, since $ \mathbb E(\Delta_iB\Delta_iW|\mathcal{F}_{i-1}) = O_P(\Delta_n)$, similar to the case with $M=B$, we obtain $$\sum_{i=1}^n\mathbb E\big(Y'_i\Delta_iM|\mathcal{F}_{i-1}\big)\lesssim \frac{1}{\sqrt {m_n\Delta_n}}\int \Big(\int_t^{\infty}K(u)du\mathbf{1}_{\tau\geq 0}-\int^t_{-\infty}K(u)du\mathbf{1}_{\tau<0}\Big)dt \rightarrow 0.$$ {\bf b)} Next, we work with the term $T_4$ of (ref). Let $i'\in\{1,\dots,n\}$ be such that $\tau \in (t_{i'-1},t_{i'}]$. Notice that \begin{align} \sum_{i=1}^n Y_i' &= -\sum_{l=1}^{i'-1}\big(\sum_{i=l+1}^{i'}\Delta_iB\big)K_{m_n\Delta_n}(t_{l-1}-\tau) + \sum_{l=i'+1}^n\big(\sum_{i=i'+1}^{l}\Delta_iB\big)K_{m_n\Delta_n}(t_{l-1}-\tau)\\ &=\sum_{l=1}^{i'-1}K_{m_n\Delta_n}(t_{l-1}-\tau)(B_{t_l}-B_{t_{i'}}) + \sum_{l=i'+1}^nK_{m_n\Delta_n}(t_{l-1}-\tau)(B_{t_l}-B_{t_{i'}}). \end{align} {In light of (ref)}, we can then write \begin{align} |T_4| &\lesssim \Big|\frac{1}{\sqrt{m_n\Delta_n}}\Big(\Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau)\big(\int_{\tau}^{t_{i-1}}(\tilde\sigma_s-\tilde\sigma_\tau)dB_s+\int_{\tau}^{t_{i-1}}\tilde \mu_sds\big)\Big)\Big|\nonumber\\ &\quad + \Big| \frac{1}{\sqrt{m_n\Delta_n}} \Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau)\Big(\int_{t_{i-1}}^{t_{i}}\tilde\sigma_\tau dB_s+\int_{\tau}^{t_{i'}}\tilde\sigma_\tau dB_s\Big)\Big|=:|T_{4,1}|+|T_{4,2}|. \end{align} Since $|B_{t_{i'}} - B_\tau| = O_P(\Delta_n^{1/2})$ and $\sup_i|B_{t_i}-B_{t_{i-1}}| = O_P(\Delta_n^{1/2}\mathrm {log}(n)^{1/2})$, the second term $T_{4,2}$ has order $O_P(\frac{\sqrt{\Delta_n\mathrm {log}(n)}}{\sqrt{m_n\Delta_n}})$ and vanishes given that $m_n\gg \sqrt{\mathrm {log}(n)}$ as $n\rightarrow \infty$. We just need to worry about the first term. Let \[ \eta_i := \int_{\tau}^{t_{i-1}}(\tilde\sigma_\tau-\tilde\sigma_s)dB_s+\int_{\tau}^{t_{i-1}}\tilde \mu_sds,\quad\text{and}\quad \quad \rho(i) := \frac{1}{t_{i-1}-\tau}\mathbb E\Big(\int_{\tau}^{t_{i-1}}|\tilde\sigma_s - \tilde \sigma_{\tau}|^2ds\Big). \] Note that, following the same argument as in the proof of (13.3.37) for $j=6$ in jacod2012discretization (see also the proof of (A.6) for $l=4$ in Figueroa-Lopez_Wu_2024), and using that $\tilde \sigma$ is càdlàg and bounded, for any positive sequence $N_n \rightarrow \infty$ with $m_n\Delta_nN_n\rightarrow 0$ as $n\rightarrow \infty$, it holds that $$\mathbb E(\eta_i^21_{i\in\mathcal{I}_n})\leq c|t_{i-1}-\tau|\rho(i)\quad \text{and}\quad\sup_{i\in\mathcal{I}_n}\rho(i) \rightarrow 0,$$ where $\mathcal{I}_n:=\{i\in\{1,\dots,n\}:t_i \in (\tau-Nm_n\Delta_n,\tau + Nm_n\Delta_n)\}$. Additionally, using the It\^o isometry and boundedness of $\tilde{\sigma}$ and $\tilde \mu$, it is easily seen that $\mathbb E \eta_i^2 \lesssim |\tau - t_i|$ for any $i$. Thus, \begin{align*} \mathbb E|T_{4,1}| &\lesssim\frac{1}{\sqrt{m_n\Delta_n}}\Big(\Delta_n\sum_{i=1}^nK_{m_n\Delta_n}(t_{i-1}-\tau){\left(\mathbf{1}_{i\in\mathcal{I}_n}+ \mathbf{1}_{i\notin\mathcal{I}_n}\right)}\sqrt{\mathbb E\eta_i^2}\Big)\\ &\lesssim\frac{1}{\sqrt{m_n\Delta_n}}\Big(\Delta_n\sum_{i=1}^{n}\frac{1}{m_n\Delta_n}\mathbf{1}_{i\in\mathcal{I}_n}\sqrt{|t_{i-1}-\tau|\rho_i}\Big)\\ &\quad+ \frac{1}{\sqrt{m_n\Delta_n}}\Big(\Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau))\mathbf{1}_{i\notin\mathcal{I}_n}\sqrt{|t_{i-1}-\tau|}\Big) \\ & \lesssim \frac{m_n\Delta_n}{\sqrt{m_n\Delta_n}m_n\Delta_n}N_n\sqrt{N_n m_n\Delta_n \sup_{i\in\mathcal{I}_n}\rho_i} +\int_{|u|>N} K(u)\sqrt{|u|} du\Big). \end{align*} Then, we see that $T_4=o_P(1)$ by taking $N_n\to\infty$ slow enough such that $N_n^{3/2}\sup_{i\in\mathcal{I}_n}\rho_i \rightarrow 0$ (such an $N_n$ is possible since as $N_n$ diverges more slowly, the quantity $\sup_{i\in\mathcal{I}_n}\rho_i$ vanishes at a faster rate). Now, we conclude \begin{align*} \frac{1}{\sqrt{m_n\Delta_n}}\tilde Z'_n(m_n) \rightarrow N\big(0,\tilde\sigma_{\tau}^2 L^2(t)\big). \end{align*} {\bf c)} We now proceed to consider $T_1$ and $T_2$ of Eq. (ref). First, by Proposition (ref), for any $p>2$, we can write \begin{align*} \mathbb E(Y_i|\mathcal F_{i-1}) & = \sqrt{m_n}K_{m_n\Delta_n}(t_{i-1}-\tau)\big(\sigma_{t_{i-1}}^2\Delta_n+C_{1,i}\Delta_n v_n^{2-Y}+D_{1,i} \Delta_n^2 v_n^{-Y}+O_P(\Delta_n^3 v_n^{-2-Y}) +o_P(\Delta_n^{5/4})\big),\nonumber\\ \mathbb E(Y_i^p|\mathcal F_{i-1}) & \lesssim m_n^{p/2} K^p_{m_n\Delta_n}(t_{i-1}-\tau)\big(\Delta_n^{p}\sigma_{t_{i-1}}^{2p} + \Delta_n v_n^{2p-Y}\big),\nonumber\\ \mathrm{Var}(Y_i|\mathcal F_{i-1}) &=m_n K^2_{m_n\Delta_n}(t_{i-1}-\tau)\big( 2\Delta_n^2\sigma_{t_{i-1}}^4 + O_P(\Delta_n^2 v_n^{2-Y}) + O(\Delta_n v_n^{4-Y})\big) \nonumber\\ &=m_n K^2_{m_n\Delta_n}(t_{i-1}-\tau)\big( 2\Delta_n^2\sigma_{t_{i-1}}^4 + O_P(\Delta_n v_n^{4-Y})\big). \end{align*} Then, $$s_{1n}^2 :=\sum_{i=1}^n\mathrm{Var}(Y_i|\mathcal F_{i-1}) = m_n\sum_{i=1}^nK^2_{m_n\Delta_n}(t_{i-1}-\tau)\big( 2\Delta_n^2\sigma_{t_{i-1}}^4 + O_P(\Delta_n v_n^{4-Y})\big).$$ Given $ v_n \ll \Delta_n^{\frac{1}{4-Y}}$ and (ref), we obtain \begin{align*} \frac{s_{1n}^2}{(\Delta_n\sum_{j=1}K_{m_n\Delta_n}(t_{j-1}-\tau))^2}\rightarrow2\sigma^4_\tau\int K^2(x)dx. \end{align*} Moreover, we have \begin{align*} \sum_{i=1}^n\mathbb E(Y_i^p|\mathcal F_{i-1}) \lesssim \frac{1}{m_n^{p/2-1}\Delta_n^{p-1}}\int K^p(x)dx (\sigma^{2p}_{\tau}\Delta_n^{p-1} + O_P(v_n^{2p-Y})). \end{align*} If we rewrite $p = (2 \ell +1)/ \ell$ for some ${\ell}>0$, the right-hand side of the above inequality vanishes if and only if \begin{align*} m_n^{-\frac{1}{2\ell}}\Delta_n^{-1-\frac{1}{\ell}}v_n^{\frac{4\ell+2}{\ell}-Y} = \Big((\Delta_n^{-1}v_n^{4-Y})^\ell (m_n^{-\frac{1}{2}}\Delta_n^{-1}v_n^{2})\Big)^{\frac{1}{\ell}} = \Delta_n^{-1}v_n^{4-Y} \Big(m_n^{-\frac{1}{2}}\Delta_n^{-1}v_n^{2}\Big)^{\frac{1}{\ell}}\rightarrow 0. \end{align*} Since $\Delta_n^{-1}v_n^{4-Y}\ll \Delta_n^{\beta'(4-Y)-1}\ll \Delta_n^s$ for small enough $s>0$, the above vanishes by picking $\ell$ large enough. In light of (ref), we also have $\frac{\sum_{i=1}^n\mathbb E(Y_i^p|\mathcal F_{i-1})}{(\Delta_n\sum_{j=1}K_{m_n\Delta_n}(t_{j-1}-\tau))^p}\rightarrow 0$ as $n\rightarrow \infty$ for such {an $\ell$}. To show $T_2=o_P(1)$, recall $m_n = O(\Delta_n^{-\frac{1}{2}})$ and, thus, by Proposition (ref) and (ref), \begin{align} \sum_{i=1}^n\mathbb E(Y_i|\mathcal F_{i-1}) &=\sqrt{m_n}\sum_{i=1}^n K_{m_n\Delta_n}(t_{i-1}-\tau)\Delta_n\sigma_{t_{i-1}}^2 +\sqrt{m_n}\sum_{i=1}^n K_{m_n\Delta_n}(t_{i-1}-\tau)C_{1,i} \Delta_nv_n^{2-Y} \nonumber\\ &+ \sqrt{m_n}\sum_{i=1}^nK_{m_n\Delta_n}(t_{i-1}-\tau)D_{1,i} \Delta_n^2 v_n^{-Y} + O_P(\sqrt{m_n}\Delta_n^2 v_n^{-2-Y})+o_P(1). \end{align} Hence, \begin{align*} T_2&=\frac{\sum_{i=1}^n \mathbb E(Y_i|\mathcal{F}_{i-1})}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} - \sqrt{m_n}\Delta_n\sum_{i=1}^n\frac{K_{m_n\Delta_n}(t_{i-1}-\tau)}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}\sigma_{t_{i-1}}^2 -\sqrt{m_n}A(v_n,m_n)\\ &= O_P(\sqrt{m_n}\Delta_n^2 v_n^{-2-Y}), \end{align*} which vanishes due to the condition $m_n\ll \Delta_n^{-4}v_n^{4+2Y}$. To obtain $T_1\xrightarrow{st} Z_1$, by Theorem 2.2.15 in jacod2012discretization, it suffices to check the condition: \begin{align} \sum_{i=1}^n\mathbb E_{i-1}\big(Y_i\Delta_iM\big) \rightarrow 0, \end{align} where $M$ is either $W$ or $B$ or is in the set $\mathcal N$ containing all bounded martingales orthogonal to $W$ and $B$. The proof of (ref) is technical and is deferred to Appendix (ref). This concludes the proof for $\tilde Z_n(m_n, v_n) \xrightarrow{ st} Z_1$. d) To establish the joint convergence (ref) and the asymptotic independence of $T_1,T_2$, it is sufficient to show that \begin{align} \sup_i\Big|\mathbb E\big((\Delta_iX)^2\mathbf{1}_{\{|\Delta_iX|\leq v_n\}}\Delta_iB|\mathcal{F}_{i-1}\big)\Big| = o_P(\Delta_n^{3/2}), \end{align} which is shown in Appendix (ref). Indeed, from (ref) we obtain: \begin{align*} &\sum_{i=1}^n\Big|\mathbb E(\left. Y_iY'_i\right|\mathcal F_{i-1})\Big|\nonumber\\ &\quad = \frac{\sqrt{m_n}\Delta_n}{\sqrt{m_n\Delta_n}}\sum_{i=1}^n K_{m_n\Delta_n}(t_{i-1}-\tau)\cdot\left|\Big(-\sum_{l=1}^{i-1}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)\mathbf{1}_{\tau\geq t_i} + \Big(\sum_{l=i}^{n}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)\mathbf{1}_{\tau< t_i}\right|\nonumber\\ &\qquad\qquad\qquad\qquad\qquad\qquad\qquad\cdot\Big|\mathbb E\big((\Delta_iX)^2\mathbf{1}_{\{|\Delta_iX|\leq v_n\}}\Delta_iB|\mathcal{F}_{i-1}\big)\Big|\nonumber\\ &\quad = \Delta_n^2\sum_{i=1}^n K_{m_n\Delta_n}(t_{i-1}-\tau)\cdot\left(\Big(\sum_{l=1}^{i-1}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)\mathbf{1}_{\tau\geq t_i} + \Big(\sum_{l=i}^{n}K_{m_n\Delta_n}(t_{l-1}-\tau)\Big)\mathbf{1}_{\tau< t_i}\right)o_P(1)\nonumber\\ &\quad = \int_0^1 K_{m_n\Delta_n}(v-\tau)\Big({\int_{0}^{v}}K_{m_n\Delta_n}(s-\tau)ds\mathbf{1}_{\tau\geq v}+{\int_{ v}^{1}}K_{m_n\Delta_n}( s-\tau)ds\mathbf{1}_{\tau< v}\Big) dv \cdot o_P(1)\xrightarrow{P} 0. \end{align*} In view of (ref) and (ref), one can finally apply Theorem 2.2.15 in jacod2012discretization to conclude the proof.

The next result is the second key ingredient needed for our debiasing method. For an arbitrary fixed $\zeta>1$, it establishes the convergence rate of the difference $\tilde Z_n(m_n, \zeta v_n)-\tilde Z_n(m_n, v_n)$, i.e. of $\hat c_{n,1}(m_n,\zeta v_n)-\hat c_{n,1}(m_n, v_n)$ subject to a bias correction, which we exploit in our debiasing procedure.

theoremSuppose that $1<Y<2$, $ \sqrt{\mathrm {log}(n)} \ll m_n$, $m_n = O(\Delta_n^{-\frac{1}{2}})$, $\Delta_n^{\beta}\ll v_n \ll \Delta_n^{\beta'}$ with $\frac{1}{4-Y}<\beta'<\beta<\frac{1}{2}$, and $m_n \rightarrow \infty$ such that $v_n^{\gamma}\Delta_n^{-1}\ll m_n \ll \Delta_n^{-5} v_n^{8+Y}$ with some $\gamma<Y$. Then, under Assumptions (ref) and (ref), for an arbitrary fixed $\zeta > 1$, we have \begin{align} u_n^{-1}\big(\tilde Z_n(m_n, \zeta v_n)-\tilde Z_n(m_n, v_n)\big) \xrightarrow{\mathcal D} \mathcal N \left(0,\frac{(C_++C_-)|\chi_{\tau}|^Y}{4-Y}(\zeta^{4-Y}-1)\int K^2(x)dx\right), \end{align} as $n\rightarrow \infty$, where $u_n:= \Delta_n^{-1/2} v_n^{2-Y/2}\rightarrow 0$.
remarkThe conditions on $m_n$ in Theorem (ref) are stricter than those in Theorem (ref) due to the condition $\Delta_n^{-1}v_n^\gamma\ll m_n\ll \Delta_n^{-5}v_n^{8+Y}$ (note $\Delta_n^{-5}v_n^{8+Y} \ll \Delta_n^{-4}v_n^{4+2Y}$, which was the the upper bound for $m_n$ in Theorem (ref)). As we shall see, the optimal rate of convergence of the estimation error of our ultimate debiased estimator can be achieved by taking $m_n=\theta\Delta_n^{-1/2}$ for any constant $\theta>0$ (cf. Remark (ref)). In this bandwidth regime, the additional constraint on $m_n$ in Theorem (ref) reduces to $\Delta_n^{\frac{9}{16+2Y}}\ll v_n \ll \min(\Delta_n^{\frac{1}{4-Y}},\Delta_n^{\frac{1}{2\gamma}})$, whose upper bound and lower bound {can be made} compatible only if ${Y}<20/11$.
proofDenote $$Z_i = \frac{m_n^{1/2}}{\Delta_n^{-1/2} v_n^{2-Y/2}} K_{m_n\Delta_n}(t_{i-1}-\tau)(\Delta_iX)^2\left(\mathbf{1}_{\{|\Delta_iX|\leq \zeta v_n\}}-\mathbf{1}_{\{|\Delta_iX|\leq v_n\}}\right),$$ and note that \begin{align*} u_n^{-1}\big(\tilde Z_n(m_n, \zeta v_n)-\tilde Z_n(m_n, v_n)\big)&=\frac{\sum_{i=1}^n Z_i}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}-{u_n^{-1}\sqrt{m_n}\left(A(\zeta v_n,m_n)-A(v_n,m_n)\right)}\\ &=:\frac{\sum_{i=1}^n\xi_i}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}\\ &\quad+\Big(\frac{\sum_{i=1}^n\mathbb E(Z_i|\mathcal{F}_{i-1})}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}-u_n^{-1}\sqrt{m_n}\left(A(\zeta v_n,m_n)-A(v_n,m_n)\right)\Big), \end{align*} {where $\xi_i:=Z_i-\mathbb E(Z_i|\mathcal{F}_{i-1})$}. The second term above is $o_P(1)$. Indeed, since $m_n = O(\Delta_n^{-\frac{1}{2}})$, {by (ref) in Proposition (ref), \begin{align*} &\frac{\sum_{i=1}^n\mathbb E(Z_i|\mathcal{F}_{i-1})}{\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)} - u_n^{-1}\sqrt{m_n}\big(A({\zeta v_n},m_n) - A({v_n},m_n)\big)\\ &\quad\lesssim \frac{m_n^{1/2}\Delta_n^2 v_n^{-2-Y}}{\Delta_n^{-1/2} v_n^{2-Y/2}} +\frac{m_n^{1/2}o_P(\Delta_n^{-1/4} v_n^{2-Y/2})}{\Delta_n^{-1/2} v_n^{2-Y/2}}\\ &\quad= m_n^{1/2}\Delta_n^{5/2}v_n^{-4-Y/2}+o_P(1), \end{align*} which} vanishes given our assumption $m_n \ll \Delta_n^{-5}v_n^{8+Y}$. Next we obtain the asymptotic behavior for $\sum_{i=1}^n {\xi_i}$ by verifying the conditions of Theorem 2.2.15 in jacod2012discretization. Expression (ref) in Proposition (ref) yields \begin{align*} \mathrm{Var}({\xi_i}|\mathcal{F}_{i-1}) & = \frac{m_n}{\Delta_n^{-1} v_n^{4-Y}} K^2_{m_n\Delta_n}(t_{i-1}-\tau)\Big((\zeta^{4-Y}-1){C_{2,i}}\Delta_n v_n^{4-Y} + {o_P(\Delta_n v_n^{4-Y})}\\ &\qquad\qquad\quad\qquad\qquad\qquad\qquad- \big\{(\zeta^{2-Y}-1){C_{1,i}}\Delta_nv_n^{2-Y}+(\zeta^{-Y}-1){D_{1,i}}\Delta_n^2v_n^{-Y}+{O_P(\Delta_n^3 v_n^{-2-Y})}\big\}^2 \Big)\nonumber\\ & = \frac{m_n}{\Delta_n^{-1} v_n^{4-Y}} K^2_{m_n\Delta_n}(t_{i-1}-\tau)\big( (\zeta^{4-Y}-1){C_{2,i}}\Delta_n v_n^{4-Y} + o_P(\Delta_n v_n^{4-Y}) \big), \end{align*} where $C_{2,i} = \frac{(C_++C_-)|\chi_{t_{i-1}}|^Y}{4-Y}$. {Therefore,} with $1<Y<2$ and $ v_n \ll \Delta_n^{1/(4-Y)}$, we obtain \begin{align*} s_{2n}^2 &:= \sum_{i=1}^n \mathrm{Var}({\xi_i}|\mathcal{F}_{i-1}) \\ &=m_n\Delta_n^2 \sum_{i=1}^nK^2_{m_n\Delta_n}(t_{i-1}-\tau)\frac{(C_++C_-)|\chi_{t_{i-1}}|^Y}{4-Y}(\zeta^{{4-Y}}-1) + o_P(1) \\ &\longrightarrow \frac{(C_++C_-)|\chi_{\tau}|^Y}{4-Y}(\zeta^{{4-Y}}-1)\int K^2(x)dx. \end{align*} And consequently, with (ref), we have \begin{equation} \frac{s_{2n}^2}{\big(\Delta_n\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)\big)^2} \rightarrow \frac{(C_++C_-)|\chi_{\tau}|^Y}{4-Y}(\zeta^{{4-Y}}-1)\int K^2(x)dx. \end{equation} {Similarly, for any} $p>2$, we have\footnote{{By a standard localization argument, we may assume that $\sigma$ is bounded.}} \begin{align} \frac{\sum_{i=1}^n\mathbb E({\xi_i^p}|\mathcal{F}_{i-1})}{\big(\Delta_n{\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)\big)^p}} &\lesssim \frac{m_n^{p/2}}{\Delta_n^{-p/2} v_n^{2p-pY/2}} \sum_{i=1}^nK^p_{m_n\Delta_n}(t_{i-1}-\tau)(\Delta_n v_n^{2p-Y}+\Delta_n^{p})\notag\\ &\lesssim \frac{v_n^{(p/2-1)Y}}{m_n^{p/2-1}\Delta_n^{p/2-1}}\int K^p(x)dx +\frac{\Delta_n^{p/2}}{m_n^{p/2-1}v_n^{2p-pY/2}}\int K^p(x)dx. \end{align} In (ref) the first term vanishes for any $p>2$ since $m_n^{-1}\Delta_n^{-1}v_n^Y \rightarrow 0$. For the second term, note that it can be written as $\Big(m_n^{1/p}\Delta_nv_n^{-2}\Delta_n^{-1/2}m_n^{-1/2}v_n^{Y/2}\Big)^p$. By taking $p\downarrow2$, the second term vanishes given $\Delta_nv_n^{-2}\lesssim \Delta_n^{1-2\beta}\rightarrow 0$ with $\beta<\frac{1}{2}$ and $m_n^{-1}\Delta_n^{-1}v_n^Y \rightarrow 0$. In view of (ref) and (ref), what remains is to check the martingale technical condition from Theorem 2.2.15 in jacod2012discretization. Specifically, due to (ref), it requires us to show that as \(n \to \infty\), \[ {\sum_{i=1}^n \mathbb E_{i-1} \left[ \xi_i \Delta_n M \right]}=\sum_{i=1}^n \mathbb E_{i-1} \left[ Z_i \Delta_n M \right] \overset{P}{\to} 0, \] when \(M = W\) or \(M\) is a bounded martingale orthogonal to \(W\). Equivalently, it suffices to prove that \[ \frac{m_n^{1/2}}{\Delta_n^{-1/2} v_n^{2-Y/2}} \sum_{i=1}^n K_{m_n\Delta_n}(t_{i-1}-\tau) \mathbb E_{i-1} \left[ (\Delta_i X)^2 f(\Delta_i X) \Delta_i M \right] = o_P(1), \] where \(f(x) := \mathbf{1}_{\{v_n < |x| \leq \zeta v_n\}}\). Similar to the proof of Lemma 12 in BONIECE2024, there exists a \(C^2\) smooth approximation \(f_n\) of \(f\) such that for any \(\eta > 0\), \[ \mathbf{1}_{\{v_n(1+ \frac{2}{3}v_n^\eta) < |x| < \zeta v_n(1 - \frac{2}{3}v_n^\eta)\}} \leq f_n(x) \leq \mathbf{1}_{\{v_n(1 + \frac{1}{3}v_n^\eta) < |x| < \zeta v_n(1 - \frac{1}{3}v_n^\eta)\}}, \] \[ |f'_n(x)| \leq \frac{C}{v_n^{1+\eta}}, \quad |f''_n(x)| \leq \frac{C}{v_n^{2+2\eta}}. \] Then, the result follows from the following two limits \begin{align} \frac{m_n^{1/2}}{\Delta_n^{-1/2} v_n^{2-Y/2}} \sum_{i=1}^nK_{m_n\Delta_n}(t_{i-1}-\tau) \mathbb E_{i-1} \left[ (\Delta_i X)^2 (f - f_n)(\Delta_i X) \Delta_i M \right] \to 0, \end{align} and \begin{align} \frac{m_n^{1/2}}{\Delta_n^{-1/2} v_n^{2-Y/2}} \sum_{i=1}^n K_{m_n\Delta_n}(t_{i-1}-\tau) \mathbb E_{i-1} \left[ (\Delta_i X)^2 f_n(\Delta_i X) \Delta_i M \right] = o_P(1). \end{align} {While the proof of (ref) is relatively straightforward, the proof of (ref) is nontrivial and lengthy. This is shown in Appendix (ref).}

Finally we are ready to formally construct our debiasing estimators. Our debiasing steps follow the same idea as in Jacod2014. Write $\vec \zeta_k=(\zeta_1,\dots,\zeta_k)$, where $\zeta_1,\dots,\zeta_k>1$ are fixed constants. Let

align[align omitted — 446 chars of source]

for each $k\geq 1$, with $\widetilde c^{(0)}_n(m_n, v_n) = \hat c_n(m_n, v_n) $. Our next theorem is the second main result of this paper; it establishes a CLT for the feasible estimator $\widetilde c^{(2)}_n(m_n,v_n,\vec \zeta_2)$.

theoremLet \begin{align} \tilde Z^{(2)}_n(m_n, v_n) &:= \sqrt{m_n}\Big(\widetilde c^{(2)}_n(m_n,v_n,\vec \zeta_2) -\hat c_{n,2}(m_n)\Big).\nonumber \end{align} Then, under the assumptions and notation of Theorems (ref) and (ref), as $n\rightarrow \infty$, \begin{align} (\tilde Z^{(2)}_n(m_n, v_n),\tilde Z'_n(m_n)) \xrightarrow{ st} \mathcal (Z_1,{Z_2}). \end{align} Furthermore, if we set $$m_n\sqrt{\Delta_n} \rightarrow \theta, \quad \text{with} \quad\theta\in{[0,\infty)},$$ we have the following stable convergence in law, as $n\rightarrow \infty$: \begin{equation} \sqrt{m_n} (\tilde c^{(2)}_n(m_n, v_n,\vec \zeta_2)-\sigma_\tau^2) \xrightarrow{ st} Z_1 + \theta{Z_2}. \end{equation}
remarkRecall that Remark (ref) identifies two bandwidth regimes of primary importance: (i) $0<\theta<\infty$, and (ii) $\theta=0$, both with a {convergence} rate dictated by $m_n^{-1/2}.$ In case (i), a rate-optimal (feasible) CLT for $\tilde c_n^{(2)}(m_n, v_n,\vec \zeta_2)$ is attained in (ref) since $m_n^{-1/2}\asymp \Delta_n^{1/4}$, provided $1\leq Y<20/11$, but no CLT is available in case (i) when $Y\geq 20/11$. In case (ii), the rate is strictly slower than $\Delta_n^{1/4}$ (see Remark (ref) for details), but a CLT still holds for $\tilde c^{(2)}_n(m_n, v_n,\vec \zeta_2)$ even when $20/11\leq Y<2$ at the expense of a deteriorating rate. Indeed, since $m_n\ll \Delta_n^{-5}v_n^{8+Y}$ and $v_n\ll\Delta_n^{\frac{1}{4-Y}}$, we have $m_n\ll \Delta_n^{(6Y-12)/(4-Y)}$ and hence $m_n^{-1/2}\gg \Delta_n^{(6-3Y)/(4-Y)}$, which tends to zero more slowly as $Y$ gets closer to $2$.
remarkIn Theorem (ref), we proceeded with a two-step debiasing procedure to iteratively remove bias terms in $A(v_n,m_n)$ one at a time. However, if the second-order term in (ref) is negligible when multiplied by $u_n^{-1}\sqrt{m_n}$ (and, thus, (ref) is valid replacing $A(v_n,m_n)$ with only the first-order term $\sum_{i=1}^nK_{m_n\Delta_n}(t_{i-1}-\tau)C_{1,i}\Delta_n v_n^{2-Y}$), then only one debiasing step is needed. Specifically, for one-step debiasing it suffices that \[ \sqrt{m_n}\sum_{i=1}^n K_{m_n\Delta_n}(t_{i-1}-\tau)C_{1,i}\Delta_n^2 v_n^{-Y}\ll 1. \] Therefore, we only require that $u_n^{-1}\sqrt{m_n}\Delta_nv_n^{-Y}\ll 1$ or, equivalently, $m_n\ll \Delta_n^{-3} v_n^{Y+4}$. In the optimal-rate bandwidth regime $m_n\asymp \Delta_n^{-1/2}$, this imposes the relation $\Delta_n^{\frac{5}{2(Y+4)}}\ll v_n$, but since $v_n\ll \Delta_n^{\frac{1}{4-Y}}$, this yields the restriction $Y<12/7$. Similarly as in Remark (ref), if $Y\geq 12/7$ and $\theta=0$, the one-step debiased estimator $\tilde c^{(1)}_n(m_n, v_n,\zeta_1)$ will still enjoy a CLT centered at $\sigma_\tau^2$, but with a rate strictly slower than $\Delta_n^{\frac{4-2Y}{4-Y}}$, which tends to zero more slowly as $Y$ gets closer to $2$.
proofDenote $\mathcal{I} = \{(1,1),(2,1)\}$ and recall that \begin{align} \tilde Z_n(m_n, v_n) = \sqrt {m_n} \left(\hat c_n(m_n, v_n) - \frac{\Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau)\sigma_{t_{i-1}}^2}{\Delta_n{\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}} -{A(v_n,m_n)}\right), \end{align} where \begin{align*} A(v_n,{m_n}) = \frac{\sum_{i=1}^nK_{m_n\Delta_n}(t_{i-1}-\tau){C_{1,i} \Delta_n} v_n^{2-Y}}{\Delta_n{\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}} + \frac{\sum_{i=1}^nK_{m_n\Delta_n}(t_{i-1}-\tau){D_{1,i}} {\Delta_n^2} v_n^{-Y}}{{\Delta_n{\sum_{j=1}^nK_{m_n\Delta_n}(t_{j-1}-\tau)}}} =: \sum_{(i,j)\in \mathcal I} a_{i,j}( v_n). \end{align*} We introduce the following notation: \begin{equation} \begin{aligned} &\eta_{i,j}(\zeta) := \zeta^{2-2(i-j)-jY}-1,\nonumber\\ &\Psi_n:= u_n^{-1}\big(\tilde Z_n(\zeta_{1}^2 m_n, v_n) - 2\tilde Z_n(\zeta_{1} m_n, v_n) + \tilde Z_n( m_n, v_n)\big) = O_P(1),\nonumber\\ &\Phi_n := u_n^{-1}\big(\tilde Z_n(\zeta m_n, v_n)-\tilde Z_n( m_n, v_n)\big) = O_P(1), \end{aligned} \end{equation} where $O_P(1)$ is a consequence of Theorem (ref). Note that, for any $(i,j)$ we have \begin{equation} \begin{aligned} &a_{i,j}(\zeta v_n) - a_{i,j}( v_n) = \eta_{i,j}(\zeta)a_{i,j}( v_n),\\ & a_{i,j}(\zeta^2 v_n) - 2a_{i,j}(\zeta v_n) + a_{i,j}( v_n) = \eta_{i,j}^2(\zeta)a_{i,j}( v_n). \end{aligned} \end{equation} Recall $\Delta_nv_n^{-2}\ll1$ gives the order comparison: \begin{align} a_{1,1}( v_n) \gg a_{2,1}( v_n). \end{align} In the first stage of debiasing, the leading order term $a_{1,1}( v_n)$ is removed. \subsubsection*{First step: removal of $a_{1,1}( v_n)$} Let \begin{align} \widetilde c_n^{(1)}(m_n,v_n,\zeta_{1}) &= \hat c_n(m_n, v_n) - \frac{\Big(\hat c_n(m_n,\zeta_{1} v_n)-\hat c_n(m_n, v_n)\Big)^2}{{\hat c_n(m_n,\zeta_{1}^2 v_n)} - 2\hat c_n(m_n,\zeta_{1} v_n) + \hat c_n(m_n, v_n)}\nonumber\\ &=:\hat c_n(m_n, v_n) - \hat a_{1,1}( v_n). \end{align} Note that, due to (ref)-(ref), \begin{align*} \hat{c}_n(m_n,\zeta v_n)-\hat{c}_n(m_n,v_n) &=m_n^{-1/2}\left(\tilde Z_n(m_n, \zeta v_n)-\tilde Z_n(m_n, v_n)\right)+A_n(\zeta v_n,m_n)-A_n(v_n,m_n)\\ &=m_n^{-1/2}u_n\Phi_n+A_n(\zeta v_n,m_n)-A_n(v_n,m_n). \end{align*} Similarly, we can write: \begin{align*} \hat{c}_n(m_n,\zeta^2 v_n)-2\hat{c}_n(m_n,\zeta v_n)+\hat{c}_n(m_n,v_n) &=m_n^{-1/2}u_n\Psi_n+A_n(\zeta^2 v_n,m_n)-2A_n(\zeta v_n,m_n)+A_n(v_n,m_n). \end{align*} Then, in the light of Proposition (ref) and (ref), we may expand $\hat a_{1,1}( v_n)$ as follows: \begin{equation} \begin{aligned} \hat a_{1,1}( v_n) &= \frac{\big(\sum_{\substack{(r,s)\in \mathcal I}} \eta_{r,s}a_{r,s}( v_n)+m_n^{-1/2}u_n\Phi_n\big)^2}{\sum_{\substack{(r,s)\in \mathcal I}} \eta^2_{r,s}a_{r,s}( v_n)+m_n^{-1/2}u_n\Psi_n}\\ &=a_{1,1}( v_n) +O_P(m_n^{-1/2}u_n) \\ &\quad+ \eta_{2,1}a_{2,1}( v_n)\frac{(2\eta_{1,1} - \eta_{2,1})a_{1,1} + \eta_{2,1}a_{2,1}( v_n)}{\eta^2_{1,1}a_{1,1}( v_n) + \eta^2_{2,1}a_{2,1}( v_n)+ m_n^{-1/2}u_n \Psi_n}, \end{aligned} \end{equation} where $O_P(m_n^{-1/2}u_n)$ includes the cross products between $\sum_{(r,s)\in \mathcal I }\eta_{r,s}a_{r,s}( v_n)$ and $m_n^{-1/2}u_n \Phi_n=o_P(1)$, along with $(m_n^{-1/2}u_n \Phi_n)^2$ and $m_n^{-1/2}u_n \Psi_n a_{1,1}$, all divided by $\sum_{\substack{(r,s)\in \mathcal I}} \eta^2_{r,s}a_{r,s}( v_n)+m_n^{-1/2}u_n\Psi_n$. To simplify the last term in (ref), note that for any variable $N = o_p\big(a_{1,1}^2( v_n)\big)$, \begin{align} &\frac{N}{\sum_{\substack{(r,s)\in \mathcal I}} a_{r,s}( v_n) + O_p( m_n^{-1/2}u_n)} -\frac{N}{\sum_{\substack{(r,s)\in \mathcal I}} a_{r,s}( v_n)}\nonumber\\ &\quad= -\frac{N}{\sum_{\substack{(r,s)\in \mathcal I}} a_{r,s}( v_n)} \cdot \frac{O_P(m_n^{-1/2}u_n)}{\big(\sum_{\substack{(r,s)\in \mathcal I}} a_{r,s}( v_n) + O_P(m_n^{-1/2}u_n)\big)}\nonumber\\ &\quad=\frac{-N}{a_{1,1}^2( v_n)(1+o_p(1))}\cdot O_P(m_n^{-1/2}u_n) \nonumber\\ &\quad =o_P(m_n^{-1/2}u_n), \end{align} {where above, for simplicity, we omitted the coefficients associated with $a_{i,j}( v_n)$. The above shows that we can drop the term $m_n^{-1/2}u_n \Psi_n$ in the denominator and can write (ref) as follows \begin{equation*} \begin{aligned} \hat a_{1,1}( v_n) &=a_{1,1}( v_n) +O_P(m_n^{-1/2}u_n) \\ &\quad+ \eta_{2,1}a_{2,1}( v_n)\frac{(2\eta_{1,1} - \eta_{2,1})a_{1,1} + \eta_{2,1}a_{2,1}( v_n)}{\eta^2_{1,1}a_{1,1}( v_n) + \eta^2_{2,1}a_{2,1}( v_n)}\\ &=a_{1,1}( v_n)+\tilde{\eta}_{2,1}a_{2,1}+\breve{\eta}_{2,1}\frac{a_{2,1}^2(v_n)}{\eta^2_{1,1}a_{1,1}( v_n) + \eta^2_{2,1}a_{2,1}( v_n)}+O_P(m_n^{-1/2}u _n), \end{aligned} \end{equation*} for some constants $\tilde{\eta}_{2,1}$ and $\breve{\eta}_{2,1}$. Note that the third term above is $O_P(a_{2,1}^2/a_{1,1})$ and, thus, this term is $o_P(m_n^{-1/2}u_n)$ due to our assumption $m_n \ll \Delta_n^{-5} v_n^{8+Y}$. We conclude that \begin{equation} \hat a_{1,1}(v_n) =a_{1,1}(v_n)+\tilde{\eta}_{2,1}a_{2,1}(v_n) +O_P(m_n^{-1/2}u _n). \end{equation} We now show the first debiasing step eliminates $a_{1,1}(v_n)$. Indeed, denoting $\tilde{a}_{2,1}(v_n):=(1-\tilde{\eta}_{2,1})a_{2,1}(v_n)$, in light of (ref), (ref), and (ref) and recalling that $A(v_n,m_n)=a_{1,1}+a_{1,2}$, we see that \begin{align*} \tilde Z^{(1)}_n(m_n, v_n) &:= \sqrt{m_n} \Big(\widetilde c_n^{(1)}(m_n, v_n,\zeta_{1}) - \tilde{a}_{2,1}(v_n)-\Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau)\sigma_{t_{i-1}}^2\Big)\nonumber\\ &=\sqrt{m_n} \Big(\hat c_n(m_n, v_n) -\hat{a}_{1,1}(v_n)-\tilde{a}_{2,1}(v_n)-\Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau)\sigma_{t_{i-1}}^2\Big)\nonumber\\ &= \tilde Z_n(m_n, v_n) + O_P(u_n). \end{align*} Therefore, (ref) implies that} \begin{align} (\tilde Z_n^{(1)}(m_n, v_n),\tilde Z'_n(m_n)) \xrightarrow{ st} \mathcal (Z_1,Z_2). \end{align} \subsubsection*{Second step: removal of $a_{2,1}( v_n)$} Similar to (ref), we can define \begin{align} \widetilde c_n^{(2)}(m_n, v_n,\zeta_{2},\zeta_{1}) &= \widetilde c_n^{(1)}(m_n, v_n,\zeta_{1}) - \frac{\Big(\widetilde c_n^{(1)}(m_n,\zeta_{2} v_n,\zeta_{1})-\widetilde c_n^{(1)}(m_n, v_n,\zeta_{1})\Big)^2}{\widetilde c_n^{(1)}(m_n,\zeta_{2}^2 v_n,\zeta_{1}) - 2\widetilde c_n^{(1)}(m_n,\zeta_{2} v_n,\zeta_{1}) + \widetilde c_n^{(1)}(m_n, v_n,\zeta_{1})}\nonumber\\ &=:\widetilde c_n^{(1)}(m_n,\zeta_{2} v_n,\zeta_{1}) - \hat a_{2,1}( v_n). \end{align} Similar to (ref), we may expand $\hat a_{2,1}( v_n)$ as follows: \begin{align} &\hat a_{2,1}( v_n) = {\tilde{a}_{2,1}( v_n)} +O_P(m_n^{-1/2}u_n). \end{align} Then we see that \begin{align} \tilde Z^{(2)}_n(m_n, v_n) &:= \sqrt{m_n} \Big(\widetilde c_n^{(2)}( m_n,v_n,\zeta_{2},\zeta_{1}) -\Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau)\sigma_{t_{i-1}}^2\Big)\nonumber\\ &=\sqrt{m_n} \Big(\widetilde c_n^{(1)}( m_n,v_n,\zeta_{2},\zeta_{1}) -\hat{a}_{2,1}(v_n)-\Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau)\sigma_{t_{i-1}}^2\Big)\nonumber\\ &=\sqrt{m_n} \Big(\widetilde c_n^{(1)}( m_n,v_n,\zeta_{2},\zeta_{1}) -\tilde{a}_{2,1}(v_n)-\Delta_n\sum_{i=1}^{n}K_{m_n\Delta_n}(t_{i-1}-\tau)\sigma_{t_{i-1}}^2\Big)+O_P(u_n)\nonumber\\ &= \tilde Z^{(1)}_n(m_n, v_n) + O_P(u_n). \end{align} Again, (ref) now implies that \begin{align} (\tilde Z_n^{(2)}(m_n, v_n),\tilde Z'_n(m_n)) \xrightarrow{ st} \mathcal (Z_1,Z_2). \end{align} To conclude the last two statements of the theorem, we follow the same arguments as in Remark (ref).

Simulation

In the numerical experiments below, we evaluate the performance of our debiased estimators under a Heston-type volatility model in two different settings. First, for comparison, we replicate the parameter setting and sampling scheme used in [15], which incorporates a symmetric stable jump component, although this configuration is arguably unrealistic for most financial applications (e.g., the overall annualized volatility is set to 1). Second, we consider a parameter setting that better reflects the empirical features of financial data. In this case, we also truncate the increments of the stable L\'evy process, as is commonly done in applications, and investigate the impact of different choices of the threshold parameter $v_n$.

Simulation with Stable Jump Component

Following LIU2018, we consider the following model:

equation[equation omitted — 204 chars of source]

where $B$ and $B'$ are correlated standard Brownian motions with correlation $\rho$, $J$ is a strictly symmetric stable L\'evy process \footnote{The rstable package in R was used to simulate the $Y$-stable portion of the jump component in all cases.} with Blumenthal-Getoor index $Y$ and scale parameter $1$ (note LIU2018 includes an additional finite-activity component which we omit for simplicity). In this section, we take the same parameter values as in LIU2018: \[ X_0=1,\quad V_0=0,\quad \rho=0,\quad b_t\equiv 1, \quad\kappa=0.03,\quad\theta=1,\quad \xi=1.5. \]

In this simulation, we compare the performance of our estimator $\hat c(m_n,v_n)$ defined in (ref), $\tilde c^{(1)}(m_n,v_n,\vec\zeta_1)$ and $\tilde c^{(2)}_{n,\tau}(m_n,v_n,\vec\zeta_2)$ defined in (ref) to the estimators $\hat \sigma^2_{\tau,n}(u_n,h)$ and $\tilde \sigma^2_{\tau,n}(\lambda,u_n,h)$ introduced in LIU2018, which are based on the empirical characteristic approach of Jacod2014. Specifically, $\hat \sigma^2_{\tau,n}(u_n,h)$\footnote{LIU2018 defines $\hat \sigma^2_{\tau,n}(u_n,h) = \bar \sigma^2_{\tau,n}(u_n,h)- \frac{2h}{u_n^2\Delta_n}(\sinh(\bar \sigma^2_{\tau,n}(u_n,h)))^2$ for simulation. The difference lies in the reciprocal placement of $h$ and $\Delta_n$ in the bias correction term. We interpret the version in LIU2018 as a likely typo and instead follow the formulation consistent with Jacod2014.} and $\tilde \sigma^2_{\tau,n}(\lambda,u_n,h)$ are defined as

align*[align* omitted — 261 chars of source]

where

align*[align* omitted — 254 chars of source]

and $\tilde B_{\tau,n}(\lambda,u_n,h)$ is a bias-correction term\footnote{The formula {of $\tilde B_{\tau,n}(\lambda,u_n,h)$} in LIU2018 forces each summand in the denominator to be nonpositive. However, in our experiments, we found that omitting control of the sign of these terms significantly improved the performance of the estimators. }

align*[align* omitted — 536 chars of source]

which aggregates spot estimators across $t$ for improved finite-sample performance. This approach was also used in Jacod2014.

For comparison, for our one- and two-step debiased estimators $\tilde c^{(1)}_{m,\tau}(m_n,v_n,\vec\zeta_1)$ and $\tilde c^{(2)}_{n,\tau}(m_n,v_n,\vec\zeta_2)$, we also adopt the debiasing adjustments of LIU2018 and Jacod2014 described above. Specifically, denoting $\tilde{c}^{(k)}_{n,\tau}(m_n,v_n,\vec \zeta_k)$ the estimator $\tilde{c}^{(k)}_{n}(m_n,v_n,\vec \zeta_k)$ at time $\tau$, we consider

align*[align* omitted — 334 chars of source]

where $A^{(k)}_{{n}}:=A^{(k)}_{n}(m_n,v_n,\vec \zeta_k)$ is given by $$A_n^{(k)} =\pm\frac{\sum_{i=1}^{\lfloor\frac{1}{m_n\Delta_n}\rfloor}\big(\widetilde c^{(k-1)}_{n,im_n\Delta_n}(m_n,\zeta_kp_k v_n,\vec \zeta_{k-1})-\widetilde c^{(k-1)}_{n,im_n\Delta_n}(m_n, p_kv_n,\vec \zeta_{k-1})\big)}{\sum_{i=1}^{\lfloor\frac{1}{m_n\Delta_n}\rfloor}\big(\widetilde c^{(k-1)}_{n,im_n\Delta_n}(m_n,\zeta_k^2 p_kv_n,\vec \zeta_{k-1})-2\widetilde c^{(k-1)}_{n,im_n\Delta_n}(m_n,\zeta_k p_kv_n,\vec \zeta_{k-1})+\widetilde c^{(k-1)}_{n,im_n\Delta_n}(m_n,p_k v_n,\vec \zeta_{k-1})\big)},$$ where the sign of the bias terms are chosen as in BONIECE2024 and $c^{(0)}_{n,\tau}(m_n,v_n,\vec \zeta_0) = \hat c(m_n,v_n)$ at $\tau$, i.e., $A_n^{(1)}$ is positive and $A_n^{(2)}$ is negative, so as to ensure compatibility with the theoretical sign of the terms in $A(v_n,m_n)$.

To evaluate estimation performance, we simulate $M$ independent paths and aggregate various pathwise error measures computed along each simulated path for each of the estimators considered above. Denoting the true value of the spot variance at $t_i$ in {the} $j$-th path as $\sigma^2_{t_i,j}:=V_{t_i,j}$ and a given estimator as $\hat \sigma^2_{t_i,j}$, we consider an estimate of the pathwise root mean squared error (RMSE) on the time grid $\{l_i = i\floor {n/100}\}_{i=10,\dots,90}$ as follows: $$\widehat{RMSE} := \sqrt{\frac{1}{M}\sum_{{j=1}}^M MSE_j}\,,$$ where $MSE_j := \frac{1}{81} \sum_{i=10}^{90}(\hat \sigma^2_{l_i,j}-\sigma^2_{l_i,j})^2$. Similarly, we also consider the mean absolute relative error $\widehat{ARE}$ and the mean relative error $\widehat{RE}$: $$\widehat{ARE} := \frac{1}{M}\sum_{j=1}^M AE_j \;\text{ and }\;\widehat{RE} := \frac{1}{M}\sum_{j=1}^M E_j,$$ where $AE_j := \frac{1}{81} \sum_{i=10}^{90}|\hat \sigma^2_{l_i,j}-\sigma^2_{l_i,j}|/\sigma^2_{l_i,j}$ and $E_j := \frac{1}{81} \sum_{i=10}^{90}(\hat\sigma^2_{l_i,j}-\sigma^2_{l_i,j})/\sigma^2_{l_i,j}$.

For our estimators $\hat c_n(m_n,\Delta_n)$, $\tilde c^{(1)}_{m,\tau}(m_n,v_n,\vec\zeta_1)$ and $\tilde c^{(2)}_{n,\tau}(m_n,v_n,\vec\zeta_2)$, we use the exponential kernel $K(x) = \exp({-|x|})/2$ as well as the two-sided uniform kernel $G(x) = \mathbf{1}_{-1\leq |x|\leq 1}/2$, and set $m_n = \Delta_n^{-1/2}$, $v_n = \sqrt{BV} \Delta_n^{5/12}$, where $BV = \frac{\pi}{2}\sum_{i=2}^n|\Delta_iX||\Delta_{i-1}X|/T$ is the bipower estimator for the integrated volatility. For the estimators $\hat \sigma^2_{\tau,n}(u_n,h)$ and $\tilde \sigma^2_{\tau,n}(\lambda,u_n,h)$ of LIU2018, we take the kernel $K_3(x) = \frac{15}{16}(1-x^2)^2\mathbf{1}_{|x|\leq 1}$ as specified on LIU2018\footnote{$K_3$ is the best-performing kernel among those considered in LIU2018 that satisfies the assumptions of their results (in particular, that is continuously differentiable as assumed by their main theorem).} We also use the best-performing bandwidth as reported in their simulations, $h=\Delta_n^{0.51}$ and $u_n = \frac{\Delta_n^{0.0025}}{\sqrt {BV}}$\footnote{Instead of using bipower variation for \( u_n \), the authors of LIU2018 employed a scaled local bipower variation defined as $BV_\tau = \frac{\pi}{2(i_2 - i_1)\Delta_n} \sum_{i = i_1}^{i_2} |\Delta_i X||\Delta_{i+1} X|,$ where $ i_1 = \left\lfloor\frac{\tau - h}{\Delta_n} + 1\right\rfloor \vee 1 $ and $ i_2 = \left\lfloor\frac{\tau + h}{\Delta_n} + 1\right\rfloor \wedge n $. However, in our experiments, this choice lead to large RMSE when aggregating errors across various \( \tau \), particularly for \( Y = 1.2 \). In contrast, the estimators demonstrated greater stability with our proposed choice of \( u_n \).}. The remaining tuning parameters $\vec\zeta_1$, $\vec\zeta_2$, $\lambda$, $p$, $p_1$, $(p_1,p_2)$ are selected via a grid search that minimizes $\widehat {RMSE}$\footnote{Specifically, to each point in the grid, we simulated $M=100$ independent paths to estimate the $\widehat{RMSE}$ for the associated parameter settings.}. The grid for $\zeta$ and $\lambda$ ranged from 1.1 to 1.9 with increments of 0.05, while the grid for $p$ spanned from 0.1 to 0.9 with increments of 0.05. For reproducibility, where applicable, we also report the auxiliary tuning parameter values found in our grid search for each considered estimator.

As in LIU2018, we take $T=1$ month and $n = 8580$, roughly corresponding to a 5-minute sampling frequency (assuming 24 hours of trading). For additional comparison, we also include the results for $n = 42900$, corresponding to roughly 1-minute frequency data in this setup. Using $M = 1000$ iterations, we report the results in Tables (ref) and (ref). We consider the values $Y\in\{0.8,1.2,1.6,1.75\}$, which correspond to the cases where, in principle, no debiasing is needed ($Y\in\{0.8,1.2\}$), one step of debiasing is needed ($Y=1.6$), and two steps are needed $(Y=1.75)$ to attain asymptotic efficiency {according to our theory, though we may observe very different finite sample behavior}.

As shown in Tables (ref) and (ref), the two-step debiasing estimator $\tilde{c}_n^{(2)}$ consistently delivers the best performance, with the lowest RMSE and ARE, and generally well-controlled error. The advantage of two-step debiasing becomes especially pronounced as $Y$ increases: While the performance of $\hat \sigma^2_n$ and $\widetilde \sigma^2_n$ deteriorates sharply, the one- and two-step debiased estimators exhibit markedly greater robustness against increased jump activity. Notably, two-step debiasing yields improvement even where it is not strictly needed for asymptotically efficient estimation ($Y=0.8,1.2$). The pattern is similar at both 5-minute and 1-minute frequencies, where the two-step debiasing method is the only one that remains stable across all considered settings, offering reductions in RMSE often by a factor of 2 to 5 relative to the considered benchmarks.

Across kernel choices for $\tilde c_n^{(i)}$, the exponential kernel systematically outperforms the uniform kernel across all values of $Y$ and at both 1- and 5-minute sampling frequencies. This finding is consistent with the established theoretical optimality of exponential kernels in related settings where debiasing is not required Figueroa-Lopez_Wu_2024, and more broadly underscores the advantages of using unbounded kernels in spot volatility estimation. Overall, the two-step estimator with the exponential kernel achieves the strongest and most reliable performance among all configurations considered.

table[table omitted — 4,316 chars of source]
table[table omitted — 4,318 chars of source]

Simulation with truncated stable jump component

In this section, we consider a parameter setting that more closely reflects the empirical features of financial data. We also take a truncated stable L\'evy process as the jump component, which is common in applications. We also study the effect of the truncation level $v_n$.

For this experiment, we fix a time unit of 1 year (i.e., $t$ is measured in years). The increments of the observed process (corresponding to an asset's log return over $(t_{i-1},t_i]$) are given by

align[align omitted — 114 chars of source]

where $J$ is a symmetric $Y$-stable L\'evy process with scale parameter $0.5$ and $V$ follows the same Heston model (ref) with parameter values as in BONIECE2024: $$\rho = -0.5,\quad \kappa = 5,\quad\xi=0.5,\quad\theta=0.16.$$ In particular, we note the annualized average volatility is $\sqrt{.16}=.4$, which is more realistic for financial data. Assuming 252 trading days per year, and a 6.5 hour trading day, we set $\Delta_n = (252*6.5*12)^{-1}$, corresponding to a sampling frequency of 5 minutes. We consider a time horizon of 3 months ($T = \frac{1}{4}$), yielding a sample size of $ n = T/\Delta_n=4914$. In our experiments, we examine performance in the cases $Y=1.6$ and $Y=1.75$, corresponding to 1 and 2 steps of debiasing required for efficiency, and use an exponential kernel for our estimators $\hat c_n(m_n,\Delta_n)$, $\tilde c^{(1)}_{m,\tau}(m_n,v_n,\vec\zeta_1)$ and $\tilde c^{(2)}_{n,\tau}(m_n,v_n,\vec\zeta_2)$. The tuning parameters are similar to the previous section, with $\vec\zeta_1$, $\vec\zeta_2$, $\lambda$, $p$, $p_1$, and $(p_1,p_2)$ being selected via a grid search that minimizes $\widehat{RMSE}$ over 100 iterations (using the same grid as described in previous section), but here we take $v_n = \sqrt{BV}v_0$, for different $v_0$ to assess the sensitivity of our methods to the threshold choice. We report the performance for our estimators across various threshold choices $v_0$ in Table (ref) $(Y=1.6)$ and in Table (ref) $(Y=1.75)$ as measured by $\widehat{RMSE}$, $\widehat{ARE}$ and $\widehat{RE}$ using $M=1000$ paths. In each table, we also include the performance of the estimators of LIU2018 for comparison. We also report the auxiliary tuning parameter values found in our grid search.

As shown in Tables (ref) and (ref), for both $Y=1.6$ and $Y=1.75$ the two-step estimator $\tilde c_n^{(2)}$ again provides the most reliable performance, delivering the lowest or near-lowest RMSE and ARE across all $v_0$ considered. The advantage of debiasing is most pronounced at the moderate threshold choices $v_0=\Delta_n^{20/48}=\Delta_n^{5/12}$ and $v_0=\Delta_n^{21/48}$, where the two-step estimators offer reductions in RMSE over $\hat \sigma^2_n$ and $\tilde \sigma^2_n$ by roughly a factor of 2, and these improvements are observed consistently for both $Y=1.6$ and $Y=1.75$. Remarkably, the choice $v_0=\Delta_n^{5/12}$ is the same as suggested by the theory for two-step debiasing in the integrated volatility case (see BONIECE2024). Broadly, these findings highlight the benefit of two-step debiasing beyond specific threshold choices, offering reliable nontrivial reductions in MSE across a variety of jump activity levels.

table[table omitted — 2,435 chars of source]
table[table omitted — 2,291 chars of source]