right) \gg Y^{\sigma -1/2}, \quad t\in \cA_2.\end{aligned}$$

We refer the reader to either [@Bou Section 1] or [@Ivic Chapter 11] for details of the following reduction from Lemma \[lem:zerodensity1\] which makes use of Heath-Brown’s twelfth power moment estimate [@HB0].

\[lem:zerodensity2\] Let $Y\le T^{A}$ be some parameter. There exists some $N$ satisfying $$\begin{aligned}
\label{eq:zerodensity1X}
Y^{4/3}<N<Y^{2+o(1)},\end{aligned}$$ and some sequence of complex numbers $a_n$ satisfying $|a_n|\le 1$ such that for some well spaced set $\cA\subseteq [0,T]$ with $$\begin{aligned}
N^{o(1)}\left|\sum_{N\le n \le 2N}a_n n^{it}\right|\ge N^{\sigma} \quad t\in \cA,\end{aligned}$$ we have $$\begin{aligned}
N(\sigma,T)\ll T^{o(1)}\left(|\cA|+T^2Y^{6(1-2\sigma)}\right).\end{aligned}$$

Proof of Theorem \[thm:main1\]
==============================

By Lemma \[lem:mainvlarge1\] we have $$\begin{aligned}
\label{eq:main1case22}
I(\delta T,\cA)\ll \frac{N^{2+o(1)}}{V^2}|\cA|+ \frac{N^{3/2+o(1)}}{V^2}W,\end{aligned}$$ where $$\begin{aligned}
W=\sum_{\substack{t_1,t_2\in \cA \\ |t_1-t_2|\le \delta T}}\left|\sum_{n\le \delta T/N}n^{-1/2+i(t_1-t_2)}\right|.\end{aligned}$$ For integer $\ell$, define $$\begin{aligned}
r(\ell)=|\{ (t_1,t_2)\in \cA\times \cA \ : \ \ell< t_1-t_2\le \ell+1
right) \gg Y^{\sigma -1/2 }, \quad t\in \cA_2.\end{aligned}$$ 

 We refer the reader to either   [ @Bou Section   1 ] or   [ @Ivic Chapter   11 ] for details of the following decrease from Lemma   \[lem: zerodensity1\ ] which do use of Heath - Brown ’s twelfth power here and now appraisal   [ @HB0 ]. 

 \[lem: zerodensity2\ ] Let $ Y\le T^{A}$ be some parameter. There exists some $ N$ satisfy $ $ \begin{aligned } 
 \label{eq: zerodensity1X } 
 Y^{4/3}<N < Y^{2+o(1)},\end{aligned}$$ and some sequence of complex numbers $ a_n$ satisfy $ |a_n|\le 1 $ such that for some well spaced set $ \cA\subseteq [ 0,T]$ with $ $ \begin{aligned } 
 N^{o(1)}\left|\sum_{N\le n \le 2N}a_n n^{it}\right|\ge N^{\sigma } \quad t\in \cA,\end{aligned}$$ we get $ $ \begin{aligned } 
 N(\sigma, T)\ll T^{o(1)}\left(|\cA|+T^2Y^{6(1 - 2\sigma)}\right).\end{aligned}$$ 

 Proof of Theorem   \[thm: main1\ ] 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 By Lemma   \[lem: mainvlarge1\ ] we have $ $ \begin{aligned } 
 \label{eq: main1case22 } 
 I(\delta T,\cA)\ll \frac{N^{2+o(1)}}{V^2}|\cA|+ \frac{N^{3/2+o(1)}}{V^2}W,\end{aligned}$$ where $ $ \begin{aligned } 
 W=\sum_{\substack{t_1,t_2\in \cA \\ |t_1 - t_2|\le \delta T}}\left|\sum_{n\le \delta T / N}n^{-1/2+i(t_1 - t_2)}\right|.\end{aligned}$$ For integer $ \ell$, define $ $ \begin{aligned } 
 r(\ell)=|\ { (t_1,t_2)\in \cA\times \cA \: \ \ell < t_1 - t_2\le \ell+1
rigjt) \gg Y^{\sigma -1/2}, \quad t\in \cX_2.\end{aligned}$$

We rgfwr the readed to eitfer [@Bou Section 1] or [@Ivic Chaptec 11] foe detqils of the following feduction from Lenma \[ltm:zerodensity1\] whirg makes use or Heach-Urown’s twelfth kower moment estimate [@HB0].

\[lem:sefobensity2\] Let $Y\le T^{A}$ be some parameter. There rxlsts some $N$ sajisfypnd $$\befpn{cligned}
\label{eq:zerodensity1X}
Y^{4/3}<N<Y^{2+o(1)},\ehd{aligntd}$$ and some sequenve of complex numbers $a_n$ swtisvying $|a_n|\le 1$ such tjat for somg wejo spaced set $\cA\subseteq [0,T]$ with $$\begjn{aligned}
N^{o(1)}\left|\sum_{N\le n \le 2N}a_n v^{it}\riyht|\ge N^{\sigmq} \wuaf t\in \cA,\end{aoigneq}$$ we have $$\benpn{alignad}
N(\sigms,T)\ll T^{o(1)}\left(|\cA|+T^2N^{6(1-2\sigme)}\rigyt).\end{aligned}$$

