1997/11/29 by Greg Kuperberg · 3 citations
Mathematics · #math.CO
published as Internat. Math. Res. Notices, 1996(3):139-150, 1996 · 10 pages
arxiv created 1997/11/29 · arxiv updated 2009/11/30
Robbins conjectured, and Zeilberger recently proved, that there are 1!4!7!...(3n-2)!/n!/(n+1)!/.../(2n-1)! alternating sign matrices of order n. We give a new proof of this result using an analysis of the six-vertex state model (also called square ice) based on the Yang-Baxter equation.