Related papers: The complexity of solution sets to equations in hy…

We show that, given a finitely generated group $G$ as the coordinate group of a finite system of equations over a torsion-free hyperbolic group $\Gamma$, there is an algorithm which constructs a cover of a canonical solution diagram. The…

We describe a new method of producing equations for the canonical component of representation variety of a knot group into $PSL_2(\mathbb{C})$. Unlike known methods, this one does not involve any polyhedral decomposition or triangulation of…

In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form…

Let S be a closed surface of genus at least 2. We show that a finitely generated group G which is an extension of the fundamental group H of S is word hyperbolic if and only the orbit map of the quotient group G/H on the complex of curves…

We construct an example of a torsion free freely indecomposable finitely presented non-quasiconvex subgroup $H$ of a word hyperbolic group $G$ such that the limit set of $H$ is not the limit set of a quasiconvex subgroup of $G$. In…

To any family of languages LAN, let us associate the class, denoted $\pi(\text{LAN})$, of finitely generated groups that admit a group presentation whose set of relators forms a language in LAN. We show that the class of L-presented groups,…

We show that for a representation of the fundamental group of a triangulated closed 3-manifold (not necessarily hyperbolic) into $\PSL$ so that any edge loop has non-trivial image under the representation, there exist uncountably many…

We consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup…

We give an example of a definable set in every free or torsion-free (non-elementary) hyperbolic group that is not in the Boolean algebra of equational sets. Hence, the theories of free and torsion-free (non-elementary) hyperbolic groups are…

Let $\mathcal G$ denote the space of finitely generated marked groups. We give equivalent characterizations of closed subspaces $\mathcal S\subseteq \mathcal G$ satisfying the following zero-one law: for any sentence $\sigma$ in the…

Embedding the data in hyperbolic spaces can preserve complex relationships in very few dimensions, thus enabling compact models and improving efficiency of machine learning (ML) algorithms. The underlying idea is that hyperbolic…

We study the word and conjugacy problems in lacunary hyperbolic groups (briefly, LHG). In particular, we describe a necessary and sufficient condition for decidability of the word problem in LHG. Then, based on the graded small-cancellation…

We suggest a new approach to the study of relatively hyperbolic groups based on relative isoperimetric inequalities. Various geometric, algebraic, and algorithmic properties are discussed.

We show that one can define and effectively compute Stallings graphs for quasi-convex subgroups of automatic groups (\textit{e.g.} hyperbolic groups or right-angled Artin groups). These Stallings graphs are finite labeled graphs, which are…

Let $G$ be a finitely generated group. We show that for any finite generating set $A$, the language consisting of all geodesics in $Cay(G,A)$ with a contracting property is a regular language. As an application, we show that any finitely…

We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…

This paper is a survey of results proved in recent years that pertain to classifying cobounded hyperbolic actions of any group $G$. In other words, we discuss results that allow us to describe the partially ordered set $\mathcal{H}(G)$,…

A new approach using a hyperbolic-equation system (HES) is proposed to solve for the electron fluids in quasi-neutral plasmas. The HES approach avoids treatments of cross-diffusion terms which cause numerical instabilities in conventional…

Thurston's equations determine the hyperbolic structure of a 3-manifold with a triangulation. In work by Thistlethwaite and Tsvietkova, an alternative method was developed for link complements in $S^3$ depending on the link diagram, where a…

We generalize the classical knapsack and subset sum problems to arbitrary groups and study the computational complexity of these new problems. We show that these problems, as well as the bounded submonoid membership problem, are P-time…