Alternating sign matrices with reflective symmetry and plane partitions: $n+3$ pairs of equivalent statistics and a Cauchy-type identity

Fischer, Ilse  ; Höngesberg, Hans 

Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e168

Résumé

Vertically symmetric alternating sign matrices (VSASMs) of order $2n+1$ are known to be equinumerous with lozenge tilings of a hexagon with side lengths $2n+2,2n,2n+2,2n,2n+2,2n$ and a central triangular hole of size $2$ that exhibit a cyclical as well as a vertical symmetry, but finding an explicit bijection proving this belongs to the most difficult problems in bijective combinatorics. Towards constructing such a bijection, we generalize the result by introducing certain natural extensions for both objects along with $n+3$ parameters and show that the multivariate generating functions with respect to these parameters coincide. This is a significant step from a constant number of equidistributed statistics to a linear number of statistics in n. The equinumeracy of VSASMs and the lozenge tilings is then an easy consequence of this result, which is obtained by specializing the generating functions to signed enumerations for both types of objects and then applying certain sign-reversing involutions. Another main result concerns the expansion of the multivariate generating function into symplectic characters as a sum over totally symmetric self-complementary plane partitions, which is in perfect analogy to the situation for ordinary ASMs where the Schur expansion can be written as a sum over totally symmetric plane partitions. This is exciting as it is reminiscent of the well-known Cauchy identity, and the Cauchy identity does have a bijective proof using the Robinson-Schensted-Knuth correspondence, and thus the result raises the question of whether there is a variation of the Robinson–Schensted–Knuth correspondence that does eventually lead to a bijective proof.

Détail

DOI : 10.1017/fms.2025.10104

Bibliographie

[1] Aigner, F., Fischer, I., Konvalinka, M., Nadeau, P. and Tewari, V., ‘Alternating sign matrices and totally symmetric plane partitions’, Sém. Lothar. Combin., 84B: Art. 77, 12 (2020). Google Scholar

[2] Andrews, G., ‘Plane partitions. III. The weak Macdonald conjecture’, Invent. Math. 53(3) (1979), 193–225. doi:10.1007/BF01389763. Google Scholar | DOI

[3] Behrend, R., Di Francesco, P. and Zinn-Justin, P., ‘On the weighted enumeration of alternating sign matrices and descending plane partitions’, J. Combin. Theory Ser. A 119(2) (2012), 331–363. doi:10.1016/j.jcta.2011.09.004. Google Scholar | DOI

[4] Behrend, R., Fischer, I. and Konvalinka, M., ‘Diagonally and antidiagonally symmetric alternating sign matrices of odd order’, Adv. Math. 315 (2017), 324–365. doi:10.1016/j.aim.2017.05.014. Google Scholar | DOI

[5] Bressoud, D., Proofs and confirmations. The story of the alternating sign matrix conjecture, MAA Spectrum (Mathematical Association of America and Cambridge University Press, Washington, DC and Cambridge, 1999).10.1017/CBO9780511613449 Google Scholar | DOI

[6] Fischer, I., ‘The number of monotone triangles with prescribed bottom row’, Adv. Appl. Math. 37(2) (2006), 249–267. doi:10.1016/j.aam.2005.03.009. Google Scholar | DOI

[7] Fischer, I., ‘Constant term formulas for refined enumerations of Gog and Magog trapezoids’, J. Combin. Theory Ser. A 158 (2018), 560–604. doi:10.1016/j.jcta.2018.04.008. Google Scholar | DOI

[8] Fischer, I. and Konvalinka, M., ‘The mysterious story of square ice, piles of cubes, and bijections’, Proc. Natl. Acad. Sci. USA 117(38) (2020), 23460–23466. doi:10.1073/pnas.2005525117. Google Scholar PubMed | DOI

[9] Fischer, I. and Schreier-Aigner, F., ‘Alternating sign matrices and totally symmetric plane partitions’, Algebr. Comb. 7(5) (2024), 1319–1345. doi:10.5802/alco.374. Google Scholar

