English

Tight bounds towards Zarankiewicz problem in hypergraph

Combinatorics 2025-10-17 v1

Abstract

The classical Zarankiewicz problem, which concerns the maximum number of edges in a bipartite graph without a forbidden complete bipartite subgraph, motivates a direct analogue for hypergraphs. Let Ks1,,srK_{s_1,\ldots, s_r} be the complete rr-partite rr-graph such that the ii-th part has sis_i vertices. We say an rr-partite rr-graph H=H(V1,,Vr)H=H(V_1,\ldots,V_r) contains an ordered Ks1,,srK_{s_1,\ldots, s_r} if Ks1,,srK_{s_1,\ldots, s_r} is a subgraph of HH and the set of size sis_i vertices is embedded in ViV_i. The Zarankiewicz number for rr-graph, denoted by z(m1,,mr;s1,,,sr)z(m_1, \ldots, m_{r}; s_1,, \ldots,s_{r}), is the maximum number of edges of the rr-partite rr-graph whose ii-th part has mim_i vertices and does not contain an ordered Ks1,,srK_{s_1,\ldots, s_r}. In this paper, we show that z(m1,m2,,mr1,n;s1,s2,,sr1,t)=Θ(m1m2mr1n11/s1s2sr1)z(m_1,m_2, \cdots, m_{r-1},n ; s_1,s_2, \cdots,s_{r-1}, t)=\Theta\left(m_1m_2\cdots m_{r-1} n^{1-1 / s_1s_2\cdots s_{r-1}}\right) for a range of parameters. This extends a result of Conlon [Math. Proc. Camb. Philos. Soc. (2022)].

Keywords

Cite

@article{arxiv.2510.14869,
  title  = {Tight bounds towards Zarankiewicz problem in hypergraph},
  author = {Guorong Gao and Jianfeng Hou and Shuping Huang and Hezhi Wang},
  journal= {arXiv preprint arXiv:2510.14869},
  year   = {2025}
}

Comments

10 pages

R2 v1 2026-07-01T06:41:42.610Z