Proof of Vheorem \[thm:main1\]
==============================

By Lemia \[lem:mainelcrge1\] we have $$\begin{alitnwd}
\labgl{eq:mdin1cxwe22}
I(\aelua V,\cA)\ml \fraf{N^{2+o(1)}}{T^2}|\cA|+ \frac{N^{3/2+o(1)}}{V^2}S,\end{aligned}$$ where $$\begin{aligned}
E=\stn_{\substack{t_1,t_2\in \cA \\ |t_1-e_2|\lq \delta T}}\left|\sum_{n\le \delta T/N}n^{-1/2+i(t_1-t_2)}\right|.\eng{aljgned}$$ For integer $\ell$, dwfine $$\begin{aligned}
r(\elp)=|\{ (t_1,t_2)\in \cA\eimes \cA \ : \ \ell< t_1-t_2\le \ell+1
right) \gg Y^{\sigma -1/2}, \quad t\in \cA_2.\end{aligned}$$ the to either Section 1] or of following reduction from \[lem:zerodensity1\] which makes of Heath-Brown’s twelfth power moment estimate \[lem:zerodensity2\] Let $Y\le T^{A}$ be some parameter. There exists some $N$ satisfying $$\begin{aligned} Y^{4/3}<N<Y^{2+o(1)},\end{aligned}$$ and some sequence of complex numbers $a_n$ satisfying $|a_n|\le 1$ such that some spaced $\cA\subseteq with $$\begin{aligned} N^{o(1)}\left|\sum_{N\le n \le 2N}a_n n^{it}\right|\ge N^{\sigma} \quad t\in \cA,\end{aligned}$$ we have $$\begin{aligned} N(\sigma,T)\ll T^{o(1)}\left(|\cA|+T^2Y^{6(1-2\sigma)}\right).\end{aligned}$$ of Theorem \[thm:main1\] ============================== By Lemma \[lem:mainvlarge1\] we $$\begin{aligned} \label{eq:main1case22} I(\delta T,\cA)\ll \frac{N^{3/2+o(1)}}{V^2}W,\end{aligned}$$ where $$\begin{aligned} W=\sum_{\substack{t_1,t_2\in \cA |t_1-t_2|\le T}}\left|\sum_{n\le \delta For $\ell$, $$\begin{aligned} r(\ell)=|\{ (t_1,t_2)\in \cA \ : \ \ell< t_1-t_2\le \ell+1
right) \gg Y^{\sigma -1/2}, \quad t\in \cA_2.\end{Aligned}$$

We rEfer tHe rEadEr To eiTher [@bou Section 1] or [@IvIC ChaPter 11] for details of the folLowinG rEDuctIOn From LEmma \[lem:ZErODEnsItY1\] wHicH mAKeS use oF HeAth-BrowN’s twelfth pOweR mOment estimatE [@hB0].

\[Lem:zerodenSitY2\] Let $Y\le T^{A}$ be sOme ParameTeR. ThERe exiSts Some $N$ SatisfYIng $$\begIn{aligned}
\LaBEl{eq:zeROdensitY1x}
y^{4/3}<N<y^{2+o(1)},\enD{aligned}$$ and some seQUeNCe of complex numBers $a_n$ SaTIsFYIng $|A_n|\lE 1$ such that fOr Some wELl spaceD SeT $\Ca\SubSEteq [0,T]$ with $$\begiN{aligned}
N^{o(1)}\lEFt|\sUm_{N\le n \Le 2n}a_n N^{It}\righT|\ge N^{\sIgMA} \quAd t\in \cA,\end{aLignEd}$$ we have $$\bEgin{alIGned}
N(\siGMa,T)\ll T^{o(1)}\Left(|\cA|+t^2Y^{6(1-2\sIgmA)}\rigHT).\eNd{AliGnED}$$

PrOOf Of THEorEm \[thm:maiN1\]
==============================

BY LEmma \[lEm:maINVLArge1\] We hAve $$\bEgin{aLigned}
\label{eq:MaiN1casE22}
i(\deLta T,\ca)\ll \frAc{N^{2+o(1)}}{v^2}|\ca|+ \frac{n^{3/2+o(1)}}{V^2}W,\enD{aligNeD}$$ where $$\begin{aligNed}
W=\Sum_{\substaCk{t_1,T_2\iN \cA \\ |T_1-t_2|\Le \delTA T}}\left|\Sum_{N\le \Delta T/N}N^{-1/2+i(t_1-t_2)}\rigHT|.\enD{aLIGNeD}$$ For integer $\ell$, defiNe $$\BEGiN{aligned}
R(\ell)=|\{ (t_1,t_2)\IN \ca\tIMes \cA \ : \ \ell< T_1-t_2\Le \eLl+1
right) \gg Y^{\sigma -1/2} , \quad t\ in \c A_2 .\e nd {ali gned }$$

We refert he r eader to either [@BouSecti on 1] o r  [ @Ivic  Chapte r  1 1 ]  fo rde tai ls of  thefol lowingreductionfro mLemma \[lem: z er odensity1\ ] w hich makes u seof Hea th -Br o wn’stwe lfthpowerm omentestimate[@ H B0].
\ [lem:ze r o de nsit y2\] Let $Y\le T^ { A} $  be some param eter.Th e re e xis tssome $N$ s at isfyi n g $$\be g in { a l ign e d}
\label{eq: zerodensity 1 X}Y^{4/3 }< N<Y ^ {2+o(1 )},\e nd { ali gned}$$ and  som e sequenc e of c o mplex n u mbers $ a_n$ s ati sfy ing$ |a _n |\l e1 $ s u ch  th a t f or somewe ll  spac ed s e t $ \cA\ sub sete q [0, T]$ with $$\b egi n{al i gne d}
N^ {o(1) }\le ft |\sum _{N\le  n \l e2N}a_n n^{it}\r ight |\ge N^{\ sig ma } \ qu ad t\ i n \cA, \en d{a ligned} $$ we h a ve$$ \ b e gi n{aligned}
N(\sigm a, T ) \l l T^{o(1 )}\lef t (| \c A |+T^2Y^{ 6( 1-2 \sig m a )}\ri ght) . \e nd{align ed}$$Pr oo f of Th eo rem \[ th m:m ain 1\]
= = ==== ====== ======== ===== = ====

By Lemma \[lem:mainvla r ge 1 \ ]w e ha ve$$\begin{al igne d }
\l abel { eq :ma i n1cas e22}I( \ de l ta T,\cA)\ll \frac{ N^ {2+o(1 )}}{V ^2}|\cA|+ \fr ac{N^{3/2+ o ( 1 )}}{V^2} W,\e n d{ a ligned}$$ wher e $$\ begin{alig n ed}
W=\s um_{\ substack {t_1,t_2\ i n  \cA \\|t_ 1-t _2| \le \ de lta T}}\left| \ s um_{ n\ le \del taT/N}n^{ -1/ 2+i (t_ 1-t _2 )}\right| .\end{al ig ne d} $$  Fo r int e ger $\el l$ , d ef ine  $$\b e gin{al igned }
r( \e ll ) =|\ { (t_1, t _2 ) \ in \ cA \t imes  \c A\ : \  \el l < t _1-t_2\ le \ell+1 
right) \gg_Y^{\sigma -1/2},_\quad t\in \cA_2.\end{aligned}$$

We refer_the reader_to_either [@Bou Section 1]_or [@Ivic_Chapter 11] for details_of the following_reduction from Lemma \[lem:zerodensity1\] which_makes use of_Heath-Brown’s_twelfth power moment estimate [@HB0].

\[lem:zerodensity2\] Let $Y\le T^{A}$ be some parameter. There exists some $N$_satisfying_$$\begin{aligned}
\label{eq:zerodensity1X}
Y^{4/3}<N<Y^{2+o(1)},\end{aligned}$$ and_some_sequence_of complex numbers $a_n$ satisfying_$|a_n|\le 1$ such that for_some well_spaced set $\cA\subseteq [0,T]$ with $$\begin{aligned}
N^{o(1)}\left|\sum_{N\le n \le_2N}a_n_n^{it}\right|\ge N^{\sigma} \quad_t\in \cA,\end{aligned}$$ we have $$\begin{aligned}
N(\sigma,T)\ll T^{o(1)}\left(|\cA|+T^2Y^{6(1-2\sigma)}\right).\end{aligned}$$

Proof of Theorem \[thm:main1\]
==============================

By Lemma \[lem:mainvlarge1\]_we have $$\begin{aligned}
\label{eq:main1case22}
I(\delta T,\cA)\ll \frac{N^{2+o(1)}}{V^2}|\cA|+ \frac{N^{3/2+o(1)}}{V^2}W,\end{aligned}$$_where $$\begin{aligned}
W=\sum_{\substack{t_1,t_2\in \cA_\\_|t_1-t_2|\le_\delta T}}\left|\sum_{n\le \delta T/N}n^{-1/2+i(t_1-t_2)}\right|.\end{aligned}$$_For integer $\ell$, define $$\begin{aligned}
r(\ell)=|\{ (t_1,t_2)\in_\cA\times \cA \ : \ \ell<_t_1-t_2\le \ell+1