{"id":"arxiv/2607.21589","url":"https://arxiv.org/abs/2607.21589","tags":["math.CO","math.CA","math.FA"],"score":0,"title":"Upper-shadow comparisons on the slice and the Frankl--Tokushige product conjectures","domain":"math.CO","source":"arxiv","authors":["Fan Chang","Hong Liu","Miao Liu"],"reviews":0,"subject":"math.CO","summary":"Let $\\mathcal{F}\\subseteq\\binom{[n]}k$, and let $\\partial_{k\\to\\ell}\\mathcal{F}$ be the family of all $\\ell$-sets containing a member of $\\mathcal{F}$. Writing $μ_k(\\mathcal{F})=|\\mathcal{F}|/\\binom nk$, $p=k/n$, and $q=\\ell/n$, we prove $$ μ_\\ell(\\partial_{k\\to\\ell}\\mathcal{F})\\geq \\begin{cases}μ_k(\\mathcal{F})^{\\frac{\\log q}{\\log p}}, &0\\leq μ_k(\\mathcal{F})\\leq p^2,\\\\ q\\left[1-\\left(1-\\frac{μ_k(\\mathcal{F})}{p}\\right)^{ \\frac{\\log(1-q)}{\\log(1-p)}} \\ \\ \\right], &p^2\\leq μ_k(\\mathcal{F})\\leq p,\\\\ 1-(1-μ_k(\\mathcal{F}))^{\\frac{\\log(1-q)}{\\log(1-p)}}, &p\\leq μ_k(\\mathcal{F})\\leq1.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-23","reactions":{}}