Skip to main content

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

Export to calendar

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.