Related papers: Context-free rewriting systems and word-hyperbolic…
Reading a document and extracting an answer to a question about its content has attracted substantial attention recently. While most work has focused on the interaction between the question and the document, in this work we evaluate the…
In this paper, we present a regularization to 1D Grad's moment system to achieve global hyperbolicity. The regularization is based on the observation that the characteristic polynomial of the Jacobian of the flux in Grad's moment system is…
This paper presents new results on the identities satisfied by the hypoplactic monoid. We show how to embed the hypoplactic monoid of any rank strictly greater than 2 (including infinite rank) into a direct product of copies of the…
The compressed word problem for a finitely generated monoid M asks whether two given compressed words over the generators of M represent the same element of M. For string compression, straight-line programs, i.e., context-free grammars that…
In this paper we show that bending a finite volume hyperbolic $d$-manifold $M$ along a totally geodesic hypersurface $\Sigma$ results in a properly convex projective structure on $M$ with finite volume. We also discuss various geometric…
To Rogers (1994) we owe the insight that monadic second order predicate logic with multiple successors (MSO) is well suited in many respects as a realistic formal base for syntactic theorizing. However, the agreeable formal properties of…
We present a type system that combines, in a controlled way, first-order polymorphism with intersectiontypes, union types, and subtyping, and prove its safety. We then define a type reconstruction algorithm that issound and terminating.…
Recently, the explicit volume formulae for hyperbolic cone-manifolds, whose underlying space is the 3-sphere and the singular set is the knot $4_1$ and the links $5^2_1$ and $6^2_2$, have been obtained by the second named author and his…
We construct an unfolded system that describes an on-shell free massless hypermultiplet and show that the standard harmonic superspace formulation of this model naturally arises from the "vielbeinization" of unfolded 1-forms associated to…
We give necessary and sufficient conditions for a hyperbolic set to be non-chaotic (or, conversely, chaotic) in a certain sense.
Most of the existing literature regarding hyperbolic embedding concentrate upon supervised learning, whereas the use of unsupervised hyperbolic embedding is less well explored. In this paper, we analyze how unsupervised tasks can benefit…
This paper is devoted to superlensing using hyperbolic metamaterials: the possibility to image an arbitrary object using hyperbolic metamaterials without imposing any conditions on size of the object and the wave length. To this end, two…
We give necessary and sufficient conditions for a free-by-free group to be relatively hyperbolic with a cusp-preserving structure. Namely, if $\phi_1, \ldots , \phi_k $ is a collection of exponentially growing outer automorphisms with a…
We show that in general for a given group the structure of a maximal hyperbolic tower over a free group is not canonical: We construct examples of groups having hyperbolic tower structures over free subgroups which have arbitrarily large…
For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant…
In this paper we continue the study of non-diagonalisable hyperbolic systems with variable multiplicity started by the authors in \cite{Garetto2018}. In the case of space dependent coefficients, we prove a representation formula for…
According to the work of Dennis Sullivan, there exists a smooth flow on the 5-sphere all of whose orbits are periodic although there is no uniform bound on their periods. The question addressed in this article is whether these type of…
The following discourse is inspired by the works on hyperbolic groups of Epstein, and Neumann/Reeves. Epstein showed that geometrically finite hyperbolic groups are biautomatic. Neumann/Reeves showed that virtually central extensions of…
We present a topological proof of the existence of invariant manifolds for maps with normally hyperbolic-like properties. The proof is conducted in the phase space of the system. In our approach we do not require that the map is a…
In this work, it is proved that a set of numbers closed under addition and whose representations in a rational base numeration system is a rational language is not a finitely generated additive monoid. A key to the proof is the definition…