Abstract:We consider a (possibly discrete) unimodular locally compact group $G$ with Haar measure $\mu_G$, and a compact $A\subseteq G$ of positive measure with $\mu_G(A^2)\leq K\mu_G(A)$. Let $H$ be a closed normal subgroup of G and $\pi: G \rightarrow G/H$ be the quotient map. With the further assumption that $A= A^{-1}$, we show $$\mu_{G/H}(\pi A ^2) \leq K^2 \mu_{G/H}(\pi A).$$ We also demonstrate that $K^2$ cannot be replaced by $(1-\epsilon)K^2$ for any $\epsilon>0$. In the general case (without $A=A^{-1}$), we show $\mu_{G/H}(\pi A ^2) \leq K^3 \mu_{G/H}(\pi A)$, improving an earlier result by An, Jing, Zhang, and the third author. Moreover, we are able to extract a compact set $B\subseteq A$ with $\mu_G(B)> \mu_G(A)/2$ such that $ \mu_{G/H}(\pi B^2) < 2K \mu_{G/H}(\pi B)$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the measure doubling property in unimodular locally compact groups and their quotient groups. Specifically, the researchers are concerned with the relationship between the measure of a set $A$ in the group $G$ and the measure of its image in the quotient group $G/H$ under given conditions. ### Main problems 1. **Measure doubling inequality**: For a unimodular locally compact group $G$, equipped with the Haar measure $\mu_G$, and a compact subset $A\subseteq G$ satisfying $\mu_G(A^2)\leq K\mu_G(A)$, the researchers hope to find the measure doubling property of the image of $A$ in the quotient group $G/H$. 2. **Improving existing results**: Under specific conditions (such as $A = A^{-1}$), they hope to prove a tighter measure doubling inequality and explore whether these inequalities can be further optimized. ### Specific goals - **Case of symmetric sets**: When $A = A^{-1}$, prove that $\mu_{G/H}(\pi(A^2))\leq K^2\mu_{G/H}(\pi(A))$ and show that $K^2$ cannot be replaced by $(1-\varepsilon)K^2$ (for any $\varepsilon > 0$). - **Case of non - symmetric sets**: When it is not assumed that $A = A^{-1}$, prove that $\mu_{G/H}(\pi(A^2))\leq K^3\mu_{G/H}(\pi(A))$ and propose possible improvement directions. - **Doubling property of large subsets**: Find a compact subset $B\subseteq A$ such that $\mu_G(B)>\frac{1}{2}\mu_G(A)$ and $\mu_{G/H}(\pi(B^2)) < 2K\mu_{G/H}(\pi(B))$. ### Research background These problems are of great significance in many branches of mathematics, especially in additive combinatorics, geometric inequalities and other fields. In addition, the research on these problems is also closely related to application fields such as random walks, expander graphs and sieve theory. Through these studies, the authors hope to better understand the properties of small doubling sets in locally compact groups and their quotient groups and provide a theoretical basis for further research in related fields.

Measure doubling in unimodular locally compact groups and quotients

Minimal doubling for small subsets in compact Lie groups

Measure doubling of small sets in $\mathrm{SO}(3,\mathbb{R})$

A Structure Theorem on Intersections of General Doubling Measures and Its Applications

Haar measure for non-Hausdorff locally compact groups

Square packings and rectifiable doubling measures

Measure theoretic properties of large products of consecutive partial quotients

Kemperman's inequality and Freiman's lemma via few translates

Dichotomy and measures on limit sets of Anosov groups

Effect of a 6-fluoro substituent on the metabolism and biological activity of benzo(a)pyrene.

The Haar measure on some locally compact quantum groups

Doubling measures on uniform Cantor sets

Asymptotic local uniformity of the quantization error for Ahlfors-David probability measures

A Quantized Analogue of the Markov-Krein Correspondence

Khintchine-type double recurrence in abelian groups

Measures of noncompactness in Hilbert $C^*$-modules

Generalized group algebras and generalized measure algebras on non-discrete locally compact abelian groups

Homogeneous asymptotic limits of haar measures of semisimple linear groups and their lattices

Some Properties of Packing Measure with Doubling Gauge

Invariant Measures for Solvable Groups and Diophantine Approximation

The Solecki submeasures and densities on groups