{"id":"arxiv/2608.25464","url":"https://arxiv.org/abs/2608.25464","tags":["math.LO","math.CO"],"score":0,"title":"Almost-linear Zarankiewicz bounds in $1$-semi-equational theories","domain":"math.LO","source":"arxiv","authors":["Hongyi Gou","Mostafa Mirabi","Mihir Mittal","Chieu-Minh Tran","Zhenyu Yang"],"reviews":0,"subject":"math.LO","summary":"We study multipartite hypergraphs definable in $1$-semi-equational theories and prove almost-linear Zarankiewicz bounds in every fixed arity $r\\geq2$. If $T$ is a $1$-semi-equational theory, then, for every formula $\\varphi$ and fixed $t,r\\geq2$, there is a constant $c$ such that each $K_{t,\\ldots,t}$-free $r$-partite hypergraph defined by $\\varphi$ on $n$ vertices has $O_{T,\\varphi,t,r}\\!\\left( n^{r-1}(1+\\log(1+n))^c \\right) $ edges. Put $α_k=\\min\\{k-1,2\\}$. In the bipartite case, a Boolean combination of $m$ $(k,1)$-semi-equations has $ O_{k,t,m}\\!\\left( n(1+\\log(1+n))^{(m-1)α_k} \\right) $…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}