{"id":"arxiv/2609.11093","url":"https://arxiv.org/abs/2609.11093","tags":["math.CO"],"score":0,"title":"Recursive-Line Zarankiewicz Numbers with Four Columns","domain":"math.CO","source":"arxiv","authors":["Zhiwei Chen","Yannan Chen"],"reviews":0,"subject":"math.CO","summary":"The recursive-line Zarankiewicz number maximizes the number of squares in a structured irreducible sum-of-squares representation encoded by an augmentation of an extremal $C_4$-free bipartite graph. We determine its four-column behavior under the strengthened recursive definition in the manuscript of Löfberg and Qi dated 9 September 2026. Combining AI-assisted discovery with exact certificate verification and finite exclusion computations, we determine eighteen of the nineteen values for $2\\le m\\le20$ and isolate the only unresolved case to $37\\le\\zr(14,4)\\le38$. More significantly, we prove…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}