Abstract
Inequalities are important features in the context of sequences of numbers and polynomials. The Bessenrodt–Ono inequality for partition numbers and Nekrasov–Okounkov polynomials has only recently been discovered. In this paper we study the log-concavity (Turán inequality) and Bessenrodt–Ono inequality for plane partitions and their polynomization.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
In this paper we address inequalities for plane partitions and their polynomization. Plane partitions are, according to Stanley, fascinating generalizations of partitions of integers [33, Section 7.20]. Andrews [2] gave an excellent introduction of plane partitions in the context of higher-dimensional partitions. We also refer to Krattenthaler’s survey on plane partitions in the work of Stanley and his school [21].
A plane partition \(\pi \) of n is an array \(\pi = \left( \pi _{ij} \right) _{i,j \ge 1}\) of non-negative integers \(\pi _{ij}\) with finite sum \(\vert \pi \vert := \sum _{i,j \ge 1} \pi _{ij}=n\), which is weakly decreasing in rows and columns. It can be considered as the filling of a Ferrers diagram with weakly decreasing rows and columns, where the sum of all these numbers is equal to n. Let the numbers in the filling represent the heights for stacks of blocks placed on each cell of the diagram (Fig. 1). This is a natural generalization of the concept of classical partitions [2, 30].
Let p(n) denote the number of partitions of n and \(\mathrm{pp}(n)\) the number of plane partitions of n. As usual, \({p}\left( 0\right) :=1\) and \(\mathrm{pp} \left( 0 \right) : =1\). In Table 1 we have listed the first values of the partition and plane partition function.
We investigate the log-concavity [6, 32] and the Bessenrodt–Ono inequality [5, 19] of plane partitions. A sequence of real, non-negative numbers \(\{\alpha (n)\}_{n=0}^{\infty }\) is log-concave if for all \(n \in {\mathbb {N}}\):
We say log-concave at n if (1.1) is satisfied for a specific n. A sequence of real non-negative numbers \(\{\alpha (n)\}_{n=0}^{\infty }\) satisfies the Bessenrodt–Ono inequality for a set \(S \subset {\mathbb {N}} \times {\mathbb {N}}\), if for all \((a,b) \in S\):
1.1 Related Work and Recent Results
We recall that Nicolas [29] proved that the partition function is log-concave for \(n > 25\):
It is valid for all n even and fails for \( 1 \le n \le 25\) odd. In the course of proving several conjectures of Chen and Sun, DeSalvo and Pak [11] reproved this result. They remarked that due to the Hardy–Ramanujan asymptotic formula
there is no way of knowing precisely when the asymptotic formula dominates the calculation. Their proof is based on Rademacher type estimates [31] by Lehmer (e. g. [22, 23]), which provide the demanded, explicit, guaranteed error estimate. This proves the log-concavity for \(n \ge 2,600\) [11]. More generally, let \(p_k(n)\) be the k-colored partition function, obtained for every \(k \in {\mathbb {N}}\) by the generating function
which is essentially the kth power of the reciprocal of the Dedekind eta function [30]. Then (1.3) was extended by Chern–Fu–Tang [9] to an interesting conjecture: Suppose \(k,\ell ,n \in {\mathbb {N}}\) with \(k \ge 2\) and \(n >\ell \). Let \(\left( k,n,\ell \right) \ne (2,6,4)\). Then
The conjecture was extended to \(k \in {\mathbb {R}}_{\ge 2}\) [17], which involves the so-called D’Arcais polynomials or Nekrasov–Okounkov polynomials [13, 28]. The Conjecture by Chern–Fu–Tang and some portion of the Conjecture by Heim–Neuhauser was recently proven by Bringmann, Kane, Rolen, and Tripp [7]. The proof is based on Rademacher type formulas for the coefficients of powers of the Dedekind eta function, utilizing the weak modularity property.
Bessenrodt and Ono [5] discovered a beautiful and simple inequality for partition numbers. Let \(a,b \in {\mathbb {N}}\). Suppose \(a,b \ge 2\) and \(a+b \ge 10\), then
The inequality is symmetric and always fails for \(a=1\) or \(b=1\). Let \(2 \le b \le a\). There is equality for the pairs (4, 3), (6, 2), (7, 2) and the opposite inequality of (1.4) is exactly true for the pairs (2, 2), (3, 2), (4, 2), (5, 2), (3, 3), (5, 3). Bessenrodt and Ono’s proof is based on an analytic result of Lehmer [23] of Rademacher type, similar to the proof of the log-concavity of p(n) [11, 29]. Shortly after the result was published, Alanazi, Gangola III, and Munagi [1] came up with a subtle combinatorial proof. Chern, Fu, and Tang [9] generalized and proved the Bessenrodt–Ono inequality to k-colored partitions. In [19] this was extended to k real, again involving polynomials. The proof was given by induction and involving derivatives. Further, the work of Bessenrodt and Ono triggered the results of Beckwith and Bessenrodt [3] on k-regular partitions, Hou and Jagadeesan [20] on the numbers of partitions with ranks in a given residue class modulo 3 and Males [27] for general t, and Heim and Neuhauser [16], and Dawsey and Masri [10] for the Andrews spt-function.
We performed several numerical experiments and are convinced that some of the recorded results can be transferred to plane partitions \(\mathrm{pp}(n)\) and its generalization. MacMahon [24,25,26] proved the following non-trivial result, which took him several years. The generating function of the plane partition is given by
Since this generating function is not related to a weakly modular form, in contrast to the partition numbers, we have only an asymptotic formula provided by Wright [34] based on the circle and saddle point method for plane partition numbers. Wright proved the following asymptotic behavior as n approaches infinity:
Here \(\exp \left( z\right) = \mathrm {e}^z\) and \(\zeta (s)\) denotes the Riemann zeta function. Thus, we are in a similar situation as described before by DeSalvo and Pak [11] for partition numbers.
Recently, we invented a new proof method [18] and reproved some known results related to the Bessenrodt–Ono inequality for the partition function, the k-colored partitions and extension to the D’Arcais polynomials.
1.2 Main Results: Plane Partitions
We first start with the Bessenrodt–Ono inequality (1.2).
Theorem 1.1
(Bessenrodt–Ono inequality) Let a and b be positive integers. Let \(a,b \ge 2\) and \(a+b \ge 12\). Then
Equality is never satisfied.
Due to symmetry, let us assume that \(2 \le b \le a\). Then \(\mathrm{pp}(a) \, \mathrm{pp}(b) < \mathrm{pp}(a+b)\) for \((a,b) \in \left\{ \left( a,2\right) \, : \, 2 \le a \le 9\right\} \, \cup \left\{ \left( a,3\right) \, : \, 2 \le a \le 5\right\} \). Note that \(\mathrm{pp}(n) < \mathrm{pp}(n+1)\), similar to \(p(n) < p(n+1)\). We remark for \(1 \le n \le 3\) the property
and for all other n the opposite. Based on our investigations we state the following:
Conjecture 1
Let \(n \ge 12\). Then the sequence \(\{\mathrm{pp}(n)\}_n\) of plane partitions is log-concave:
We can show with Wright’s formula (1.6), that (1.7) is true for large n, and it seems that this is already true for all n even and for all \(n \ge 12\).
Theorem 1.2
(Log-Concavity) Let \(12 \le n \le 10^{5}\). Then Conjecture 1 is true. It is further true for all n even and false for all odd n below 12. Furthermore there is an N such that it is true for all \(n>N\).
It would be very interesting to determine such an N of reasonable size and to finally prove the conjecture.
1.3 Main Results: Polynomization
It is possible to consider \(\{\mathrm{pp}(n)\}_n\) as special values of a family of polynomials \(\{P_n(x)\}_n\). We will have \(\mathrm{pp}(n) = P_n(1)\). This makes it possible to generalize the Bessenrodt–Ono inequality and the log-concavity. We view the inequalities as a property of the largest positive real zeros of new polynomials associated with \(\{P_n(x)\}_n\).
Definition
Let \(\sigma _2(n):= \sum _{d \mid n} d^2\). Let \(P_0(x):=1\) and
We have listed the first polynomials in Table 2.
Let \(q,z \in {\mathbb {C}}\) and \(\vert q \vert <1\). It is a standard procedure to show that
Note that the second equality follows as
Deriving the last expression in (1.9) shows that the coefficients of its power series exactly fulfill (1.8). Thus,
applying MacMahon’s discovery (1.5). Let k be a positive integer. We would like to call \(P_n(k)\) the k-colored plane partitions (compare [4]), but at the moment there is no combinatorial interpretation available, as in the case of partitions [7, 19]. The topic is quite complicated, since MacMahon’s result is already non-trivial and \(\mathrm{pp}(n)\) can also be identified with the number of all partitions of \(n=n_{1}+n_{2}+\cdots \), where each part \(n_j\) is allowed to have \(n_j\) colors.
1.3.1 Bessenrodt–Ono Inequalities
Theorem 1.3
Let \(x \in {\mathbb {R}}\) and \(x>5\). Then
for all positive integers a and b.
It is also possible to get results for \(x=1,2,3,4,5\). This leads to restrictions on a and b, reflected in Table 3, where we have recorded the largest real zero of
Thus, studying the polynomials \(P_n(x)\) and \(P_{a,b}(x)\) and their leading coefficients and zeros, provides the big picture and reveals information on the original task, studying properties of plane partitions \(\mathrm{pp}(n)= P_n(1)\). Note that \(P_{a,b}(x)\) goes to infinity for \(a,b\ge 1\), as x goes to infinity.
Theorem 1.4
Let \(x \in {\mathbb {R}}\) and \(x\ge 2\). Then
for all positive integers a and b satisfying \(a + b \ge 12\).
It would be interesting to search for a combinatorial proof for the plane partition numbers (Theorem 1.1) and their generalization to k-colored plane partitions (Theorems 1.3 and 1.4).
1.3.2 Log-Concavity
In the spirit of the Chern–Fu–Tang Conjecture [9] on k-colored partitions and their polynomization [17] (see also [7]), we consider the polynomials
Note that \(\Delta _{a+1,a-1}(x)= P_a(x)^2 - P_{a-1}(x) \, P_{a+1}(x)\). Then \(\Delta _{a+1, a-1}(1)>0\) is the log-concavity condition for \(\mathrm{pp}(a)\).
This leads to the following conjecture on the log-concavity of the polynomials \(P_n(x)\). For orthogonal polynomials, such kinds of inequalities are called Turán inequalities.
Conjecture 2
(Turán inequality) Let a be an integer with \(a \ge 12\) and let x be a real number with \(x\ge 1\). Then
This is a natural extension of Conjecture 1 on the log-concavity of plane partitions.
It would also be interesting to study the hyperbolicity of the associated Jensen polynomials [12] and higher Turán inequalities [8]. Let \(\alpha (m):=\mathrm{pp}(m)\) or more generally, \(\alpha (m):=P_m(x)\), \(x \in {\mathbb {R}}_{>0}\). The Jensen polynomial of degree d and shift n attached to the sequence \(\{\alpha (0), \alpha (1), \alpha (2), \ldots \}\) of non-negative real numbers is the polynomial
It follows from the zero distribution of the polynomial \(\Delta _{a+1,a-1}(x):= P_a(x)^2 - P_{a-1}(x) \, P_{a+1}(x)\) (see Fig. 2) that Conjecture 2 is true for \(12 \le a \le 100\), since the polynomial goes to infinity, as x goes to infinity. Let a be even and \(2 \le a \le 1000\), then the Turán inequality in Conjecture 2 is already valid for \(x >0\). Actually, in this case all coefficients of \(\Delta _{a+1,a-1}(x)\) are non-negative.
The generalization of the former Chern–Fu–Tang conjecture of k-colored partitions and its polynomization [17] leads to:
Conjecture 3
Let a and b be integers. Suppose \( a-1 > b \ge 0\) and \((a,b) \not \in \{(4,2), (6,4)\}\). Then for all real numbers \(x \ge 2\):
We refer to Table 8, where we recorded the largest real zero for \(\Delta _{a,b}\) for all pairs (a, b) with \(a-1 > b \ge 0\) and \(2 \le a \le 19\), which shows that the Conjecture 3 is valid for all admissible pairs (a, b) in this range.
2 Basic Properties of \(\sigma _2(n)\) and \(P_n(x)\)
For proof of Theorems 1.1 and 1.3 we need some elementary properties of \(\sigma _2(n)\) and \(P_n(x)\). As a further evidence that Conjecture 2 most likely holds true for even arguments n, we prove that \(\sigma _2(n)/n\) is log-concave for n even. Note that this is false for \(\frac{1}{n}\sum _{d \vert n} d\), where n is even (which is related to the Chern–Fu–Tang conjecture for k-colored partitions).
Proposition 2.1
Let n be an even, positive integer. Then
Proof
For n odd we estimate
Note that the first inequality follows by just taking all odd integers t instead of only divisors of n and the second one as \(\pi ^{2}<10\).
Now, let \(n\ge 6\) be even. Then \(\sigma _{2}\left( n\right) \ge n^{2}+\left( \frac{n}{2}\right) ^{2}+4 +1=\frac{5}{4}\left( n^{2} +4 \right) \). Therefore,
The inequality holds also for even \(n\le 4\) (Table 4). \(\square \)
Note, that \(\sigma _2(n) < {\tilde{\sigma }}_2(n) := 2 \, n^{2} \) for all \(n \in {\mathbb {N}}\). This follows from
The functions \(P_n(x)\) are polynomials of degree n. This can be deduced directly from the recurrence formula (1.8). We have \(P_n(x) = \frac{1}{n!} \, \sum _{m=1}^n A_{n,m} \, x^{m} \), where \(A_{n,m} \in {\mathbb {N}}\) for \(n \ge 1\). We later use the fact that \(A_{n, 1}= n! \, \frac{\sigma _2(n)}{n}\). Further, we have the following properties.
Proposition 2.2
Let n, m be natural numbers and \(x\ge 1\) real. Then
Proof
The formula for the derivative \(P_n'(x)\) is given similarly as that obtained for the polynomials associated with \(\sigma (n)= \sum _{d \mid n} d\) [15].
We prove (2.2) by induction. Let \(\Delta _{n}\left( x\right) :=P_{n}\left( x\right) -P_{n-1}\left( x\right) \). Let \(n=1\). Then we have \(\Delta _{1}\left( x\right) =x-1> 0\) for all \(x> 1\). Suppose \(\Delta _m(x)>0\) for all \(1 \le m \le n \). We obtain for \(P_{n+1}'(x)\) the strict lower bound
Thus, \(P_{n+1}'(x) > P_{n}'(x)\). The plane partition function is strictly increasing:
for all \(n \in {\mathbb {N}}\), since every plane partition of n can be lifted to a plane partition of \(n+1\). This provides
Now \(P_{n+1}\left( x\right) >P_{n}\left( x\right) \) for \(x=1\) and since we have shown that \(P_{n+1}^{\prime }\left( x\right) >P_{n}^{\prime }\left( x\right) \) it also holds for \(x>1\). Thus, the claim is proven.
The lower bound given in (2.3) is obtained in the following way. We have \(n^2 < \sigma _2(n)\) for \(n >1\) and \(\sigma _2(1)=1\). Thus, the coefficients of the polynomial \(S_n(x)\), defined by \(S_0(x):=1\) and \(S_n(x)= \frac{x}{n} \sum _{k=1}^n k^2 \, S_{n-k}(x)\), are smaller than the coefficients of \(P_n(x)\) for \(n >1\). The mth coefficient is given by \( \frac{1}{ m !} \left( {\begin{array}{c}n+ m -1\\ 2 m -1\end{array}}\right) \). This can be deduced from [14, Section 4]. Comparing the size of the coefficients and the assumption that \(x \ge 1\) proves the claim (2.3). \(\square \)
Corollary 2.3
Let \(n \in {\mathbb {N}}\) and \(x \ge 1\). Then \(\Delta _n'(x) >0\).
3 Proof Strategy for the Bessenrodt–Ono Inequality for Plane Partitions
In this section we lay out a general strategy for proving Bessenrodt–Ono type inequalities. This also makes the appearance of exceptions transparent.
3.1 Input Data and Proof by Induction
Let \(A,B,N_0 \in {\mathbb {N}}\) be given with \(2 \le B <N_0\) and \(x_0 \in {\mathbb {R}}_{\ge 1}\). Let \(n \ge B\). Let \(\mathrm {S}(n)\) be the following mathematical statement for one of the three cases: \(x \in {\mathbb {R}}\) with \(x=x_0\), \(x > x_0\), or \(x \ge x_0\). For all \(A \le b \le a\) with \(a+b =n\) and all x with fixed case, we have
Note that \(P_{a,b}(x_0)= P_{b,a}(x_0)\) and that \(\lim _{x \rightarrow \infty } P_{a,b}(x) = + \infty \).
Given input data \(A,B,x_0\) by induction we prove \(\mathrm {S}(n)\) for one of the given cases. We choose \(N_0\) and prove first manually or by numerical calculation (utilizing PARI/GP) that \(\mathrm {S}\left( \ell \right) \) is true for all \(B \le \ell \le N_0\). In the case of \(x \ge x_0\) or \(x >x_{0}\) we study the real zeros of the polynomial \(P_{a,b}(x)\) for all \(A \le b \le a\) with \(a+b=\ell \). Let \(n \ge N_0\). Then we prove \(\mathrm {S}(n)\) by assuming that \(\mathrm {S}(m)\) is true for all \(B \le m \le n-1\), the induction hypothesis.
3.2 Basic Decomposition
Let \(A,B \in {\mathbb {N}}\) be given with \(B \ge 2\). Further, let \(a,b \in {\mathbb {N}}\) satisfy \(A \le b \le a\) and \(a+b \ge B\). We define
We consider the decomposition \(P_{a,b}(x) = L_{a,b}(x) + R_{a,b}(x)\), where
Utilizing (2.2) leads immediately to
Further, let \(R=R_1+ R_2 + R_3\), where
Suppose \(P_{a+b-k}(x) < P_{a-k} (x) \, P_b(x)\) for \(1 \le k \le k_0-1\), then
Further, we put \(R_3 = R_{31} + R_{32} + R_{33}\), where
Then \(R_{33} >0\) and \(R_{32}=0\) if \(A=1\). Moreover, let \(B-b \le A\), then \(R_{31}=0\). Thus, \(R_3\) can only have a negative contribution to R if \(A \ge 2\) (by \(R_{32}\)) and if \(B-b>A\) (by \(R_{31}\)). Note that \(n^{2}\le \sigma _2(n) < {\tilde{\sigma }}_2(n) := 2 \, n^2\). We obtain by straight-forward estimations the following.
Lemma 3.1
Let \(B-b > A\). Then
If we know that some \(P_{k}\left( x\right) P_{b}\left( x\right) -P_{b+k}\left( x\right) \) is negative we can use the estimate
4 Proof of Theorems 1.3 and 1.4
Proof of Theorem 1.3
Let \(x >5\). We prove that \(P_{a,b}(x)>0\) for all \(a,b \ge 1\). Due to symmetry, we can assume \(b \le a\). We follow the strategy presented in Sect. 3. Let \(A=1\) and \(B=2\). Let \(x_0 = 5\) and \(x > x_0\). These refer to Sect. 3.1. Note that \(x=x_0\) does not work, since \(P_{1,1}(5)=0\). Let \(N_0 = 12 \). Then the mathematical statement \(\mathrm {S}(n)\) is true for all \(A \le a,b \le N_0\) (see Table 3). Let \(n > N_0\), we assume that \(\mathrm {S}(m)\) is true for all \( B \le m \le n-1\). Let \(a+b =n\) with \(A \le b \le a\). Then \(P_{a,b}(x) > L + R_1\). Note that \(R_2, R_3 \ge 0\). With (2.2) we have
Final step. Putting things together and estimating \(P_{a-1}(x)\) from below by (2.3), we obtain
The expression in brackets on the right hand side of (4.1) is polynomial in a of degree 9 with a positive leading coefficient. Calculating the largest real zero \(\approx 6.95\) with PARI/GP shows that the right hand side is positive for \(a \ge 7\). \(\square \)
Proof of Theorem 1.4
Let \(x\ge 2\). We put \(A=1\) and \(B=12\). Let \(N_{0}=58\). These refer again to Sect. 3.1. Then by induction, as before, we obtain
where for \(b\ge 12\) we can apply the induction hypothesis and obtain \(R_{31}>0\). In case \(1\le b\le 11\) we find from Table 3 that \(P_{a-k,b}\left( 2\right) >0\) for \(b=1\) and \(a-k\notin \left\{ 1,2,\ldots ,11\right\} \) or \(k=a-1\) and \(b\notin \left\{ 1,2,\ldots ,11\right\} \). Therefore,
It can be checked that the polynomials \(P_{k,1}\left( x\right) \), \(1\le k\le 10\), are monotonically increasing for \(x\ge 2\). Indeed, the leading coefficient of \(P_{k,1}\left( x\right) \) is \(\frac{1}{\left( k-1\right) !}\) and we have computed the largest real zero of \(P_{k,1}^{\prime }\left( x\right) \) with PARI/GP which are all less than 2 for \(2\le k\le 10\) and \(P_{1,1}\left( x\right) >-4=P_{1,1}\left( 2\right) -1\). Thus,
Final step: Putting everything together leads to
In the last step we used the property (2.3) and that \(x \ge 2 \). We obtain that the expression (4.2) is positive for all \( a \ge 27 \). Since the leading coefficient of \(P_{a,b}\left( x\right) \) is positive we only have to determine the largest real zero of all remaining \(P_{a,b}\left( x\right) \). We checked this for \(12\le b+ a\le 52 \) with PARI/GP (compare Table 3). \(\square \)
5 Proof of the Bessenrodt–Ono Inequality: Theorem 1.1
We start with the following auxiliary result.
Lemma 5.1
We have \(\mathrm{pp}(2) = 3 \, \mathrm{pp}(1)\). Further, for \(n \ne 1\) we have
Proof
The proof is by mathematical induction. We checked with PARI/GP that (5.1) holds for \(n\le N_{0}=24 \). For the induction step we only use (1.10), (2.3), and the induction hypothesis.
Therefore, let \(n>N_{0}\). Then
We now apply the induction hypothesis \(\mathrm{pp}\left( n-k+1\right) <3\mathrm{pp}\left( n-k\right) \) for each \(1\le k\le n\). Note that in these cases \(0\le n-k\le n-1<n\). Since \(\frac{1}{n}>\frac{1}{n+1}\) we drop all terms with \(2\le k\le n\) and only keep that with \(k=1\). Therefore, we obtain
where we have used (2.3) with \(x=1\) and \(m=3\). The last inequality follows as the last expression if multiplied with \(\left( n+1\right) n\) is a polynomial of degree 5 with leading coefficient \(\frac{1}{240}>0\) and the largest real zero computed with PARI/GP is \(<25\). \(\square \)
Remarks
It would be good to have a combinatorial proof of Lemma 5.1.
Proof of Theorem 1.1
The proof is again by induction. We follow the proof strategy stated in Sect. 3. See also Sect. 4.
Let \(A=2\), \(B=12\) and \(x=x_{0}=1\) referring to Sect. 3.1. Then \(k_{0}=a-\max \left\{ B-b,A\right\} +1=a-\max \left\{ 11-b,1\right\} \). Furthermore, \(L>-4a b\mathrm{pp}\left( b\right) \), \(R_{1}>\frac{b}{2a^{2}}\mathrm{pp}\left( a-1\right) \mathrm{pp}\left( b\right) \), and \(R_{2}>0\). For \(R_{33}\) we obtain the lower bound 0 and for \(R_{32}\) we obtain
Finally,
(Table 6). Therefore, note \(R_{3}>-4a\mathrm{pp}\left( b\right) -212 a> - 38ab\mathrm{pp}\left( b\right) \). Putting everything together leads to
using (2.3). This is positive for \(a\ge 237 \). We have checked with PARI/GP that \(\mathrm{pp}\left( a\right) \mathrm{pp}\left( b\right) -\mathrm{pp}\left( a+b\right) >0\) for \(B\le a+b\le N_{0}=472 \). \(\square \)
6 Proof of Theorem 1.2
Lemma 6.1
Let \(s\in {\mathbb {R}}\). There are \(C_{0},N>0\) such that
for \(n>N\) with \(\left| E_{n}\right| <C_{0}\).
Proof
We have
with \(\left| D_{1,n}\right| , \left| D_{2,n}\right| , \left| E_{n}\right| <C_{0}\) for some \(C_{0},N >0\) and all \(n>N \). \(\square \)
Corollary 6.2
Let \(C_{1 }>0\). There is \(N>0\) such that
for all \(n>N\).
Proof
For example for the lower bound we obtain from (6.1)
for some \(C_{0} >0\) and all \(n>N\) for some N. Therefore,
\(\square \)
Theorem 6.3
Let \(C_{1},C_{2},C_{3}>0\), \( r, \gamma _{1}, \gamma _{2}\in {\mathbb {R}} \), \(\beta \left( n\right) =C_{2 }n^{r}\mathrm {e}^{C_{1 }n^{2/3}}\), and
for \(n>N_{0}\) for some \(N_{0}\). There is an \(N\ge N_{0}\) such that \(\left( \alpha \left( n\right) \right) _{n\ge N_{0} }\) is log-concave for \(n>N \).
Proof
Let \(f_{\pm }\left( n\right) = \gamma _{1}n^{-2/3}+ \gamma _{2}n^{-4/3}\pm C_{3}n^{-2}\). Then there is an \(N_{1}\ge N_{0}\) such that
for all \(n>N_{1}\). Therefore,
Now
With (6.1) we obtain
with \(\left| E_{n}\right| <C_{4}\) for some \(C_{4} ,C_{5}>0\), and
with \(\left| U_{n}\right| <C_{ 7 }\) for some \(C_{ 6},C_{7 }>0\), and \(u\le -2/3 \). Therefore,
for some \(C_{8}> C_{5}\) which implies with (6.2)
for some \(C_{9}>0 \). This is positive for \(n>N\) and N sufficiently large. \(\square \)
Proof of Theorem 1.2
Wright’s formula ([34], Formula (2.21)) tells us that there are \(C_{1},C_{2},C_{3}>0\), \(r=-25/36\), and \(\gamma _{1}, \gamma _{2}\in {\mathbb {R}}\) such that
with \(\left| G _{n}\right| <C_{3}\) for all \(n>N_{0}\), \(N_{0}\) sufficiently large. \(\square \)
7 Conjecture 2 and Conjecture 3
In this section we provide evidence for the Conjectures by information on the zeros of the underlying polynomials. Here we also use the crucial property that the leading coefficient of these polynomials always has positive sign.
7.1 Conjecture 2
Figure 2 indicates that it is most likely that if one considers the sequence of real parts of the zero of \(\{\Delta _{a+1,a-1}(x)\}\) with the largest real part, that these numbers tend in the limit to zero. Another aspect is given by coefficients of these polynomials (Table 7).
We observe that for a odd there are coefficients, which are negative. In the case a even, as already mentioned in the introduction, we have calculated the polynomials for \(2 \le a \le 1000\) and observed that the coefficients are all non-negative. Let
then we deduce from Proposition 2.1 that \(B_{2a,2}>0\).
7.2 Conjecture 3
Theorem 1.4 implies that \(\Delta _{a,0}(x)= P_{a-1}(x) \, P_1(x) - P_a(x) >0\) for \(a \ge 12\) and \(x \ge 2\). Since \(\Delta _{a,0}(x)> 0\) also for \(3 \le a \le 11\) (Table 8), we obtain:
Corollary 7.1
Let \(x \ge 2\). Then Conjecture 3 is valid for all \(a \ge 3\) and \(b=0\).
Next, we prove Conjecture 3 for \(x \ge 1\) and all pairs (a, 1) with \(a \ge 3\). We refer also to Fig. 3 for the pairs (a, b) with \(2\le b \le 4\). Note, for (a, 1) and \(3 \le a \le 100\), there are no zeros with a positive real part.
Proposition 7.2
Let \(x \ge 1\) and \(a \ge 3\). Then \(\Delta _{a,1}(x)>0\).
Proof
We deduce from Table 8 that \(\Delta _{a,1}(x)>0\) for \(x >0\) and \(a\le 20\). Moreover, \(\Delta _{a,1}(1) = 3 \, \mathrm{pp}(a-1)-\mathrm{pp}(a) >0\) for \( a \ge 3\). This follows from Lemma 5.1. Let \(\Delta _{a,1}(x) = x \, F_a(x)\). We prove that \(F_a(x)>0\) for \(x \ge 1\) and \(a\ge 3\) by induction on a. Let \(a \ge 6\) and \(F_m(x) > 0\) for \(3 \le m < a\) and \(x \ge 1\). We show that \(F_a'(x)>0\), which completes the proof, since \(F_a(1)> 1\), for \( a \ge 3 \). Recall Formula (2.1). Then the derivative \(F_a'(x)\) is equal to
By the induction hypothesis we obtain
This leads to
Moreover, we have
since \(a^2< \sigma _2(a) < 2 \, a^2\). We observe that \(P_{a}(x)- \frac{\sigma _2(a)}{a}\, x\) has non-negative coefficients. Finally, this implies that \(F_a'(x)>0\) for all \(x>1\). Thus, \(F_a(x)>0\) since \(F_a(1)>0\). \(\square \)
Corollary 7.3
Let \(x \ge 1\) and \(a \ge 3\). Then \(\Delta _{a,1}'(x)>0\).
Remarks
-
(a)
The real part of the zeros of \(\Delta _{a,1}(x)/ \, x \) is negative for \(3 \le a \le 100\).
-
(b)
The method of the proof is similar to the one outlined in [17].
Data Statement
Data will be made available on a reasonable request.
References
A. A. Alanazi, S. M. Gagola III, A. O. Munagi: Combinatorial proof of a partition inequality of Bessenrodt–Ono. Ann. Comb. 21 (2017), 331–337.
G. E. Andrews: The Theory of Partitions. Cambridge University Press, Cambridge (1998).
O. Beckwith, C. Bessenrodt: Multiplicative properties of the number of k-regular partitions. Ann. Comb. 20 No. 2 (2016), 231–250.
F. Benini, G. Bonelli, M. Poggi, A. Tanzini: Elliptic non-Abelian Donaldson-Thomas invariants of\(\mathbb{C}^3\). J. High Energ. Phys. 2019 No. 7 (2019), 68.
C. Bessenrodt, K. Ono: Maximal multiplicative properties of partitions. Ann. Comb. 20 No. 1 (2016), 59–64.
F. Brenti: Unimodal, Log-concave and Pólya Frequency Sequences in Combinatorics. Mem. Am. Math. Soc. 413 (1989).
K. Bringmann, B. Kane, L. Rolen, Z. Tripp: Fractional partitions and conjectures of Chern–Fu–Tang and Heim–Neuhauser. Trans. Am. Math. Soc. Ser. B 8 No. 21 (2021), 615–634.
W. Chen, D. Jia, L. Wang: Higher order Turán inequalities for the partition function. Trans. Am. Math. Soc. 372 (2019), 2143–2165.
S. Chern, S. Fu, D. Tang: Some inequalities for k-colored partition functions. Ramanujan J. 46 (2018), 713–725.
M. L. Dawsey, R. Masri: Effective bounds for the Andrews spt-function. Forum Math. 31 No. 3 (2019), 743–767.
S. DeSalvo, I. Pak: Log-concavity of the partition function. Ramanujan J. 38 (2015), 61–73.
M. Griffin, K. Ono, L. Rolen, D. Zagier: Jensen polynomials for the Riemann zeta function and other sequences. Proc. Natl. Acad. Sci. USA 116 No. 23 (2019), 11103–11110.
G. Han: The Nekrasov–Okounkov hook length formula: refinement, elementary proof and applications. Ann. Inst. Fourier (Grenoble) 60 No. 1 (2010), 1–29.
B. Heim, F. Luca, M. Neuhauser: Recurrence relations for polynomials obtained by arithmetic functions. International Journal of Number Theory 15 No. 6 (2019), 1291–1303.
B. Heim, M. Neuhauser: Polynomials related to powers of the Dedekind eta function. Integers 18 Paper No. A97 (2018).
B. Heim, M. Neuhauser: Variants of a partition inequality of Bessenrodt–Ono. Res. Numb. Theory 5 No. 4 (2019), 32.
B. Heim, M. Neuhauser: Polynomization of the Chern–Fu–Tang conjecture. Res. Numb. Theory 7 No. 2 (2021), 26.
B. Heim, M. Neuhauser: Proof of the Bessenrodt–Ono inequality by induction. Res. Numb. Theory 8 No. 1 (2022), 3.
B. Heim, M. Neuhauser, R. Tröger: Polynomization of the Bessenrodt–Ono inequality. Ann. Comb. 24 (2020), 697–709.
E. Hou, M. Jagadeesan: Dyson’s partition ranks and their multiplicative extension. Ramanujan J. 45 No. 3 (2018), 817–839.
C. Krattenthaler: Plane partitions in the work of Richard Stanley and his school. In: P. Hersh, T. Lam, P. Pylyavskyy, V. Reiner (eds.) The mathematical legacy of Richard Stanley. Amer. Math. Soc. R. I. (2016), 246–277.
D. H. Lehmer: On the series for the partition function. Trans. Am. Math. Soc. 43 (1938), 271–295.
D. H. Lehmer: On the remainders and convergence of the series for the partition functions. Trans. Am. Math. Soc. 46 (1939), 362–373.
P. A. MacMahon: Memoir on the theory of the partition of numbers, I. Lond. Phil. Trans. (A) 187 (1897), 619–673.
P. A. MacMahon: Partitions of numbers whose graphs possess symmetry. Trans. Cambridge Philos. Soc. 17 (1899), 149–170.
P. A. MacMahon: Combinatory Analysis. Vol. 2 Cambridge University Press, 1916; reprinted by Chelsea, New York (1960).
J. Males: Asymptotic equidistribution and convexity for partition ranks. Ramanujan J. 54 No. 2 (2021), 397–413.
N. Nekrasov, A. Okounkov: Seiberg–Witten theory and random partitions. In: P. Etingof, V. Retakh, I. M. Singer (eds.) The unity of mathematics. In honor of the ninetieth birthday of I. M. Gelfand. Papers from the conference held in Cambridge, MA, USA, August 31–September 4, 2003. Progr. Math. 244, Birkhäuser Boston (2006), 525–596.
J.-L. Nicolas: Sur les entiers N pour lesquels il y a beaucoup des groupes abéliens d’ordre N. Ann. Inst. Fourier 28 No. 4 (1978), 1–16.
K. Ono: The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and q-series. CBMS Regional Conference Series in Mathematics 102, American Mathematical Society, Providence, RI (2004).
H. Rademacher: A convergent series for the partition function p(n). Proc. Natl. Acad. Sci. USA 23 (1937), 78–84.
R. Stanley: Log-concave and unimodal sequences in algebra, combinatorics, and geometry. In: M. F. Capobianco, M. G. Guan, D. F. Hsu, F. Tian (eds.) Graph theory and its applications: East and West. Proceedings of the first China–USA international conference, held in Jinan, China, June 9–20, 1986. Ann. New York Acad. Sci. 576, New York Acad. Sci., New York, (1989) 500–535.
R. Stanley: Enumerative Combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62 Cambridge University Press, Cambridge. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin (1999).
E. M. Wright: Asymptotic partition formulae I. Plane partitions. Quart. J. Math. Oxford Ser. (2) 2 (1931), 177–189.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Communicated by Sylvie Corteel.
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
Heim, B., Neuhauser, M. & Tröger, R. Inequalities for Plane Partitions. Ann. Comb. 27, 87–108 (2023). https://doi.org/10.1007/s00026-022-00604-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00026-022-00604-4