Open Research Index

Almost-linear Zarankiewicz bounds in $1$-semi-equational theories

Hongyi Gou, Mostafa Mirabi, Mihir Mittal, Chieu-Minh Tran, Zhenyu Yang

arXivarxiv/2608.25464Aug 26, 2026math.LOscore 0

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) $…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2608.25464
curl -X POST /api/v1/records/arxiv/2608.25464/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.25464/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'