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

DOI10.37236/9082zbMATH Open1446.05006OpenAlexW3083163437WikidataQ114023834 ScholiaQ114023834MaRDI QIDQ2194086FDOQ2194086

Authors: Ilse Fischer, Matjaž Konvalinka 

Publication date: 25 August 2020

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

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.

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

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

zbMATH Keywords

signed setsalternating sign matricessigned bijections

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)

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