Proof of the Alternating Sign Matrix Conjecture

Doron Zeilberger (Temple University)

Proof of the Alternating Sign Matrix Conjecture

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv math/9407211 v1 pith:FS34P4EA submitted 1994-07-02 math.CO

Doron Zeilberger (Temple University) This is my paper · ORCID

classification math.CO

keywords entrieseverysignwhosealternatealternatingcolumncolumn-

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

abstract

The number of $n \times n$ matrices whose entries are either -1, 0, or 1, whose row- and column- sums are all 1, and such that in every row and every column the non-zero entries alternate in sign, is proved to be $[1!4! >... (3n-2)!]/[n!(n+1)! ... (2n-1)!]$, as conjectured by Mills, Robbins, and Rumsey.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Frozen-corner enumeration of Alternating Sign Matrices
math.CO 2025-09 conditional novelty 3.0 of 10

The number of ASMs with an s by s frozen zero corner is conjectured to equal A_n det(1-M), a determinant formula verified numerically for all n up to 20.

Pith tools