A variant of the Corners theorem

• Published in: Mathematical proceedings of the Cambridge Philosophical Society 2021-11, Vol.171 (3), p.607-621
• Main Author: MANDACHE, MATEI
• Format: Article
• Language: English
• Subjects: Corners; Group theory; Random variables; Theorems
• ISSN: 0305-0041; 1469-8064
• DOI: 10.1017/S0305004121000049

The Corners theorem states that for any α > 0 there exists an N 0 such that for any abelian group G with |G| = N ≥ N0 and any subset A ⊂ G×G with |A| ≥ αN2 we can find a corner in A, i.e. there exist x, y, d ∈ G with d ≠ 0 such that (x,y),(x+d,y),(x,y+d) ∈ A. Here, we consider a stronger version, in which we try to find many corners of the same size. Given such a group G and subset A, for each d ∈ G we define Sd={(x,y) ∈ G × G: (x,y),(x+d,y),(x,y+d) ∈ A}. So |Sd| is the number of corners of size d. Is it true that, provided N is sufficiently large, there must exist some d ∈G\{0} such that |Sd|>(α3-ϵ)N2? We answer this question in the negative. We do this by relating the problem to a much simpler-looking problem about random variables. Then, using this link, we show that there are sets A with |Sd|>Cα3.13N2 for all d ≠ 0, where C is an absolute constant. We also show that in the special case where $G = {\mathbb{F}}_2^n$, one can always find a d with |Sd|>(α4-ϵ)N2.