6
$\begingroup$

For integers $n\ge k\ge0$, let $p(n,k)$ denote the number of ways to write $n$ as a sum of $k$ positive integers (repetition allowed). For example, $p(6,3)=3$ since $$6=1+1+4=1+2+3=2+2+2.$$

QUESTION. Is it true that the inequality $$p(n,k)^2>p(n,k-1)p(n,k+1)\tag{1}$$ holds whenever $1\le k\le n-26$?

I conjecture that the answer is positive, this implies that for any integer $n\ge27$ the integer sequence $(p(n,k))_{1\le k\le n-26}$ is log-concave. For $n=27,28,\ldots,100$, I have verified the inequality $(1)$ for all $k=1,\ldots,n-26$.

Your comments are welcome! If you know that the question is not new, please provide me a reference.

Edit. S. DeSalvo and I. Pak [Ramanujan J. 38 (2015), 61-73] proved the inequality $p(n)^2>p(n-1)p(n+1)$ for any integer $n\ge 26$. Thus, in view of Fedor Petrov's helpful comments, for any integer $m\ge26$ and $n\ge 2m+2$ we have $$p(n,n-m)^2>p(n,n-m+1)p(n,n-m-1),\ \text{i.e.,}\ p(m)^2>p(m-1)p(m+1).$$ This shows that $(1)$ holds if $n/2+1\le k\le n-26$. So, it remains to prove that $(1)$ is valid when $1\le k\le\min\{(n+1)/2,n-26\}$.

$\endgroup$
5
  • 1
    $\begingroup$ it worth mention that for fixed $c$ and $n\geqslant 2c$, we have $p(n,n-c)=p(c)$, thus this strengthens the log-concavity of $p(n)$ $\endgroup$ Commented Sep 28, 2024 at 9:31
  • $\begingroup$ It is very decent to cite related results, if you are aware of them. $\endgroup$ Commented Sep 28, 2024 at 10:02
  • $\begingroup$ @Fedor Petrov. Thank you for pointing out that. $\endgroup$ Commented Sep 28, 2024 at 13:42
  • 3
    $\begingroup$ An asymptotic estimate for $p(n,k)$ was obtained by G. Szekeres, Some asymptotic formulae in the theory of partitions (II), Quart. J. Math. Oxford 4 (2), 96--111, that implies the unimodality of the sequence $p(n,1), p(n,2), \dots, p(n,n)$. Does this estimate or some refinement of it imply log-concavity? $\endgroup$ Commented Sep 28, 2024 at 15:42
  • $\begingroup$ @Richard Stanley Thank you for informing me the paper of Szekeres on the asymptotic behavior of $p(n,k)$. This paper might be helpful. $\endgroup$ Commented Sep 28, 2024 at 22:56

0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.