A Proof of George Andrews' and David Robbins' $q$-TSPP Conjecture
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
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. 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 David 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 David 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 pi is an array pi = (pii,j)1≤i,j, of positive integers pii,j with finite sum |pi | = pii,j, which is weakly decreasing in rows and columns so that pii,j ≥ pii+1,j and pii,j ≥ pii,j+1. A plane partition pi is identified with its 3D Ferrers diagram which is obtained by stacking pii,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 pi is called a totally symmetric plane partition (TSPP). In other words, pi is called totally symmetric if whenever a location (i, j, k) in the diagram is occupied
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.001 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it