Related papers: Computability properties of hyperbolic complex H\'…
We construct quantum algorithms to compute physical observables of nonlinear PDEs with M initial data. Based on an exact mapping between nonlinear and linear PDEs using the level set method, these new quantum algorithms for nonlinear…
Let f be a dominant rational map of P^k such that there exists s <k, with lambda_s(f)>lambda_l(f) for all l. Under mild hypotheses, we show that, for A outside a pluripolar set of the group of automorphisms of P^k, the map f o A admits a…
We give explicit examples of pairs of Julia sets of hyperbolic rational maps which are homeomorphic but not quasisymmetrically homeomorphic.
We consider partially hyperbolic diffeomorphisms $f$ with a one-dimensional central direction such that the unstable entropy exceeds the stable entropy. Our main result proves that such maps have a finite number of ergodic measures of…
Hyperbolic geometry, a Riemannian manifold endowed with constant sectional negative curvature, has been considered an alternative embedding space in many learning scenarios, \eg, natural language processing, graph learning, \etc, as a…
Chaotic hyperbolic dynamical systems enjoy a surprising degree of rigidity, a fact which is well known in the mathematics community but perhaps less so in theoretical physics circles. Low-dimensional hyperbolic systems are either conjugate…
We show that Fatou components of a semi-hyperbolic rational map are John domains and that the converse does not hold. This generalizes a famous result of Carleson, Jones and Yoccoz. We show that a connected Julia set is locally connected…
Hyperbolic geometry has recently found applications in social networks, machine learning and computational biology. With the increasing popularity, questions about the best representations of hyperbolic spaces arise, as each representation…
We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…
We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. But a…
Background: Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity…
This paper continues our investigation of the dynamics of polynomial diffeomorphisms of C^2. We introduce a dynamical property of polynomial diffeomorphisms that generalizes hyperbolicity in the way that semi-hyperbolicity generalizes…
Let $\text{G}(n)$ be equal either to $\text{PO}(n,1),\text{PU}(n,1)$ or $\text{PSp}(n,1)$ and let $\Gamma \leq \text{G}(n)$ be a uniform lattice. Denote by $\mathbb{H}^n_K$ the hyperbolic space associated to $\text{G}(n)$, where $K$ is a…
In this note, we construct an algorithm that, on input of a description of a structurally stable planar dynamical flow $f$ defined on the closed unit disk, outputs the exact number of the (hyperbolic) equilibrium points and their locations…
The paper studies the complex differentiable functions of double argument and their properties, which are similar to the properties of the holomorphic functions of complex variable: the Cauchy formula, the hyperbolic harmonicity, the…
A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…
A major part of computability theory focuses on the analysis of a few structures of central importance. As a tool, the method of coding with first-order formulas has been applied with great success. For instance, in the c.e. Turing degrees,…
A graph G is a (Euclidean) unit disk graph if it is the intersection graph of unit disks in the Euclidean plane $\mathbb{R}^2$. Recognizing them is known to be $\exists\mathbb{R}$-complete, i.e., as hard as solving a system of polynomial…
Turing computability is the standard computability paradigm which captures the computational power of digital computers. To understand whether one can create physically realistic devices which have super-Turing power, one needs to…
This paper compares Julia reduction and hyperbolic reduction with the aim of finding equivalent binary forms with minimal coefficients. We demonstrate that hyperbolic reduction generally outperforms Julia reduction, particularly in the…