Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2109.03093 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |