Let $\mu$ be a borelian probability measure on $\mathbf{G}:=\mathrm{SL}_d(\mathbb{Z}) \ltimes \mathbb{T}^d$. Define, for $x\in \mathbb{T}^d$, a random walk starting at $x$ denoting for $n\in \mathbb{N}$, \[ \left{\beginarrayrcl X_0 &=&x\\ X_n+1 &=& a_n+1 X_n + b_n+1 \endarray\right. \]where $((a_n,b_n))\in \mathbf{G}^\mathbb{N}$ is an iid sequence of law $\mu$. Then, we denote by $\mathbb{P}_x$ the measure on $(\mathbb{T}^d)^\mathbb{N}$ that is the image of $\mu^{\otimes \mathbb{N}}$ by the map $\left((g_n) \mapsto (x,g_1 x, g_2 g_1 x, \dots , g_n \dots g_1 x, \dots)\right)$ and for any $\varphi \in \mathrm{L}^1((\mathbb{T}^d)^\mathbb{N}, \mathbb{P}_x)$, we set $\mathbb{E}_x \varphi((X_n)) = \int \varphi((X_n)) \mathrm{d}\mathbb{P}_x((X_n))$. Bourgain, Furmann, Lindenstrauss and Mozes studied this random walk when $\mu$ is concentrated on $\mathrm{SL}_d(\mathbb{Z}) \ltimes\{0\}$ and this allowed us to study, for any hölder-continuous function $f$ on the torus, the sequence $(f(X_n))$ when $x$ is not too well approximable by rational points. In this article, we are interested in the case where $\mu$ is not concentrated on $\mathrm{SL}_d(\mathbb{Z}) \ltimes \mathbb{Q}^d/\mathbb{Z}^d$ and we prove that, under assumptions on the group spanned by the support of $\mu$, the Lebesgue's measure $\nu$ on the torus is the only stationary probability measure and that for any hölder-continuous function $f$ on the torus, $\mathbb{E}_x f(X_n)$ converges exponentially fast to $\int f\mathrm{d}\nu$. Then, we use this to prove the law of large numbers, a non-concentration inequality, the functional central limit theorem and it's almost-sure version for the sequence $(f(X_n))$. In the appendix, we state a non-concentration inequality for products of random matrices without any irreducibility assumption.

In a series of papers the present authors and their coworkers have developed a family of algebraic techniques to solve a number of problems in the theory of discrete or continuous dynamical systems and to analyze numerical integrators. Given a specific problem, those techniques construct an abstract, \em universal version of it which is solved algebraically; then, the results are tranferred to the original problem with the help of a suitable morphism. In earlier contributions, the abstract problem is formulated either in the dual of the shuffle Hopf algebra or in the dual of the Connes-Kreimer Hopf algebra. In the present contribution we extend these techniques to more general Hopf algebras, which in some cases lead to more efficient computations.

Feb 28 2017

math.DS arXiv:1702.08312v1

We use the uniform probability distribution as well as the natural density to calculate the probability that finitely many polynomials are pairwise coprime. It will turn out that the formulas for the two considered probability measures asymptotically coincide but differ in the exact values. Moreover, we compute the natural density of mutually left coprime polynomial matrices and compare the result with the formula one gets using the uniform probability distribution. The achieved estimations are not as precise as in the scalar case but again we can show asymptotic coincidence.

Feb 28 2017

math.DS arXiv:1702.08260v1

We show that in a typical polygon the billiard map as well as its associated subshift obtained by coding orbits by the sequence of sides they visit are topologically weakly mixing.

Feb 28 2017

math.DS arXiv:1702.08213v1

This work is concerned with the dynamics of a class of slow-fast stochastic dynamical systems driven by non-Gaussian stable Levy noise with a scale parameter. slow manifolds with exponentially tracking property are constructed, eliminating the fast variables to reduce the dimension of these coupled dynamical systems. It is shown that as the scale parameter tends to zero, the slow manifolds converge to critical manifolds in distribution, which helps understand long time dynamics. The approximation of slow manifolds with error estimate in distribution are also considered.

Feb 28 2017

math.DS arXiv:1702.08167v1

For an endomorphism it is known that if all the points in the manifold have dense sets of pre-images then the dynamical system is transitive. But the converse has not been investigated before. Here we are going to show that it is true for Anosov endomorphisms on closed manifolds, by the fact that Anosov endomorphisms are covering maps.

Feb 28 2017

math.DS arXiv:1702.08096v1

We consider the distribution of free path lengths, or the distance between consecutive bounces of random particles, in an n-dimensional rectangular box. If each particle travels a distance R, then, as R tends to infinity the free path lengths coincides with the distribution of the length of the intersection of a random line with the box (for a natural ensemble of random lines) and we give an explicit formula (piecewise real analytic) for the probability density function in dimension two and three. In dimension two we also consider a closely related model where each particle is allowed to bounce N times, as N tends to infinity, and give an explicit (again piecewise real analytic) formula for its probability density function. Further, in both models we can recover the side lengths of the box from the location of the discontinuities of the probability density functions.

We prove the hair-trigger effect for a class of non-local non-linear evolution equations on $\X$ which have only two constant stationary solutions, $0$ and $\theta>0$. The effect consists in that the solution with an initial condition non identical to zero converges (when time goes to $\infty$) to $\theta$ locally uniformly in $\X$. We find also sufficient conditions for existence, uniqueness and comparison principle in the considered equations.

In the underlying study it is shown how the linear method of the Yosida-approximation of the derivative applies to solve possibly nonlinear and multivalued functional differential equations like: \begineqnarray* u^\prime(t) &∈& A(t,u_t)u(t) +\om u(t), \ t ∈\re \endeqnarray* Furthermore, in the case of finite and infinite delay we give an answer about whether the solution is bounded, periodic, almost periodic, or some kind of almost automorphy.

It is shown how the linear method of the Yosida-approximation of the derivative applies to solve possibly nonlinear abstract functional differential equations in both, the finite and infinite delay case. A generalization of the integral solution will provide regularity results. Moreover, this method applies to derive uniform convergence on the halfline, and therefore general results on boundedness and various types of asymptotic almost periodicity.

We study when there exists a dense holomorphic curve in a space of holomorphic maps from a Stein space. We first show that for any bounded convex domain $\Omega\Subset\mathbb{C}^n$ and any connected complex manifold $Y$, the space $\mathcal{O}(\Omega,Y)$ contains a dense holomorphic disc. Our second result states that $Y$ is an Oka manifold if and only if for any Stein space $X$ there exists a dense entire curve in every path component of $\mathcal{O}(X,Y)$. In the second half of this paper, we apply the above results to the theory of universal functions. It is proved that for any bounded convex domain $\Omega\Subset\mathbb{C}^n$, any fixed-point-free automorphism of $\Omega$ and any connected complex manifold $Y$, there exists a universal map $\Omega\to Y$. We also characterize Oka manifolds by the existence of universal maps.

Feb 28 2017

math.DS arXiv:1702.07964v1

The original proof of the Sharkovsky theorem is presented in full detail. The proof should be accessible to readers with basic Real Analysis background. Although nowadays there are several alternative proofs of this classical result, we believe the original proof has independent interest. On the one hand, it shows the path followed by the author to derive his result; on the other hand, many auxiliary results in this proof have independent interest. Moreover, the proof itself is not widely available, is very terse, and contains several typographical errors.

Let $X$ be a normal projective variety and $f:X \to X$ a polarized endomorphism. We give two characterizations for $X$ to be a toric variety. First we show that if $X$ is $Q$-factorial and $G$-almost homogeneous for some linear algebraic group $G$ such that $f$ is $G$-equivariant, then $X$ is a toric variety. Next we give a geometric characterization: if $X$ is of Fano type and smooth in codimension 2 and if there is a reduced divisor $D$ such that $f^{-1}(D)=D$, $f|_{X\backslash D}$ is quasi-étale and $K_X+D$ is $Q$-Cartier, then $X$ admits a quasi-étale cover $\widetilde{X}$ such that $\widetilde{X}$ is a toric variety and $f$ lifts to $\widetilde{X}$. In particular, if $X$ is further assumed to be smooth, then $X$ is a toric variety.

We study the passive particle transport generated by a circular vortex path in a 2D ideal flow confined in a circular domain. Taking the strength and angular velocity of the vortex path as main parameters, the bifurcation scheme of relative equilibria is identified. For a perturbed path, an infinite number of orbits around the centers are persistent, giving rise to periodic solutions with zero winding number.

Epidemic processes are used commonly for modeling and analysis of biological networks, computer networks, and human contact networks. The idea of competing viruses has been explored recently, motivated by the spread of different ideas along different social networks. Previous studies of competitive viruses have focused only on two viruses and on static graph structures. In this paper, we consider multiple competing viruses over static and dynamic graph structures, and investigate the eradication and propagation of diseases in these systems. Stability analysis for the class of models we consider is performed and an antidote control technique is proposed.

An astonishing fact was established by Lee A. Rubel in 81: there exists a fixed non-trivial fourth-order polynomial differential algebraic equation (DAE) such that for any continuous function $\phi$ on the reals, and for any positive continuous function $\epsilon(t)$, it has a $\mathcal{C}^\infty$ solution with $|y(t)-\phi(t)|<\epsilon(t)$ for all $t$. Rubel provided an explicit example of such a polynomial DAE. More examples have later been proposed by other authors. However, while these results may seem very surprising, their proofs are quite frustrating for a computability theorist. First, the constructed DAE have no unique solutions for a given initial data. This is very different from usual notions of universality since there is no unambiguous notion of evolution for a given initial data. Second, the proofs usually rely on solutions that are piecewise defined and sometimes non-constructive. Third, the proofs of these results can be interpreted more as the fact that polynomial algebraic differential equations is a too loose a model compared to classical ordinary differential equations. In particular, one may challenge whether the result is really a universality result. The question whether one can require the solution that approximates $\phi$ to be the unique solution for a given initial data is a well known open problem [Rub81] (page 2), [boshernitzan1986universal] (Conjecture 6.2). In this article, we solve it and show that Rubel's statement holds for polynomial ordinary differential equations (ODEs), and since polynomial ODEs have a unique solution given an initial data, this positively answers Rubel's open problem. More precisely, we show that there exists a \textbffixed polynomial ODE such that for any $\phi$ and $\epsilon$ there exists some initial condition that yields a solution that is $\epsilon$-close to $\phi$ at all times.