On linear configurations in subsets of compact abelian groups, and invariant measurable hypergraphs

DOI10.1007/S00026-016-0313-1zbMATH Open1396.11019arXiv1408.6753OpenAlexW1774627331MaRDI QIDQ331490FDOQ331490

Authors: Pablo Candela, Lluís Vena, Balázs Szegedy 

Publication date: 27 October 2016

Published in: Annals of Combinatorics (Search for Journal in Brave)

Abstract: We prove an arithmetic removal result for all compact abelian groups, generalizing a finitary removal result of Kr'al', Serra and the third author. To this end, we consider infinite measurable hypergraphs that are invariant under certain group actions, and for these hypergraphs we prove a symmetry-preserving removal lemma, which extends a finitary result of the same name by the second author. We deduce our arithmetic removal result by applying this lemma to a specific type of invariant measurable hypergraph. As a direct application, we obtain the following generalization of Szemer'edi's theorem: for any compact abelian group $G$, any measurable set $AsubsetG$ with Haar probability $mu(A)geqalpha>0$ satisfies ${\displaystyle }$int_Gint_G; 1_A�ig(x�ig); 1_A�ig(x+r�ig) cdots 1_A�ig(x+(k-1)r�ig) ; dmu(x) dmu(r) geq c,${\displaystyle }$ where the constant $c=c(alpha,k)>0$ is valid uniformly for all $G$. This result is shown to hold more generally for any translation-invariant system of $r$ linear equations given by an integer matrix with coprime $rimesr$ minors.

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

Recommendations

• A removal lemma for linear configurations in subsets of the circle
• On the removal lemma for linear systems over abelian groups
• Szemerédi-type theorems for subsets of locally compact abelian groups of positive upper Banach density
• The symmetry preserving removal Lemma
• A combinatorial proof of the removal lemma for groups

zbMATH Keywords

hypergraphscompact abelian groupslinear configurationsremoval results

Mathematics Subject Classification ID

Compact groups (22C05) Matrices, determinants in number theory (11C20) Hypergraphs (05C65) Arithmetic combinatorics; higher degree uniformity (11B30) Subgroups of abelian groups (20K27) General properties and structure of LCA groups (22B05)

Cites Work

• Measure theory. Vol. I and II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new proof of Szemerédi's theorem
• An arithmetic regularity lemma, an associated counting lemma, and applications
• On sets of integers containing k elements in arithmetic progression
• Hypergraph containers
• Title not available (Why is that?)
• Principles of harmonic analysis
• Quasirandom Groups
• Solving a linear equation in a set of integers II
• The structure of compact groups. A primer for the student -- a handbook for the expert
• A variant of the hypergraph removal lemma
• A removal lemma for systems of linear equations over finite fields
• A Szemerédi-type regularity lemma in abelian groups, with applications
• A quantitative improvement for Roth's theorem on arithmetic progressions: Table 1.
• A proof of Green's conjecture regarding the removal properties of sets of linear equations
• The symmetry preserving removal Lemma
• On Roth's theorem on progressions
• On the removal lemma for linear systems over abelian groups
• A combinatorial proof of the removal lemma for groups
• On the number of monochromatic solutions of integer linear systems on abelian groups
• Graph removal lemmas
• Title not available (Why is that?)
• A removal lemma for linear configurations in subsets of the circle
• Groups of Automorphisms of Borel Spaces
• On the asymptotic maximal density of a set avoiding solutions to linear equations modulo a prime

Cited In (5)

• Sum-avoiding sets in groups
• Szemerédi-type theorems for subsets of locally compact abelian groups of positive upper Banach density
• A Plünnecke-Ruzsa inequality in compact abelian groups
• The symmetry preserving removal Lemma
• A Szemerédi-type theorem for subsets of the unit cube

This page was built for publication: On linear configurations in subsets of compact abelian groups, and invariant measurable hypergraphs

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