惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

IT之家
IT之家
Engineering at Meta
Engineering at Meta
腾讯CDC
宝玉的分享
宝玉的分享
H
Help Net Security
I
InfoQ
博客园 - Franky
The GitHub Blog
The GitHub Blog
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
H
Hackread – Cybersecurity News, Data Breaches, AI and More
Microsoft Security Blog
Microsoft Security Blog
M
MIT News - Artificial intelligence
博客园_首页
美团技术团队
Recent Announcements
Recent Announcements
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
雷峰网
雷峰网
The Cloudflare Blog
博客园 - 司徒正美
Vercel News
Vercel News
MyScale Blog
MyScale Blog
人人都是产品经理
人人都是产品经理
爱范儿
爱范儿
月光博客
月光博客

math updates on arXiv.org

Coupling-Robust Accuracy in Multiphysics Physics Informed Neural Networks via Kronecker-Preconditioned Optimization Non-normal spectral signatures of instability in neural network training dynamics Optimization of randomized neural networks for transfer operator approximation Selective Ambulance Dispatch Under Contextual Travel-Time Uncertainty LLAMA LIMA: A Living Meta-Analysis on the Effects of Generative AI on Learning Mathematics Neural Flow Operators can Approximate any Operator: Abstract Frameworks and Universal Approximations LLMs as Noisy Channels: A Shannon Perspective on Model Capacity and Scaling Laws On the Stability of Spherical Hellinger-Kantorovich Flows and Their Implications for Differential Privacy Training-Free Looped Transformers Move on Muon : A Hamiltonian probability gradient flow perspective of Muon optimizer Entrywise Error Bounds for Spectral Ranking with Semi-Random Adversaries Asymmetric Scaling Laws from Sparse Features Is Dimensionality a Barrier for Retrieval Models? RA-DCA: A Randomized Active-Set DCA for Directional Stationarity in Max-Structured DC Programs Commutator-Induced Uncertainty in VAEs Weisfeiler-Leman Is Incomplete on Simple Spectrum Graphs, so Canonicalize Them Sparse In-Network Learning via Shortest-Path Backpropagation and Finite-Rate Gating Instance-Optimal Estimation with Multiple LLM Judges on a Budget Entropy Equivalence Testing Expand More, Shrink Less: Shaping Effective-Rank Dynamics for Dense Scaling in Recommendation Any-Dimensional Invariant Universality Operationalizing Individual Fairness via Gradient Descent and Bradley-Terry Models Anytime Training with Schedule-Free Spectral Optimization Diffusion-based Denoising Beats Vanilla Score Matching in Parameter Estimation: A Theoretical Explanation Resilience Characterization of AI-Native Wireless Receivers via Persistent Homology The General Theory of Localization Methods Group-Algebraic Tensors: Provably-optimal Equivariant Learning and Physical Symmetry Discovery General Lower Bounds for Differentially Private Federated Learning with Arbitrary Public-Transcript Interactions PilotWiMAE: Pilot-Native Representation Learning for Wireless Channels Proximal basin hopping: global optimization with guarantees
Unique Winning Opening Move in Three-Row Chomp
Erez Sheiner · 2026-05-23 · via math updates on arXiv.org

Chomp was introduced by Gale in 1974 \cite{Gale1974}. In the same paper, Gale reported that the $3\times n$ games had been completely analyzed for $n\le 100$, with a unique winning first move in every case, and asked whether winning first moves are unique in general. Although the general uniqueness statement is false \cite[Section~7.1]{BrouwerEtAl2005}, we prove that the three-row uniqueness phenomenon suggested by Gale's computations holds for all $n$: every $3\times n$ Chomp rectangle has exactly one winning opening move. This settles the three-row case of Gale's 52-year-old first-move uniqueness question. The proof is carried out in the two-variable recurrence introduced by Brouwer, Horváth, Molnár-Sáska, and Szabó \cite{BrouwerEtAl2005} for the function $f(q,r)$ whose values encode the $P$-positions. The main local ingredient is a rightmost-hole principle: if a value $p$ is absent from the set $C(q,r)$ but belongs to all corresponding sets $C(t,r)$ for $q<t<p$, then all intermediate values $q+1,\ldots,p-1$ are forced to belong to $C(q,r)$. This separates the diagonal values from the starts of constant rows, and yields a partition of the positive integers into the two possible types of winning opening moves. It also identifies the row of the unique opening move: no first-row opening move is winning; the second-row and third-row cases are precisely the two complementary Chomp sequences A029900 and A029901.