Skip to main content
added 65 characters in body
Source Link

I found another combinatorial proof that does not use complex sums or the well-known stars and bars technique.

I consider $n$ variables and maximum degree $d$. I will show that the number of monomials of degree less than or equal to $d$ (including the monomial 1 that you excluded from your example) is $${n+d}\choose{d}$$ Consider the following set $E=\{x_1,~x_2,\dots x_n,~c_1,~c_2,\dots c_d\}$ of cardinal $n+d$. I will show that any monomial of degree less than or equal to $d$ corresponds to choosing $d$ elements from this set. Choosing some $x_{i_1},~x_{i_2},\dots x_{i_k}$ amounts to building an initial expression $e=x_{i_1}x_{i_2}\dots x_{i_k}$ (or $e=1$ if no $x_i$ term is chosen). Then, choosing some $c_j$ amounts to the following: (i) if the $j^\text{th}$ factor of $e$ exists, copy (insert) it at position $j+1$ or (ii) if the $j^\text{th}$ factor of $e$ does not exist ($e$ is shorter), do not modify $e$. Any monomial of degree less than or equal to $d$ can be expressed as a combination of $d$ elements from above set $E$. We give a few examples:

  • $x_1$ corresponds to choosing $\{x_1,~c_2,~c_3,\dots c_d\}$. We start with expression $e=x_1$ and the copying elements $c_2,~c_3,\dots c_d$ do not modify $e$ because $e$ has no factors at positions $2,~3,\dots d$.
  • $x_1^2x_2$ corresponds to choosing $\{x_1,~x_2,~c_1,~c_4,~c_5,\dots c_d\}$. Indeed, we first have the expression $e=x_1x_2$; then, $c_1$ will insert a copy of $x_1$ at position 2 to obtain $e=x_1x_1x_2$. The $c_4$ element does not change $e$, because $e$ has no factor at position $4$ in $e$. Same applies to $c_5,~c_6\dots c_d$, and so, the final $e$ is $e=x_1x_1x_2$.
  • $x_5x_7^3x_9$ corresponds to choosing $\{x_5,~x_7,~x_9,~c_2,~c_3,~c_6,~c_7,\dots c_d\}$. We start with $e=x_5x_7x_9$ and $c_2$ inserts at position $3$ a copy of the second element $x_7$, leading to $e=x_5x_7x_7x_9$. Then, $c_3$ duplicates the third element $x_7$, generating $e=x_5x_7x_7x_7x_9$. Elements $c_6,~c_7,\dots c_d$ will perform no modification on $e$ because $e$ has no factor at positions $6,~7,\dots d$.
  • $x_7^{d}$ corresponds to choosing $\{x_7,~c_1,~c_2,\dots c_{d-1}\}$. Indeed, we start with $e=x_7$ and $c_1$ duplicates $x_7$ leading to $x_7x_7$. Then $c_2$ duplicates the second term, leading to $x_7x_7x_7$. Applying this for all $c_1,~c_2,\dots c_{d-1}$, we obtain that $x_7$ is duplicated $d-1$ times, and so, the final expression is $\underbrace{x_7x_7\dots x_7}_{d\text{ times }}$.
  • $x_7^2x_9^{d-2}$ corresponds to choosing $\{x_7,~x_9,~c_1,~c_3,~c_4,~\dots c_{d-1}\}$. We start with $e=x_7x_9$ and $c_1$ duplicates $x_7$ leading to $e=x_7x_7x_9$. Since $c_2$ is not chosen, $x_7$ is not duplicated again. On the other hand, $x_9$ is duplicated in cascade $d-3$ times and we obtain $e=x_7x_7\underbrace{x_9x_9x_9\dots x_9}_{d-2\text{ times }}$.
  • $1$ corresponds to choosing $c_1,~c_2,\dots c_d$.

I found another combinatorial proof that does not use complex sums or the well-known stars and bars technique.

