 book defined in Section \[sec: general order book\] represents the dynamics of the stock. Whenever the trader buys/sells $n$ units of stocks (being by an aggressive order or by the execution of a limit order), she sells/buys immediately $n$ units of the futures. Her inventory should be fully liquidated at $T$.

The optimal control problem {#the-optimal-control-problem}
---------------------------

We assume that the reference price $F$ of the futures is given by $$\begin{aligned}
\label{eq: def F}
F=\frac{P^{\mathfrak b}+P^{\mathfrak a}}{2}+S \end{aligned}$$ where $S$ is a mean-reverting process $$\begin{aligned}
\label{eq: dyna S}
S= S_{0}+\int_{0}^{\cdot}\rho(\hat s-S_t)dt+\int_{0}^{\cdot}\sigma(S_{t}) dW_t.\end{aligned}$$ Here, $\rho$ is the strength of mean reversion, $\hat s$ is the average of mean reversion and $\sigma:{\mathbb{R}}\mapsto {\mathbb{R}}$ is a Lipschitz bounded function representing the volatility of the process. In the following, we shall assume that $$\begin{aligned}
\label{eq: ass sigma bounded support}
\mbox{ the support of $\sigma$ is bounded.}\end{aligned}$$

\[rem : DS\] The above implies in particular that $S$ lies in a certain compact set $D_{S}$ as soon as $S_{0}$ does. [This could clearly be relaxed to the price of a finer analysis. ]{}

The strategy of the HFT is described by the same quantities as the one of the MM in Section \[sec:marketmaker\]. The only difference lies in the fact that she constantly holds a number equal to $-I$ units of the futures $F$. We assume that buying/selling the futures leads to the payment of a proportional cost $\kappa\ge 0$. Then, the dynamics of the corresponding state process $X$ is given by $$\begin{aligned}
\label{eq: dyna X HFT}
 X_{\tau_{i}}=\Tc_{X}(S_{\tau_{i}},P_{\tau_{i-1}},Q_{\tau_{i-1}},X_{\tau_{i-1}},\Delta \Ec^{\phi}_{\tau
book defined in Section \[sec: general order book\ ] represent the moral force of the stock. Whenever the trader buys / sell $ n$ unit of stocks (being by an aggressive order or by the murder of a terminus ad quem order), she sells / buys immediately $ n$ units of the futures. Her inventory should be in full liquidated at $ T$. 

 The optimal dominance trouble { # the - optimal - control - trouble } 
 --------------------------- 

 We assume that the citation price $ F$ of the futures is given by $ $ \begin{aligned } 
 \label{eq: def F } 
 F=\frac{P^{\mathfrak b}+P^{\mathfrak a}}{2}+S \end{aligned}$$ where $ S$ is a mean - revert process $ $ \begin{aligned } 
 \label{eq: dyna S } 
 S= S_{0}+\int_{0}^{\cdot}\rho(\hat s - S_t)dt+\int_{0}^{\cdot}\sigma(S_{t }) dW_t.\end{aligned}$$ Here, $ \rho$ is the strength of mean reversion, $ \hat s$ is the average of average reversion and $ \sigma:{\mathbb{R}}\mapsto { \mathbb{R}}$ is a Lipschitz bounded function representing the volatility of the procedure. In the following, we shall assume that $ $ \begin{aligned } 
 \label{eq: ass sigma bounded support } 
 \mbox { the support of $ \sigma$ is bounded.}\end{aligned}$$ 

 \[rem: DS\ ] The above implies in particular that $ S$ lies in a certain compact set $ D_{S}$ as soon as $ S_{0}$ does. [ This could clearly be relaxed to the price of a finer psychoanalysis. ] { } 

 The scheme of the HFT is described by the same quantities as the one of the MM in Section \[sec: marketmaker\ ]. The lone difference lies in the fact that she constantly holds a numeral equal to $ -I$ units of the futures $ F$. We assume that buying / sell the futures leads to the payment of a proportional cost $ \kappa\ge 0$. Then, the dynamics of the corresponding country process $ X$ is given by $ $ \begin{aligned } 
 \label{eq: dyna X HFT } 
  X_{\tau_{i}}=\Tc_{X}(S_{\tau_{i}},P_{\tau_{i-1}},Q_{\tau_{i-1}},X_{\tau_{i-1}},\Delta \Ec^{\phi}_{\tau
 bolk defined in Section \[seg: general order yiok\] re'resenta the dyvamics of the stock. Whenever tye trqder buys/sells $n$ units of stockd (being vy ai aggressive ordxd or by the esccutimi of a limit orcer), she senls/buys immedidtdlv $n$ units of the futures. Her inventowy shoukd be fully liquydattd wt $T$.

Fhe optimal control problem {#the-optjmal-conurol-problem}
---------------------------

We assuke that the reference pricf $F$ lf the futures is hiven by $$\betin{ajugned}
\label{eq: def F}
F=\frab{'^{\mathfrak b}+K^{\mathfrak a}}{2}+S \end{aligned}$$ where $S$ ks a kean-revertunt pgmcess $$\begin{eligneq}
\label{eq: dyna S}
S= S_{0}+\ind_{0}^{\cdot}\rhp(\hat s-S_t)dt+\int_{0}^{\ccot}\vigna(S_{t}) dW_t.\end{aligned}$$ Hece, $\rho$ is the strengjh of mean rzversion, $\hat s$ is the aceragg of kean eevdrsjoi ahd $\sigla:{\methbb{R}}\mapstk {\mathbb{R}}$ iw a Lipschitz boundtd slmction repreaentind ehe volatility of the process. In the fonlosing, we shall assume thqt $$\begin{aligned}
\label{ee: ass sigia bounded support}
\mbox{ the support of $\sigma$ is bognded.}\xna{alnnked}$$

\[rdn : DS\] The above implies in particular that $S$ liqa on a certain comiact set $D_{S}$ as soom ws $F_{0}$ does. [This cuuld cleadly be relaxed to hhe prise of a finer wnalusis. ]{}

The strategy of the HFR is describvd bt the same quantitnes as the oue of jhe MM in Section \[sec:marketmayer\]. Fhe only divference mkes in the fact ghan sha constantly holds a numbew equal ti $-I$ bnits of the futurqs $F$. We asdume bvat buying/selling hhe fotures leads to hhe payment of a proportional cost $\kappa\ge 0$. Tnet, tve dynamncs of the correspogding state prpcess $X$ is gkven by $$\befin{aligied}
\label{eq: drna X HFT}
 X_{\tag_{l}}=\Tc_{X}(S_{\tau_{i}},P_{\tan_{i-1}},Q_{\tau_{i-1}},X_{\twu_{i-1}},\Dwlta \Ec^{\phi}_{\txj
book defined in Section \[sec: general order the of the Whenever the trader (being an aggressive order by the execution a limit order), she sells/buys immediately units of the futures. Her inventory should be fully liquidated at $T$. The control problem {#the-optimal-control-problem} --------------------------- We assume that the reference price $F$ of the is by \label{eq: F} F=\frac{P^{\mathfrak b}+P^{\mathfrak a}}{2}+S \end{aligned}$$ where $S$ is a mean-reverting process $$\begin{aligned} \label{eq: dyna S} S= s-S_t)dt+\int_{0}^{\cdot}\sigma(S_{t}) dW_t.\end{aligned}$$ Here, $\rho$ is the strength of reversion, $\hat s$ is average of mean reversion and {\mathbb{R}}$ a Lipschitz function the of the process. the following, we shall assume that $$\begin{aligned} \label{eq: ass sigma bounded support} \mbox{ the support of $\sigma$ bounded.}\end{aligned}$$ \[rem The above in that lies in a set $D_{S}$ as soon as $S_{0}$ clearly be relaxed to the price of a analysis. ]{} strategy of the HFT is described the same quantities as the one of the in Section \[sec:marketmaker\]. The only difference lies in the fact that she constantly holds a to $-I$ units of futures $F$. We that the leads the payment a proportional cost $\kappa\ge 0$. Then, the dynamics of the corresponding process $X$ is given by $$\begin{aligned} \label{eq: dyna X HFT}
 book defined in Section \[sec: geNeral order Book\] rEprEseNtS the DynaMics of the stock. wHeneVer the trader buys/sells $n$ Units Of STockS (BeIng by An aggreSSiVE OrdEr Or By tHe EXeCutioN of A limit oRder), she selLs/bUyS immediately $N$ UnIts of the fuTurEs. Her inventoRy sHould bE fUllY LiquiDatEd at $T$.

the optIMal conTrol problEm {#THe-optiMAl-contrOL-PrObleM}
---------------------------

We assume that the rEFeREnce price $F$ of thE futurEs IS gIVEn bY $$\beGin{aligned}
\LaBel{eq: DEf F}
F=\fraC{p^{\mATHFraK B}+P^{\mathfrak a}}{2}+S \eNd{aligned}$$ whERe $S$ Is a meaN-rEveRTing prOcess $$\BeGIn{aLigned}
\label{Eq: dyNa S}
S= S_{0}+\int_{0}^{\cDot}\rho(\HAt s-S_t)dt+\INt_{0}^{\cdot}\sIgma(S_{t}) DW_t.\End{AligNEd}$$ heRe, $\rHo$ IS thE StRenGTh oF mean revErSiOn, $\hat S$ is tHE AVEragE of Mean ReverSion and $\sigma:{\mAthBb{R}}\mAPstO {\mathBb{R}}$ is A LipScHitz bOunded FunctIoN representing thE volAtility of The PrOceSs. in the FOllowiNg, wE shAll assuMe that $$\bEGin{AlIGNEd}
\Label{eq: ass sigma bouNdED SuPport}
\mboX{ the suPPoRt OF $\sigma$ is BoUndEd.}\enD{ALigneD}$$

\[rem : ds\] THe above iMplies IN pArTicular ThAt $S$ lieS iN a cErtAin coMPact Set $D_{S}$ aS soon as $S_{0}$ Does. [THIs could clearly BE relaxed to the PRiCE Of A FineR anAlysis. ]{}

The stRateGY of tHe HFt Is DesCRibed By the SaME qUAntities as the one of tHe mM in SeCtion \[Sec:marketmakeR\]. The only diFFERence lieS in tHE fACt that she constAntly Holds a numbER equal to $-i$ unitS of the fuTures $F$. We aSSUme that bUyiNg/sEllIng THE fUtures leads to THE payMeNt of a prOpoRtional CosT $\kaPpa\Ge 0$. THeN, the dynamIcs of the CoRrEsPoNdiNg staTE process $x$ iS giVeN by $$\Begin{ALigned}
\Label{Eq: dyNa x Hft}
 X_{\tAu_{i}}=\Tc_{X}(S_{\TAu_{I}},p_{\Tau_{i-1}},q_{\tAu_{I-1}},X_{\taU_{i-1}},\DElTa \Ec^{\pHi}_{\taU
 book defined in Section \ [sec: gene ral o rde r b oo k\]repr esents the dyn a mics  of the stock. Wheneve r the  t r ader bu ys/se lls $n$ un i t s o fst ock s( be ing b y a n aggre ssive orde r o rby the execu t io n of a lim itorder), shesel ls/buy simm e diate ly$n$ u nits o f  the f utures. H er invent o ry shou l d  b e fu lly liquidated at $T $ .

The optimal  contr ol pr o b lem  {# the-optima l- contr o l-probl e m} - - --- - ------------- --------

W e  as sume t ha t t h e refe rence  p r ice  $F$ of the  fut ures is g iven b y  $$\beg i n{align ed}
\l abe l{e q: d e fF} 
F= \f r ac{ P ^{ \ma t hfr ak b}+P^ {\ ma thfra k a} } { 2 } +S \ end {ali gned} $$ where $S$isa me a n-r evert ing p roce ss  $$\b egin{a ligne d} 
\label{eq: dyn a S} 
S= S_{0} +\i nt _{0 }^ {\cdo t }\rho( \ha t s -S_t)dt +\int_{ 0 }^{ \c d o t }\ sigma(S_{t}) dW_t. \e n d {a ligned}$ $ Here ,  $ \r h o$ is th estr engt h of me an r e ve rsion, $ \hat s $  i sthe ave ra ge ofme anrev ersio n  and  $\sig ma:{\mat hbb{R } }\mapsto {\mat h bb{R}}$ is aL ip s c hi t z bo und ed function  rep r esen ting th e v o latil ity o ft he process. In the fol lo wing,we sh all assume th at $$\begi n { a ligned}\lab e l{ e q: ass sigma b ounde d support} \mbox{ t he su pport of  $\sigma$ i s bounde d.} \en d{a lig n e d} $$

\[rem : D S \ ] Th eabove i mpl ies inpar tic ula r t ha t $S$ lie s in a c er ta in  c omp act s e t $D_{S} $asso onas $S _ {0}$ d oes.[Thi sco u ldclearly be r elax ed  t o th e p ri ce of  a f i ner  analys is. ]{}
The stra te gy  of the  HFT is descr ib ed by thesa mequanti t i es as th e one of the MM in Sect i on \[se c:m arket make r\]. Theonl y diff ere n ce lie s in t he fa ct  th a t  shec o ns tan tl y holds an u mbe r equ al  to$-I$ un its of the futures $F$ . We assume t hat  buy i n g/ sel l in g  th ef utu r e s leads to thepayment of  a pr oportional cos t$\kappa \ge 0$.  Then ,  the dy namics of  the corr es pond i n g s tate proce ss $X$ i s given b y  $$\b e gi n{ali gne d}
\la be l{e q: dy na X H F T} X_{\ tau_{i }} =\Tc_{ X}(S_ {\ tau_{i}} ,P_{\tau_{i-1}},Q_{\tau _{i-1} },X_{ \ta u_{i-1}}, \De l ta\Ec^{\phi }_{\ tau
 book_defined in_Section \[sec: general order_book\] represents_the_dynamics of_the_stock. Whenever the_trader buys/sells $n$_units of stocks (being_by an aggressive_order_or by the execution of a limit order), she sells/buys immediately $n$ units of_the_futures. Her_inventory_should_be fully liquidated at $T$.

The_optimal control problem {#the-optimal-control-problem}
---------------------------

We assume_that the_reference price $F$ of the futures is given_by_$$\begin{aligned}
\label{eq: def F}
F=\frac{P^{\mathfrak_b}+P^{\mathfrak a}}{2}+S \end{aligned}$$ where $S$ is a mean-reverting process_$$\begin{aligned}
\label{eq: dyna S}
S= S_{0}+\int_{0}^{\cdot}\rho(\hat s-S_t)dt+\int_{0}^{\cdot}\sigma(S_{t}) dW_t.\end{aligned}$$_Here, $\rho$ is_the_strength_of mean reversion, $\hat_s$ is the average of mean_reversion and $\sigma:{\mathbb{R}}\mapsto {\mathbb{R}}$ is a_Lipschitz bounded function representing the volatility of_the process. In the following, we_shall assume that $$\begin{aligned}
\label{eq: ass_sigma bounded_support}
\mbox{ the support of $\sigma$_is bounded.}\end{aligned}$$

\[rem :_DS\] The_above implies in_particular that $S$ lies in a_certain compact set_$D_{S}$ as soon as $S_{0}$ does._[This_could clearly be_relaxed_to_the price_of a finer_analysis._]{}

The strategy_of_the HFT is described by the_same_quantities as the one of the MM_in Section \[sec:marketmaker\]. The_only_difference lies in the_fact that she constantly holds_a number equal to $-I$ units_of the_futures $F$._We assume that buying/selling the futures leads to the payment of_a proportional cost $\kappa\ge 0$. Then,_the dynamics of the_corresponding state_process_$X$ is given_by_$$\begin{aligned}
\label{eq: dyna_X HFT}
 X_{\tau_{i}}=\Tc_{X}(S_{\tau_{i}},P_{\tau_{i-1}},Q_{\tau_{i-1}},X_{\tau_{i-1}},\Delta \Ec^{\phi}_{\tau