Showing 1–18 of 18 results for author: Riley, R

Conjugacy in a family of free-by-cyclic groups

Authors: Martin R. Bridson, Timothy R. Riley, Andrew W. Sale

Abstract: We analyse the geometry and complexity of the conjugacy problem in a family of free-by-cyclic groups $H_m=F_m\rtimes\mathbb{Z}$ where the defining free-group automorphism is positive and polynomially growing. We prove that the conjugator length function of $H_m$ is linear, and describe polynomial-time solutions to the conjugacy problem and conjugacy search problem in $H_m$. We analyse the geometry and complexity of the conjugacy problem in a family of free-by-cyclic groups $H_m=F_m\rtimes\mathbb{Z}$ where the defining free-group automorphism is positive and polynomially growing. We prove that the conjugator length function of $H_m$ is linear, and describe polynomial-time solutions to the conjugacy problem and conjugacy search problem in $H_m$. △ Less

Submitted 1 June, 2025; originally announced June 2025.

Comments: 36 pages, 4 figures

MSC Class: 20F65; 20F10

Linear Diophantine equations and conjugator length in 2-step nilpotent groups

Authors: Martin R. Bridson, Timothy R. Riley

Abstract: We establish upper bounds on the lengths of minimal conjugators in 2-step nilpotent groups. These bounds exploit the existence of small integral solutions to systems of linear Diophantine equations. We prove that in some cases these bounds are sharp. This enables us to construct a family of finitely generated 2-step nilpotent groups $(G_m)_{m\in\mathbb{N}}$ such that the conjugator length function… ▽ More We establish upper bounds on the lengths of minimal conjugators in 2-step nilpotent groups. These bounds exploit the existence of small integral solutions to systems of linear Diophantine equations. We prove that in some cases these bounds are sharp. This enables us to construct a family of finitely generated 2-step nilpotent groups $(G_m)_{m\in\mathbb{N}}$ such that the conjugator length function of $G_m$ grows like a polynomial of degree $m+1$. △ Less

Submitted 1 June, 2025; originally announced June 2025.

Comments: 8 pages, no figures

MSC Class: 20F65; 20F10; 20F18

The lengths of conjugators in the model filiform groups

Authors: Martin R. Bridson, Timothy R. Riley

Abstract: The conjugator length function of a finitely generated group $Γ$ gives the optimal upper bound on the length of a shortest conjugator for any pair of conjugate elements in the ball of radius $n$ in the Cayley graph of $Γ$. We prove that polynomials of arbitrary degree arise as conjugator length functions of finitely presented groups. To establish this, we analyse the geometry of conjugation in the… ▽ More The conjugator length function of a finitely generated group $Γ$ gives the optimal upper bound on the length of a shortest conjugator for any pair of conjugate elements in the ball of radius $n$ in the Cayley graph of $Γ$. We prove that polynomials of arbitrary degree arise as conjugator length functions of finitely presented groups. To establish this, we analyse the geometry of conjugation in the discrete model filiform groups $Γ_d = \mathbb{Z}^d\rtimes_φ\mathbb{Z}$ where is $φ$ is the automorphism of $\mathbb{Z}^d$ that fixes the last element of a basis $a_1,\dots,a_d$ and sends $a_i$ to $a_ia_{i+1}$ for $i<d$. The conjugator length function of $Γ_d$ is polynomial of degree $d$. △ Less

Submitted 1 June, 2025; originally announced June 2025.

Comments: 16 pages, no figures

MSC Class: 20F65; 20F10; 20F18

Solving Quadratic and Cubic Diophantine Equations using 2-adic Valuation Trees

Authors: Maila Brucal-Hallare, Eva G. Goedhart, Ryan Max Riley, Vaishavi Sharma, Bianca Thompson

