Connectedness of a space of branched coverings with a periodic cycle
We prove the connectedness of the following locus: the space of degree-$d$ branched self-coverings of $S^2$ with two critical points of order $d$, one of which is $n$-periodic.
Source author record
Laurent Bartholdi
Laurent Bartholdi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
46works
20topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
46 published item(s)
preprint2022arXiv
Growth of groups with linear Schreier graphs
We introduce a new method of proving upper estimates of growth of finitely generated groups and constructing groups of intermediate growth using graphs of their actions. These estimates are of the form $\exp(n^α)$ for some $α<1$, and provide the first examples of such bounds for simple groups of intermediate growth.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Representation zeta functions of self-similar branched groups
We compute the number of irreducible linear representations of self-similar branch groups, by expressing these numbers as the coëfficients a_n of a Dirichlet series sum a_n n^{-s}. We show that this Dirichlet series has a positive abscissa of convergence, is algebraic over the ring Q[2^{-s},...,P^{-s}] for some integer P, and show that it can be analytically continued (through root singularities) to the left half-plane. We compute the abscissa of convergence and the functional equation for some prominent examples of branch groups, such as the Grigorchuk and Gupta-Sidki groups.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Tree languages and branched groups
We study the portraits of isometries of rooted trees - the labelling of the tree, at each vertex, by the permutation of its descendants - in terms of languages. We characterize regularly branched self-similar groups in terms of $ω$-regular languages. We deduce the algorithmic decidability of some problems, such as the comparison of regularly branched contracting groups, and their orbit structure on the boundary of the rooted tree.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
An odd order group without the dimension property
We construct a finitely presented group $G$ such that the $7$th dimension quotient $G\cap(1+\varpi(\mathbb Z G)^7)/γ_7(G)$ has an element of order $3$; this immediately leads to a finite $3$-group without the dimension property. This contradicts a series of results by N. Gupta.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
Group and Lie algebra filtrations and homotopy groups of spheres
We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the "dimension problem" by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be embedded in the dimension quotient of a group. This is proven by embedding for arbitrary $s,d$ the torsion of the homotopy group $π_s(S^d)$ into a dimension quotient, via a result of Wu. In particular, this invalidates some long-standing results in the literature, since for every prime $p$, there is some $p$-torsion in $π_{2p}(S^2)$ by a result of Serre. We explain in this manner Rips's famous counterexample to the dimension conjecture in terms of the homotopy group $π_4(S^2)=\mathbb Z/2\mathbb Z$. We finally obtain analogous results in the context of Lie rings: for every prime $p$ there exists a Lie ring with $p$-torsion in some dimension quotient.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Commutator width in the first Grigorchuk group
Let $G$ be the first Grigorchuk group. We show that the commutator width of $G$ is $2$: every element $g\in [G,G]$ is a product of two commutators, and also of six conjugates of $a$. Furthermore, we show that every finitely generated subgroup $H\leq G$ has finite commutator width, which however can be arbitrarily large, and that $G$ contains a subgroup of infinite commutator width. The proofs were assisted by the computer algebra system GAP.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Equitable voting rules
May's Theorem (1952), a celebrated result in social choice, provides the foundation for majority rule. May's crucial assumption of symmetry, often thought of as a procedural equity requirement, is violated by many choice procedures that grant voters identical roles. We show that a weakening of May's symmetry assumption allows for a far richer set of rules that still treat voters equally. We show that such rules can have minimal winning coalitions comprising a vanishing fraction of the population, but not less than the square root of the population size. Methodologically, we introduce techniques from group theory and illustrate their usefulness for the analysis of social choice questions.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Groups with ALOGTIME-hard word problems and PSPACE-complete compressed word problems
We give lower bounds on the complexity of the word problem of certain non-solvable groups: for a large class of non-solvable infinite groups, including in particular free groups, Grigorchuk's group and Thompson's groups, we prove that their word problem is $\mathsf{NC}^1$-hard. For some of these groups (including Grigorchuk's group and Thompson's groups) we prove that the compressed word problem (which is equivalent to the circuit evaluation problem) is $\mathsf{PSPACE}$-complete.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Right Angled Artin Groups and partial commutation, old and new
We compute the $p$-central and exponent-$p$ series of all right angled Artin groups, and compute the dimensions of their subquotients. We also describe their associated Lie algebras, and relate them to the cohomology ring of the group as well as to a partially commuting polynomial ring and power series ring. We finally show how the growth series of these various objects are related to each other.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
The Thue-Morse substitutions and self-similar groups and algebras
We introduce self-similar algebras and groups closely related to the Thue-Morse sequence, and begin their investigation by describing a character on them, the "spread" character.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Algorithmic aspects of branched coverings IV/V. Expanding maps
Thurston maps are branched self-coverings of the sphere whose critical points have finite forward orbits. We give combinatorial and algebraic characterizations of Thurston maps that are isotopic to expanding maps as "Levy-free" maps and as maps with "contracting biset". We prove that every Thurston map decomposes along a unique minimal multicurve into Levy-free and finite-order pieces, and this decomposition is algorithmically computable. Each of these pieces admits a geometric structure. We apply these results to matings of post-critically finite polynomials, extending a criterion by Mary Rees and Tan Lei: they are expanding if and only if they do not admit a cycle of periodic rays.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Amenability of groups is characterized by Myhill's Theorem
We prove a converse to Myhill's "Garden-of-Eden" theorem and obtain in this manner a characterization of amenability in terms of cellular automata: "A group $G$ is amenable if and only if every cellular automaton with carrier $G$ that has gardens of Eden also has mutually erasable patterns." This answers a question by Schupp, and solves a conjecture by Ceccherini-Silberstein, Machì and Scarabotti. An appendix by Dawid Kielak proves that group rings without zero divisors are Ore domains precisely when the group is amenable, answering a conjecture attributed to Guba.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Poisson-Furstenberg boundary and growth of groups
We study the Poisson-Furstenberg boundary of random walks on permutational wreath products. We give a sufficient condition for a group to admit a symmetric measure of finite first moment with non-trivial boundary, and show that this criterion is useful to establish exponential word growth of groups. We construct groups of exponential growth such that all finitely supported (not necessarily symmetric, possibly degenerate) random walks on these groups have trivial boundary. This gives a negative answer to a question of Kaimanovich and Vershik.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
The rational homology of the outer automorphism group of $F_7$
We compute the homology groups $H_*(\operatorname{Out}(F_7);\mathbb Q)$ of the outer automorphism group of the free group of rank $7$. We produce in this manner the first rational homology classes of $\operatorname{Out}(F_n)$ that are neither constant ($*=0$) nor Morita classes ($*=2n-4$).
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Algorithmic aspects of branched coverings I. Van Kampen's Theorem for bisets
We develop a general theory of "bisets": sets with two commuting group actions. They naturally encode topological correspondences. Just as van Kampen's theorem decomposes into a graph of groups the fundamental group of a space given with a cover, we prove analogously that the biset of a correspondence decomposes into a "graph of bisets": a graph with bisets at its vertices, given with some natural maps. The "fundamental biset" of the graph of bisets recovers the original biset. We apply these results to decompose the biset of a Thurston map (a branched self-covering of the sphere whose critical points have finite orbits) into a graph of bisets. This graph closely parallels the theory of Hubbard trees. This is the first part of a series of five articles, whose main goal is to prove algorithmic decidability of combinatorial equivalence of Thurston maps.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Algorithmic decidability of Engel's property for automaton groups
We consider decidability problems associated with Engel's identity ($[\cdots[[x,y],y],\dots,y]=1$ for a long enough commutator sequence) in groups generated by an automaton. We give a partial algorithm that decides, given $x,y$, whether an Engel identity is satisfied. It succeeds, importantly, in proving that Grigorchuk's $2$-group is not Engel. We consider next the problem of recognizing Engel elements, namely elements $y$ such that the map $x\mapsto[x,y]$ attracts to $\{1\}$. Although this problem seems intractable in general, we prove that it is decidable for Grigorchuk's group: Engel elements are precisely those of order at most $2$. Our computations were implemented using the package FR within the computer algebra system GAP.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Homological finiteness properties of wreath products
We study the homological finiteness property FPm of permutational wreath products.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Distortion of imbeddings of groups of intermediate growth into metric spaces
For every metric space $\mathcal X$ in which there exists a sequence of finite groups of bounded-size generating set that does not embed coarsely, and for every unbounded, increasing function $ρ$, we produce a group of subexponential word growth all of whose imbeddings in $\mathcal X$ have distortion worse than $ρ$. This applies in particular to any B-convex Banach space $\mathcal X$, such as Hilbert space.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Imbeddings into groups of intermediate growth
Every countable group that does not contain a finitely generated subgroup of exponential growth imbeds in a finitely generated group of subexponential growth. This produces in particular the first examples of groups of subexponential growth containing the additive group of the rationals.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Wreath products of cocommutative Hopf algebras
We define wreath products of cocommutative Hopf algebras, and show that they enjoy a universal property of classifying cleft extensions, analogous to the Kaloujnine-Krasner theorem for groups. We show that the group ring of a wreath product of groups is the wreath product of their group rings, and that (with a natural definition of wreath products of Lie algebras) the universal enveloping algebra of a wreath product of Lie algebras is the wreath product of their enveloping algebras. We recover the aforementioned result that group extensions may be classified as certain subgroups of a wreath product, and that Lie algebra extensions may also be classified as certain subalgebras of a wreath product.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Algorithmic construction of Hurwitz maps
We describe an algorithm that, given a k-tuple of permutations representing the monodromy of a rational map, constructs an arbitrarily precise floating-point complex approximation of that map. We then explain how it has been used to study a problem in dynamical systems raised by Cui.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Automorphisms of free groups, I
We describe, up to degree equal to the rank, the Lie algebra associated with the automorphism group of a free group. We compute in particular the ranks of its homogeneous components, and their structure as modules over the linear group. Along the way, we infirm (but confirm a weaker form of) a conjecture by Andreadakis, and answer a question by Bryant-Gupta-Levin-Mochizuki.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Groups of given intermediate word growth
We show that there exists a finitely generated group of growth ~f for all functions f:\mathbb{R}\rightarrow\mathbb{R} satisfying f(2R) \leq f(R)^{2} \leq f(ηR) for all R large enough and η\approx2.4675 the positive root of X^{3}-X^{2}-2X-4. This covers all functions that grow uniformly faster than \exp(R^{\log2/\logη}). We also give a family of self-similar branched groups of growth ~\exp(R^α) for a dense set of α\in(\log2/\logη,1).
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Lie Dimension Subrings
We compare, for L a Lie ring over the integers, its lower central series (γ_n(L))_{n>0} and its dimension series defined by δ_n(L):=L\cap \varpi^n(L) in the universal enveloping algebra of L. We show that γ_n(L)=δ_n(L) for all n<4, but give an example showing that they may differ if n=4. We introduce simplicial methods to describe these results, and to serve as a possible tool for further study of the dimension series.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Ordering the space of finitely generated groups
We consider the oriented graph whose vertices are isomorphism classes of finitely generated groups, with an edge from G to H if, for some generating set T in H and some sequence of generating sets S_i in G, the marked balls of radius i in (G,S_i) and in (H,T) coincide. Given a nilpotent group G, we characterize its connected component in this graph: if that connected component contains at least one torsion-free group, then it consists of those groups which generate the same variety of groups as G. The arrows in the graph define a preorder on the set of isomorphism classes of finitely generated groups. We show that a partial order can be imbedded in this preorder if and only if it is realizable by subsets of a countable set under inclusion. We show that every countable group imbeds in a group of non-uniform exponential growth. In particular, there exist groups of non-uniform exponential growth that are not residually of subexponential growth and do not admit a uniform imbedding into Hilbert space.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Images of Golod-Shafarevich algebras with small growth
We show that Golod-Shafarevich algebras can be homomorphically mapped onto infinite-dimensional algebras with polynomial growth, under mild assumptions of the number of relations of given degrees. In case these algebras are finitely presented, we show they can be mapped onto an infinite dimensional algebras with quadratic growth. This answers a guestion by Zelmanov. We then show, by an elementary construction, that any sufficiently regular function at least $n^{\log n}$ may occur as the growth of an algebra.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Orange Peels and Fresnel Integrals
There are two standard ways of peeling an orange: either cut the skin along meridians, or cut it along a spiral. We consider here the second method, and study the shape of the spiral strip, when unfolded on a table. We derive a formula that describes the corresponding flattened-out spiral. Cutting the peel with progressively thinner strip widths, we obtain a sequence of increasingly long spirals. We show that, after rescaling, these spirals tends to a definite shape, known as the Euler spiral. The Euler spiral has applications in many fields of science. In optics, the illumination intensity at a point behind a slit is computed from the distance between two points on the Euler spiral. The Euler spiral also provides optimal curvature for train tracks between a straight run and an upcoming bend. It is striking that it can be also obtained with an orange and a kitchen knife.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
The Game of Pure Strategy is solved!
We solve the classical "Game of Pure Strategy" using linear programming. We notice an intricate even-odd behavior in the results of our computations, that seems to encourage odd or maximal bids.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
(Self-)similar groups and the Farrell-Jones conjectures
We show that contracting self-similar groups satisfy the Farrell-Jones conjectures as soon as their universal contracting cover is non-positively curved. This applies in particular to bounded self-similar groups. We define, along the way, a general notion of contraction for groups acting on a rooted tree in a not necessarily self-similar manner.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Groups and Lie algebras corresponding to the Yang-Baxter equations
For a positive integer n we introduce quadratic Lie algebras tr_n qtr_n and discrete groups Tr_n, QTr_n naturally associated with the classical and quantum Yang-Baxter equation, respectively. We prove that the universal enveloping algebras of the Lie algebras tr_n, qtr_n are Koszul, and find their Hilbert series. We also compute the cohomology rings of these Lie algebras (which by Koszulity are the quadratic duals of the enveloping algebras). We construct cell complexes which are classifying spaces of the groups Tr_n and QTr_n, and show that the boundary maps in them are zero, which allows us to compute the integral cohomology of these groups. We show that the Lie algebras tr_n, qtr_n map onto the associated graded algebras of the Malcev Lie algebras of the groups Tr_n, QTr_n, respectively. We conjecture that this map is actually an isomorphism (this is now a theorem due to P. Lee). At the same time, we show that the groups Tr_n and QTr_n are not formal for n>3.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Growth of permutational extensions
We study the geometry of a class of group extensions, containing permutational wreath products, which we call "permutational extensions". We construct for all natural number k a torsion group with growth function asymptotically $\exp(n^{1-(1-α)^k}),\quad 2^{3-3/α}+2^{2-2/α}+2^{1-1/α}=2$, and a torsion-free group with growth function asymptotically $\exp(\log(n)n^{1-(1-α)^k})$. These are the first examples of groups of intermediate growth for which the growth function is known. We construct a group of intermediate growth that contains the group of finitely supported permutations of a countable set as a subgroup. This gives the first example of a group of intermediate growth containing an infinite simple group as a subgroup.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Hodge Theory on Metric Spaces
Hodge theory is a beautiful synthesis of geometry, topology, and analysis, which has been developed in the setting of Riemannian manifolds. On the other hand, spaces of images, which are important in the mathematical foundations of vision and pattern recognition, do not fit this framework. This motivates us to develop a version of Hodge theory on metric spaces with a probability measure. We believe that this constitutes a step towards understanding the geometry of vision. The appendix by Anthony Baker provides a separable, compact metric space with infinite dimensional α-scale homology.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
On a conjecture of Goodearl: Jacobson radical non-nil algebras of Gelfand-Kirillov dimension 2
For an arbitrary countable field, we construct an associative algebra that is graded, generated by finitely many degree-1 elements, is Jacobson radical, is not nil, is prime, is not PI, and has Gelfand-Kirillov dimension two. This refutes a conjecture attributed to Goodearl.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Groups defined by automata
This is Chapter 24 in the "AutoMathA" handbook. Finite automata have been used effectively in recent years to define infinite groups. The two main lines of research have as their most representative objects the class of automatic groups (including word-hyperbolic groups as a particular case) and automata groups (singled out among the more general self-similar groups). The first approach implements in the language of automata some tight constraints on the geometry of the group's Cayley graph, building strange, beautiful bridges between far-off domains. Automata are used to define a normal form for group elements, and to monitor the fundamental group operations. The second approach features groups acting in a finitely constrained manner on a regular rooted tree. Automata define sequential permutations of the tree, and represent the group elements themselves. The choice of particular classes of automata has often provided groups with exotic behaviour which have revolutioned our perception of infinite finitely generated groups.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Rational subsets of groups
This text, Chapter 23 in the "AutoMathA" handbook, is devoted to the study of rational subsets of groups, with particular emphasis on the automata-theoretic approach to finitely generated subgroups of free groups. Indeed, Stallings' construction, associating a finite inverse automaton with every such subgroup, inaugurated a complete rewriting of free group algorithmics, with connections to other fields such as topology or dynamics. Another important vector in the chapter is the fundamental Benois' Theorem, characterizing rational subsets of free groups. The theorem and its consequences really explain why language theory can be successfully applied to the study of free groups. Rational subsets of (free) groups can play a major role in proving statements (a priori unrelated to the notion of rationality) by induction. The chapter also includes related results for more general classes of groups, such as virtually free groups or graph groups.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Representation zeta functions of wreath products with finite groups
Let G be a group which has for all n a finite number r_n(G) of irreducible complex linear representations of dimension n. Let $ζ(G,s) = \sum_{n=1}^{\infty} r_n(G) n^{-s}$ be its representation zeta function. First, in case G is a permutational wreath product of H with a permutation group Q acting on a finite set X, we establish a formula for $ζ(G,s)$ in terms of the zeta functions of H and of subgroups of Q, and of the Moebius function associated with the lattice of partitions of X in orbits under subgroups of Q. Then, we consider groups W(Q,k) which are k-fold iterated wreath products of Q, and several related infinite groups W(Q), including the profinite group, a locally finite group, and several finitely generated groups, which are all isomorphic to a wreath product of themselves with Q. Under convenient hypotheses (in particular Q should be perfect), we show that r_n(W(Q)) is finite for all n, and we establish that the Dirichlet series $ζ(W(Q),s)$ has a finite and positive abscissa of convergence s_0. Moreover, the function $ζ(W(Q),s)$ satisfies a remarkable functional equation involving $ζ(W(Q),es)$ for e=1,...,|X|. As a consequence of this, we exhibit some properties of the function, in particular that $ζ(W(Q),s)$ has a singularity at s_0, a finite value at s_0, and a Puiseux expansion around s_0. We finally report some numerical computations for Q the simple groups of order 60 and 168.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Self-similar Lie algebras
We give a general definition of self-similar Lie algebras, and show that important examples of Lie algebras fall into that class. We give sufficient conditions for a self-similar Lie algebra to be nil, and prove in this manner that the self-similar algebras associated with Grigorchuk's and Gupta-Sidki's torsion groups are nil as well as self-similar. We derive the same results for a class of examples constructed by Petrogradsky, Shestakov and Zelmanov.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
On abstract commensurators of groups
We prove that the abstract commensurator of a nonabelian free group, an infinite surface group, or more generally of a group that splits appropriately over a cyclic subgroup, is not finitely generated. This applies in particular to all torsion-free word-hyperbolic groups with infinite outer automorphism group and abelianization of rank at least 2. We also construct a finitely generated, torsion-free group which can be mapped onto Z and which has a finitely generated commensurator.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
The congruence subgroup problem for branch groups
We state and study the congruence subgroup problem for groups acting on rooted tree, and for branch groups in particular. The problem is reduced to the computation of the congruence kernel, which we split into two parts: the branch kernel and the rigid kernel. In the case of regular branch groups, we prove that the first one is Abelian while the second has finite exponent. We also establish some rigidity results concerning these kernels. We work out explicitly known and new examples of non-trivial congruence kernels, describing in each case the group action. The Hanoi tower group receives particular attention due to its surprisingly rich behaviour.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
The Twisted Twin of the Grigorchuk Group
We study a twisted version of Grigorchuk's first group, and stress its similarities and differences to its model. In particular, we show that it admits a finite endomorphic presentation, has infinite-rank multiplier, and does not have the congruence property.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Iterated Monodromy Groups of Quadratic Polynomials, I
We describe the iterated monodromy groups associated with post-critically finite quadratic polynomials, and explicit their connection to the `kneading sequence' of the polynomial. We then give recursive presentations by generators and relations for these groups, and study some of their properties, like torsion and `branchness'.
0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv
On growth and torsion of groups
We give a subexponential upper bound and a superpolynomial lower bound on the growth function of the Fabrykowski-Gupta group. As a consequence, we answer negatively a question by Longobardi, Maj and Rhemtulla about characterizing groups containing no free subsemigroups on two generators.
0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv
Horocyclic products of trees
Let T_1,..., T_d be homogeneous trees with degrees q_1+1,..., q_d+1>=3, respectively. For each tree, let h:T_j->Z be the Busemann function with respect to a fixed boundary point (end). Its level sets are the horocycles. The horocyclic product of T_1,...,T_d is the graph DL(q_1,...,q_d) consisting of all d-tuples x_1...x_d in T_1x...xT_d with h(x_1)+...+h(x_d)=0, equipped with a natural neighbourhood relation. In the present paper, we explore the geometric, algebraic, analytic and probabilistic properties of these graphs and their isometry groups. If d=2 and q_1=q_2=q then we obtain a Cayley graph of the lamplighter group (wreath product) (Z/qZ) wr Z. If d=3 and q_1=q_2=q_3=q then DL is the Cayley graph of a finitely presented group into which the lamplighter group embeds naturally. Also when d>=4 and q_1=...=q_d=q is such that each prime power in the decomposition of q is larger than d-1, we show that DL is a Cayley graph of a finitely presented group. This group is of type F_{d-1}, but not F_d. It is not automatic, but it is an automata group in most cases. On the other hand, when the q_j do not all coincide, DL(q_1,...,q_d) is a vertex-transitive graph, but is not the Cayley graph of a finitely generated group. Indeed, it does not even admit a group action with finitely many orbits and finite point stabilizers. The l^2-spectrum of the ``simple random walk'' operator on DL is always pure point. When d=2, it is known explicitly from previous work, while for d=3 we compute it explicitly. Finally, we determine the Poisson boundary of a large class of group-invariant random walks on DL. It coincides with a part of the geometric boundary of DL.
0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv
Infinite groups with large balls of torsion elements and small entropy
We exhibit infinite, solvable, virtually abelian groups with a fixed number of generators, having arbitrarily large balls consisting of torsion elements. We also provide a sequence of 3-generator non-virtually nilpotent polycyclic groups of algebraic entropy tending to zero. All these examples are obtained by taking appropriate quotients of finitely presented groups mapping onto the first Grigorchuk group.
0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv
Amenability via random walks
We answer an open question of Grigorchuk and Zuk about amenability using random walks. Our results separate the class of amenable groups from the closure of subexponentially growing groups under the operations of group extension and direct limits; these classes are separated even within the realm of finitely presented groups.
0 citations0 reviewsNo code linkedOpen access