Growth in product replacement graphs

Anton Malyshev,Igor Pak

DOI: https://doi.org/10.48550/arXiv.1304.5320

2014-08-01

Abstract:We prove the exponential growth of product replacement graphs for a large class of groups. Much of our effort is dedicated to the study of product replacement graphs of Grigorchuk groups, where the problem is most difficult.

Group Theory,Combinatorics

What problem does this paper attempt to address?

Non-amenability of product replacement graphs

Anton Malyshev

DOI: https://doi.org/10.48550/arXiv.1305.2408

2013-05-11

Abstract:We prove non-amenability of the product replacement graphs \Gamma_n(G) for uniformly non-amenable groups. We also prove it for Z-large groups, when n is sufficiently large. It follows that \Gamma_n(G) is non-amenable when n is sufficiently large for hyperbolic groups, linear groups, and elementary amenable groups.

Group Theory,Combinatorics
Substitutional subshifts and growth of groups

Volodymyr Nekrashevych

DOI: https://doi.org/10.48550/arXiv.2008.04983

2020-08-12

Abstract:We show how to use symbolic dynamics of Schreier graphs to embed the Grigorchuk group into a simple torsion group of intermediate growth and to construct uncountably many growth types of simple torsion groups.

Group Theory
Uniform exponential growth for groups with proper product actions on hyperbolic spaces

Renxing Wan,Wenyuan Yang

2024-07-22

Abstract:This paper studies the locally uniform exponential growth and product set growth for a finitely generated group $G$ acting properly on a finite product of hyperbolic spaces. Under the assumption of coarsely dense orbits or shadowing property on factors, we prove that any finitely generated non-virtually abelian subgroup has uniform exponential growth. These assumptions are fulfilled in many hierarchically hyperbolic groups, including mapping class groups, specially cubulated groups and BMW groups. Moreover, if $G$ acts weakly acylindrically on each factor, we show that, with two exceptional classes of subgroups, $G$ has uniform product set growth. As corollaries, this gives a complete classification of subgroups with product set growth for any group acting discretely on a simply connected manifold with pinched negative curvature, for groups acting acylindrically on trees, and for 3-manifold groups.

Group Theory
Growth of products of subsets in finite simple groups

Daniele Dona,Attila Maróti,László Pyber

DOI: https://doi.org/10.1112/blms.13093

IF: 1.036

2024-05-25

Bulletin of the London Mathematical Society

Abstract:We prove that the product of a subset and a normal subset inside any finite simple non‐abelian group G grows rapidly. More precisely, if A and B are two subsets with B normal and neither of them is too large inside G , then |AB|⩾|A||B|1−ε where ε>0 can be taken arbitrarily small. This is a somewhat surprising strengthening of a theorem of Liebeck, Schul, and Shalev.

mathematics
Uniform Exponential Growth of Polycyclic Groups

Roger C. Alperin

DOI: https://doi.org/10.48550/arXiv.math/0010280

2000-10-29

Abstract:We prove that polycyclic groups are of polynomial growth or of uniform exponential growth.

Group Theory
Expanders and growth of normal subsets in finite simple groups of Lie type

Saveliy V. Skresanov

2024-06-18

Abstract:We show that some classical results on expander graphs imply growth results on normal subsets in finite simple groups. As one application, it is shown that given a nontrivial normal subset $ A $ of a finite simple group $ G $ of Lie type of bounded rank, we either have $ G \setminus \{ 1 \} \subseteq A^2 $ or $ |A^2| \geq |A|^{1+\epsilon} $, for $ \epsilon > 0 $. This improves a result of Gill, Pyber, Short and Szabó, and partially resolves a question of Pyber from the Kourovka notebook. We also propose a variant of Gowers' trick for two subsets, and give applications to products of large subsets in groups of Lie type, improving some results of Larsen, Shalev and Tiep.

Group Theory,Combinatorics
Cutoff for product replacement on finite groups

Yuval Peres,Ryokichi Tanaka,Alex Zhai

DOI: https://doi.org/10.48550/arXiv.1805.05025

2018-05-14

Abstract:We analyze a Markov chain, known as the product replacement chain, on the set of generating $n$-tuples of a fixed finite group $G$. We show that as $n \rightarrow \infty$, the total-variation mixing time of the chain has a cutoff at time $\frac{3}{2} n \log n$ with window of order $n$. This generalizes a result of Ben-Hamou and Peres (who established the result for $G = \mathbb{Z}/2$) and confirms a conjecture of Diaconis and Saloff-Coste that for an arbitrary but fixed finite group, the mixing time of the product replacement chain is $O(n \log n)$.

Probability
Growth of quasiconvex subgroups

FRANÇOIS DAHMANI,DAVID FUTER,DANIEL T. WISE

DOI: https://doi.org/10.1017/S0305004118000440

2019-11-25

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:We prove that non-elementary hyperbolic groups grow exponentially more quickly than their infinite index quasiconvex subgroups. The proof uses the classical tools of automatic structures and Perron–Frobenius theory. We also extend the main result to relatively hyperbolic groups and cubulated groups. These extensions use the notion of growth tightness and the work of Dahmani, Guirardel and Osin on rotating families.

