A Bilinear Bogolyubov Argument in Abelian Groups

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autore principale: Milićević, L.
Natura: Preprint
Pubblicazione: 2021
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866915078904741888
author Milićević, L.
author_facet Milićević, L.
contents The bilinear Bogolyubov argument for $\mathbb{F}_p^n$ states that if we start with a dense set $A \subseteq \mathbb{F}_p^n \times \mathbb{F}_p^n$ and carry out sufficiently many steps where we replace every row or every column of $A$ by the set difference of it with itself, then inside the resulting set we obtain a bilinear variety of codimension bounded in terms of density of $A$. In this paper, we generalize the bilinear Bogolyubov argument to arbitrary finite abelian groups. Namely, if $G$ and $H$ are finite abelian groups and $A \subseteq G \times H$ is a subset of density $δ$, then the procedure above applied to $A$ results in a set that contains a bilinear analogue of a Bohr set, with the appropriately defined codimension bounded above by $\log^{O(1)} (O(δ^{-1}))$.
format Preprint
id arxiv_https___arxiv_org_abs_2109_03093
institution arXiv
publishDate 2021
record_format arxiv
spellingShingle A Bilinear Bogolyubov Argument in Abelian Groups
Milićević, L.
Combinatorics
Number Theory
The bilinear Bogolyubov argument for $\mathbb{F}_p^n$ states that if we start with a dense set $A \subseteq \mathbb{F}_p^n \times \mathbb{F}_p^n$ and carry out sufficiently many steps where we replace every row or every column of $A$ by the set difference of it with itself, then inside the resulting set we obtain a bilinear variety of codimension bounded in terms of density of $A$. In this paper, we generalize the bilinear Bogolyubov argument to arbitrary finite abelian groups. Namely, if $G$ and $H$ are finite abelian groups and $A \subseteq G \times H$ is a subset of density $δ$, then the procedure above applied to $A$ results in a set that contains a bilinear analogue of a Bohr set, with the appropriately defined codimension bounded above by $\log^{O(1)} (O(δ^{-1}))$.
title A Bilinear Bogolyubov Argument in Abelian Groups
topic Combinatorics
Number Theory
url https://arxiv.org/abs/2109.03093