{"id":"arxiv/2607.26871","url":"https://arxiv.org/abs/2607.26871","tags":["math.CO"],"score":0,"title":"Rigidity and stability for biased cross-intersecting families","domain":"math.CO","source":"arxiv","authors":["Yongjiang Wu","Lihua Feng"],"reviews":0,"subject":"math.CO","summary":"Let $\\mathbf p=(p_1,\\ldots,p_n)$ and $\\mathbf q=(q_1,\\ldots,q_n)$ belong to $(0,1/2]^n$, and let $μ_{\\mathbf p}$ and $μ_{\\mathbf q}$ be the associated measures on $2^{[n]}$. Suppose that $p_1q_1=\\max_{i\\in[n]}p_iq_i$. We prove that every pair of cross-intersecting families $\\mathcal A,\\mathcal B\\subseteq2^{[n]}$ satisfies the sharp inequality $μ_{\\mathbf p}(\\mathcal A)μ_{\\mathbf q}(\\mathcal B)\\leq p_1q_1$. This confirms a conjecture of Suda, Tanaka and Tokushige [Math. Program. 166 (2017) 113--130]. We also determine all equality cases. When $p_1q_1<1/4$, equality is attained only when both…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-29","reactions":{}}