A hypercontractive proof of the sharp bound for cancellative pairs

Fan Chang

Fang and Huang proved that every cancellative pair $(\mathcal{A},\mathcal{B})$ of families of subsets of $[n]$ satisfies $|\mathcal{A}|\cdot |\mathcal{B}|\le (\frac{9}{4}{)}^n$. Their…