Forbidding K₂,t traces in triple systems

From MaRDI portal
Publication:2662345



Abstract: Let H and F be hypergraphs. We say H contains F as a trace if there exists some set SsubseteqV(H) such that H|S:=EcapS:EinE(H) contains a subhypergraph isomorphic to F. In this paper we give an upper bound on the number of edges in a 3-uniform hypergraph that does not contain K2,t as a trace when t is large. In particular, we show that limtoinftylimnoinftyfracmathrmex(n,mathrmTr3(K2,t))t3/2n3/2=frac16. Moreover, we show frac12n3/2+o(n3/2)leqmathrmex(n,mathrmTr3(C4))leqfrac56n3/2+o(n3/2).


Summary: Let \(H\) and \(F\) be hypergraphs. We say \(H\) contains \(F\) as a trace if there exists some set \(S \subseteq V(H)\) such that \(H|_S:=\{E\cap S: E \in E(H)\}\) contains a subhypergraph isomorphic to \(F\). In this paper we give an upper bound on the number of edges in a \(3\)-uniform hypergraph that does not contain \(K_{2,t}\) as a trace when \(t\) is large. In particular, we show that \[\lim_{t\to \infty}\lim_{n\to \infty} \frac{\text{ex}(n, \text{Tr}_3(K_{2,t}))}{t^{3/2}n^{3/2}} = \frac{1}{6}.\] Moreover, we show \(\frac{1}{2} n^{3/2} + o(n^{3/2}) \leqslant \text{ex}(n, \text{Tr}_3(C_4)) \leqslant \frac{5}{6} n^{3/2} + o(n^{3/2})\).











This page was built for publication: Forbidding \(K_{2,t}\) traces in triple systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2662345)