{"id":"arxiv/2609.01483","url":"https://arxiv.org/abs/2609.01483","tags":["math.CO","cs.IT"],"score":0,"title":"On cancellative pairs of families of subsets","domain":"math.CO","source":"arxiv","authors":["Yijia Fang","Hao Huang"],"reviews":0,"subject":"math.CO","summary":"A pair $(\\mathcal{A}, \\mathcal{B})$ of families of subsets of $[n]$ is cancellative if whenever $A, A' \\in \\mathcal{A}, B \\in \\mathcal{B}$ satisfy $A \\cup B=A' \\cup B$, then $A=A'$, and whenever $A \\in \\mathcal{A}, B, B' \\in \\mathcal{B}$ satisfy $A \\cup B=A \\cup B'$, then $B=B'$. We show that for every cancellative pair $(\\mathcal{A}, \\mathcal{B})$, the inequality $|\\mathcal{A}||\\mathcal{B}| \\le 2.25^n$ holds, matching Tolhuizen's $(2.25-o(1))^n$ lower bound construction.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}