Abstract
In the high-frequency limit, conditionally expected increments of fractional Brownian motion converge to a white noise, shedding their dependence on the path history and the forecasting horizon and making dynamic optimisation problems tractable. We find an explicit formula for locally mean–variance optimal strategies and their performance for an asset price that follows fractional Brownian motion. Without trading costs, risk-adjusted profits are linear in the trading horizon and rise asymmetrically as the Hurst exponent departs from Brownian motion, remaining finite as the exponent reaches zero while diverging as it approaches one. Trading costs penalise numerous portfolio updates from short-lived signals, leading to a finite trading frequency, which can be chosen so that the effect of trading costs is arbitrarily small, depending on the required speed of convergence to the high-frequency limit.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
First proposed as a model of price dynamics by Mandelbrot [14], fractional Brownian motion (fBm) has since puzzled researchers and stirred controversy for its elusive properties, which have confounded both empirical and theoretical work. Long-range dependence in asset prices, the property that originally motivated the use of fBm to describe price dynamics, remains undecided; see Greene and Fielitz [7], Fama and French [6], Poterba and Summers [17], Lo [13], Jacobsen [12], Teverovsky et al. [22], Willinger et al. [23], Baillie [1]. Arbitrage, which has plagued the adoption of fBm in models of optimal investment (Rogers [19], Salopek [20], Dasgupta and Kallianpur [5], Cheridito [2]) disappears with frictions (Guasoni [8], Guasoni et al. [10], Czichowsky and Schachermayer [4], Czichowsky et al. [3]), leading to finite expected profits; see Guasoni et al. [9].
This paper finds locally mean–variance optimal trading strategies in fractional Brownian motion and characterises their convergence and performance in the high-frequency limit. Our analysis starts from a fixed trading frequency, for which optimal strategies are directly proportional to the (conditionally) expected increment and inversely proportional to its variance. The central feature of fractional Brownian motion is that unlike diffusion models, the conditionally expected increment is not proportional to the length of the trading period, but to a power thereof – the Hurst exponent. Because the increment’s standard deviation scales with the same power, the average Sharpe ratio is insensitive to the length of the trading period.
The key insight (Theorem 2.3) is that the high-frequency limit of such a forecast (the “latent drift” of fractional Brownian motion) is a white-noise process with a variance depending on the Hurst exponent, but invariant to any scaling of the process (which would equally scale both expected increments and their standard deviation). This result in turn leads to a cascade of implications for optimal continuous trading of fractional Brownian motion.
First, the optimal mean–variance performance from trading fractional Brownian motion is proportional to the length of the whole trading horizon – as for Brownian motion with drift – in spite of the different scaling of mean and variance on individual periods. The reason is that the cumulative performance of high-frequency trading fractional Brownian motion on a finite horizon is essentially equivalent to the average performance of a discrete-time model with infinitely many periods and independent, identically distributed Sharpe ratios. Both performances are deterministic because randomness disappears through ergodicity.
Second, the resulting performance is asymmetric in the Hurst exponent (Fig. 1 and Theorem 2.2), remaining bounded as the process approaches a white noise (near \(H= 0\)), but diverging as it approaches a near-straight line with random drift (near \(H= 1\)). This result is significant because it does not stem from the autocovariance properties of the strategies’ expected returns; indeed, for any Hurst exponent, the instantaneous forecast is a white noise. Instead, the result reflects the magnitude of the variance of the white-noise forecast that is extracted from the paths of fBm for different values of \(H\): for \(H\) near zero, the weights of the white-noise forecast are small and highly concentrated on recent increments, which results in a moderate variance. By contrast, for \(H\) near one, the forecast’s weights are large and reach far into the path’s past history, leading to a diverging variance.
Third, and contrary to the intuition from previous results, including our own, we find that such performance is immune to small frictions – such as proportional transaction costs or immediate nonlinear price impact (Theorem 3.1 and Corollary 3.2). Specifically, while frictions detract from performance, their effect vanishes arbitrarily quickly by slowly increasing the trading frequency as trading costs decrease, so that their asymptotic impact vanishes at any required rate. Similarly, holding trading costs constant, their effect also vanishes by increasing the horizon while appropriately calibrating the trading frequency.
Fourth, we observe that approximations of the latent drift of fractional Brownian motion converge weakly, but not in norm. This observation highlights a qualitative difference between the familiar drifts of diffusions and their partial analogies for fractional processes. Not only are diffusive drifts of the order of infinitesimal time intervals (informally, \(dt\)) while fractional drifts are a power thereof (informally, \((dt)^{H}\)); in addition, diffusive drifts can be understood as close approximations of conditionally expected increments over any sufficiently small interval because such approximations converge (in norm) as random variables. By contrast, fractional drifts are critically dependent on the specific interval: as the interval length declines to zero, the conditionally expected returns converge in law, but not as random variables in any reasonable sense.
Finally, it is worthwhile comparing the findings in this paper to the recent results in Guasoni et al. [9], as both articles study optimal trading strategies for fractional Brownian motion, though in very different settings. The main difference lies in the objective functions considered – here a local mean–variance criterion on a finite interval, while in [9] a risk-neutral target with a long horizon. In particular, the presence of a nonlinear friction is crucial to make the problem in [9] well posed, as it would otherwise lead to unbounded expected profits. In contrast, the present local mean–variance criterion is well posed even without frictions as the instantaneous Sharpe ratio remains bounded for any \(H\in (0,1)\), although arbitrage is feasible on any interval because arbitrage profits remain dispersed. Both [9] and the present paper lead to finite maximal Sharpe ratios that are asymmetric in \(H\), but their skews are reversed and arise for different reasons: while the asymptotically optimal strategies in [9] have higher Sharpe ratios near zero than near one, they are not necessarily optimal as the strategies maximise a risk-neutral objective, not the Sharpe ratio. By contrast, the Sharpe ratios obtained here are indeed optimal as they maximise the local mean–variance criterion over any finite interval by ergodicity.
The rest of the paper is organised as follows. Section 2 describes the model and the main result without frictions, discussing their significance and implications. Section 3 considers frictions and shows how their impact can be mitigated by a judicious choice of the trading frequency. Section 4 concludes, and all proofs are in the Appendix.
2 Main results
An investor trades a safe and a risky asset. The safe rate is assumed zero to simplify notation, while the price of the risky asset is a multiple of fractional Brownian motion.
Definition 2.1
Fractional Brownian motion (fBm) with Hurst index \(H\in (0,1)\) is a Gaussian process \(B^{H}=(B^{H}_{t})_{t\geq 0}\) defined on a probability space \((\Omega ,\mathcal{F},P)\), with continuous trajectories such that \(E[B^{H}_{t}B^{H}_{s}]=\frac{1}{2}(t^{2H}+s^{2H}-|t-s|^{2H})\), \(t,s \geq 0 \), and \(E [B^{H}_{t}]=0\), \(t\geq 0\).
The case \(H=1/2\) corresponds to usual Brownian motion, henceforth excluded. Thus \(H\in (0,1)\setminus \{1/2\}\) unless stated otherwise. Consider a trading horizon \(T>0\) and a frequency \(n\geq 1\), which represents the number of trading periods in the interval \([0,T]\). The set \(\Sigma _{n}\) of strategies consists of sequences \(\pi _{s}\), \(s\in \{T k/n:\ 0\le k\le n-1\}\), of random variables such that \(\pi _{s}\) is \(\mathcal{F}_{s}\)-measurable for all such \(s\), where \((\mathcal{F}_{s})_{s\ge 0}\) is the augmented natural filtration of \(B^{H}\).
An investor who holds at the beginning of each interval \([T k/n, T (k+1) /n]\) a number of shares equal to \(\pi _{T k/n}\) attains the mean–variance performance
where \(E_{t}[X]\) and \(\operatorname{Var}_{t} [X]:=E_{t}[X^{2}]- (E_{t}[X])^{2}\) respectively denote the conditional expectation and conditional variance of a random variable \(X\) with respect to \(\mathcal{F}_{t}\), while \(S_{t} = \sigma B^{H}_{t}\) denotes the risky asset price at time \(t\). The parameter \(\gamma >0\) represents the investor’s aversion to risk (as measured by variance).
Assuming time-additive preferences, the overall performance in the interval \([0,T]\) of a trading strategy is defined as the sum of the per-period performances, weighing each period by its length \(T/n\), i.e.,
Thus the high-frequency objective for fractional Brownian motion is
and represents the maximal performance of a continuous-time strategy that updates the portfolio at arbitrary frequency on the interval \([0,T]\).
With this notation, the main result of this paper is
Theorem 2.2
For each \(H\in (0,1)\),
and the limit superior in the definition of \(V(H,\gamma )\) is in fact a limit.
Before discussing the details of this result, it is useful to compare it to the familiar benchmark of Brownian motion with drift, i.e.,
for some Brownian motion \(W\) and \(\mu \in {\mathbb{R}}\), \(\sigma >0\). A simple calculation then shows that
In other words, both the optimal strategy and its performance do not depend on \(n\), are inversely proportional to the squared volatility \(\sigma ^{2}\) and risk aversion \(\gamma \), and are respectively linear and quadratic in the drift. In addition, performance is linear in the investment horizon. The linear dependence on the drift and the inverse dependence on the volatility is at the heart of the risk–return tradeoff that arises in random-walk models: as returns are serially independent, their randomness is purely a source of risk, and its reduction is unambiguously beneficial.
The fractional high-frequency performance in (2.1) contains surprising features both in its departures and in its analogies with the usual mean–variance performance (2.2). In contrast to (2.2), the performance in (2.1) is independent of volatility. (In fact, the result is also independent of an additional drift, as observed in Remark A.11. Intuitively, the reason is that for a short time interval, the conditionally expected increment of fBm is of order \((dt)^{H}\), which makes an ordinary drift of order \(dt\) negligible in the mean–variance optimal strategy and its performance.) As shown below, the optimal strategy inversely depends on variance, but this dependence is lost in performance because the expected return directly depends on variance, thereby offsetting its effect.
In analogy to (2.2), the performance in (2.1) is linear in the investment horizon. Upon reflection, also such an analogy is surprising because the linearity in the horizon of the usual mean–variance performance in (2.2) stems from the independence of increments of Brownian motion and the constant drift. Instead, the dependence in increments of fractional Brownian motion is substantial and indeed crucial to generate positive returns.
The dependence on the Hurst exponent \(H\), displayed in Fig. 1, is similarly puzzling in view of its asymmetry. At one extreme, as \(H\) approaches zero and increments increasingly resemble white noise (Mishura [15, Lemma 4.1]), performance converges to a finite limit, i.e.,
(The last equality follows from the identity \(\Gamma (\frac{3}{2})=\frac{1}{2}\Gamma (\frac{1}{2})\).) As \(H\) approaches \(1/2\), performance flattens around zero as the process mimics an ordinary Brownian motion. This expansion exploits identities involving the derivatives of the Gamma function (cf. Sun and Qin [21]), namely
In particular, this identity confirms the intuition from Fig. 1 that performance reaches its unique minimum of zero in the martingale case of \(H=1/2\), while slowly increasing in each direction. At the other extreme, as \(H\) approaches one and the process resembles a straight line with random slope, performance diverges, i.e.,
To obtain the term \(1/(8 (1-H))\), recall that \(\Gamma (x)\sim 1/x\) for \(x\) near zero. The term \((-3 + \log 4)/4\) follows from more complex higher-order asymptotics. Key to understanding these features is the prediction mechanism at the heart of the problem. As our mean–variance objective is time-additive, the optimal trading strategies maximise performance in the next period. Because for a square-integrable random variable \(X\), the functional \(\varphi \mapsto E[\varphi X]- \frac{\gamma }{2} \operatorname{Var}[\varphi X]\) attains its maximum \(E^{2}[X]/(2\gamma \operatorname{Var}[X])\) at \(\phi ^{*}=E[X]/(\gamma \operatorname{Var}[X])\), the optimal strategy \(\pi (n)\in \Sigma _{n}\) is
To investigate the high-frequency limit, it is convenient to extend these strategies by right-continuity to the entire interval \([0,T]\), i.e., setting
With this notation, the next theorem identifies the limit of such strategies, which is interpreted as the asymptotically optimal strategy in the high-frequency regime.
Theorem 2.3
The sequence \((((T/n)^{-H}\pi _{t}(n))_{t\in [0,T]})_{n\in \mathbb{N}}\) consists of Gaussian processes that, as \(n\) increases, converge in finite-dimensional distributions to a Gaussian process \((B_{t})_{t\in [0,T]}\) such that
1) \(B_{0}=0\) a.s.
2) \(E[B_{t}] = 0\), \(t\in (0,T]\).
3) \(E[B_{t}^{2}]=1-\frac{\Gamma (3/2-H)}{\Gamma (H+1/2)\Gamma (2-2H)}\), \(t\in (0,T]\).
4) \(E[B_{t}B_{s}]=0\) for \(t\neq s\), \(s, t\in [0,T]\).
Proof
Follows from Proposition A.5, Lemma A.7 and Theorem A.8 below. □
This result has a striking message: Up to a scaling factor, the optimal strategy – hence the expected return over the next period – is essentially a white noise (the exception is \(t=0\), for which the process is conventionally pinned at zero). In other words, regardless of the Hurst exponent \(H\) and regardless of the autocorrelation of increments in fractional Brownian motion, the forecasts of short-term increments (i.e., the trading signals) are virtually uncorrelated from one instant to the next. Figure 2 illustrates the convergence result in the theorem by plotting at increasing frequencies the autocorrelation of \(\pi _{T k/n}(n)\), which converges to the autocorrelation of a white noise.
The Hurst exponent controls the scale of the strategy: Denoting by \(\Delta \) the length of each trading period, price increments have conditional expectation of order \(\Delta ^{H}\) and conditional variance of order \(\Delta ^{2H}\), which implies trading positions of order \(\Delta ^{-H}\) (cf. Proposition A.5 and Theorem A.8). This feature is in contrast to the Brownian benchmark, in which both the expected return \(\mu \Delta \) and its variance \(\sigma ^{2} \Delta \) are of the same order. Instead, the variance in the fractional setting has a smaller order, which means that bets become more favourable as the trading frequency increases, and therefore their optimal size increases.
Note, however, that the implied performance in each period is proportional to the conditional expectation \(\Delta ^{H}\) times the position size \(\Delta ^{-H}\), hence of order 1. As each trading period leads to the same performance (in view of the white-noise property established in Theorem 2.3), trading over an interval of length \(T\) generates a performance proportional to \(T\). In particular, the results below show that the optimal trading position is asymptotically
and that on the subsequent interval, the expected increment has the asymptotic (conditional) mean and variance
The performance formula in Theorem 2.2 follows from
This analysis also offers an intuitive explanation for the asymmetric behaviour of the performance in (2.3) and (2.4). For \(H\) close to zero, the asset price \(S\) itself is akin to a white noise, for which the mean and variance in (2.6) are of the same order. Accordingly, the performance converges to a finite limit. By contrast, for \(H\) close to one, the process degenerates to a straight line with random slope, as randomness vanishes from its increments. Thus the trading strategy generates return with virtually no risk, and the performance diverges.
Note that the mean–variance optimal strategies \((\pi _{t}(n))\) are not arbitrage opportunities as the support of their payoffs is \((-\infty ,+\infty )\). Although continuous trading with fBm leads to arbitrage opportunities (see e.g. Rogers [19], Salopek [20]), it is clear that on any finite deterministic grid, fBm does not admit arbitrage because an equivalent martingale measure can be constructed through a backward recursion that aligns all conditionally expected increments to zero. (In fact, arbitrage disappears even when a minimal time has to pass between two subsequent transactions; see Cheridito [2].)
A deeper question is whether the sequence of strategies \((\pi (n))_{n\ge 1}\) yields an arbitrage in some limit sense, and the answer is affirmative. The sequence of discrete-time mean–variance optimal policies offers a statistical arbitrage in that
where \(W(n)\) is the final wealth of the strategy \(\pi (n)\) starting from null initial capital, i.e.,
This fact is readily proved by observing that in mean–variance optimisation, the expectation of the optimal strategy is always twice as large as its variance, whence
because \(E[R_{\gamma }(\pi (n),n,S)]\) tends to a finite nonzero limit (for \(H\ne 1/2\)) by Theorem 2.2.
As Theorem 2.3 establishes that the rescaled strategies essentially converge to a white noise in finite-dimensional distributions, a natural question is whether such a convergence holds in a stronger sense, such as in square norm, so that its limit can be interpreted as a rescaled asymptotically optimal strategy in continuous time.
The next result provides a negative answer to this question by showing that even focusing on a sequence of dyadic partitions, the square norm between each discretisation and the next remains bounded away from zero.
Theorem 2.4
Let \(\Delta _{k} = T/{k}\). For all \(H\in (0,1)\setminus \{1/2\}\) and \(t\in (0,T)\),
The significance of this result is that the optimal strategy is extremely sensitive to the trading frequency used, and that optimal strategies at increasing frequencies are not approximations of some underlying continuous-time strategy, which does not exist. In fact, even if such a strategy existed, it would be of no use because the paths of a white-noise process are not even measurable (cf. Revuz and Yor [18, p. 37]).
At a more concrete level, the above results show that as the frequency increases, the corresponding trading strategies become increasingly variable; thus in practice, their ostensible theoretical performance may be more than offset by the trading costs that such strategies entail. The next section investigates this issue by identifying how the optimal trading frequency depends on the size of trading costs.
3 Trading costs
The optimal strategies identified in (2.5) imply that asset positions are both large and highly variable, thereby calling into question their robustness to trading costs. To investigate this issue, recall the sequence of strategies \(\pi (n)\), \(n\geq 1\), defined in (2.5) above.
Assuming that a portfolio change from \(\theta _{1}\) to \(\theta _{2}\) shares incurs the cost \(\lambda |\theta _{1}-\theta _{2}|^{\alpha }\) for some \(\alpha ,\lambda >0\), the local mean–variance analysis for a trader applying the strategy \(\pi (n)\) leads to the functionals (setting \(\pi _{t}(n):=0\) for \(t<0\))
where \(R(n)\) denotes frictionless performance, i.e.,
while the second term in \(\tilde{R}(n)\) represents the effect of trading costs. The next result shows that expected trading costs \(E[R(n) - \tilde{R}(n)]\) grow with a superlinear power of the trading frequency \(n\) that increases with both the Hurst and the friction exponents. As a result, for fixed transaction costs, the objective function arbitrarily deteriorates as the frequency increases, and the optimal trading frequency must be finite.
Theorem 3.1
\(E[R(n) - \tilde{R}(n)] = O(n^{1+\alpha H}) \) and hence \(\lim _{n\to \infty } E[\tilde{R}(n)] = -\infty \).
The next logical step is to understand the effect of small trading costs on the overall objective. Here the above result leads to an unexpected implication: with a judicious choice of the trading frequency, the effect of frictions is negligible at any order.
Corollary 3.2
Let \(n_{\lambda }= \lfloor \lambda ^{\frac{\beta -1}{1+\alpha H}} \rfloor \) for \(\beta \in (0,1)\). Then
that is, trading costs are of order \(\lambda ^{\beta }\).
Upon reflection, this result is a direct consequence of Theorem 3.1. Yet, its conclusion is counterintuitive when compared to the results for frictions in familiar diffusion models (cf. Guasoni and Weber [11, Theorem 4.1]) where the welfare loss is of the order of \(\lambda ^{\frac{2}{2+\alpha }}\); for example, proportional transaction costs correspond to \(\alpha =1\), leading to a welfare loss of order \(2/3\).
Intuitively, the main difference is that in familiar diffusion models, the main determinant of optimal portfolios is the asset price’s local drift which is typically smooth. Thus as the trading frequency increases, smaller and smaller adjustments are required, which means that holding trading costs constant, the high-frequency limit of the portfolio performance is finite.
In contrast, in the fractional setting considered here, the “latent drift” of the process is highly irregular – in the limit, it is a white noise –; hence it entails trading costs that grow with the trading frequency as implied by Theorem 3.1. However, this irregularity can be harnessed to make trading costs negligible in the high-frequency limit, by choosing the trading frequency \(n_{\lambda }\) to grow slowly as \(\lambda \) decreases so that overall costs vanish in the limit. Of course, letting \(n\) grow more slowly has the downside that the convergence of the strategy’s performance to the optimum in (2.1) is also going to be slower.
Corollary 3.2 also identifies the maximal speed identifies the maximal speed at which the frequency may grow so that the strategy converges to the optimum. In particular, \(n_{\lambda }\) may grow at a rate arbitrarily close to \(\lambda ^{-\frac{\-1}{1+\alpha H}}\), but not at this exact rate: at this critical regime, costs would not vanish but converge to a positive finite limit, which would be suboptimal.
As trading costs are fixed in applications, the significance of this result is as follows: In practice, the trading cost \(\lambda \) implies that the optimal trading interval should be \(1/n_{\lambda }\approx \lambda ^{\frac{1-\beta }{1+\alpha H}}\), where \(\beta \) is close to one. However, the closer the \(\beta \) to one, the larger the trading interval, which means that the convergence of the strategy to the frictionless limit for a fixed horizon \(T\) is slower, and its risk higher. Thus if the horizon is not long enough to guarantee that the payoff has a sufficiently low risk, one may choose to decrease the value of \(\beta \) to reduce risk further, at the price of an increased trading cost.
4 Conclusion
This paper finds locally mean–variance optimal trading strategies for an asset price that follows fractional Brownian motion, and finds that the average Sharpe ratio is finite, asymmetric in the Hurst exponent, bounded near zero, and unbounded near one. The central result is that conditionally expected increments are asymptotically a Gaussian white noise, regardless of the Hurst exponent, but with a variance that depends on that exponent.
The optimal performance is insensitive to small trading frictions, in that their impact can be mitigated arbitrarily well by calibrating the trading frequency appropriately. This phenomenon is in sharp contrast to diffusion models for which the impact of small frictions has a fixed order of magnitude.
References
Baillie, R.T.: Long memory processes and fractional integration in econometrics. J. Econom. 73, 5–59 (1996)
Cheridito, P.: Arbitrage in fractional Brownian motion models. Finance Stoch. 7, 533–553 (2003)
Czichowsky, C., Peyre, R., Schachermayer, W., Yang, J.: Shadow prices, fractional Brownian motion, and portfolio optimisation under transaction costs. Finance Stoch. 22, 161–180 (2018)
Czichowsky, C., Schachermayer, W.: Portfolio optimisation beyond semimartingales: shadow prices and fractional Brownian motion. Ann. Appl. Probab. 27, 1414–1451 (2017)
Dasgupta, A., Kallianpur, G.: Arbitrage opportunities for a class of Gladyshev processes. Appl. Math. Optim. 41, 377–385 (2000)
Fama, E.F., French, K.R.: Permanent and temporary components of stock prices. J. Polit. Econ. 96, 246–273 (1988)
Greene, M.T., Fielitz, B.D.: Long-term dependence in common stock returns. J. Financ. Econ. 4, 339–349 (1977)
Guasoni, P.: No arbitrage under transaction costs, with fractional Brownian motion and beyond. Math. Finance 16, 569–582 (2006)
Guasoni, P., Nika, Z., Rásonyi, M.: Trading fractional Brownian motion. SIAM J. Financ. Math. 10, 769–789 (2019)
Guasoni, P., Rásonyi, M., Schachermayer, W.: Consistent price systems and face-lifting pricing under transaction costs. Ann. Appl. Probab. 18, 491–520 (2008)
Guasoni, P., Weber, M.H.: Nonlinear price impact and portfolio choice. Math. Finance 30, 341–376 (2020)
Jacobsen, B.: Long term dependence in stock returns. J. Empir. Finance 3, 393–417 (1996)
Lo, A.W.: Long-term memory in stock market prices. Econometrica 59, 1279–1313 (1991)
Mandelbrot, B.B.: When can price be arbitraged efficiently? A limit to the validity of the random walk and martingale models. Rev. Econ. Stat. 53, 225–236 (1971)
Mishura, Y.S.: Stochastic Calculus for Fractional Brownian Motion and Related Processes. Lecture Notes in Mathematics, vol. 1929. Springer, Berlin (2008)
Norros, I., Valkeila, E., Virtamo, J.: An elementary approach to a Girsanov formula and other analytical results on fractional Brownian motions. Bernoulli 5, 571–587 (1999)
Poterba, J.M., Summers, L.H.: Mean reversion in stock prices: evidence and implications. J. Financ. Econ. 22, 27–59 (1988)
Revuz, D., Yor, M.: Continuous Martingales and Brownian Motion, 3rd edn. Springer, Berlin (1999)
Rogers, L.C.G.: Arbitrage with fractional Brownian motion. Math. Finance 7, 95–105 (1997)
Salopek, D.M.: Tolerance to arbitrage. Stoch. Process. Appl. 76, 217–230 (1998)
Sun, Z., Qin, H.: Some results on the derivatives of the gamma and incomplete gamma function for non-positive integers. IAENG Int. J. Appl. Math. 47, 265–270 (2017)
Teverovsky, V., Taqqu, M.S., Willinger, W.: A critical look at Lo’s modified R/S statistic. J. Stat. Plan. Inference 80, 211–227 (1999)
Willinger, W., Taqqu, M.S., Teverovsky, V.: Stock market prices and long-range dependence. Finance Stoch. 3, 1–13 (1999)
Acknowledgements
We are grateful to the Co-Editor Masaaki Fukasawa, the Associate Editor and two anonymous referees for their perceptive and insightful comments, which helped improve the paper significantly.
Funding
Open access funding provided by ELKH Alfréd Rényi Institute of Mathematics.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Guasoni is partially supported by SFI (16/IA/4443, 16/SPP/3347). Mishura is supported by the ToppForsk project Nr. 274410 of the Research Council of Norway with title STORM: Stochastics for Time-Space Risk Models. Rásonyi is supported by the NKFIH (National Research, Development and Innovation Office, Hungary) grant KH 126505 and by the “Lendület” grant LP 2015-6 of the Hungarian Academy of Sciences.
Appendix: Proofs
Appendix: Proofs
Henceforth, the expectation \(E[X]\) of a random variable \(X\) is defined as \(-\infty \) when both \(E[X^{+}]\), \(E[X^{-}]\) are infinite. Recall also the notion of asymptotic equivalence, where \(f(x) \sim g(x)\) near \(x = x_{0}\) means that \(\lim _{x\to x_{0}} f(x)/g(x) = 1\).
1.1 A.1 Auxiliary results on fractional Brownian motion
For \(s,t\geq 0\), introduce the kernel
where
Then, taking an (ordinary) Brownian motion \(W=(W_{t})_{t\geq 0}\), the formula
defines an fBm with parameter \(H\) which generates the same filtration as \(W\) (cf. [16, Theorem 3.2]). Moreover, any fractional Brownian motion allows the representation (A.2) with some Wiener process \(W\), and both processes generate the same filtration. Fixing such a representation, denote \(\mathcal{F}_{t}:=\sigma (W_{s},\ 0\leq s\leq t)\).
The kernel representation in (A.2) implies the following properties of fractional increments.
Proposition A.1
For any \(0\leq z\leq u\),
Proof
The relations immediately follow from (A.2). □
In particular, note that for \(z=0\),
As all the relations (A.3)–(A.5) contain the increment \(Z_{H}(u,s)-Z_{H}(z,s)\), it is useful to rewrite this expression in a more convenient form.
Lemma A.2
Let \(0\leq s< z< u\). Then
Proof
For \(H>1/2\), (A.6) follows by integrating (A.1) by parts. For \(H<1/2\), (A.2) implies that
Integrating \(\int _{z}^{u} v^{H-3/2}(v-s)^{H-1/2}\, du\) by parts gives
Note that this expression can be integrated by parts, while the kernel \(Z_{H}(u,s)\) itself cannot, because the integral \(\int _{z}^{u} v^{H-1/2} (v-s)^{H-3/2}\, dv\) exists for \(z>s\), but diverges for \(z=s\). Therefore, for \(0\leq s< z\) and \(0< H<1/2\), (A.7) implies that
which coincides with (A.6). □
Let \(\tilde{c}_{H}:=c_{H} (H-1/2)\). In view of (A.6), equations (A.3)–(A.5) admit the following alternative representation.
Proposition A.3
For \(z< u\), denote
For any \(H\in (0,1)\setminus \{1/2\}\), we have
Proof
Follows from Lemma A.2 and Proposition A.1. □
1.2 A.2 Variance bounds for conditionally expected increments
Henceforth, assume that \(z>0\). Recall that \(\xi _{u,z}\) is a centered Gaussian random variable with variance
The goal is to find lower and upper bounds for the right-hand side. Thus set
Lemma A.4
For \(H>1/2\),
and for \(H<1/2\),
Proof
(i) Let \(H>1/2\). Consider the integral
Then obviously
To estimate \(I^{0}_{u,z}\) from below and from above, the change of variables \(s=zx\) gives
To estimate \(I^{1}_{u,z}\), note that the Lagrange mean value theorem implies
for some \(\theta \in (1,u/z)\). Therefore
Turning to \(I^{2}_{u,z}\), the changes of variables \(1-x=y\) and \(y=\frac{u-z}{z}r\) yield
Finally, from (A.9)–(A.11) and (A.8), it follows that
(ii) Let \(H<1/2\). Note that in this case,
Equality (A.9) holds true. For \(I^{1}_{u,z}\), we have (A.10), and (A.11) also holds true. Substituting (A.9)–(A.11) into (A.12), it now follows that the lower and upper bounds equal \(\tilde{c}_{H}^{2} \widetilde{I}_{u,z}^{\flat }\) and \(\tilde{c}_{H}^{2} \widetilde{I}_{u,z}^{\sharp }\), respectively, and the proof is complete. □
1.3 A.3 Limit variance of the strategies
Now fix the interval \([0,T]\) and consider the sequence of partitions
with mesh \(\Delta _{n}:=T/n\). For any point \(t\in [0,T]\), denote \(\kappa _{t}^{n}:=\lfloor \frac{nt}{T}\rfloor \), whence
Now consider the step functions
Applying Lemma A.4 with \(u:=T(\kappa ^{n}_{t}+1)/n\), \(z=T\kappa _{t}^{n}/n\), lower and upper bounds for \(E[(\zeta ^{n}_{t})^{2}], t>0\) immediately follow. Namely, assume that \(n\) is sufficiently large so that \(\kappa _{t}^{n}>0\). Setting
note that
Using these expressions, the following formula for the limit of variance follows.
Proposition A.5
For any \(H\in (0,1)\setminus \{1/2\}\),
Proof
Let \(n\to \infty \). Then \(\kappa ^{n}_{t}\to \infty \), \(T \kappa ^{n}_{t}/n \uparrow t\), \((\kappa ^{n}_{t}+1)/\kappa ^{n}_{t}\to 1\). Moreover, Lebesgue’s dominated convergence theorem guarantees that
Consider
Note that \(1-y/\kappa _{t}^{n}\to 1\) and it does not exceed 1 for \(H< 1/2\) and \(2^{2H-1}\) for \(H> 1/2\). Therefore Lebesgue’s dominated convergence theorem yields
The latter integral is well defined at 0, and \(((y+1)^{H-1/2}-y^{H-1/2})^{2}\sim O(y^{2H-3})\) when \(y\to \infty \); therefore it is also well defined at \(\infty \). Furthermore, the first terms in all values
are of order \(\Delta _{n}^{2}\), and so they tend to zero when divided by \(\Delta _{n}^{2H}\). The expression on the right-hand side of (A.15) simplifies (cf. Mishura [15, Theorem 1.3.1]) to
and
so that
Now the statement follows from Lemma A.6 below. □
Lemma A.6
For any \(H\in (0,1)\setminus \{1/2\}\), we have the equality
Proof
The arguments below use the well-known identity
First let \(H>1/2\). Applying (A.16) with \(\alpha :=H-1/2\), it follows that
because \(\Gamma (H+1/2)=(H-1/2)\Gamma (H-1/2)\). Likewise,
whence, as claimed, \(\frac{\Gamma (3/2-H)\Gamma (H+1/2)}{\sin (\pi H)\Gamma (2H)\Gamma (2-2H)}=1 \).
Now let \(H<1/2\). Then applying (A.16) with \(a:=1/2-H\) gives
and
whence the claim follows. □
1.4 A.4 Limit of the covariances
Now for \(s\neq t\), \(s,t>0\) and \(\zeta ^{n}_{t}\), \(\zeta ^{n}_{s}\) as above in (A.13), consider the asymptotic covariance \(R(s,t)=\lim _{n\to \infty } \Delta _{n}^{-2H}E[\zeta _{t}^{n}\zeta _{s}^{n}]\), with
provided that the limit exists. The first lemma shows that this covariance vanishes asymptotically.
Lemma A.7
For any \(s\neq t\), \(s,t>0\), we have
Proof
For \(0< s< t\), the covariance is
Recall that \(T\kappa _{t}^{n}/n\uparrow t\), \(T\kappa _{s}^{n}/n\uparrow s\), \(T(\kappa _{t}^{n}+1)/n\downarrow t\), \(T(\kappa _{s}^{n}+1) /n\downarrow s\) as \(n\to \infty \). Thus
for some \(\theta ^{n}_{s}\in (T\kappa _{s}^{n}/n,T(\kappa _{s}^{n}+1)/n)\) and \(\theta ^{n}_{t}\in (T\kappa _{t}^{n}/n,T(\kappa _{t}^{n}+1)/n)\).
(i) Let \(H>1/2\). The intuition is that for such \(H\),
To make this intuition rigorous, it remains to check that Lebesgue’s dominated convergence theorem applies. To this end, notice that
and
Note that for \(n>\frac{2T}{t-s}\),
so that the integral
converges, thereby proving that for \(H>1/2\),
(ii) Turning to the case \(H<1/2\), note that
Observe for \(0\leq b\leq a\) and \(q\in (0,1)\) the elementary inequality
Thus for \(0\leq z\leq 1\),
As \(T\kappa _{s}^{n}/n\uparrow s\), it follows that \(1/\kappa ^{n}_{s}=O(1/n)\). Note that
and
where \(\theta _{s,t}^{n}\in (\kappa _{t}^{n}/\kappa _{s}^{n},(\kappa _{t}^{n}+1)/ \kappa _{s}^{n})\). Note also that for \(n>\frac{2T}{t-s}\),
whence \((\theta _{s,t}^{n}-z)^{H-3/2}<(\frac{t+s}{2s}-1)^{H-3/2}\). From these considerations, it follows that
Hence
and the statement follows. □
1.5 A.5 Limit of the value processes of the strategies \(\pi (n)\)
Now consider the process \(\eta ^{n}_{t}:=\Delta _{n}^{-H}\zeta ^{n}_{t} /{ \phi _{t}^{n} } \), where
Define a centered Gaussian process \((B_{t})_{0 \leq t \leq T}\) by \(B_{0}=0\), \(E[B_{t}B_{s}]=0\) for \(t\neq s\) and \(E[B_{t}^{2}]=C_{H}\), \(t\in (0,T]\), where
Theorem A.8
For any \(H\in (0,1)\setminus \{1/2\}\), as \(n\to \infty \),
where ⇒ denotes the weak convergence of probability laws.
Proof
(i) Let \(H>1/2\). Then
As before, the limit of this expression is unchanged by omitting \(s^{1-2H}\) and \(u^{H-1/2}\). Thus
which yields the claim that \(\eta _{t}^{n}\Rightarrow \frac{\Gamma (H+1/2)\Gamma (2-2H)}{\Gamma (3/2-H)}B_{t}\).
(ii) In the case \(H<1/2\), the limit equals
To evaluate this expression, first note that in view of the previous formulas,
Now let \(z:=T \kappa _{t}^{n}/n\) and \(u:=T (\kappa ^{n}_{t}+1)/n\) so that \(E[(B^{H}_{u}-B^{H}_{z})^{2}]=(T/n)^{2H}\). As already calculated,
Therefore,
whence \(\eta _{t}^{n}\Rightarrow \frac{\Gamma (H+1/2)\Gamma (2-2H)}{\Gamma (3/2-H)}B_{t} \) also for \(H<1/2\). □
1.6 A.6 Final steps
Proof of Theorem 2.2
For any \(H\in (0,1)\setminus \{1/2\}\), as in the proof of Theorem A.8,
The passage to the limit is justified by Lebesgue’s theorem since the \(E[\Delta _{n}^{-2H}\!(\zeta _{T k/n}^{n})^{2}]\) are bounded from above uniformly in \(n\), \(k\), and the \(\phi _{T k/n}^{n}\) are bounded away from 0 uniformly in \(n\), \(k\), by Lemma A.9 below. Hence we obtain
For \(H<1/2\), an analogous argument yields (A.20) again, completing the proof. □
Lemma A.9
The values \(E[\Delta _{n}^{-2H}(\zeta _{T k/n}^{n})^{2}]\) are bounded from above uniformly in \(n\), \(k\), and the \(\phi _{T k/n}^{n}\) are bounded away from 0 uniformly in \(n\), \(k\).
Proof
First consider the case \(H>1/2\). Note that \(E[\Delta _{n}^{-2H}(\zeta ^{n}_{T k/n})^{2}]\) is bounded from above by a constant multiple of \(\Delta _{n}^{-2H} I^{\sharp }_{T(\kappa _{t}^{n}+1)/n,T\kappa _{t}^{n}/n}\). For the right-hand side of (A.14), note that
Therefore,
and the right-hand side of (A.21) is constant. Furthermore, according to (A.17) and (A.18),
Turning to the case \(H<1/2\), observe that \(\Delta _{n}^{-2H} \tilde{I}^{\sharp }_{T(\kappa _{t}^{n}+1)/n,T \kappa _{t}^{n}/n}\) does not exceed
which is a constant. Finally, it follows that
which is also a positive constant. □
1.7 A.7 Trading costs
Proof
For any \(1\leq k\leq n-1\), we claim that \(E [ |\pi _{T(k+1)/n}(n)-\pi _{T k/n}(n)|^{\alpha } ]\to \infty \) as \(n\to \infty \), and we estimate its convergence rate. Indeed, \(\pi _{T(k+1)/n}(n)-\pi _{T k/n}(n)\) is a Gaussian random variable; therefore it is sufficient to study
Recall that according to (2.5),
This expression contains in the first numerator the Gaussian random variable
which is independent from the other terms. Therefore,
Without loss of generality, assume that \(k\neq 0\), which implies that as \(n\uparrow \infty \),
where \(\theta _{n}\in [T{(k+1)}/{n},T{(k+2)}/{n}]\). The latter expression is
The function \(x\mapsto (x-b)^{2H-2}-(x-a)^{2H-2}\), \(a< b< x\), decreases in \(x\) as its derivative is
Thus
Furthermore, as shown in Sect. A.5,
Hence as \(n\to \infty \), the right-hand side of (A.22) is of the order
Proposition A.5 and Sect. A.5 imply also that for some \(C>0\),
and hence \(E[(\pi _{T(k+1)/n}(n)-\pi _{T k/n}(n))^{2}]\sim n^{2H}\) follows. Thus
□
1.8 A.8 Convergence
As the Gaussian process \(B\) is a white noise, it is unlikely that its approximations \(\eta ^{n}_{t}\) may converge other than in law. Consider the step functions defined earlier in (A.13),
and in order to simplify calculations, focus on the dyadic partitions of \([0,T]\).
Let the point \(t\in (0,T)\) be fixed as before. Denote \(\kappa _{t}^{2^{n}}:= \lfloor \frac{2^{n} t}{T}\rfloor \). Then
Introducing the notation
if we establish that the expectation
does not converge to 0 as \(n\to \infty \), then \(L^{2}\)-convergence cannot take place in Theorem A.5 above. We consider two cases, depending on the location of \(t\).
Theorem A.10
The limit
exists and is nonzero.
Proof
(i) Let \(t\in [t_{n},(t_{n}+t_{n}')/2]\). Note that in this case, \(t_{n+1}=t_{n}\), \(t_{n+1}'=(t_{n}+t_{n}')/2\). Then
(ii) Let \(t\in [(t_{n}+t_{n}')/2,t_{n}']=[t_{n+1},t_{n+1}']\). Then
Consider the difference of \((\Delta _{n})^{-H}\zeta _{t}^{2^{n}}\) and \((\Delta _{n+1})^{-H}\zeta _{t}^{2^{n+1}}\) in both cases (i) and (ii), up to a constant multiplier \(\tilde{c}_{H}\) that can and will be omitted.
In case (i), \(\Delta _{n+1}^{-H} \zeta _{t}^{2^{n+1}}- \Delta _{n}^{-H}\zeta _{t}^{2^{n}}\) is asymptotically equivalent to
Consider
Here \(I_{1}^{n}\) and \(I_{3}^{n}\) are evaluated like \(\zeta _{t}^{n}\) in Proposition A.5. For completeness, we repeat the main steps for \(I_{1}^{n}\), as they are similar for \(I_{3}^{n}\).
As \(t_{n}\leq v\leq (t_{n}+t_{n}')/2\) and \(t_{n}\to t\), \(t_{n}'\to t\), the asymptotic behaviour of \(I_{1}^{n}\) is the same as for the simpler integral
The integral \(\int _{0}^{1/2}\) will be transformed as
Furthermore,
where \(0<\delta <\frac{1}{2}\frac{t_{n}'-t_{n}}{t_{n}}\) and \(\delta +x\sim x\). Note that
and therefore \(\int _{0}^{1/2}\sim (\frac{t_{n}'-t_{n}}{t_{n}})^{2}\) so that \(\Delta _{n+1}^{-2H}\int _{0}^{1/2}\to 0\) as \(n\to \infty \).
For \(t_{n}^{2H}(H-1/2)^{-2}\Delta _{n+1}^{-2H}\int _{1/2}^{1}\), the change of variable \(x=\frac{t_{n}'-t_{n}}{2t_{n}}y=\frac{T}{2^{n+1}t_{n}}y\) yields
Therefore
(This is the same result as in the argument leading to Proposition A.5 above.)
Concerning \(I_{3}^{n}\), similar calculations lead to
The term coming from the first integral, as always, tends to 0. The term coming from the second integral is equivalent to
(This is the same result as for \(I_{1}^{n}\).) Now consider
The term coming from the first integral tends to 0 as \(n\to \infty \) because it is equivalent to \(\Delta _{n}^{2}/\Delta _{n}^{2H}\). Using the changes of variables \(s=1-x\) and \(x=\frac{t_{n}'-t_{n}}{2t_{n}}y \), it follows that
Therefore the limit equals
The change of variable \(y=z/2\) yields
and therefore the limit becomes
Let \(t=Tj_{0}/2^{m_{0}}\) for some \(j_{0}\geq 1\), \(m_{0}\geq 1\). Then \(t\in [t_{n},t_{n}']\) for \(n\geq m_{0}\), i.e., case (i) holds. Therefore at least for \(t\) of the form \(Tj/2^{m}\), we have no \(L^{2}\)-convergence of \(\zeta _{t}^{2^{n}}\). If \(t\) is not of this form, then the situation will switch from (i) to (ii).
Consider now case (ii). Then \(\Delta _{t}^{n}= \Delta _{n+1}^{-H}\zeta ^{2^{n+1}}_{t}- \Delta _{n}^{-H} \zeta _{t}^{2^{n}} \) and \(\Delta _{t}^{n}\) has the same limit (in the mean-square sense) as \(\Delta _{n+1}^{-H}\xi _{t_{n}',(t_{n}+t_{n}')/2}- \Delta _{n}^{-H} \xi _{t_{n}',t_{n}}\). Consider
As before, the limit of each term does not change when we replace \(v^{H-1/2}\) by \(t^{H-1/2}\). Therefore, setting \(1-s=x\), \(x=\frac{t_{n}'-t_{n}}{2t_{n}}y\) and noting \((t_{n}'-t_{n})/2=T/2^{n+1}=\Delta _{n+1}\), it follows that
Similarly,
Now,
Rewrite now \(I_{3}^{n}\) (using the substitution \(y=v/2\)) as
In summary, it follows that
which shows that \(L^{2}\)-convergence also does not hold in case (ii). □
Remark A.11
An inspection of the above proof shows that the limits in (A.19) and (A.23) remain the same if fBm is replaced by an fBm with drift, which corresponds to adding to \(\zeta _{t}^{n}\) a term proportional to \(\Delta _{n}\). Repeating the same calculations in that setting, it turns out that because \(\Delta _{n}^{-2H}\Delta _{n}^{2} = \Delta _{n}^{-2H+2}\) vanishes as \(n\) increases to infinity (since \(H\in (0,1)\)), the extra term is inconsequential.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Guasoni, P., Mishura, Y. & Rásonyi, M. High-frequency trading with fractional Brownian motion. Finance Stoch 25, 277–310 (2021). https://doi.org/10.1007/s00780-020-00439-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00780-020-00439-y