2024/03/07 by Ma, Jie, Yang, Tianchi
#Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.2403.04318
In this paper, we investigate the hypergraph Turán number ex(n,K(r)s,t). Here, K(r)s,t denotes the r-uniform hypergraph with vertex set (∪i∈ [t]Xi)∪ Y and edge set \Xi∪ \y\: i∈ [t], y∈ Y\, where X1,X2,⋯,Xt are t pairwise disjoint sets of size r-1 and Y is a set of size s disjoint from each Xi. This study was initially explored by Erdős and has since received substantial attention in research. Recent advancements by Bradač, Gishboliner, Janzer and Sudakov have greatly contributed to a better understanding of this problem. They proved that ex(n,Ks,t(r))=Os,t(nr-(1)/(s-1)) holds for any r≥ 3 and s,t≥ 2. They also provided constructions illustrating the tightness of this bound if r≥ 4 is \it even and t≫ s≥ 2. Furthermore, they proved that ex(n,Ks,t(3))=Os,t(n3-(1)/(s-1)-εs) holds for s≥ 3 and some εs>0. Addressing this intriguing discrepancy between the behavior of this number for r=3 and the even cases, Bradač et al. post a question of whether \mboxex(n,Ks,t(r))= Or,s,t(nr-(1)/(s-1)- ε) holds for odd r≥ 5 and any s≥ 3. In this paper, we provide an affirmative answer to this question, utilizing novel techniques to identify regular and dense substructures. This result highlights a rare instance in hypergraph Turán problems where the solution depends on the parity of the uniformity.