Related papers: Conjugator Length in the Baumslag-Gersten Group

Several key agreement protocols are based on the following "Generalized Conjugacy Search Problem": Find, given elements b_1,...,b_n and xb_1x^{-1},...,xb_nx^{-1} in a nonabelian group G, the conjugator x. In the case of subgroups of the…

We produce examples of groups of type F_3 with 2-dimensional Dehn functions of the form exp^n(x) (a tower of exponentials of height n), where n is any natural number.

We consider weighted generating functions of trees where the weights are products of functions of the sizes of the subtrees. This work begins with the observation that three different communities, largely independently, found substantially…

In this paper we prove that for a fixed neat principal congruence subgroup of a Bianchi group the order of the torsion part of its second cohomology group with coefficients in an integral lattice associated to the m-th symmetric power of…

Let $\mathcal{C}$ be a class of groups. A group $X$ is said to be residually a $\mathcal{C}$-group (conjugacy $\mathcal{C}$-separable) if, for any elements $x,y \in X$ that are not equal (not conjugate in $X$), there exists a homomorphism…

We study the growth of typical groups from the family of $p$-groups of intermediate growth constructed by the second author. We find that, in the sense of category, a generic group exhibits oscillating growth with no universal upper bound.…

We prove that for any natural n>1, the abstract commensurator group of the Baumslag - Solitar group BS(1,n) is isomorphic to the group of 2 by 2 upper triangular matrices A over rational numbers with A_{11}=1. We also prove that for any…

We consider various classes of Motzkin trees as well as lambda-terms for which we derive asymptotic enumeration results. These classes are defined through various restrictions concerning the unary nodes or abstractions, respectively: We…

The Furstenberg-Zimmer structure theorem for $\mathbb{Z}^d$ actions says that every measure-preserving system can be decomposed into a tower of primitive extensions. Furstenberg and Katznelson used this analysis to prove the…

The group of isometries W of a regular rooted tree, and many of its subgroups with branching structure, have groups of automorphisms induced by conjugation in W. This fact has stimulated the computation of the group of automorphisms of such…

We show the existence, over an arbitrary infinite ergodic $\mathbb{Z}$-dynamical system, of a generic ergodic relatively distal extension of arbitrary countable rank and arbitrary infinite compact extending groups (or more generally,…

We study the Dehn function of connected Lie groups. We show that this function is always exponential or polynomially bounded, according to the geometry of weights and of the 2-cohomology of their Lie algebras. Our work, which also addresses…

Generalized Baumslag-Solitar groups are defined as fundamental groups of graphs of groups with infinite cyclic vertex and edge groups. Forester proved (in "On uniqueness of JSJ decompositions of finitely generated groups", Comment. Math.…

We study the HNN extension of $\mathbb{Z}^m$ given by the cubing endomorphism $g\mapsto g^3$, and prove that such groups have rational growth. To do so, we describe a method of computing the subgroup growth series of the horocyclic subgroup…

We show that the Baumslag-Solitar group $BS(1,2)$ is undistorted in the Lodha-Moore group $G_0$ using an explicit lower bound for the word length of $G_0$. We also show that Thompson's group $F$ is distorted in $G_0$.

Let $A$ be a $\nu$-vector of self-adjoint, pairwise commuting operators and $B$ a bounded operator of class $C^{n_0}(A)$. We prove a Taylor-like expansion of the commutator $[B,f(A)]$ for a large class of functions $f\colon\mathbm{R}^\nu…

We prove that a finitely generated solvable group which is not virtually nilpotent has exponential conjugacy growth.

We conclude our work [arXiv:2403.07628, arXiv:2503.12644] on asymptotic expansions at the soft edge for the classical $n$-dimensional Gaussian and Laguerre ensembles, now studying the gap-probability generating functions. We show that the…

We construct a sequence of balanced finite presentations of the trivial group with two generators and two relators with the following property: The minimal number of relations required to demonstrate that a generator represents the trivial…

For every pair of positive integers $p > q$ we construct a one-relator group $R_{p,q}$ whose Dehn function is $\simeq n^{2 \alpha}$ where $\alpha = \log_2(2p / q)$. The group $R_{p,q}$ has no subgroup isomorphic to a Baumslag-Solitar group…