A linear-time algorithm to compute geodesics in solvable Baumslag-Solitar groups

Murray Elder

DOI: https://doi.org/10.1214/10-AAP256

2010-09-08

Abstract:We present an algorithm to convert a word of length $n$ in the standard generators of the solvable Baumslag-Solitar group $BS(1,p)$ into a geodesic word, which runs in linear time and $O(n\log n)$ space on a random access machine.

Group Theory

What problem does this paper attempt to address?

Improved Parallel Algorithms for Baumslag Groups

Caroline Mattes,Armin Weiß

DOI: https://doi.org/10.1007/978-3-031-20624-5_40

2024-04-24

Abstract:The Baumslag group had been a candidate for a group with an extremely difficult word problem until Myasnikov, Ushakov, and Won succeeded to show that its word problem can be solved in polynomial time. Their result used the newly developed data structure of power circuits allowing for a non-elementary compression of integers. Later this was extended in two directions: Laun showed that the same applies to the Baumslag groups $G_{1, q}$ for $q \geq 2$ and we established that the word problem of the Baumslag group $G_{1, 2}$ can be solved in $\mathsf{TC}^2$. In this work we refine the operations on reduced power circuits to further improve upon both results. We show that the word problem of the Baumslag groups $G_{p, pq}$ with $|p|,|q| \geq 1$ can be solved in $\mathsf{uTC}^1$. Moreover, we prove that the conjugacy problem in $G_{p, pq}$ is strongly generically in $\mathsf{uTC}^1$ (meaning that for "most" inputs it is in $\mathsf{uTC}^1$). Finally, for every fixed $g \in G_{1, q}$ (case $p=1$) conjugacy to $g$ can be decided in $\mathsf{uTC}^1$ for all inputs. We further show that the word problem of the Baumslag-Solitar groups $BS_{p, pq}$ is in $\mathsf{uAC}^0(F_2)$ if the input word is given in a quite compressed form and so give a complexity result for a special case of the power word problem for these groups.

Group Theory
Linear Space Data Structures for Finite Groups with Constant Query-time

Bireswar Das,Anant Kumar,Shivdutt Sharma,Dhara Thakkar

2023-03-03

Abstract:A finite group of order $n$ can be represented by its Cayley table. In the word-RAM model the Cayley table of a group of order $n$ can be stored using $O(n^2)$ words and can be used to answer a multiplication query in constant time. It is interesting to ask if we can design a data structure to store a group of order $n$ that uses $o(n^2)$ space but can still answer a multiplication query in constant time. We design a constant query-time data structure that can store any finite group using $O(n)$ words where $n$ is the order of the group. Farzan and Munro (ISSAC 2006) gave an information theoretic lower bound of $\Omega(n)$ on the number of words to store a group of order $n$. Since our data structure achieves this lower bound and answers queries in constant time, it is optimal in both space usage and query-time. A crucial step in the process is essentially to design linear space and constant query-time data structures for nonabelian simple groups. The data structures for nonableian simple groups are designed using a lemma that we prove using the Classification Theorem for Finite Simple Groups (CFSG).

Data Structures and Algorithms,Discrete Mathematics,Combinatorics,Group Theory
Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

Meng-Che "Turbo" Ho,Khanh Le,Dino Rossegger

2024-05-14

Abstract:We answer a question of Calderoni and Clay by showing that the conjugation equivalence relation of left orderings of the Baumslag-Solitar groups $\mathrm{BS}(1,n)$ is hyperfinite for any $n$. Our proof relies on a classification of $\mathrm{BS}(1,n)$'s left-orderings via its one-dimensional dynamical realizations. We furthermore use the effectiveness of the dynamical realizations of $\mathrm{BS}(1,n)$ to study algorithmic properties of the left-orderings on $\mathrm{BS}(1,n)$.

Logic,Group Theory
The Word Problem is Solvable for 3-free Artin groups in Quadratic Time

Rubén Blasco-García,María Cumplido,Rose Morris-Wright

2023-07-21

Abstract:We give a quadratic-time explicit and computable algorithm to solve the word problem for Artin groups that do not contain any relations of length 3. Furthermore, we prove that, given two geodesic words representing the same element, one can obtain one from the other by using a set of homogeneous relations that never increase the word length.

