Experimenting with the Garsia-Milne Involution Principle
arXiv:2501.18061 · doi:10.3842/SIGMA.2025.015
Abstract
In 1981, Adriano Garsia and Steve Milne found the first bijective proof of the celebrated Rogers-Ramanujan identities. To achieve this feat, they invented a versatile tool that they called the Involution Principle. In this note we revisit this useful principle from a very general perspective, independent of its application to specific combinatorial identities, and will explore its complexity.
In memory of Adriano Garsia (1928-2024) and in honor of Stephen C. Milne's 75th birthday