THE TURÁN AND LAGUERRE INEQUALITIES FOR QUASI-POLYNOMIAL-LIKE FUNCTIONS

. 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 + ··· + c d ( n ) n d + o ( n d ) , where d,l ∈ N and d ⩽ 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 ,...,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 d th Laguarre inequality for quasi-polynomial-like functions. In particular, we apply these results to deduce non-trivial analogues for p A ( n ) .


Introduction
A partition of a non-negative integer n is a weakly-decreasing sequence of positive integers λ = (λ 1 , λ 2 , . . ., λ j ) such that The numbers λ i are called parts of the partition λ.The partition function p(n) enumerates all partitions of n.For instance, there are 5 partitions of 4, namely, (4), (3,1), (2,2), (2, 1, 1) and (1, 1, 1, 1) -in other words p(4) = 5.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 rule 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,7].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 , . . ., a k } is a finite multiset of positive integers.By an A-partition of a non-negative integer n, we mean any partition λ = (λ 1 , λ 2 , . . ., λ 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 generating function for p A (n) is given by (1.1) For example, if A = {1, 2, 2, 3, 3, 3, 4, 4}, then we have that p A (4) = 11, namely: (4), ( 4), (3,1), (3,1), (3,1), (2,2), (2,2), (2,2), (2, 1, 1), (2, 1, 1) and (1, 1, 1, 1).
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), . . ., b k−1 (n) depend on the residue class of n (mod lcmA).The first proof of the above fact is probably due to Bell [10].We encourage the reader to see Stanley's book [46,Section 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 ∈ N, l ⩾ r, the coefficients c r (n), c r+1 (n), . . ., c l (n) depend on the residue class of n (mod M ) for some positive integer M ⩾ 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 (ω i ) ∞ i=0 of real numbers satisfies the second order Turán inequality if we have that ω 2 n ⩾ ω n+1 ω n−1 for all n ⩾ 1.Further, it fulfills the third order Turán inequality if the following ω (x) are the Jensen polynomials of degree d and shift n associated to the sequence ω := (ω i ) ∞ i=0 , defined by then it is known that (ω i ) ∞ i=0 satisfies the order d Turán inequality at n if and only if J d,n ω (x) is hyperbolic, i.e. all of its roots are real numbers (see, [17,18,19,28]).
In 2015 DeSalvo and Pak [20] reproved the result (obtained independently by Nicolas [38] in the '70s) 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 ⩾ 94.The problem was solved by Chen, Jia and Wang [14] and motivated them to state another conjecture that for each d ⩾ 1 there is some integer N p (d) such that the associated Jensen polynomial J d,n p (X) is hyperbolic for all n ⩾ N p (d).That conjecture, on the other hand, was established by Griffin et al. [28].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. [33] proved that for every d ⩾ 2 the fractional partition function p α (n), which is defined for α ∈ 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 ⩾ 2 and d ⩾ 1 the associated Jensen polynomial J d,n p k (X) is hyperbolic for all sufficiently large numbers n.Heim, Neuhauser and Tröger [30] investigated the plane partition function P L(n) (see Andrews [4,Chapter 11] or [5,Chapter 10]) and its polynomization in this direction.They conjectured that for any d ⩾ 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 [41] with explicit bounds provided by Ono's PhD student Pandey [42].Further, Baker and Males [8] showed that the number p j (n) of partitions with BG-rank j, and the number p j (a, b; n) of partitions with BG-rank j and 2-quotient rank congruent to a (mod 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 p j (n) and p j (a, b; n).Finally, Dong, Ji and Jia [23] discovered that the Jensen polynomial corresponding to d ⩾ 1 and the Andrews and Paule's broken k-diamond partition function ∆ k (n), namely J d,n ∆ k (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 ⩾ 1) together with some properties of ∆ 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 ω = (ω i ) ∞ i=0 is a sequence of real numbers.For a fixed non-negative integer d, we say that ω satisfies the Laguerre inequality of order d at n if The discrete Laguerre inequalities (1.4) 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.4) by (2d)!.For d = 1, one can easy observe that (1.4) 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: ⩾ 0, and so on.
Wang and Yang [52,53] investigated Lagurre 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.4) 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 C) function is in the LP (Laguerre-Pólya) class if it may be written as where a, b, c, x 1 , x 2 , . . .are all real numbers with a ⩾ 0, k is a non-negative integer and For the background of the theory of the LP functions, we encourage the reader to see [36,43].It turns out that the Riemann hypothesis is equivalent to the statement that the Riemann Ξ-function is in the LP class, where Γ is the gamma function, and ζ denotes the Riemann zeta function.There is a necessary condition for the Riemann Ξ-function to be in the Laguerre-Pólya class which states that the Maclaurin coefficients of the Ξ-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,40,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 Section 4, on the other hand, we deal with the Laguerre inequalities.Finally, Section 5 contains some concluding remarks and open problems.

