Horizontal and vertical log-concavity

Horizontal and vertical generating functions and recursion relations have been investigated by Comtet for triangular double sequences. In this paper we investigate the horizontal and vertical log-concavity of triangular sequences assigned to polynomials which show up in combinatorics, number theory and physics. This includes Laguerre polynomials, the Pochhammer polynomials, the D’Arcais and Nekrasov–Okounkov polynomials.

ertheless, there is overwhelming numerical evidence that Q n (x) is still log-concave. We have used PARI/GP to check this up to n = 1500.
Recently, Hong and Zhang [15], supervised by Ono, invested in the log-concavity and unimodality of Q n (x). They proved for sufficiently large n that a huge proportion of the coefficients of Q n (x) at the beginning of the sequence have the log-concavity property, at the end they are decaying. Additionally, they came up with a conjecture which also implies the unimodality for Q n (x) for large n.
In this paper we define families of polynomials {P (1) Although most of the results stated in this paper, assume that h ∈ {id, 1}, we keep the general notation to emphasize the connection by (1) and the hope to come up with more general theorems in the future. We are interested in particular in the arithmetic functions 1(n) = 1, id(n) = n, s(n) = n 2 and σ (n) = d|n d. Further, letg(n) := g(n)/n. Note that1(n) = 1/n. Suppose that G(T ) := ∞ n=1 g(n)T n is analytic at T = 0. We will then have for h ∈ {id, 1} generating series of exponential and geometric type (see also Corollary 3): We note that for specific arithmetic functions g, we obtain the Pochhammer polynomials (rising factorials: g = 1, h = id), associated Laguerre polynomials (g = id, h = id), Chebyshev polynomials of the second kind (g = id, h = 1), and also polynomials attached to reciprocals of Klein's j-invariant (g (n) is the n − 1st coefficient of Klein's j-invariant, cf. OEIS sequence A000521, divided by 744, h = 1) and reciprocals of Eisenstein series E k of weight k (g = σ k−1 , h = 1) [11,13]. Important examples in this paper are the D'Arcais polynomials and the related Nekrasov-Okounkov polynomials. Let g(n) = σ (n) and h(n) = id(n) = n. Then the D'Arcais polynomials [5,13,24] P σ ,id n (x) are equal to the nth coefficient of the −xth power of the Dedekind η-function [21]. Nekrasov and Okounkov proved that Brenti's result [2], on polynomials with non-negative coefficients and where the sequence of coefficients has no internal zeros, implies that if the D'Arcais polynomials are logconcave then the Nekrasov-Okounkov polynomials also are log-concave. The converse of Brenti's Theorem is in general not true and it is not generally true for unimodality.
The purpose of this paper is threefold. We first prove that there is a crossover between the coefficients of Pg

First results
Suppose that g is a normalized arithmetic function. We say that g is of moderate growth if G(T ) is analytic at T = 0. Further, suppose that h is a normalized non-vanishing arithmetic function. We then have for n ≥ 1: It is difficult to obtain results like (4) for arbitrary pairs (g, h). Since P id,id n (x) has only real roots, but some of the Nekrasov-Okounkov polynomials, e. g. Q 10 (x) = P σ ,id 10 (x + 1) have also non-real roots [9], it is obvious, that some results only work maybe for specifically chosen pairs. It is not clear to us if the following conversion principle can be stated in a more general form.
This further implies that P id,id n (x) is the associated Laguerre polynomial of degree n with parameter α ([6], Chap. 3). Note that (5) gives conceptional proof of Theorem 2 in [10]; see also [13]. Recall that L (α) n (x) for α > −1 are orthogonal polynomials and solutions of the differential equation Before we prove Theorem 1 we provide some applications.

