Rigidity and stability for biased cross-intersecting families
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.26871
curl -X POST /api/v1/records/arxiv/2607.26871/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.26871/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'