Semicontinuity of structure for small sumsets in compact abelian groups

DOI10.19086/DA.11089MaRDI QIDQ5211017zbMATH OpenOpenAlexFDO

Authors John T. Griesmer

Publication date 17 January 2020

Published in discrete Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1807.01694

zbMATH Keywords

inverse theoremsumsetultraproduct

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Nonstandard models in mathematics (03H05) Additive bases, including sumsets (11B13) Compact groups (22C05) General properties and structure of locally compact groups (22D05)

Abstract: We study pairs of subsets $A,B$ of a compact abelian group $G$ where the sumset $A+B:=a+b:ainA,binB$ is small. Let $m$ and $m_{\ast }$ be Haar measure and inner Haar measure on $G$, respectively. Given $varepsilon>0$, we classify all pairs $A,B$ of Haar measurable subsets of $G$ satisfying $m(A),m(B)>varepsilon$ and $m_{\ast }(A+B)leqm(A)+m(B)+delta$ where $delta=delta(varepsilon)>0$ is small. We also study the case where the $delta$-popular sumset $A{+}_{delta}B:=tinG:m(Acap(t-B))>delta$ is small. We prove that for all $varepsilon>0$, there is a $delta>0$ such that if $A$ and $B$ are subsets of a compact abelian group $G$ having $m(A),m(B)>varepsilon$ and $m(A{+}_{delta}B)leqm(A)+m(B)+delta$, then there are sets $S,TsubseteqG$ such that $m(AriangleS)+m(BriangleT)<varepsilon$ and $m(S+T)leqm(S)+m(T)$. Appealing to known results, the latter inequality yields strong structural information on $S$ and $T$, and therefore on $A$ and $B$.

Recommendations

• An inverse theorem: when the measure of the sumset is the sum of the measures in a locally compact abelian group
• Small-sum pairs for upper Banach density in countable abelian groups
• On sets with small sumset in the circle
• On sets with small doubling property
• scientific article; zbMATH DE number 1315275

Cites work

• A new proof of Szemerédi's theorem
• A robust version of Freiman's $3k-4$ theorem and applications
• A step beyond Freiman's theorem for set addition modulo a prime
• A step beyond Kemperman's structure theorem
• A STEP BEYOND KNESER'S THEOREM FOR ABELIAN FINITE GROUPS
• A structure theorem for sets of small popular doubling
• Additive structure of difference sets and a theorem of Følner
• An inverse theorem for an inequality of Kneser
• An inverse theorem: when the measure of the sumset is the sum of the measures in a locally compact abelian group
• Approximate invariance for ergodic actions of amenable groups
• Arithmetic progressions in sumsets
• Characterizing the structure of \(A+B\) when \(A+B\) has small upper Banach density
• Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
• Essential Components
• Finite field models in additive combinatorics
• Finite generators for countable group actions in the Borel and Baire category settings
• From graph limits to higher order Fourier analysis
• Green's sumset problem at density one half
• scientific article; zbMATH DE number 1261674 (Why is no real title available?)
• scientific article; zbMATH DE number 918597 (Why is no real title available?)
• scientific article; zbMATH DE number 933467 (Why is no real title available?)
• Large independent sets in shift-invariant graphs
• Large sets with small doubling modulo \(p\) are well covered by an arithmetic progression
• Limits of functions on groups
• Loeb measures in practice: Recent advances. EMS lectures 1997
• Multiple recurrence in quasirandom groups
• Near equality in the Riesz-Sobolev inequality
• On products of sets in a locally compact group
• On sets with small sumset in the circle
• On small sumsets in an abelian group
• On the sum of two sets in a group
• Projections on Invariant Subspaces
• Quasi-periodic decompositions and the Kemperman structure theorem
• Quasirandom Groups
• SETS WITH SMALL SUMSET AND RECTIFICATION
• Small product sets in compact groups
• Small-sum pairs for upper Banach density in countable abelian groups
• Structural additive theory. Based on courses given at Karl-Franzens-Universität Graz, Austria, 2008--2012
• Summenmengen in lokalkompakten abelschen Gruppen
• Sumsets in difference sets
• The (α+2β)-Inequality on a Torus
• The structure of popular difference sets

Cited in

(9)

• Small-sum pairs for upper Banach density in countable abelian groups
• An inequality for the compositions of convex functions with convolutions and an alternative proof of the Brunn-Minkowski-Kemperman inequality
• Generalizations of Khovanskiĭ's theorem on growth of sumsets in abelian semigroups
• Small sumsets in \(\mathbb{R}\): full continuous \(3 k - 4\) theorem, critical sets
• Inequalities of Riesz-Sobolev type for compact connected abelian groups
• Value patterns of multiplicative functions and related sequences
• An inverse theorem: when the measure of the sumset is the sum of the measures in a locally compact abelian group
• Large sumsets from small subsets
• A Cauchy-Davenport theorem for locally compact groups

This page was built for publication: Semicontinuity of structure for small sumsets in compact abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5211017)