Corollary 1 Suppose that
n T n the (modified) Eichler integral of G(T ). In the case of g(n) = σ (n) and T = q := e 2π iτ , where τ is in the upper complex half-plane, E g (T ) is the Eichler integral of 1−E 2 24 of the weight 2 quasi-modular Eisenstein series E 2 (τ ). We refer to [3] for recent work on Eichler integrals.
We prove that for all m ∈ N: The strategy of the proof is the following. We consider the x expansion of ∞ n=0 P g,h n (x) T n for h ∈ {id, 1}. In the domain of absolute convergence we interchange two infinite sums and compare the coefficients. The core of the proof is the transition from the exponential series to the geometric series. The formula utilizing the geometric series is given by .
This can be directly verified by comparing the Cauchy product of the two power series n (x). The formula utilizing the exponential series is given by Suppose that the generating series ∞ n=0 P g,id n (x) T n is denoted by F g (x, T ). First, we observe that the recursion formula (1) is encoded in the functional equation Further, let f (n) := d|n μ(d) g(n/d), where μ is the Moebius function. Then it can be shown by a standard procedure (logarithmic differentiation), that the Euler product n satisfies the functional equation (6). Finally, since the proof has been completed.
From this proof we obtain the exponential and geometric realization of P g,h n (x).
Corollary 3 Let h = id or h = 1, then we have identities (2) and (3) for the assigned generating series:

Log-concavity and double sequences
Definition 1 Suppose that {a n } ∞ n=0 is a sequence of non-negative real numbers. A finite sequence is extended with zeros.
(1) The sequence is called log-concave if a 2 n ≥ a n−1 a n+1 for n ≥ 1. (2) We denote a double sequence A = {a n,m } horizontally log-concave iff for every n 0 ∈ N the sequence {a n 0 ,m } is log-concave and vertically log-concave iff for every m 0 ∈ N the sequence {a n,m 0 } is log-concave. (3) If for C > 1 fixed and for all m 0 the sequence {a n,m 0 } 1≤n≤C m 0 is log-concave, then we denote the double sequence A as vertically C-log-concave.
We are mainly interested in double sequences A = {a n,m } of triangular shape: a n,m = 0 for m > n or m = 0, and a n,m are otherwise positive.
Suppose that g and h are normalized arithmetic functions with positive real values. Suppose that g is of moderate growth. Then we assign to the family of polynomials P g,h and otherwise zero. If A g,h is horizontally or vertically log-concave or vertically C-logconcave we give P g,h n (x) the same label. We are interested in the D'Arcais polynomials P σ ,id n (x) which are conjectured to be horizontally log-concave. In the next section we provide counter-examples for vertical log-concavity and put this observation in the context of a conjecture by Hong and Zhang [15], addressing the vertical C-log-concavity.
Let us first give some examples, which may serve as a source of ideas to prove the Hong and Zhang conjecture. Example 1 leads to: Proposition 1 Let g(n) = h(n) equal to 1(n) or id (n). Then the assigned double sequences A 1,1 and A id,id are horizontally and vertically log-concave.
Proof We recall that Then A 1,1 consists of binomial coefficients, and therefore are (horizontally) log-concave. Binomial coefficients are also vertically log-concave: Horizontal and vertical log-concavity of A 1,1 implies by Corollary 1 and Corollary 2 the proof of the proposition. This could also be obtained by a direct calculation.
Example 2 Let s (n) = n 2 . We recall from [10] that We obtain:

Proposition 2
The double sequences A id,1 and A s,id are horizontally and vertically logconcave.
Proof It is sufficient to show that the double sequence { n+m−1 2m−1 } n,m is horizontally and vertically log-concave. This is shown in a straightforward manner.
Example 3 The polynomials n! P 1,id n (x) are obtained by the raising factorials. We have Suppose that S (n, m) = n m is the unsigned Stirling number of the first kind and 1(n) = 1 n . Then Recall that the unsigned Stirling numbers of the first kind satisfy a three term recursion formula, similar to the recursion formula of binomial coefficients: This example is quite interesting. As a first result we have:

Proposition 3
The double sequences A 1,id and A1 ,1 are horizontally log-concave but not vertically log-concave.
Proof The double sequence A 1,id is horizontally log-concave according to the theorem by Newton. To prove that the double sequence A1 ,1 is horizontally log-concave we cannot apply Newton's theorem, since we do not know if P1 ,1 n (x) has only real roots. A1 ,1 is horizontally log-concave iff mS(n, m) 2 ≥ (m + 1) S(n, m + 1) S(n, m − 1).
Since S (n, m) = 0 only for m ≤ 0 or m ≥ n + 1, the Eq. (7) is true for m ≤ 1 and m ≥ n.
For the rest of this part of the proof we now assume 2 ≤ m ≤ n − 1, which implies that all in (7) involved Stirling numbers are non-zero. From this we obtain mS (n, m) /S (n, m − 1) ≥ (m + 1) S (n, m + 1) /S (n, m) .
To disprove the vertical log-concavity, we record the coefficients of the first six polynomials P 1,id n (x).

On Hong and Zhang's conjecture
Recently, Hong and Zhang [15] presented an interesting conjecture which implies that the Nekrasov-Okounkov polynomials are unimodal for large n.

Nekrasov-Okounkov polynomials
In 2003 Nekrasov and Okounkov, in an arXiv preprint ( [18], formula (6.12)), announced a remarkable new type of hook length formula, based on their work on random partitions and the Seiberg-Witten theory (final publication [19]). Shortly after their discovery, Westbury [24] and Han [8] also spotted the hook length formula in connection with the Macdonald identities. Westbury utilized properties of twisted universal characters and Han properties of t-cores.
The hook length formula relates the sum over products of partition hook lengths [7,17] to the coefficients of complex powers of Euler products [12,20,22], which is essentially a power of the Dedekind eta function.
Suppose that λ is a partition of n denoted by λ n with weight |λ| = n. We denote by H(λ) the multiset of hook lengths associated to λ and by P the set of all partitions. The Nekrasov-Okounkov hook length formula is given by The identity (11) is valid for all z ∈ C. The Dedekind eta function η(τ ) is given by q 1 24 ∞ m=1 (1 − q m ) (see [21]). In [9] we revised and refined three conjectures posted by Amdeberhan [1]. The formula (11) is built up of a family of polynomials Q n (x). The nth Nekrasov-Okounkov polynomial is given by Note that all the coefficients of Q n (x) are non-negative. Suppose that Q n (x) has only real roots (previous Conjecture 2), then we know already from Newton that this implies that Q n (x) is log-concave, and hence unimodal (previous Conjecture 3). We disproved Conjecture 2, and used PARI/GP to check that Q n (x) is log-concave for n ≤ 1500. Note that the roots of Q n (x) are directly related to the Lehmer conjecture [12,16].

D'Arcais polynomials
In 1913 D'Arcais [5] studied a sequence of polynomials P n (x) (which are denoted D'Arcais polynomials [24]): The coefficients are called D'Arcais numbers [4]. Newman and Serre [20,22] studied the polynomials in the context of modular forms. Serre proved his famous theorem on lacunary modular forms, utilizing the factorization of P n (x) for 1 ≤ n ≤ 10 over Q.

Hong and Zhang's conjecture
Hong and Zhang [15] investigated a conjecture, published by Heim and Neuhauser [9] on the unimodality of the Nekrasov-Okounkov polynomials and the related log-concavity (see also [1]). We consider the generating series Let m ∈ N. We denote by b m,n the coefficients of the q-expansion of the mth power of f (q) and we put otherwise b m,n = 0. We follow [15] with m = k and b m,n = c n,k . Conjecture (Hong, Zhang) There exists a constant C > 1, such that for all m ≥ 2 and At the end of their paper they offer evidence and also remark that it is very likely that C = 2 may fulfill their conjecture. Finally, they prove that the validity of their conjecture implies that the Nekrasov-Okounkov polynomials are unimodal for large degrees.