Group Theory
Quadratic equations in metabelian Baumslag-Solitar groups

Richard Mandel,Alexander Ushakov

2023-06-04

Abstract:For a finitely generated group $G$, the \emph{Diophantine problem} over $G$ is the algorithmic problem of deciding whether a given equation $W(z_1,z_2,\ldots,z_k) = 1$ (perhaps restricted to a fixed subclass of equations) has a solution in $G$. In this paper, we investigate the algorithmic complexity of the Diophantine problem for the class $\mathcal{C}$ of quadratic equations over the metabelian Baumslag-Solitar groups $\mathbf{BS}(1,n)$. We prove that this problem is $\mathbf{NP}$-complete whenever $n\neq \pm 1$, and determine the algorithmic complexity for various subclasses (orientable, nonorientable etc.) of $\mathcal{C}$.

Group Theory
On the length of nonsolutions to equations with constants in some linear groups

Henry Bradford,Jakob Schneider,Andreas Thom

DOI: https://doi.org/10.1112/blms.13058

IF: 1.036

2024-05-07

Bulletin of the London Mathematical Society

Abstract:We show that for any finite‐rank–free group Γ , any word‐equation in one variable of length n with constants in Γ fails to be satisfied by some element of Γ of word‐length O(log(n)) . By a result of the first author, this logarithmic bound cannot be improved upon for any finitely generated group Γ . Beyond free groups, our method (and the logarithmic bound) applies to a class of groups including PSLd(Z) for all d⩾2 , and the fundamental groups of all closed hyperbolic surfaces and 3‐manifolds. Finally, using a construction of Nekrashevych, we exhibit a finitely generated group Γ and a sequence of word‐equations with constants in Γ for which every nonsolution in Γ is of word‐length strictly greater than logarithmic.

mathematics
Linear average-case complexity of algorithmic problems in groups

Alexander Olshanskii,Vladimir Shpilrain

2024-03-10

Abstract:The worst-case complexity of group-theoretic algorithms has been studied for a long time. Generic-case complexity, or complexity on random inputs, was introduced and studied relatively recently. In this paper, we address the average-case time complexity of the word problem in several classes of groups and show that it is often the case that the average-case complexity is linear with respect to the length of an input word. The classes of groups that we consider include groups of matrices over rationals (in particular, polycyclic groups), some classes of solvable groups, as well as free products. Along the way, we improve several bounds for the worst-case complexity of the word problem in groups of matrices, in particular in nilpotent groups. For free products, we also address the average-case complexity of the subgroup membership problem and show that it is often linear, too. Finally, we discuss complexity of the identity problem that has not been considered before.

Group Theory,Computational Complexity
Nearly-linear solution to the word problem for 3-manifold groups

Alessandro Sisto,Stefanie Zbinden

2024-07-25

Abstract:We show that the word problem for any 3-manifold group is solvable in time $O(n\log^3 n)$. Our main contribution is the proof that the word problem for admissible graphs of groups, in the sense of Croke and Kleiner, is solvable in $O(n\log n)$; this covers fundamental groups of non-geometric graph manifolds. Similar methods also give that the word problem for free products can be solved "almost as quickly" as the word problem in the factors.

Group Theory,Geometric Topology
Some geodesic problems in groups

Murray Elder,Andrew Rechnitzer

DOI: https://doi.org/10.1515/gcc.2010.014

2010-09-08

Abstract:We consider several algorithmic problems concerning geodesics in finitely generated groups. We show that the three geodesic problems considered by Miasnikov et al [<a class="link-https" data-arxiv-id="0807.1032" href="https://arxiv.org/abs/0807.1032">arXiv:0807.1032</a>] are polynomial-time reducible to each other. We study two new geodesic problems which arise in a previous paper of the authors and Fusy [<a class="link-https" data-arxiv-id="0902.0202" href="https://arxiv.org/abs/0902.0202">arXiv:0902.0202</a>] .

Group Theory
Algorithms for Galois Words: Detection, Factorization, and Rotation

Diptarama Hendrian,Dominik Köppl,Ryo Yoshinaka,Ayumi Shinohara

DOI: https://doi.org/10.4230/LIPIcs.CPM.2024.1

2024-04-23

