Abstract
Let p(n) denote the number of partitions of n. A new infinite family of inequalities for p(n) is presented. This generalizes a result by William Chen et al. From this infinite family, another infinite family of inequalities for \(\log p(n)\) is derived. As an application of the latter family one, for instance obtains that for \(n\ge 120\),
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We denote by p(n) the number of partitions of n. The first 50 values of p(n) starting from \(n=0\) read as follows:
A well-known asymptotic formula for p(n) was found by Hardy and Srinivasa Ramanujan [9] in 1918 and independently by James Victor Uspensky in 1920 [15]:
An elementary proof of (1.1) was given by Paul Erdős [7] in 1942. At MICA 2016 (Milestones in Computer Algebra) held in Waterloo in July 2016, Zhenbing Zeng et al. [14] reported that using numerical analysis they found a better asymptotic formulaFootnote 1 for p(n) by searching for constants \(C_{i,j}\) to fit the following formula:
By substituting for \(n=2^{10},2^{11}, \ldots , 2^{20}\) into (1.2) they obtained,
The OEIS [12] for A000041 shows that a similarly refined asymptotic formula for p(n) was discovered by Jon E. Schoenfield in 2014, this reads
where the coefficients are approximately
Later Vaclav Kotesovec according to OEIS [12] for A000041 got the precise value of \(c_0, c_1,\ldots , c_4\) as follows:
To the best of our knowledge, the details of the methods of Schoenfield and Kotesovec have not yet been published.
In this article, using symbolic-numeric computation, we present our method to derive (1.2) together with a closed form formula for the \(C_{i,j}\) in (1.2). Namely we show that
where the \(g_u\) are as in Definition 5.1. By \(\sim \) in the above expression we mean that for each \(N\ge 1\)
In particular \(C_{i,j}=0\), if \(j\ne 0\), and \(C_{i,0}=g_i\), otherwise. This result is obtained as a consequence of an infinite family of inequalities for \(\log p(n)\), Theorem 6.6 (main theorem). We also apply our method to conjecture an analogous formula to (1.2) for a(n), the cubic partitions of n, with a(n) given by
In the OEIS, this sequence is registered as A002513. The first 50 values of a(n), \(n\ge 0\), are
This sequence appears in a letter from Richard Guy to Morris Newman [8]. In [4], William Chen and Bernard Lin proved that the sequence a(n) satisfies several congruence properties. For example, \(a(3n+2)\equiv 0\pmod {3}\), \(a(25n+22) \equiv 0\pmod {5}\). An asymptotic formula for a(n) was obtained by Kotesovec [10] in 2015 as follows:
In [16] the fourth author investigated the combinatorial properties of the sequence a(n) by using Maple.
We summarize some of our main results:
Theorem 1.1
For the usual partition function p(n) we have
The proof of this theorem will be given in Sect. 6.
Conjecture 1.2
For the cubic partitions a(n) we have
Theorem 1.3
For the partition numbers p(n) we have the inequalities
The proof of this is given in Sect. 3.
This paper is organized as follows. In Sect. 2 we present the methods used in the mathematical experiments that led us Theorem 1.1 and Conjecture 1.2. In Sect. 3 we prove Theorem 1.3 by adapting methods used by Chen et al. to fit our purpose. In Sect. 4 we generalize an inequality by Chen et al. by extending it to an infinite family of inequalities for p(n). In Sect. 5 we introduce preparatory results required to prove Theorem 6.6. In Sect. 6 we prove our main result, Theorem 6.6, by using the main result from Sect. 4, Theorem 4.4. This gives an infinite family of inequalities for \(\log p(n)\). Finally in Sect. 7 we give an application of the results in Sect. 5 which extends DeSalvo’s and Pak’s log concavity theorem for p(n). In Sect. 1 (the Appendix) we give additional information on the method used to discover the asymptotic formulas. We remark explicitly that to finalize the proof of Theorem 6.6, we use the Cylindrical Algebraic Decomposition in Mathematica; the details of this are also put to Sect. 1.
2 Mathematical experiments for better asymptotics for a(n) and p(n)
Before proving our theorems, in this section we briefly describe the experimental mathematics which led us to their discovery. Our strategy is as follows. If we have sufficiently many instances of a given sequence, how can we find an asymptotic formula for this sequence? Take the cubic partitions a(n) and the partition numbers p(n) as examples.
We have
A plot of the two curves through the points (n, a(n)), resp. (n, p(n)), for \(n\in \{1,\ldots ,1000\}\) is shown in the Fig. 1a and b. According to the Hardy–Ramanujan Theorem 1.1 and the asymptotic formula of Kotesovec (1.5), the curves are increasing with “sub-exponential” speeds. Thus, we may plot two curves using data points \((n, \log a(n))\) and \((n, \log p(n))\) as shown in Fig. 1c. One observes that the new curves look like parabolas \(y=\sqrt{x}\). This is also very natural in view of
So if we modify further with \((\sqrt{n},\log a(n))\) and \((\sqrt{n},\log p(n))\) to plot the curves, we get two almost-straight lines as shown in the Fig. 1d.
This provides the starting point for finding the improved asymptotic formulas (1.6) for p(n) and (1.7) for a(n) from their data sets. We restrict our description to the latter case. Motivated by (2.1), we compute the differences of \(\log a(n)\) with the estimation values \(a_e(n):= \frac{e^{\pi \sqrt{n}}}{ 8n^{5 / 4}}\):
Then we can plot curves from the data points \((n,\Delta (n))\) in Fig. 2a and b, and \((n, n\cdot \Delta (n))\) and \((n, \sqrt{n}\cdot \Delta (n))\) in Fig. 2c and d, in order to confirm the next dominant term approximately. We can see in Fig. 2d that after multiplying \(\Delta (n)\) by \(\sqrt{n}\) the curve is almost constant, confirming that the next term is \(\frac{C}{\sqrt{n}}\). Also multiplying \(\Delta (n)\) by n, in Fig. 2c we see that the behavior is like \(\sqrt{n}\) as expected. By using least square regression on the original data set (n, a(n)) for \(1\le n\le 10000\), we aimed at finding the best constant C that minimizesFootnote 2
where we fixed \(\alpha =\pi , \beta =5/4, \gamma =8\) according to (1.5). As a result, we obtained that \(C\approx 0.7925\).
In the Appendix, Sect. 1, we explain that the constants \(\alpha , \beta , \gamma \) can also be found via regression analysis with Maple instead of getting them from (1.5) directly.
3 Proof of Theorem 1.3
We separate the proof into two lemmas. The first lemma is the upper bound for p(n) and second lemma is the lower bound. In order to prove these lemmas we will state several facts which are routine to prove.
Lemma 3.1
For all \(n\ge 1\), we have
Proof
By [1, (2.7)–(2.8)] and with \(A_k(n)\) and R(n, N)Footnote 3 as defined there, we have,
where
We will exploit the case \(N=2\) together with \(A_{1}(n)=1\) and \(A_{2}(n)=(-1)^{n}\) for any positive integer n. For \(N\ge 1\), Lehmer [11, (4.14), p. 294] gave the following error bound:
and for \(N=2\) (cf. [1, (2.9)-(2.10)]):
where
We first estimate the absolute value of \(T_1(n)\); for convenience we denote subexpressions by \(a_1\), \(b_1\), \(c_1\), and \(d_1\):
The following facts are easily verified.
Fact A
For all \(n \ge 1\), \(a_{1} < e^{-\frac{\mu (n)}{2}}\).
Fact B
For all \(n \ge 1\), \(b_{1} < e^{-\frac{\mu (n)}{2}}\).
Fact C
For all \(n \ge 1\), \(c_{1} < e^{-\frac{\mu (n)}{2}}\).
Now,
Fact D
For all \(n \ge 7\), \(d^{*}_{1} < e^{-\frac{\mu (n)}{2}}\).
Fact E
For all \(n \ge 35\), \(d^{*}_{2} < e^{-\frac{\mu (n)}{2}}\).
Fact F
\(d_{1} = d^{*}_{1}+ d^{*}_{2}< 2e^{-\frac{\mu (n)}{2}}\) for all \(n \ge 35\).
Now, by Fact A, B, C, and Fact F we conclude that for all \(n \ge 35\),
By (3.3), we have for all \(n \ge 35\) that
Fact G
For all \(n \ge 3\), \(1-\frac{1}{\mu (n)}- 5e^{-\frac{\mu (n)}{2}} > 0\).
Therefore from (3.2), (3.4), and Fact G, we have for all \(n \ge 35\),
Fact H
\(f_1 < 1-\frac{1}{3\sqrt{n}}\) for all \(n \ge 23\).
Fact I
\(e_1 < \frac{1}{4n\sqrt{3}}e^{\pi \sqrt{\frac{2n}{3}}}\) for all \(n \ge 1\).
Therefore by Facts H, I, and (3.5), we have for all \(n \ge 35\),
This completes the proof of the stated upper bound in Lemma 3.1. \(\square \)
Lemma 3.2
For all \(n \ge 1\),
Proof
In the proof of [6, Prop 2.4], it is noted that for all \(n \ge 1\),
where
and R(n) is as in [6, (7)].
From the definition of \(T_2(n)\) one verifies:
Fact J
\(T_2(n) > 0\) for all \(n \ge 1\).
The following bound holds for |R(n)| (see [6, (13)]),
Hence by Fact J,
Plugging the definition of \(T_2(n)\) into (3.7) gives for \(n\ge 2\),
We now bound \(a_2\), \(b_2\), \(c_2\), and \(d_2\):
Fact K
\(a_2> 1 -\frac{2}{5\sqrt{n}} > 0\) for all \(n \ge 1\).
Fact L
\(b_2> 1 - \frac{2}{37\sqrt{n}} > 0\) for all \(n \ge 1\).
Fact M
\(c_2 > - \frac{1}{225\sqrt{n}}\) for all \(n \ge 29\).
Fact N
\(d_2> 1 - \frac{1}{25\sqrt{n}}>0\) for all \(n \ge 631\).
By Facts K, L, and M, we have,
Fact O
\(a_{2}b_{2}+c_{2}> (1 -\frac{2}{5\sqrt{n}})(1 - \frac{2}{37\sqrt{n}})- \frac{1}{225\sqrt{n}} > 0\) for all \(n \ge 1\).
From Facts O and N we have for all \(n \ge 631\),
Fact P
\(I(n)> 1 - \frac{1}{2\sqrt{n}} > 0\), for all \(n \ge 1\).
From all the above facts we can conclude that (3.6) holds for all \(n \ge 631\). Using Mathematica we checked that (3.6) also holds for all \(1 \le n \le 630\). This concludes the proof of Lemma 3.2. \(\square \)
4 A generalization of a result by Chen, Jia, and Wang
In this section, we have again that \(\mu (n)=\frac{\pi }{6}\sqrt{24n-1}\); this should not be confused with the real variable \(\mu \) which we will use below. Eventually, we will set the real variable \(\mu \) equal to \(\mu (n)\). The main goal of this section is to generalize [1, Lem. 2.2] which says that for \(n\ge 1206\), we have
Our improvement is Theorem 4.4 where we replace the 10 in this formula by k and the 1206 by a parametrized bound g(k). In order to achieve this, for a fixed k one needs to find an explicit constant \(\nu (k)\in {\mathbb {R}}\) such that \(\frac{1}{6}e^{\mu /2}>\mu ^k\) for all \(\mu \in {\mathbb {R}}\) with \(\mu >\nu (k)\). One can show that
satisfies \(\frac{1}{6}e^{{\tilde{\nu }}(k)/2}={\tilde{\nu }}(k)^k\). Theorem 4.4 is crucial for proving our main result, Theorem 6.6, presented in the next section. In Lemma 4.1 we find such a constant \(\nu (k)\) for all \(k\ge 7\). In Lemma 4.2 we find a lower bound on \({\tilde{\nu }}(k)\). In this way, we see that what is delivered by Lemma 4.1 is best possible in the sense that our \(\nu (k)\) from Lemma 4.1 and the minimal possible \({\tilde{\nu }}(k)\) satisfies \(|\nu (k)-{\tilde{\nu }}(k)|<\frac{3k\log \log k}{\log k}\) for all \(k\ge 7\).
Lemma 4.1
For \(k\ge 7\) let
then
Moreover, if \(\mu > \nu (k)\) for some \(k\ge 7\), then
Proof
Let \(f(\mu ):=-\log 6+\mu /2-k\log \mu \). By \(f'(\mu )=1/2-k/\mu \), f is increasing for \(\mu >2k\). Hence the fact \(\nu (k)>2k\) gives \(f(\mu ) > f(\nu (k))\), and (4.2) follows from (4.1) which is equivalent to \(f(\nu (k))>0\), \(k\ge 7\). We set
The positivity of \(f(\nu (k))\) is shown as follows:
The last inequality holds for all \(k\ge 18\), because for such k
It is also straight-forward to prove \(\log \log k >6/5\) for all \(k\ge 28\). For the remaining cases \(7\le k\le 27\) the inequality (4.1) is verified by numerical computation, which completes the proof of Lemma 4.1. \(\square \)
Lemma 4.2
For \(k\ge 7\) let
Then we have
Proof
Let f defined as in Lemma 4.1, then the statement is equivalent to proving that
Setting
we observe that
because of \(\log (1+x)>x-x^2/2\) for \(x\in {\mathbb {R}}_{>0}\).
In order to show \(f(\kappa (k))<0\), it would be enough therefore to show that \(2\Bigl ({\tilde{\kappa }}(k)-\frac{\log \log k}{\log k}\Bigr )>{\tilde{\kappa }}^2\) below. We have
which is equivalent to the inequality
Since
it suffices to show
which after division by \((\log \log k)^2\) gives the equivalent inequality
Now note that \(\frac{\log k}{(\log \log k)^2}\) is increasing and the right-hand side of the above inequality is decreasing for \(k\ge \lceil e^{e^2}\rceil =1619\). Evaluating both sides at \(k=e^{e^2}\) gives \(\frac{5}{4}\frac{e^2}{4}>\frac{23}{10}\) for the left, and \(\Bigl (1+\frac{1}{e^2}+\frac{\log 2}{2}+\frac{\log 6}{2e^{e^2}}\Bigr )^2<\frac{22}{10}\) for the right side. This proves the inequality for \(k\ge 1619\). For \(7\le k\le 1618\) the result follows by numerical evaluation. \(\square \)
Definition 4.3
For \(k\ge 2\) define
where \(\nu (k)\) is as in Lemma 4.1.
Theorem 4.4
For all \(k\ge 2\) and \(n> g(k)\) such that \((n,k)\ne (6,2)\) we have
Proof
From [1, p. 8, (2.9)] we find that
where T(n) is defined in [1, (2.10)]. In [1, (2.22)] it is proven that
By Lemma 4.1 we have that \(\mu (n)^k<\frac{1}{6}e^{\frac{\mu (n)}{2}}\) for \(k\ge 7\) and \(\mu (n)>\nu (k)\), which is equivalent to
Since \(\mu (n)=\frac{\pi }{6}\sqrt{24n-1}\), it follows that \(\mu (n)> \nu (k)\) if and only if \(n>g(k)\). Furthermore for \(k\ge 7\), we have \(g(k)>350\), this means that (4.4) is satisfied for \(n>g(k)\).
By (4.4) and (4.5) we obtain that \(|T(n)|<\frac{1}{\mu (n)^k}\) for \(n>g(k)\) which proves that statement for \(k\ge 7\). To prove the statement for \(k\in \{2,\dots ,6\}\) we use the statement for \(k=7\) which says that for all \(n\ge \lceil g(7) \rceil =581\) we have
However,
for \(k\in \{2,\dots ,6\}\) and \(n\ge 581\). To prove (4.6) for \(g(k)<n<581\) it is enough to do a numerical evaluation of (4.6) for these values of n with the exception \(n=6\) when \(k=2\). We did this using computer algebra. Analogously, we see that for \(k\in \{2,\dots ,6\}\) and \(n\ge 581\) we have
In the same way we prove (4.7) for \(g(k)<n<581\). \(\square \)
5 Preparing for the proof of Theorem 6.6
In this section we prepare for the proof of our main theorem, Theorem 6.6, which is presented in Sect. 6. To this end, we need to introduce a variety of lemmas.
Definition 5.1
For \(y\in {\mathbb {R}}\), \(0<y^2<24\), we define
and its sequence of Taylor coefficients by
Definition 5.2
For \(0<y^2<24\) and \(i\in \{-1,1\}\), define
Lemma 5.3
Let g(k) be as in Definition 4.3. Then for all \(k\ge 2\) and \(n>g(k)\) with \((k,n)\ne (2,6)\) we have
Proof
Taking log of both sides of (4.3) gives
where
Now
where
Finally one verifies that \(R_{i,k}(x)=G_{i,k}(1/\sqrt{x})\). \(\square \)
The quantity
will play an important role in this and the next section.
Lemma 5.4
Let \(G(y)=\sum _{u=1}^{\infty }g_uy^u\) be the Taylor series expansion of G(y) as in Definition 5.1. Then
and for \(n\ge 0\),
Proof
By using
together with
we obtain
For \(n\ge 0\),
Inputting this into the package Sigma developed by Carsten Schneider [13], we obtain (5.1) and (5.2). \(\square \)
We need various additional facts about the Taylor coefficients \(g_u\) of G(y).
Lemma 5.5
For \(0\le a<1\),
Proof
First we note that \(\left( {\begin{array}{c}j-1/2\\ j\end{array}}\right) =(-1)^j\left( {\begin{array}{c}-\frac{1}{2}\\ j\end{array}}\right) >0\). Hence
This proves the upper bound. To prove the lower bound note that the first term of the sum is \(\frac{a}{2}\) and the other terms are all positive. \(\square \)
Lemma 5.6
Let \(s_n:=(-1)^n\left( {\begin{array}{c}1/2\\ n+1\end{array}}\right) \). For \(n\ge 0\) we have \(s_n\ge 0\) and \(s_n\) is a decreasing sequence, that is \(s_n>s_{n+1}\) for all \(n\ge 0\).
Lemma 5.7
For \(n\ge 0\) we have
Proof
From Lemmas 5.4, 5.5, and 5.6, we obtain
Again by Lemmas 5.4, 5.5, and 5.6, we have
The last line is because \(\alpha ^n(1+2n)\) is a decreasing sequence of n for \(n\ge 0\). \(\square \)
Lemma 5.8
For \(n\ge 1\) we have
Proof
By Lemma 5.4 the statement follows from
\(\square \)
Lemma 5.9
Define
Then for \(m\ge 0\) and \(0<y\le \epsilon < 2\sqrt{6\alpha }\),
Proof
By Lemma 5.7 we have
and again by Lemma 5.7 we have
\(\square \)
Lemma 5.10
For \(m\ge 1\) and \(0<y\le \epsilon <2\sqrt{6\alpha }\),
Proof
By Lemma 5.8,
Again by Lemma 5.8,
\(\square \)
Definition 5.11
For \(0<y\le \epsilon <1\) define
Lemma 5.12
If \(0<y\le \epsilon <1\), then
Proof
First note that for \(0<y<\sqrt{24}\) the function B(y) is increasing and also that \(\frac{B(y)^{k}}{1-B(y)}\le \frac{B(y)^{k}}{1-B(\epsilon )}\) and \(B(y)<\frac{y}{\frac{\pi }{6}\sqrt{24-\epsilon ^2}}=\epsilon ^{-1}yB(\epsilon )\). Hence
Consequently,
\(\square \)
Lemma 5.13
If \(0<y\le \epsilon <1\), then
Proof
\(\square \)
Lemma 5.14
For all \(k\ge 2\) and \(0<\epsilon \le \frac{1}{\sqrt{7}}\) we have
where \(b_0:=\frac{1}{1-\frac{6}{\sqrt{7}\pi \sqrt{24-\frac{1}{7}}}}\) and again \(B_{\epsilon ,k}\) as in (5.3).
Proof
Define
For all \(k\ge 2\) and \(0<\epsilon \le \frac{1}{\sqrt{7}}\), we have
The following conventions for the letters l and u will be useful: \(l_a\) denotes a lower bound for the quantity a, and \(u_a\) will denote an upper bound for the quantity a. And again we use B(y) as defined in Definition 5.11.
Then
Let us define \(l_B:=0\) and \(u_B:= \frac{u_{\epsilon }}{\frac{\pi }{6}l_s}\). Then
and \(\frac{1}{(\frac{\pi }{6}u_s)^k}<\frac{1}{(\frac{\pi }{6}s)^k}\le \frac{1}{(\frac{\pi }{6}l_s)^k}\). Hence
\(\square \)
Definition 5.15
Define
and for \(k\ge 0\),
Lemma 5.16
Let \(0<\epsilon \le \frac{1}{\sqrt{7}}\) and \(B_{\epsilon ,k}\) be as in (5.3). Then for \(k\ge 2\),
with
and \(b_0\) as in Lemma 5.14.
Proof
We obtain, using Lemma 5.14,
and
\(\square \)
Lemma 5.17
Let \(C_k\) be as in Definition 5.15, then
Proof
We start with the first inequality:
To prove the inequality in the rewritten form, define \(\ell :=\frac{6048}{6012+167\pi ^2}\) and note that \(\ell <1\). Moreover, for \(m\ge 10\),
Define \(f(m):=m\log \ell +\log m\). We have to show \(f(m)<0\) for all \(m\ge 10\). We first show that f(m) is decreasing for \(m\ge 10\). This is equivalent to \(f'(m)=\log \ell +\frac{1}{m}<0\) for \(m\ge 10\). This is equivalent to showing \(\ell e^{1/m}<1\) for \(m\ge 10\).
Now for \(m\ge 10\) we have \(\ell e^{1/m}\le \ell e^{1/10}.\)
By numerics, \(\ell e^{1/10}<1\) and \(f(10)<0\). Since f(m) is decreasing and \(f(m)\le f(10)<0\) for \(m\ge 10\), the first inequality is proven. Now for the second inequality, first note that
Hence we have to show
which is equivalent to
Now analogously to the proof of the first case one observes that g(m) is decreasing for \(m\ge 14\) and that \(g(14)<0\), hence \(g(m)\le g(14)<0\). \(\square \)
6 Proofs of Theorems 6.6 and 1.1
After the preparations made in Sect. 5, in this section we prove our Main Theorem, Theorem 6.6, which implies Theorem 1.1 as a corollary. Again we let
Definition 6.1
Let \(B_{\epsilon ,k}\) be as in Definition 5.11 and \(\mu _1,\mu _2\) as in Lemma 5.9 and \(\nu :=\frac{3\alpha -1}{2}\). Moreover, let \(0<\epsilon \le \frac{1}{\sqrt{7}}\). For \(m,k\ge 1\) we define
Lemma 6.2
Let \(\sum _{n=1}^{\infty }g_ny^n\) as in Definition 5.1 and \(G_{i,k}(y)\) as in Definition 5.2. Moreover let \(0<y\le \epsilon \le \frac{1}{\sqrt{7}}\). Then for \(k\ge 2m\ge 2\), we have
and for \(k\ge 2m-1\ge 1\),
Proof
For \(k\ge 2m\ge 2\), by using the Lemmas 5.9 to 5.12, we obtain
By using the Lemmas 5.9 to 5.10 together with Lemma 5.13 we obtain
The statement for \(A_{-1,k}(2m-1)\) is proven analogously. \(\square \)
Lemma 6.3
We have for \(m\ge 10\) that
and for \(m\ge 14\)
Proof
For \(m\ge 10\) we have
Similarly,
The statements for \(A_{1,k}(2m-1)\) and \(A_{-1,k}(2m-1)\) are proven analogously. \(\square \)
Definition 6.4
For \(n,U\ge 1\) we define
Lemma 6.5
Let g(k) be as in Definition 4.3 and \(P_n(U)\) as in Definition 6.4. If \(m\ge 1\), \(k\ge 2m\) and
then
If \(m\ge 2\), \(k\ge 2m-1\), and \(n>g(k)\), then
Proof
We start with the inequality from Lemma 5.3. Next we use Lemma 6.2 to bound \(G_{1,k}(y)\). Finally we set \(y=\frac{1}{\sqrt{n}}\) and obtain the desired result. \(\square \)
Theorem 6.6
Let \(G(y)=\sum _{n=1}^{\infty }g_ny^n\) be as in Definition 5.1. Let g(k) be as in Definition 4.3 and \(P_n(U)\) as in Definition 6.4. If \(m\ge 1\) and \(n>g(2m)\), then
if \(m\ge 2\) and \(n>g(2m-1)\), then
Proof
We start by setting \(k=2m\) in (6.1) of Lemma 6.5, and \(k=2m-1\) in (6.2). In this inequality we bound \(A_{1,k}(m)\) resp \(A_{-1,k}(m)\) by using Lemma 6.3. This gives (6.4) for all \(m\ge 14\) and \(n>g(2m-1)\), and (6.3) for \(m\ge 10\) and \(n>g(2m)\).
In order to prove (6.3) and (6.4) for the remaining values of m, firstly we will prove that
In particular, if we subtract from the lower bound on \(\log p(n)\) with parameter m in (6.3) the lower bound on \(\log p(n)\) with parameter \(m-1\), we obtain \(f(2m,-4)-g(2m-2,-4)\), where
and
Similarly, if we subtract from the upper bound for \(m \rightarrow m-1\) in (6.3) the upper bound for m, we obtain \(g(2m-2,2)-f(2m,2)\). Hence in order to prove (6.5), it suffices to prove
Analogously, in order to prove that if (6.4) holds for all \(m\ge 3\) and all \(n\ge y\ge 1\), then (6.4) holds for \(m-1\) and all \(n\ge y\), it suffices to prove
For proving (6.6) and (6.7), we shall prove
and
From Lemmas 5.7 and 5.8, we have
with
where \(\mu _1\) and \(\mu _2\) are as in Lemma 5.9 and \(\nu \) as in Definition 6.1. Consequently,
In order to prove (6.8), it is enough to prove
where
Inequality (6.10) is equivalent to
which is implied by
since \(\delta _{w}=\alpha _{w}\), \(x_0<0\) and \(\frac{1}{\sqrt{n}}\ge \frac{1}{n}\) for all \(n\ge 1\). Inequality (6.11) is equivalent to
We checked with Mathematica that \(N_1(w,x_0(w))\le 1\); see the Appendix, Sect. 3.
Similarly to above, for \(y_0>0\) one has,
In order to prove (6.9), it is enough to show
This last inequality can be rewritten as the following equivalent inequality,
which is implied by
since \(y_0>0\) and \(\frac{1}{\sqrt{n}}\ge \frac{1}{n}\). Inequality (6.12) is equivalent to
We checked using Mathematica that \(N_2(w,y_0)\le 1\) for all \(y_0\ge 1\); see the Appendix, Sect. 3.
We have checked with Mathematica that (6.3) holds for \(m\in \{2,\dots ,10\}\) and \(n\in {\mathbb {N}}\) such that
Now (6.3) is true for \(m=10\) and \(n>g(2m)\). Next, assume that (6.3) is true for \(m=N\) with \(2\le N\le 10\) and \(n>g(2N)\). Then, as shown above, (6.3) is true for \(m=N-1\) if \(n>g(2N)\). By (6.13), (6.3) is true for \(m=N-1\) if \(g(2N-2)< n\le g(2N)\). This implies that (6.3) is true for \(m=N-1\) and \(n>g(2N-2)\). Hence the result follows inductively. The proof of (6.4) is done analogously. \(\square \)
Finally, we are put into the position to prove Theorem 1.1.
Proof of Theorem 1.1
We apply (6.3) in Theorem 6.6, with \(m=1\). Then for \(n\ge 1\), we have
Noting that \(\sqrt{6}\Bigl (\frac{\pi }{144}+\frac{1}{2\pi }\Bigr )=0.44\dots \) finishes the proof. \(\square \)
7 An application to Chen–DeSalvo–Pak log concavity result
In 2010 at FPSAC [3], William Chen conjectured that \(\{p(n)\}_{n\ge 26}\) is log-concave and that for \(n\ge 1\),
DeSalvo and Pak [6] proved these two conjectures. Moreover, they refined (7.1) by proposing the following conjecture:
Chen, Wang, and Xie [2] gave an affirmative answer to (7.2). In this section, using Theorem 6.6, we continue this research by obtaining the following inequality:
for a more precise statement see Theorem 7.6. Note that the right inequality is just (7.2), but we give here our proof in order to show that, alternatively, one can obtain this from Theorem 6.6. In order to achieve our goal, we also need to prove the Lemmas 7.3 to 7.5 in this section. These lemmas deal with estimating the tail of an infinite series involving standard binomial coefficients.
Proposition 7.1
For \(s\ge 1\) and \(k\ge 0\) we have
and
Proof
By simplifying quotients formed by taking each expression in \(k+1\) divided by the original expression in k. \(\square \)
Lemma 7.2
For \(k,m\ge 0\) and \(s\ge 1\),
Proof
From
we have \(\frac{s+m+j}{m+j+1}\le s\) for each \(0\le j \le k-1\); this is because
This proves (7.3). \(\square \)
Lemma 7.3
For \(n,s\ge 1\), \(m\ge 0\), and \(n>2s\) let
then
and
Proof
For \(s\ge 1\):
Now we apply Lemma 7.2 to obtain,
where the latter inequality is by \(n>2s\). This proves (7.4). Moreover, the bound we obtained also works for
because this term showed up along the way in the proof of the previous case. Hence applying Proposition 7.1 implies (7.5). \(\square \)
Lemma 7.4
For \(n,s \ge 1\), \(m\ge 0\), and \(n>2s\) let
then
and
Proof
and geometric series summation implies (7.6). The proof of (7.7) is analogous. \(\square \)
Finally, we need another similar lemma which is easy to prove.
Lemma 7.5
For \(m, n, s\ge 1\) and \(n>2s\) let
Then
and
The following theorem was announced in the abstract; its proof is the goal of this section. To arrive at the intermediate inequality (7.13), we need our main result, Theorem 6.6. For the remainder of the proof, one spends some time on simplifying (7.13) in order to arrive at the desired form. In order to do, one needs the Lemmas 7.3 to 7.5 which we have proven above in this section.
Theorem 7.6
For \(n\ge 45\),
and for \(n\ge 120\)
Proof
We set \(m=3\) in the first equation of Theorem 6.6, which gives for all \(n\ge \Bigl \lceil g(6) \Bigr \rceil \) that
using the notation from Definition 6.4. This inequality has the form
By substituting n by \(n+1\) and multiplying by \(-1\) into (7.9) we obtain
and by substituting n by \(n-1\) and multiplying by \(-1\) again into (7.9) gives
Multiplying (7.9) by 2, and by adding (7.10) and (7.11), results in
We define
and for \(t\ge 3\)
where \(g_n\) is as in Definition 5.1. Then from (7.12), by substituting l(n) and u(n) according to their definitions, we obtain
which implies
Finally, we establish bounds for the \(A_t(n)\). For \(t=1\),
Taking \(s=1\) and \(m=5\) in Lemma 7.5 we have
which implies
For \(t=2\), note that
Applying Lemma 7.5, (7.8), with \(s=1\) and \(m=5\) gives
which implies
Next we consider odd indices; i.e., for \(1\le t\le 3\),
where \((a)_k:=a(a-1)\dots (a-k+1)\). Applying Lemma 7.3 with \(s=t\) and \(m=5\) gives
which implies
Finally, we consider even indices; i.e., for \(1\le t\le 2\),
Applying Lemma 7.4 with \(s=t\) and \(m=5\), we obtain
From this,
Now, substituting (7.14) to (7.20) into (7.13) gives,
where
and
By using numerical estimations of the coefficient of \(1/n^{5/2}\) and of the coefficient of \(1/n^3\) in the lower bound, and of the coefficient of \(1/n^{5/2}\) in the upper bound above, we are led to
with
Next we observe that
and
Therefore, for \(n\ge 257\),
Because of \(\log (1+x)<x\) for \(x>0\), we have
and because of \(x-\frac{x^2}{2}<\log (1+x)\) for all \(x>0\), we have
Applying (7.22) and (7.23) to (7.21) gives
which after exponentiation gives the desired result for \(n\ge 257\). To extend the proofs of the statements for \(n\ge 45\), resp. \(n\ge 120\), is done by straight-forward numerics. \(\square \)
Notes
In the literature, the Hardy–Ramanujan–Rademacher is also called an asymptotic formula/approximation. However, it is built by an expression of substantially more complicated type. For example, the log concavity of p(n) follows nontrivially from it, as shown in the work of DeSalvo and Pak [6].
The fourth author of this paper told the result to V. Kotesovec in May 2016 and got a reply in January 2017 that the precise value of C could be Pi/16+15/(8*Pi)=0.7931...
Note that in [1] R(n, N) is denoted by \(R_2(n,N)\).
References
Chen, W.Y.C., Jia, D.X.Q., Wang, L.X.: Higher order Turán inequalities for the partition function. Trans. Am. Math. Soc. 372(3), 2143–2165 (2019)
Chen, W.Y.C., Wang, L.X., Xie, G.Y.B.: Finite differences of the logarithm of the partition function. Math. Comput. 85, 825–847 (2016)
Chen, W.Y.C.: Recent developments on log-concavity and q-log-concavity of combinatorial polynomials. In: 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010). http://www.billchen.org/talks/2010-FPSAC.pdf (2010)
Chen, W.Y.C., Lin, B.L.S.: Congruences for the number of cubic partitions derived from modular forms. https://archive.org/details/arxiv-0910.1263
Collins, G.E.: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. Lecture Notes Comput. Sci. 33, 134–183 (1975)
DeSalvo, S., Pak, I.: Log-concavity of the partition function. Ramanujan J. 38(1), 61–73 (2015)
Erdős, P.: On an elementary proof of some asymptotic formulas in the theory of partitions. Ann. Math. 43(2), 437–450 (1942). https://doi.org/10.2307/1968802
Guy, R.K.: Letter to Morris Newman, Aug 21 1986, concerning A2513. https://oeis.org/A002513/a002513.pdf
Hardy, G.H., Ramanujan, S.: Asymptotic formulae in combinatory analysis. Proc. Lond. Math. Soc. 17, 75–115 (1918)
Kotesovec, V.: A method of finding the asymptotics of \(q\)-series based on the convolution of generating functions. Arxiv: 1509.08708
Lehmer, D.H.: On the remainders and convergence of the series for the partition function. Trans. Am. Math. Soc. 46, 362–373 (1939)
OEIS Foundation Inc.: The On-Line Encyclopedia of Integer Sequences, https://oeis.org (2021)
Schneider, C.: Symbolic summation assists combinatorics. Sem. Lothar. Comb. 56, 1–36 (2007)
Shen, M., Yang, Z., Zeng, Z.: Some applications of sparse interpolation via compressive sensing. MICA2016, Milestones in computer algebra, July 16–18, Waterloo. https://cs.uwaterloo.ca/conferences/mica2016/MICA_abstract.pdf (2016)
Uspensky, J.V.: Les expressions asymntotiques des fonctions numériques, coincidant dans les problémes de dislocation des nombres en composés. Bulletin de l’Académie des Sciences de Russie, VI série 14, 199–218 (1920)
Zeng, W.-H.: Some properties of Morris Newman sequence. Thesis for Bachelor Degree in Mathematics. East China Normal University, Shanghai, China (2016)
Acknowledgements
We are very thankful to the anonymous referee who gave us several valuable suggestions to improve this work.
Funding
Open access funding provided by Austrian Science Fund (FWF).
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.
The work of the first named author was funded by the Austrian Science Fund (FWF): W1214-N15, project DK6; the second and third authors were supported by grant SFB F50-06 of the FWF.
Appendix A
Appendix A
1.1 A. 1 Methods to discover the results
We will describe very briefly the mathematical experiments used in this research. We want to point out that without these experiments, the theoretical results of this paper would never have been found. For this reason we feel that it is important to give at least a brief sketch of what led us to the final formulas and how we were led to conjecture special cases of related asymptotics. The final asymptotic formulas can easily be derived from our main result, Theorem 6.6 presented in Sect. 6.
In Sect. 3 we proved the inequality
which was found by mathematical experiments. Our proof uses methods similar to those used in [6] and [1]. In our attempt to prove the following formula for the asymptotics of \(\log p(n)\),
we first tried to prove the log-version of (7.24). However, we soon realized that this inequality is not sharp enough in order to prove (7.25). We noted that the inequality for p(n) in [1, Lemma 2.2] can be used instead. This formula says that for \(n\ge 1206\),
where \(\mu (n):=\frac{\pi }{6}\sqrt{24n-1}\). We observed that after taking the log of both sides, with some extra work, (7.25) can be proven. When we saw the asymptotics (1.3), discovered by Schoenfield and Kotesovec, we naturally wondered whether these asymptotics can also be proven by taking the \(\log \) of an appropriate inequality. We observed that (7.26) is enough also to prove these asymptotics, and we observed that (7.26) can be used to prove an even more refined asymptotic formula that takes the form
where
Of course we wondered whether one can get an even better formula. The only obstacle that seemed to limit us was the 10 in the formula (7.26) above. This led us to look into the details of the proof of (7.26), and we observed that the 10 can be replaced by a k. This then led us to the discovery of the complete asymptotics. That is, we also got \(b_{10}, b_{11},\dots \), etc. At this point we still were not fully satisfied. Even though we observed that the formula (7.26) could be generalized, it was not a proper generalization because we could not say explicitly for which precise range of n the generalized inequality (4.3) for p(n) holds. We only could say that there is some sufficiently big constant C(k) such that (4.3) for all \(n>C(k)\).
We felt that this is not a proper generalization because (7.26) gives C(10) explicitly, namely \(C(10)=1206\). After some work, we realized that we can obtain an explicit expression for C(k), which is very close to the optimal value, according to mathematical experiments. This C(k) is our g(k) of Sect. 4 where we gave a generalization of (7.26).
Because (7.26) could be generalized, we suspected that also (7.24) could be generalized. The difference between the two inequalities is that (7.24) is in terms of \(\sqrt{n}\), while (7.26) is in terms of \(\mu (n)\). We again took the \(\log \) of both sides of the generalized version of (7.26) and aimed not only at getting a refined asymptotic but rather a new type of inequality. This was achieved in Sect. 6. However, even after we found a preliminary version of Theorem 6.6, still something was missing. We wondered whether we can guarantee that this inequality is optimal in some sense, and not overestimated. After various experiments, we got control in the form (6.3) and (6.4), where the error term in the inequality cannot be improved to a smaller integer in the numerator—the same time keeping the statement unaltered. This is the point where we stopped.
1.2 A. 2 Discovery of Kotesovec’s formula (1.5) by regression analysis
We used the procedure shown in Fig. 3 to compute the sequence a(n) defined in (1.4). This procedure works fine for computing a(n) in the range \(1\le n\le 2^{15}\). The computation took 24 h on a notebook computer with Intel Core i7 CPU.
To find the approximate relation between \(\log a(n),\sqrt{n}\), and \(\log (n)\), substitute the values \(n = 2^k,\;2^{k + 1},\;2^{k +2}\) into the target expression,
to obtain a system with three equations:
and solve it successively for k from 1 to 13. Let \((a_k ,b_k ,c_k)\) be the solution of the above equation system under the assumption \(\varepsilon _k = \varepsilon _{k + 1} = \varepsilon _{k +2} = 0\) for all \(k\in \{1,\ldots ,13\}\). The numerical values of the \((a_k,b_k,c_k)\) are presented in Fig. 4. In the limit \(k\rightarrow \infty \),
The numerical values in Fig. 4 clearly support the precise values
Note that we have used a sub-sequence \(a(2^k)\), \(k = 1,2, \ldots , 15\). The regression analysis to obtain the numerical data for Figs. 1 and 2 are rather routine, so we will not list any further details here.
1.3 A. 3 Mathematica computations used in the proof of Theorem 6.6
We present Mathematica computations needed in the proof of Theorem 6.6. Note that in order to complete the proof of Theorem 6.6 we needed to bound four terms by 1; however, in each inequality proven with Mathematica as shown below, we checked that each inequality holds in fact for bounds smaller than 1, namely \(\frac{1}{5}\), \(\frac{1}{3}\), \(\frac{1}{26}\), and \(\frac{1}{26}\). The Mathematica computations are based on Cylindrical Algebraic Decomposition [5].
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
Banerjee, K., Paule, P., Radu, CS. et al. New inequalities for p(n) and \(\log p(n)\). Ramanujan J 61, 1295–1338 (2023). https://doi.org/10.1007/s11139-022-00653-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-022-00653-6