Proof of George Andrews’s and David Robbins’s q -TSPP conjecture

DOI10.1073/pnas.1019186108zbMath1255.05011arXiv1002.4384OpenAlexW2158247889WikidataQ47132368 ScholiaQ47132368MaRDI QIDQ4907455

Christoph Koutschan, Manuel Kauers, Doron Zeilberger

Publication date: 2 February 2013

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

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

zbMATH Keywords

totally symmetric plane partitionsTSPPexplicit product formulaorbit-counting generating function

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15)

Related Items

Tiling enumeration of hexagons with off-central holes, Inverse inequality estimates with symbolic computation, Symmetries of shamrocks. II: Axial shamrocks, Some open problems related to creative telescoping, Advanced computer algebra for determinants, Symmetries of shamrocks. I., Lozenge tilings of hexagons with removed core and satellites, Interview with Peter Paule, Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix, A factorization theorem for lozenge tilings of a hexagon with triangular holes, The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux), How to Generate All Possible Rational Wilf-Zeilberger Pairs?, Symmetries of shamrocks IV: The self-complementary case, A curious family of binomial determinants that count rhombus tilings of a holey hexagon, A dual of MacMahon’s theorem on plane partitions, A fast approach to creative telescoping, A shuffling theorem for reflectively symmetric tilings, The other dual of MacMahon's theorem on plane partitions, Correlation of a macroscopic dent in a wedge with mixed boundary conditions, Lozenge tilings of hexagons with central holes and dents, Lozenge tilings of doubly-intruded hexagons, Creative Telescoping for Holonomic Functions

Cites Work

• Symmetries of plane partitions
• A holonomic systems approach to special functions identities
• Non-commutative elimination in Ore algebras proves multivariate identities
• The enumeration of totally symmetric plane partitions
• An extension of Zeilberger's fast algorithm to general holonomic functions
• The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
• Plane partitions. VI: Stembridge's TSPP theorem