Abstract
In 2016 Bessenrodt–Ono discovered an inequality addressing additive and multiplicative properties of the partition function. Generalizations by several authors have been given; on partitions with rank in a given residue class by Hou–Jagadeesan and Males, on k-regular partitions by Beckwith–Bessenrodt, on k-colored partitions by Chern–Fu–Tang, and Heim–Neuhauser on their polynomization, and Dawsey–Masri on the Andrews spt-function. The proofs depend on non-trivial asymptotic formulas related to the circle method on one side, or a sophisticated combinatorial proof invented by Alanazi–Gagola–Munagi. We offer in this paper a new proof of the Bessenrodt–Ono inequality, which is built on a well-known recursion formula for partition numbers. We extend the proof to the result by Chern–Fu–Tang and its polynomization. Finally, we also obtain a new result.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
Bessenrodt and Ono [3] discovered an interesting inequality for partition numbers p(n). Their discovery nudged further research and new results in several directions.
A partition \(\lambda \) of n is any non-increasing sequence \(\lambda _1, \ldots , \lambda _d\) of positive integers whose sum is n. The number of partitions of n is denoted by p(n). Table 1 records the first 10 values and the special case \(p\left( 0\right) =1\).
A partition is called a k-colored partition of n if each part can appear in k colors.
Theorem 1.1
([3]) Let a and b be positive integers. Let \(a,b \ge 2\) and \(a+b \ge 10\). Then
The proof depends on results by Rademacher [23] and Lehmer [17] on the size of the partition numbers, built on the circle method by Hardy and Ramanujan. The partition numbers are considered as the coefficients of a weakly modular form, the reciprocal of the Dedekind \(\eta \)-function [22]. The modularity condition is very strong, and it would be desirable to also have other proofs.
Alanazi et al. [1] came up with an impressive and subtle combinatorial proof. Chern et al. [6] generalized Bessenrodt and Ono’s theorem to k-colored partitions.
Theorem 1.2
([6]) Let a, b, k be natural numbers. Let \(p_{-k}(n)\) denote the number of k-colored partitions of n. Let \(k>1\). Then
except for \((a,b,k) \in \left\{ (1,1,2), (1,2,2), (2,1,2), (1,3,2), (3,1,2), (1,1,3)\right\} \).
Two proofs are given. One depends on the Bessenrodt–Ono inequality and some new ideas, the second is combinatorial and motived by the work of Alanazi et al. [1].
Bessenrodt–Ono type inequalities appeared also in works by Beckwith and Bessenrodt [2] on k-regular partitions and Hou and Jagadeesan [15] on the numbers of partitions with ranks in a given residue class modulo 3. Males [18] obtained results for general t and Dawsey and Masri [7] obtained new results for the Andrews spt-function. The authors of this paper generalized the Chern–Fu–Tang Theorem to D’Arcais polynomials, also known as Nekrasov–Okounkov polynomials [6, 10, 11, 14, 19, 20]. Let
with \(\sigma (k) := \sum _{d \mid k} d\) and the initial condition \( P_{0}\left( x\right) =1\). Then \(p_{-k}(n)= P_n(k)\) and \(p(n)=p_{-1}(n)= P_n(1)\).
Theorem 1.3
([11]) Let \(a,b \in \mathbb {N}\), \(a+b>2\), and \(x >2\). Then
The case \(x=2\) is true for \(a+b>4\).
The proof is based on the result for 2-colored partitions [6], Lehmer’s [17] lower and upper bound on the partition numbers, and a detailed analysis of the growth of the derivative of \(P_{a,b}(x)\).
These results are related to the work by Griffin et al. [9] on Jensen polynomials and their hyperbolicity. This includes work by Nicolas [21] and DeSalvo and Pak [8] on the log-concavity of the partition function p(n) for \(n >25\), and results and a conjecture by Chen et al. [5] for the higher order Turán inequalities. Related to their work on the Bessenrodt–Ono inequality, Chern et al. came up with a subtle and explicit conjecture on k-colored partitions. The positivity of the discriminant in the case of degree 2 is equal to the log-concavity of the considered sequences coded in the Jensen polynomials.
Conjecture 1
([6]) Let \(n > m \ge 1\) and \(k \ge 2\). Then, except for \((k,n,m) = (2,6,4)\),
The conjecture was extended to D’Arcais polynomials.
Conjecture 2
([11]) Let \(a > b \ge 0\) be integers. Then for all \(x \ge 2\):
except for \(b=0\) and \((a,b) = (6,4)\). The inequality (1.1) is still true for \(x \ge 3\) for \(b=0\) and for \(x \ge x_{6,4}\) for \((a,b)=(6,4)\). Here \(x_{a,b}\) is the largest real root of \(\Delta _{a,b}(x)\).
Based on a recently obtained exact formula of Rademacher type (based on the circle method) for \(P_{n}(x)\) with \(x>0\) and \(n > \frac{x}{24}\) obtained by Iskander et al. [16], new strong estimates on the Bessel function, the determination of the main term of \(P_{a,b}(x)\), and some sophisticated computer calculation, Bringmann et al. [4] were able to prove the conjecture by Chern et al. They essentially proved the conjecture for \(x=2,3,4\) and applied a result by Hoggar on the convolution of log-concave sequences. They further proved that the conjecture by Heim and Neuhauser is true ([4, Corollary 1.3]) for all pairs (a, b), where
The crux of these methods is that one needs for the general case Rademacher type formulas, and has to check the conjecture for each x for finitely many cases. In the discrete case for the Bessenrodt–Ono inequality there is a combinatorial proof available, this was also requested in [4], see concluding remarks (5), for the Chern–Fu–Tang conjecture.
In this paper we offer a new proof for the Bessenrodt–Ono inequality for partition numbers. Ingredients are the well-known recurrence property:
and an elementary upper bound of \(\sigma (n)\) and lower bound of p(n). The proof also perfectly fits to the Bessenrodt–Ono inequality for k-colored partitions \(p_{-k}(n)\) and D’Arcais polynomials \(P_{n}\left( x \right) \). With slight modification and including some extra considerations, we obtain new proofs of Theorem 1.2 by Chern–Fu–Tang and Theorem 1.3. Finally, we obtain the following Theorem, to give evidence that the proof method offered in this paper also gives an extension of Theorem 1.3.
Theorem 1.4
Let \(a,b \in \mathbb {N}\), \(a+b> 4\), and \(x > 1.8\). Then
It is hoped that the results of this paper lead to a new proof of the former Conjecture 1 by Chern–Fu–Tang [4] and to a proof of Conjecture 2.
2 New proof of the Bessenrodt–Ono inequality
We estimate the divisor sum function \(\sigma (n)\) and the partition numbers p(n) with the following upper and lower bounds:
The upper bound for \(\sigma (n)\) follows easily by integral comparison. We have a strict upper bound for \(n>1\). There are exactly \(\left( {\begin{array}{c}n-1\\ k-1\end{array}}\right) \) ways to represent n as a sum of exactly k positive integers. Thus, we have at most k! compositions representing the same partition. For a generalization we refer to Sect. 3 and the relation to associated Laguerre polynomials.
Proof
Let \(A:=2\) and \(B:=10\). Let \(n \ge B\). We say the statement S(n) is true if for all partitions \(n=a +b\) with \(a,b \ge A\):
By symmetry the claim can be reduced to all pairs (a, b) with \(A \le b \le a\). We assume that \(n>N_0>1\) and S(m) are true for all \( B \le m \le n-1\). For \( B \le \ell \le N_0\) we show \(S(\ell )\) by a direct computer calculation with PARI/GP.
Note, it is sufficient to prove S(n) for fixed \(A \le b \le a\) with \(a+b=n\). We have introduced the constants A, B and \(N_0\) to make the generalization of the given proof in our applications transparent. It will turn out that we can choose \(N_{0}=2184\).
We utilize the recurrence (1.2) and obtain for \(p_{a,b}\left( n \right) =L+R\) the expressions:
We show that \(p_{a,b}\left( n \right) >0\). Further, we will refine the right sum R into
2.1 Left sum L
We have
2.2 Right sum R
The dominant term is related to \(k=1\) appearing in the right sum R. Note that the induction hypothesis cannot be applied in general to all terms. Therefore, we decompose the right sum R into three parts. Let
Thus, \(k_0= a-\max \left\{ B -b-1, A-1 \right\} = a-\max \left\{ 9-b, 1 \right\} \) for \(A=2\) and \(B=10\). Let
2.2.1 The sum \(R_{1}\)
The first sum related to \(k=1\) is simplified by the induction hypothesis:
Thus, we obtain the lower bound:
2.2.2 The sum \(R_{2}\)
The second sum, using again the induction hypothesis, can be estimated from below with 0. This will be sufficient for our purpose: \(R_2 > 0\).
2.2.3 The sum \(R_{3}\)
We split the third sum again into three parts: \(R_3= R_{ 31}+R_{ 32}+R_{ 33}\), where
We first use that \(p\left( 9-b\right) p\left( b\right) \ge p\left( 9\right) \). This leads to at most 5 summands. The next estimation in (2.6) follows from \(p(a-k) \ge p(2)\). For the second estimation we use that
We also refer to (2.1). The estimation in (2.7) follows from the obvious inequality \(\frac{1}{a+b} < \frac{1}{a}\) and \( p(b+1) < 2 \, p(b)\). Thus,
Since \(b\ge 2\), \(90 \le \frac{45}{2 }\, b \, p\left( b\right) \), \(\frac{1}{a+b}\ge \frac{1}{2a}\), and \(a-1< a< a+b\) we obtain
2.3 Final step
Putting everything together leads to
In the last step we used the property (2.2). For \(a\rightarrow \infty \) we can immediately observe that this is positive since the sum is a polynomial of degree 4 in a which grows faster than \(48a^{2}\left( 1+\ln \left( 2a\right) \right) \). In fact the expression (2.8) is positive for all \( a \ge 1093 \). Note that if \(a<1093\) then \(a+b\le 2a\le 2184=N_{0}\). Therefore, we have shown that \(p_{a,b}\left( n \right) >0\), which proves the theorem. \(\square \)
3 Applications
We extend the proof method presented in Sect. 2 to prove the Bessenrodt–Ono inequality for k-colored partitions and its extension to D’Arcais polynomials. Let \(k \in \mathbb {N}\). Then \(P_n(k)\) is equal to the k-colored partition number and \(p(n)= P_n(1)\). We define
Before we start, we fix the following lower bound for the D’Arcais polynomials \(P_n(x)\). Let x and \(\alpha \) be real numbers with \(x \ge 0\) and \(\alpha >-1\). Let \(L_{n}^{\left( \alpha \right) }\left( x\right) \) be the \(\alpha \)-associated Laguerre polynomial. Then \(P_n(x) \ge \frac{x}{n} L_{n-1}^{(1)}(-x)\). We refer to [13]. This implies
3.1 Bessenrodt–Ono for \(x>3\) and arbitrary a and b
We first prove that \(P_{a,b}(x)>0\) for \(x>3\) is true for all a and \(b \in \mathbb {N}\). Since there are no restrictions on a and b, the proof will be straightforward.
Proposition 3.1
Let a and b be positive integers with \(a,b \ge 1\) and x a real number with \( x >3\). Then \(P_{a,b}(x)>0\).
Proof
We follow the proof by induction of the Bessenrodt–Ono inequality presented in Sect. 2. Let \(n \ge 2\). The statement \(S\left( n\right) \) is true if for all partitions \(n=a +b\) with \(a,b \ge 1\) holds \(P_{a,b}(x) >0\) for \(x >3\). Let \(1\le b \le a\). Let \(n >N_0\) and S(m) be true for all \( 2 \le m \le n-1\). We show that it is sufficient to put \(N_{0}= 16 \). Note that S(n) is true for all \(2 \le a+b \le N_{0}\) (see Table 3). Let \(P_{a,b}(x) = L + R\) with L and R defined as in (2.3) and (2.4), where we have to replace p(n) by \(P_n(x)\).
3.1.1 Left sum L
The left sum satisfies
3.1.2 Right sum R
We take care about the dominating term for \(k=1\). Similar to (2.5) with
we study \(R=R_1+R_2+R_3\). By the induction hypothesis we get \(R_2 >0\). And since we have no extra condition on a and b we also get \(R_3 \ge 0\). Thus, only \(R_1\) attached to \(k=1\) contributes and leads to
3.1.3 Final step
Putting everything together leads to
In the last step we used the property (3.1) and that \(x>3\). We obtain that the expression (3.3) is positive for all \( a \ge 12 \). Now we can check that (3.2) is positive already for \(a\in \left\{ 9,10,11\right\} \). Since the leading coefficient \(\frac{1}{a!b!}-\frac{1}{\left( a+b\right) !}\) of \(P_{a,b}\left( x\right) \) is positive, we only have to check the largest real zero of all remaining \(P_{a,b}\left( x\right) \). This was done for \(2 \le b+ a\le N_{0} =16 \) with PARI/GP (Table 3). Note that in the case of \(P_{1,1}\left( x\right) =\left( x-3\right) \frac{x}{2}\) the largest real zero is exactly 3. \(\square \)
3.2 2-colored partitions
Chern–Fu–Tang ([6], Theorem 1.2) proved the following result.
Theorem 3.2
Let a and b be positive integers with \(a,b \ge 1\) and \(n=a+b \ge 5\). Then \(P_{a,b}(2)>0\).
Proof
We have \(A=1\), \(B=5\), and \(k_0= a - \max \left\{ 5-b,1\right\} +1 \). Let \(n\ge 5\) and S(n) be the statement: \(P_{a,b}\left( 2 \right) >0\) for all \(a,b \ge 1\) with \(n=a+b\). A numerical calculation with PARI/GP shows that S(m) is true for all \(5 \le m \le N_0= 54 \). We prove S(n) by induction on n. Let \(n=a +b >N_{0}\) and \(1 \le b \le a\). Let \(P_{a,b}(2)= L +R\). Then
Further,
We have \(R_2 \ge 0\) by the induction hypothesis and \(R_3 \ge 0\) for \(b >3\). Moreover
From the induction hypothesis and Table 2 we see that this is non-negative for \(a-k\ge 2\) or \(b\ge 2\). For \(a-k=1=b\) we obtain \(\left( P_{1}\left( 2\right) \right) ^{2}-P_{2 }\left( 2\right) =-1\). This leads to
In the last step we used the property (3.1). For \(a\rightarrow \infty \) we can immediately observe that this is positive since the sum is a polynomial of degree 5 in a, which grows faster than \(a^{2}\left( 1+\ln \left( 2a\right) \right) \). In fact, the expression (3.4) is positive for all \( a \ge 28 \). For the remaining \(5\le a+b\le 54\) we have checked with PARI/GP that \(P_{a,b}\left( 2\right) >0\). \(\square \)
3.3 Proof of Theorem 1.4
Let \(n \ge 5 \). The statement \(S\left( n\right) \) is true if for all partitions \(n=a +b\) with \(a,b \ge 1\) holds \(P_{a,b}(x) >0\) for \(x >1.8\). Let \(1\le b \le a\). Let \(n >N_{0}\) and S(m) be true for all \( 5 \le m \le n-1\). We show that it is sufficient to put \(N_{0}=36 \). Note that S(n) is true for all \(1 \le a+b \le 36 \) (compare Table 3). Let \(P_{a,b}(x) = L + R\) with L and R defined as in (2.3) and (2.4), where we have to replace p(n) by \(P_n(x)\).
3.3.1 Left sum L
The left sum satisfies
3.3.2 Right sum R
We study \(R=R_1+R_2+R_3\). By the induction hypothesis we get \(R_2 >0\). \(R_1\) associated to \(k=1\) leads to
We find that \(R_{32}=0\) and \(R_{33}\ge 0\). For \(b\ge 4\) we can apply the induction hypothesis and obtain \(R_{31}>0\). In case \(1\le b\le 3\) we find from Table 3 that \(P_{a-k,b}\left( 1.8\right) >0\) for \((a-k,b)\notin \{(1,1),(1,2),(1,3),(2,1),(3,1)\}.\)
It can be checked that the polynomials \(P_{1,1}(x)=\frac{1}{2}x^2-\frac{3}{2}x\), \(P_{2,1}\left( x\right) =\frac{1}{3}x^3 - \frac{4}{3}x\) and \(P_{3,1}\left( x\right) =\frac{1}{8}x^4 + \frac{3}{4}x^3 - \frac{9}{8}x^2 - \frac{7}{4}x\) are monotonically increasing for \(x\ge 1.8\). Thus,
3.3.3 Final step
Putting everything together leads to
In the last step we used the property (3.1) and that \(x > 1.8\). We obtain that the expression (3.6) is positive for all \( a \ge 30 \). Now we can check that (3.5) is already positive for \(a\in \left\{ 19,20,\ldots ,29\right\} \). 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) \). This was done for \(1\le b+ a\le 36 \) with PARI/GP (compare Table 3).
References
Alanazi, A.A., Gagola, S.M., III., Munagi, A.O.: Combinatorial proof of a partition inequality of Bessenrodt–Ono. Ann. Comb. 21(3), 331–337 (2017)
Beckwith, O., Bessenrodt, C.: Multiplicative properties of the number of \(k\)-regular partitions. Ann. Comb. 20(2), 231–250 (2016)
Bessenrodt, C., Ono, K.: Maximal multiplicative properties of partitions. Ann. Comb. 20(1), 59–64 (2016)
Bringmann, K., Kane, B., Rolen, L., Tripp, Z.: Fractional partitions and conjectures of Chern–Fu–Tang and Heim–Neuhauser. Trans. Am. Math. Soc. Ser. B 8(21), 615–634 (2021)
Chen, W., Jia, D., Wang, L.: Higher order Turán inequalities for the partition function. Trans. Am. Math. Soc. 372, 2143–2165 (2019)
Chern, S., Fu, S., Tang, D.: Some inequalities for \(k\)-colored partition functions. Ramanujan J. 46, 713–725 (2018)
Dawsey, M.L., Masri, R.: Effective bounds for the Andrews spt-function. Forum Math. 31(3), 743–767 (2019)
DeSalvo, S., Pak, I.: Log-concavity of the partition function. Ramanujan J. 38, 61–73 (2015)
Griffin, M., Ono, K., Rolen, L., Zagier, D.: Jensen polynomials for the Riemann zeta function and other sequences. Proc. Natl. Acad. Sci. USA 116(23), 11103–11110 (2019)
Han, G.: The Nekrasov–Okounkov hook length formula: refinement, elementary proof and applications. Ann. Inst. Fourier (Grenoble) 60(1), 1–29 (2010)
Heim, B., Neuhauser, M.: The Dedekind eta function and D’Arcais-type polynomials. Res. Math. Sci. 7, 3 (2020)
Heim, B., Neuhauser, M.: Polynomization of the Chern–Fu–Tang conjecture. Res. Numb. Theory 7, 26 (2021)
Heim, B., Luca, F., Neuhauser, M.: Recurrence relations for polynomials obtained by arithmetic functions. Int. J. Numb. Theory 15(6), 1291–1303 (2019)
Heim, B., Neuhauser, M., Tröger, R.: Polynomization of the Bessenrodt–Ono inequality. Ann. Comb. 24(4), 697–709 (2020)
Hou, E., Jagadeesan, M.: Dyson’s partition ranks and their multiplicative extension. Ramanujan J. 45(3), 817–839 (2018)
Iskander, J., Jain, V., Talvola, V.: Exact formulae for the fractional partition functions. Res. Numb. Theory 6(3), 1–17 (2020)
Lehmer, D.H.: On the remainders and convergence of the series for the partition functions. Trans. Am. Math. Soc. 46, 362–373 (1939)
Males, J.: Asymptotic equidistribution and convexity for partition ranks. Ramanujan J. 54(2), 397–413 (2021)
Nekrasov, N., Okounkov, A.: 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., vol. 244, Birkhäuser Boston, pp. 525–596 (2006)
Newman, M.: An identity for the coefficients of certain modular forms. J. Lond. Math. Soc. 30, 488–493 (1955)
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)
Ono, K.: The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and q-series. CBMS Regional Conference Series in Mathematics, vol. 102. American Mathematical Society, Providence (2004)
Rademacher, H.: A convergent series for the partition function \(p(n)\). Proc. Natl. Acad. Sci. USA 23, 78–84 (1937)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
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
Heim, B., Neuhauser, M. Proof of the Bessenrodt–Ono Inequality by Induction. Res. number theory 8, 3 (2022). https://doi.org/10.1007/s40993-021-00301-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-021-00301-w