Abstract:Two versions of the Ajtai-Szemerédi Theorem are considered in the Cartesian square of a finite non-Abelian group G. In case G is sufficiently quasirandom, we obtain strong forms of both versions: if E ⊆ G × G is fairly dense, then E contains a large number of the desired patterns for most individual choices of 'common difference'. For one of the versions, we also show that this set of good common differences is syndetic.
Let G be a finite D-quasirandom group and A ⊂ Gk a δ-dense subset. Then the density of the set of side lengths g of corners
$$
\{(a_{1},\dotsc,a_{k}),(ga_{1},a_{2},\dotsc,a_{k}),\dotsc,(ga_{1},\dotsc,ga_{k})\} \subset A
$$
converges to 1 as D → ∞.
Let G be a finite D-quasirandom group and A ⊂ Gk a δ-dense subset. Then the density of the set of side lengths g of corners
$$
\{(a_{1},\dotsc,a_{k}),(ga_{1},a_{2},\dotsc,a_{k}),\dotsc,(ga_{1},\dotsc,ga_{k})\} \subset A
$$
converges to 1 as D → ∞.
“…There are a number of subtleties around the extent to which one can replace, say, pzx, yq with pxz, yq, and we refer the reader to the papers of Solymosi [Sol13] and Austin [Aus16] for some discussion.…”
For G a finite non-Abelian group we write cpGq for the probability that two randomly chosen elements commute and kpGq for the largest integer such that any kpGqcolouring of G is guaranteed to contain a monochromatic quadruple px, y, xy, yxq with xy ‰ yx. We show that cpGq Ñ 0 if and only if kpGq Ñ 8.
“…Theorem 1.1. Let G be a finite simple group of Lie type with rank r, and let A be a generating subset of G. Then either A 3 D G or jA 3 j > jAj 1Cc ;…”
Given a Chevalley group G.q/ and a parabolic subgroup P G.q/, we prove that for any set A there is a certain growth of A relatively to P , namely, either AP or PA is much larger than A. Also, we study a question about the intersection of A n with parabolic subgroups P for large n. We apply our method to obtain some results on a modular form of Zaremba's conjecture from the theory of continued fractions, and make the first step towards Hensley's conjecture about some Cantor sets with Hausdorff dimension greater than 1=2.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.