Showing $prod_{ngeq 1} (1+q^{2n}) = 1 + sum_{ngeq 1} frac{q^{n(n+1)}}{prod_{i=1}^n (1-q^{2i})}$

I want to show

begin{align} prod_{ngeq 1} (1+q^{2n}) = 1 + sum_{ngeq 1} frac{q^{n(n+1)}}{prod_{i=1}^n (1-q^{2i})} end{align}

I know one proof via self-conjugation of partition functions with Young Tableaux. But it seems not natural for me. [In the process of the proof it appears Durfee square, etc]

Is there any other (simple?) proof for this equality?

Mathematics Asked by phy_math on December 29, 2020

Substituting $$sqrt{q}$$ for $$q$$, we get $$prod_{n=1}^{infty}(1+q^n)=sum_{k=0}^{infty}{frac{q^{binom{k+1}{2}}}{prod_{i=1}^{k}{(1-q^i)}}}.$$

The left-hand side is the generating function for partitions with distinct parts (a part of each size $$n$$ occurs $$0$$ or $$1$$ times).

On the other hand, if a partition with distinct parts has $$k$$ parts, then the $$i$$th smallest part is of size at least $$i$$. Given a partition $$0, subtract $$i$$ from the size of the $$i$$th smallest part to get a partition with parts $$0lelambda_1-1lelambda_2-2ledotslelambda_k-k$$ with $$le k$$ parts (after exluding the $$0$$s), whose conjugate is a partition with the largest part $$le k$$. The "staircase" we subtracted has $$1+2+dots+k=binom{k+1}{2}$$ cells. That yields the summand on the right-hand side: $$q^{binom{k+1}{2}}prod_{i=1}^{k}{frac{1}{1-q^i}}.$$

I think this is about as simple as it gets. The Durfee square need not be involved, as you can see.

Correct answer by Alexander Burstein on December 29, 2020

Related Questions

For each of the following sets A, B prove or disprove whether A ⊆ B and B ⊆ A

1  Asked on February 7, 2021

Proofing Metropolis Hastings

0  Asked on February 7, 2021 by nestroy

How to solve this limit $lim_{nto infty}(frac{2^n}{n^k})$?

4  Asked on February 7, 2021

Is a ring homomorphism surjective if the restriction to the group of units is surjective?

1  Asked on February 7, 2021 by barry-allen

$Var(X_1 X_2)=Var(X_1) Var(X_2)$

2  Asked on February 7, 2021

Principal component analysis for ‘signal extraction’

0  Asked on February 7, 2021 by mat-p

Show that ${a log n }$ is not equidistributed for any $a$

1  Asked on February 7, 2021 by dark_knight

Monotone Convergence Property $iff$ Order Completeness in an arbitrary ordered field.

1  Asked on February 6, 2021

The product of the ages of someone’s children

2  Asked on February 6, 2021 by rathal

A committee of m members is to be chosen from a population of n students. What is your probability of being chosen?

1  Asked on February 6, 2021 by joseph-bungabong

Prove by induction floor and ceiling

1  Asked on February 6, 2021 by user836026

$a,b,c,d$ are complex numbers corresponding to points $A,B,C,D$ lying on a circle with origin as center,and chord $AB⟂CD$. Find $ab+cd$

3  Asked on February 6, 2021 by maven

Let, $N,K,N’,K’$ be groups and $Ncong N’,Kcong K’$. Does $Nrtimes Kcong N’rtimes K’$?

0  Asked on February 6, 2021 by deltaepsilon

Integrate $2x(2x-3)^frac{1}{2} dx$.

5  Asked on February 5, 2021 by pretending-to-be-a-calculator

Dimensionality theorem irreps finite dimensional algebra

1  Asked on February 5, 2021 by gert

On approximating the distribution of the distance between two random points on an $n$-sphere

1  Asked on February 5, 2021 by let101

Rule of inference. Is the argument valid?

2  Asked on February 5, 2021 by blue

Relation between norm and variance of a random vector

1  Asked on February 4, 2021

limit superior of union and intersection of sets.

1  Asked on February 4, 2021