Combinatorial proofs of two Euler type identities due to Andrews
Abstract
We prove combinatorially some identities related to Euler's partition identity (the number of partitions of into distinct parts equals the number of partitions of into odd parts). They were conjectured by Beck and proved by Andrews via generating functions. Let be the number of partitions of such that the set of even parts has exactly one element, be the difference between the number of parts in all odd partitions of and the number of parts in all distinct partitions of , and be the number of partitions of in which exactly one part is repeated. Then, . The identity was proved combinatorially (in greater generality) by Fu and Tang. We prove combinatorially that and . Our proof relies on bijections between a set and a multiset, where the partitions in the multiset are decorated with bit strings. Let be the number of partitions of such that there is exactly one part occurring three times while all other parts occur only once and let to be the difference between the total number of parts in the partitions of into distinct parts and the total number of different parts in the partitions of into odd parts. We prove combinatorially that . In addition to these results by Andrews, we prove combinatorially that , where counts partitions of such that the set of even parts has exactly one element and satisfying some additional conditions. We also treat the case when exactly one part occurs twice while all other parts occur only once.
Cite
@article{arxiv.1803.06394,
title = {Combinatorial proofs of two Euler type identities due to Andrews},
author = {Cristina Ballantine and Richard Bielak},
journal= {arXiv preprint arXiv:1803.06394},
year = {2018}
}
Comments
14 pages added (again) section 4 - the case of one part repeated exactly twice, all other parts distinct