Skip to main content
3 of 7
Spelling
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Seeking a bijective proof for enumeration of two partition sets

An integer partition is a sequence $\lambda=(\lambda_1\geq\lambda_2\geq\dotsb\geq\lambda_k)$ of positive integers, for some $k\geq1$. Consider the following two sets of partitions of $n$. Fix a positive integer $s>1$.

Let $\mathcal{O}_{n,s}=\{\lambda\vdash n: \lambda_i\in\{1,3,5,\dots,2s-1\}\}$. Parts are odd integers.

Also, let $$\mathcal{A}_{n,s}=\{(a_1,a_2,\dots,a_s): a_1+2a_2+2a_3+\cdots+2a_s=n,a_1\geq a_2\geq a_3\geq\cdots\geq a_s\geq0\}.$$

I would like ask:

QUESTION. Is there a combinatorial or bijective proof of the equinumerosity $\#\mathcal{O}_{n,s}=\#\mathcal{A}_{n,s}$?

T. Amdeberhan
  • 43.2k
  • 5
  • 57
  • 217