{"id":"arxiv/2604.11495","url":"https://arxiv.org/abs/2604.11495","tags":["math.CO"],"score":0,"title":"Forbidding matching as trace in uniform hypergraphs","domain":"math.CO","source":"arxiv","authors":["Yichen Wang","Xin Cheng","Ervin Győri","Xiamiao Zhao"],"reviews":0,"subject":"math.CO","summary":"We say a hypergraph $\\mathcal{H}$ contains a hypergraph $\\mathcal{G}$ as trace if there exists a vertex subset $S \\subseteq V(\\mathcal{H})$ such that $|S| = |V(\\mathcal{G})|$ and $\\{e \\cap S: e \\in E(\\mathcal{H})\\}$ contains $\\mathcal{G}$ as a sub-hypergraph. We use $\\mathrm{ex}_r(n, \\mathrm{Tr}_r(\\mathcal{G}))$ to denote the maximum number of hyperedges in an $r$-uniform hypergraph on $n$ vertices not containing $\\mathcal{G}$ as a trace. The study of Turán numbers for traces was initiated by Mubayi and Zhao who studied the case when $\\mathcal{G}$ is a complete graph. Let $M_{s+1}$ denote…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-13","reactions":{}}