I consider $n$ variables and maximum degree $d$. I will show that the number of monomials of degree less than or equal to $d$ is $${n+d}\choose{d}$$ Consider the following set $E=\{x_1,~x_2,\dots x_n,~c_1,~c_2,\dots c_d\}$ of cardinal $n+d$. I will show that any monomial of degree less than or equal to $d$ corresponds to choosing $d$ elements from this set. Choosing some $x_{i_1},~x_{i_2},\dots x_{i_k}$ amounts to building an initial expression $e=x_{i_1}x_{i_2}\dots x_{i_k}$ (or $e=1$ if no $x_i$ term is chosen). Then, choosing some $c_j$ amounts to the following: (i) if the $j^\text{th}$ factor of $e$ exists, copy (insert) it at position $j+1$ or (ii) if the $j^\text{th}$ factor of $e$ does not exist ($e$ is shorter), do not modify $e$. Any monomial of degree less than or equal to $d$ can be expressed as a combination of $d$ elements from above set $E$. We give a few examples:

  • $x_1$ corresponds to choosing $\{x_1,~c_2,~c_3,\dots c_d\}$. We start with expression $e=x_1$ and the copying elements $c_2,~c_3,\dots c_d$ do not modify $e$ because $e$ has no factors at positions $2,~3,\dots d$.
  • $x_1^2x_2$ corresponds to choosing $\{x_1,~x_2,~c_1,~c_4,~c_5,\dots c_d\}$. Indeed, we first have the expression $e=x_1x_2$; then, $c_1$ will insert a copy of $x_1$ at position 2 to obtain $e=x_1x_1x_2$. The $c_4$ element does not change $e$, because $e$ has no factor at position $4$ in $e$. Same applies to $c_5,~c_6\dots c_d$, and so, the final $e$ is $e=x_1x_1x_2$.
  • $x_5x_7^3x_9$ corresponds to choosing $\{x_5,~x_7,~x_9,~c_2,~c_3,~c_6,~c_7,\dots c_d\}$. We start with $e=x_5x_7x_9$ and $c_2$ inserts at position $3$ a copy of the second element $x_7$, leading to $e=x_5x_7x_7x_9$. Then, $c_3$ duplicates the third element $x_7$, generating $e=x_5x_7x_7x_7x_9$. Elements $c_6,~c_7,\dots c_d$ will perform no modification on $e$ because $e$ has no factor at positions $6,~7,\dots d$.
  • $x_7^{d}$ corresponds to choosing $\{x_7,~c_1,~c_2,\dots c_{d-1}\}$. Indeed, we start with $e=x_7$ and $c_1$ duplicates $x_7$ leading to $x_7x_7$. Then $c_2$ duplicates the second term, leading to $x_7x_7x_7$. Applying this for all $c_1,~c_2,\dots c_{d-1}$, we obtain that $x_7$ is duplicated $d-1$ times, and so, the final expression is $\underbrace{x_7x_7\dots x_7}_{d\text{ times }}$.
  • $x_7^2x_9^{d-2}$ corresponds to choosing $\{x_7,~x_9,~c_1,~c_3,~c_4,~\dots c_{d-1}\}$. We start with $e=x_7x_9$ and $c_1$ duplicates $x_7$ leading to $e=x_7x_7x_9$. Since $c_2$ is not chosen, $x_7$ is not duplicated again. On the other hand, $x_9$ is duplicated in cascade $d-3$ times and we obtain $e=x_7x_7\underbrace{x_9x_9x_9\dots x_9}_{d-2\text{ times }}$.
  • $1$ corresponds to choosing $c_1,~c_2,\dots c_d$.

I found another combinatorial proof that does not use complex sums or the well-known stars and bars technique.

I consider $n$ variables and maximum degree $d$. I will show that the number of monomials of degree less than or equal to $d$ (including the monomial 1 that you excluded from your example) is $${n+d}\choose{d}$$ Consider the following set $E=\{x_1,~x_2,\dots x_n,~c_1,~c_2,\dots c_d\}$ of cardinal $n+d$. I will show that any monomial of degree less than or equal to $d$ corresponds to choosing $d$ elements from this set. Choosing some $x_{i_1},~x_{i_2},\dots x_{i_k}$ amounts to building an initial expression $e=x_{i_1}x_{i_2}\dots x_{i_k}$ (or $e=1$ if no $x_i$ term is chosen). Then, choosing some $c_j$ amounts to the following: (i) if the $j^\text{th}$ factor of $e$ exists, copy (insert) it at position $j+1$ or (ii) if the $j^\text{th}$ factor of $e$ does not exist ($e$ is shorter), do not modify $e$. Any monomial of degree less than or equal to $d$ can be expressed as a combination of $d$ elements from above set $E$. We give a few examples:

  • $x_1$ corresponds to choosing $\{x_1,~c_2,~c_3,\dots c_d\}$. We start with expression $e=x_1$ and the copying elements $c_2,~c_3,\dots c_d$ do not modify $e$ because $e$ has no factors at positions $2,~3,\dots d$.
  • $x_1^2x_2$ corresponds to choosing $\{x_1,~x_2,~c_1,~c_4,~c_5,\dots c_d\}$. Indeed, we first have the expression $e=x_1x_2$; then, $c_1$ will insert a copy of $x_1$ at position 2 to obtain $e=x_1x_1x_2$. The $c_4$ element does not change $e$, because $e$ has no factor at position $4$ in $e$. Same applies to $c_5,~c_6\dots c_d$, and so, the final $e$ is $e=x_1x_1x_2$.
  • $x_5x_7^3x_9$ corresponds to choosing $\{x_5,~x_7,~x_9,~c_2,~c_3,~c_6,~c_7,\dots c_d\}$. We start with $e=x_5x_7x_9$ and $c_2$ inserts at position $3$ a copy of the second element $x_7$, leading to $e=x_5x_7x_7x_9$. Then, $c_3$ duplicates the third element $x_7$, generating $e=x_5x_7x_7x_7x_9$. Elements $c_6,~c_7,\dots c_d$ will perform no modification on $e$ because $e$ has no factor at positions $6,~7,\dots d$.
  • $x_7^{d}$ corresponds to choosing $\{x_7,~c_1,~c_2,\dots c_{d-1}\}$. Indeed, we start with $e=x_7$ and $c_1$ duplicates $x_7$ leading to $x_7x_7$. Then $c_2$ duplicates the second term, leading to $x_7x_7x_7$. Applying this for all $c_1,~c_2,\dots c_{d-1}$, we obtain that $x_7$ is duplicated $d-1$ times, and so, the final expression is $\underbrace{x_7x_7\dots x_7}_{d\text{ times }}$.
  • $x_7^2x_9^{d-2}$ corresponds to choosing $\{x_7,~x_9,~c_1,~c_3,~c_4,~\dots c_{d-1}\}$. We start with $e=x_7x_9$ and $c_1$ duplicates $x_7$ leading to $e=x_7x_7x_9$. Since $c_2$ is not chosen, $x_7$ is not duplicated again. On the other hand, $x_9$ is duplicated in cascade $d-3$ times and we obtain $e=x_7x_7\underbrace{x_9x_9x_9\dots x_9}_{d-2\text{ times }}$.
  • $1$ corresponds to choosing $c_1,~c_2,\dots c_d$.
