Related papers: Ajtai-Szemer\'edi Theorems over quasirandom groups

We study the non-abelian tensor square $G\otimes G$ for the class of groups G that are finitely generated modulo their derived subgroup. In particular, we find conditions on G/G' so that $G\otimes G$ is isomorphic to the direct product of…

To generalize some fundamental results on group schemes to the super context, we study the quotient sheaf $G \tilde{/} H$ of an algebraic supergroup $G$ by its closed supersubgroup $H$, in arbitrary characteristic $\neq$ 2. Our main theorem…

Motivated by generalizing Szemer\'edi's theorem, we the elements in a discrete quantum group fixing a sequence of finite subsets and prove that the set of these elements is a quantum subgroup. Using this we obtain a version of mean ergodic…

Given a group $G$ and a subset $X \subset G$, an element $g \in G$ is called quasi-positive if it is equal to a product of conjugates of elements in the semigroup generated by $X$. This notion is important in the context of braid groups,…

The Grothendieck-Serre conjecture predicts that on a regular local ring, no nontrivial reductive torsor becomes trivial over the fraction field. While this conjecture has been proven in the equicharacteristic case, it remains open in the…

We first extend Cheeger-Colding Almost Splitting Theorem to smooth metric measure spaces. Arguments utilizing this extension of the Almost Splitting Theorem show that if a smooth metric measure space has almost nonnegative Bakry-Emery Ricci…

The notion of partial geodesic was introduced by Jamshidpey et al. in "Sets of medians in the non-geodesic pseudometric space of unsigned genomes with breakpoints", 2014. In this paper, we study the density of points on non-trivial partial…

Fix $k \geq 6$. We prove that any large enough finite group $G$ contains $k$ elements which span quadratically many triples of the form $(a,b,ab) \in S \times G$, given any dense set $S \subseteq G \times G$. The quadratic bound is…

A famous theorem of Szemer\'edi asserts that given any density $0 < \delta \leq 1$ and any integer $k \geq 3$, any set of integers with density $\delta$ will contain infinitely many proper arithmetic progressions of length $k$. For general…

Let $A$ be a subset of positive relative upper density of $\PP^d$, the $d$-tuples of primes. We prove that $A$ contains an affine copy of any finite set $F\subs\Z^d$, which provides a natural multi-dimensional extension of the theorem of…

Fix $\varepsilon > 0$. We say that a finite group $G$ is $\varepsilon$-quasirandom if every nontrivial irreducible complex representation of $G$ has degree at least $|G|^\varepsilon$. In this paper, we give a structure theorem for large…

According to the well-known Heyde theorem, the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. In the article, we…

Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…

An invariant random subgroup of the countable group {\Gamma} is a random subgroup of {\Gamma} whose distribution is invariant under conjugation by all elements of {\Gamma}. We prove that for a nonamenable invariant random subgroup H, the…

We prove that quadratical quasigroups form a variety Q of right and left simple groupoids. New examples of quadratical quasigroups of orders 25 and 29 are given. The fine structure of quadratical quasigroups and inter-relationships between…

A subgroup $H\leq G$ is said to be almost normal if every conjugate of $H$ is commensurable to $H$. If $H$ is almost normal, there is a well-defined quotient space $G/H$. We show that if a group $G$ has type $F_{n+1}$ and contains an almost…

Let $S,T$ be two numerical semigroups. We study when $S$ is one half of $T$, with $T$ almost symmetric. If we assume that the type of $T$, $t(T)$, is odd, then for any $S$ there exist infinitely many such $T$ and we prove that $1 \leq t(T)…

We introduce the concept of a restriction semigroupoid S, which unifies the notion of restriction semigroups and restriction categories within a single structure. We prove a representation theorem, showing that every restriction…

We present a survey of ergodic theorems for actions of algebraic and arithmetic groups recently established by the authors, as well as some of their applications. Our approach is based on spectral methods employing the unitary…

A classical result in additive combinatorics, which is a combination of Balog-Szemer\'edi-Gowers theorem and a variant of Freiman's theorem due to Ruzsa, says that if a subset $A$ of $\mathbb{F}_p^n$ contains at least $c |A|^3$ additive…