Abstract
This paper deals with both the higher order Turán inequalities and the Laguerre inequalities for quasi-polynomial-like functions that are expressions of the form \(f(n)=c_l(n)n^l+\cdots +c_d(n)n^d+o(n^d)\), where \(d,l\in \mathbb {N}\) and \(d\leqslant l\). A natural example of such a function is the A-partition function \(p_{A}(n)\), which enumerates the number of partitions of n with parts in the fixed finite multiset \(A=\{a_1,a_2,\ldots ,a_k\}\) of positive integers. For an arbitrary positive integer d, we present efficient criteria for both the order d Turán inequality and the dth Laguarre inequality for quasi-polynomial-like functions. In particular, we apply these results to deduce non-trivial analogues for \(p_A(n)\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A partition of a non-negative integer n is a weakly-decreasing sequence of positive integers \(\lambda =(\lambda _1,\lambda _2,\ldots ,\lambda _j)\) such that
The numbers \(\lambda _i\) are called parts of the partition \(\lambda \). The partition function p(n) enumerates all partitions of n. For instance, we have \(p(4)=5\), i.e. (4), (3, 1), (2, 2), (2, 1, 1) and (1, 1, 1, 1). We do not know any easy formula for p(n). However, Euler proved that its generating function takes the form
The partition theory plays a crucial role in many parts of mathematics and other sciences. In statistical mechanics, the well-known Rogers-Ramanujan identities are related to the solution of the hard hexagon model, see [3, 8]. Further, partitions have applications in molecular chemistry, crystallography and quantum mechanics, as a consequence of the fact that all irreducible representations of the permutation group \(S_n\) and the unitary group U(n) might be labelled by them. It is also worth noting that partitions appear in genetics in the so-called Ewens’s sampling formula, see [24, 34]. There is a plethora of works devoted to the theory of partitions. For a general introduction to the topic, we encourage the reader to see Andrews’ books [4, 5] as well as [1, 31, 45].
Now, let us assume that \(A=\{a_1,a_2,\ldots ,a_k\}\) is a finite multiset of positive integers. By an A-partition of a non-negative integer n, we mean any partition \(\lambda =(\lambda _1,\lambda _2,\ldots ,\lambda _j)\) of n with parts in A. For the sake of clarity, we additionally assume that two A-partitions are considered the same if there is only a difference in the order of their parts. The A-partition function \(p_A(n)\) enumerates all A-partitions of n. In particular, we have that \(p_A(n)=0\) whenever n is a negative integer and \(p_A(0)=1\) with the empty partition \(\lambda =()\). The generating function for \(p_A(n)\) is given by
For example, if \(A = \{1, 2_1, 2_2, 3_1, 3_2, 3_3, 4_1, 4_2\}\), then we have that \(p_A(4) = 11\), namely: \((4_2)\), \((4_1)\), \((3_3, 1)\), \((3_2, 1)\), \((3_1, 1)\), \((2_2, 2_2)\), \((2_2, 2_1)\), \((2_1, 2_1)\), \((2_2, 1, 1)\), \((2_1, 1, 1)\) and (1, 1, 1, 1).
There is an abundance of literature devoted to A-partition function when \(\#A<\infty \). We refer the reader to, for instance, [2, 10, 15, 21, 25, 37, 44, 49].
It turns out that \(p_A(n)\) is a quasi-polynomial whenever A is a finite set or a multiset of positive integers. More precisely, if \(\#A=k\), then the A-partition function is an expression of the form
where the coefficients \(b_0(n),b_1(n),\ldots ,b_{k-1}(n)\) depend on the residue class of \(n\pmod {\text {lcm}{(A)}}\). The first proof of the above fact is probably due to Bell [10]. We encourage the reader to see Stanley’s book [46, Sect. 4.4] for more information about quasi-polynomials. On the other hand, a quasi-polynomial-like function f(n) is a function which asymptotically behaves like a quasi-polynomial. More specifically, f(n) can be written as
where \(r,l\in \mathbb {N}\), \(l\geqslant r\), the coefficients \(c_r(n),c_{r+1}(n),\ldots ,c_{l}(n)\) depend on the residue class of \(n\pmod {M}\) for some positive integer \(M\geqslant 2\). In particular, we see that \(p_A(n)\) is a quasi-polynomial-like function.
This paper deals with two problems. The first of them concerns the so-called higher order Turán inequalities for quasi-polynomial-like functions. Let us recall that a sequence \(\left( \omega _i\right) _{i=0}^\infty \) of real numbers satisfies the second order Turán inequality if we have that
for all \(n\geqslant 1\). Further, it fulfills the third order Turán inequality if the following
is true for every \(n\geqslant 1\). More generally, if \(J_\omega ^{d,n}(x)\) are the Jensen polynomials of degree d and shift n associated to the sequence \(\omega :=(\omega _i)_{i=0}^\infty \), defined by
then it is known that \((\omega _i)_{i=0}^\infty \) satisfies the order d Turán inequality at n if and only if \(J_\omega ^{d,n}(x)\) is hyperbolic, i.e. all of its roots are real numbers (see, [17,18,19, 29]).
In 2015 DeSalvo and Pak [20] reproved the result (obtained independently by Nicolas [38] in the ‘70 s) that the partition function p(n) satisfies the second order Turán inequality for all \(n>25\). Afterwards, Chen [13] conjectured that the third order Turán inequality for p(n) is valid for all \(n\geqslant 94\). The problem was solved by Chen, Jia and Wang [14] and motivated them to state another conjecture that for each \(d\geqslant 1\) there is some integer \(N_p(d)\) such that the associated Jensen polynomial \(J_{p}^{d,n}(X)\) is hyperbolic for all \(n\geqslant N_p(d)\). That conjecture, on the other hand, was established by Griffin et al. [29]. It is worth pointing out that Larson and Wagner [35] discovered efficient upper bound for the value of \(N_p(d)\) for any d.
The aforementioned results have initiated vast research related to discovering similar properties for other variations of the partition function. Iskander et al. [32] proved that for every \(d\geqslant 2\) the fractional partition function \(p_\alpha (n)\), which is defined for \(\alpha \in \mathbb {Q}\) in terms of the following generating function
(for more information, see [12]), satisfies the order d Turán inequality for all but finitely many values of n. Further, Craig and Pun [16] investigated the so-called k-regular partition function \(p_{k}(n)\) (i.e. \(p_{k}(n)\) enumerates only those partitions of n whose parts are not divisible by k) in that context. They obtained that for every \(k\geqslant 2\) and \(d\geqslant 1\) the associated Jensen polynomial \(J_{p_{k}}^{d,n}(X)\) is hyperbolic for all sufficiently large numbers n. Heim, Neuhauser and Tröger [30] investigated the plane partition function PL(n) (see Andrews [4, Chapter 11] or [5, Chapter 10]) and its polynomization in this direction. They conjectured that for any \(d\geqslant 1\) the plane partition function fulfills the order d Turán inequality for all large enough numbers n. That conjecture was solved by Ono, Pujahari and Rolen in [40] with explicit bounds provided by Ono’s PhD student Pandey [41]. Further, Baker and Males [7] showed that the number \(\overline{p}_j(n)\) of partitions with BG-rank j, and the number \(\overline{p}_j(a,b;n)\) of partitions with BG-rank j and 2-quotient rank congruent to \(a\pmod {b}\) satisfy (asymptotically) all higher order Turán inequalities for even values of j and n. We refer the reader to Berkovich and Garvan’s paper [11] for additional information about \(\overline{p}_j(n)\) and \(\overline{p}_j(a,b;n)\). Finally, Dong, Ji and Jia [23] discovered that the Jensen polynomial corresponding to \(d\geqslant 1\) and the Andrews and Paule’s broken k-diamond partition function \(\Delta _k(n)\), namely \(J_{\Delta _k}^{d,n}(X)\), is hyperbolic for \(k=1\) or 2 and all but finitely many positive integers n. The explicit definition of broken k-diamond partitions (for any \(k\geqslant 1\)) together with some properties of \(\Delta _k(n)\) might be found in Andrews and Paule’s paper [6]. The above-mentioned results have been our motivation to study the higher order Turán inequalities for both quasi-polynomial-like functions in general and A-partition functions in particular.
The second issue which this paper deals with concerns the so-called Laguerre inequalities for quasi-polynomial-like functions. Once again, let us assume that \(\omega =\left( \omega _i\right) _{i=0}^\infty \) is a sequence of real numbers. For a fixed non-negative integer d, we say that \(\omega \) satisfies the Laguerre inequality of order d at n if
The discrete Laguerre inequalities (1.3) were firstly introduced by Wang and Yang [52]. It is also worth noting that Wagner [51, Theorem 1.4] defined them equivalently by dividing (1.3) by (2d)!. For \(d=1\), one can easy observe that (1.3) reduces to the second order Turán inequality. If \(d=2\), then (after simplification) we get
Further, the order 3 Laguerre inequality might be written equivalently as follows:
and so on.
Wang and Yang [52, 53] investigated Laguerre inequalities for many combinatorial sequences. In particular, they showed that the partition function, the overpartition function, the Motzkin numbers, the Fine numbers, the Domb numbers and the distinct partition function satisfy the order 2 Laguerre inequality. More recently, Yang [55] also proved that the broken k-diamond partition function fulfills the second order Laguerre inequality. On the other hand, Wagner [51] showed that the partition function satisfies the inequality (1.3) for every non-negative integer d and all sufficiently large values of n. The aforementioned results have motivated us to investigate the issue in the case of quasi-polynomial-like functions.
At the end of Introduction, it needs to be pointed out that studying both the higher order Turán inequalities and the Laguerre inequalities is not only art for art’s sake. Let us recall that a real entire (i.e. analytic at all points of the complex plane \(\mathbb {C}\)) function
is in the \(\mathcal{L}\mathcal{P}\) (Laguerre-Pólya) class if it may be written as
where \(a,b,c,x_1,x_2,\ldots \) are all real numbers, where \(a\geqslant 0\), k is a non-negative integer and \(\sum _{n=1}^\infty x_n^{-2}<\infty \). For the background of the theory of the \(\mathcal{L}\mathcal{P}\) functions, we encourage the reader to see [36, 43]. It turns out that the Riemann hypothesis is equivalent to the statement that the Riemann \(\Xi \)-function
is in the \(\mathcal{L}\mathcal{P}\) class, where \(\Gamma \) is the gamma function, and \(\zeta \) denotes the Riemann zeta function. There is a necessary condition for the Riemann \(\Xi \)-function to be in the Laguerre-Pólya class which states that the Maclaurin coefficients of the \(\Xi \)-function have to fulfill the order d Turán inequality as well as the Laguerre inequality of order d for every positive integer d. For additional information, we refer the reader to [22, 42, 47].
This manuscript is organized as follows. Section 2 delivers necessary concepts, notations and properties which are used throughout the paper. Section 3 studies the higher order Turán inequalities for both quasi-polynomial-like functions and A-partition functions. In Sect. 4, on the other hand, we deal with the Laguerre inequalities. Finally, Sect. 5 contains some concluding remarks and open problems.
2 Preliminaries
At first, we fix some notation. The set of non-negative integers is denoted by \(\mathbb {N}\). Further, we put \(\mathbb {N}_+:=\mathbb {N}\setminus \{0\}\) and \(\mathbb {N}_{\geqslant k}:=\mathbb {N}\setminus \{0,1,\ldots ,k-1\}\).
For a finite multiset \(A=\{a_1,a_2,\ldots ,a_k\}\) of positive integers, we associate the A-partition function \(p_A(n)\), which was defined in Introduction. Due to Bell’s theorem [10], we know that \(p_A(n)\) is a quasi-polynomial given by the equality (1.1), where the coefficients \(b_0(n),b_1(n),\ldots ,b_{k-1}(n)\) depend on the residue class of \(n\pmod {\text {lcm}{(A)}}\). It turns out that under some additional assumptions on A, we may determine some of the coefficients \(b_i(n)\). That is a result obtained by several authors, among others, Almkvist [2], Beck et al. [9] or Israilov [33]. We present the theorem due to Almkvist [2]. In order to do that, let us define symmetric polynomials \(\sigma _i(x_1,x_2,\ldots ,x_k)\) in terms of the power series expansion
Now, we have the following.
Theorem 2.1
(Almkvist) Let \(A=\{a_1,a_2,\ldots ,a_k\}\) be fixed and put \(s_1:=a_1+a_2+\cdots +a_k\). For a given integer \(1\leqslant j\leqslant k\), if \(\gcd B=1\) for every j-element multisubset B of A, then
One can check that \(\sigma _i=0\) if i is odd. Furthermore, if we set \(s_m:=a_1^m+a_2^m+\cdots +a_k^m\), then
Essentially, Theorem 2.1 maintains that if \(\gcd B=1\) for every \((k-j)\)-element multisubset B of A, then the coefficients \(b_{k-1}(n),b_{k-2}(n),\ldots ,b_{k-1-j}(n)\) in the equality (1.1) are independent of the residue class of \(n\pmod {\text {lcm}{(A)}}\), i.e. they are constants and can be explicitly calculated. Moreover, it is noteworthy that the A-partition function is a non-trivial example of a quasi-polynomial-like function that is an expression of the form (1.2).
Now, let us recall some terminology related to higher order Turán inequalities. Instead of repeating the discussion from Introduction, we directly explain how the order d Turán inequality arises from the hyperbolicity of the Jensen polynomial \(J_\omega ^{d,n}(x)\). Let
be a fixed polynomial with real coefficients and denote all its complex roots by \(\alpha _1,\alpha _2,\ldots ,\alpha _{s}\). By \(P_m\), we mean the m-th Newton’s sum of g(x), which is given by
Further, for the sums \(P_0,\ldots ,P_{2s-2}\), we associate the Hankel matrix H(g), namely
The classical Hermite theorem [39] states that g(x) is hyperbolic if and only if the matrix H(g) is positive semi-definite. Since each of the Newton’s sums might be expressed in terms of the coefficients \(c_s,c_{s-1},\ldots ,c_0\), Hermit’s result provides a set of inequalities on them by
Now, if we assign the Jensen polynomial \(J_\omega ^{d,n}(x)\) for an arbitrary sequence \(\omega =(w_i)_{i=1}^\infty \), then the corresponding inequality for the determinant of the main minor \(l\times l\) of \(H(J_\omega ^{d,n})\):
is called the order l Turán inequality for the sequence \(\omega \). In particular, it means that \(J_\omega ^{d,n}(x)\) is hyperbolic if and only if the sequence \(\omega _n=(w_{n+j})_{j=1}^\infty \) satisfies the order l Turán inequality for every \(l\in \{1,2,\ldots ,d\}\).
From the above discussion, we see that investigating the higher order Turán inequalities does not seem to be an easy challenge. However, there is a paper due to Griffin, Ono, Rolen and Zagier [29], which delivers an efficient criterion to deal with that issue.
Theorem 2.2
(Griffin, Ono, Rolen, Zagier) Let \((\omega _n)_{n=0}^\infty \) be a sequence of real numbers. Suppose further that \((E(n))_{n=0}^\infty \) and \((\delta (n))_{n=0}^\infty \) are sequences of positive real numbers with \(\lim _{n\rightarrow \infty }\delta (n)=0\), and that \(F(t)=\sum _{i=0}^\infty c_it^i\) is a formal power series with complex coefficients. For a fixed \(d\geqslant 1\), suppose that there are sequences \(\left( C_0(n)\right) _{n=0}^\infty ,\left( C_1(n)\right) _{n=0}^\infty ,\ldots ,\left( C_d(n)\right) _{n=0}^\infty \) of real numbers, with \(\lim _{n\rightarrow \infty } C_i(n)=c_i\) for \(0\leqslant i \leqslant d\), such that for \(0\leqslant j \leqslant d\), we have
Then, we have
uniformly for x in any compact subset of \(\mathbb {R}\), where the polynomials \(H_{F,m}(x)\in \mathbb {C}[x]\) are defined either by the generating function \(F(-t)e^{xt}=\sum _{m=0}^\infty H_{F,m}(x)t^m/m!\) or in closed form by \(H_{F,m}(x):=m!\sum _{l=0}^m (-1)^{m-l}c_{m-l}x^l/l!\).
It is not clear how one can apply the above result in practice. In fact, Griffin et al. use the criterion to prove that for every positive integer d the partition function p(n) fulfills the order d Turán inequality for all but finitely many values of n. More precisely, they obtain the Hermite polynomials \(H_m(x)\) as the polynomials \(H_{F,m}(x)\) in Theorem 2.2. Let us recall that they define the Hermite polynomials via the generating function
Since these polynomials have only distinct real roots, and since the property of a polynomial with only real roots is invariant under small deformation, the required phenomenon for p(n) follows.
On the other hand, we investigate the higher order Turán inequalities for quasi-polynomial-like functions
where \(r,l\in \mathbb {N}\), \(l\geqslant r\) and the coefficients \(c_r(n),c_{r+1}(n),\ldots ,c_{l}(n)\) depend on the residue class of \(n\pmod {M}\) for some positive integer \(M\geqslant 2\). Therefore, we will probably get another family of orthogonal polynomials in Theorem 2.2. The generalized Laguerre polynomials \(L_n^{(\alpha )}(x)\) for \(\alpha >-1\) are defined via the following conditions of orthogonality and normalization
where \(\Gamma \) denotes the Euler gamma function, \(\delta _{i,j}\) is the Kronecker delta and \(n,m=0,1,2,\ldots .\) Moreover, we demand that the coefficient of \(x^n\) in the polynomial \(L_n^{(\alpha )}(x)\) of degree n have the sign \((-1)^n\). One can figure out the explicit representation of these polynomials, namely,
Hence, we have that
and so on. It is well-known that if \(\alpha \) is non-negative, then \(L_n^{(\alpha )}(x)\) has exactly n positive simple real roots. For more information about both the Hermite polynomials and the Laguerre polynomials we encourage the reader to see [48].
Finally, instead of repeating the text from Introduction related to the Laguerre inequalities, we just recall that for an arbitrary sequence \(\omega =\left( \omega _i\right) _{i=0}^\infty \) of real numbers the Laguerre inequality of order d at n is defined via
In order to deal with this issue for quasi-polynomial-like functions we will need some basic identities involving binomial coefficients, which are omitted here and collected in Sect. 4.
Now, we are ready to proceed to the main part of the manuscript.
3 The higher order Turán inequalities for quasi-polynomial-like functions
The main goal of this section is to prove the following characterization.
Theorem 3.1
Let f(n) be a quasi-polynomial-like function of the form
for some \(1\leqslant d\leqslant l\). Then, for every \(1 \leqslant j \leqslant d\) the sequence \((f(n))_{n=0}^\infty \) satisfies the order j Turán inequality for all but finitely many values of n.
Proof
At first, let us fix \(0\leqslant j\leqslant d\) and expand \(f(n+j)/f(n)\). We have that
Now, it is not difficult to see that we can apply Theorem 2.2 with \(\omega _n=f(n)\), \(E(n)=1\), and \(\delta (n)=n^{-1}\). Indeed, we get
where
for any \(0\leqslant s\leqslant d\). Hence, it is clear that
for every \(0\leqslant s\leqslant d\), and we obtain that
for each \(0\leqslant m \leqslant d\), where \(L_m^{(l-m)}(x)\) is the generalized Laguerre polynomial. Since \(l-m\geqslant 0\), the polynomials \(L_m^{(l-m)}(x)\) have only positive simple real roots (see, the antepenultimate paragraph of Sect. 2). Finally, Theorem 2.2 asserts that
uniformly for x in any compact subset of \(\mathbb {R}\) for every \(1\leqslant s\leqslant d\). However, we know that the property of a hyperbolic polynomial with real coefficients and distinct roots is invariant under small deformation. Thus, the required phenomenon for f(n) follows. \(\square \)
Theorems 2.1 and 3.1 give an interesting criterion for the order d Turán inequality for the A-partition function.
Theorem 3.2
Let A be a finite multiset (or set) of positive integers with \(\#A=k\), and let \(1\leqslant d<k\) be fixed. Suppose further that \(\gcd B=1\) for every \((k-d)\)-element multisubset \(B\subset A\). Then, for any \(1\leqslant j \leqslant d\) the sequence \((p_A(n))_{n=0}^\infty \) fulfills the order j Turán inequality for all sufficiently large values of n.
Proof
That is a direct consequence of both Theorems 2.1 and 3.1. \(\square \)
An interesting question arises whether Theorems 3.1 and 3.2 present also the necessary conditions for order d Turán inequality for both quasi-polynomial-like functions and A-partition functions, respectively. It is true for the strong version of the order 2 Turán inequality, which follows directly from Gajdzica’s papers [26, 27]. However, it is not true in general as the forthcoming examples show.
Example 3.3
Let us investigate the order 3 Turán inequality for the function
It is easy to see that the assumptions from Theorem 3.1 are not satisfied. Nevertheless, it turns out that the function which directly corresponds to the third order Turán inequality takes the form
and is positive for all sufficiently large values of n. Hence, we conclude that Theorem 3.1 is not an optimal criterion.
In the case of the A-partition function, we present the following counterexample.
Example 3.4
Let us assume that \(A=\{1_1, 1_2, 1_3, 1_4, 300\}\), and examine the order 4 Turán inequality. In the fashion of Example 3.3, we wish to define a function f(n) which directly corresponds to that issue. It is tedious but elementary to show that a sequence \(\omega =\left( \omega _i\right) _{i=0}^\infty \) fulfills the fourth Turán inequality if the following
is satisfied for every \(n\in \mathbb {N}\). Therefore, let us put \(\omega _n:=p_A(n)\) and denote the left hand side of the above inequality by \(f_A(n)\). Since \(\gcd (300)\not =1\), we see that the assumptions from Theorem 3.2 do not hold if \(d=4\). One can carry out the appropriate computations in Mathematica [54] and check that \(f_A(n)\) is a quasi-polynomial of degree 12 with coefficients depending on \(n\pmod {300}\). It might be also verified that the leading coefficient of \(f_A(n)\) attains the smallest value whenever \(n\not \equiv 296 \pmod {300}\). In all of these cases, we have
The above discussion agrees with the plot of \(f_A(n)\) for \(1\leqslant n\leqslant 10^4\), see Fig. 1.
Hence, we conclude that Theorem 3.2 is not optimal, as well.
At the end of this section, let us exhibit two other examples. Sometimes we can conclude the appropriate order d Turán inequality using Theorem 3.1 or Theorem 3.2.
Example 3.5
Let us consider a quasi-polynomial-like function of the form
We would like to investigate the order 3 Turán inequality. However, it is clear that the assumptions from Theorem 3.1 are not satisfied; and one may calculate that
whenever \(n\equiv 2\pmod {4}\). Hence, f(n) can not satisfy the order 3 Turán inequality for all sufficiently large values of n, as required.
As an instance for an A-partition function, we take a finite analogue of the partition function p(n).
Example 3.6
For any positive integer m, let us put \(A_m:=\{1,2,\ldots ,m\}\). We want to consider the third order Turán inequality for \(p_{A_6}(n)\) and \(p_{A_7}(n)\). In order to make the text more transparent, we set
Thus, \(g_{A_m}(n)\) directly corresponds to the order 3 Turán inequality. It is clear that the demands from Theorem 3.2 are not true for \(A_6\). In fact, it turns out that, for instance,
whenever \(n\equiv 2\pmod {60}\). On the other hand, one can check that the equality
is valid for every positive integer n, as required. The above discussion agrees with the plots of \(g_{A_6}(n)\) and \(g_{A_7}(n)\), see Figs. 2 and 3, respectively.
4 The Laguerre inequalities for quasi-polynomial-like functions
Now, we focus on the Laguerre inequalities for quasi-polynomial-like functions. As it was mentioned at the end of Sect. 2, we need to use a few binomial coefficient identities to deal with the issue.
The first of them arises from comparing the coefficients of the expansions of both \((1-z)^{s}(1+z)^{s}\) and \((1-z^2)^{s}\) (see, [28, Sect. 5.4]).
Lemma 4.1
Let \(s\in \mathbb {N}\) be fixed. Then for every even integer \(0\leqslant n\leqslant s\), we have
To present the second one, we need to recall that the Stirling number of the second kind \(\left\{ \begin{array}{c}n\\ k\end{array}\right\} \) enumerates the number of ways to partition a set of n labelled objects into k non-empty unlabelled subsets. Equivalently, it is the number of different equivalence relations with exactly k equivalence classes that may be defined on an n element set. It is worth noting that the following identities
hold for every positive integer n as well as \(\left\{ \begin{array}{c}m\\ k\end{array}\right\} =0\) whenever \(0\leqslant m <k\). The succeeding lemma, together with the general introduction to the Stirling numbers, might be found in [28, Sect. 6.1].
Lemma 4.2
Let u and v be arbitrary non-negative integers. Then, we have
Now, we are ready to state and prove the main result of this section.
Theorem 4.3
Let f(n) be a quasi-polynomial-like function of the form
for some non-negative integer d such that \(2d\leqslant l\). Then, for every \(0 \leqslant j \leqslant d\) the sequence \((f(n))_{n=0}^\infty \) satisfies the Laguerre inequality of order j for all but finitely many values of n. In particular, we have that
Proof
Let us fix a quasi-polynomial-like function f(x) as in the statement, and expand the left hand side of the inequality (1.3) with \(\omega _n=f(n)\). We have that
Since we are interested in the asymptotic behavior of the above expression, we need to determine the leading coefficient of its polynomial part. It is not difficult to notice that whenever we multiply a summand \(c_{l-i_0}\left( {\begin{array}{c}l-i_0\\ k_0\end{array}}\right) j^{k_0}n^{l-i_0-k_0}\) from the first square bracket with a summand \((-1)^{k_1}c_{l-i_1}\left( {\begin{array}{c}l-i_1\\ k_1\end{array}}\right) j^{k_1}(n+2d)^{l-i_1-k_1}\)from the second one, we obtain j to the power of \(k_0+k_1\). More precisely, we get an expression of the form
Therefore if \(k_0+k_1<2d\), then the above might be rewritten as
where the equality follows from Lemma 4.2 with \(k=j\), \(u=2d\) and \(v=k_0+k_1\). Hence, our task boils down to finding the coefficient of \(n^{2(l-d)}\). Repeating the above discussion, one can observe that the only possible non-zero term takes the form
Now, Lemma 4.1 asserts that
On the other hand, Lemma 4.2 gives that
In conclusion, we obtain that
which was to be demonstrated. \(\square \)
As an immediate consequence of Theorem 4.3, we get an analogue characterization to that one from Theorem 3.2.
Theorem 4.4
Let A be a finite multiset (or set) of positive integers with \(\#A=k\), and let \(1\leqslant 2d<k\) be fixed. Suppose further that \(\gcd B=1\) for every \((k-2d)\)-element multisubset B of A. Then, for each \(1\leqslant j \leqslant d\) the sequence \((p_A(n))_{n=0}^\infty \) satisfies the Laguerre inequality of order j for all but finitely many values of n.
Proof
The criterion easily follows from both Theorems 2.1 and 4.3. \(\square \)
Analogously to Sect. 3, we present a few examples showing that Theorem 4.3, as well as Theorem 4.4, does not deliver us a necessary condition for the Laguerre inequality of order d for \(d\geqslant 2\).
Example 4.5
Let us assume that f(n) is a quasi-polynomial-like function of the form
It is not difficult to see that the assumption from Theorem 4.3 for \(d=2\) does not hold. Nevertheless, one can calculate that
for all sufficiently large values of n, and observe that the second Laguerre inequality is asymptotically satisfied for f(n). Thus, Theorem 4.3 is not an optimal criterion.
As a counterexample for Theorem 4.4, we exhibit the following.
Example 4.6
We put \(A=\{1_1, 1_2, 1_3, 1_4, 300\}\) and consider the order 2 Laguerre inequality. It is clear that the assumptions from Theorem 4.4 are not satisfied for \(d=2\). Notwithstanding, if we set
then it turns out that
with the equality whenever \(n\not \equiv 297\pmod {300}\), which agrees with Fig. 4.
In conclusion, we see that Theorem 4.4 is not an optimal criterion, as well.
At the end of this section, we present an example showing that, in general, it might be difficult to derive an optimal criterion for the Laguerre inequality of order \(d\geqslant 2\) for quasi-polynomial-like functions.
Example 4.7
Let us consider the \(A_m\)-partition function defined in Example 3.6. For instance, we may examine the Laguerre inequality of order 2 for both \(p_{A_8}(n)\) and \(p_{A_9}(n)\). For the sake of clarity, let us put
In other words, \(h_{A_m}(n)\) corresponds to the second order Laguerre inequality for \(p_{A_m}(n)\). We see that the assumptions from Theorem 4.4 do not hold for \(p_{A_8}(n)\) and \(d=2\). Moreover, one can determine that
whenever \(n\equiv 0,2,\ldots ,838\pmod {840}\). In the case of \(h_{A_9}(n)\), on the other hand, we get that the equality
holds for each positive integer n, which agrees with Theorem 4.4. Figures 5 and 6 exhibit the plots of \(h_{A_8}(n)\) and \(h_{A_9}(n)\), respectively.
The above discussion asserts that it might be difficult to find out an easy description of all quasi-polynomial-like functions which (asymptotically) fulfill the Laguerre inequality of order d for any \(d\geqslant 2\).
5 Concluding remarks
It is quite unfortunate that neither Theorem 3.1 nor Theorem 3.2 delivers necessary conditions for the order d Turán inequality. Analogously, neither Theorem 4.3 nor Theorem 4.4 contains necessary conditions for the Laguerre inequality of order d. It is worth pointing out that we have such a result in the case of the r-log-concavity problem for quasi-polynomial-like functions (and, in particular, A-partition functions) [27]. Recall that a sequence of real numbers \(\omega =\left( w_i\right) _{i=0}^\infty \) is called (asymptotically) r-log-concave for \(r\in \mathbb {N}_+\), if there exists an integer N such that all terms of the sequences
are positive for every \(i\geqslant N\), where
for \(k\in \{2,3,\ldots ,r\}\). We have the following characterization for that issue.
Theorem 5.1
(Gajdzica) Let l and r be arbitrary positive integers such that \(l\geqslant 2r\). Suppose further that we have
where the coefficients \(a_{l-2r}(n),\ldots ,a_l(n)\) might depend on the residue class of\(n\pmod {M}\) for some positive integer \(M\geqslant 2\). Then the sequence \(\left( f(n)\right) _{n=0}^\infty \) is asymptotically r-log-concave if and only if all the numbers \(a_{l-2r}(n),\ldots ,a_l(n)\) are independent of the residue class of \(n\pmod {M}\).
Unfortunately, the analogous descriptions are impossible for both the higher order Turán inequalities and the Laguerre inequalities. For the former, if we assume that
for some \(1\leqslant d\leqslant l\). Then, the leading coefficient of the (quasi-polynomial-like) function which corresponds to the dth Turán inequality may heavily depend on the residue class of n modulo some positive integer, see Example 3.4. To visualize the issue more accurately, let us consider the third order Turán inequality for
where \(l\geqslant 3\) and \(c_{l-3}(n)\) depends on the residue class of \(n\pmod {M}\) for some \(M\geqslant 2\). It is tiresome but elementary to show that we have the following:
Thus, it is easy to see that the leading coefficient of that expression intensely depends on the residue class of \(n\pmod {M}\), which coincides with our discussion above.
One can demonstrate a parallel reasoning to deduce that the same problem plagues us if we deal with the Laguerre inequality of order d for \(d\geqslant 2\), which Example 4.6 indicates.
At the end of the manuscript, we state a few open problems. The first of them encourages us to deal with the higher order Turán inequalities for some particular A-partition functions.
Problem 5.2
Fix a set (or multiset) A of positive integers and investigate the higher order Turán inequalities for the A-partition function.
Remark 5.3
For instance, if we set \(A=A_m=\{1,2,\ldots ,m\}\) in Problem 5.2, then it is known [26] that the second order Turán inequality for \(p_{A_m}(n)\) begins to hold for \(m=5\). In that case we have that
for all \(n>37\).
One can extend the above and deal with the problem for the \(A_m^{(l)}\)-partition function, where \(A_m^{(l)}=\{1^l,2^l,\ldots ,m^l\}\) and \(m\in \mathbb {N}_+\cup \{\infty \}\). The case of \(m=\infty \) and \(l=1\) has been investigated by Griffin et al. [29] and Larson and Wagner [35]. For more information about the general setting (when \(m=\infty \)), we refer the reader to Ulas’ paper [50].
We also hope that there is a chance to discover a more efficient criterion than Theorem 3.1, and state the following.
Problem 5.4
Let \(d\geqslant 3\) be arbitrary. Find a more effective criterion than Theorem 3.1 (or Theorem 3.2) for the order d Turán inequality for quasi-polynomial-like functions. Alternatively, do that for small values of the parameter d.
Finally, we formulate the analogues of both Problems 5.2 and 5.4 in the context of Laguerre inequalities for quasi-polynomial-like functions.
Problem 5.5
Fix a set (or multiset) A of positive integers and investigate the Laguerre inequalities for the A-partition function.
Problem 5.6
Let \(d\geqslant 2\) be arbitrary. Derive a more efficient criterion than Theorem 4.3 (or Theorem 4.4) for the dth Laguerre inequality for quasi-polynomial-like functions. Alternatively, do that for small values of the parameter d.
Data availability
The datasets generated during and/or analysed during the current study are available from the corresponding author on reasonable request.
References
Agarwal, A.K., Padmavathamma, M., Subbarao, V.: Partition Theory. Atma Ram and Sons, Chandigarh (2005)
Almkvist, G.: Partitions with parts in a finite set and with parts outside a finite set. Exp. Math. 11, 449–456 (2002)
Andrews, G.E.: The hard-hexagon model and Rogers–Ramanujan type identities. Proc. Nat. Acad. Sci. 78, 5290–5292 (1981)
Andrews, G.E.: The Theory of Partitions, The Encyclopedia of Mathematics and Its Applications Series, Addison-Wesley, New York (1976), reissued. Cambridge University Press, New York (1998)
Andrews, G.E., Eriksson, K.: Integer Partitions. Cambridge University Press, Cambridge (2004)
Andrews, G.E., Paule, P.: MacMahon’s partition analysis XI: broken diamonds and modular forms. Acta Arith. 126, 281–294 (2007)
Baker, A., Males, J.: Asymptotics, Turán inequalities, and the distribution of the BG-rank and 2-quotient rank of partitions. Ann. Comb. 27, 769–780 (2023)
Baxter, R.J.: Hard hexagons: exact solution. J. Phys. A 13, 161–170 (1980)
Beck, M., Gessel, I.M., Komatsu, T.: The polynomial part of a restricted partition function related to the Frobenius problem. Electron. J. Comb. 8, 1–5 (2001)
Bell, E.T.: Interpolated denumerants and Lambert series. Am. J. Math. 65, 382–386 (1943)
Berkovich, A., Garvan, F.: On the Andrews-Stanley refinement of Ramanujan’s partition congruence modulo \(5\) and generalizations. Trans. Am. Math. Soc. 358(2), 703–726 (2006)
Chan, H.H., Wang, L.: Fractional powers of the generating function for the partition function. Acta Arith. 187, 59–80 (2019)
Chen, W.Y.C.: The spt-Function of Andrews. London Mathematical Society. Lecture Note Series, pp. 141–203. Cambridge University Press, Cambridge (2017)
Chen, W.Y.C., Jia, D.X.Q., Wang, L.X.W.: Higher order Turán inequalities for the partition function. Trans. Am. Math. Soc. 372, 2143–2165 (2019)
Cimpoeaş, M., Nicolae, F.: On the restricted partition function. Ramanujan J. 47, 565–588 (2018)
Craig, W., Pun, A.: A note on the higher order Turán inequalities for \(k\)-regular partitions. Res. Number Theory 7, 5 (2021)
Craven, T., Csordas, G.: Jensen polynomials and the Turán and Laguerre inequalities. Pac. J. Math. 136(2), 241–260 (1989)
Csordas, G., Varga, R.S.: Necessary and sufficient conditions and the Riemann hypothesis. Adv. Appl. Math. 11(3), 328–357 (1990)
Csordas, G., Norfolk, T.S., Varga, R.S.: The Riemann hypothesis and the Turán inequalities. Trans. Am. Math. Soc. 296(2), 521–541 (1986)
DeSalvo, S., Pak, I.: Log-concavity of the partition function. Ramanujan J. 38, 61–73 (2015)
Dilcher, K., Vignat, C.: An explicit form of the polynomial part of a restricted partition function. Res. Number Theory 3, 1 (2017)
Dimitrov, D.K.: Higher order Turán inequalities. Proc. Am. Math. Soc. 126(7), 2033–2037 (1998)
Dong, J.J.W., Ji, K.Q., Jia, D.X.Q.: Turán inequalities for the broken k-diamond partition function. Ramanujan J. 62, 593–615 (2023)
Ewens, W.J.: The sampling theory of selectively neutral alleles. Theoret. Popul. Biol. 3(1), 87–112 (1972)
Gajdzica, K.: A note on the restricted partition function \(p_{{\cal{A} }} (n, k)\). Discret. Math. 345, 112943 (2022)
Gajdzica, K.: Log-concavity of the restricted partition function \(p_{{\cal{A} }} (n, k)\) and the new Bessenrodt-Ono type inequality. J. Number Theory 251, 31–65 (2023)
Gajdzica, K.: Restricted partition functions and the r-log-concavity of quasi-polynomial-like functions. arxiv:2305.00085 (2023)
Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics. Addison-Wesley Publ. Co., New York (1994)
Griffin, M., Ono, K., Rolen, L., Zagier, D.: Jensen polynomials for the Riemann zeta function and other sequences. Proc. Natl. Acad. Sci. USA 116, 11103–11110 (2019)
Heim, B., Neuhauser, M., Tröger, R.: Inequalities for plane partitions. Ann. Comb. 27, 87–108 (2023)
Hirschhorn, M.D.: The Power of \(q\): A Personal Journey Developments in Mathematics, vol. 49. Springer, Berlin (2017)
Iskander, J., Jain, V., Talvola, V.: Exact formulae for the fractional partition functions. Res. Number Theory 6, 20 (2020)
Israilov, M.I.: Numbers of solutions of linear diophantine equations and their applications in the theory of invariant cubature formulas. Sib. Math. J. 22, 260–273 (1981)
Kingman, J.F.C.: Random partitions in population genetics. Proc. R. Soc. Lond. Ser. A 361(1704), 1–20 (1978)
Larson, H., Wagner, I.: Hyperbolicity of the partition Jensen polynomials. Res. Number Theory 5, 19 (2019)
Levin, J.B.: Distribution of Zeros of Entire Functions. Translations of Mathematical Monographs, revised edition, vol. 5. American Mathematical Society, Providence (1980)
Nathanson, M.B.: Partitions with parts in a finite set. Proc. Am. Math. Soc. 128, 1269–1273 (2000)
Nicolas, J.-L.: Sur les entiers N pour lesquels il y a beaucoup des groupes abéliens d’ordre N. Ann. Inst. Fourier 28(4), 1–16 (1978)
Obrechkoff, N.: Zeros of polynomials, Bulgian Academy of Science (Sofia), 1963. (in Bulgarian). English translation (by I. Dimovski and P. Rusev) published by The Marin Drinov Academic Publishing House, Sofia (2003)
Ono, K., Pujahari, S., Rolen, L.: Turán inequalities for the plane partition function. Adv. Math. B 409, 108692 (2022)
Pandey, B.V.: Higher Turán inequalities for the plane partition function. arxiv:2210.08617 (2022)
Patrick, M.L.: Extensions of inequalities of the Laguerre and Turán type. Pac. J. Math. 44(2), 675–682 (1973)
Rahman, Q.I., Schmeisser, G.: Analytic Theory of Polynomials. Oxford University Press, Oxford (2002)
Rødseth, Ø.J., Sellers, J.A.: Partitions with parts in a finite set. Int. J. Number Theory 2(3), 455–468 (2006)
Sills, A.V.: An Invitation to the Rogers-Ramanujan Identities. With a Foreword by George E. Andrews. CRC, Boca Raton (2018)
Stanley, R.P.: Enumerative Combinatorics, vol. 1. Wadsworth & Brooks/Cole, Monterey (1986)
Szegő, G.: On an inequality of P. Turán concerning Legendre polynomials. Bull. Am. Math. Soc. 54, 401–405 (1948)
Szegő, G.: Orthogonal Polynomials, vol. 107. American Mathematical Society, Providence (1975)
Tengely, S., Ulas, M.: Equal values of certain partition functions via Diophantine equations. Res. Number Theory 7, 67 (2021)
Ulas, M.: Some observations and speculations on partitions into \(d-\)th powers. Bull. Aust. Math. Soc. 104(3), 406–414 (2021)
Wagner, I.: On a new class of Laguerre–Pólya type functions with applications in number theory. Pac. J. Math. 320(1), 177–192 (2022)
Wang, L.X.W., Yang, E.Y.Y.: Laguerre inequalities for discrete sequences. Adv. Appl. Math. 139, 102357 (2022)
Wang, L.X.W., Yang, E.Y.Y.: Laguerre inequality and determinantal inequality for the distinct partition function, submitted
Wolfram Research, Inc.: Mathematica, Version 11.3, Champaign, IL (2018)
Yang, E.Y.Y.: Laguerre inequality and determinantal inequality for the broken \(k\)-diamond partition function. arxiv:2305.17864 (2023)
Acknowledgements
I wish to express my sincere thanks to Piotr Miska and Maciej Ulas for their time and helpful suggestions. I am also grateful to Ian Wagner for his additional comments. This research was funded by a grant of the National Science Centre (NCN), Poland, no. UMO-2019/34/E/ST1/00094.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gajdzica, K. The Turán and Laguerre inequalities for quasi-polynomial-like functions. Res. number theory 10, 46 (2024). https://doi.org/10.1007/s40993-024-00532-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-024-00532-7
Keywords
- Integer partition
- A-partition function
- Quasi-polynomial
- Log-concavity
- Higher order Turán inequalities
- Laguerre inequalities