## What are the best known bounds on the number of partitions of $n$ into exactly $k$ distinct parts?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

For example, if $n = 10$ and $k = 3$, then the legal partitions are $$10 = 7 + 2 + 1 = 6 + 3 + 1 = 5 + 4 + 1 = 5 + 3 + 2$$ so the answer is $4$. By choosing $k$ random elements of ${1,\ldots,2n/k}$, one can easily construct about $(n/k^2)^k$ such partitions. For $k \approx \sqrt{n}$ this is not far from best possible, since the total number of partitions is (by Hardy and Ramanujan's famous theorem) asymptotically $$\frac{1}{4 \sqrt{3} n} \exp\left( \pi \sqrt{ \frac{2n}{3} } \right).$$ Can one do much better than $(n/k^2)^k$ for smaller k?

To be precise, writing $p^*_k(n)$ for the number of such partitions, is it true that, for some constant $C$, $$p^*_k(n) \leqslant \left( \frac{Cn}{k^2} \right)^k$$ for every $n,k \in \mathbb{N}$?

-

For a fixed $k$, the number of partitions of $n$ into $k$ parts grows as a polynomial in $n$, of degree $k-1$.  – Gerry Myerson Aug 9 2011 at 1:35
Gerry, does this mean that there is a polynomial p(n) such that (for a specified k) the number of partitions of n into exactly k parts is p(n)?  I suspect you mean the latter, which is that there are polynomials p(n) and q(n) which serve as upper and lower bounds (when n is sufficiently large) to the desired function.  Some clarity would be appreciated.  Gerhard "Ask Me About System Design" Paseman, 2011.08.08  – Gerhard Paseman Aug 9 2011 at 4:05
@Gerhard, I mean the number of partitions is $C_kn^{k-1}+O(n^{k-2})$. See also Igor Rivin's answer. What actually happens is that for each $k$ there's an $m=m(k)$ such that there are $m$ polynomials $P_i(x)$ such that if $n\equiv i\pmod m$ then the number of partitions is $P_i(n)$; each $P_i$ has as its leading term the term given in Igor's answer.  – Gerry Myerson Aug 9 2011 at 5:47
Cool! I suspected something like that, but it helps a lot to see your phrasing of it.  Thanks, Gerry!  Gerhard "Ask Me About System Design" Paseman, 2011.08.09 – Gerhard Paseman Aug 9 2011 at 17:49

## 2 Answers

In the 1990 paper by Charles Knessl and Joseph Keller, the authors prove the asymptotic result (for $n>>1, k=O(1)$, your number is asymptotic to:

$\dfrac{n^{k-1}}{k[{k-1]!}^2}.$

They show a number of other related asymptotic results.

EDIT for $k \ll n,$ they have the asymptotic too painful to typeset, but you can find in http://dl.dropbox.com/u/5188175/2101859.pdf, equation (2.27)

-
Thanks! However, I'm really interested in the case $k = k(n) \to \infty$ as $n \to \infty$. An asymptotic result would be great, but I'd be happy even with something much weaker, like the bound I suggested... – Rob Aug 9 2011 at 1:57
To be even more specific, what can one say for $k \approx n^{1/3}$? – Rob Aug 9 2011 at 1:59
See the edit, and enjoy. – Igor Rivin Aug 9 2011 at 2:44
Great, thanks again! At the top of page 327 they state that $p_k(n)$, the number of partitions of $n$ into $k$ (not necessarily distinct) parts, is asymptotically $$\frac{1}{2\pi n} \left( \frac{e^2 n}{k^2} \right)^k,$$ which answers my question in the affirmative! =) – Rob Aug 9 2011 at 4:29

1
One slight problem; as George Andrews points out in the AMS review, the authors make the following (slightly cryptic) comment in the Introduction: Finally we note that all our calculations are formal since we have not proved that they are asymptotic...it should be possible to prove that our results are asymptotic also." This seems to imply that the authors have not proved the claimed bounds. Do you know whether this is the case? If not then I'll email the authors and ask... Thanks again! – Rob Aug 9 2011 at 4:33

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

On further reflection, there seems to be a very simple (and nice) solution to my question. I'll sketch a proof of the following theorem.

Theorem: There is a constant $C$ such that $$\frac{1}{Cnk} \left( \frac{e^2 n}{k^2} \right)^k \leqslant p_k^*(n) \leqslant \frac{C}{nk} \left( \frac{e^2 n}{k^2} \right)^k.$$

The upper bound follows from the recursion $$p_k^*(n) \leqslant \frac{1}{k} \sum_{a=1}^n p^*_{k-1} (n-a)$$ by a simple induction argument. To see the recursion, simply note that since the elements of the partition are distinct, we count each one exactly $k$ times.

For the lower bound, we use the probabilistic method. Motivated by the calculation above, let's choose a random sequence $A = (a_1,\ldots,a_k)$ by selecting each $a_j$ independently according to the distribution $$\mathbb{P}(a_j = a) \approx \frac{(k-1)(n-a)^{k-2}}{n^{k-1}}.$$ Discard the (few) sequences with repeated elements, and note that the expected value of $\sum a_j$ is $n$. We claim that the probability that $\sum a_j = n$ is roughly $1/(n \sqrt{k})$, and that each such sequence appears with probability at most $$\left( \frac{k-1}{en} \right)^k.$$ It follows that there are at least $$\frac{1}{Cn \sqrt{k}} \left( \frac{en}{k-1} \right)^k$$ such sequences. Dividing by $k!$ gives the desired bound on the number of sets.

-

I like the argument for the lower bound, but I suspect that some restriction on $k$ is needed. For instance, if $k$ is of the order $\sqrt{n}$ then, by the Birthday Paradox, it will be likely that two of the $a_j$ are equal. Then the error introduced by discarding sequences with repeated elements will be appreciable. – Mark Wildon Aug 10 2011 at 12:07
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 48, "mathjax_display_tex": 9, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9434361457824707, "perplexity_flag": "head"}