A proof of George Andrews’ and Dave Robbins’ q-TSPP conjecture (modulo a finite amount of routine calculations). The personal journal of Shalosh B. Ekhad and Doron Zeilberger

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 Dave Robbins around 1983. We present a proof of this long-standing conjecture. 1. Proemium In the historical conference Combinatoire Énumerative that took place at the end of May 1985, in Montreal, Richard Stanley raised some intriguing problems about the enumeration of plane partitions (see below), which he later expanded into a fascinating article [9]. Most of these problems concerned the enumeration of “symmetry classes ” of plane partitions that were discussed in more detail in another article of Stanley [10]. All of the conjectures in the latter article have since been proved (see Bressoud’s modern classic [3]), except one, which until now resisted the efforts of the greatest minds in enumerative combinatorics. It concerns the proof of an explicit formula for the q-enumeration of totally symmetric plane partitions, conjectured, ca. 1983, independently by George Andrews and Dave Robbins ([10], [9] conj. 7, [3] conj. 13, and already alluded to in [1]). In the present article we finally turn this conjecture into a theorem. A plane partition π is an array π = (πi,j)1≤i,j, of positive integers πi,j with finite sum |π | = ∑ πi,j, which is weakly decreasing in rows and columns so that πi,j ≥ πi+1,j and πi,j ≥ πi,j+1. A plane partition π is identified with its 3D Ferrers diagram which is obtained by stacking πi,j unit cubes on top of the location (i, j). This gives a left-, back-, and bottom-justified structure in which we can refer to the locations (i, j, k) of the individual unit cubes. If the diagram is invariant under the action of the symmetric group S3 then π is called a totally symmetric plane partition (TSPP). In other words, π is called totally symmetric if whenever a location (i, j, k) in the diagram is occupied

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.