{"id":"arxiv/2606.15618","url":"https://arxiv.org/abs/2606.15618","tags":["math.CO"],"score":0,"title":"A sharp $p$-biased product bound for $r$-cross-intersecting families","domain":"math.CO","source":"arxiv","authors":["Fan Chang","Hong Liu","Miao Liu"],"reviews":0,"subject":"math.CO","summary":"We prove a sharp product theorem for $r$-cross-intersecting families in the $p$-biased measure. If $r\\ge2$, $0\\le p\\le \\frac{r-1}{r}$, and $\\mathcal{F}_1,\\dots,\\mathcal{F}_r\\subseteq 2^{[n]}$ are $r$-cross-intersecting, then $$\\prod_{i=1}^r μ_p(\\mathcal{F}_i)\\le p^r.$$ The bound is attained by a common $1$-star, and the range of $p$ is best possible. In particular, this proves the equal-bias case of a conjecture of Frankl and Tokushige and, for $r=3$, confirms a conjecture of Tokushige. We also prove a stability theorem: for $r\\ge3$, every near-extremal $r$-tuple is close, in $p$-biased…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-14","reactions":{}}