arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2611.06944

Beyond Nine Gates: Classification of Full-Sided Mahjong Waits with $3n$ Ranks

Shubin Xue·Xingyu Zhong
View original source ↗Read source document ↗Export metadata ↓

Abstract

Mahjong is a traditional tile-based game popular in East and Southeast Asia. Combinatorial study of Mahjong hands has been a topic of interest in recreational mathematics, with the Nine Gates hand being a well-known example. This single-suit Mahjong hand $\{1,1,1,2,3,4,5,6,7,8,9,9,9\}$ consists of $13$ tiles of a single suit ranked $1$ through $9$, arranged such that drawing any tile from that suit completes a winning hand of a pair and $4$ melds, regardless of the tile's rank. Folklore has circulated that Nine Gates is the unique single-suit hand with this $9$-sided-wait property. While prior works have verified this uniqueness by exhaustive computer enumeration across different finite configurations, we present a general classification of full-sided waits for Mahjong variants with $3n$ ranks and $n+1$ melds. For every $n\geq2$, we report exactly $8$ full-sided waits, of which Nine Gates is the unique live one. Notably, our proof requires no exhaustive enumeration or any prior knowledge of the classification result. To address the problem in its right generality, a comprehensive combinatorial framework is developed, allowing the number of ranks, the number of melds, and the upper bound on tile multiplicities to vary independently. Reliability of our results is partially supported by a manually curated ongoing formalization in Lean 4.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shubin Xue, Xingyu Zhong. 2026-11-02. Beyond Nine Gates: Classification of Full-Sided Mahjong Waits with $3n$ Ranks. https://arxiv.org/abs/2611.06944

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Irreducibility of the Cuboid Polynomial $P_{a,u}(t)$ via a Rank-Zero Elliptic Curve

In this paper we study the even monic degree-8 cuboid polynomial $P_{a,u}(t)$ introduced by R. A. Sharipov in the first-cuboid specialization of his cuboid equations. For nonzero integers $a,u$ with $u^2\neq a^2$ we prove that $P_{a,u}(t)$ is irreducible in $\mathbb{Z}[t]$ (equivalently, in $\mathbb{Q}[t]$), thus confirming Sharipov's irreducibility conjecture in this two-parameter case. Over $K=\mathbb{Q}(\sqrt2)$ we have a factorization $P_{a,u}(t)=H_-(t)H_+(t)$ into two conjugate quartics. We show that reducibility of either $H_\pm$ would force the discriminant of a certain quadratic in $S=t^2$ to be a square in $K$, which in turn implies (via $τ=(au/Δ)^2$, where $Δ=u^2-a^2$) the existence of a rational point $(y,v)\in\mathcal{C}(\mathbb{Q})$ on the genus-one quartic $\mathcal{C}: v^2=16y^4+136y^2+1$ with $y^2=τ$. We give an explicit isomorphism $\overline{\mathcal{C}}\simeq E$ with the elliptic curve $E: Y^2=X(X-8)(X-9)$, which has conductor $48$ and Mordell-Weil rank $0$. Enumerating $E(\mathbb{Q})$ and tracing back to $\mathcal{C}(\mathbb{Q})$ rules out the only possible values $τ\in\{0,1/4\}$, and hence excludes any further factorization of $H_\pm$ in $K[t]$. A quadratic Galois descent then yields the irreducibility of $P_{a,u}(t)$ over $\mathbb{Q}$ and $\mathbb{Z}$.

math.GM↗
arXiv2026

Irreducibility of the Cuboid Polynomial $Q_{p,q}(t)$ via the Rank-One Chabauty-Coleman Method

Let $Q_{p,q}(t)\in\mathbb{Z}[t]$ be Sharipov's even monic degree-$10$ second cuboid polynomial, with coprime positive integers $p\ne q$. We prove that $Q_{p,q}(t)$ is irreducible over $\mathbb{Q}$, and hence over $\mathbb{Z}$. More generally, the normalized associated quintic $P_s(x)$ and its composition $P_s(t^2)$ are irreducible over $\mathbb{Q}$ for every $s\in\mathbb{Q}\setminus\{0,\pm1\}$. The proof reduces linear and quadratic factors to rational points and horizontal conjugate pairs on one fixed genus-$2$ curve. A certified rank upper bound for its Jacobian, together with an exact divisor calculation, gives a rank-one annihilating differential at the prime $3$. For the quadratic-factor case, the symmetric coordinates of a horizontal pair lie on an explicit double cover of an elliptic quartic. All rational affine points on this model are $3$-adically integral and reduce to six smooth residue classes. The pulled-back differential is a unit in each class, proving that six displayed points form the complete list. Their coordinates exclude every admissible parameter. A negative real root of the irreducible quintic then supplies the additional degree argument required for irreducibility of the degree-$10$ polynomial. The rank computation and all exact arithmetic certificates are specified explicitly for reproduction.

math.GM↗