1
$\begingroup$

Let $P(N,M,n)$ be the number of partitions of $n$ such that each term is $\le N$ and there are at most $M$ terms. So we know the generating function for $P(N,M,n)$ is $ \frac{(q)_{N+M}}{(q)_M (q)_{N}}$. Let $P_{sq}(n)$ be the partitions of $n$ such that all terms are perfect squares. The generating function for this would be $\prod \limits_{k \ge 1} 1/(1-q^{k^2})$. One can easily obtain a generating function for $P_{sq} (N^{2},n)$ where each term of the partition is $\le N^2$ by restricting $k$ from $1$ to $N$ in the generating function above.

So my question is that can we find a generating function for $P_{sq} (N^2,M,n)$? If yes, please tell me how.

$\endgroup$
5
  • 1
    $\begingroup$ It's the coefficient of $z^M$ in $$\prod_{k=0}^N (1-q^{k^2} z)^{-1}.$$ $\endgroup$ Aug 16, 2015 at 19:25
  • $\begingroup$ @MaxAlekseyev Will not the coefficient involve powers of $q$? $\endgroup$
    – Iguana
    Aug 17, 2015 at 1:59
  • $\begingroup$ It will be a function (power series) in $q$ that you look for. $\endgroup$ Aug 17, 2015 at 3:36
  • $\begingroup$ @MaxAlekseyev As far as I can understand, you are saying that the generating function that I am looking for is the power series that you described here but unfortunately, when I wrote down the series, I figured that it doesn't seem to be the case. Can you tell me how did you arrive at this result? Probably make it into a full answer? $\endgroup$
    – Iguana
    Aug 17, 2015 at 8:35
  • $\begingroup$ I've posted this as an answer with some explanations. $\endgroup$ Aug 17, 2015 at 14:18

1 Answer 1

1
$\begingroup$

It can be shown that $\frac{(q)_{N+M}}{(q)_N(q)_M}$ is the coefficient of $z^M$ in $$\prod_{k=0}^N (1-q^kz)^{-1}.$$ In other words, $$P(N,M,n) = [q^n z^M]\ \prod_{k=0}^N (1-q^kz)^{-1}.$$ Here $z$ in each term $(1-q^kz)^{-1} = 1+q^kz + q^{2k}z^2 + \dots$ accounts for how many parts equal $k$ are present in the restricted partition. This includes the case of $k=0$, which accounts for parts equal 0 to allow us have less than $M$ nonzero parts (if $k=0$ is excluded from the product, the coefficient of $q^nz^M$ would give the number of restricted partitions with exactly $M$ nonzero parts).

By similar arguments, the number of restricted partitions into squares is $$P_{sq}(N^2,M,n) = [q^n z^M]\ \prod_{k=0}^N (1-q^{k^2}z)^{-1}.$$ However, I doubt that there exists a simple expression for the generating function $$[z^M]\ \prod_{k=0}^N (1-q^{k^2}z)^{-1}.$$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.