{"id":"arxiv/2609.25974","url":"https://arxiv.org/abs/2609.25974","tags":["math.CO"],"score":0,"title":"Exact Second-Order Zarankiewicz Numbers for Complete-Graph Incidence Families","domain":"math.CO","source":"arxiv","authors":["Yannan Chen","Johan Löfberg","Liqun Qi"],"reviews":0,"subject":"math.CO","summary":"For $n\\ge6$, $m=\\binom n2$, let the complete-graph incidence family on $K_n$ have the vertices of $K_n$ as columns, its edges as rows, and the incidence graph as one-edge graph. The universal cell bound of Löfberg and Qi gives $z_2(m,n)\\le Z(n):=\\lfloor n(n-1)(n+2)/4\\rfloor$. We implement the nested one-factorization construction of that family and determine exactly what it certifies. For $n=2q$ with $q$ an odd prime, $q\\ge5$, the construction has no hole and the cross-factor transfer equations apply verbatim, giving $z_2=z_{SL}=z_{RL}=Z(n)$; $n=6$ is settled by a separate cyclic witness.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}