A tiling proof of Euler's pentagonal number theorem and generalizations (Q829676)

The paper under review gives a tiling proof of Euler's pentagonal number theorem. This method of proving \(q\)-series identities were introduced by \textit{D. P. Little} and \textit{J. A. Sellers} [J. Comb. Theory, Ser. A 116, No. 1, 223--231 (2009; Zbl 1189.05024); Eur. J. Comb. 31, No. 3, 694--709 (2010; Zbl 1226.05043)], who used it dexterously to prove several known \(q\)-series identities. The present author prove a result of Sylvester (Theorem 2.5), from which Euler's pentagonal number theorem follows as a corollary. They are also able to generalize and prove an uncountable family of generalizations, by introducing the concept of \textit{rank} of a tiling. At the end, the author's wonder whether Jacobi's triple product identity can be proved using such a tiling approach or not? (This was answered in the affirmative by \textit{A. Shukla} in an unpublished work [``Tiling proofs of Jacobi triple product and Rogers-Ramanujan identities''. Preprint, \url{arXiv:2006.03878}]. It is instructive to read this well-written paper for understanding the method of proofs, which a review cannot do justice.