Related papers: Finite type coarse expanding conformal dynamics

In sequential functional languages, sized types enable termination checking of programs with complex patterns of recursion in the presence of mixed inductive-coinductive types. In this paper, we adapt sized types and their metatheory to the…

We study the dynamical properties of irregular model sets and show that the translation action on their hull always admits an infinite independence set. The dynamics can therefore not be tame and the topological sequence entropy is strictly…

We investigate the boundary behavior of holomorphic functions with respect to a family of curves in a domain of finite type. This work is a generalization of \u{C}irka's classical result on the unit ball and it supplements the result by…

We prove that all hierarchically hyperbolic spaces have finite asymptotic dimension and obtain strong bounds on these dimensions. One application of this result is to obtain the sharpest known bound on the asymptotic dimension of the…

Let X_1 and X_2 be mixing connected algebraic dynamical systems with the Descending Chain Condition. We show that every equivariant continuous map X_1 to X_2 is affine (that is, X_2 is topologically rigid) if and only if the system X_2 has…

By recognizing them as fundamental groups of developable complexes of groups we prove that mapping class groups of compact orientable surfaces have finite asymptotic dimension.

A family of discontinuous symplectic maps on the cylinder is considered. This family arises naturally in the study of nonsmooth Hamiltonian dynamics and in switched Hamiltonian systems. The transformation depends on two parameters and is a…

For each $n\geq 2$, we show that the class of all finite $n$-dimensional partial orders, when expanded with $n$ linear orders which realize the partial order, forms a Fra\"iss\'e class and identify its Fra\"iss\'e limit…

We make a few observations on the absence of geometric and topological rigidity for acylindrically hyperbolic and relatively hyperbolic groups. In particular, we demonstrate the lack of a well-defined limit set for acylindrical actions on…

We characterise completely when limit sets, as parametrised by Cannon-Thurston maps, move discontinuously for a sequence of algebraically convergent quasi-Fuchsian groups.

Dynamical systems at the edge of chaos, which have been considered as models of self-organization phenomena, are marked by their ability to perform nontrivial computations. To distinguish them from systems with limited computing power, we…

We consider a continuum model for the dynamics of systems of self propelling particles with kinematic constraints on the velocities. The model aims to be analogous to a discrete algorithm used in works by T. Vicsek et al. In this paper we…

Extended systems driven through strong disorder are modeled generically using coarse-grained degrees of freedom that interact elastically in the directions parallel to the driving force and that slip along at least one of the directions…

We construct an uncountable sequence of groups acting uniformly properly on hyperbolic spaces. We show that only countably many of these groups can be virtually torsion-free. This gives new examples of groups acting uniformly properly on…

For finite-dimensional linear semigroups which leave a proper cone invariant it is shown that irreducibility with respect to the cone implies the existence of an extremal norm. In case the cone is simplicial a similar statement applies to…

This paper investigates the class of finitely presented monoids defined by homogeneous (length-preserving) relations from a computational perspective. The properties of admitting a finite complete rewriting system, having finite derivation…

We investigate unbounded domains in hierarchically hyperbolic groups and obtain constraints on the possible hierarchical structures. Using these insights, we characterise the structures of virtually abelian HHGs and show that the class 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.…

In this paper, we study the relation between two dynamical systems (V,f) and (V,g) with f. g = g . f. As an application, we show that an endomorphism (respectively a polynomial map with Zariski dense, of bounded Pre(f) has only finitely…

We propose a finite volume scheme for a class of nonlinear parabolic equations endowed with non-homogeneous Dirichlet boundary conditions and which admit relative en-tropy functionals. For this kind of models including porous media…