Partitions into parts from an arithmetic progresion

Question

Fix an arithmetic progression $R=(a, a+m, a+2m, \ldots)$, and assume that $gcd(a,m)=1$. Define $q_R(n)$ as the following coefficients: $$\prod_{i=0}^\infty (1+ t^{a+mi}) = \sum_{n=0}^\infty q_R(n) t^n $$ In other words, $q_R(n)$ is number integer partitions of $n$ into distinct parts from $R$.

Problem 1. Prove that $q_R(n)$ are increasing for $\ n\ge n(a,m)$ large enough.

I first assumed this is either standard, well known, or easily follows from the existing results. Now I am less sure. My literature search gives only papers like this (A. Tripathi, "Coin exchange problem for arithmetic progressions"). Note that for $a=m=1$, we get the usual partitions into distinct parts and the claim follows from Euler's theorem that they are equinumerous with partitions into odd parts.

More generally, I need to prove that all finite differences are positive for large enough $n$. Formally, define $$(t-1)^r \prod_{i=0}^\infty (1+ t^{a+mi}) = \sum_{n=0}^\infty q_R(n,r) t^n $$

Problem 2. For every $r\ge 1$, prove that $q_R(n,r)>0$ for $\ n\geq n(a,m,r)$ large enough.

Answer 1

Problem 1 is solved completely, in the affirmative, in the following paper of Grosswald:

Emil Grosswald, Some theorems concerning partitions, Trans. Amer. Math. Soc. 89, 1958, 113–128.

Grosswald in fact gives a very accurate estimate for the asymptotics of $q_R(n)$, showing that they grow exponentially fast with $n$, and generalizes things to the case that R consists of any finite union of arithmetic progressions as well. (If you look at his rather intricate paper, look at the function that he calls $H(x)$).

Answer 2

The answer is indeed affirmative, but was worked out before Grosswald's paper. The earliest paper I found which deals with a general version of this problem is

Roth, K.F., Szekeres, G. "Some asymptotic formulae in the theory of partitions", Quart. J. Math., Oxford Ser. (2) 5, (1954). 241–259, MR0067913

Suppose $\lbrace u_k\rbrace$ is an eventually increasing sequence of positive integers satisfying some mild technical conditions. The paper above gives accurate asymptotics for $p_u(n)$, the number of partitions of $n$ with distinct parts from $\lbrace u_k\rbrace$. The most relevant result is that for $n$ greater than some $n_0$ which depends on $\lbrace u_k\rbrace$ and $\delta$ we have a constant $c$ so that $$p_u(n+1)-p_u(n)\geq cn^{-\frac{s}{s+1}-\delta}p_u(n),$$ where $s=\lim_{k \to \infty}\frac{\log u_k}{\log k}$. In particular their result works for sequences $u_k=p(k)$ where $p$ is a polynomial taking integers to integers with $\gcd(p(1),p(2),\dots)=1$.

Answer 3

[This is more of a comment than an answer, but I lack the reputation.] For partitions with repetitions allowed, the analogue of your Problem #2 is solved by a very general theorem of Bateman and Erdos:

http://www.renyi.hu/~p_erdos/1956-05.pdf

Let $A$ be an arbitrary set of natural numbers. For each nonnegative integer $k$, define $p_k(n)$ so that $$ \sum_{n=0}^{\infty} p_k(n) X^n = (1-X)^k \prod_{a \in A} (1-X^a)^{-1}. $$

They show that $p_k(n)$ is positive for all sufficiently large $n$ if and only if the following holds: There are more than $k$ elements in $A$, and if we remove an arbitrary subset of $k$ elements of $A$, the remaining elements have greatest common divisor $1$.

Unfortunately they remark that the problem of partitions into distinct parts is much harder and refer to the paper of Roth and Szekeres already mentioned in Gjergji's answer.