English

Subsets of $\mathbb{F}_p^n\times\mathbb{F}_p^n$ without L-shaped configurations

Combinatorics 2023-12-14 v3 Number Theory

Abstract

Fix a prime p11p\geq 11. We show that there exists a positive integer mm such that any subset of Fpn×Fpn\mathbb{F}_p^n\times\mathbb{F}_p^n containing no nontrivial configurations of the form (x,y),(x,y+z),(x,y+2z),(x+z,y)(x,y),(x,y+z),(x,y+2z),(x+z,y) must have density 1/logmn\ll 1/\log_{m}{n}, where logm\log_{m} denotes the mm-fold iterated logarithm. This gives the first reasonable bound in the multidimensional Szemer\'edi theorem for a two-dimensional four-point configuration in any setting.

Keywords

Cite

@article{arxiv.2205.01295,
  title  = {Subsets of $\mathbb{F}_p^n\times\mathbb{F}_p^n$ without L-shaped configurations},
  author = {Sarah Peluse},
  journal= {arXiv preprint arXiv:2205.01295},
  year   = {2023}
}

Comments

61 pages; v2: typos fixed and small changes made to the exposition; v3: referee suggestions incorporated