SearcharxivSearch

arXiv subjects

Yunping Jiang

Publications and source records attributed to Yunping Jiang.

At least 19 recordsLinked to original sources

Ruelle's zeta function for non-Archimedean rational maps

We studied the transfer operators defined over $\mathbb{C}_p$-valued analytic functions for subhyperbolic rational maps on $\mathbb{Q}_p$, and showed that the corresponding Ruelle's zeta functions are meromorphic on $\mathbb{C}_p$. We also used $\mathbb{R}$-valued transfer operators to study the shape of the corresponding Julia sets, and proved a Levin-Sodin-Yuditski type identity for general rational maps on $\mathbb{C}_p$. In all the results above, $\mathbb{Q}_p$ can be replaced with any non-Archimedean local field with characteristic $0$, and $\mathbb{C}_p$ the metric completion of its algebraic closure.

math.DS

Meromorphic functions whose action on their Julia sets is Non-Ergodic

Nevanlinna functions are meromorphic functions with a finite number of asymptotic values and no critical values. In [KK2] it was proved that if the orbits of all the asymptotic values accumulate on a compact set on which the function acts as a repeller, then the function acts ergodically on its Julia set. In [CJK4] we proved the action of the function on its Julia set is still ergodic if some, but not all of the asymptotic values land on infinity, and the remaining ones land on a compact repeller. In this paper, we complete the characterization of ergodicity for Nevanlinna functions by proving that if all the asymptotic values land on infinity, then the Julia set is the whole sphere and the action of the map there is non-ergodic.

math.DS

Convergence of Time-Average along Uniformly Behaved in ${\mathbb N}$ Sequences on Every Point

We define a uniformly behaved in ${\mathbb N}$ arithmetic sequence ${\bf a}$ and an ${\bf a}$-mean Lyapunov stable dynamical system $f$. We consider the time-average of a continuous function $\phi$ along the ${\bf a}$-orbit of $f$ up to $N$. The main result we prove in the paper is that this partial time-average converges for every point in the space if ${\bf a}$ is uniformly behaved in ${\mathbb N}$ and $f$ is minimal and uniquely ergodic and ${\bf a}$-mean Lyapunov stable. In addition, if ${\bf a}$ is also completely additive, we then prove that the time-average of a continuous function $\phi$ along the square-free ${\bf a}$-orbit of $f$ up to $N$ converges for every point in the space as well. All equicontinuous dynamical systems are ${\bf a}$-mean Lyapunov stable for any sequence ${\bf a}$. When ${\bf a}$ is a subsequence of ${\mathbb N}$ with positive lower density, we give two non-trivial examples of ${\bf a}$-mean Lyapunov stable dynamical systems. We give several examples of uniformly behaved in $\mathbb{N}$ sequences, including the counting function of the prime factors in natural numbers, the subsequence of natural numbers indexed by the Thue-Morse (or Rudin-Shapiro) sequence, and the sequence of even (or odd) prime factor natural numbers. We also show that the sequence of square-free natural numbers (or even (or odd) prime factor square-free natural numbers) is rotationally distributed in ${\mathbb N}$ but not uniformly distributed in ${\mathbb Z}$, thus not uniformly behaved in ${\mathbb N}$. We derive other consequences from the main result relevant to number theory and ergodic theory/dynamical systems.

math.NT

Ergodicity in some families of Nevanlinna Functions

We study Nevanlinna functions f that are transcendental meromorphic functions having N asymptotic values and no critical values. In [KK] it was proved that if the orbits of all the asymptotic values have accumulation sets that are compact and on which f is a repeller, then f acts ergodically on its Julia set. In this paper, we prove that if some, but not all of the asymptotic values have this property, while the others are prepoles, the same holds true. This is the first paper to consider this mixed case.

math.DS

Meromorphic functions whose action on their Julia sets is non-ergodic

We study transcendental meromorphic functions having two prepole asymptotic values and no critical values. We prove that these functions acting on their Julia sets are non-ergodic, which illustrates the antithesis of the Keen-Kotus result in [KK2] on the ergodicity of another subfamily of functions with two asymptotic values and no critical values.

math.DS

Geometry in the Furstenberg Conjecture

We explore the geometric aspects of the Furstenberg conjecture, proving that a non-atomic probability measure on the unit circle, invariant under both $p$- and $q$-actions for coprime integers $p,q>1$, must be the Lebesgue measure if it exhibits balanced geometry for one of these actions. Within rigidity theory, we show that balanced geometry is equivalent to the Lipschitz property. A consequence is that an orientation-preserving homeomorphism of the circle conjugating both $p$- and $q$-actions and preserving the Lebesgue measure must be the identity if one of these conjugations satisfies the Lipschitz property. Our approach does not rely solely on ergodicity, and we conclude by proposing conjectures and open problems that frame the Furstenberg conjecture through geometric and quasisymmetric perspectives.

math.DS

Orders of Oscillation Motivated by Sarnak's Conjecture--Part II

This work is a continuation of [13]. We study the linear disjointness between higher-order oscillating sequences and nonlinear dynamical systems. Specifically, we prove that any oscillating sequence of order $m=d+k-1$ and any simple polynomial skew product of degree $k$ on the $d$-Euclidean space are linearly disjoint. Additionally, we demonstrate that any oscillating sequence of order $d$ and any minimal mean attractable and minimal quasi-discrete spectrum dynamical system of order $d$ are linearly disjoint. Finally, we introduce multi-linearly disjoint sequences and construct examples of such sequences.

math.DS

Slices of Parameter Space for Meromorphic Maps with Two Asymptotic Values

This paper is part of a program to understand the parameter spaces of dynamical systems generated by meromorphic functions with finitely many singular values. We give a full description of the parameter space for a specific family based on the exponential function that has precisely two finite asymptotic values and one attracting fixed point. It represents a step beyond the previous work in [GK] on degree 2 rational functions with analogous constraints: two critical values and an attracting fixed point. What is interesting and promising for pushing the general program even further, is that, despite the presence of the essential singularity, our new functions exhibit a dynamic structure as similar as one could hope to the rational case, and that the philosophy of the techniques used in the rational case could be adapted.

math.CV

Symmetric Rigidity for Circle Endomorphisms with Bounded Geometry

Let $f$ and $g$ be two circle endomorphisms of degree $d\geq 2$ such that each has bounded geometry, preserves the Lebesgue measure, and fixes $1$. Let $h$ fixing $1$ be the topological conjugacy from $f$ to $g$. That is, $h\circ f=g\circ h$. We prove that $h$ is a symmetric circle homeomorphism if and only if $h=Id$. Many other rigidity results in circle dynamics follow from this very general symmetric rigidity result.

math.DS

Accessible Boundary Points in the Shift Locus of a Familiy of Meromorphic Functions with Two Finite Asymptotic Values

In this paper we continue the study, began in \cite{CJK2}, of the bifurcation locus of a family of meromorphic functions with two asymptotic values, no critical values and an attracting fixed point. If we fix the multiplier of the fixed point, either of the two asymptotic values determines a one-dimensional parameter slice for this family. We proved that the bifurcation locus divides this parameter slice into three regions, two of them analogous to the Mandelbrot set and one, the shift locus, analogous to the complement of the Mandelbrot set. In \cite{FK, CK} it was proved that the points in the bifurcation locus corresponding to functions with a parabolic cycle, or those for which some iterate of one of the asymptotic values lands on a pole are accessible boundary points of the hyperbolic components of the Mandelbrot-like sets. Here we prove these points, as well as the points where some iterate of the asymptotic value lands on a repelling periodic cycle, are also accessible from the shift locus.

math.DS

Cycle Doubling, Merging And Renormalization in the Tangent Family

In this paper we study the transition to chaos for the restriction to the real and imaginary axes of the tangent family $\{ T_t(z)=i t\tan z\}_{0< t\leq π}$. Because tangent maps have no critical points but have an essential singularity at infinity and two symmetric asymptotic values, there are new phenomena: as $t$ increases we find single instances of "period quadrupling", "period splitting" and standard "period doubling"; there follows a general pattern of "period merging" where two attracting cycles of period $2^n$ "merge" into one attracting cycle of period $2^{n+1}$, and "cycle doubling" where an attracting cycle of period $2^{n+1}$ "becomes" two attracting cycles of the same period. We use renormalization to prove the existence of these bifurcation parameters. The uniqueness of the cycle doubling and cycle merging parameters is quite subtle and requires a new approach. To prove the cycle doubling and merging parameters are, indeed, unique, we apply the concept of "holomorphic motions" to our context. In addition, we prove that there is an "infinitely renormalizable" tangent map $T_{t_\infty}$. It has no attracting or parabolic cycles. Instead, it has a strange attractor contained in the real and imaginary axes which is forward invariant and minimal under $T^2_{t_\infty}$. The intersection of this strange attractor with the real line consists of two binary Cantor sets and the intersection with the imaginary line is totally disconnected, perfect and unbounded.

