EconBase
← Back to paper

Data-driven fixed-point tuning for truncated realized variations

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.

63,148 characters · 5 sections · 28 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.

Data-driven fixed-point tuning for truncated realized variations

frontmatter\runtitle{Fixed-point tuning for truncated realized variations} \begin{aug} \address[A]{Department of Mathematics, Drexel University\printead[presep={,\ }]{e1}} \address[B]{Department of Statistics and Data Science, Washington University in St. Louis\printead[presep={,\ }]{e2,e3}} \end{aug} \begin{abstract} Many methods for estimating integrated volatility and related functionals of semimartingales in the presence of jumps require specification of tuning parameters for their use in practice. In much of the available theory, tuning parameters are assumed to be deterministic and their values are specified only up to asymptotic constraints. However, in empirical work and in simulation studies, they are typically chosen to be random and data-dependent, with explicit choices often relying entirely on heuristics. In this paper, we consider novel data-driven tuning procedures for the truncated realized variations of a semimartingale with jumps based on a type of random fixed-point iteration. Being effectively automated, our approach alleviates the need for delicate decision-making regarding tuning parameters in practice and can be implemented using information regarding sampling frequency alone. We demonstrate our methods can lead to asymptotically efficient estimation of integrated volatility and exhibit superior finite-sample performance compared to popular alternatives in the literature. \section{Introduction} \end{abstract} \begin{keyword} \kwd{High-frequency data} \kwd{integrated volatility estimation} \kwd{semimartingales} \end{keyword}

The continuous part of the quadratic variation of an It\^o semimartingale, commonly known as the integrated volatility, plays an outsize role in financial econometrics, and its estimation in various settings based on discrete observations has been a major focus in the literature at various points in the past 20+ years. The semimartingale $X$ commonly represents the log-price of a financial asset, and its integrated volatility serves as a measure of the overall uncertainty inherent in the continuous part of $X$ over a given time period.

Among the variety of available methods for integrated volatility estimation, the truncated realized variation (TRV), introduced in mancini:2001, was one of the first and remains among the most popular approaches to-date that is jump-robust, in the sense that it can still provide reliable estimates of integrated volatility when jumps occur in the process $X$. Other well known jump-robust methods for estimating integrated volatility include bipower variations and their extensions barndorff-nielsen:2004,barndorff-nielsen:shephard:winkel:2006,corsi:pirino:reno:2010 or those based on empirical characteristic functions todorov:tauchen:2012,jacod:todorov:2014,jacod:todorov:2018, among others, giving the practitioner a wide array of choices at their disposal for estimation of integrated volatility in modeling contexts where jumps may be present.

To choose an estimator among this array of options, currently one must first decide between two distinct classes: either asymptotically efficient approaches, like TRV, which require selection of tuning parameters, or alternatively “tuning-free” estimators but at the unfortunate expense of asymptotic efficiency. From the perspective of minimizing variance, asymptotically efficient approaches are preferable, but their use in practice necessitates the critical additional step of specifying the tuning parameter values themselves. This consequential step can significantly impact estimation performance, but current asymptotic theory does not offer direct guidelines for choosing parameters explicitly, which can be an extremely delicate matter in practice. For instance, even in idealized asymptotic settings, appropriate choices often depend on a priori unknown properties of $X$ and can determine whether or not a given estimator retains even the basic requirement of consistency. In the absence of theoretically supported approaches for specifying explicit values of these parameters, the practical use of tuning-parameter-based methods remains entirely reliant on heuristics. The purpose of the present work is to address this gap.

In the case of TRV, the tuning parameter of importance is called the threshold, denoted hereafter as $\varepsilon>0$, indicating a level above which increments are discarded from the estimation procedure. Concretely, given a discretely observed semimartingale $X=\{X_t\}_{t\geq 0}$ at times $0=t_0<t_1<\ldots<t_n=T$, the TRV is defined as

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

where $\Delta_{i}^{n}X:=X_{t_{i}}-X_{t_{i-1}}$ is the $i^{th}$ increment of $X$, often assumed to be observed on a regular sampling grid, so that $t_i-t_{i-1}=:h_n$ for all $i$. Statistical properties of TRV have been extensively studied when $\varepsilon=\varepsilon(h_n)$ is a deterministic function of the time step $h_n$ such that $\varepsilon(h_n)\to 0$ at specified rates as $h_n\to 0$. In mancini:2009, when either the jump component of the process $X$ is of finite activity or is a pure-jump L\'evy process with infinite jump activity, TRV was shown to be consistent whenever

align[align omitted — 187 chars of source]

A consistency statement for TRV encompassing a broader class of semimartingales was given in jacod:2008, but for the more restrictive case of power thresholds, namely, thresholds of the form

align[align omitted — 95 chars of source]

