Seminar Details
Mechanical Proofs of Partition Identities Through Atomic Relations
- Start Date: February 5, 2026
- Event Start Time: 5:00 PM
- Event End Time: 6:00 PM
- Seminar Series: Experimental Math Seminar
- Presenter(s): Matthew Russell - Rutgers University
- Event Location: Online Event
- Presentation Type: Stand Alone Presentation
- Abstract:
Integer partition and q-series sum-to-product identities, such as the Rogers-Ramanujan identities, lie at the intersection of combinatorics, number theory, and the representation theory of affine Lie algebras. This talk will focus on the method of atomic relations, which has been developed by Shashank Kanade and the author in recent years as a way to prove these identities. In some cases, computer output from this method can guide human-constructed proofs, while in other cases, our proofs are totally computer-generated. Applications of this method to problems involving cylindric partitions and colored partitions will also be discussed.