Matjaz Konvanlinka: The first bijective proof of the ASM theorem
Time: Tue 2020-01-21 10.00 - 10.50
Location: Institut Mittag-Leffler, Seminar Hall Kuskvillan
Participating: Matjaz Konvanlinka, University of Ljubljana
Abstract
Alternating sign matrices were introduced by Robbins and Rumsey in the early 1980s. Together with Mills, they conjectured a product formula for their enumeration, which was proved independently by Zeilberger and Kuperberg about 10 years later. I will present the first bijective proof of the theorem. The starting point were known “computational” proofs, but the combinatorial point of view led to several drastic modifications and simplifications. This is joint work with Ilse Fischer.