[10] Fischer, I. and Schreier-Aigner, F., ‘The relation between alternating sign matrices and descending plane partitions: pairs of equivalent statistics’, Adv. Math. 413 (2023), Paper No. 108831, 47 pp. doi: 10.1016/j.aim.2022.108831. Google Scholar | DOI

[11] Gessel, I. and Viennot, G., ‘Binomial determinants, paths, and hook length formulae’, Adv. Math. 58(3) (1985), 300–321. doi:10.1016/0001-8708(85)90121-5. Google Scholar | DOI

[12] Gessel, I. and Viennot, G., ‘Determinants, paths and plane partitions’, unpublished notes (1989). URL: http://people.brandeis.edu/~gessel/homepage/papers/pp.pdf. Google Scholar

[13] Krattenthaler, C., ‘Descending plane partitions and rhombus tilings of a hexagon with a triangular hole’, Eur. J. Combin. 27(7) (2006), 1138–1146. doi:10.1016/j.ejc.2006.06.008. Google Scholar | DOI

[14] Koike, K. and Terada, I., ‘Young diagrammatic methods for the restriction of representations of complex classical Lie groups to reductive subgroups of maximal rank’, Adv. Math. 79(1) (1990), 104–135. doi: 10.1016/0001-8708(90)90059-V. Google Scholar | DOI

[15] Kuperberg, G., ‘Symmetries of plane partitions and the permanent-determinant method’, J. Combin. Theory Ser. A 68(1) (1994), 115–151. doi:10.1016/0097-3165(94)90094-9. Google Scholar | DOI

[16] Kuperberg, G., ‘Symmetry classes of alternating-sign matrices under one roof’, Ann. of Math. (2) 156(3) (2002), 835–866. doi:10.2307/3597283. Google Scholar | DOI

[17] Lalonde, P., ‘Lattice paths and the antiautomorphism of the poset of descending plane partitions’, Discrete Math. 271(1–3) (2003), 311–319. doi:10.1016/S0012-365X(03)00159-6. Google Scholar | DOI

[18] Lindström, B., ‘On the vector representations of induced matroids’, Bull. Lond. Math. Soc. 5 (1973), 85–90. doi:10.1112/blms/5.1.85. Google Scholar | DOI

[19] Mills, W., Robbins, D. P. and Rumsey, H. Jr., ‘Alternating sign matrices and descending plane partitions’, J. Combin. Theory Ser. A 34(3) (1983), 340–359. doi:10.1016/0097-3165(83)90068-7. Google Scholar | DOI

[20] Mills, W., Robbins, D. P. and Rumsey, H. Jr., ‘Self-complementary totally symmetric plane partitions’, J. Combin. Theory Ser. A 42(2) (1986), 277–292. doi:10.1016/0097-3165(86)90098-1. Google Scholar | DOI

[21] Mills, W. H., Robbins, D. P. and Rumsey, H. Jr., ‘Enumeration of a symmetry class of plane partitions’, Discrete Math. 67(1) (1987), 43–55. doi:10.1016/0012-365X(87)90165-8. Google Scholar | DOI

[22] Robbins, D., ‘The story of 1,2,7,42,429,7436,….’, Math. Intelligencer 13(2) (1991), 12–19. doi:10.1007/BF03024081. Google Scholar | DOI

[23] Robbins, D., ‘Symmetry classes of alternating sign matrices’, Preprint (2000). doi:10.48550/arXiv.math/0008045. Google Scholar | DOI

[24] Robbins, D. P. and Rumsey, H. Jr., ‘Determinants and alternating sign matrices’, Adv. Math. 62(2) (1986), 169–184. doi:10.1016/0001-8708(86)90099-X. Google Scholar | DOI

[25] Schreier-Aigner, F., Private communication. Google Scholar

[26] Zeilberger, D., ‘Proof of the alternating sign matrix conjecture’, Electron. J. Combin. 3(2) (1996), Research Paper 13, 84 pp. The Foata Festschrift. URL: http://www.combinatorics.org/Volume_3/Abstracts/v3i2r13.html. Google Scholar