A Bijective Proof of the ASM Theorem Part II: ASM Enumeration and ASM-DPP Relation

被引:2
作者
Fischer, Ilse [1 ]
Konvalinka, Matjaz [2 ,3 ]
机构
[1] Univ Vienna, A-1090 Vienna, Austria
[2] Univ Ljubljana, Fac Math & Phys, Ljubljana 1000, Slovenia
[3] Inst Math Phys & Mech, Ljubljana 1000, Slovenia
基金
奥地利科学基金会;
关键词
DETERMINANTS;
D O I
10.1093/imrn/rnaa304
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
This paper is the 2nd in a series of planned papers that provide 1st bijective proofs of alternating sign matrix (ASM) results. Based on the main result from the 1st paper, we construct a bijective proof of the enumeration formula for ASMs and of the fact that ASMs are equinumerous with descending plane partitions. We are also able to refine these bijections by including the position of the unique 1 in the top row of the matrix. Our constructions rely on signed sets and related notions. The starting point for these constructions were known "computational" proofs, but the combinatorial point of view led to several drastic modifications. We also provide computer code where all of our constructions have been implemented.
引用
收藏
页码:7203 / 7230
页数:28
相关论文
共 16 条
[1]   PLANE PARTITIONS(III) - WEAK MACDONALD CONJECTURE [J].
ANDREWS, GE .
INVENTIONES MATHEMATICAE, 1979, 53 (03) :193-225
[2]  
Bauer A, WHAT IS EXPLICIT BIJ
[4]   The number of monotone triangles with prescribed bottom row [J].
Fischer, Ilse .
ADVANCES IN APPLIED MATHEMATICS, 2006, 37 (02) :249-267
[5]   A bijective proof of the ASM theorem Part I: the operator formula [J].
Fischer, Ilse ;
Konvalinka, Matjaz .
ELECTRONIC JOURNAL OF COMBINATORICS, 2020, 27 (03) :1-29
[7]  
GELFAND IM, 1950, DOKL AKAD NAUK SSSR+, V71, P825
[8]   BINOMIAL DETERMINANTS, PATHS, AND HOOK LENGTH FORMULAS [J].
GESSEL, I ;
VIENNOT, G .
ADVANCES IN MATHEMATICS, 1985, 58 (03) :300-321
[9]   Traced monoidal categories [J].
Joyal, A ;
Street, R ;
Verity, D .
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1996, 119 :447-468
[10]  
Kuperberg G., 1996, INT MATH RES NOTICES, V1996, P139, DOI [DOI 10.1155/S1073792896000128, 10.1155/S1073792896000128]