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

DOI10.37236/9082zbMATH Open1446.05006arXiv1910.04198OpenAlexW3083163437WikidataQ114023834 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

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

Cited In (12)

• 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
• 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
• Computations versus bijections for tiling enumeration
• 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)