Related papers: Quasigeodesic languages are not context-free in so…

In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar…

Let $H$ be an acylindrically hyperbolic group without nontrivial finite normal subgroups. We show that any finite system $S$ of equations with constants from $H$ is equivalent to a single equation. We also show that the algebraic set…

This paper solves an open problem concerning the generative power of nonerasing context-free rewriting systems using a simple mechanism for checking for context dependencies, in the literature known as semi-conditional grammars of degree…

Our first result gives a partial converse to a well-known theorem of A. Ancona for hyperbolic groups. We prove that a group $G$, equipped with a symmetric probability measure whose finite support generates $G$, is hyperbolic if it is…

We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single…

A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycyclic groups. It is shown that a finitely generated class 2…

We show that all residually finite generalized Baumslag-Solitar groups of rank $n \geq 1$, defined on a finite and connected graph, are self-similar. Furthermore we prove that all residually finite fundamental groups of (finite, connected)…

We study different notions of quasiconvexity for a subgroup $H$ of a relatively hyperbolic group $G.$ The first result establishes equivalent conditions for $H$ to be relatively quasiconvex. As a corollary we obtain that the relative…

We present a categorical formalism for context-free languages with morphisms given by correspondences obtained from rational transductions. We show that D0L-systems are a special case of the correspondences that define morphisms in this…

We continue the research on the generative capacity of contextual grammars where contexts are adjoined around whole words (externally) or around subwords (internally) which belong to special regular selection languages. All languages…

We prove that for a one-ended hyperbolic graph $X$, the size of the quotient $X/G$ by a group $G$ acting freely and cocompactly bounds from below the number of simplices in an Eilenberg-MacLane space for $G$. We apply this theorem to show…

In this paper, we show that, if a group $G$ acts geometrically on a geodesically complete CAT(0) space $X$ which contains at least one point with a CAT(-1) neighborhood, then $G$ must be either virtually cyclic or acylindrically hyperbolic.…

To study quantum computation, it might be helpful to generalize structures from language and automata theory to the quantum case. To that end, we propose quantum versions of finite-state and push-down automata, and regular and context-free…

Given a finitely generated, torsion-free nilpotent group, we find the maximum possible (critical) regularity for its faithful actions by diffeomorphisms of the closed or half-open interval and of the circle. Our result gives an expression…

We construct compact hyperbolic 3-manifolds with totally geodesic boundary, such that the closed 3-pseudomanifolds obtained by coning off the boundary components are negatively curved and contain locally convex subspaces whose fundamental…

We present a method for generating random hypergraphs in context-free hypergraph languages. It is obtained by adapting Mairson's generation algorithm for context-free string grammars to the setting of hyperedge replacement grammars. Our…

Given a quasi-median graph $X$, the crossing graph $\Delta X$ and the contact graph $\Gamma X$ are natural hyperbolic models of $X$. In this article, we show that the asymptotic translation length in $\Delta X$ or $\Gamma X$ of an isometry…

Let $M$ be a closed hyperbolic $3$-manifold. A homotopy class $[S]$ of surfaces in $M$ is filling if any representative cuts $M$ into components contractible in $M$. We prove that there exist $\epsilon_0, g_0>0$ such that every homotopy…

We study the subgroup structure, Hecke algebras, quasi-regular representations, and asymptotic properties of some fractal groups of branch type. We introduce parabolic subgroups, show that they are weakly maximal, and that the corresponding…

We introduce a concept of tree-graded metric space and we use it to show quasi-isometry invariance of certain classes of relatively hyperbolic groups, to obtain a characterization of relatively hyperbolic groups in terms of their asymptotic…