Vertical version of the Hong-Zhang conjecture
The following identity puts the numbers b m,n in the context of double sequences derived by polynomials defined by the recursion (1). We consider the q-expansion of reciprocal power series [11], induced by normalized arithmetic functions g, which provides the link to the polynomials P g,1 n (x): Thus, the numbers b m,n are the mth coefficients of the polynomial Pσ ,1 n (x). The duality property shows that b m,n /m! is also equal to the mth coefficients A n,m of the D'Arcais polynomials. Hence, we immediately obtain: Theorem 2 Let C > 1. The Hong-Zhang conjecture with C > 1 is true iff the double sequence A σ ,id attached to the D'Arcais polynomials is vertically C-log-concave iff the double sequence A σ ,1 is vertically C-log-concave.

Open challenges and further study
Suppose that g is a normalized positive real-valued arithmetic function of moderate growth. We consider double sequences A g,h assigned to families of polynomials P g,id n (x) and P g,1 n (x) for h = id or h = 1. The horizontal and vertical log-concavity of sequences are important characteristics. We utilize a conversion principle, Theorem 1, which provides an explicit translation from the double sequences A g,id to the double sequence Ag ,1 .

Unsigned Stirling numbers of the first kind
Let g = 1 and h = id. Then the double sequence A 1,id assigned to is horizontal log-concave. We have already shown that the vertical log-concavity fails. Nevertheless, numerical investigation shows similarities to the Hong-Zhang conjecture.
We have recorded this in the following Table 1.

Proposition 4 For large n the sequence S(n,m) n! is not log-concave.
In the proof we will use Landau's big O notation for functions on an unbounded subset of the positive real numbers and f (x) = O (g (x)) if there is a C > 0 and an x 0 such that f (x) ≤ Cg (x) for all x ≥ x 0 . We also will need the polynomials v m (y) of degree m defined by the power series expansion of e xy x (x) = ∞ m=0 v m (y) x m .
Proof From [25] we can deduce that S(n,m) n!
= v m−1( ln(n−1)) n +O n ε/2−2 for any 0 < ε < 1. Then Therefore its sign is determined by the sign of Challenge 1 Is the double sequence A 1,id vertically C-log-concave?
We expect that the answer to this question will also give some insight in the Hong-Zhang conjecture.

D'Arcais polynomial version of Hong-Zhang's conjecture
Hong and Zhang [15] considered the coefficients b m,n of the mth power of the generating series f (q) = ∞ n=1 σ (n) q n n and conjectured that there exists a C > 1, such that for m ≥ 2 and 1 ≤ n ≤ C m : b 2 m,n ≥ b m,n−1 b m,n+1 .
We have proven in this paper that the conjecture is equivalent to the vertical C-logconcavity of the D'Arcais polynomials P σ ,id n (x) given by (1 − q n ) −x .
Challenge 2 Assume A σ ,id horizontally log-concave. Does this imply the Hong-Zhang conjecture?

D'Arcais polynomials
The Nekrasov-Okounkov Q n (x) polynomials are shifted D'Arcais polynomials. We have checked numerically that for n ≤ 1500 the D'Arcais polynomials are (horizontally) logconcave. We would reinforce the conjecture stated in [1] and [9] on the unimodality of the Nekrasov-Okounkov polynomials.
Challenge 3 (Conjecture) The double sequence A σ ,id assigned to the D'Arcais polynomials is horizontally log-concave.
By Brenti's result this implies the log-concavity of the Nekrasov-Okounkov polynomials and therefore also the unimodality.

Examples for horizontal and vertical C-log-concavity
To get a better understanding of the D'Arcais polynomials it would be beneficial to know which property of the input function g = σ enforces the horizontal and vertical properties of the double sequences A σ ,id and Aσ ,1 .
Challenge 4 Characterize the set of normalized positive-valued arithmetic functions, which provide horizontally and vertically (C-)log-concave properties of the assigned double sequences.