Arxiv:1911.05264V3 [Math.NT]

arXiv:1911.05264v4 [math.NT] 20 Aug 2021 a nqaiyi for if inequality Lague T the the both in satisfy be function to Xi 11]. the function [4, Turán of Xi inequalities coefficients Riemann Maclaurin the the that for condition necessary A ioa 8 n eav n a 3 rvdta h atto function partition the that proved [3] Pak and DeSalvo and [8] Nicolas for nyi h imn ifnto si h aurePoy ls,where by Laguerre-Pólya class, defined the function 1 in hypothe order is Riemann entire function the the that Xi is known Riemann function well the is if It relat only closely 12]. is [4, which hypothesis Laguerre-Pólya class, Riemann in functions entire real oiieinteger positive usto sums nqaiyfor inequality m 2 sequence A eakoldetespoto S rn DMS-1601306. # Grant NSF of support the acknowledge We h uńieult o oeie aldNwo nqaiy rssin arises inequality) Newton called sometimes (or Turán inequality The OEO H IHRODRTUR ORDER HIGHER THE ON NOTE A n ≥ ≥ a Abstract. slgcnaefor concave log is u´ nieult,adta h soitddge esnpolyno Jensen 3 n degree associated the that Turán and inequality, h degree the ojcueb elSon that Sloane Neil by conjecture p n nqaiishl for hold inequalities m k nti ae,w rv httesm euthlsfrthe for holds result same the that prove we paper, this In . n ≥ ( 5 where 25, − eset We . n 1 4 eety rffi,Oo oe n air[]poe oegenera more proved [5] Zagier and Rolen Ono, Griffin, Recently, 94. for ) a m 4( +1 n { a Ξ( k a n m m 2 d ≥ m o all for ≥ ioa 8 n eav n a 3 rvdta h atto functio partition the that proved [3] Pak and DeSalvo and [8] Nicolas z with esnplnmasascae to associated polynomials Jensen p } − ≥ 1. := ) 5 hc a rvdb hn i n ag[] hi eutalso result Their [2]. Wang and Jia Chen, by proved was which 95, 0 .Ce 1 ojcue that conjectured [1] Chen 1. = (0) m ∞ p .I atclr o n oiieintegers positive any for particular, In 2. a ( =0 ,w have we 1, n n nrdcinadSaeeto results of Statement and Introduction m ≥ stenme fpriin of partitions of number the is ) r − 2 1 is m 1 p at sawal eraigsqec of sequence decreasing weakly a is parts 5 hn i n ag[]poe that proved [2] Wang and Jia Chen, 25. a k o concave log ( m ≥ n − k ILA RA N NAPUN ANNA AND CRIAG WILLIAM +1 o ucetylarge sufficiently for ) RGLRPARTITIONS -REGULAR z .Tesequence The 1. )( 2 a − p m 2 2 +1 4 1 ( n slgconcave. log is ) − π fi aifiste(eododr Turán inequality order) (second the satisfies it if iz a 2 m − 1 4 a 1 Γ m +2 p − ) { n ( n a ≥ h aewhen case The . iz r yeblcfrsffiinl large sufficiently for hyperbolic are ) m 2 ( } a + m ∞ m p =0 NIEULTE FOR INEQUALITIES AN ´ ( 4 1 a n m n d aifistetidodrTurán order third the satisfies ) aifistetidodrTurán order third the satisfies ealta atto fa of partition a that Recall . +1 p k ζ and ( rglrpriinfunction partition -regular n − aifistetidorder third the satisfies ) il r yeblcfor hyperbolic are mials − a k iz h order the , m d r − = dt h td fthe of study the to ed + ra n ihrorder higher urán and 1 oiieitgr that integers positive l htfrall for that lly a k m 2 1 p rvsa proves 2 = +2 ( r-´ lacasis rre-Pólya class n h imn Xi Riemann the . i stu fand if true is sis ) slgconcave log is ) 2 d . h td of study the n Turán p ( n d ) , 2 WILLIAMCRIAGANDANNAPUN shows that the cubic polynomial 3 3 p(n + k)xk =0 k Xk has only real simple roots for n 95. They also conjectured that for d 4, there exists a ≥ d,n ≥ positive integer N(d) such that the Jensen polynomials Jp (X) for p(n) as defined in (1.1) have only real roots for all n N(d). Note that the case for d = 1 is trivial with N(1) = 1, and the log concavity of p(n)≥ for n 25 proves the case for d = 2 with N(2) = 25. Chen, Jia and Wang [2] proved the case≥ for d = 3 with N(3) = 94. Larson and Wagner [7] proved the minimum value of N(d) for d 5 and gave an upper bound for all other N(d). The conjecture was proven for all d 1≤ in a recent paper by Griffin, Ono, Rolen and Zagier [5] where they proved the hyperbolicity≥ of the Jensen polynomials associated to a large family of sequences. Given an arbitrary sequence α =(α(0),α(1),α(2), ) of real d,n ··· numbers, the associated Jensen polynomial Jα (X) of degree d and shift n is defined by

d d J d,n(X) := α(n + j)Xj. (1.1) α j j=0 X The Jensen polynomials also have a close relationship to the Riemann Hypothesis. In- deed, Pólya [10] proved that the Riemann Hypothesis is equivalent to the hyperbolicity d,n of all of the Jensen polynomials J (X) associated to the Taylor coefficients γ(j) ∞ of γ { }j=0 1 i√x Ξ . Griffin, Ono, Rolen and Zagier [5] proved that for each d 1, all but finitely 8 2 ≥ d,n many Jγ (X) are hyperbolic, which provides new evidence supporting the Riemann Hy- pothesis. There is a classical result by Hermite that generalizes the Turán inequalities using Jensen polynomials. Let n n 1 f(x)= x + an 1x − + + a1x + a0 − ··· be a polynomial with real coefficients. Let β1, β2, , β be the roots of f and denote ··· n S0 = n and S = βm + βm + + βm, m =1, 2, 3, m 1 2 ··· n ··· their Newton sums. Let M(f) be the Hankel matrix of S0, S2n 2, i.e. ··· − S0 S1 S2 Sn 1 ··· − S1 S2 S3 Sn  ···  M(f) := S2 S3 S4 Sn+1 . . . . ···. .  . . . . .   . . . . .    Sn 1 Sn Sn+1 S2n 2  − ··· −  Hermite’s theorem [9] states that f is hyperbolic if and only if M(f) is positive definite. Recall that a polynomial with real coefficients is called hyperbolic if all of its roots are real. Each Sm can be expressed in terms of the coefficients a0, , an 1 of f for m 1, and a matrix is positive definite if and only if all its principle minors··· − are positive. Thus≥ A NOTE ON THE HIGHER ORDER TURAN´ INEQUALITIES FOR k-REGULAR PARTITIONS 3

Hermite’s theorem provides a set of inequality conditions on the coeﬃcients of a hyperbolic polynomial f:

S0 S1 S2 Sn 1 ··· − S1 S2 S3 Sn S0 S1 ··· ∆1 = S0 = n, ∆2 = > 0, , ∆n = S2 S3 S4 Sn+1 > 0. S1 S2 ··· . . . ···......

Sn 1 Sn Sn+1 S2n 2 − ··· − d,n For a given sequence α(n), when Hermite’s theorem is applied to Jα (X) then the con- d,n dition that all minors ∆k of the Hankel matrix M(Jα (X)) are positive gives a set of inequalities on the sequence α(n). We call these inequalities, together with the equality d,n cases, the order k Turán inequalities. In other words, Jα (X) is hyperbolic if and only if the subsequence α(n + j) ∞ satisfies all the order k Turán (strict) inequalities for all { }j=0 1 k d. In particular, the result in [5] shows that for any d 1, the partition function p≤(n) ≤satisfies the order d Turán inequality for sufficiently large≥ n. { } For a positive integer k 2, let the k-regular partition function pk(n) be defined as the number of partitions of n≥in which none of the parts are multiples of k. For any fixed integer k 2, the generating function for the sequence p (n) ∞ is given by ≥ { k }n=0

∞ (1 qkn) p (n)qn = − . k (1 qn) n 0 n=1 X≥ Y − Sloane conjectured that the sequence of partitions of n with distinct parts, is log concave for sufficiently large n. It is well known that the number of k-regular partitions is equal to the number of partition with parts appearing at most k 1 times. Therefore, Sloane’s − conjecture is equivalent to the log-concavity of p2(n) for sufficiently large n. In this paper, we prove Sloane’s conjecture, and in fact we prove the more general result that for any d, the k-regular partition functions pk(n) satisfy the order d Turán inequality for sufficiently large n. d,n As has been done for other sequences, we can define the Jensen polynomials Jpk (X) of degree d and shift n for the sequence pk(n) by setting α = pk in (1.1). In the spirit of much other work on the Turán inequalities, we may reframe the conjecture in terms of the hyperbolicity of the associated Jensen polynomials:

Conjecture. Let d 1,k 2 be integers. There exists a positive integer Nk(d) such ≥ ≥ d,n that the degree d Jensen polynomial Jpk (X) associated to pk(n) are hyperbolic for all n N(d). ≥

For a natural number d, we deﬁne the Hermite polynomials Hd(X) by the generating function

2 3 2 ∞ d t +Xt t 2 t 3 t e− = Hd(X) =1+ Xt +(X 2) +(X 6X) + . =0 d! − 2 − 6 ··· Xd 4 WILLIAMCRIAGANDANNAPUN

The Hermite polynomials are orthogonal polynomials with respect to a slightly different normalization than is standard. In view of these definitions, we can now state the main results of the paper. Theorem 1.1. If k 2 and d 1, then ≥ ≥ d,n lim Jpk (X)= Hd(X), n →∞ R d,n uniformly for X on compact subsets ofb , where Jpk (X) are renormalized Jensen polynomials for pk(n) as defined in (2.2). b Corollary 1.2. If k 2 and d 1, then J d,n(X) is hyperbolic for sufficiently large n. ≥ ≥ pk Remark 1.3. By Corollary 1.2, there exists a minimal natural number Nk(d) such that d,n Jpk (X) is hyperbolic for all n Nk(d). These numbers are not the focus of this paper, however a brief discussion is worthwhile,≥ as these numbers dictate the effectiveness of the main theorem. The following table provides conjectural values of Nk(d) for small k and d. d N2(d) N3(d) N4(d) N5(d) 2 32 57 16 41 3 120 184 63 136 4 266 390 137 294

We may also ask about trends as k or d vary. As k increases, the fact that pk(n)= p(n) for all n

Remark 1.4. We are motivated to study the Turán inequalities for pk(n) because of Sloane’s conjecture. The work of Griffin, Ono, Rolen and Zagier [5] provides a criterion (see Theorem 2.1) that can be used to establish the Turán inequalities for Fourier coefficients of many modular forms. We employ this criterion in the proof of the Turán inequalities for pk(n). One might suspect that the Turán inequalities will hold for all modular forms which are eta-quotients. This is not true. First of all the inequalities require the Fourier coefficients are always nonnegative for large n. Moreover, the method of proof requires that a corresponding modular form have a pole at some cusps. The k-regular partition functions are perhaps the most natural family for which these require- ments hold. Using our methods, similar results follow mutatis mutandis for other forms which satisfy these two conditions.

In Section 2, we provide a proof of Theorem 1.1, and thus of the conjecture of Sloane. We first present the Pólya-Jensen method for proving the hyperbolicity of Jensen polynomials. We then present the work of Hagis [6] on an explicit formula for pk(n). Finally, we prove Theorem 1.1 by using asymptotic expansions of Hagis’ formulas to derive the necessary conditions for the use of the Pólya-Jensen method. A NOTE ON THE HIGHER ORDER TURAN´ INEQUALITIES FOR k-REGULAR PARTITIONS 5

2. Proof of Theorem 1.1 2.1. Polya-Jensen method. In 1927, Pólya [10] demonstrated that the Riemann hypothesis is equivalent to the hyperbolicity of the Jensen polynomials for ζ(s) at its point of symmetry. This approach to the Riemann hypothesis has not seen much progress until the recent work of Griffin, Ono, Rolen and Zagier [5], in which the hyperbolicity of these polynomials is proved for all d 1 for sufficiently large n. The primary method utilized by this paper can be stated as follows:≥ Theorem 2.1 (Theorem 3 & Corollary 4, [5]). Let α(n) , A(n) , and δ(n) be sequences of positive real numbers such that δ(n) 0 as{ n } {. Suppose} further{ } that for a fixed d 1 and for all 0 j d, we have → →∞ ≥ ≤ ≤

α(n + j) d log = A(n)j δ(n)2j2 + g (n)ji + o δ(n)d as n . α(n) − i →∞ i=3 X i where gi(n) = o(δ(n) ) for each 0 i d. Then the renormalized Jensen polynomials d ≤ ≤ d,n δ(n)− d,n δ(n)X 1 d,n Jα (X) = Jα − satisfy lim Jα (X) = Hd(X) uniformly for X in α(n) exp(A(n)) n →∞ any compact subset of R. Furthermore, this implies that the polynomials J d,n(X) are b b α hyperbolic for all but ﬁnitely many values of n. Remark 2.2. The statement of this theorem in [5] has a typo. The correct statement of the logarithm condition is stated in (15) of [5].

Because the conditions for this result are so general, the method can be utilized in a wide variety of circumstances. For instance, it is shown in Theorem 7 of [5] that if af (n) are the (real) Fourier coefficients of a modular form f on SL2(Z) holomorphic apart from a pole at infinity, then there are sequences Af (n) and δf (n) such that α(n)= af (n) satisfies the required conditions. What we prove can then be regarded as a higher-level generalization of this result, since the sequences pk(n) are coefficients of weight zero weakly holomorphic modular forms on proper subgroups of SL2(Z).

2.2. Asymptotic Behavior of pk(n). Hagis’ [6] results on pk(n) play a key role in the main theorem. Hagis proved an explicit formula for pk(n) very similar to Rademacher’s famous explicit formula for p(n). Hagis uses the Hardy-Ramanujan circle method to obtain his formula for pk(n), and the same formula can be found by expressing a generating function for pk(n) by quotients of Dedekind’s eta function and expanding the resulting expression by Poincare series. The resulting formula expressible as a sum of modiﬁed Kloosterman sums times Bessel functions. Using facts about the asymptotics of Bessel functions and the explicit formulas, useful asymptotics for pk(n) may be derived. In particular, Hagis proves as a corollary (Corollary 4.1 in [6]) the asymptotic formula

mk 1/2 p (n)=2π I1 4π m (n + km ) (1 + O(exp( cn ))), (2.1) k k(n + km ) · k k − k r p 6 WILLIAMCRIAGANDANNAPUN where I1 is a modiﬁed Bessel function of the ﬁrst kind, c = c(k) is a constant, and m =(k 1)/24k. k −

2.3. Proof of Theorem 1.1. We now begin the proof of Theorem 1.1.

Proof of 1.1. Fix d 1 and k 2, and let the sequences A (n), δ (n) be deﬁned by ≥ ≥ k k

3 4 d/ r 1/2 1/2 3 ⌊ ⌋ ( 1) ∞ 4π√mk A (n)=2π m /n + − and δ (n)= r . k k 4 rnr k − nr 1/2 r=1 r=2 − p X X d,n Deﬁne the renormalized Jensen polynomials Jpk (X) by

d b δ (n)− δ (n)X 1 J d,n(X) := k J d,n k − . (2.2) pk p (n) pk exp(A (n)) k k By application of the Jensen-Pólyab method, it suffices to show that for any fixed d and all 0 j d, ≤ ≤

p (n + j) k log k = A (n)j δ (n)2j2 + g (n)ji + o δ (n)d as n . (2.3) p (n) k − k i k →∞ k i=3 X

i where gi(n)= o(δk(n) ) holds for each i. Using (2.1), we have

1/2 dk ck√n pk(n)= bk(n + kmk)− I1(4π√nmk)+ O(n e− ), as n , where b ,c > 0, and d are constants which depend at most on k. In light of →∞ k k k the expansion of the Bessel functions of the ﬁrst kind at inﬁnity, this implies that pk(n) has asymptotic expansion to all orders of 1/n in the form

∞ 4π√nmk 3/4 ar p (n) e n− exp , k ∼ nr r=0 X where a0, a1, are constants depending only on k. Furthermore, when the exponential ··· a terms are considered asymptotically, the terms r in the sum vanish compared with the nr term 4π√nmk for r 1, and so we have ≥

a0+4π√nmk 3/4 p (n) e n− . k ∼ It follows that for ﬁxed 0 j d, we have ≤ ≤ A NOTE ON THE HIGHER ORDER TURAN´ INEQUALITIES FOR k-REGULAR PARTITIONS 7

p (n + j) log k p (n) k r r 1 r ∞ 1/2 j 3 ∞ ( 1) − j 4π√m − ∼ k r nr 1/2 − 4 rnr r=1 − r=1 X X j ∞ 1/2 jr 3 ∞ ( 1)rjr = 2π√m +4π√m + − k √n k r nr 1/2 4 rnr r=2 − r=1 3 4 X X d/ r r r r r mk 3 ⌊ ⌋ ( 1) j ∞ 1/2 j 3 ∞ ( 1) j = 2π j + − r +4π√mk r 1/2 + − r n 4 rn r n − 4 rn r r=1 r=2 r= 3d/4 +1 X X ⌊X⌋ 3 4 d/ r r 1 1/2 r 2 m 3 ⌊ ⌋ ( 1) j − ∞ 4π√mk j − = 2π k + − j + r j2 n 4 rnr nr 1/2 r r=1 ! r=2 − ! X X 3 ∞ ( 1)rjr + − . 4 rnr r= 3d/4 +1 ⌊X⌋

pk(n + j) 2 2 3d/4 1 d Then (2.3) follows since log Ak(n)j +δk(n) j = O(n−⌊ ⌋− )= o(δk(n) ). pk(n) −

Acknowledgements

We would like to thank Ken Ono for suggesting this problem and his guidance. We would also like to thank Cormac O’Sullivan and Jacques G´elinas for comments on an earlier version of the paper.

References [1] William Y. C. Chen. The spt-function of Andrews, page 141–203. London Mathematical Society Lecture Note Series. Cambridge University Press, 2017. [2] William Y. C. Chen, Dennis X. Q. Jia, and Larry X. W. Wang. Higher order Turán inequalities for the partition function. Trans. Amer. Math. Soc., 372(3):2143–2165, 2019. [3] Stephen DeSalvo and Igor Pak. Log-concavity of the partition function. Ramanujan J., 38(1):61–73, 2015. [4] Dimitar K. Dimitrov. Higher order Turán inequalities. Proc. Amer. Math. Soc., 126(7):2033–2037, 1998. [5] Michael Griffin, Ken Ono, Larry Rolen, and Don Zagier. Jensen polynomials for the Riemann zeta function and other sequences. Proc. Natl. Acad. Sci. USA, 116(23):11103–11110, 2019. [6] Peter Hagis, Jr. Partitions with a restriction on the multiplicity of the summands. Trans. Amer. Math. Soc., 155:375–384, 1971. [7] Hannah Larson and Ian Wagner. Hyperbolicity of the partition Jensen polynomials. Res. Number Theory, 5(2):Art. 19, 12, 2019. [8] Jean-Louis Nicolas. Sur les entiers n pour lesquels il y a beaucoup de groupes abéliens d’ordre n. Annales de l’Institut Fourier, 28(4):1–16, 1978. 8 WILLIAMCRIAGANDANNAPUN

[9] Nikola Obrechkoff. Zeros of polynomials. Bulgian Academy of Science (Sofia), 1963. (in Bulgar- ian). English translation (by I. Dimovski and P. Rusev) published by The Marin Drinov Academic Publishing House, Sofia, 2003. [10] George Pólya. Uber¨ die algebraisch-funktionentheoretischen Untersuchungen von J. L. W. V. Jensen. Kgl. Danske Videnskab. Selska Matematisk-fysiske meddelelser, 7:3–33, 1927. [11] J. Schur and G. Pólya. Uber¨ zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gle- ichungen. J. Reine Angew. Math., 144:89–113, 1914. [12] G. Szegö. On an inequality of P. Turán concerning Legendre polynomials. Bull. Amer. Math. Soc., 54:401–405, 1948.

Department of Math, University of Virginia, Charlottesville, VA 22904 Email address: [email protected]