Abstract: For fixed integers $D \geq 0$ and $c \geq 3$, we demonstrate how to use $2$-adic valuation trees of sequences to analyze Diophantine equations of the form $x^2+D=2^cy$ and $x^3+D=2^cy$, for $y$ odd. Further, we show for what values $D \in \mathbb{Z}^+$, the numbers $x^3+D$ will generate infinite valuation trees, which lead to infinite solutions to the above Diophantine equations. For fixed integers $D \geq 0$ and $c \geq 3$, we demonstrate how to use $2$-adic valuation trees of sequences to analyze Diophantine equations of the form $x^2+D=2^cy$ and $x^3+D=2^cy$, for $y$ odd. Further, we show for what values $D \in \mathbb{Z}^+$, the numbers $x^3+D$ will generate infinite valuation trees, which lead to infinite solutions to the above Diophantine equations. △ Less

Submitted 7 May, 2021; originally announced May 2021.

Comments: 18 pages, 10 figures, 3 tables

Taming the hydra: the word problem and extreme integer compression

Authors: W. Dison, E. Einstein, T. R. Riley

Abstract: For a finitely presented group, the word problem asks for an algorithm which declares whether or not words on the generators represent the identity. The Dehn function is a complexity measure of a direct attack on the word problem by applying the defining relations. Dison & Riley showed that a "hydra phenomenon" gives rise to novel groups with extremely fast growing (Ackermannian) Dehn functions. H… ▽ More For a finitely presented group, the word problem asks for an algorithm which declares whether or not words on the generators represent the identity. The Dehn function is a complexity measure of a direct attack on the word problem by applying the defining relations. Dison & Riley showed that a "hydra phenomenon" gives rise to novel groups with extremely fast growing (Ackermannian) Dehn functions. Here we show that nevertheless, there are efficient (polynomial time) solutions to the word problems of these groups. Our main innovation is a means of computing efficiently with enormous integers which are represented in compressed forms by strings of Ackermann functions. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Comments: 63 pages, 1 figure

MSC Class: 20F10; 20F65; 68W32; 68Q17 ACM Class: F.2.2; E.4

Palindromic width of wreath products, metabelian groups, and max-n solvable groups

Authors: T. R. Riley, A. W. Sale

Abstract: A group has finite palindromic width if there exists $n$ such that every element can be expressed as a product of $n$ or fewer palindromic words. We show that if $G$ has finite palindromic width with respect to some generating set, then so does $G \wr \mathbb{Z}^{r}$. We also give a new, self-contained, proof that finitely generated metabelian groups have finite palindromic width. Finally, we show… ▽ More A group has finite palindromic width if there exists $n$ such that every element can be expressed as a product of $n$ or fewer palindromic words. We show that if $G$ has finite palindromic width with respect to some generating set, then so does $G \wr \mathbb{Z}^{r}$. We also give a new, self-contained, proof that finitely generated metabelian groups have finite palindromic width. Finally, we show that solvable groups satisfying the maximal condition on normal subgroups (max-n) have finite palindromic width. △ Less

Submitted 12 September, 2014; v1 submitted 18 July, 2013; originally announced July 2013.

Comments: The example in Section 2.1 has been expanded. Otherwise only minor changes have been made. 15 pages. To appear in Groups Complexity Cryptology

MSC Class: 20F65; 20F16

A personal account of the discovery of hyperbolic structures on some knot complements

Authors: Robert Riley

