Vertically Symmetric Alternating Sign Matrices and a Multivariate Laurent Polynomial Identity
Vertically Symmetric Alternating Sign Matrices and a Multivariate Laurent Polynomial Identity
In 2007, the first author gave an alternative proof of the refined alternating sign matrix theorem by introducing a linear equation system that determines the refined ASM numbers uniquely. Computer experiments suggest that the numbers appearing in a conjecture concerning the number of vertically symmetric alternating sign matrices with respect …