{"id":"arxiv/2609.09105","url":"https://arxiv.org/abs/2609.09105","tags":["math.CO"],"score":0,"title":"A hypercontractive proof of the sharp bound for cancellative pairs","domain":"math.CO","source":"arxiv","authors":["Fan Chang"],"reviews":0,"subject":"math.CO","summary":"Fang and Huang proved that every cancellative pair $(\\mathcal{A},\\mathcal{B})$ of families of subsets of $[n]$ satisfies $|\\mathcal{A}|\\cdot|\\mathcal{B}|\\leq(\\frac{9}{4})^n$. Their proof uses entropy. We give a Fourier-analytic proof based on Lifshitz's one-sided noise operator $\\mathrm{T}^{1/4\\to1/2}$. The main tool is a near-$L^1$ hypercontractive estimate for this operator.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}