Abstract: I give my view of the early history of the discovery of hyperbolic structures on knot complements from my early work on representations of knot groups into matrix groups to my meeting with William Thurston in 1976. (This article was written by Robert Riley about ten years before his death in 2000 and never submitted for publication. An explanation of why it is being published now and some informat… ▽ More I give my view of the early history of the discovery of hyperbolic structures on knot complements from my early work on representations of knot groups into matrix groups to my meeting with William Thurston in 1976. (This article was written by Robert Riley about ten years before his death in 2000 and never submitted for publication. An explanation of why it is being published now and some information about Riley and this article is given in the article by Brin, Jones and Singerman which accompanies this article in this issue of the [journal | arxiv].) △ Less

Submitted 19 January, 2013; originally announced January 2013.

Comments: 14 pages, 1 figure

MSC Class: 57M50

Epimorphisms between 2-bridge link groups

Authors: Tomotada Ohtsuki, Robert Riley, Makoto Sakuma

Abstract: We give a systematic construction of epimorphisms between 2-bridge link groups. Moreover, we show that 2-bridge links having such an epimorphism between their link groups are related by a map between the ambient spaces which only have a certain specific kind of singularity. We show applications of these epimorphisms to the character varieties for 2-bridge links and pi_1-dominating maps among 3-m… ▽ More We give a systematic construction of epimorphisms between 2-bridge link groups. Moreover, we show that 2-bridge links having such an epimorphism between their link groups are related by a map between the ambient spaces which only have a certain specific kind of singularity. We show applications of these epimorphisms to the character varieties for 2-bridge links and pi_1-dominating maps among 3-manifolds. △ Less

Submitted 12 April, 2009; originally announced April 2009.

Comments: This is the version published by Geometry & Topology Monographs on 29 April 2008

MSC Class: 57M25; 57M05; 57M50

Journal ref: Geom. Topol. Monogr. 14 (2008) 417-450

An isoperimetric function for Stallings' group

Authors: Will Dison, Murray Elder, Timothy R Riley

Abstract: We prove that $n^{7/3}$ is an isoperimetric function for a group of Stallings that is finitely presented but not of type $\mathcal{F}_3$. Note: The authors with Robert Young have now proved a quadratic Dehn function for this group. See arXiv:0712.3877 We prove that $n^{7/3}$ is an isoperimetric function for a group of Stallings that is finitely presented but not of type $\mathcal{F}_3$. Note: The authors with Robert Young have now proved a quadratic Dehn function for this group. See arXiv:0712.3877 △ Less

Submitted 27 November, 2008; v1 submitted 5 December, 2006; originally announced December 2006.

Comments: 15 pages, no figures. Previous bound of $n^{5/2}$ sharpened

MSC Class: 20F65

Filling functions

Authors: T. R. Riley

Abstract: Filling functions are asymptotic invariants of finitely presentable groups; the seminal work on the subject is by M.Gromov. They record features of combinatorial homotopy discs (van Kampen diagrams) filling loops in Cayley 2-complexes. Examples are the Dehn (or isoperimetric) function, the filling length function and the intrinsic diameter (or isodiametric) function. We discuss filling functions… ▽ More Filling functions are asymptotic invariants of finitely presentable groups; the seminal work on the subject is by M.Gromov. They record features of combinatorial homotopy discs (van Kampen diagrams) filling loops in Cayley 2-complexes. Examples are the Dehn (or isoperimetric) function, the filling length function and the intrinsic diameter (or isodiametric) function. We discuss filling functions from geometric, combinatorial and computational points of view, we survey their interrelationships, and we sketch their roles in the studies of nilpotent groups, hyperbolic groups and asymptotic cones. Many open questions are included. This is a set of notes for a workshop on "The Geometry of the Word Problem" at the Centre de Recerca Matematica, Barcelona in July 2005. It will be part of a Birkhauser-Verlag volume in the "Advanced Courses in Mathematics CRM Barcelona" series. △ Less

Submitted 23 June, 2006; v1 submitted 2 March, 2006; originally announced March 2006.

Comments: 74 pages, 19 figures

MSC Class: 20Fxx

Journal ref: Part II of Geometry of the Word Problem for Finitely Generated Groups, Advanced Courses in Mathematics, CRM Barcelona, Birkhäuser-Verlag, 2007

Free and fragmenting filling length

Authors: M. R. Bridson, T. R. Riley

Abstract: The filling length of an edge-circuit ηin the Cayley 2-complex of a finite presentation of a group is the least integer L such that there is a combinatorial null-homotopy of ηdown to a base point through loops of length at most L. We introduce similar notions in which the null-homotopy is not required to fix a basepoint, and in which the contracting loop is allowed to bifurcate. We exhibit group… ▽ More The filling length of an edge-circuit ηin the Cayley 2-complex of a finite presentation of a group is the least integer L such that there is a combinatorial null-homotopy of ηdown to a base point through loops of length at most L. We introduce similar notions in which the null-homotopy is not required to fix a basepoint, and in which the contracting loop is allowed to bifurcate. We exhibit groups in which the resulting filling invariants exhibit dramatically different behaviour to the standard notion of filling length. We also define the corresponding filling invariants for Riemannian manifolds and translate our results to this setting. △ Less

Submitted 18 May, 2006; v1 submitted 7 December, 2005; originally announced December 2005.

Comments: 19 pages, 9 figures, to appear in the Journal of Algebra

MSC Class: 20F65; 20F10; 53C23

Journal ref: Journal of Algebra, 307(1), pages 171-190, 2007

The absence of efficient dual pairs of spanning trees in planar graphs

Authors: T. R. Riley, W. P. Thurston

Abstract: A spanning tree T in a finite planar connected graph G determines a dual spanning tree T* in the dual graph G such that T and T* do not intersect. We show that it is not always possible to find T in G, such that the diameters of T and T* are both within a uniform multiplicative constant (independent of G) of the diameters of their ambient graphs. A spanning tree T in a finite planar connected graph G determines a dual spanning tree T* in the dual graph G such that T and T* do not intersect. We show that it is not always possible to find T in G, such that the diameters of T and T* are both within a uniform multiplicative constant (independent of G) of the diameters of their ambient graphs. △ Less

Submitted 7 September, 2006; v1 submitted 19 November, 2005; originally announced November 2005.

Comments: 7 pages, 3 figures

MSC Class: 05C10; 05C12; 20F06; 57M15

Journal ref: Electronic Journal of Computation, 13, N13, 2006

Extrinsic versus intrinsic diameter for Riemannian filling-discs and van Kampen diagrams

Authors: M. R. Bridson, T. R. Riley

Abstract: The diameter of a disc filling a loop in the universal covering of a Riemannian manifold may be measured extrinsically using the distance function on the ambient space or intrinsically using the induced length metric on the disc. Correspondingly, the diameter of a van Kampen diagram filling a word that represents the identity in a finitely presented group can either be measured intrinsically its… ▽ More The diameter of a disc filling a loop in the universal covering of a Riemannian manifold may be measured extrinsically using the distance function on the ambient space or intrinsically using the induced length metric on the disc. Correspondingly, the diameter of a van Kampen diagram filling a word that represents the identity in a finitely presented group can either be measured intrinsically its 1-skeleton or extrinsically in the Cayley graph of the group. We construct the first examples of closed manifolds and finitely presented groups for which this choice -- intrinsic versus extrinsic -- gives rise to qualitatively different min-diameter filling functions. △ Less

Submitted 27 June, 2009; v1 submitted 31 October, 2005; originally announced November 2005.

Comments: 44 pages, 12 figures, to appear in the Journal of Differential Geometry

MSC Class: 53C23; 20F65; 20F10

Journal ref: Journal of Differential Geometry, 82(1), 115-154, 2009

The unbounded dead-end depth property is not a group invariant

Authors: Tim R. Riley, Andrew D. Warshall

Abstract: The dead-end depth of an element g of a group with finite generating set A is the distance from g to the complement of the radius d(1,g) closed ball, in the word metric d associated to A. We exhibit a finitely presented group K with two finite generating sets A and B such that dead-end depth is unbounded on K with respect to A but is at most two with respect to B. The dead-end depth of an element g of a group with finite generating set A is the distance from g to the complement of the radius d(1,g) closed ball, in the word metric d associated to A. We exhibit a finitely presented group K with two finite generating sets A and B such that dead-end depth is unbounded on K with respect to A but is at most two with respect to B. △ Less

Submitted 12 September, 2005; v1 submitted 6 April, 2005; originally announced April 2005.

Comments: 16 pages, 5 figures

MSC Class: 20F65

Journal ref: Int. J. Alg. Comp., 16(5), pages 969-984, 2006

Navigating in the Cayley graphs of SL_N(Z) and SL_N(F_p)

Authors: T. R. Riley

Abstract: We give a non-deterministic algorithm that expresses elements of SL_N(Z), for N > 2, as words in a finite set of generators, with the length of these words at most a constant times the word metric. We show that the non-deterministic time-complexity of the subtractive version of Euclid's algorithm for finding the greatest common divisor of N > 2 integers a_1,..., a_N is at most a constant times N… ▽ More We give a non-deterministic algorithm that expresses elements of SL_N(Z), for N > 2, as words in a finite set of generators, with the length of these words at most a constant times the word metric. We show that the non-deterministic time-complexity of the subtractive version of Euclid's algorithm for finding the greatest common divisor of N > 2 integers a_1,..., a_N is at most a constant times N log n where n := max {|a_1|,..., |a_N|}. This leads to an elementary proof that for N > 2 the word metric in SL_N(Z) is biLipschitz equivalent to the logarithm of the matrix norm -- an instance of a theorem of Mozes, Lubotzky and Raghunathan. And we show constructively that there exists K>0 such that for all N > 2 and primes p, the diameter of the Cayley graph of SL_N(F_p) with respect to the generating set {e_{ij} \mid i \neq j} is at most K N^2 \log p. △ Less

Submitted 6 April, 2005; originally announced April 2005.

Comments: 18 pages, no figures

MSC Class: 20F05

Journal ref: Geometriae Dedicata, 113(1), pages 215-229, 2005

Diameters of Cayley graphs of SL_n(Z/kZ)

Authors: M. Kassabov, T. R. Riley

Abstract: We show that for integers k > 1 and n > 2, the diameter of the Cayley graph of SL_n(Z/kZ) associated to a standard two-element generating set, is at most a constant times n^2 ln k. This answers a question of A. Lubotzky concerning SL_n(F_p) and is unexpected because these Cayley graphs do not form an expander family. Our proof amounts to a quick algorithm for finding short words representing ele… ▽ More We show that for integers k > 1 and n > 2, the diameter of the Cayley graph of SL_n(Z/kZ) associated to a standard two-element generating set, is at most a constant times n^2 ln k. This answers a question of A. Lubotzky concerning SL_n(F_p) and is unexpected because these Cayley graphs do not form an expander family. Our proof amounts to a quick algorithm for finding short words representing elements of SL_n(Z/kZ). △ Less

Submitted 11 February, 2005; originally announced February 2005.

Comments: 11 pages, no figures

MSC Class: primary 20F05; secondary 05C25; 05C35; 20D06

A finitely presented group with unbounded dead-end depth

Authors: Sean Cleary, Tim R. Riley

Abstract: The dead-end depth of an element g of a group G, with respect to a generating set A is the distance from g to the complement of the radius $d_A(1,g)$ closed ball, in the word metric $d_A$ defined with respect to A. We exhibit a finitely presented group G with a finite generating set with respect to which there is no upper bound on the dead-end depth of elements. The authors regret that the pub… ▽ More The dead-end depth of an element g of a group G, with respect to a generating set A is the distance from g to the complement of the radius $d_A(1,g)$ closed ball, in the word metric $d_A$ defined with respect to A. We exhibit a finitely presented group G with a finite generating set with respect to which there is no upper bound on the dead-end depth of elements. The authors regret that the published version of this article (Proc. Amer. Math. Soc., 134(2), pp.343-349, 2006) contains a significant error concerning the model for G described in Section 2. We are grateful to Jorg Lehnert for pointing out our mistake. In this corrected version, that model has been overhauled, and that has necessitated a number of changes in the subsequent arguments. △ Less

Submitted 10 April, 2007; v1 submitted 22 June, 2004; originally announced June 2004.

Comments: 10 pages, 3 figures

MSC Class: 20F65

Journal ref: Proc. Amer. Math. Soc., 134(2), pages 343-349, 2006

Isoperimetric inequalities for nilpotent groups

Authors: S. M. Gersten, D. F. Holt, T. R. Riley

Abstract: We prove that every finitely generated nilpotent group of class c admits a polynomial isoperimetric function of degree c+1 and a linear upper bound on its filling length function. We prove that every finitely generated nilpotent group of class c admits a polynomial isoperimetric function of degree c+1 and a linear upper bound on its filling length function. △ Less

Submitted 28 January, 2002; originally announced January 2002.

Comments: 20 pages, no figures

MSC Class: 20F18 (Primary); 20F05; 20F65; 57M07 (Secondary)

Journal ref: Geometric And Functional Analysis , 13, pages 795-814, 2003