交错符号矩阵定理的双射证明，第二部分：ASM计数与ASM-DPP关系
组合数学
2019-12-04 v1
摘要
本文是一系列计划中的论文的第二篇，该系列旨在给出交错符号矩阵结果的首次双射证明。基于第一篇论文的主要结果，我们构造了交错符号矩阵计数公式以及交错符号矩阵与下降平面分拆等数的双射证明。我们还能够通过包含矩阵顶行中唯一 的位置来细化这些双射。我们的构造依赖于带符号集及相关概念。这些构造的起点是已知的“计算性”证明，但组合观点导致了若干重大修改。我们还提供了实现所有构造的计算机代码。
引用
@article{arxiv.1912.01354,
title = {A bijective proof of the ASM theorem, Part II: ASM enumeration and ASM-DPP relation},
author = {Ilse Fischer and Matjaž Konvalinka},
journal= {arXiv preprint arXiv:1912.01354},
year = {2019}
}