Abstract:Lyndon words are extensively studied in combinatorics on words -- they play a crucial role on upper bounding the number of runs a word can have [Bannai+, SIAM J. Comput.'17]. We can determine Lyndon words, factorize a word into Lyndon words in lexicographically non-increasing order, and find the Lyndon rotation of a word, all in linear time within constant additional working space. A recent research interest emerged from the question of what happens when we change the lexicographic order, which is at the heart of the definition of Lyndon words. In particular, the alternating order, where the order of all odd positions becomes reversed, has been recently proposed. While a Lyndon word is, among all its cyclic rotations, the smallest one with respect to the lexicographic order, a Galois word exhibits the same property by exchanging the lexicographic order with the alternating order. Unfortunately, this exchange has a large impact on the properties Galois words exhibit, which makes it a nontrivial task to translate results from Lyndon words to Galois words. Up until now, it has only been conjectured that linear-time algorithms with constant additional working space in the spirit of Duval's algorithm are possible for computing the Galois factorization or the Galois rotation.

Data Structures and Algorithms
Linear-Time and Constant-Space Algorithms to compute Multi-Sequences that arise in Enumerative Combinatorics (and Elsewhere)

Shalosh B. Ekhad,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.2203.04966

2022-03-10

Abstract:How many ways, exactly, can a Chess King, always moving forward (i.e. with steps [1,0],[0,1],[1,1]) walk to [100000,200000]? Thanks to the amazing Apagodu-Zeilberger extension of the Almkvist-Zeilberger algorithm, adapted in this article for combinatorial applications, this 104492-digit number, can be computed in less than 33 seconds. But not just this particular number. Many other numbers that come up in enumerative combinatorics, can be computed just as efficiently

Combinatorics
The isomorphism problem for small-rose generalized Baumslag-Solitar groups

Daxun Wang

2024-08-14

Abstract:A generalized Baumslag-Solitar group is a finitely generated group that acts on a tree with infinite-cyclic vertex and edge stabilizers. In this paper, we show that the isomorphism problem is solvable for small rose non-ascending generalized Baumslag- Solitar groups.

Group Theory,Geometric Topology
Space-efficient SLP Encoding for $O(\log N)$-time Random Access

Akito Takasaka,Tomohiro I

2024-07-26

Abstract:A Straight-Line Program (SLP) $G$ for a string $T$ is a context-free grammar (CFG) that derives $T$ only, which can be considered as a compressed representation of $T$. In this paper, we show how to encode $G$ in $n \lceil \lg N \rceil + (n + n') \lceil \lg (n+\sigma) \rceil + 4n - 2n' + o(n)$ bits to support random access queries of extracting $T[p..q]$ in worst-case $O(\log N + p - q)$ time, where $N$ is the length of $T$, $\sigma$ is the alphabet size, $n$ is the number of variables in $G$ and $n' \le n$ is the number of symmetric centroid paths in the DAG representation for $G$.

Data Structures and Algorithms
Faster List Decoding of AG Codes

Peter Beelen,Vincent Neiger

2023-04-14

Abstract:In this article, we present a fast algorithm performing an instance of the Guruswami-Sudan list decoder for algebraic geometry codes. We show that any such code can be decoded in $\tilde{O}(s^2\ell^{\omega-1}\mu^{\omega-1}(n+g) + \ell^\omega \mu^\omega)$ operations in the underlying finite field, where $n$ is the code length, $g$ is the genus of the function field used to construct the code, $s$ is the multiplicity parameter, $\ell$ is the designed list size and $\mu$ is the smallest positive element in the Weierstrass semigroup of some chosen place.

Information Theory,Symbolic Computation
Direct and Inverse Problems in Baumslag-Solitar Group $BS(1,3)$

Sandeep Singh,Ramandeep Kaur

2024-02-26

Abstract:For integers $m$ and $n$, the Baumslag-Solitar groups, denoted as $BS(m,n)$, are groups generated by two elements with a single defining relation: $BS(m,n) = \langle a, b | a^mb=ba^n\rangle$. The sum of dilates, denoted as $r \cdot A + s \cdot B$ for integers $r$ and $s$, is defined as $\{ra + sb; a\in A, b\in B\}$. In 2014, Freiman et al. \cite{freiman} derived direct and inverse results for sums of dilates and applied these findings to address specific direct and inverse problems within Baumslag-Solitar groups, assuming suitable small doubling properties. In 2015, Freiman et al. \cite{freiman15} tackled the general problem of small doubling types in a monoid, a subset of the Baumslag-Solitar group $BS(1,2)$. This paper extends these investigations to solve the analogous problem for the Baumslag-Solitar group $BS(1,3)$.

Number Theory
Constructive Recognition of Special Linear Groups

Max Horn,Alice Niemeyer,Cheryl Praeger,Daniel Rademacher

2024-04-30

Abstract:We introduce a new constructive recognition algorithm for finite special linear groups in their natural representation. Given a group $G$ generated by a set of $d\times d$ matrices over a finite field $\mathbb{F}_q$, known to be isomorphic to the special linear group $\mathrm{SL}(d,q)$, the algorithm computes a special generating set $S$ for $G$. These generators enable efficient computations with the input group, including solving the word problem. Implemented in the computer algebra system GAP, our algorithm outperforms existing state-of-the-art algorithms by a significant margin. A detailed complexity analysis of the algorithm will be presented in an upcoming publication.

Group Theory
Complexity of some algorithmic problems in groups: a survey

Vladimir Shpilrain

2024-01-17

Abstract:In this survey, we address the worst-case, average-case, and generic-case time complexity of the word problem and some other algorithmic problems in several classes of groups and show that it is often the case that the average-case complexity of the word problem is linear with respect to the length of an input word, which is as good as it gets if one considers groups given by generators and defining relations. At the same time, there are other natural algorithmic problems, for instance, the geodesic (decision) problem or Whitehead's automorphism problem, where the average-case time complexity can be sublinear, even constant.

Group Theory,Computational Complexity
Intermediate geodesic growth in virtually nilpotent groups

Corentin Bodart

2024-09-23

Abstract:We give a criterion on pairs $(G,S)$ - where $G$ is a virtually $s$-step nilpotent group and $S$ is a finite generating set - saying whether the geodesic growth is exponential or strictly sub-exponential. Whenever $s=1,2$, this goes further and we prove the geodesic growth is either exponential or polynomial. For $s\ge 3$ however, intermediate growth is possible. We provide an example of virtually $3$-step nilpotent group for which $\gamma_{\mathrm{geod}}(n) \asymp \exp\!\big(n^{3/5}\cdot \log(n)\big)$. This is the first known example of group with intermediate geodesic growth. Along the way, we prove results on the geometry of virtually nilpotent groups, including asymptotics with error terms for their volume growth.

Group Theory,Metric Geometry
Algorithmically finite, universal, and $*$-universal groups

Uri Andrews,Meng-Che "Turbo" Ho

2024-02-03

Abstract:The study of the word problems of groups dates back to Dehn in 1911, and has been a central topic of study in both group theory and computability theory. As most naturally occurring presentations of groups are recursive, their word problems can be thought of as a computably enumerable equivalence relation (ceer). In this paper, we study the word problem of groups in the framework of ceer degrees, introducing a new metric with which to study word problems. This metric is more refined than the classical context of Turing degrees.

Logic,Group Theory

A linear-time algorithm to compute geodesics in solvable Baumslag-Solitar groups

Improved Parallel Algorithms for Baumslag Groups

Linear Space Data Structures for Finite Groups with Constant Query-time

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

The Word Problem is Solvable for 3-free Artin groups in Quadratic Time

Quadratic equations in metabelian Baumslag-Solitar groups

On the length of nonsolutions to equations with constants in some linear groups

Linear average-case complexity of algorithmic problems in groups

Nearly-linear solution to the word problem for 3-manifold groups

Some geodesic problems in groups

Algorithms for Galois Words: Detection, Factorization, and Rotation

Linear-Time and Constant-Space Algorithms to compute Multi-Sequences that arise in Enumerative Combinatorics (and Elsewhere)

The isomorphism problem for small-rose generalized Baumslag-Solitar groups

Space-efficient SLP Encoding for $O(\log N)$-time Random Access

Faster List Decoding of AG Codes

Direct and Inverse Problems in Baumslag-Solitar Group $BS(1,3)$

Constructive Recognition of Special Linear Groups

Complexity of some algorithmic problems in groups: a survey

Intermediate geodesic growth in virtually nilpotent groups

Algorithmically finite, universal, and $*$-universal groups