A bijective proof of the ASM theorem. I: The operator formula

DOI10.37236/9082MaRDI QIDQ2194086zbMATHOpenAlexWikidataFDO

Authors Ilse Fischer, Matjaž Konvalinka

Publication date 25 August 2020

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1910.04198

zbMATH Keywords

signed setsalternating sign matricessigned bijections

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Sign pattern matrices (15B35)

Abstract: Alternating sign matrices are known to be equinumerous with descending plane partitions, totally symmetric self-complementary plane partitions and alternating sign triangles, but no bijective proof for any of these equivalences has been found so far. In this paper we provide the first bijective proof of the operator formula for monotone triangles, which has been the main tool for several non-combinatorial proofs of such equivalences. In this proof, signed sets and sijections (signed bijections) play a fundamental role.

Recommendations

• The first bijective proof of the refined ASM theorem
• A bijective proof of the ASM theorem. II: ASM enumeration and ASM-DPP relation
• The relation between alternating sign matrices and descending plane partitions: \(n + 3\) pairs of equivalent statistics
• A new proof of the refined alternating sign matrix theorem
• The operator formula for monotone triangles - simplified proof and three generalizations

Cites work

• scientific article; zbMATH DE number 5783667 (Why is no real title available?)
• scientific article; zbMATH DE number 3955412 (Why is no real title available?)
• scientific article; zbMATH DE number 1268810 (Why is no real title available?)
• scientific article; zbMATH DE number 1380572 (Why is no real title available?)
• scientific article; zbMATH DE number 892258 (Why is no real title available?)
• scientific article; zbMATH DE number 3056353 (Why is no real title available?)
• A Rogers-Ramanujan bijection
• A constant term approach to enumerating alternating sign trapezoids
• A doubly-refined enumeration of alternating sign matrices and descending plane partitions
• A large dihedral symmetry of the set of alternating sign matrices
• A method for proving polynomial enumeration formulas
• A new proof of the refined alternating sign matrix theorem
• Alternating sign matrices and descending plane partitions
• Alternating-sign matrices and domino tilings. I
• Alternating-sign matrices and domino tilings. II
• Descending plane partitions and rhombus tilings of a hexagon with a triangular hole
• Determinants and alternating sign matrices
• Diagonally and antidiagonally symmetric alternating sign matrices of odd order
• Enumeration of alternating sign triangles using a constant term approach
• Enumeration of symmetry classes of alternating sign matrices and characters of classical groups
• Extreme diagonally and antidiagonally symmetric alternating sign matrices of odd order
• Generalized monotone triangles
• Gog and GOGAm pentagons
• On the doubly refined enumeration of alternating sign matrices and totally symmetric self-complementary plane partitions
• On the weighted enumeration of alternating sign matrices and descending plane partitions
• Plane partitions in the work of Richard Stanley and his school
• Plane partitions. III: The weak Macdonald conjecture
• Plane partitions. V: The TSSCPP conjecture
• Proof of the Razumov-Stroganov conjecture
• Proof of the alternating sign matrix conjecture
• Self-complementary totally symmetric plane partitions
• Sequences of labeled trees related to Gelfand-Tsetlin patterns
• Short proof of the ASM theorem avoiding the six-vertex model
• The number of monotone triangles with prescribed bottom row
• The operator formula for monotone triangles - simplified proof and three generalizations

Cited in

(15)

• Weight-preserving bijections between integer partitions and a class of alternating sign trapezoids
• The relation between alternating sign matrices and descending plane partitions: \(n + 3\) pairs of equivalent statistics
• Inverse \(K\)-Chevalley formulas for semi-infinite flag manifolds. II: Arbitrary weights in ADE type
• Computations versus bijections for tiling enumeration
• A bijective proof of the ASM theorem. II: ASM enumeration and ASM-DPP relation
• Generalized quantum Yang-Baxter moves and their application to Schubert calculus
• Three alternating sign matrix identities in search of bijective proofs
• Bijective proofs of shifted tableau and alternating sign matrix identities
• Weight-preserving bijections between integer partitions and a family of alternating sign trapezoids
• The operator formula for monotone triangles - simplified proof and three generalizations
• Short proof of the ASM theorem avoiding the six-vertex model
• New structure on the quantum alcove model with applications to representation theory and Schubert calculus
• The first bijective proof of the refined ASM theorem
• The mysterious story of square ice, piles of cubes, and bijections
• Quantum \(K\)-theory Chevalley formulas in the parabolic case

This page was built for publication: A bijective proof of the ASM theorem. I: The operator formula

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2194086)