Publications
Work in Progress Hyperbolic Dynamics and Centralizers in the BrinThompson Group 2V
with J. Belk, C. MartinezPerez, B. Nucinkis, in progress  Completions of selfsimilar groups and their automorphisms
with P. V. Silva, in progress  Intersection growth in nilpotent groups,
with I.Biringer, K.BouRabee, M.Kassabov, in preparation
Research Papers  An Invitation to Inverse Group Theory
with J. Araujo, P. Cameron, submitted (arXiv)
Suppose G is a group. Is there any group H such that G is the Frattini subgroup of H? This is just an instance of the following general problem: Let F be a group "functor"; what can be said about the inverse image under F of a given group? In many cases the corresponding inverse theory is trivial. Here we concentrate on two nontrivial cases. An integral of a group G is a group H such that the derived group of H is G. Our first goal is to prove a number of general facts about the integrals of finite groups, and to raise some open questions. Our results concern orders of nonintegrable groups (we give a complete description of the set of such numbers), the smallest integral of a group, and groups which can be integrated infinitely often. We also consider infinite groups. Another challenging inverse subgroup problem is this. We know that the Frattini subgroup of a finite group is nilpotent; for which finite nilpotent groups G is there a group H such that G is the Frattini subgroup of H? We present some results on this question. The paper concludes with a number of open problems for further research.
 Rational embeddings of hyperbolic groups
