TV over Bernoulli products: the small parameter regime

Abstract

We study the total variation distance (TV) between two $n$-fold Bernoulli product measures parametrized by $\vec p=(p_1,\ldots,p_n)$ and $\vec q=(q_1,\ldots,q_n)$, respectively, in the \emph{tiny} and \emph{small} regimes. In the tiny regime, we have $p_i,q_i\lesssim 1/n^2$, and in the small regime, $p_i,q_i\lesssim 1/n$. We discover that in the tiny regime, the TV distance behaves as $\|\vec p-\vec q\|_1$, while in the small regime, it behaves as \[ \sum_{i=1}^n \Big| p_i\prod_{j\neq i}(1-p_j) - q_i\prod_{j\neq i}(1-q_j) \Big|, \] both up to absolute constants. Along the way we discover some identities of possible independent interest.

Theorems & Definitions (33)

• Theorem 1.1: Tiny regime: $\ell_1$ geometry
• Theorem 1.2: Small regime: singletons control TV
• Definition 2.1: Slice discrepancies
• Lemma 3.1
• proof
• Lemma 3.2
• proof
• proof : Proof of Theorem \ref{['thm:intro_tiny_tv']}
• Theorem 4.1: $\Delta_0$ bound
• proof