[Math] Can you make an identity from this product

co.combinatoricsnt.number-theory

Start with the product

$$(1+x+x^2) (1+x^2)(1+x^3)(1+x^4)\cdots$$

(The first polynomial is a trinomial..The others are binomials..)
Is it possible by changing some of the signs to get a series all of whose coefficients are $ -1,0,$or $1$?

A simple computer search should suffice to answer the question if the answer is "no." I haven't yet done such a search myself.

This question is a takeoff on the well known partition identities like:

$$\prod_{n=1}^{\infty} (1-x^n)= 1-x-x^2+x^5+x^7-\ldots$$

Best Answer

Proof of Doriano Brogloli's answer:

Call $a(n)$ the $n$th coefficient of $A(x)=(1-x)(1-x^2)\cdots$. By Euler's pentagonal theorem we have $a(n)=0$ unless $n=m(3m\pm1)/2$ for some $m$, in which case $a(m)=(-1)^m$. Call $b(n)$ the $n$th coefficient of $B(x)=(1-x^2)(1-x^3)...$. Since $A(x)=(1-x)B(x)$ we have $b(n)-b(n-1)=a(n)$, so $b(n)=\sum_{0\le j\le n}a(j)$. Now for any integer $n$ there exists a unique $m$ such that $(m-1)(3(m-1)+1)/2\le n<m(3m+1)/2$. If $(m-1)(3m-2)/2\le n<m(3m-1)/2$ we thus have $b(n)=1+2\sum_{1\le j\le m-1}(-1)^j=(-1)^{m-1}$, and if $m(3m-1)/2\le n<m(3m+1)/2$ we have $b(n)=(-1)^{m-1}+(-1)^m=0$.

Finally, we have $C(x)=(1-x+x^2)(1-x)(1-x^2)\cdots=A(x)+x^2B(x)$ so its $N+2$th coefficient $c(N+2)$ is equal to $a(N+2)+b(N)$. Thus, if $(m-1)(3m-2)/2\le N<m(3m-1)/2$ but $N\ne m(3m-1)/2-2$ we have $c(N+2)=(-1)^{m-1}$, while if $N=m(3m-1)/2-2$ we have $c(N+2)=(-1)^{m-1}+(-1)^m=0$, and if $m(3m-1)/2\le N<m(3m+1)/2$ but $N\ne m(3m+1)/2-2$ we have $c(N+2)=0$, while if $N=m(3m+1)/2-2$ we have $c(N+2)=(-1)^m$.

Related Question