Advanced Search

Suppose that $G$ is a locally compact abelian group with a Haar measure $\mu$. The $\delta$-ball $B_{\delta }$ of a continuous translation invariant pseudo-metric is called $d$-dimensional if $\mu \left(B_{2{\delta }^{\prime }}\right)\le 2^d\mu \left(B_{{\delta }^{\prime }}\right)$ for all ${\delta }^{\prime }\subset (0,\delta ]$. We show that if $A$ is a compact symmetric neighborhood of the identity with $\mu \left(nA\right)\le n^d\mu \left(A\right)$ for all $n\ge dlogd$, then $A$ is contained in an $O\left(d{log}^{3}d\right)$-dimensional ball, $B$, of positive radius in some continuous translation invariant pseudo-metric and $\mu \left(B\right)\le exp\left(O\right(dlogd\left)\right)\mu \left(A\right)$.