-
Word equations, constraints, and formal languages
Authors:
Laura Ciobanu
Abstract:
In this short survey we describe recent advances on word equations with non-rational constraints in groups and monoids, highlighting the important role that formal languages play in this area.
In this short survey we describe recent advances on word equations with non-rational constraints in groups and monoids, highlighting the important role that formal languages play in this area.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Slice closures of indexed languages and word equations with counting constraints
Authors:
Laura Ciobanu,
Georg Zetzsche
Abstract:
Indexed languages are a classical notion in formal language theory. As the language equivalent of second-order pushdown automata, they have received considerable attention in higher-order model checking. Unfortunately, counting properties are notoriously difficult to decide for indexed languages: So far, all results about non-regular counting properties show undecidability.
In this paper, we ini…
▽ More
Indexed languages are a classical notion in formal language theory. As the language equivalent of second-order pushdown automata, they have received considerable attention in higher-order model checking. Unfortunately, counting properties are notoriously difficult to decide for indexed languages: So far, all results about non-regular counting properties show undecidability.
In this paper, we initiate the study of slice closures of (Parikh images of) indexed languages. A slice is a set of vectors of natural numbers such that membership of $u,u+v,u+w$ implies membership of $u+v+w$. Our main result is that given an indexed language $L$, one can compute a semilinear representation of the smallest slice containing $L$'s Parikh image.
We present two applications. First, one can compute the set of all affine relations satisfied by the Parikh image of an indexed language. In particular, this answers affirmatively a question by Kobayashi: Is it decidable whether in a given indexed language, every word has the same number of $a$'s as $b$'s.
As a second application, we show decidability of (systems of) word equations with rational constraints and a class of counting constraints: These allow us to look for solutions where a counting function (defined by an automaton) is not zero. For example, one can decide whether a word equation with rational constraints has a solution where the number of occurrences of $a$ differs between variables $X$ and $Y$.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Conjugacy geodesics and growth in dihedral Artin groups
Authors:
Laura Ciobanu,
Gemma Crowe
Abstract:
In this paper we describe conjugacy geodesic representatives in any dihedral Artin group $G(m)$, $m\geq 3$, which we then use to calculate asymptotics for the conjugacy growth of $G(m)$, and show that the conjugacy growth series of $G(m)$ with respect to the `free product' generating set $\{x, y\}$ is transcendental. We prove two additional properties of $G(m)$ that connect to conjugacy, namely th…
▽ More
In this paper we describe conjugacy geodesic representatives in any dihedral Artin group $G(m)$, $m\geq 3$, which we then use to calculate asymptotics for the conjugacy growth of $G(m)$, and show that the conjugacy growth series of $G(m)$ with respect to the `free product' generating set $\{x, y\}$ is transcendental. We prove two additional properties of $G(m)$ that connect to conjugacy, namely that the permutation conjugator length function is constant, and that the falsification by fellow traveler property (FFTP) holds with respect to $\{x, y\}$. These imply that the language of all conjugacy geodesics in $G(m)$ with respect to $\{x, y\}$ is regular.
△ Less
Submitted 5 June, 2024; v1 submitted 26 April, 2024;
originally announced April 2024.
-
Formal conjugacy growth in graph products II
Authors:
Laura Ciobanu,
Susan Hermiller,
Valentin Mercier
Abstract:
In this paper we give an algorithm for computing the conjugacy growth series for a right-angled Artin group, based on a natural language of minimal length conjugacy representatives. In addition, we provide a further language of unique conjugacy geodesic representatives of the conjugacy classes for a graph product of groups. The conjugacy representatives and growth series here provide an alternate…
▽ More
In this paper we give an algorithm for computing the conjugacy growth series for a right-angled Artin group, based on a natural language of minimal length conjugacy representatives. In addition, we provide a further language of unique conjugacy geodesic representatives of the conjugacy classes for a graph product of groups. The conjugacy representatives and growth series here provide an alternate viewpoint, and are more amenable to computational experiments compared to those in our previous paper.
Examples of applications of this algorithm for right-angled Artin groups are provided, as well as computations of conjugacy geodesic growth growth series with respect to the standard generating sets.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Effective equation solving, constraints and growth in virtually abelian groups
Authors:
Laura Ciobanu,
Alex Evetts,
Alex Levine
Abstract:
In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic order, abelianisation or context-free constraints added, can be effectively produced in finitely generated virtually abelian groups. Crucially, we translate each o…
▽ More
In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic order, abelianisation or context-free constraints added, can be effectively produced in finitely generated virtually abelian groups. Crucially, we translate each of the constraints above into a rational set in an effective way, and so reduce each problem to solving equations with rational constraints, which is decidable and well understood in virtually abelian groups. A byproduct of our results is that the growth series of a virtually abelian group, with respect to any generating set and any weight, is effectively computable. This series is known to be rational by a result of Benson, but his proof is non-constructive.
△ Less
Submitted 28 March, 2024; v1 submitted 1 September, 2023;
originally announced September 2023.
-
Languages, groups and equations
Authors:
Laura Ciobanu,
Alex Levine
Abstract:
The survey provides an overview of the work done in the last 10 years to characterise solutions to equations in groups in terms of formal languages. We begin with the work of Ciobanu, Diekert and Elder, who showed that solutions to systems of equations in free groups in terms of reduced words are expressible as EDT0L languages. We provide a sketch of their algorithm, and describe how the free grou…
▽ More
The survey provides an overview of the work done in the last 10 years to characterise solutions to equations in groups in terms of formal languages. We begin with the work of Ciobanu, Diekert and Elder, who showed that solutions to systems of equations in free groups in terms of reduced words are expressible as EDT0L languages. We provide a sketch of their algorithm, and describe how the free group results extend to hyperbolic groups. The characterisation of solutions as EDT0L languages is very robust, and many group constructions preserve this, as shown by Levine.
The most recent progress in the area has been made for groups without negative curvature, such as virtually abelian, the integral Heisenberg group, or the soluble Baumslag-Solitar groups, where the approaches to describing the solutions are different from the negative curvature groups. In virtually abelian groups the solutions sets are in fact rational, and one can obtain them as $m$-regular sets. In the Heisenberg group producing the solutions to a single equation reduces to understanding the solutions to quadratic Diophantine equations and uses number theoretic techniques. In the Baumslag-Solitar groups the methods are combinatorial, and focus on the interplay of normal forms to solve particular classes of equations.
In conclusion, EDT0L languages give an effective and simple combinatorial characterisation of sets of seemingly high complexity in many important classes of groups.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Post's correspondence problem for hyperbolic and virtually nilpotent groups
Authors:
Laura Ciobanu,
Alex Levine,
Alan D. Logan
Abstract:
Post's Correspondence Problem (the PCP) is a classical decision problem in theoretical computer science that asks whether for pairs of free monoid morphisms $g, h\colonΣ^*\toΔ^*$ there exists any non-trivial $x\inΣ^*$ such that $g(x)=h(x)$.
Post's Correspondence Problem for a group $Γ$ takes pairs of group homomorphisms $g, h\colon F(Σ)\to Γ$ instead, and similarly asks whether there exists an…
▽ More
Post's Correspondence Problem (the PCP) is a classical decision problem in theoretical computer science that asks whether for pairs of free monoid morphisms $g, h\colonΣ^*\toΔ^*$ there exists any non-trivial $x\inΣ^*$ such that $g(x)=h(x)$.
Post's Correspondence Problem for a group $Γ$ takes pairs of group homomorphisms $g, h\colon F(Σ)\to Γ$ instead, and similarly asks whether there exists an $x$ such that $g(x)=h(x)$ holds for non-elementary reasons. The restrictions imposed on $x$ in order to get non-elementary solutions lead to several interpretations of the problem; we consider the natural restriction asking that $x \notin \ker(g) \cap \ker(h)$ and prove that the resulting interpretation of the PCP is undecidable for arbitrary hyperbolic $Γ$, but decidable when $Γ$ is virtually nilpotent. We also study this problem for group constructions such as subgroups, direct products and finite extensions. This problem is equivalent to an interpretation due to Myasnikov, Nikolev and Ushakov when one map is injective.
△ Less
Submitted 2 October, 2023; v1 submitted 22 November, 2022;
originally announced November 2022.
-
Recommendations and guidelines from the ISMRM Diffusion Study Group for preclinical diffusion MRI: Part 2 -- Ex vivo imaging
Authors:
Kurt G Schilling,
Francesco Grussu,
Andrada Ianus,
Brian Hansen,
Rachel L C Barrett,
Manisha Aggarwal,
Stijn Michielse,
Fatima Nasrallah,
Warda Syeda,
Nian Wang,
Jelle Veraart,
Alard Roebroeck,
Andrew F Bagdasarian,
Cornelius Eichner,
Farshid Sepehrband,
Jan Zimmermann,
Lucas Soustelle,
Christien Bowman,
Benjamin C Tendler,
Andreea Hertanu,
Ben Jeurissen,
Lucio Frydman,
Yohan van de Looij,
David Hike,
Jeff F Dunn
, et al. (31 additional authors not shown)
Abstract:
The value of preclinical diffusion MRI (dMRI) is substantial. While dMRI enables in vivo non-invasive characterization of tissue, ex vivo dMRI is increasingly being used to probe tissue microstructure and brain connectivity. Ex vivo dMRI has several experimental advantages including higher signal-to-noise ratio and spatial resolution compared to in vivo studies, and more advanced diffusion contras…
▽ More
The value of preclinical diffusion MRI (dMRI) is substantial. While dMRI enables in vivo non-invasive characterization of tissue, ex vivo dMRI is increasingly being used to probe tissue microstructure and brain connectivity. Ex vivo dMRI has several experimental advantages including higher signal-to-noise ratio and spatial resolution compared to in vivo studies, and more advanced diffusion contrasts for improved microstructure and connectivity characterization. Another major advantage is direct comparison with histological data as a crucial methodological validation. However, there are a number of considerations that must be made when performing ex vivo experiments. The steps from tissue preparation, image acquisition and processing, and interpretation of results are complex, with many decisions that not only differ dramatically from in vivo imaging, but ultimately affect what questions can be answered using the data. This work represents 'Part 2' of a series of recommendations and considerations for preclinical dMRI, where we focus on best practices for dMRI of ex vivo tissue. We first describe the value that ex vivo imaging adds to the field of dMRI, followed by general considerations and foundational knowledge that must be considered when designing experiments. We then give guidelines for ex vivo protocols, including tissue preparation, imaging sequences and data processing including pre-processing, model-fitting, and tractography. Finally, we provide an online resource which lists publicly available ex vivo dMRI datasets and dedicated software packages. In each section, we attempt to provide guidelines and recommendations, but also highlight areas for which no guidelines exist, and where future work should lie. An overarching goal herein is to enhance the rigor and reproducibility of ex vivo dMRI acquisitions and analyses, and thereby advance biomedical knowledge.
△ Less
Submitted 7 February, 2023; v1 submitted 27 September, 2022;
originally announced September 2022.
-
Recommendations and guidelines from the ISMRM Diffusion Study Group for preclinical diffusion MRI: Part 1 -- In vivo small-animal imaging
Authors:
Ileana O Jelescu,
Francesco Grussu,
Andrada Ianus,
Brian Hansen,
Rachel L C Barrett,
Manisha Aggarwal,
Stijn Michielse,
Fatima Nasrallah,
Warda Syeda,
Nian Wang,
Jelle Veraart,
Alard Roebroeck,
Andrew F Bagdasarian,
Cornelius Eichner,
Farshid Sepehrband,
Jan Zimmermann,
Lucas Soustelle,
Christien Bowman,
Benjamin C Tendler,
Andreea Hertanu,
Ben Jeurissen,
Marleen Verhoye,
Lucio Frydman,
Yohan van de Looij,
David Hike
, et al. (32 additional authors not shown)
Abstract:
The value of in vivo preclinical diffusion MRI (dMRI) is substantial. Small-animal dMRI has been used for methodological development and validation, characterizing the biological basis of diffusion phenomena, and comparative anatomy. Many of the influential works in this field were first performed in small animals or ex vivo samples. The steps from animal setup and monitoring, to acquisition, anal…
▽ More
The value of in vivo preclinical diffusion MRI (dMRI) is substantial. Small-animal dMRI has been used for methodological development and validation, characterizing the biological basis of diffusion phenomena, and comparative anatomy. Many of the influential works in this field were first performed in small animals or ex vivo samples. The steps from animal setup and monitoring, to acquisition, analysis, and interpretation are complex, with many decisions that may ultimately affect what questions can be answered using the data. This work aims to serve as a reference, presenting selected recommendations and guidelines from the diffusion community, on best practices for preclinical dMRI of in vivo animals. In each section, we also highlight areas for which no guidelines exist (and why), and where future work should focus. We first describe the value that small animal imaging adds to the field of dMRI, followed by general considerations and foundational knowledge that must be considered when designing experiments. We briefly describe differences in animal species and disease models and discuss how they are appropriate for different studies. We then give guidelines for in vivo acquisition protocols, including decisions on hardware, animal preparation, imaging sequences and data processing, including pre-processing, model-fitting, and tractography. Finally, we provide an online resource which lists publicly available preclinical dMRI datasets and software packages, to promote responsible and reproducible research. An overarching goal herein is to enhance the rigor and reproducibility of small animal dMRI acquisitions and analyses, and thereby advance biomedical knowledge.
△ Less
Submitted 21 April, 2023; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Rational sets in virtually abelian groups: languages and growth
Authors:
Laura Ciobanu,
Alex Evetts
Abstract:
In this paper we generalise and unify the results and methods used by Benson, Liardet, Evetts, and Evetts & Levine, to show that rational sets in a virtually abelian group G have rational (relative) growth series with respect to any generating set for G. We prove equivalences between the structures used in the literature, and establish the rationality of important classes of sets in G: definable s…
▽ More
In this paper we generalise and unify the results and methods used by Benson, Liardet, Evetts, and Evetts & Levine, to show that rational sets in a virtually abelian group G have rational (relative) growth series with respect to any generating set for G. We prove equivalences between the structures used in the literature, and establish the rationality of important classes of sets in G: definable sets, algebraic sets, conjugacy representatives and coset representatives (of any fixed subgroup), among others. Furthermore, we show that any rational set, when written as words over the generating set of G, has several EDT0L representations.
△ Less
Submitted 21 June, 2023; v1 submitted 11 May, 2022;
originally announced May 2022.
-
Group equations with abelian predicates
Authors:
Laura Ciobanu,
Albert Garreta
Abstract:
In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more generally, on extensions of the existential theory of semigroups, to the world of groups.
We use interpretability by equations to establish model-theoretic and algeb…
▽ More
In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more generally, on extensions of the existential theory of semigroups, to the world of groups.
We use interpretability by equations to establish model-theoretic and algebraic conditions which are sufficient to get undecidability. We apply our results to (non-abelian) right-angled Artin groups, and show that the problem of solving equations with abelian predicates is undecidable for these. We obtain the same result for hyperbolic groups whose abelianisation has torsion-free rank at least two. By contrast, we prove that in groups with finite abelianisation, the problem can be reduced to solving equations with recognisable constraints, and so this is decidable in right-angled Coxeter groups, or more generally, graph products of finite groups, as well as hyperbolic groups with finite abelianisation.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Variations on the Post Correspondence Problem for free groups
Authors:
Laura Ciobanu,
Alan D. Logan
Abstract:
The Post Correspondence Problem is a classical decision problem about equalisers of free monoid homomorphisms. We prove connections between several variations of this classical problem, but in the setting of free groups and free group homomorphisms. Among other results, and working under certain injectivity assumptions, we prove that computing the rank of the equaliser of a pair of free group homo…
▽ More
The Post Correspondence Problem is a classical decision problem about equalisers of free monoid homomorphisms. We prove connections between several variations of this classical problem, but in the setting of free groups and free group homomorphisms. Among other results, and working under certain injectivity assumptions, we prove that computing the rank of the equaliser of a pair of free group homomorphisms can be applied to computing a basis of this equaliser, and also to solve the "generalised" Post Correspondence Problem for free groups.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Formal conjugacy growth in graph products I
Authors:
Laura Ciobanu,
Susan Hermiller,
Valentin Mercier
Abstract:
In this paper we give a recursive formula for the conjugacy growth series of a graph product in terms of the conjugacy growth and standard growth series of subgraph products. We also show that the conjugacy and standard growth rates in a graph product are equal provided that this property holds for each vertex group. All results are obtained for the standard generating set consisting of the union…
▽ More
In this paper we give a recursive formula for the conjugacy growth series of a graph product in terms of the conjugacy growth and standard growth series of subgraph products. We also show that the conjugacy and standard growth rates in a graph product are equal provided that this property holds for each vertex group. All results are obtained for the standard generating set consisting of the union of generating sets of the vertex groups.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Fixed points and stable images of endomorphisms for the free group of rank two
Authors:
Laura Ciobanu,
Alan D. Logan
Abstract:
We give an algorithm which computes the fixed subgroup and the stable image for any endomorphism of the free group of rank two $F_2$, answering for $F_2$ a question posed by Stallings in 1984 and a question of Ventura.
We give an algorithm which computes the fixed subgroup and the stable image for any endomorphism of the free group of rank two $F_2$, answering for $F_2$ a question posed by Stallings in 1984 and a question of Ventura.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
The Post Correspondence Problem and equalisers for certain free group and monoid morphisms
Authors:
Laura Ciobanu,
Alan D. Logan
Abstract:
A marked free monoid morphism is a morphism for which the image of each generator starts with a different letter, and immersions are the analogous maps in free groups. We show that the (simultaneous) PCP is decidable for immersions of free groups, and provide an algorithm to compute bases for the sets, called equalisers, on which the immersions take the same values. We also answer a question of St…
▽ More
A marked free monoid morphism is a morphism for which the image of each generator starts with a different letter, and immersions are the analogous maps in free groups. We show that the (simultaneous) PCP is decidable for immersions of free groups, and provide an algorithm to compute bases for the sets, called equalisers, on which the immersions take the same values. We also answer a question of Stallings about the rank of the equaliser.
Analogous results are proven for marked morphisms of free monoids.
△ Less
Submitted 10 September, 2020; v1 submitted 18 February, 2020;
originally announced February 2020.
-
The complexity of solution sets to equations in hyperbolic groups
Authors:
Laura Ciobanu,
Murray Elder
Abstract:
We show that the full set of solutions to systems of equations and inequations in a hyperbolic group, as shortlex geodesic words (or any regular set of quasigeodesic normal forms), is an EDT0L language whose specification can be computed in NSPACE$(n^2\log n)$ for the torsion-free case and NSPACE$(n^4\log n)$ in the torsion case. Furthermore, in the presence of quasi-isometrically embeddable ratio…
▽ More
We show that the full set of solutions to systems of equations and inequations in a hyperbolic group, as shortlex geodesic words (or any regular set of quasigeodesic normal forms), is an EDT0L language whose specification can be computed in NSPACE$(n^2\log n)$ for the torsion-free case and NSPACE$(n^4\log n)$ in the torsion case. Furthermore, in the presence of quasi-isometrically embeddable rational constraints, we show that the full set of solutions to systems of equations in a hyperbolic group remains EDT0L. Our work combines the geometric results of Rips, Sela, Dahmani and Guirardel on the decidability of the existential theory of hyperbolic groups with the work of computer scientists including Plandowski, Jeż, Diekert and others on PSPACE algorithms to solve equations in free monoids and groups using compression, and involves an intricate language-theoretic analysis.
△ Less
Submitted 24 October, 2020; v1 submitted 27 January, 2020;
originally announced January 2020.
-
The conjugacy growth of the soluble Baumslag-Solitar groups
Authors:
Laura Ciobanu,
Alex Evetts,
Meng-Che "Turbo" Ho
Abstract:
In this paper we give asymptotics for the conjugacy growth of the soluble Baumslag-Solitar groups $BS(1,k)$, $k\geq 2$, with respect to the standard generating set, by providing a complete description of geodesic conjugacy representatives. We show that the conjugacy growth series for these groups are transcendental, and give formulas for the series. As a result of our computation we also establish…
▽ More
In this paper we give asymptotics for the conjugacy growth of the soluble Baumslag-Solitar groups $BS(1,k)$, $k\geq 2$, with respect to the standard generating set, by providing a complete description of geodesic conjugacy representatives. We show that the conjugacy growth series for these groups are transcendental, and give formulas for the series. As a result of our computation we also establish that in each $BS(1,k)$ the conjugacy and standard growth rates are equal.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
Solutions sets to systems of equations in hyperbolic groups are EDT0L in PSPACE
Authors:
Laura Ciobanu,
Murray Elder
Abstract:
We show that the full set of solutions to systems of equations and inequations in a hyperbolic group, with or without torsion, as shortlex geodesic words, is an EDT0L language whose specification can be computed in $\mathsf{NSPACE}(n^2\log n)$ for the torsion-free case and $\mathsf{NSPACE}(n^4\log n)$ in the torsion case. Our work combines deep geometric results by Rips, Sela, Dahmani and Guirarde…
▽ More
We show that the full set of solutions to systems of equations and inequations in a hyperbolic group, with or without torsion, as shortlex geodesic words, is an EDT0L language whose specification can be computed in $\mathsf{NSPACE}(n^2\log n)$ for the torsion-free case and $\mathsf{NSPACE}(n^4\log n)$ in the torsion case. Our work combines deep geometric results by Rips, Sela, Dahmani and Guirardel on decidability of existential theories of hyperbolic groups, work of computer scientists including Plandowski, Jeż, Diekert and others on $\mathsf{PSPACE}$ algorithms to solve equations in free monoids and groups using compression, and an intricate language-theoretic analysis. The present work gives an essentially optimal formal language description for all solutions in all hyperbolic groups, and an explicit and surprising low space complexity to compute them.
△ Less
Submitted 2 May, 2019; v1 submitted 19 February, 2019;
originally announced February 2019.
-
Equations in groups that are virtually direct products
Authors:
Laura Ciobanu,
Derek Holt,
Sarah Rees
Abstract:
In this note, we show that the satisfiability of equations and inequations with recognisable constraints is decidable in groups that are virtually direct products of finitely many hyperbolic groups.
In this note, we show that the satisfiability of equations and inequations with recognisable constraints is decidable in groups that are virtually direct products of finitely many hyperbolic groups.
△ Less
Submitted 1 June, 2018;
originally announced June 2018.
-
Three-dimensional maps and subgroup growth
Authors:
Rémi Bottinelli,
Laura Ciobanu,
Alexander Kolpakov
Abstract:
In this paper we derive a generating series for the number of cellular complexes known as pavings or three-dimensional maps, on $n$ darts, thus solving an analogue of Tutte's problem in dimension three.
The generating series we derive also counts free subgroups of index $n$ in $Δ^+ = \mathbb{Z}_2*\mathbb{Z}_2*\mathbb{Z}_2$ via a simple bijection between pavings and finite index subgroups which c…
▽ More
In this paper we derive a generating series for the number of cellular complexes known as pavings or three-dimensional maps, on $n$ darts, thus solving an analogue of Tutte's problem in dimension three.
The generating series we derive also counts free subgroups of index $n$ in $Δ^+ = \mathbb{Z}_2*\mathbb{Z}_2*\mathbb{Z}_2$ via a simple bijection between pavings and finite index subgroups which can be deduced from the action of $Δ^+$ on the cosets of a given subgroup. We then show that this generating series is non-holonomic. Furthermore, we provide and study the generating series for isomorphism classes of pavings, which correspond to conjugacy classes of free subgroups of finite index in $Δ^+$.
Computational experiments performed with software designed by the authors provide some statistics about the topology and combinatorics of pavings on $n\leq 16$ darts.
△ Less
Submitted 30 September, 2021; v1 submitted 4 December, 2017;
originally announced December 2017.
-
The conjugacy ratio of groups
Authors:
Laura Ciobanu,
Charles Garnet Cox,
Armando Martino
Abstract:
In this paper we introduce and study the conjugacy ratio of a finitely generated group, which is the limit at infinity of the quotient of the conjugacy and standard growth functions. We conjecture that the conjugacy ratio is $0$ for all groups except the virtually abelian ones, and confirm this conjecture for certain residually finite groups of subexponential growth, hyperbolic groups, right-angle…
▽ More
In this paper we introduce and study the conjugacy ratio of a finitely generated group, which is the limit at infinity of the quotient of the conjugacy and standard growth functions. We conjecture that the conjugacy ratio is $0$ for all groups except the virtually abelian ones, and confirm this conjecture for certain residually finite groups of subexponential growth, hyperbolic groups, right-angled Artin groups, and the lamplighter group.
△ Less
Submitted 7 September, 2017;
originally announced September 2017.
-
Free subgroups of free products and combinatorial hypermaps
Authors:
Laura Ciobanu,
Alexander Kolpakov
Abstract:
We derive a generating series for the number of free subgroups of finite index in $Δ^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $Δ^+$ and certain hypermaps (also known as ribbon graphs or "fat" graphs), and show that this generating series is transcendental. We provide non-linear recurrence relations for the above numbers based on differential equations that are…
▽ More
We derive a generating series for the number of free subgroups of finite index in $Δ^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $Δ^+$ and certain hypermaps (also known as ribbon graphs or "fat" graphs), and show that this generating series is transcendental. We provide non-linear recurrence relations for the above numbers based on differential equations that are part of the Riccati hierarchy. We also study the generating series for conjugacy classes of free subgroups of finite index in $Δ^+$, which correspond to isomorphism classes of hypermaps. Asymptotic formulas are provided for the numbers of free subgroups of given finite index, conjugacy classes of such subgroups, or, equivalently, various types of hypermaps and their isomorphism classes.
△ Less
Submitted 12 February, 2019; v1 submitted 12 August, 2017;
originally announced August 2017.
-
Applications of L systems to group theory
Authors:
Laura Ciobanu,
Murray Elder,
Michal Ferov
Abstract:
L systems generalise context-free grammars by incorporating parallel rewriting, and generate languages such as EDT0L and ET0L that are strictly contained in the class of indexed languages. In this paper we show that many of the languages naturally appearing in group theory, and that were known to be indexed or context-sensitive, are in fact ET0L and in many cases EDT0L. For instance, the language…
▽ More
L systems generalise context-free grammars by incorporating parallel rewriting, and generate languages such as EDT0L and ET0L that are strictly contained in the class of indexed languages. In this paper we show that many of the languages naturally appearing in group theory, and that were known to be indexed or context-sensitive, are in fact ET0L and in many cases EDT0L. For instance, the language of primitives in the free group on two generators, the Bridson-Gilman normal forms for the fundamental groups of 3-manifolds or orbifolds, and the co-word problem of Grigorchuk's group can be generated by L systems. To complement the result on primitives in free groups, we show that the language of primitives, and primitive sets, in free groups of rank higher than two is context-sensitive. We also show the existence of EDT0L and ET0L languages of intermediate growth.
△ Less
Submitted 1 February, 2018; v1 submitted 8 May, 2017;
originally announced May 2017.
-
Permutations of context-free, ET0L and indexed languages
Authors:
Tara Brough,
Laura Ciobanu,
Murray Elder,
Georg Zetzsche
Abstract:
For a language $L$, we consider its cyclic closure, and more generally the language $C^k(L)$, which consists of all words obtained by partitioning words from $L$ into $k$ factors and permuting them. We prove that the classes of ET0L and EDT0L languages are closed under the operators $C^k$. This both sharpens and generalises Brandstädt's result that if $L$ is context-free then $C^k(L)$ is context-s…
▽ More
For a language $L$, we consider its cyclic closure, and more generally the language $C^k(L)$, which consists of all words obtained by partitioning words from $L$ into $k$ factors and permuting them. We prove that the classes of ET0L and EDT0L languages are closed under the operators $C^k$. This both sharpens and generalises Brandstädt's result that if $L$ is context-free then $C^k(L)$ is context-sensitive and not context-free in general for $k\geq 3$. We also show that the cyclic closure of an indexed language is indexed.
△ Less
Submitted 27 May, 2016; v1 submitted 19 April, 2016;
originally announced April 2016.
-
The generalised word problem in hyperbolic and relatively hyperbolic groups
Authors:
Laura Ciobanu,
Derek Holt,
Sarah Rees
Abstract:
We prove that, for a finitely generated group hyperbolic relative to virtually abelian subgroups, the generalised word problem for a parabolic subgroup is the language of a real-time Turing machine. Then, for a hyperbolic group, we show that the generalised word problem for a quasiconvex subgroup is a real-time language under either of two additional hypotheses on the subgroup.
By extending the…
▽ More
We prove that, for a finitely generated group hyperbolic relative to virtually abelian subgroups, the generalised word problem for a parabolic subgroup is the language of a real-time Turing machine. Then, for a hyperbolic group, we show that the generalised word problem for a quasiconvex subgroup is a real-time language under either of two additional hypotheses on the subgroup.
By extending the Muller-Schupp theorem we show that the generalised word problem for a finitely generated subgroup of a finitely generated virtually free group is context-free. Conversely, we prove that a hyperbolic group must be virtually free if it has a torsion-free quasiconvex subgroup of infinite index with context-free generalised word problem.
△ Less
Submitted 6 October, 2016; v1 submitted 2 November, 2015;
originally announced November 2015.
-
Formal conjugacy growth in acylindrically hyperbolic groups
Authors:
Yago Antolín,
Laura Ciobanu
Abstract:
Rivin conjectured that the conjugacy growth series of a hyperbolic group is rational if and only if the group is virtually cyclic. Ciobanu, Hermiller, Holt and Rees proved that the conjugacy growth series of a virtually cyclic group is rational. Here we present the proof confirming the other direction of the conjecture, by showing that the conjugacy growth series of a non-elementary hyperbolic gro…
▽ More
Rivin conjectured that the conjugacy growth series of a hyperbolic group is rational if and only if the group is virtually cyclic. Ciobanu, Hermiller, Holt and Rees proved that the conjugacy growth series of a virtually cyclic group is rational. Here we present the proof confirming the other direction of the conjecture, by showing that the conjugacy growth series of a non-elementary hyperbolic group is transcendental. We also present and prove some variations of Rivin's conjecture for commensurability classes and primitive conjugacy classes.
We then explore Rivin's conjecture for finitely generated acylindrically hyperbolic groups and prove a formal language version of it, namely that no set of minimal length conjugacy representatives can be unambiguous context-free.
△ Less
Submitted 20 October, 2015; v1 submitted 25 August, 2015;
originally announced August 2015.
-
Solution sets for equations over free groups are EDT0L languages
Authors:
Laura Ciobanu,
Volker Diekert,
Murray Elder
Abstract:
We show that, given an equation over a finitely generated free group, the set of all solutions in reduced words forms an effectively constructible EDT0L language. In particular, the set of all solutions in reduced words is an indexed language in the sense of Aho. The language characterization we give, as well as further questions about the existence or finiteness of solutions, follow from our expl…
▽ More
We show that, given an equation over a finitely generated free group, the set of all solutions in reduced words forms an effectively constructible EDT0L language. In particular, the set of all solutions in reduced words is an indexed language in the sense of Aho. The language characterization we give, as well as further questions about the existence or finiteness of solutions, follow from our explicit construction of a finite directed graph which encodes all the solutions. Our result incorporates the recently invented recompression technique of Jeż, and a new way to integrate solutions of linear Diophantine equations into the process.
As a byproduct of our techniques, we improve the complexity from quadratic nondeterministic space in previous works to $\mathsf{NSPACE}(n\log n)$ here.
△ Less
Submitted 23 May, 2016; v1 submitted 10 August, 2015;
originally announced August 2015.
-
Geodesic growth of right-angled Coxeter groups based on trees
Authors:
Laura Ciobanu,
Alexander Kolpakov
Abstract:
In this paper we exhibit two infinite families of trees $\{T^1_n\}_{n \geq 17}$ and $\{T^2_n\}_{n \geq 17}$ on $n$ vertices, such that $T^1_n$ and $T^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $T^1_n$ and $T^2_n$ have the same geodesic growth with respect to the standard generating set. We then show that the spectrum of a tree does is not sufficient…
▽ More
In this paper we exhibit two infinite families of trees $\{T^1_n\}_{n \geq 17}$ and $\{T^2_n\}_{n \geq 17}$ on $n$ vertices, such that $T^1_n$ and $T^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $T^1_n$ and $T^2_n$ have the same geodesic growth with respect to the standard generating set. We then show that the spectrum of a tree does is not sufficient to determine the geodesic growth of the RACG based on that tree, by providing two infinite families of trees $\{S^1_n\}_{n \geq 11}$ and $\{S^2_n\}_{n \geq 11}$, on $n$ vertices, such that $S^1_n$ and $S^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $S^1_n$ and $S^2_n$ have distinct geodesic growth.
Asymptotically, as $n\rightarrow \infty$, each set $T^i_n$, or $S^i_n$, $i=1,2$, has the cardinality of the set of all trees on $n$ vertices. Our proofs are constructive and use two families of trees previously studied by B. McKay and C. Godsil.
△ Less
Submitted 17 January, 2020; v1 submitted 10 April, 2015;
originally announced April 2015.
-
Solution sets for equations over free groups are EDT0L languages -- ICALP 2015 version
Authors:
Laura Ciobanu,
Volker Diekert,
Murray Elder
Abstract:
We show that, given a word equation over a finitely generated free group, the set of all solutions in reduced words forms an EDT0L language. In particular, it is an indexed language in the sense of Aho. The question of whether a description of solution sets in reduced words as an indexed language is possible has been been open for some years, apparently without much hope that a positive answer cou…
▽ More
We show that, given a word equation over a finitely generated free group, the set of all solutions in reduced words forms an EDT0L language. In particular, it is an indexed language in the sense of Aho. The question of whether a description of solution sets in reduced words as an indexed language is possible has been been open for some years, apparently without much hope that a positive answer could hold. Nevertheless, our answer goes far beyond: they are EDT0L, which is a proper subclass of indexed languages. We can additionally handle the existential theory of equations with rational constraints in free products $\star_{1 \leq i \leq s}F_i$, where each $F_i$ is either a free or finite group, or a free monoid with involution. In all cases the result is the same: the set of all solutions in reduced words is EDT0L. This was known only for quadratic word equations by Ferté, Marin and Sénizergues (ToCS 2014), which is a very restricted case. Our general result became possible due to the recent recompression technique of Jeż. In this paper we use a new method to integrate solutions of linear Diophantine equations into the process and obtain more general results than in the related paper (arXiv 1405.5133). For example, we improve the complexity from quadratic nondeterministic space in (arXiv 1405.5133) to quasi-linear nondeterministic space here. This implies an improved complexity for deciding the existential theory of non-abelian free groups: NSPACE($n\log n$). The conjectured complexity is NP, however, we believe that our results are optimal with respect to space complexity, independent of the conjectured NP.
△ Less
Submitted 8 August, 2015; v1 submitted 11 February, 2015;
originally announced February 2015.
-
Permutations of context-free and indexed languages
Authors:
Tara Brough,
Laura Ciobanu,
Murray Elder
Abstract:
We consider the cyclic closure of a language, and its generalisation to the operators $C^k$ introduced by Brandstädt. We prove that the cyclic closure of an indexed language is indexed, and that if $L$ is a context-free language then $C^k(L)$ is indexed.
We consider the cyclic closure of a language, and its generalisation to the operators $C^k$ introduced by Brandstädt. We prove that the cyclic closure of an indexed language is indexed, and that if $L$ is a context-free language then $C^k(L)$ is indexed.
△ Less
Submitted 4 January, 2015; v1 submitted 17 December, 2014;
originally announced December 2014.
-
Finite generating sets of relatively hyperbolic groups and applications to geodesic languages
Authors:
Yago Antolín,
Laura Ciobanu
Abstract:
Given a finitely generated relatively hyperbolic group $G$, we construct a finite generating set $X$ of $G$ such that $(G,X)$ has the `falsification by fellow traveler property' provided that the parabolic subgroups $\{H_ω\}_{ω\in Ω}$ have this property with respect to the generating sets $\{X\cap H_ω\}_{ω\in Ω}$. This implies that groups hyperbolic relative to virtually abelian subgroups, which i…
▽ More
Given a finitely generated relatively hyperbolic group $G$, we construct a finite generating set $X$ of $G$ such that $(G,X)$ has the `falsification by fellow traveler property' provided that the parabolic subgroups $\{H_ω\}_{ω\in Ω}$ have this property with respect to the generating sets $\{X\cap H_ω\}_{ω\in Ω}$. This implies that groups hyperbolic relative to virtually abelian subgroups, which include all limit groups and groups acting freely on $\mathbb{R}^n$-trees, or geometrically finite hyperbolic groups, have generating sets for which the language of geodesics is regular, and the complete growth series and complete geodesic series are rational. As an application of our techniques, we prove that if each $H_ω$ admits a geodesic biautomatic structure over $X\cap H_ω$, then $G$ has a geodesic biautomatic structure.
Similarly, we construct a finite generating set $X$ of $G$ such that $(G,X)$ has the `bounded conjugacy diagrams' property or the `neighbouring shorter conjugate' property if the parabolic subgroups $\{H_ω\}_{ω\in Ω}$ have this property with respect to the generating sets $\{X\cap H_ω\}_{ω\in Ω}$. This implies that a group hyperbolic relative to abelian subgroups has a generating set for which its Cayley graph has bounded conjugacy diagrams, a fact we use to give a cubic time algorithm to solve the conjugacy problem.
Another corollary of our results is that groups hyperbolic relative to virtually abelian subgroups have a regular language of conjugacy geodesics.
△ Less
Submitted 17 March, 2015; v1 submitted 12 February, 2014;
originally announced February 2014.
-
Conjugacy languages in groups
Authors:
Laura Ciobanu,
Susan Hermiller,
Derek Holt,
Sarah Rees
Abstract:
We study the regularity of several languages derived from conjugacy classes in a finitely generated group G for a variety of examples including word hyperbolic, virtually abelian, Artin, and Garside groups. We also determine the rationality of the growth series of the shortlex conjugacy language in virtually cyclic groups, proving one direction of a conjecture of Rivin.
We study the regularity of several languages derived from conjugacy classes in a finitely generated group G for a variety of examples including word hyperbolic, virtually abelian, Artin, and Garside groups. We also determine the rationality of the growth series of the shortlex conjugacy language in virtually cyclic groups, proving one direction of a conjecture of Rivin.
△ Less
Submitted 28 January, 2014;
originally announced January 2014.
-
Sofic groups: graph products and graphs of groups
Authors:
Laura Ciobanu,
Derek F. Holt,
Sarah Rees
Abstract:
We prove that graph products of sofic groups are sofic, as are graphs of groups for which vertex groups are sofic and edge groups are amenable.
We prove that graph products of sofic groups are sofic, as are graphs of groups for which vertex groups are sofic and edge groups are amenable.
△ Less
Submitted 14 August, 2013; v1 submitted 12 December, 2012;
originally announced December 2012.
-
Classes of Groups Generalizing a Theorem of Benjamin Baumslag
Authors:
Laura Ciobanu,
Ben Fine,
Gerhard Rosenberger
Abstract:
In [BB] Benjamin Baumslag proved that being fully residually free is equivalent to being residually free and commutative transitive (CT). Gaglione and Spellman [GS] and Remeslennikov [Re] showed that this is also equivalent to being universally free, that is, having the same universal theory as the class of nonabelian free groups. This result is one of the cornerstones of the proof of the Tarksi p…
▽ More
In [BB] Benjamin Baumslag proved that being fully residually free is equivalent to being residually free and commutative transitive (CT). Gaglione and Spellman [GS] and Remeslennikov [Re] showed that this is also equivalent to being universally free, that is, having the same universal theory as the class of nonabelian free groups. This result is one of the cornerstones of the proof of the Tarksi problems. In this paper we extend the class of groups for which Benjamin Baumslag's theorem is true, that is we consider classes of groups $\X$ for which being fully residually $\X$ is equivalent to being residually $\X$ and commutative transitive. We show that the classes of groups for which this is true is quite extensive and includes free products of cyclics not containing the infinite dihedral group, torsion-free hyperbolic groups (done in [KhM]), and one-relator groups with only odd torsion. Further, the class of groups having this property is closed under certain amalgam constructions, including free products and free products with malnormal amalgamated subgroups. We also consider extensions of these classes to classes where the equivalence with universally $\X$ groups is maintained.
△ Less
Submitted 15 October, 2012;
originally announced October 2012.
-
The Surface Group Conjecture: Cyclically Pinched and Conjugacy Pinched One-Relator Groups
Authors:
Laura Ciobanu,
Ben Fine,
Gerhard Rosenberger
Abstract:
The general {\bf surface group conjecture} asks whether a one-relator group where every subgroup of finite index is again one-relator and every subgroup of infinite index is free (property IF) is a surface group. We resolve several related conjectures given in [FKMRR]. First we obtain the Surface Group Conjecture B for cyclically pinched and conjugacy pinched one-relator groups. That is: if $G$ is…
▽ More
The general {\bf surface group conjecture} asks whether a one-relator group where every subgroup of finite index is again one-relator and every subgroup of infinite index is free (property IF) is a surface group. We resolve several related conjectures given in [FKMRR]. First we obtain the Surface Group Conjecture B for cyclically pinched and conjugacy pinched one-relator groups. That is: if $G$ is a cyclically pinched one-relator group or conjugacy pinched one-relator group satisfying property IF then $G$ is free, a surface group or a solvable Baumslag-Solitar Group. Further combining results in [FKMRR] on Property IF with a theorem of H. Wilton [W] and results of Stallings [St] and Kharlampovich and Myasnikov [KhM4] we show that Surface Group Conjecture C proposed in [FKMRR] is true, namely: If $G$ is a finitely generated nonfree freely indecomposable fully residually free group with property IF, then $G$ is a surface group.
△ Less
Submitted 20 August, 2012;
originally announced August 2012.
-
Conjugacy growth series and languages in groups
Authors:
Laura Ciobanu,
Susan Hermiller
Abstract:
In this paper we introduce the geodesic conjugacy language and geodesic conjugacy growth series for a finitely generated group. We study the effects of various group constructions on rationality of both the geodesic conjugacy growth series and spherical conjugacy growth series, as well as on regularity of the geodesic conjugacy language and spherical conjugacy language. In particular, we show that…
▽ More
In this paper we introduce the geodesic conjugacy language and geodesic conjugacy growth series for a finitely generated group. We study the effects of various group constructions on rationality of both the geodesic conjugacy growth series and spherical conjugacy growth series, as well as on regularity of the geodesic conjugacy language and spherical conjugacy language. In particular, we show that regularity of the geodesic conjugacy language is preserved by the graph product construction, and rationality of the geodesic conjugacy growth series is preserved by both direct and free products.
△ Less
Submitted 17 May, 2012;
originally announced May 2012.
-
Geodesic growth in right-angled and even Coxeter groups
Authors:
Yago Antolín,
Laura Ciobanu
Abstract:
The objective of this paper is to detect which combinatorial properties of a regular graph can completely determine the geodesic growth of the right-angled Coxeter or Artin group this graph defines, and to provide the first examples of right-angled and even Coxeter groups with the same geodesic growth series.
The objective of this paper is to detect which combinatorial properties of a regular graph can completely determine the geodesic growth of the right-angled Coxeter or Artin group this graph defines, and to provide the first examples of right-angled and even Coxeter groups with the same geodesic growth series.
△ Less
Submitted 23 July, 2012; v1 submitted 13 March, 2012;
originally announced March 2012.
-
Rapid decay and Baum-Connes for large type Artin groups
Authors:
Laura Ciobanu,
Derek F Holt,
Sarah Rees
Abstract:
We prove that many Artin groups of large type satisfy the rapid decay property, including all those of extra-large type. For many of these, including all 3-generator groups of extra-large type, a result of Lafforgue applies to show that the groups satisfy the Baum-Connes conjecture without coefficients.
Our proof of rapid decay combines elementary analysis with combinatorial techniques, and reli…
▽ More
We prove that many Artin groups of large type satisfy the rapid decay property, including all those of extra-large type. For many of these, including all 3-generator groups of extra-large type, a result of Lafforgue applies to show that the groups satisfy the Baum-Connes conjecture without coefficients.
Our proof of rapid decay combines elementary analysis with combinatorial techniques, and relies on properties of geodesic words in Artin groups of large type that were observed in an earlier publication by two of the authors of this current article.
△ Less
Submitted 14 August, 2014; v1 submitted 6 March, 2012;
originally announced March 2012.
-
Rapid Decay is Preserved by Graph Products
Authors:
Laura Ciobanu,
Derek F. Holt,
Sarah Rees
Abstract:
We prove that the rapid decay property (RD) of groups is preserved by graph products defined on finite simplicial graphs.
We prove that the rapid decay property (RD) of groups is preserved by graph products defined on finite simplicial graphs.
△ Less
Submitted 31 October, 2011;
originally announced October 2011.
-
On the asymptotics of visible elements and homogeneous equations in surface groups
Authors:
Yago Antolín,
Laura Ciobanu,
Noèlia Viles
Abstract:
Let $F$ be a group whose abelianization is $\Z^k$, $k\geq 2.$ An element of $F$ is called visible if its image in the abelianization is visible, that is, the greatest common divisor of its coordinates is 1.
In this paper we compute three types of densities, annular, even and odd spherical, of visible elements in surface groups. We then use our results to show that the probability of a homogeneou…
▽ More
Let $F$ be a group whose abelianization is $\Z^k$, $k\geq 2.$ An element of $F$ is called visible if its image in the abelianization is visible, that is, the greatest common divisor of its coordinates is 1.
In this paper we compute three types of densities, annular, even and odd spherical, of visible elements in surface groups. We then use our results to show that the probability of a homogeneous equation in a surface group to have solutions is neither 0 nor 1, as the lengths of the right- and left-hand side of the equation go to infinity.
△ Less
Submitted 12 May, 2011;
originally announced May 2011.
-
The monomorphism problem in free groups
Authors:
Laura Ciobanu,
Abderezak Ould Houcine
Abstract:
Let $F$ be a free group of finite rank. We say that the monomorphism problem in $F$ is decidable if for any two elements $u$ and $v$ in $F$, there is an algorithm that determines whether there exists a monomorphism of $F$ that sends $u$ to $v$. In this paper we show that the monomorphism problem is decidable and we provide an effective algorithm that solves the problem.
Let $F$ be a free group of finite rank. We say that the monomorphism problem in $F$ is decidable if for any two elements $u$ and $v$ in $F$, there is an algorithm that determines whether there exists a monomorphism of $F$ that sends $u$ to $v$. In this paper we show that the monomorphism problem is decidable and we provide an effective algorithm that solves the problem.
△ Less
Submitted 10 October, 2009;
originally announced October 2009.