Under finite jump activity, central limit theorems for TRV were established under the threshold constraint (ref) in mancini:2009; in the infinite-activity case, they were established in jacod:2008 for more general semimartingales based on thresholds satisfying (ref) under the additional assumption the volatility itself is a semimartingale, and also in cont:mancini:2011,mancini:2011 for general c\`adl\`ag volatility processes but for L\'evy-type jump behavior, both under additional constraints on $\varepsilon$ related to the Blumenthal-Getoor index of $X$.

While asymptotic constraints such as (ref) and (ref) may be informative for threshold selection, they do not concretely indicate how one should make an explicit choice for $\varepsilon$ in a given context. Moreover, even if a particular deterministic choice for $\varepsilon$ may lead to good estimation performance under a given model, the same choice of $\varepsilon$ under a perturbed version of the same model can lead to dramatically worse estimation performance. To illustrate this point, the left panel of Figure (ref), below, shows histograms of the relative estimation errors for TRV using a fixed, deterministically chosen threshold value under two different parameter settings of the same model. While TRV performs satisfactorily with this deterministic threshold value under one of the parameter settings, it performs poorly with the same threshold value under alternate parameter settings, even though the expected quadratic variation of $X$ is the same in both cases. In contrast, the right panel of Figure (ref) displays histograms of relative estimation errors for the approach developed in this paper, where satisfactory performance is maintained across both settings.

Though Monte Carlo studies or empirical insights may help in choosing the value of $\varepsilon$ deterministically in a given setting, an arguably more natural approach is to select thresholds through some data-driven procedure, permitting the threshold itself to depend on observed data. Indeed, random, data-driven parameter tuning is often done in numerical studies in the literature -- without theoretical support -- to illustrate finite-sample behavior of estimators and to improve their numerical performance.

figure[figure omitted — 1,071 chars of source]

\footnotetext{Specifically our approach as described in (6b) in Section (ref), though similar behavior holds in all other cases.} However, by their very nature, data-driven parameter selection procedures introduce considerable statistical dependencies and associated theoretical challenges that are otherwise absent when parameters are chosen deterministically. Consequently, despite the practicality and potential benefits of data-driven parameter selection, the literature on TRV and related methods employing data-driven tuning procedures has remained relatively scarce. For instance, in the case of finite activity jumps, it was stated without proof in a remark in mancini:reno:2011 that consistency holds for time-dependent random thresholds (possibly different for each increment $\Delta_i^n X$) of the form $c_{t_i}\varepsilon$, where $\varepsilon=\varepsilon(h_n)$ satisfies (ref) and $\{c_t\}_{t\geq 0}$ is a stochastic process that is a.s. bounded above and bounded away from $0$. Later, in figueroa-lopez:mancini:2019, consistency was rigorously established under finite jump activity for possibly data-dependent time-varying thresholds of the type $\sqrt{2(1+\eta)M_i h_n \log (1/h_n)}$, where $\eta>0$ and $M_i$ are random variables satisfying $M_i\in[ \inf_{s\in [t_{i-1}, t_i]} \sigma_s^2,\, \sup_{s\in [0,T]} \sigma_s^2 ]$ a.s. To the authors' knowledge, these statements comprise the totality of asymptotic theory for TRV with data-driven thresholds, and there is currently no theoretical support in the literature for data-driven parameter tuning of TRV outside consistency statements in the finite activity setting.

Moreover, in spite of the considerable focus on asymptotic properties of TRV with the threshold constraints (ref) and (ref), recent work figueroa-lopez:mancini:2019,figueroa-lopez:nisen:2013 has demonstrated that certain optimal choices of threshold do not satisfy these asymptotic conditions, leaving a substantive gap in the available asymptotic theory even within the scope of deterministic thresholding. Optimal-type thresholds can lead to substantial gains in finite sample estimation performance, and their explicit expressions can serve as a more direct guideline for threshold selection, making them ideal choices for practitioners. However, their direct use, even to first-order approximation, is complicated by the fact that they depend on the volatility itself. For instance, under an idealized constant volatility assumption and general finite jump activity, the MSE-optimal threshold $\varepsilon_n^\star$ admits the approximation:

equation[equation omitted — 127 chars of source]

where $\sigma>0$ is the volatility. Under L\'evy stable-like infinite jump activity, the MSE-optimal threshold is the same as $\varepsilon^{\star}_n$ up to an additional multiplicative constant depending on the Blumenthal-Getoor index figueroa-lopez:gong:han:2022. Though this expression cannot be used directly in practice due to its dependence on knowledge of the volatility, it lends itself naturally to fixed-point iterative procedures, as suggested in figueroa-lopez:nisen:2013 and figueroa-lopez:mancini:2019, whose asymptotic theory has remained unestablished, until now.

In this work, we consider two classes of iterative procedures for jump-robust estimation of the integrated volatility based on data-driven parameter tuning. Our procedures are designed to turn the otherwise infeasible threshold (ref) into a feasible one, and will be seen to stem from solutions $\xi$ to random fixed-point equations of the type

equation[equation omitted — 197 chars of source]

for an appropriate function $\Phi_n$ and sequence $r_n\to0$. Viewed as random, data-dependent thresholds, our procedures extend the asymptotic theory beyond deterministic thresholding to accommodate automatic, data-driven calibration of TRV, and further extends current asymptotic theory beyond the general rate constraints imposed in (ref) and (ref), allowing for time-dependent thresholding, ultimately leading to substantial gains in finite-sample performance and more principled threshold selection procedures. Part of our analysis is based on relating our proposed iterative estimators to oracle-like sequences of estimators; this general approach may be of use for parameter tuning in other jump-robust methods in the literature.

This paper is organized as follows. Section (ref) introduces the model, estimation framework and some notation used throughout the paper. Section (ref) contains our main results, including instances of uniform and time-varying thresholding, and Section (ref) contains some numerical illustrations concerning finite-sample estimation performance. The proofs of the main results and auxiliary lemmas are given in Appendices (ref) and (ref).

Framework and setting

We consider a 1-dimensional It\^o semimartingale $X=(X_{t})_{t\geq 0}$ defined on a complete filtered probability space $(\Omega,\mathscr{F},(\mathscr{F}_{t})_{t\geq 0},\mathbb{P})$ of the form

align[align omitted — 102 chars of source]

Above, $W$ is a standard Brownian motion, $b,\gamma,\sigma$ are c\'adl\'ag adapted, $L=\{L_t\}_{t\geq 0}$ is a pure-jump infinite-activity L\'evy process, and $J=\{J_t\}_{t\geq 0}$ is a general pure-jump process with finite jump activity. We refer to Assumption (ref) for complete conditions on all driving processes and coefficients.

We suppose that on a fixed and finite time interval $[0,T]$, $n$ observations, $X_{t_1}, X_{t_2}, \ldots, X_{t_n}$, of the continuous-time process $X$ are available at known times $0=t_0<t_1<\ldots<t_n=T$. We assume sampling times are evenly spaced, and denote the time step between observations as $h_n:=T/n$. Our estimation target is the integrated volatility (or integrated variance) of $X$ defined as $$ C_T :=\int_0^T\sigma_s^2ds. $$

We consider two classes of estimators of $C_T$. The first class of estimators we consider are based on an iterative scheme that proceeds as follows:

enumerate• At the start, an initial guess $\widehat{C}_{n,0}$ for the integrated volatility $C_T$ is first put forward. This initial estimate should ideally be free of tuning parameters; for instance, the realized variance (RV) $\widehat{C}_{n,0}= \sum_{i=1}^n (\Delta_i^n X)^2$ or bipower variation $\widehat{C}_{n,0}=\frac{\pi}{2}\sum_{i=1}^{n-1} |\Delta_i^n X||\Delta_{i+1}^n X|$, among other possibilities. We refer to Theorem (ref) and Remark (ref) for further information about our required conditions on $\widehat{C}_{n,0}$. This initializes a data-dependent threshold of the form $B_{n,0} = \big(r_n T^{-1}\widehat C_{n,0}\big)^{1/2}$, where the threshold rate $r_n=r_n(h_n)$ is some predetermined deterministic function of $h_n$. • Then, an iterative sequence of thresholds $B_{n,j}$ and estimators $\widehat{C}_{n,j}$ is constructed based on the relations \begin{align} \begin{split} {B}_{n,j-1} &:=\sqrt{r_n T^{-1} \widehat C_{n,j-1}}, \\ \widehat C_{n,j} &:= \sum_{i=1}^n (\Delta_i^n X)^2 {\bf 1}_{\{|\Delta_i^n X|\leq B_{n,j-1}\}},\quad j\geq1. \end{split} \end{align} For each fixed $n$, the sequence $\{\widehat C_{n,j}, j\geq 0\}$ will be shown to always “stabilize” in the sense that the index \begin{equation} j_n:=\min\big\{j\geq0: \widehat C_{n,j} =\widehat C_{n,j+\ell} for all \ell\geq 0\big\} , \end{equation} always exists. With regards to (ref), the above scheme can be viewed as a fixed-point iteration for the mapping $\xi \mapsto \sum_{i=1}^n (\Delta_i^n X)^2 {\bf 1}_{\{(\Delta_i^n X)^2\leq r_nT^{-1}\xi \}}$. • Denoting $B_n:=B_{n,j_n}$, we then define the uniform thresholding estimator \begin{equation} \widehat C_n:= \widehat C_{n,j_n}= \sum_{i=1}^n (\Delta_i^nX)^2 \,{\bf 1}_{\{|\Delta_i^n X|\leq B_n\}}. \end{equation}

The second class of estimators we consider are based on time-varying (or local) thresholding, namely estimators $\widehat C^*_n$ of the type

equation[equation omitted — 128 chars of source]

for appropriate data-driven local thresholds $B^*_n(i)$, $i=1,\ldots, n$, arising from fixed-point equations, whose precise definition is deferred to Section (ref). The central focus of this work is to study the classes of estimators defined by (ref) and (ref). Below we state our main assumptions relating to the model (ref).

assumption\begin{enumerate} • $\sigma,\gamma,b$ are c\`adl\`ag adapted; $\inf_{0\leq t \leq T}\sigma_t>0;$$L$ is a L\'evy process with characteristics $(0,0,\nu)$ (with respect to the truncation function ${\bf 1}_{\{|x|\leq 1\}}$, see sato:1999) such that, for some $\alpha\in(0,2)$ and $K_{\pm}\in[0,\infty)$ with $K_+\vee K_->0$, $$ \lim_{x\to 0^+} x^\alpha\nu((x, \infty))=K_+, \quad \lim_{x\to 0^-} x^\alpha\nu((-\infty,x))=K_-;$$ $J$ is a general finite-activity jump process of the form $J_t=\sum_{i=1}^{N'_t} \xi_i$, where $\{\xi_i\}_{i\geq 1}$ satisfy $\mathbb{P}(\xi_{i}\neq{}0)=1$, and $\{N'_t\}_{t\geq 0}$ is a non-explosive counting process; $W$ is a Brownian motion independent of $L$. All processes are adapted. • There is a sequence $\tau_n$ of stopping times increasing to infinity and a positive sequence $K_n$ such that \begin{equation} t\leq \tau_n \implies \begin{cases} |b_{t}|+ |\sigma_t| + |\gamma_t| \leq K_n,\\ \mathbb{E}( |\gamma_{t+s }-\gamma_{t}|^2|\mathcal F_t)\leq K_n s^,\quad s>0. \end{cases} \end{equation} \end{enumerate}

Our assumptions, in particular, do not require $\sigma$ to be a semimartingale, which is important in rough volatility modeling. Note that the condition on $\gamma$ in (ref) is satisfied whenever $\{\gamma_t\}_{t\geq{}0}$ is an It\^o semimartingale with locally bounded characteristics.

We use the following standard notation throughout the paper: for two sequences $a_n,b_n>0$,

itemize$a_n\sim b_n$ means that $a_n/b_n \to 1$; • $a_n\ll b_n$ means that $a_n=o(b_n)$, i.e., $\lim_{n\to\infty}a_n/b_n=0$; $a_n \lesssim b_n$ means $a_n=O(b_n)$, i.e., $\limsup_{n\to\infty} a_n/ b_n<\infty$; • $a_n\gg b_n$ means that $b_n=o(a_n)$; $a_n \gtrsim b_n$ means $b_n=O(a_n)$; • $\overset{P}{\longrightarrow}$ denotes convergence in probability; • $\overset{\mathcal{D}}{\longrightarrow}$ denotes convergence in law; • $\overset{st}{\longrightarrow}$ denotes stable convergence in law.

Main results

Uniform thresholding

In this section, we study the asymptotic properties of the estimator $\widehat C_n$ introduced in Section (ref). As stated in the introduction, in figueroa-lopez:mancini:2019 it was shown that the first-order asymptotic behavior of the MSE-optimal threshold $\varepsilon_n^\star$ under the idealized assumption of constant volatility takes the form (ref), which cannot be implemented feasibly in practice as it depends on knowledge of the volatility itself. However, exploiting this relationship is the driving principle behind the iterative algorithm leading to the estimators $\widehat C_n$. The proposed method can be seen as a natural mechanism to make such a threshold feasible by taking the sequence $r_n=r(h_n)=2h_n\log(1/h_n)$ in the iterative procedure (ref). As we will see, our iterative approach will enable us to asymptotically “attain” the infeasible threshold $\varepsilon^\star_n$, in principle rendering near-MSE-optimal behavior possible in practice.

In general, it is a nontrivial task to establish asymptotic properties of the $\widehat C_{n}$ defined in (ref), even drawing upon results from the existing literature, which has almost exclusively focused on deterministic uniform thresholding. For instance, in spite of the fact that $\widehat C_n$ satisfies the random fixed-point equation

equation*[equation* omitted — 138 chars of source]

such an expression offers little insight into finding closed-form expressions for $\widehat C_n$.

The central idea in our approach rests on relating the sequence of iterates $\widehat C_{n,j}$ to an iterative sequence of “oracle-like” estimators $\widetilde C_{n,j}(y_n)$ that make use of the (unknown) location of jumps of size $y_n>0$ or larger, where $y_n\to 0$ at an appropriate rate. More concretely, for each $y\in(0,1)$, by virtue of the L\'evy-It\^o decomposition of $L$, we may reexpress

align[align omitted — 280 chars of source]

where $\mu$ is the jump measure of $L$ with intensity $\nu (dx)dt$, and $\widetilde \mu(dx,dt)= \mu(dx,dt)-\nu(dx)dt$ is the corresponding compensated jump measure. Above, $H_t(y)$ is a compound Poisson process with finite jump activity satisfying $ H_t(y)= \sum_{i=1}^{N_t(y)}\zeta_i(y)$, where $N_t(y)$ is a Poisson process with rate $\lambda(y)= \int_{|x|>y} \nu(dx)$, and $\{\zeta_i(y)\}_{i\geq 1}$ are i.i.d. and supported on $(-\infty,y)\cup(y,\infty)$ with distribution $\frac{{\bf 1}_{\{|x|\geq y\}}\nu(dx)}{\nu(|x|>y)}$. For each $y>0$, we first define the random set

equation[equation omitted — 98 chars of source]

which consists of all indices corresponding to intervals where no “large" jumps have occurred. For a sequence $y=y_n\to 0$, we then define an oracle analog of TRV that eliminates any increments corresponding to time intervals in which “large” jumps of $X$ occur:

align[align omitted — 182 chars of source]

To connect $\mathscr C_n(y)$ with $\widehat C_n$, we then construct an iterative sequence $\{\widetilde C_{n,j}(y)\}_{j \geq 1}$, analogous to (ref), by setting $\widetilde C_{n,0}(y):=\widehat{C}_{n,0}$ (so that the oracle sequence has the same initial value as the original sequence $\widehat C_{n,j}$) and recursively define, for $j\geq{}1$,

align[align omitted — 274 chars of source]

Though the variables $\widetilde C_{n,j}(y_n)$ and $\mathscr C_{n}(y)$ are not feasible estimators themselves, their asymptotic behavior in fact completely determines that of $\widehat C_n$ provided the auxiliary sequence $y_n$ tends to 0 at an appropriate rate. In our arguments, we demonstrate that $$ \widetilde C_{n,n+1}(y_n) \leq \widehat C_n\leq \mathscr C_{n}(y_n)+ R_n, $$ for an appropriate asymptotically negligible remainder $R_n$. The above relation allows us to analyze $\widehat C_n$ in terms of the array of oracle iterates $\{\widetilde C_{n,j}(y_n)\}_{{ j\geq 1}}$ and the oracle itself $\mathscr C_{n}(y_n)$. We then demonstrate that $\{\widetilde C_{n,j}(y_n)\}_{ j\geq 1}$ are all asymptotically equivalent to the oracle $\mathscr C_n(y_n)$ (Proposition (ref)); effectively reducing the problem to the analysis of $\mathscr C_n(y_n)$, which is considerably simpler.

We now proceed to describe the class of initial estimators we consider in our procedure. Apart from some mild regularity conditions, they are required only to be consistent for $C_T$ when the underlying process is continuous, allowing for a great deal of flexibility in the choice of initialization. More specifically, for a generic process $Y$, let

equation[equation omitted — 117 chars of source]

where $F:\mathbb{R}^d\to [0,\infty)$ satisfies, for some $\delta_0 \in (0,2]$ and for all $\mathbf x,\mathbf y\in \mathbb{R}^d$ with $\|\mathbf y\|\vee\|\mathbf x\|\leq 1,$

align[align omitted — 288 chars of source]

for some $K<\infty$. Above, $\|\mathbf x\|_\infty=\max_{1\leq{}i\leq{}d}|x_{i}|$. An initial estimate $\widehat C_{n,0}$ is said to belong to class $\mathcal C$ if $\widehat C_{n,0}=\widehat C_{n,0}(X)$, where $\widehat C_{n,0}(\cdot)$ is given by (ref), and satisfies

equation[equation omitted — 147 chars of source]

where $(\sigma\! \cdot\! W)_{t}:=\int_0^t \sigma_s dW_s$.

remarkThe class $\mathcal C$ includes, for instance, the ordinary realized variance (i.e., $F(x)=x^2)$, multipowers of the type $ F(x_1,\ldots,x_d)\propto \prod_{i=1}^{d} |x_i|^{r_i}$ with $r_i\geq 0$ and $r_1+\ldots+r_d=2$, and the nearest-neighbor truncation estimators of andersen:dobrev:schaumburg:2012, among other possibilities.

We now state our first main result.

theoremSuppose $\widehat C_{n,0}$ belongs to class $\mathcal C$, and that the sequence $r_n\to 0$ satisfies \begin{equation} r_n\gg h_n\log (1/h_n). \end{equation} Then, the following assertions hold: \begin{enumerate} • If, further $r_n\ll \left(h\log (1/h)\right)^{\frac\alpha2}$, then, as $n\to\infty$, $$ \widehat C_{n}\overset{P}{\longrightarrow} C_T.$$ • If $\alpha \in (0,1)$ and further $ r_n \ll h_n^{\frac{\alpha+1}{2}} \left(\log (1/h)\right)^{\frac\alpha2},$ then, as $n\to\infty$, $$ \frac{1}{\sqrt{h_n}}\left(\widehat C_n - C_T\right)\overset{st}{\longrightarrow} \mathcal{N}\left(0,2\int_0^T\sigma^4_sds\right). $$ • Suppose $\alpha \in (1,2)$ and $\gamma_t\equiv 1$. Then, as $n\to\infty$, for any choice of $r_n$ satisfying (ref), $$ \frac{1}{\sqrt{h_n}}\big(\widehat C_n - C_T\big)\overset{P}{\longrightarrow} \infty. $$ \end{enumerate}

Observe that the upper bounds on $r_n$ in (i)--(ii) above depend on the jump activity index $\alpha$ and become more restrictive as $\alpha$ increases. Bearing this in mind, we make the following remarks.

remarkA common choice in the literature {for both benchmarking estimation performance and applications} is $\sqrt{r_n}= 4 h_n^{0.49}$ (e.g., jacod:todorov:2014,li:todorov:tauchen:2017,ding:li:liu:zheng:2023), which leads to efficient CLTs across nearly the entire range $\alpha<1$; Section (ref) compares the performance of this threshold choice for TRV against our iterative methods. Though the hypotheses of Theorem (ref) require $r_n\gg h_n\log (1/h_n)$ in general, under the idealized assumption of constant volatility, our proofs demonstrate that $r_n$ can be chosen of the form $r_{n}={2(1+\eta)h_n\log (1/h_n)}$, for any $\eta>0$ (cf. (ref)). In general, the common choice $\sqrt{r_n}= 4 h_n^{0.49}$ seems to also work reasonably well also for the iterative estimator $\widehat C_n$; for further discussion of selection of the threshold rate $r_n$ and initializations in practice, see Section (ref).
remarkWhen $\alpha\in(1,2)$, a slowly-decaying bias term renders convergence rates of order $n^{-1/2}$ impossible for $\textnormal{TRV}$ itself under deterministic thresholding (c.f. mancini:2011), which is reflected for $\widehat C_n$ in case (iii) of Theorem (ref). For these values of $\alpha$, under deterministic thresholds for $\textnormal{TRV}$, specialized debiasing techniques are required to achieve the optimal $n^{-1/2}$ rate (c.f. boniece:figueroa-lopez:han:2024). See also jacod:todorov:2014,jacod:todorov:2018 for other efficient methods based on empirical characteristic functions (and again deterministic tuning parameters). We leave the extension of these debiasing techniques to data-driven parameter tuning as a topic for future research.

\

Time-varying thresholds

For the best possible finite-sample performance, heuristically one should set the threshold $\varepsilon$ as small as possible -- to remove as many jumps as possible -- but allow it to remain large enough so that a sufficient number increments remain to ultimately yield efficient estimates of $C_T$. From this perspective, the asymptotic lower bound on the rate $r_n$ given in the hypotheses of Theorem (ref) may appear unsatisfactory, as it precludes rates as fast as the optimal threshold $\varepsilon^\star_n\sim \sqrt{2\sigma^2 h_n\log(1/h_n)}$ in the constant volatility case. It is natural to suspect that faster rates may be possible for potential improvement in $\widehat C_n$. However, the next result shows this is not true, in general.

propositionFor a given semimartingale $Y$, let $\textnormal{TRV}_n(\varepsilon;Y)=\sum_{i=1}^{n}\big(\Delta_{i}^{n}Y\big)^{2}{\bf 1}_{\{|\Delta_{i}^{n}Y|\leq\varepsilon\}}$, and let $C_T(Y)$ denote its predictable quadratic variation. For a given $c_0>0$, define the threshold $$ \vartheta_n(Y):= \sqrt{ c_0C_T(Y) h_n \log(1/h_n)}. $$ Then, there exists a semimartingale $Y'$ such that $\textnormal{TRV}_n(\vartheta_n(Y');Y') \overset{P}{\longrightarrow} C_T(Y')$, but $$ \sqrt n \big(\textnormal{TRV}_n(\vartheta_n(Y');Y') - C_T(Y')\big)\overset{P}{\longrightarrow} -\infty. $$

Note that the estimator $\widehat C_n$ defined in ((ref)) is a TRV with threshold $\varepsilon_n= \big(c_0\widehat C_n h_n \log(1/h_n)\big)^{1/2}$, which is approximately equal to $\vartheta_n$ if $\widehat C_n$ remains a consistent estimator under this threshold choice. In that case, the above result suggests that $\widehat C_n$ will not be rate-efficient in general with the threshold rate $r_n=c_0 h_n\log(1/h_n)$ and may remove too many increments even if jumps are completely absent from the process $X$. In particular, the proof of Proposition (ref) illustrates that efficiency losses can result from volatility paths that exhibit significant jumps. A natural way to remedy this is to consider localized thresholds that adapt to the volatility level. In this way, thresholds corresponding to periods of high volatility are increased, and conversely, thresholds for periods of low volatility are decreased, so as to prevent efficiency losses that might otherwise occur with uniform thresholding. This is the central motivation behind our second class of estimators, which utilize spot volatility estimates to locally tune the threshold.

To this end, for a given even integer $k_n\leq n$ and $B>0$, we define

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

where we set $\Delta_i^n X =0 $ if $i\leq 0$ or $i >n$. The above estimator is a type of kernel-based estimator of the spot volatility $\sigma_{t_i}^2$, as defined in fan:wang:2008,kristensen:2010, with kernel function $K(x)=\frac{1}{2}{\bf 1}_{[-1,1]}$ and bandwidth $b_n=k_n h_n$ (see jacod:protter:2011 for the asymptotic theory of the estimator in the case of one-sided uniform kernels $K(x)={\bf 1}_{[0,1]}$ and figueroa-lopez:li:2020,figueroa-lopez:wu:2022 for general kernels). Our second thresholding scheme for the localized thresholding estimator $\widehat C_n^*$ then proceeds as follows:

enumerate• First, we begin with some initial local volatility estimates $\widehat c_{n,0}(i)$, $i=1,\ldots,n$, ideally free of tuning parameters. Natural choices include $\widehat c_{n,0}(i) = \frac{1}{h_nk_n} \sum_{\ell=i-k_n/2+1}^{i +k_n/2} \big(\Delta_\ell^n X\big)^2$ or the analogous local BPV estimator $\widehat c_{n,0}(i) = \frac{1}{h_nk_n} \frac{\pi}{2}\sum_{\ell=i-k_n/2+1}^{i +k_n/2} |\Delta_\ell^n X||\Delta_{\ell+1}^n X|$ (see Theorem (ref) below for precise conditions on $\widehat c_{n,0}(i)$). • Next, for each $i=1,\ldots, n$ and a given deterministic rate sequence $r_n^*\to 0$, we define a local threshold for the $i$--th increment of $X$. With regards to (ref), each of these local thresholds can be viewed as a fixed-point iteration for one of the $n$ maps $\xi \mapsto \widehat\sigma^2_n\big(i; \sqrt{r_n^*\xi}\big)$, $i=1,\ldots, n$. More specifically, for $j\geq{}1$, we iteratively define: \begin{align} \begin{split} B^{*}_{n,j-1}(i) &:= \sqrt{r^*_n \widehat c_{n,j-1}(i)}, \\ \widehat c_{n,j}(i)&:=\hat \sigma^2_{n}(i,B^{*}_{n,j-1}(i)). \end{split} \end{align} We then set \begin{align} B^*_n(i)&:= B^{*}_{n,j^{*}_n}(i),\quad i=1,\ldots,n, \end{align} where $j_n^{*} := \min\big\{j\geq{}0: \widehat c_{n,j}(i)=\widehat c_{n,j+\ell}(i)\text{~ for all ~} 1\leq i \leq n, ~ \ell\geq 0\big\}$. • Finally, we define the localized threshold estimator \begin{equation} \widehat C^{*}_{n} := \sum_{i=1}^n (\Delta_i^nX)^2 \,{\bf 1}_{\{|\Delta_i^n X|\leq B^*_n(i)\}}. \end{equation}

Let us now introduce the class of initial estimates $\mathcal C^\text{spot}$ for time-varying thresholds, which is essentially a localized analog of the class $\mathcal C$ of initial estimates defined in Section (ref). To this end, for a generic process $Y$, define

equation[equation omitted — 174 chars of source]

where $F:\mathbb{R}^d\to [0,\infty)$, and for convenience we set $F( \Delta_i^n Y,\ldots,\Delta_{i+d-1}^n Y)=0$ if $i\leq 0$ or $i+d-1>n$. We say the initializing threshold constants $\widehat c_{n,0}(i)$ belong to the class $\mathcal C^\text{spot}$ if $\widehat c_{n,0}(i)=\widehat c_{n,0}(i;X)$, $i=1,\ldots n$, where $\widehat c_{n,0}(i;\,\cdot\,\,)$ are of the form (ref) and satisfy

align[align omitted — 226 chars of source]

We are now in a position to state our second main result.

theoremLet $r^*_n$ satisfy \begin{align} \liminf_{n\to\infty} \frac{r_n^*}{2h_n \log (1/h_n)} > 1, \end{align} and suppose that $n^a \ll k_n\ll n$ for some $0<a<1$.\ Asssume further that the initializing threshold constants $\widehat c_{n,0}(i)$, $i=1\ldots,n$, belong to the class $\mathcal C^\text{spot}$. Then, the following assertions hold: \begin{enumerate} • If, further, $r^*_n\ll \left(h\log (1/h)\right)^{\frac\alpha2}$, then, as $n\to\infty$, $$ \widehat C^{*}_{n}\overset{P}{\longrightarrow} C_T.$$ • If $\alpha \in (0,1)$ and further $ r_n^* \ll h_n^{\frac{\alpha+1}{2}} \left(\log (1/h)\right)^{\frac\alpha2},$ then, as $n\to\infty$, $$ \frac{1}{ \sqrt{h_n}}\left(\widehat C^{*}_n - C_T\right)\overset{st}{\longrightarrow} \mathcal{N}\left(0,2\int_0^T\sigma^4_sds\right). $$ • Suppose $\alpha \in (1,2)$ and $\gamma_t\equiv 1$. Then, for any choice of $r_n^*$ satisfying (ref), as $n\to\infty$, $$ \frac{1}{\sqrt{h_n}}\big(\widehat C_n^* - C_T\big)\overset{P}{\longrightarrow} \infty. $$ \end{enumerate}
remarkSimilarly to the case for uniform thresholding, the assumptions on the admissible initial estimates (ref) are relatively mild and require consistency in a uniform sense only in the continuous case. In particular, a localized version of realized variance, namely $\widehat c_{n,0}(i;X)=\frac{1}{h_nk_n} \sum_{\ell=i-k_n/2+1}^{i +k_n/2} \big(\Delta_\ell^n X\big)^2$, or a localized bipower variation, namely $\widehat c_{n,0}(i;X)=\frac{ 1}{h_nk_n}\frac{\pi}{2}\sum_{\ell=i-k_n/2+1}^{i +k_n/2} |\Delta_\ell^n X||\Delta_{\ell+1}^n X|$ both satisfy these assumptions. Indeed, the validity of (ref) for the localized realized variance is shown in the proof of Lemma (ref) (see (ref)), while for the localized bipower variation it follows along the same arguments as the proof of Proposition 3.3 in palmes:woerner:2016.

Statistical errors for spot volatility estimation are known to be substantially larger by comparison to the $O_P(n^{-1/2})$--sized errors that occur in estimation of integrated volatility $C_T$ (for instance, optimal choices of $k_n$ in spot volatility estimation lead to errors of order $n^{-1/4}$; see, e.g., figueroa-lopez:wu:2022,jacod:protter:2011). Interestingly enough, the estimator $\widehat C^{*}_n$ utilizes the comparatively noisier estimates of spot volatility in an auxiliary manner to lead to potentially improved estimates of $C_T$.

remarkRecall that, to a first-order approximation, the threshold (ref) is MSE-optimal under the assumption of constant volatility and finite jump activity. Though this is an idealized assumption and not expected to hold in many practical settings, it can serve as a reasonable local approximation at sufficiently high sampling frequencies. This intuition provides further support for our estimator $\widehat C_n^{*}$, which roughly incorporates the optimal-type threshold (ref) in a local manner. Indeed, our simulation study in Section (ref) reflects this, showing that the resulting localized estimators exhibit superior finite-sample performance. Furthermore, we conjecture that for TRV based on time-varying thresholds $\varepsilon(i)$, $i=1\ldots,n$, the threshold choice $$ \varepsilon_n(i)=\sqrt{2\overline \sigma^2_{n,i}h_n \log(1/h_n)}, $$ with $\overline \sigma^2_{n,i} =\sup_{t\in[\frac{i-1}{n},\frac{i}{n})}\sigma^2_t$, is MSE-optimal up to first order approximation under finite jump activity.
remarkFeasible CLTs (for construction of confidence intervals) are possible with either $\widehat C_n$ or $\widehat C_n^*$. Indeed, minor extensions to our arguments show that under the rates $r_n,r_n^*$ in part (ii) of Theorems (ref) and (ref), one has $$ \frac{\sqrt{n}\left(\widehat C_n - C_T\right)}{\sqrt{2 \sum_{i=1}^n (\Delta_i^n X)^4 {\bf 1}_{\{|\Delta_i^n X| \leq B_n\}}}}\stackrel{d} \to \mathcal N(0,1),~~\text{and}~~ \frac{\sqrt{n}\left(\widehat C^*_n - C_T\right)}{\sqrt{2 \sum_{i=1}^n (\Delta_i^n X)^4 {\bf 1}_{\{|\Delta_i^n X| \leq B^*_n(i)\}}}}\stackrel{d} \to \mathcal N(0,1), $$ where the thresholds $B_n$ and $B^*_n(i)$ are the same as for $\widehat C_n$ and for $\widehat C_n^*$ as described in Theorems (ref) and (ref), respectively.
remarkStrictly speaking, the estimators $\widehat C_n$ and $\widehat C_n^*$ are not “tuning-free” in the same way as, e.g., bipower variation is: $\widehat C_n$ depends on $r_n$ and $\widehat C_n^*$ depends on $r_n^*$ and $k_n$, which must still be chosen by the practitioner. However, the auxiliary sequences $r_n,r_n^*$ and $k_n$ are relatively data-insensitive and can be chosen based on sampling frequency alone. This stands in contrast with selecting the (full) parameter $\varepsilon$ itself, which is highly data-sensitive, as demonstrated in Figure (ref). This is further illustrated in the next section.

Monte Carlo study

In this section, we compare the finite-sample performance of $\widehat C_n$ and $\widehat C_n^*$ against standard tuning approaches for TRV in the literature based on simulated data from the following stochastic volatility model:

equation*[equation* omitted — 203 chars of source]

Above, $W$ and $B$ are two correlated standard Brownian motions with covariation $d\langle W, B\rangle_t=\rho dt$, $L$ is a CGMY L\'{e}vy process independent of $W$ and $B$, and $J$ is an inhomogeneous compound Poisson process independent of all other processes with intensity $\{\lambda(t)\}_{t\geq{}0}$ and jump distribution $\varrho(dx)$.

Based on a 6.5 hour trading day and 252 trading days per year, we consider time horizons of $T\in\{\frac{1}{252}, \frac{5}{252},\frac{1}{12}\}$, corresponding to 1 day, 1 week, and 1 month, respectively, at the 5-minute ($h_n=(\frac{1}{252})(\frac{1}{6.5})(\frac{5}{60})$) sampling frequency. For illustration, we examine five separate scenarios we now describe. Unless otherwise stated, for ease of comparison the parameters for $\{\sigma_t^2\}_{t\geq{}0}$ are set as:

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

With these parameter choices, the annualized expected integrated variance is $(1/T)\mathbb{E} C_T = (0.2)^2$, and, in all settings, parameters are chosen so that the expected annualized realized volatility is approximately $\sqrt{(1/T)\mathbb{E} (\text{RV}_n)}\approx 0.275$ (Models 1,2,4,5, below) or $0.3$ (Model 3), which are realistic for financial data.

itemize• Model 1 (homogeneous jumps): for the infinite activity component $\{L_t\}_{t\geq{}0}$, we choose \begin{align*} C_-=0.148,\quad C_+ = 0.033, \quad G=3.295,\quad M=4.685, \quad Y=0.917. \end{align*} The parameters $C_-,C_+,G,M$ are taken from estimates in kawai:2010 for a 1-year interval based on calibration from index options; here $Y=0.917$ corresponds to the average of the reported estimates of $Y^+$ and $Y^-$ in their model, namely $Y=\frac{Y^++Y^-}{2}$. For $\{J_t\}_{t\geq{}0}$, we choose $$\lambda(t)\equiv 252~\text{(1 jump per day)},\quad \varrho(dx)\sim \mathcal N(-0.005, 0.01^2).$$ • Model 2 (switching jump intensity): all settings are the same as in Model 1, except $\{J_t\}_{t\geq{}0}$ has time-varying intensity: $$\lambda(t)= (252)\vartheta(t),\quad \vartheta(t)=\begin{cases} 2,&\sigma^2_t\geq\theta,\\ 0,& \sigma^2_t<\theta. \end{cases}$$ • Model 3 (higher jump intensity): all settings are the same as Model 1, except $\{J_t\}_{t\geq{}0}$ has a higher jump intensity: $$\lambda(t)\equiv (1.5)(252)~\text{(1.5 jumps per day)}.$$ • Model 4 (finite jump activity): all settings are the same as Model 1, except we take $L_t\equiv 0$, and adjust $\lambda(t)\equiv (1.15)252$ to match the expected realized variance of Model 1.\\ • Model 5 (no jumps): All settings are the same as Model 1, except we take $J_t\equiv 0$, $L_t\equiv 0$, and adjust $\theta=(0.275)^2$ to match the expected realized variance of Model 1.

We compare 6 types of estimators based on TRV: two instances of standard approaches, and two instances each of the iterative estimator $\widehat C_n$ and of the localized iterative estimator $\widehat C^*_n$ with different types of initializations. Specifically, for $\widehat C_n$ we use the following estimators as initializations: $$ \text{RV}_n = \sum_{i=1}^n(\Delta_i^nX)^2,\qquad \text{BV}_n= \frac{\pi}{2}\sum_{i=2}^n |\Delta_{i-1}^n X| |\Delta_{i}^n X|. $$ For $\widehat C_n^*$, we use their localized counterparts, denoted by $$ \hat \sigma_n^2(\ell) = \frac{1}{h_nk_n}\sum_{i=\ell-k_n/2+1}^{\ell+k_n/2}(\Delta_i^n X)^2,\quad \text{BV}^{\text{spot}}_n(\ell)= \frac{1}{h_nk_n}\frac{\pi}{2}\sum_{i=\ell-k_n/2+1}^{\ell+k_n/2} |\Delta_{i-1}^n X| |\Delta_{i}^n X|. $$ We consider the following estimation procedures:

enumerate$\text{TRV}_n(\varepsilon_{0,n})$, where $\varepsilon_{0,n}= h^{0.49}_n$; • $\text{TRV}_n(\varepsilon_{1,n})$, where $\varepsilon_{1,n}= \sqrt{\text{BV}_n r_n}$, with $\sqrt{r_n}=4 h^{0.49}_n$ as used in jacod:todorov:2014,li:todorov:tauchen:2017,ding:li:liu:zheng:2023. • $\widehat C_n$, with initialization $\widehat{C}_{n,0}=\text{RV}_n$ and $r_n$ as in (2); • $\widehat C_n$, with initialization $\widehat{C}_{n,0}=\text{BV}_n$ and $r_n$ as in item (2); • $\widehat C_n^{*}$, with $r_n^*=2h_n(\log (1/h_n) -\log\log (1/h_n))$, $k_n=h^{-0.5}_n$ (5a) or $k_n=h^{-0.6}_n$ (5b), and initialization $\widehat c_{n,0}(i)=\hat \sigma^2_n(i)$; • $\widehat C_n^{*}$, with $r_n^*=2h_n(\log (1/h_n) -\log\log (1/h_n))$, $k_n=h^{-0.5}_n$ (6a) or $k_n=h^{-0.6}_n$ (6b), and initialization $\widehat c_{n,0}(i)=\text{BV}^{\text{spot}}_n(i)$.

We simulate $m=5000$ paths for each Model 1-5. Denoting by $\widehat{\mathcal C}$ one of the estimators in (1)-(6), on the $j$--th realization we compute the estimator value, $\widehat{\mathcal C}_j$, the corresponding true integrated volatility, $C_{T,j}$, and report

itemize• The mean relative error (in %): $100(\frac{1}{m}\sum_{j=1}^m e_j$), where $e_j=\frac{\widehat{\mathcal C}_j-C_{T,j}}{C_{T,j}}$; • The standard deviation of the relative error (in %): $100\sqrt{\frac{1}{m}\sum_{j=1}^m (e_j-\overline e)^2}$; • $\sqrt{\text{MSE}} = \sqrt{\frac{1}{m}\sum_{j=1}^m (\widehat{\mathcal C}_j - C_{T,j})^2}$.

The results are displayed in Tables (ref)-(ref); the smallest bias and MSE for each time horizon are shown in bold.

table[table omitted — 4,636 chars of source]

In general, we see that when jumps are present (Models 1-4), both the iterative estimator $\widehat C_n$ and localized iterative estimator $\widehat C_n^*$ can outperform the standard tuning choice (2) for $\text{TRV}$ both in terms of relative error and MSE by significant margins, with reductions in bias often by 50% or more by comparison to (2) and reductions in $\sqrt{\text{MSE}}$ as high as 40%. As anticipated, deterministic tuning (1) performs rather poorly by comparison to approaches (2)-(6) on all time horizons, and although the (non-iterative) bipower-tuned TRV in (2) leads to a substantial improvement over (1), it is uniformly outperformed by (4)-(6) on all time horizons considered and also outperformed by (3) except on daily time horizons.

In general, the localized estimators (6a,6b) have the largest relative performance gains compared to standard procedures (1)-(2) over longer time horizons, which is somewhat expected, ranging from 13%-23% reduction in $\sqrt{\text{MSE}}$ at daily horizons to 28%-40% reduction in $\sqrt{\text{MSE}}$ at monthly horizons compared to (2). Also, iterative approaches with jump-robust initializations (4,6a,6b) generally have improved performance compared to those without jump-robust initializations (3,5a,5b). Furthermore, for the localized estimators, the choice $k_n=h_n^{-0.6}$ (5b,6b) tends to lead to improvement relative to the choice $k_n=h_n^{-0.5}$ (5a,6a) over longer time horizons. The best performance in terms of both relative error and MSE is typically achieved by (6b).

table[table omitted — 3,233 chars of source]

Comparing performance across Models 1-4, we see that all iterative approaches (3)-(6) are generally more robust against increased levels of jump activity as well as time-varying jump behavior compared to (1)-(2). In both Models 2 and 3, on longer time horizons, the performance advantage of the localized estimators over uniform approaches is typically larger by comparison to the performance advantage they have over uniform approaches in Model 1. Though all estimators (1)-(6) have better overall performance under finite jump activity (Model 4) relative to settings with infinite activity (Models 1-3), the iterative approaches still retain performance advantages over standard choices (1)-(2) even without an infinite activity component in the model.

Turning to the jump-free case (Model 5), we note that all estimators perform very similarly in terms of both bias and MSE and are typically slightly negatively biased. Over weekly and monthly time horizons, the localized estimators (5-6) incur a very slight increase in bias (appx. 0.15%) compared to uniform thresholding (2), and the deterministic TRV has marginally smaller $\sqrt{\text{MSE}}$ compared to (2)-(6).

We note that although a slight increase in bias occurs in the localized estimators (5)-(6) in the absence of jumps, it is relatively small relative to the potential performance gain one may attain if jumps are present. Since jumps are generically expected in many types of data, for use in practice we recommend the localized estimator with jump-robust initialization and settings of (6b). However, if a simpler implementation is desired, or one wants to avoid the potential marginal additional bias when jumps are absent, method (4) is a reasonable alternative. We remark that in any case, these choices (4,6b) in the presence of jumps can significantly outperform the common choice in the literature (2).

table[table omitted — 913 chars of source]

Regarding computational considerations, in Table (ref) we report the empirical distribution of the number of iterations required for stabilization for both the localized thresholding and uniform thresholding approaches (i.e., $j_n$, as in (ref), and $j_n^*$ as in (ref)) across all models with jumps (Models 1-4) on 1-month time horizons. Both $\widehat C_n$ and $\widehat C_n^*$ stabilize rather quickly, with roughly 98% of all estimates stabilizing in 4 or fewer iterations, and the global and local thresholding approaches take roughly the same number of iterations. Though not included in Table (ref), in the jump-free case (Model 5), all observed instances of estimators stabilized in 3 or fewer iterations, with the vast majority taking 1 or 2; also, shorter time horizons typically required fewer iterations to stabilize in all settings.

Unreported simulation studies suggest localized estimators can have further performance gains relative to uniform thresholding approaches when the time horizon is extended or when additional inhomogeneities are incorporated into the model such as volatility jumps. Generally performance improvement of $\widehat C_n$ and $\widehat C_n^*$ relative to standard-type TRV tuning (1) and (2) becomes more dramatic as the overall proportion of jump variation increases relative to the quadratic variation of $X$, or when the activity of either jump component ($L$ or $J$) is increased, and substantive performance gains are typically observed provided at least one of these components is present. We also remark that at daily horizons, with relatively small sample size ($n=78$) there is little difference between uniform thresholding (3)-(4) and the localized thresholding (5)-(6), except for the rates $r_n$ and $r_n^*$; not included in this study is a detailed examination of the optimal choice of $k_n$, which could be of future interest, though $k_n = h_n^{-0.6}$ seems to reasonably well in most scenarios.