Source Link

I found another combinatorial proof that does not use complex sums or the well-known stars and bars technique.

I consider $n$ variables and maximum degree $d$. I will show that the number of monomials of degree less than or equal to $d$ is $${n+d}\choose{d}$$ Consider the following set $E=\{x_1,~x_2,\dots x_n,~c_1,~c_2,\dots c_d\}$ of cardinal $n+d$. I will show that any monomial of degree less than or equal to $d$ corresponds to choosing $d$ elements from this set. Choosing some $x_{i_1},~x_{i_2},\dots x_{i_k}$ amounts to building an initial expression $e=x_{i_1}x_{i_2}\dots x_{i_k}$ (or $e=1$ if no $x_i$ term is chosen). Then, choosing some $c_j$ amounts to the following: (i) if the $j^\text{th}$ factor of $e$ exists, copy (insert) it at position $j+1$ or (ii) if the $j^\text{th}$ factor of $e$ does not exist ($e$ is shorter), do not modify $e$. Any monomial of degree less than or equal to $d$ can be expressed as a combination of $d$ elements from above set $E$. We give a few examples:

  • $x_1$ corresponds to choosing $\{x_1,~c_2,~c_3,\dots c_d\}$. We start with expression $e=x_1$ and the copying elements $c_2,~c_3,\dots c_d$ do not modify $e$ because $e$ has no factors at positions $2,~3,\dots d$.
  • $x_1^2x_2$ corresponds to choosing $\{x_1,~x_2,~c_1,~c_4,~c_5,\dots c_d\}$. Indeed, we first have the expression $e=x_1x_2$; then, $c_1$ will insert a copy of $x_1$ at position 2 to obtain $e=x_1x_1x_2$. The $c_4$ element does not change $e$, because $e$ has no factor at position $4$ in $e$. Same applies to $c_5,~c_6\dots c_d$, and so, the final $e$ is $e=x_1x_1x_2$.
  • $x_5x_7^3x_9$ corresponds to choosing $\{x_5,~x_7,~x_9,~c_2,~c_3,~c_6,~c_7,\dots c_d\}$. We start with $e=x_5x_7x_9$ and $c_2$ inserts at position $3$ a copy of the second element $x_7$, leading to $e=x_5x_7x_7x_9$. Then, $c_3$ duplicates the third element $x_7$, generating $e=x_5x_7x_7x_7x_9$. Elements $c_6,~c_7,\dots c_d$ will perform no modification on $e$ because $e$ has no factor at positions $6,~7,\dots d$.
  • $x_7^{d}$ corresponds to choosing $\{x_7,~c_1,~c_2,\dots c_{d-1}\}$. Indeed, we start with $e=x_7$ and $c_1$ duplicates $x_7$ leading to $x_7x_7$. Then $c_2$ duplicates the second term, leading to $x_7x_7x_7$. Applying this for all $c_1,~c_2,\dots c_{d-1}$, we obtain that $x_7$ is duplicated $d-1$ times, and so, the final expression is $\underbrace{x_7x_7\dots x_7}_{d\text{ times }}$.
  • $x_7^2x_9^{d-2}$ corresponds to choosing $\{x_7,~x_9,~c_1,~c_3,~c_4,~\dots c_{d-1}\}$. We start with $e=x_7x_9$ and $c_1$ duplicates $x_7$ leading to $e=x_7x_7x_9$. Since $c_2$ is not chosen, $x_7$ is not duplicated again. On the other hand, $x_9$ is duplicated in cascade $d-3$ times and we obtain $e=x_7x_7\underbrace{x_9x_9x_9\dots x_9}_{d-2\text{ times }}$.
  • $1$ corresponds to choosing $c_1,~c_2,\dots c_d$.