Rich Stankewitz
Let G be a semigroup of rational functions of degree at least two where the semigroup operation is composition of functions. We prove that the largest open subset of the Riemann sphere on which the semigroup G is normal and is completely invariant under each element of G, can have only 0, 1, 2, or infinitely many components.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
A classical Kamae-Weiss theorem states that an increasing sequence $(n_i)_{i\in\mathbb N}$ of positive lower density is \emph{normality preserving}, i.e. has the property that for any normal binary sequence $(b_n)_{n\in\mathbb N}$, the sequence $(b_{n_i})_{i\in\mathbb N}$ is normal, if and only if $(n_i)_{i\in\mathbb N}$ is a deterministic sequence. Given a countable cancellative amenable semigroup $G$, and a Følner sequence $\mathcal F=(F_n)_{n\in\mathbb N}$ in $G$, we introduce the notions of normality preservation, determinism and subexponential complexity for subsets of $G$ with respect to…
We characterize left and right amenable semigroups of polynomials of one complex variable with respect to the composition operation. We also prove a number of results about amenable semigroups of arbitrary rational functions. In particular, we show that under quite general conditions a semigroup of rational functions is left amenable if and only if it is a subsemigroup of the centralizer of some rational function.
In this article we discuss relations between algebraic and dynamical properties of non-cyclic semigroups of rational maps.
We formulate some problems and conjectures about semigroups of rational functions under composition. The considered problems arise in different contexts, but most of them are united by a certain relationship to the concept of amenability.
We give an example of two rational functions with non-equal Julia sets that generate a rational semigroup whose completely invariant Julia set is a closed line segment. We also give an example of polynomials with unequal Julia sets that generate a non nearly Abelian polynomial semigroup with the property that the Julia set of one generator is equal to the Julia set of the semigroup. These examples show that certain conjectures in the field of dynamics of rational semigroups do not hold as stated and therefore require the allowance of certain exceptional cases.
In this paper, we present a new technique for studying the dynamics of a finitely generated rational semigroup. Such a semigroup can be associated naturally to a certain holomorphic correspondence on $\mathbb{P}^1$. Then, results on the iterative dynamics of such a correspondence can be applied to the study of the rational semigroup. We focus on a certain invariant measure for the aforementioned correspondence---known as the equilibrium measure. This confers some advantages over many of the known techniques for studying the dynamics of rational semigroups. We use the equilibrium measure to ana…
We consider the multifractal formalism for the dynamics of semigroups of rational maps on the Riemann sphere and random complex dynamical systems. We elaborate a multifractal analysis of level sets given by quotients of Birkhoff sums with respect to the skew product associated with a semigroup of rational maps. Applying these results, we perform a multifractal analysis of the Hölder regularity of limit state functions of random complex dynamical systems.
On amenability and measure of maximal entropy for semigroups of rational maps: II
本文比较有理映射半群的动力学与代数性质，证明Day-von Neumann猜想版本，部分回答Sushkievich问题，并建立与Furstenberg $\ imes 2 \ imes 3$问题的联系，给出非例外多项式半群的粗糙版本。
Rational semigroups were introduced by Hinkkanen and Martin as a generalization of the iteration of a single rational map. There has subsequently been much interest in the study of rational semigroups. Quasiregular semigroups were introduced shortly after rational semigroups as analogues in higher real dimensions, but have received far less attention. Each map in a quasiregular semigroup must necessarily be a uniformly quasiregular map. While there is a completely viable theory for the iteration of uniformly quasiregular maps, it is a highly non-trivial matter to construct them. In this paper,…
We show that the Julia set of a non-elementary rational semigroup G is uniformly perfect when there is a uniform bound on the Lipschitz constants of the generators of G. This also proves that the limit set of a non-elementary Moebius group is uniformly perfect when there is a uniform bound on the Lipschitz constants of the generators of the group and this implies that the limit set of a finitely generated non-elementary Kleinian group is uniformly perfect.
We study two notions of topological entropy of correspondences introduced by Friedland and Dinh-Sibony. Upper bounds are known for both. We identify a class of holomorphic correspondences whose entropy in the sense of Dinh-Sibony equals the known upper bound. This provides an exact computation of the entropy for rational semigroups. We also explore a connection between these two notions of entropy.
We estimate the upper box and Hausdorff dimensions of the Julia set of an expanding semigroup generated by finitely many rational functions, using the thermodynamic formalism in ergodic theory. Furthermore, we show Bowen's formula, and the existence and uniqueness of a conformal measure, for a finitely generated expanding semigroup satisfying the open set condition. What we discuss is the `backward iterated function systems', and since the generator maps are not injective in general, we need some efforts to estimate the measure of disks.
We consider fiber-preserving complex dynamics on fiber bundles whose fibers are Riemann spheres and whose base spaces are compact metric spaces. In this context, without any assumption on (semi-)hyperbolicity, we show that the fiberwise Julia sets are uniformly perfect. From this result, we show that, for any semigroup $G$ generated by a compact family of rational maps on the Riemann sphere of degree two or greater, the Julia set of any subsemigroup of $G$ is uniformly perfect. We define the semi-hyperbolicity of dynamics on fiber bundles and show that, if the dynamics on a fiber bundle is sem…
We investigate the dynamics of semigroups of rational maps on the Riemann sphere. To establish a fractal theory of the Julia sets of infinitely generated semigroups of rational maps, we introduce a new class of semigroups which we call nicely expanding rational semigroups. More precisely, we prove Bowen's formula for the Hausdorff dimension of the pre-Julia sets, which we also introduce in this paper. We apply our results to the study of the Julia sets of non-hyperbolic rational semigroups. For these results, we do not assume the cone condition, which has been assumed in the study of infinite …
We consider the dynamics of rational semigroups (semigroups of rational maps) on the Riemann sphere. We provide proof that a random backward iteration algorithm to draw the pictures of the Julia sets, previously proven to work in the context of iteration of a rational map of degree two or more, extends to finitely generated rational semigroups (of a certain type). We also provide some consequences of this result.
The notion of nearly abelian rational semigroup was introduced by Hinkannen and Martin. In this paper, we have introduced the notion of nearly abelian transcendental semigroup. We have extended the results of nearly abelian rational semigroups to the best possible class of nearly abelian transcendental semigroups. We have given a class of functions which nearly permute with a given transcendental entire function. In addition, a relation between the postsingular set of composition of two entire functions with that of individual functions is obtained.
We consider the dynamics of skew product maps associated with finitely generated semigroups of rational maps on the Riemann sphere. We show that under some conditions on the dynamics and the potential function ψ, there exists a unique equilibrium state for ψand a unique $\exp(¶(ψ)-ψ)$-conformal measure, where P(ψ) denotes the topological pressure of ψ.
We consider the dynamics of rational semigroups (semigroups of rational maps) on the Riemann sphere. We estimate the Bowen parameters (zeros of the pressure functions) and the Hausdorff dimensions of the Julia sets of expanding finitely generated rational semigroups. We show that the Bowen parameter is larger than or equal to the ratio of the entropy of the skew product map $F$ and the Lyapunov exponent of $F$ with respect to the maximal entropy measure for $F$. Moreover, we show that the equality holds if and only if the generators $f_{j}$ are simultaneously conjugate to the form $a_{j}z^{\pm…
We consider the dynamics of expanding semigroups generated by finitely many rational maps on the Riemann sphere. We show that for an analytic family of such semigroups, the Bowen parameter function is real-analytic and plurisubharmonic. Combining this with a result obtained by the first author, we show that if for each semigroup of such an analytic family of expanding semigroups satisfies the open set condition, then the function of the Hausdorff dimension of the Julia set is real-analytic and plurisubharmonic. Moreover, we provide an extensive collection of classes of examples of analytic fam…
We are going to study the dynamical properties of the rational semigroup $Q_{t}(μ)$ where $Q_{t}(μ)= (1-t) μ* (1- t μ)^{-1},$ for $t \in [0,1)$, that is defined for $μ\in \mathcal{P}(G)$, the set of Borel probabilities over $(G, \cdot)$ an abelian compact topological group where we define the \textbf{convolution}, $ν* μ\in \mathcal{P}(G)$, as usual for a group $\int f d(ν* μ)= \int \int f(xy) dν(x) dμ(y),$ then $(\mathcal{P}(G), *)$ became a $\textbf{convolution measure algebra}$ (CM-algebra). We investigate several properties for this semigroup (as the Stable Manifold Theorem, Asymptotic beha…
Let G be a semigroup of rational functions of degree at least two, under composition of functions. Suppose that G contains two polynomials with non-equal Julia sets. We prove that the smallest closed subset of the Riemann sphere which contains at least three points and is completely invariant under each element of G, is the sphere itself.
Exact dimensionality of projected measures for expanding rational semigroups
研究扩张有理半群的维数理论，通过符号空间与黎曼球面的斜积，证明了投影条件测度的Ledrappier-Young型公式及其精确维数性质。
We consider the dynamics of semi-hyperbolic semigroups generated by finitely many rational maps on the Riemann sphere. Assuming that the nice open set condition holds it is proved that there exists a geometric measure on the Julia set with exponent $h$ equal to the Hausdorff dimension of the Julia set. Both $h$-dimensional Hausdorff and packing measures are finite and positive on the Julia set and are mutually equivalent with Radon-Nikodym derivatives uniformly separated from zero and infinity. All three fractal dimensions, Hausdorff, packing and box counting are equal. It is also proved that …
We study skew-product dynamics for a large class of finitely-generated semi--hyperbolic semigroups of rational maps acting on the Riemann sphere, which generalizes both the theory of iteration of a single rational map of a single complex variable complex/holomorphic dynamics) and the theory of countable alphabet conformal iterated function systems (CIFSs). We construct the thermodynamic formalism for such dynamical systems and geometric potentials by developing the notion of nice families that extend to the case of our highly disconnected skew product phase space the powerful notion of nice se…
Adler, Keane, and Smorodinsky showed that if one concatenates the finite continued fraction expansions of the sequence of rationals \[ \frac{1}{2}, \frac{1}{3}, \frac{2}{3}, \frac{1}{4}, \frac{2}{4}, \frac{3}{4}, \frac{1}{5}, \cdots \] into an infinite continued fraction expansion, then this new number is normal with respect to the continued fraction expansion. We show a variety of new constructions of continued fraction normal numbers, including one generated by the subsequence of rationals with prime numerators and denominators: \[ \frac{2}{3}, \frac{2}{5}, \frac{3}{5}, \frac{2}{7}, \frac{3}…
The 3x+1 semigroup is the multiplicative semigroup generated by the rational numbers of form (2k+1)/(3k+2) for non-negative k, together with 2. This semigroup encodes backward iteration under the 3x+1 map, and the 3x+1 conjecture implies that it contains every positive integer. We prove this is the case, and show that this semigroup consists of all positive rational numbers a/b such that 3 does not divide b.
This paper deals with both complex dynamical systems and conformal iterated function systems. We study finitely generated expanding semigroups of rational maps with overlaps on the Riemann sphere. We show that if a $d$-parameter family of such semigroups satisfies the transversality condition, then for almost every parameter value the Hausdorff dimension of the Julia set is the minimum of 2 and the zero of the pressure function. Moreover, the Hausdorff dimension of the exceptional set of parameters is estimated. We also show that if the zero of the pressure function is greater than 2, then typ…
We investigate the random dynamics of rational maps on the Riemann sphere and the dynamics of semigroups of rational maps on the Riemann sphere. We show that regarding random complex dynamics of polynomials, in most cases, the chaos of the averaged system disappears, due to the cooperation of the generators. We investigate the iteration and spectral properties of transition operators. We show that under certain conditions, in the limit stage, "singular functions on the complex plane" appear. In particular, we consider the functions $T$ which represent the probability of tending to infinity wit…
Attractor sets and Julia sets in low dimensions
本文证明二维或三维共形IFS的吸引子集可表示为拟正则半群的Julia集，并在二维附加条件下由单元素生成，进而与有理映射Julia集拟共形等价。
We extend a result regarding the Random Backward Iteration algorithm for drawing Julia sets (known to work for certain rational semigroups containing a non-Möbius element) to a class of Möbius semigroups which includes certain settings not yet been dealt with in the literature, namely, when the Julia set is not a thick attractor in the sense given in [David Fried, Sebastian. M. Marotta, and Rich Stankewitz, Complex dynamics of Möbius semigroups, Ergodic Theory Dynam. Systems, 32(6):1889--1929, 2012].
Consider the action of an algebraic group $G$ on an irreducible algebraic variety $X$ all defined over a field $k$. M. Rosenlicht showed that orbits in general position in $X$ can be separated by rational invariants. We prove a dynamical analogue of this theorem, where $G$ is replaced by a semigroup of dominant rational self-maps of $X$. Our semigroup $G$ is not required to have the structure of an algebraic variety and can be of arbitrary cardinality.
We provide an explicit bound on the number of periodic points of a rational function defined over a number field, where the bound depends only on the number of primes of bad reduction and the degree of the function, and is linear in the degree. More generally, we show that there exists an explicit uniform bound on the number of periodic points for any rational function in a given finitely generated semigroup (under composition) of rational functions of degree at least 2. We show that under stronger assumptions the dependence on the degree of the map in the bounds can be removed.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。