{"id":"arxiv/2604.03882","url":"https://arxiv.org/abs/2604.03882","tags":["math.PR","math.FA"],"score":0,"title":"A homogenization principle for total variation","domain":"math.PR","source":"arxiv","authors":["Aryeh Kontorovich"],"reviews":0,"subject":"math.PR","summary":"A homogenization principle for total variation We prove an inequality comparing the variational distance between pairs of product probability measures to its homogenized counterpart. If $P_1,\\ldots,P_n,Q_1,\\ldots,Q_n$ are arbitrary probability measures on a measurable space and $\\bar P:=\\frac1n\\sum_{i=1}^n P_i, \\bar Q:=\\frac1n\\sum_{i=1}^n Q_i $, we show that $$TV\\!\\left(\\bigotimes_{i=1}^n P_i, \\bigotimes_{i=1}^n Q_i\\right) \\;\\ge\\; c\\,TV(\\bar P^{\\otimes n},\\bar Q^{\\otimes n}),$$ where $c>0$ is a universal constant. The proof is based on a one-dimensional representation of total variation…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-04","reactions":{}}