Preliminaries
At first, we fix some notation.The set of non-negative integers is denoted by N. Further, we put For a finite multiset A = {a 1 , a 2 , . . ., 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.2), where the coefficients b 0 (n), b 1 (n), . . ., b k−1 (n) depend on the residue class of n (mod lcmA).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 [32].We present the theorem due to Almkvist [2].In order to do that, let us define symmetric polynomials σ i (x 1 , x 2 , . . ., x k ) in terms of the power series expansion . Now, we have the following.
Theorem 2.1 (Almkvist).Let A = {a 1 , a 2 , . . ., a k } be fixed and put Essentially, Theorem 2.1 maintains that if gcd B = 1 for every 2) are independent of the residue class of n (mod lcmA), 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.3).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 be a fixed polynomial with real coefficients and denote all its complex roots by α 1 , α 2 , . . ., α s .By P m , we mean the m-th Newton's sum of g(x), which is given by 2, 3, 4, . . . .Further, for the sums P 0 , . . ., P 2s−2 , we associate the Hankel matrix H(g), namely The classical Hermit's 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 , . . ., c 0 , Hermit's result provides a set of inequalities on them by det P 0 ⩾ 0, det P 0 P 1 Now, if we assign the Jensen polynomial J d,n ω (x) for an arbitrary sequence ω = (w i ) ∞ i=1 , then the corresponding inequality for the determinant of the main minor l × l of H(J d,n ω ): is called the order l Turán inequality for the sequence ω.In particular, it means that J d,n ω (x) is hyperbolic if and only if the sequence ω n = (w n+j ) ∞ j=1 satisfies the order l Turán inequality for every l ∈ {1, 2, . . ., 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 [28], which delivers an efficient criterion to deal with that issue.Theorem 2.2 (Griffin, Ono, Rolen, Zagier).Let (ω n ) ∞ n=0 be a sequence of real numbers.Suppose further that (E(n)) ∞ n=0 and (δ(n)) ∞ n=0 are sequences of positive real numbers with lim n→∞ δ(n) = 0, and that F (t) = ∞ i=0 c i t i is a formal power series with complex coefficients.For a fixed d ⩾ 1, suppose that there are sequences Then, we have uniformly for x in any compact subset of R, where the polynomials are defined either by the generating function 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 Hermit 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 ∈ N, l ⩾ r and the coefficients c r (n), c r+1 (n), . . ., c l (n) depend on the residue class of n (mod M ) for some positive integer M ⩾ 2. Therefore, we will probably get another family of orthogonal polynomials in Theorem 2.2.The generalized Laguerre polynomials L (α) n (x) for α > −1 are defined via the following conditions of orthogonality and normalization where Γ denotes the Euler gamma function, δ i,j is the Kronecker delta and n, m = 0, 1, 2, . . . .Moreover, we demand that the coefficient of x n in the polynomial L (α) n (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 α is non-negative, then L (α) n (x) has exactly n positive 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 ω = (ω i ) ∞ i=0 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 Section 4. Now, we are ready to proceed to the main part of the manuscript.

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 ⩽ d ⩽ l.Then, for every 1 ⩽ j ⩽ d the sequence (f (n)) ∞ n=0 satisfies the order j Turán inequality for all but finitely many values of n.
Proof.At first, let us fix 0 ⩽ j ⩽ 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 ω n = f (n), E(n) = 1, and δ(n) = n −1 .Indeed, we get where for every 0 ⩽ s ⩽ d, and we obtain that for each 0 ⩽ m ⩽ d, where L uniformly for x in any compact subset of R for every 1 ⩽ s ⩽ d.However, we know that the property of a polynomial with real coefficients is invariant under small deformation.Thus, the required phenomenon for f (n) follows.□ Proof.That is a direct consequence of both Theorem 2.1 and Theorem 3.1.□ An interesting question arises whether Theorem 3.1 and Theorem 3.2 present also the necessary conditions for order d Turán inequality for both quasi-polynomiallike functions and A-partition functions, respectively.It is true for 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 1.3 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, 1, 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 ω = (ω i ) ∞ i=0 fulfills the fourth Turán inequality if the following n+3 ω n+4 ⩾ 0 is satisfied for every n ∈ N. Therefore, let us put ω n := p A (n) and denote the left hand side of the above inequality by f A (n). Since gcd(300) ̸ = 1, we see that the assumptions from Theorem 3.2 do not hold if d = 4. Notwithstanding, 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 (mod 300).It might be also verified that the leading coefficient of f A (n) attains the smallest value whenever n ̸ ≡ 296 (mod 300) -in all of these cases, we have The above discussion agrees with the plot of f A (n) for 1 ⩽ n ⩽ 10 4 , see Figure 1.Hence, we conclude that Theorem 3.2 is not optimal, as well.
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 ≡ 2 (mod 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, . . ., m}.We want to consider the third order Turán inequality for p A6 (n) and p A7 (n).In order to make the text more transparent, we set g Am (n) := 4 p 2 Am (n) − p Am (n − 1)p Am (n + 1) p 2 Am (n + 1) − p Am (n)p Am (n + 2) − (p Am (n)p Am (n + 1) − p Am (n − 1)p Am (n + 2)) 2 Thus, g Am (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, 14 , whenever n ≡ 2 (mod 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 A6 (n) and g A7 (n), see Figure 2 and Figure 3, respectively.Figure 3.The values of g A7 (n) for 1 ⩽ n ⩽ 10 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 Section 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, [29,Section 5.4]).
Lemma 4.1.Let s ∈ N be fixed.Then for every even integer 0 ⩽ n ⩽ s, we have To present the second one, we need to recall that the Stirling number of the second kind n k 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 m k = 0 whenever 0 ⩽ m < k.The succeeding lemma, together with the general introduction to the Stirling numbers, might be found in [29, Section 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 ⩽ l.Then, for every 0 ⩽ j ⩽ d the sequence (f (n)) ∞ n=0 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.4) with ω 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 γ i0,k0 j k0 n l−i0 from the first square bracket with a summand δ i1,k1 j k1 (n + 2d) l−i1 from the second one (where the coefficients γ i0,k0 and δ i1,k1 are independent of both j and n), we can obtain at most j to the power i 0 + i 1 ⩾ k 0 + k 1 .More precisely, we get an expression of the form 2d j=0 (−1) j+d 2d j γ i0,k0 δ i1,k1 n l−i0 (n + 2d) l−i1 j k0+k1 , (4.1) where 0 ⩽ k 0 + k 1 ⩽ i 0 + i 1 .Therefore if i 0 + i 1 < 2d, then (4.1) might be rewritten as In conclusion, we obtain that which was to be demonstrated.□ As an immediate consequence of Theorem 4.3, we get an analogue characterization to that one from Theorem 3.2.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, 1, 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 with the equality whenever n ̸ ≡ 297 (mod 300), which agrees with Figure 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 ⩾ 2 for quasi-polynomial-like functions.For instance, we may examine the Laguerre inequality of order 2 for both p A8 (n) and p A9 (n).For the sake of clarity, let us put h Am (n) := 3p 2 Am (n + 2) − 4p Am (n + 1)p Am (n + 3) + p Am (n)p Am (n + 4).In other words, h Am (n) corresponds to the second order Laguerre inequality for p Am (n).We see that the assumptions from Theorem 4.4 do not hold for p A8 (n) and d = 2.Moreover, one can determine that whenever n ≡ 0, 2, . . ., 838 (mod 840).In the case of h A9 (n), on the other hand, we get that the equality holds for each positive integer n, which agrees with Theorem 4.4.Figure 5 and Figure 6 exhibit the plots of h A8 (n) and h A9 (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 ⩾ 2.  for k ∈ {2, 3, . . ., r}.We have the following characterization for that issue.
Theorem 5.1 (Gajdzica).Let l and r be arbitrary positive integers such that l ⩾ 2r.
Suppose further that we have where the coefficients a l−2r (n), . . ., a l (n) might depend on the residue class of n (mod M ) for some positive integer M ⩾ 2. Then the sequence (f (n)) ∞ n=0 is asymptotically r-log-concave if and only if all the numbers a l−2r (n), . . ., a l (n) are independent of the residue class of n (mod 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 ⩽ d ⩽ 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 f (n) = c l n l + c l−1 n l−1 + c l−2 n l−2 + c l−3 (n)n l−3 + o(n l−3 ), where l ⩾ 3 and c l−3 (n) depends on the residue class of n (mod M ) for some M ⩾ 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 (mod 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 ⩾ 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, . . ., m} in Problem 5.2, then it is known [26] that the second order Turán inequality for p Am (n) begins to hold for m = 5.In that case we have that p 2 A5 (n) ⩾ p A5 (n − 1)p A5 (n + 1) for all n > 37.
One can extend the above and deal with the problem for the A (l) m -partition function, where A (l) m = {1 l , 2 l , . . ., m l } and m ∈ N + ∪ {∞}.The case of m = ∞ and l = 1 has been investigated by Griffin et al. [28] and Larson and Wagner [35].For more information about the general setting (when m = ∞), 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.
(l−m) m (x) is the generalized Laguerre polynomial.Since l − m ⩾ 0, the polynomials L (l−m) m (x) have only positive real roots (see, the antepenultimate paragraph of Section 2).Finally, Theorem 2.2 asserts that

Theorem 2 . 1 and
Theorem 3.1 deliver 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 ⩽ d < k be fixed.Suppose further that gcd B = 1 for every (k − d)multisubset B ⊂ A. Then, for any 1 ⩽ j ⩽ d the sequence (p A (n)) ∞ n=0 fulfills the order j Turán inequality for all sufficiently large values of n.

Example 3 . 5 .
At the end of this section, let us exhibit two other examples.Sometimes we can not conclude the appropriate order d Turán inequality if the requirements from Theorem 3.1 or Theorem 3.2 are not satisfied.Let us consider a quasi-polynomial-like function of the form

(− 1 )
2d−j 2d j j k0+k1 = 0, 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

Theorem 4 . 4 .
Let A be a finite multiset (or set) of positive integers with #A = k, and let 1 ⩽ 2d < k be fixed.Suppose further that gcd B = 1 for every (k − 2d)multisubset B ⊂ A. Then, for each 1 ⩽ j ⩽ d the sequence (p A (n)) ∞ n=0 satisfies the Laguerre inequality of order j for all but finitely many values of n.Proof.The criterion easily follows from both Theorem 2.1 and Theorem 4.3.□ Analogously to Section 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 ⩾ 2. Example 4.5.Let us assume that f (n) is a quasi-polynomial-like function of the form f (n) = n 10 + n 9 + n 8 + n 7 + (n (mod 5)) • n 6 + o(n 6 ).

Example 4 . 7 .
Let us consider the A m -partition function defined in Example 3.6.

Problem 5 . 4 .Problem 5 . 5 .Problem 5 . 6 .
Let d ⩾ 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 Problem 5.2 and Problem 5.4 in the context of Laguerre inequalities for quasi-polynomial-like functions.Fix a set (or multiset) A of positive integers and investigate the Laguerre inequalities for the A-partition function.Let d ⩾ 2 be arbitrary.Derive a more efficient criterion than Theorem 4.3 (or Theorem 4.4) for the dth Laguerre inequality for quasi-polynomiallike functions.Alternatively, do that for small values of the parameter d.