mathematics
Infinite graph product of groups I: Geometry of the extension graph

Koichi Oyakawa

2024-12-03

Abstract:We introduce the extension graph of graph product of groups and study its geometry. This enables us to study properties of graph product by exploiting large scale geometry of its defining graph. In particular, we show that the extension graph is isomorphic to the crossing graph of a canonical quasi-median graph and exhibits the same phenomenon about asymptotic dimension as quasi-trees of metric spaces studied by Bestvina-Bromberg-Fujiwara. As an application of the extension graph, we prove relative hyperbolicity of graph-wreath product. This provides a new construction of relatively hyperbolic groups.

Group Theory,Dynamical Systems,Geometric Topology,Operator Algebras
On the growth of actions of free products

Adrien Le Boudec,Nicolás Matte Bon,Ville Salo

2024-01-13

Abstract:If $G$ is a finitely generated group and $X$ a $G$-set, the growth of the action of $G$ on $X$ is the function that measures the largest cardinality of a ball of radius $n$ in the Schreier graph $\Gamma(G,X)$. In this note we consider the following stability problem: if $G,H$ are finitely generated groups admitting a faithful action of growth bounded above by a function $f$, does the free product $G \ast H$ also admit a faithful action of growth bounded above by $f$? We show that the answer is positive under additional assumptions, and negative in general. In the negative direction, our counter-examples are obtained with $G$ either the commutator subgroup of the topological full group of a minimal and expansive homeomorphism of the Cantor space; or $G$ a Houghton group. In both cases, the group $G$ admits a faithful action of linear growth, and we show that $G\ast H$ admits no faithful action of subquadratic growth provided $H$ is non-trivial. In the positive direction, we describe a class of groups that admit actions of linear growth and is closed under free products and exhibit examples within this class, among which the Grigorchuk group.

Group Theory
Growth in linear groups

Sean Eberhard,Brendan Murphy,László Pyber,Endre Szabó

2024-04-26

Abstract:We prove a conjecture of Helfgott on the structure of sets of bounded tripling in bounded rank, which states the following. Let $A$ be a finite symmetric subset of $\mathrm{GL}_n(\mathbf{F})$ for any field $\mathbf{F}$ such that $|A^3| \leq K|A|$. Then there are subgroups $H \trianglelefteq \Gamma \trianglelefteq \langle A \rangle$ such that $A$ is covered by $K^{O_n(1)}$ cosets of $\Gamma$, $\Gamma/H$ is nilpotent of step at most $n-1$, and $H$ is contained in $A^{O_n(1)}$. This theorem includes the Product Theorem for finite simple groups of bounded rank as a special case. As an application of our methods we also show that the diameter of sufficiently quasirandom finite linear groups is poly-logarithmic.

Group Theory,Combinatorics
Growth Problems for Representations of Finite Groups

David He

2024-08-08

Abstract:We compute (exact and asymptotic) formulas for the growth rate of the number of indecomposable summands in the tensor powers of representations of finite groups, over a field of arbitrary characteristic. In characteristic zero, we obtain in addition a general exact formula for the growth rate and give a complete solution to the growth problems in terms of the character table. We also provide code used to compute our formulas.

Representation Theory,Category Theory
Graph products and measure equivalence: classification, rigidity, and quantitative aspects

Amandine Escalier,Camille Horbez

2024-01-10

Abstract:We study graph products of groups from the viewpoint of measured group theory. We first establish a full measure equivalence classification of graph products of countably infinite groups over finite simple graphs with no transvection and no partial conjugation. This finds applications to their classification up to commensurability, and up to isomorphism, and to the study of their automorphism groups. We also derive structural properties of von Neumann algebras associated to probability measure-preserving actions of graph products. Variations of the measure equivalence classification statement are given with fewer assumptions on the defining graphs. We also provide a quantified version of our measure equivalence classification theorem, that keeps track of the integrability of associated cocycles. As an application, we solve an inverse problem in quantitative orbit equivalence for a large family of right-angled Artin groups. We then establish several rigidity theorems. First, in the spirit of work of Monod-Shalom, we achieve rigidity in orbit equivalence for probability measure-preserving actions of graph products, upon imposing extra ergodicity assumptions. Second, we establish a sufficient condition on the defining graph and on the vertex groups ensuring that a graph product G is rigid in measure equivalence among torsion-free groups (in the sense that every torsion-free countable group H which is measure equivalent to G, is in fact isomorphic to G). Using variations over the Higman groups as the vertex groups, we construct the first example of a group which is rigid in measure equivalence, but not in quasi-isometry, among torsion-free groups.

Group Theory,Dynamical Systems,Geometric Topology,Operator Algebras
The Growth of Tate–Shafarevich Groups in Cyclic Extensions

Yi Ouyang,Jianfeng Xie

DOI: https://doi.org/10.1112/s0010437x22007734

