{"id":"arxiv/2609.03904","url":"https://arxiv.org/abs/2609.03904","tags":["math.CO"],"score":0,"title":"Extremal Families for Matchings in Permutations","domain":"math.CO","source":"arxiv","authors":["Mengyu Cao","Haixiang Zhang"],"reviews":0,"subject":"math.CO","summary":"Two permutations $σ,τ\\in S_n$ are called disjoint if the composition $στ^{-1}$ has no fixed point. If a family $\\mathcal F\\subseteq S_n$ contains no $s$ pairwise disjoint permutations, then a simple averaging argument gives $|\\mathcal F|\\leq(s-1)(n-1)!$. Inozemtsev, Kolupaev and Kupavskii characterized the equality cases in the range $s\\leq n/(2^{17}\\log n).$ We characterize all equality cases throughout the range $2\\le s\\le n$: equality holds if and only if $\\mathcal F$ is a union of $(s-1)$ pairwise disjoint $1$-cosets. We also prove the linear statement underlying this classification: a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}