-1
$\begingroup$

I'm having difficult with the following question :

show that the number of partitions of n into parts of size 3,5,7,9,... equals to the number of partitions of n into different parts which are not 1,2,4,8,...

$\endgroup$
  • 1
    $\begingroup$ Part A is unclear. The first half of the sentence says "partitions of $n$ to sizes of", the second half says "partitions of $n$ to partitions of size". It's not clear (to me) what the difference between these two formulations is intended to express -- but it seems some difference must be intended, since otherwise the statement would clearly be false. It would help if you could reexpress the problem in terms of the standard formulation "partition into $k$ parts of size ...". $\endgroup$ – joriki Aug 26 '15 at 6:43
  • $\begingroup$ ive edited the question, also notice that both series doesnt enclude the number 6 for e.g $\endgroup$ – jony89 Aug 26 '15 at 7:35
  • 1
    $\begingroup$ It's not clear to me why you've now included two different formulations of the question; that doesn't make it in any clearer. In both formulations there are still subtle differences between the first and second halves of the sentences, but it's still not clear what, if any, distinction these differences are intended to express. The expression "partition to" is non-standard; a number is usually partitioned into parts. If the question was originally posed in a different language, it might help if you quote it in that language so that someone can reexpress it in clearer English. $\endgroup$ – joriki Aug 26 '15 at 7:41
  • $\begingroup$ i changed it to 'into'. it basically says that given number of n, show that the number of possible partitions into the numbers 3,5,7,9,... equals to the number of partitions to the same n into the numbers that are NOT EQUAL to 1,2,4,8,... i think this is clear enough .. $\endgroup$ – jony89 Aug 26 '15 at 8:23
  • 2
    $\begingroup$ חבל, I know Hebrew, I could have translated it for you if you'd written it in Hebrew like I suggested :-) $\endgroup$ – joriki Aug 26 '15 at 10:04
2
$\begingroup$

For part A, for each odd integer $2k+1$ with $k$ a positive integer, consider the integers $(2k+1)2^m$ with $m$ a non-negative integer. The admissible parts in the first case include only $2k+1$ (i.e. $m=0$), whereas the admissible parts in the second case include all these integers for all $m$. In a given partition, we can group all parts with a given $k$ together and establish a one-to-one correspondence between the possible groups in the first and second cases. In the first case, the group can contain any number of parts with $m=0$, but none with $m\gt0$, whereas in the second case, the group can contain at most one part for each $m$. For any non-negative integer $\ell$, a sum of $\ell(2k+1)$ of all parts of the group can be achieved in exactly one way – in the first case by having exactly $\ell$ parts with $m=0$, and in the second case by choosing the parts according to the binary representation of $\ell$, i.e. having a part with a given $m$ iff the $m$-th bit of the binary representation of $\ell$ is $1$.

Note that this is a variant of the more well-known result that The number of partitions of $n$ into distinct parts equals the number of partitions of $n$ into odd parts, which you get if you include $1$ in the list of admissible odd parts in the first case and drop the exclusion of non-negative powers of two in the second case.

Questions shouldn't contain several unrelated questions; please post a separate question for part B.

Edit in response to the comment: The generating function for the first case is

$$ \prod_{k=1}^\infty\frac1{1-x^{2k+1}}\;. $$

The generating function for the second case is

$$ \prod_{j=1\atop j\ne2^m}^\infty\left(1+x^j\right)=\prod_{k=1}^\infty\prod_{m=0}^\infty\left(1+x^{(2k+1)2^m}\right)=\prod_{k=1}^\infty\prod_{m=0}^\infty\frac{1-x^{(2k+1)2^{m+1}}}{1-x^{(2k+1)2^m}}=\prod_{k=1}^\infty\frac1{1-x^{2k+1}}\;, $$

where the last equality holds because the product telescopes and only the denominator of the $m=0$ factor survives.

This is analogous to the generating function argument given at the end of the answer to the question I linked to above.

$\endgroup$
  • $\begingroup$ i think that 'binary representation' is out of scope for me . could u try do this using the generating function ? ( פונקציה יוצרת ) $\endgroup$ – jony89 Aug 26 '15 at 10:16
  • $\begingroup$ @jony89: I added it to the answer. $\endgroup$ – joriki Aug 26 '15 at 10:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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