 the conclusion of the theorem is weaker than $m(\nu)>0$ by a factor of $\logg T$, it may seem curious that the condition in Conjecture \[conj:conjecture1\] requires $m'(\nu)$ to be relatively large as $\nu\to 0$. Indeed, the examples in Section \[sec:pictures\] show that the condition in Conjecture \[conj:conjecture1\] cannot be improved for general functions.

The reason for the apparent inconsistency is that, as described in Section \[sec:boundMgammac\], our method relies on a bound on the moments of the logarithmic derivative. For the Riemann zeta function one expects $$\label{eqn:zpzbound}
\int_{T}^{2T} \left|
  \frac{\zeta'}{\zeta}\left(\frac12 + \frac{1}{\log T} + i t\right)
\right|^{2k} dt \ll_k T\log^{2k}T.$$ The bound should follow by the method of Selberg [@Sel], although we give a conditional proof that allows us to explicitly determine the implied constant. Such a bound, for one fixed $k$, would establish a weaker version of Theorem \[t:la\] that required $m'(\nu)\gg \nu^{-2 k}$. However, more general functions like the polynomials in Section \[sec:pictures\] do not satisfy an analogous bound to. In fact, they are very large on the unit circle and do not satisfy the analogue of the Lindelöf hypothesis. Conjecture \[conj:conjecture1\] is intended to cover those more general cases, while stronger statements should be true for the zeta function.

It is interesting to speculate on the precise nature of the function $m'(\nu)$ for the Riemann zeta function. Dueñez [*et. al.*]{} [@Due] give a detailed analysis of the relationship between small gaps between zeros of the zeta function (and analogously for zeros of the characteristic polynomial of a random unitary matrix) and the zeros of the derivative which arise from the small gaps. For the case of the Riemann zeta function they indicate that the random matrix conjectures for the zeros of the zeta function should imply $$m_\zeta'(\nu) \sim \frac{8}{9\pi} \nu^{\frac{3}{2}},$$ as conjectured
the conclusion of the theorem is weaker than $ m(\nu)>0 $ by a factor of $ \logg T$, it may seem curious that the circumstance in Conjecture   \[conj: conjecture1\ ] command $ m'(\nu)$ to be relatively large as $ \nu\to 0$. Indeed, the examples in Section   \[sec: pictures\ ] picture that the circumstance in Conjecture   \[conj: conjecture1\ ] cannot be improved for general functions. 

 The rationality for the apparent inconsistency is that, as described in Section   \[sec: boundMgammac\ ], our method acting trust on a bound on the moments of the logarithmic derivative instrument. For the Riemann zeta function one expects $ $ \label{eqn: zpzbound } 
 \int_{T}^{2 T } \left| 
   \frac{\zeta'}{\zeta}\left(\frac12 + \frac{1}{\log T } + i t\right) 
 \right|^{2k } dt \ll_k T\log^{2k}T.$$ The bind should follow by the method of Selberg   [ @Sel ], although we give a conditional proof that allows us to explicitly specify the implied constant. Such a bound, for one fixed   $ k$, would build a weaker version of Theorem   \[t: la\ ] that required $ m'(\nu)\gg \nu^{-2 k}$. However, more general function like the polynomials in Section   \[sec: pictures\ ] do not satisfy an analogous bound to. In fact, they are very large on the unit traffic circle and do not satisfy the analogue of the Lindelöf hypothesis. Conjecture   \[conj: conjecture1\ ] is intended to cover those more general cases, while stronger statements should be true for the zeta function. 

 It is interesting to speculate on the precise nature of the function $ m'(\nu)$ for the Riemann zeta function. Dueñez   [ * et. al. * ] { }   [ @Due ] give a detailed analysis of the kinship between minor gaps between zero of the zeta affair (and analogously for zeros of the characteristic polynomial of a random unitary matrix) and the zeros of the derived function which arise from the small gaps. For the case of the Riemann zeta affair they indicate that the random matrix conjectures for the zeros of the zeta function should imply $ $ m_\zeta'(\nu) \sim \frac{8}{9\pi } \nu^{\frac{3}{2}},$$ as conjectured
 thf conclusion of the theovem is weaker thcb $m(\nu)>0$ uy a fadtor of $\uogg T$, it may seem curious tiat rhe cindition in Conjecture \[zonj:conjebture1\] reqyirew $m'(\nu)$ to be relativcjy lzvge av $\nu\to 0$. Indeed, jhe examples in Section \[sec:[iztbres\] show that the condition in Conjqcture \[cpnu:conjecture1\] cagnot fe ijirived for general functions.

The reason for the appatent inconsistency is that, as fescribed in Sectiln \[sec:boundMtammwx\], our method relies on a bound on jhe moments of the logarithmic ddrivacive. For thg Difkann zeta fnnctiog one expects $$\label{exn:zpzboind}
\int_{T}^{2T} \left|
  \frec{\zera'}{\zeta}\left(\frac12 + \frac{1}{\lmg T} + i t\right)
\righj|^{2k} dt \ll_k D\lkg^{2k}T.$$ The bound shiuod fonlow by gye oetgov or Selbfrg [@Ael], althoufh we give q conditional proof trqt allows us fo expjisitly determine the implied constant. Subh a bound, for one fixed $k$, wiuld establish a weakgr version of Theorem \[t:la\] that required $m'(\nu)\gg \nu^{-2 k}$. However, mmre gxndrao nuncguojs like the polynomials in Section \[sec:pictures\] so npt satisfy an cnalogous bound yo. Im fact, they arg very larfe on the unit cirfle and do nit satisfr thr analogue of the Lindelöf htpothesis. Coujexture \[conj:conjecturz1\] is intendeb to cpver yhose more general caser, whjle strongeg statemehgs should be trud fpr the zeta function.

It is ineeresting to xpeculage om the [recise nahure of the function $m'(\nu)$ for jhe Riamann zeta function. Dueñez [*et. al.*]{} [@Due] give a vxtailed analyxiv ox the rejatiokship between siall gaps betwgen zeros of tfe zeta fuhction (end analogoufly for zeros lf the chararteristic poltnomual of x random unitaru matrix) cud the zeeos of the derivatlve wfjch arise from cke small gaps. For thd cwsv oh the Siemann zeta funztium theh indicate bhag thr random matrix conjactudes for the zeros pf the zetq functijn should impky $$m_\zeta'(\nu) \sim \fraf{8}{9\pi} \nn^{\frac{3}{2}},$$ es conkecjured
the conclusion of the theorem is weaker by factor of T$, it may in \[conj:conjecture1\] requires $m'(\nu)$ be relatively large $\nu\to 0$. Indeed, the examples in \[sec:pictures\] show that the condition in Conjecture \[conj:conjecture1\] cannot be improved for general The reason for the apparent inconsistency is that, as described in Section \[sec:boundMgammac\], method on bound the moments of the logarithmic derivative. For the Riemann zeta function one expects $$\label{eqn:zpzbound} \int_{T}^{2T} \left| + \frac{1}{\log T} + i t\right) \right|^{2k} dt T\log^{2k}T.$$ The bound should by the method of Selberg although give a proof allows to explicitly determine implied constant. Such a bound, for one fixed $k$, would establish a weaker version of Theorem \[t:la\] required $m'(\nu)\gg However, more functions the in Section \[sec:pictures\] satisfy an analogous bound to. In very large on the unit circle and do satisfy the of the Lindelöf hypothesis. Conjecture \[conj:conjecture1\] intended to cover those more general cases, while statements should be true for the zeta function. It is interesting to speculate on the of the function $m'(\nu)$ the Riemann zeta Dueñez al.*]{} give detailed analysis the relationship between small gaps between zeros of the zeta function analogously for zeros of the characteristic polynomial of a random and zeros of the which arise from the gaps. the case of the function indicate matrix for zeros of the zeta should imply $$m_\zeta'(\nu) \sim \frac{8}{9\pi} as conjectured
 the conclusion of the theorem Is weaker thAn $m(\nu)>0$ By a FacToR of $\lOgg T$, It may seem curioUS thaT the condition in ConjectUre \[coNj:COnjeCTuRe1\] reqUires $m'(\nU)$ To BE RelAtIvEly LaRGe As $\nu\tO 0$. InDeed, the Examples in secTiOn \[sec:pictureS\] ShOw that the cOndItion in ConjeCtuRe \[conj:CoNjeCTure1\] cAnnOt be iMproveD For genEral functIoNS.

The reASon for tHE ApPareNt inconsistency is THaT, As described in SEction \[SeC:BoUNDMgAmmAc\], our methoD rElies ON a bound ON tHE MOmeNTs of the logariThmic derivaTIve. for the riEmaNN zeta fUnctiOn ONe eXpects $$\label{Eqn:zPzbound}
\inT_{T}^{2T} \lefT|
  \Frac{\zetA'}{\Zeta}\lefT(\frac12 + \fRac{1}{\Log t} + i t\rIGhT)
\rIghT|^{2k} DT \ll_K t\lOg^{2k}t.$$ the Bound shoUlD fOllow By thE METHod oF SeLberG [@Sel], aLthough we give A coNditIOnaL prooF that AlloWs Us to eXpliciTly deTeRmine the implied ConsTant. Such a BouNd, For OnE fixeD $K$, would EstAblIsh a weaKer versIOn oF THEOReM \[t:la\] that required $m'(\nU)\gG \NU^{-2 k}$. however, mOre genERaL fUNctions lIkE thE polYNOmialS in SECtIon \[sec:piCtures\] DO nOt Satisfy An AnalogOuS boUnd To. In fACt, thEy are vEry large On the UNit circle and do NOt satisfy the aNAlOGUe OF the linDelöf hypothEsis. cOnjeCturE \[CoNj:cONjectUre1\] is InTEnDEd to cover those more gEnEral caSes, whIle stronger stAtements shOULD be true fOr thE ZeTA function.

It is iNtereSting to speCUlate on tHe preCise natuRe of the fuNCTion $m'(\nu)$ fOr tHe RIemAnn ZETa Function. DueñeZ [*ET. al.*]{} [@DUe] Give a deTaiLed analYsiS of The RelAtIonship beTween smaLl GaPs BeTweEn zerOS of the zeTa FunCtIon (And anALogousLy for ZeroS oF tHE chAracterIStIC PolyNoMiAl of A raNdOm uniTary MAtrIx) and thE zeros of tHe dERivaTiVe Which arIse from the smaLl Gaps. For the CaSe oF the RiEMAnn zeta fUnction they indicate that THe randoM maTrix cOnjeCtures for The Zeros oF thE Zeta fuNction ShoulD iMplY $$M_\Zeta'(\nU) \SIm \FraC{8}{9\pI} \nu^{\frac{3}{2}},$$ as cONJecTured
 the conclusion of the the orem is we akertha n $ m( \nu) >0$by a factor of $\lo gg T$, it may seem cur iousth a t th e  c ondit ion inC on j e ctu re  \ [co nj : co nject ure 1\] req uires $m'( \nu )$  to be relat i ve ly large a s $ \nu\to 0$. I nde ed, th eexa m plesinSecti on \[s e c:pict ures\] sh ow that t h e condi t i on  inConjecture \[conj : co n jecture1\] can not be  i m pr o v edfor  general f un ction s .

Ther ea s o n  fo r  the apparent  inconsiste n cyis tha t,  as descri bed i nS ect ion \[sec:b ound Mgammac\] , ourm ethod r e lies on  a bou ndonthem om en tsof the lo gar i thm ic deriv at iv e. Fo r th e R i eman n z etafunct ion one expec ts$$\l a bel {eqn: zpzbo und} 
\ int_{ T}^{2T } \le ft |
  \frac{\zeta '}{\ zeta}\lef t(\ fr ac1 2+ \fr a c{1}{\ log  T}  + i t\ right)\ rig ht | ^ { 2k } dt \ll_k T\log^{ 2k } T .$ $ The bo und sh o ul df ollow by  t hemeth o d  of S elbe r g[@Sel],althou g hwe  give a  c onditi on alpro of th a t al lows u s to exp licit l y determine th e  implied cons t an t .  S u ch a  bo und, for on e fi x ed $ k$,w ou lde stabl ish a  w e ak e r version of Theore m\[t:la \] th at required $ m'(\nu)\gg \ n u^{-2 k} $. H o we v er, more gener al fu nctions li k e the po lynom ials inSection \ [ s ec:pictu res \]donot s at isfy an analo g o us b ou nd to.Infact, t hey  ar e v ery  l arge on t he unitci rc le  a nddo no t  satisfy  t hean alo gue o f  the L indel öf h yp ot h esi s. Conj e ct u r e \[ co nj :con jec tu re1\]  isi nte nded to  cover th ose more  g en eral ca ses, while st ro nger state me nts  shoul d be truefor the zeta function.It is i nte resti ng t o specula teon the  pr e cise n atureof th efun c t ion $ m ' (\ nu) $for the Ri e m ann  zeta  f unct ion. Du eñez [*et. al.*]{} [@D ue] give a de tai leda n al ysi s  o f  th er ela t i onship betweensmall gaps  b e tw een zeroso f t he  zeta f unction  (and analogo usly forzeros ofth e ch a r act eristic po lynomial  of a ran d om un i ta ry ma tri x) and  t hezeros  of th e  de rivat ive wh ic h aris e fro mthe smal l gaps. For the case of  the R ieman n z eta funct ion the y indicat e th at the ran dom  ma trixcon j ectur es f o rthe zeros  oft he zeta f u nc tio n sh ould imply$ $ m _\z eta'( \nu )  \sim\fra c{8}{9\pi} \nu^{\ f rac{3}{2}},$$as c o n jec tur e d
 the_conclusion of_the theorem is weaker_than $m(\nu)>0$_by_a factor_of_$\logg T$, it_may seem curious_that the condition in_Conjecture \[conj:conjecture1\] requires $m'(\nu)$_to_be relatively large as $\nu\to 0$. Indeed, the examples in Section \[sec:pictures\] show that the_condition_in Conjecture \[conj:conjecture1\]_cannot_be_improved for general functions.

The reason_for the apparent inconsistency is_that, as_described in Section \[sec:boundMgammac\], our method relies on a_bound_on the moments_of the logarithmic derivative. For the Riemann zeta function_one expects $$\label{eqn:zpzbound}
\int_{T}^{2T} \left|
  \frac{\zeta'}{\zeta}\left(\frac12_+ \frac{1}{\log T}_+_i_t\right)
\right|^{2k} dt \ll_k T\log^{2k}T.$$_The bound should follow by the_method of Selberg [@Sel], although we give_a conditional proof that allows us to_explicitly determine the implied constant. Such_a bound, for one fixed $k$,_would establish_a weaker version of Theorem \[t:la\]_that required $m'(\nu)\gg_\nu^{-2 k}$._However, more general_functions like the polynomials in Section \[sec:pictures\]_do not satisfy_an analogous bound to. In fact,_they_are very large_on_the_unit circle_and do not_satisfy_the analogue_of_the Lindelöf hypothesis. Conjecture \[conj:conjecture1\] is intended_to_cover those more general cases, while stronger_statements should be true_for_the zeta function.

It is_interesting to speculate on the_precise nature of the function $m'(\nu)$_for the_Riemann zeta_function. Dueñez [*et. al.*]{} [@Due] give a detailed analysis of the relationship between_small gaps between zeros of the_zeta function (and analogously_for zeros_of_the characteristic polynomial_of_a random_unitary matrix) and the zeros of the_derivative which_arise from the small gaps. For_the case of the_Riemann_zeta function they indicate that the_random matrix conjectures for the zeros_of the zeta function should_imply_$$m_\zeta'(\nu)_\sim \frac{8}{9\pi} \nu^{\frac{3}{2}},$$ as conjectured