Homotopy Hubbard trees for post-singularly finite exponential maps

We extend the concept of a Hubbard tree, well established and useful in the theory of polynomial dynamics, to the dynamics of transcendental entire functions. We show that Hubbard trees in the strict traditional sense, as invariant compact trees embedded in $\mathbb {C}$ , do not exist even for post-singularly finite exponential maps; the difficulty lies in the existence of asymptotic values. We therefore introduce the concept of a homotopy Hubbard tree that takes care of these difficulties. Specifically for the family of exponential maps, we show that every post-singularly finite map has a homotopy Hubbard tree that is unique up to homotopy, and that post-singularly finite exponential maps can be classified in terms of homotopy Hubbard trees, using a transcendental analogue of Thurston’s topological characterization theorem of rational maps.

Geometric Characteristics of the Wasserstein Metric on SPD(n) and Its Applications on Data Processing

The Wasserstein distance, especially among symmetric positive-definite matrices, has broad and deep influences on the development of artificial intelligence (AI) and other branches of computer science. In this paper, by involving the Wasserstein metric on SPD(n), we obtain computationally feasible expressions for some geometric quantities, including geodesics, exponential maps, the Riemannian connection, Jacobi fields and curvatures, particularly the scalar curvature. Furthermore, we discuss the behavior of geodesics and prove that the manifold is globally geodesic convex. Finally, we design algorithms for point cloud denoising and edge detecting of a polluted image based on the Wasserstein curvature on SPD(n). The experimental results show the efficiency and robustness of our curvature-based methods.

On the dimension of points which escape to infinity at given rate under exponential iteration

We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps.

Exponential Functions in Cartesian Differential Categories

In this paper, we introduce differential exponential maps in Cartesian differential categories, which generalizes the exponential function $$e^x$$ e x from classical differential calculus. A differential exponential map is an endomorphism which is compatible with the differential combinator in such a way that generalizations of $$e^0 = 1$$ e 0 = 1 , $$e^{x+y} = e^x e^y$$ e x + y = e x e y , and $$\frac{\partial e^x}{\partial x} = e^x$$ ∂ e x ∂ x = e x all hold. Every differential exponential map induces a commutative rig, which we call a differential exponential rig, and conversely, every differential exponential rig induces a differential exponential map. In particular, differential exponential maps can be defined without the need of limits, converging power series, or unique solutions of certain differential equations—which most Cartesian differential categories do not necessarily have. That said, we do explain how every differential exponential map does provide solutions to certain differential equations, and conversely how in the presence of unique solutions, one can derivative a differential exponential map. Examples of differential exponential maps in the Cartesian differential category of real smooth functions include the exponential function, the complex exponential function, the split complex exponential function, and the dual numbers exponential function. As another source of interesting examples, we also study differential exponential maps in the coKleisli category of a differential category.

On the Group of Almost Periodic Diffeomorphisms and its Exponential Map

We define the group of almost periodic diffeomorphisms on $\mathbb{R}^n$ and on an arbitrary Lie group. We then study the properties of its Riemannian and Lie group exponential maps and provide applications to fluid equations. In particular, we show that there exists a geodesic of a weak Riemannian metric on the group of almost periodic diffeomorphisms of the line that consists entirely of conjugate points.