On a Generalization of Szemerédi's Theorem

Let N be a natural number and A ⊂ [1, …, N]2 be a set of cardinality at least N2/(loglog⁡N)c is an absolute constant. We prove that A contains a triple {(k, m), (k+d, m), (k, m+d)}, where d > 0. This theorem is a two‐dimensional generalization of Szemerédi's theorem on arithmetic progressions. 2000 Mathematics Subject Classification 35J25, 37A15.