{"id":"arxiv/2608.08154","url":"https://arxiv.org/abs/2608.08154","tags":["math.CO","cs.AI"],"score":0,"title":"Exact Zarankiewicz Values On Two Finite Frontier Slices","domain":"math.CO","source":"arxiv","authors":["Koyar Afrasyab"],"reviews":0,"subject":"math.CO","summary":"The Zarankiewicz number Z(m,n,s,t) is the maximum number of edges in a bipartite graph with parts of orders m and n containing no copy of Ks,t. We give one combined, certificate-based computer-assisted proof for two finite slices and a corrected neighboring frontier: Z(12,n,3,3) = 6n (18 <= n <= 22), Z(13,22,3,3) = 137, Z(13, 18, 3, 3) = 116, Z(14, 18, 3, 3) = 124, Z(15,18,3,3) = 132, Z(14, 17, 3, 3) = 118, Z(15, 17, 3, 3) = 126, 132 <= Z(16,17,3,3) <= 133. The load-bearing new upper bounds are the exact 12 x 18 and 13 x 18 certificate packages. Their orbit certificates exclude every…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-08","reactions":{}}