Related papers: Quadratic Equations in Hyperbolic Groups are NP-co…

We prove that, for every integer $n \ge 2$, a finite or infinite countable group $G$ can be embedded into a 2-generated group $H$ in such a way that the solvability of quadratic equations of length at most $n$ is preserved, i.e., every…

We prove that the Diophantine problem for orientable quadratic equations in free metabelian groups is decidable and furthermore, NP-complete. In the case when the number of variables in the equation is bounded, the problem is decidable in…

We begin the investigation of Gamma-limit groups, where Gamma is a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. Using the results of Drutu and Sapir, we adapt the results from math.GR/0404440 to…

Let $G$ be a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…

Quantum groups and non-commutative spaces have been repeatedly utilized in approaches to quantum gravity. They provide a mathematically elegant cut-off, often interpreted as related to the Planck-scale quantum uncertainty in position. We…

Let $\Gamma$ be a finitely generated group which is hyperbolic relative to a finite family $\{H_1,...,H_n\}$ of subgroups. We prove that $\Gamma$ is uniformly embeddable in a Hilbert space if and only if each subgroup $H_i$ is uniformly…

Given a finitely presented group $Q$ and a compact special cube complex $X$ with non-elementary hyperbolic fundamental group, we produce a non-elementary, torsion-free, cocompactly cubulated hyperbolic group $\Gamma$ that surjects onto $Q$,…

In this work we investigate tensor completions of groups by associative rings, which were introduced by R.Lyndon and G.Baumslag in 1960s. The main result states that there exists an algorithm that decides if a given finite system of…

We investigate the distribution of orbits of a non-elementary discrete hyperbolic group acting on the n-dimensional hyperbolic space and its geometric boundary. In particular, we show that if the group $\Gamma$ admits a finite…

The Dowling geometry $Q_n(\Gamma)$, where $\Gamma$ is a finite group, is a matroid that generalizes the complete-graphic matroid $M(K_{n+1})$. We determine the maximum size of an $N$-free submatroid of $Q_n(\Gamma)$ for various choices of…

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…

We identify the finitely many arithmetic lattices $\Gamma$ in the orientation preserving isometry group of hyperbolic $3$-space $\mathbb{H}^3$ generated by an element of order $4$ and and element of order $p\geq 2$. Thus $\Gamma$ has a…

We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…

The Equation Problem in finitely presented groups asks if there exists an algorithm which determines in finite amount of time whether any given equation system has a solution or not. We show that the Equation Problem in central extensions…

Let $\Gamma$ be a Gromov hyperbolic group, endowed with an arbitrary left-invariant hyperbolic metric, quasi-isometric to a word metric. The action of $\Gamma$ on its boundary $\partial\Gamma$ endowed with the Patterson-Sullivan measure…

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…

In parabolic or hyperbolic PDEs, solutions which remain uniformly bounded for all real times $t=r\in\mathbb{R}$ are often called PDE entire or eternal. For example, consider the quadratic parabolic PDE \begin{equation*} \label{*}…

Let $E$ be an elliptic curve defined over $\mathbb Q$. Let $\Gamma$ be a subgroup of $E(\mathbb Q)$ and $P\in E(\mathbb Q)$. In [1], it was proved that if $E$ has no nontrivial rational torsion points, then $P\in\Gamma$ if and only if $P\in…

We investigate on the existence of smooth complete hypersurface with prescribed Weingarten curvature and asymptotic boundary at infinity in hyperbolic space under the assumption that there exists an asymptotic subsolution. We give an…

Let $\Gamma$ be a nonuniform lattice acting on real hyperbolic n-space. We show that in dimension greater than or equal to 4, the volume of a representation is constant on each connected component of the representation variety of $\Gamma$…