2022-01-01

Compositio Mathematica

Abstract:Let $p$ be a prime number. Kęstutis Česnavičius proved that for an abelian variety $A$ over a global field $K$, the $p$-Selmer group $\mathrm {Sel}_{p}(A/L)$ grows unboundedly when $L$ ranges over the $(\mathbb {Z}/p\mathbb {Z})$-extensions of $K$. Moreover, he raised a further problem: is $\dim _{\mathbb {F}_{p}} \text{III} (A/L) [p]$ also unbounded under the above conditions? In this paper, we give a positive answer to this problem in the case $p \neq \mathrm {char}\,K$. As an application, this result enables us to generalize the work of Clark, Sharif and Creutz on the growth of potential $\text{III}$ in cyclic extensions. We also answer a problem proposed by Lim and Murty concerning the growth of the fine Tate–Shafarevich groups.
Multivariate growth and cogrowth

Rostislav Grigorchuk,Jean-Francois Quint,Asif Shaikh

2023-11-28

Abstract:We investigate a multivariate growth series $\Gamma_L({\bf z}), {\bf z} \in \mathbb{C}^d$ associated with a regular language $L$ over an alphabet of cardinality $d.$ Our focus is on languages coming from subgroups of the free group and from subshifts of finite type. We develop a mechanism for computing the rate of growth $\varphi_L({\bf r})$ of $L$ in the direction ${\bf r} \in \mathbb{R}^d$. Using the concave growth condition (CG) introduced by the second author in \cite{quint2002divergence} and the results of Convex Analysis we represent $\psi_L({\bf r}) = \log\left(\varphi_L({\bf r})\right)$ as a support function of a convex set that is a closure of the $\textrm{Relog}$ image of the domain of absolute convergence of $\Gamma_L({\bf z})$. This allows us to compute $\psi_L({\bf r})$ in some important cases, like a Fibonacci language or a language of freely reduced words representing elements of a free group $F_2$. Also we show that the methods of the Large deviation theory can be used as an alternative approach. Finally, we suggest some open problems directed on the possibility of extensions of the results of the first author from \cite{grigorchuk1980symmetrical} on multivariate cogrowth.

Group Theory,Formal Languages and Automata Theory
On the subexponential growth of groups acting on rooted trees

Dominik Francoeur

DOI: https://doi.org/10.48550/arXiv.1702.08047

2017-02-26

Abstract:We show that every group in a large family of (not necessarily torsion) spinal groups acting on the ternary rooted tree is of subexponential growth.

Group Theory
An extension of the cogrowth formula to arbitrary subsets of the tree

Doron Puder

2024-05-28

Abstract:What is the probability that a random walk in the free group ends in a proper power? Or in a primitive element? We present a formula that computes the exponential decay rate of the probability that a random walk on a regular tree ends in a given subset, in terms of the exponential decay rate of the analogous probability of the non-backtracking random walk. This generalizes the well-known cogrowth formula of Grigorchuk, Cohen and Northshield.

Probability,Combinatorics,Group Theory
Exponential sums over small subgroups, revisited

Emmanuel Kowalski

2024-01-29

Abstract:This is an expository account of the proof of the theorem of Bourgain, Glibichuk and Konyagin which provides non-trivial bounds for exponential sums over very small multiplicative subgroups of prime finite fields.

Number Theory,Combinatorics
GGS-groups acting on trees of growing degrees

Rachel Skipper,Anitha Thillaisundaram

2024-06-01

Abstract:We consider analogues of Grigorchuk-Gupta-Sidki (GGS-)groups acting on trees of growing degree; the so-called growing GGS-groups. These groups are not just infinite and do not possess the congruence subgroup property, but many of them are branch and have the $p$-congruence subgroup property, for a prime $p$. Among them, we find groups with maximal subgroups only of finite index, and with infinitely many such maximal subgroups. These give the first examples of finitely generated branch groups with infinitely many finite-index maximal subgroups. Additionally, we prove that congruence quotients of growing GGS-groups associated to a defining vector of zero sum give rise to Beauville groups.

Group Theory

Growth in product replacement graphs

Non-amenability of product replacement graphs

Substitutional subshifts and growth of groups

Uniform exponential growth for groups with proper product actions on hyperbolic spaces

Growth of products of subsets in finite simple groups

Uniform Exponential Growth of Polycyclic Groups

Expanders and growth of normal subsets in finite simple groups of Lie type

Cutoff for product replacement on finite groups

Growth of quasiconvex subgroups

Infinite graph product of groups I: Geometry of the extension graph

On the growth of actions of free products

Growth in linear groups

Growth Problems for Representations of Finite Groups

Graph products and measure equivalence: classification, rigidity, and quantitative aspects

The Growth of Tate–Shafarevich Groups in Cyclic Extensions

Multivariate growth and cogrowth

On the subexponential growth of groups acting on rooted trees

An extension of the cogrowth formula to arbitrary subsets of the tree

Exponential sums over small subgroups, revisited

GGS-groups acting on trees of growing degrees