with J.Belk, C.Bleak, submitted (arXiv)
We prove that a large class of Gromov hyperbolic groups G, including all torsionfree hyperbolic groups, embed into the asynchronous rational group defined by Grigorchuk, Nekrashevych and Sushchanskii. The proof involves assigning a system of binary addresses to points in the Gromov boundary of G, and proving that elements of G act on these addresses by transducers. These addresses derive from a certain selfsimilar tree of subsets of G, whose boundary is naturally homeomorphic to the horofunction boundary of G.  On the asynchronous rational group
with J.Belk, J.Hyde, submitted (arXiv)
We prove that the asynchronous rational group defined by Grigorchuk, Nekrashevych, and Sushchanskii is simple and not finitely generated. Our proofs also apply to certain subgroups of the rational group, such as the group of all rational bilipschitz homeomorphisms.  Presentations of generalisations of Thompson's group V
with C.MartinezPerez, B.Nucinkis, accepted by the Pacific Journal of Mathematics (arXiv)
We consider generalisations of Thompson's group V, denoted by Vr(Σ), which also include the groups of Higman, Stein and Brin. It was shown by the authors in (Forum Math. 28 (2016), no. 5, 909921) that under some mild conditions these groups and centralisers of their finite subgroups are of type F∞. Under more general conditions we show that the groups Vr(Σ) are finitely generated and, under the mild conditions mentioned above, we see that they are finitely presented and give a recipe to find explicit presentations. For the centralisers of finite subgroups we find a suitable infinite presentation and then apply a general procedure to shorten this presentation. In the appendix, we give a proof of this general shortening procedure.  Embedding RightAngled Artin Groups into BrinThompson Groups
with J.Belk, C.Bleak, accepted by the Mathematical Proceedings of the Cambridge Philosophical Society (arXiv)
We prove that every finitelygenerated rightangled Artin group can be embedded into some BrinThompson group nV. It follows that many other groups can be embedded into some nV (e.g., any finite extension of any of Haglund and Wise's special groups), and that various decision problems involving subgroups of nV are unsolvable.  Intersection growth in groups
with I.Biringer, K.BouRabee, M.Kassabov, Transactions of the American Mathematical Society 369(12), 2017, 83438367 (arXiv and journal article)
The intersection growth of a group G is the asymptotic behavior of the index of the intersection of all subgroups of G with index at mostn, and measures the Hausdorff dimension of G in profinite metrics. We study intersection growth in free groups and special linear groups and relate intersection growth to quantifying residual finiteness.  On groups with slow intersection growth
with M.Kassabov, Proceedings of the Edinburgh Mathematical Society 60(2) 2017, 387390 (arXiv and journal article)
Intersection growth concerns the asymptotic behavior of the index of the intersection of all subgroups of a group that have index at most n. In this note we show that the intersection growth of some groups may not be a nicely behaved function by showing the following seeming contradictory results: (a) for any group G the intersection growth function i_G(n) is super linear infinitely often; and (b) for any increasing function f there exists a group G such that i_G below f infinitely often.  Embeddings into Thompson's group V and coCF groups
with C.Bleak, M.Neunhoffer, Journal of the London Mathematical Society (2) 94 (2016), no. 2, 583597 (arXiv and journal article)
Lehnert and Schweitzer show in (Bull. Lond. Math. Soc. 39(2), 235241, 2007) that R. Thompson's group V is a cocontextfree (coCF) group, thus implying that all of its finitely generated subgroups are also coCF groups. Also, Lehnert shows in his thesis that V embeds inside the coCF group QAut(T_{2,c}), which is a group of particular bijections on the vertices of an infinite binary 2edgecolored tree, and he conjectures that QAut(T_{2,c}) is a universal coCF group. We show that QAut(T_{2,c}) embeds into V, and thus obtain a new form for Lehnert's conjecture. Following up on these ideas, we begin work to build a representation theory into R. Thompson's group V. In particular we classify precisely which BaumslagSolitar groups embed into V.  The Conjugacy Problem in Extensions of Thompson's group F
with J.Burillo, E.Ventura, Israel Journal of Mathematics 216 (2016), no. 1, 1559 (arXiv and journal article)
We consider the twisted conjugacy problem and the orbit decidability problem for certain actions on Thompson's group F. We show that the former is solvable unconditionally and that the latter is solvable under an additional assumption. By using general criteria introduced by Bogopolski, Martino and Ventura in (Trans. Amer. Math. Soc. 362(4):20032036, 2010), we construct an extension of F where the conjugacy problem is unsolvable and, under an additional assumption, we construct extensions of F with solvable conjugacy problem. As a byproduct of our techniques, we give a new proof of a result of BleakFel'shtynGoncalves in (Pacific J. Math. 238 (2008), no. 1, 16) which shows that F has property R_\infty and which can be extended to show that Thompson's group T also has property R_\infty.  Cohomological finiteness conditions and centralisers in generalisations of Thompson's group
with C.MartinezPerez, B.Nucinkis, Forum Mathematicum 28 (2016), no. 5, 909921 (arXiv and journal article)
We consider generalisations of Thompson's group V, denoted V_r(Σ), which also include the groups of Higman, Stein and Brin. We show that, under some mild hypotheses, V_r(Σ) is the full automorphism group of a Cantoralgebra. Under some further minor restrictions, we prove that these groups are of type F_\infty. We show that, provided that V_r(Σ) is of type F_\infty, centralisers of finite subgroups are also of type F_\infty, and give an explicit finite presentation of these centralisers in this case. Upon weakening the hypotheses on the Cantoralgebra, it can be shown that the groups V_r(Σ) are still finitely generated.  Rover's Simple Group is of Type F_\infty
with J.Belk, Publicacions Matematiques, 60 (2016), no.2, 501524 (arXiv and journal article)
We prove that Claas Rover's ThompsonGrigorchuk simple group VG has type F_\infty. The proof involves constructing a filtered simplicial complex on which VG acts, and then analyzing the descending links. The tree completions of an automaton group with P.V. Silva, Proceedings of the Seventh Workshop on NonClassical Models of Automata and Applications (NCMA 2015), in the series books@ocg.at 318 (2015), Austrian Computer Society, ISBN 9783903035072 (conference website, publisher website and proceedings volume). If d denotes the depth metric on the regular Aary rooted tree T_A , then (Aut(T_A), d_A) is a compact complete metric space. Each automaton group G on A determines a compact complete subgroup G of (Aut(T_A), d_A), named the tree completion of G. Several natural problems arise in connection with Aut(G) and G. We report on results obtained for the subclass of automata groups defined by the Cayley machine of a finite abelian group H, including the famous lamplighter group.  Conjugacy and Dynamics in Thompson's groups
with J.Belk, Geometriae Dedicata 169, No. 1 (2014) 239261 (arXiv and journal article)
We give a unified solution to the conjugacy problem for Thompson's groups F, T, and V. The solution uses strand diagrams, which are similar in spirit to braids and generalize treepair diagrams for elements of Thompson's groups. Strand diagrams are closely related to piecewiselinear functions for elements of Thompson's groups, and we use this correspondence to investigate the dynamics of elements of F. Though many of the results in this paper are known, our approach is new, and it yields elegant proofs of several old results.  Implementation of a Solution to the Conjugacy Problem in Thompson’s Group F
with J. Belk, N. Hossain, R. McGrail, ACM Communications in Computer Algebra 47, 3/4 (2014), 120121 (paper and proceedings website)
We present an efficient implementation of the solution to the conjugacy problem in Thompson's group F. This algorithm checks for conjugacy by constructing and comparing directed graphs called strand diagrams. We provide a description of our solution algorithm, including the data structure that represents strand diagrams and supports simplifications.  Deciding Conjugacy in Thompson's Group F in Linear Time
with J. Belk, N. Hossain, R. McGrail, 2013 15th International Symposium on International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 8996 (paper, slides and proceedings website)
We present an efficient implementation of the solution to the conjugacy problem in Thompson's group F, a certain infinite group whose elements are piecewiselinear homeomorphisms of the unit interval [0,1]. This algorithm checks for conjugacy by constructing and comparing directed graphs called strand diagrams. We provide a comprehensive description of our solution algorithm, including the data structure that stores strand diagrams and methods to simplify them. We prove that our algorithm theoretically achieves an O(n) bound in the size of the input, and we present a O(n^2) working solution.  Centralizers in R.Thompson’s group V_n
with C.Bleak, H.Bowman, A.Gordon, G.Graham, J.Hughes, J.Sapir, Groups, Geometry and Dynamics 7, No. 4 (2013), 821865 (arXiv and journal article)
Let n be bigger than 1 and let a be an element in the HigmanThompson group V_n. We study the structure of the centralizer of a in V_n through a careful analysis of the action of the group generated by a on the Cantor set C. We make use of revealing tree pairs as developed by Brin and Salazar from which we derive discrete train tracks to assist us in our analysis. A consequence of our structure theorem is that centralizers are finitely generated. Along the way we give a short argument using revealing tree pairs which shows that cyclic groups are undistorted in V_n.  Presentations for the Higher Dimensional Thompson's groups nV
with J.Hennig, Pacific Journal of Mathematics 257, No. 1 (2012) 5374 (arXiv and journal article)
In his papers (Geom. Dedicata 108 (2004) 163192. and J. Algebra 284 (2005) no. 2, 520558) Brin introduced the higher dimensional Thompson groups nV which are generalizations to the Thompson's group V of selfhomeomorphisms of the Cantor set and found a finite set of generators and relations in the case n = 2. We show how to generalize his construction to obtain a finite presentation for every positive integer n. As a corollary, we obtain another proof that the groups nV are simple (first proved by Brin in (Publ. Mat. 54 (2010) 433439))).  The Simultaneous Conjugacy Problem in Groups of Piecewise Linear Functions
with M.Kassabov, Groups, Geometry and Dynamics 6, No. 2 (2012) 279315 (arXiv and journal article)
Guba and Sapir asked if the simultaneous conjugacy problem was solvable in Diagram Groups or, at least, for Thompson's group F. We give a solution to the latter question using elementary techniques which rely purely on the description of F as the group of piecewise linear orientationpreserving homeomorphisms of the unit interval. The techniques we develop extend the ones used by Brin and Squier allowing us to compute roots and centralizers as well. Moreover, these techniques can be generalized to solve the same question in larger groups of piecewiselinear homeomorphisms.  Structure Theorems for Subgroups of Homeomorphisms Groups
with C.Bleak, M.Kassabov, International Journal of Algebra and Computation 21, no. 6 (2011), 10071036, (arXiv and journal article)In this partly expository paper, we study the set A of groups of orientationpreserving homeomorphisms of the circle S^1 which do not admit nonabelian free subgroups. We use classical results about homeomorphisms of the circle and elementary dynamical methods to derive various new and old results about the groups in A. Of the known results, we include some results from a family of results of Beklaryan and Malyutin, and we also give a new proof of a theorem of Margulis. Our primary new results include a detailed classification of the solvable subgroups of R. Thompson's group T.  Bounding the residual finiteness of free groups
with M.Kassabov, Proceedings of the American Mathematical Society 139 (2011), no. 7, 22812286 (arXiv and journal article)
We find a lower bound to the size of finite groups detecting a given word in the free group, more precisely we construct a word w_n of length n in nonabelian free groups with the property that w_n is the identity on all finite quotients of size ~ n^{2/3} or less. This improves on a previous result of BouRabee and McReynolds quantifying the lower bound of the residual finiteness of free groups.  Mather invariant in groups of piecewiselinear homeomorphisms
Trends in Mathematics, Combinatorial and Geometric Group Theory (2010) 251260 (arXiv and journal article)
We describe the relation between two characterizations of conjugacy in groups of piecewiselinear homeomorphisms, discovered by Brin and Squier in (Comm. Algebra, 29, no. 10, 45574596, 2001) and Kassabov and Matucci in (Groups, Geometry and Dynamics 6, No. 2 (2012) 279315). Thanks to the interplay between the techniques, we produce a simplified point of view of conjugacy that allows us to easily recover centralizers and lends itself to generalization.  Finite solvable groups whose Quillen complex is CohenMacaulay
Journal of Algebra 322 (2009) 969982 (arXiv and journal article)
We prove that the pQuillen complex of a finite solvable group with cyclic derived group is CohenMacaulay, if p is an odd prime. If p = 2 we prove a similar conclusion, but there is a discussion to be made.  Cryptanalysis of the ShpilrainUshakov Protocol in Thompson's Group
Journal of Cryptology, 21(3) (2008) 458468 (arXiv and journal article)
This paper shows that an eavesdropper can always recover efficiently the private key of one of the two parts of the public key cryptography protocol introduced by Shpilrain and Ushakov in (ACNS 2005, Lecture Notes in Comput. Sci. 3531, 151163, 2005). Thus an eavesdropper can always recover the shared secret key, making the protocol insecure.
PhD thesis
 Algorithms and Classification in Groups of PiecewiseLinear Homeomorphisms
PhD Thesis, Cornell University, 2008, Advisors: Ken Brown and Martin Kassabov (arXiv and ProQuest database)
Selected Talks
 Bounding the Residual Finiteness of Free Groups, Ithaca 2010 (slides)
 Structure Theorems for Groups of PiecewiseLinear Homeomorphisms, Charlottesville 2009 (slides)
 All flavors of conjugacy in Thompson's groups, Barcelona 2007 (slides)
 Cryptanalysis of the ShpilrainUshakov protocol in Thompson's group F, Barcelona 2007 (slides)