math.DS

Monodromy, liftings of holomorphic maps, and extensions of holomorphic motions

We study monodromy of holomorphic motions and show the equivalence of triviality of monodromy of holomorphic motions and extensions of holomorphic motions to continuous motions of the Riemann sphere. We also study liftings of holomorphic maps into certain Teichmüller spaces. We use this "lifting property" to prove that, under the condition of trivial monodromy, any holomorphic motion of a closed set in the Riemann sphere, over a hyperbolic Riemann surface, can be extended to a holomorphic motion of the sphere, over the same parameter space. We conclude that this extension can be done in a conformally natural way.

math.CV

Zero Entropy Interval Maps And MMLS-MMA Property

We prove that the flow generated by any interval map with zero topological entropy is minimally mean-attractable (MMA) and minimally mean-L-stable (MMLS). One of the consequences is that any oscillating sequence is linearly disjoint with all flows generated by interval maps with zero topological entropy. In particular, the Möbius function is orthogonal to all flows generated by interval maps with zero topological entropy (Sarnak's conjecture for interval maps). Another consequence is a non-trivial example of a flow having the discrete spectrum.

math.DS

Higher Order Oscillating Sequences, Affine Distal Flows on the $d$-Torus, and Sarnak's Conjecture

In this paper, we give two precise definitions of a higher order oscillating sequence and show the importance of this concept in the study of Sarnak's conjecture. We prove that any higher order oscillating sequence of order $d$ is linearly disjoint from all affine distal flows on the $d$-torus for all $d\geq 2$. One consequence of this result is that any higher order oscillating sequence of order $2$ is linearly disjoint from all affine flows on the $2$-torus with zero topological entropy. In particular, this reconfirms Sarnak's conjecture for all affine flows on the $2$-torus with zero topological entropy and for all affine distal flows on the $d$-torus for all $d\geq 2$.

math.DS

Higher Order Oscillation and Uniform Distribution

It is known that the Möbius function in number theory is higher order oscillating. In this paper we show that there is another kind of higher order oscillating sequences in the form $(e^{2πi αβ^{n}g(β)})_{n\in \N}$, for a non-decreasing twice differentiable function $g$ with a mild condition. This follows the result we prove in this paper that for a fixed non-zero real number $α$ and almost all real numbers $β>1$ (alternatively, for a fixed real number $β>1$ and almost all real numbers $α$) and for all real polynomials $Q(x)$, sequences $\big(αβ^{n}g(β)+Q(n)\big)_{n\in \N}$ are uniformly distributed modulo $1$.

math.DS

Bounded Geometry and Characterization of Some Transcendental Entire and Meromorphic Maps

We define two classes of topological infinite degree covering maps modeled on two families of transcendental holomorphic maps. The first, which we call exponential maps of type $(p,q)$, are branched covers and is modeled on transcendental entire maps of the form $P e^{Q}$, where $P$ and $Q$ are polynomials of degrees $p$ and $q$. The second is the class of universal covering maps from the plane to the sphere with two removed points modeled on transcendental meromorphic maps with two asymptotic values. The problem we address is to give a combinatorial characterization of the holomorphic maps contained in these classes whose post-singular sets are finite. The main results in this paper are that a post-singularly finite topological exponential map of type $(0,1)$ or a certain post-singularly finite topological exponential map of type $(p,1)$ or a post-singularly finite universal covering map from the plane to the sphere with two points removed is combinatorially equivalent to a holomorphic same type map if and only if this map has bounded geometry.

math.DS

Oscillating Sequences, Minimal Mean Attractability and Minimal Mean-Lyapunov-Stability

We define oscillating sequences which include the Möbius function in the number theory. We also define minimally mean attractable flows and minimally mean-L-stable flows. It is proved that all oscillating sequences are linearly disjoint from minimally mean attractable and minimally mean-L-stable flows. In particular, that is the case for the Möbius function. Several minimally mean attractable and minimally mean-L-stable flows are examined. These flows include the ones defined by all $p$-adic polynomials, all $p$-adic rational maps with good reduction, all automorphisms of $2$-torus with zero topological entropy, all diagonalized affine maps of $2$-torus with zero topological entropy, all Feigenbaum zero topological entropy flows, and all orientation-preserving circle homeomorphisms.

math.DS