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

DOI10.1073/PNAS.1019186108MaRDI QIDQ4907455zbMATH OpenOpenAlexWikidataFDO

Authors Christoph Koutschan, M. 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)

Abstract: The conjecture that the orbit-counting generating function for totally symmetric plane partitions can be written as an explicit product formula, has been stated independently by George Andrews and David Robbins around 1983. We present a proof of this long-standing conjecture.

Recommendations

• Plane partitions. V: The TSSCPP conjecture
• Symmetries of plane partitions and the permanent-determinant method
• Plane partitions. VI: Stembridge's TSPP theorem
• The enumeration of totally symmetric plane partitions
• Geometry for totally symmetric plane partitions (TSPPs) with self-conjugate main diagonal

Cites work

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

Cited in

(34)

• Plane partitions. V: The TSSCPP conjecture
• Creative telescoping for holonomic functions
• How to generate all possible rational Wilf-Zeilberger pairs?
• Lozenge tilings of hexagons with removed core and satellites
• Correlation of a macroscopic dent in a wedge with mixed boundary conditions
• The 2-adic valuation of plane partitions and totally symmetric plane partitions
• Proof of the Kresch-Tamvakis conjecture
• Lozenge tilings of doubly-intruded hexagons
• Plane partitions. VI: Stembridge's TSPP theorem
• A shuffling theorem for reflectively symmetric tilings
• Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix
• Inverse inequality estimates with symbolic computation
• Advanced computer algebra for determinants
• Symmetries of shamrocks. II: Axial shamrocks
• Symmetries of shamrocks. I.
• Eliminating human insight: An algorithmic proof of Stembridge's TSPP theorem
• Geometry for totally symmetric plane partitions (TSPPs) with self-conjugate main diagonal
• A fast approach to creative telescoping
• Lozenge tilings of hexagons with central holes and dents
• Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
• A curious family of binomial determinants that count rhombus tilings of a holey hexagon
• Tiling enumeration of hexagons with off-central holes
• A factorization theorem for lozenge tilings of a hexagon with triangular holes
• Cyclotomic generating functions
• scientific article; zbMATH DE number 65510 (Why is no real title available?)
• Proof of the Andrews-Dyson-Rhoades conjecture on the spt-crank
• Multi-headed lattices and Green functions
• The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux)
• Interview with Peter Paule
• A congruence family for 2-elongated plane partitions: an application of the localization method
• Symmetries of shamrocks. IV: The self-complementary case
• A dual of MacMahon's theorem on plane partitions
• Some open problems related to creative telescoping
• The other dual of MacMahon's theorem on plane partitions

This page was built for publication: Proof of George Andrews's and David Robbins's \(q\)-TSPP conjecture

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