204 results
Search Results
2. Corrections to the paper ‘On orbits of unipotent flows on homogeneous spaces’
- Author
-
S. G. Dani
- Subjects
Homogeneous ,Applied Mathematics ,General Mathematics ,Mathematical analysis ,Unipotent ,Mathematics - Abstract
The author regrets that there are certain errors in [1] and would like to give the following corrections.
- Published
- 1986
3. Chaotic behavior of the p-adic Potts–Bethe mapping II
- Author
-
Otabek Khakimov and Farrukh Mukhamedov
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Chaotic ,Mathematics - Abstract
The renormalization group method has been developed to investigate p-adic q-state Potts models on the Cayley tree of order k. This method is closely related to the examination of dynamical behavior of the p-adic Potts–Bethe mapping which depends on the parameters q, k. In Mukhamedov and Khakimov [Chaotic behavior of the p-adic Potts–Behte mapping. Discrete Contin. Dyn. Syst.38 (2018), 231–245], we have considered the case when q is not divisible by p and, under some conditions, it was established that the mapping is conjugate to the full shift on $\kappa _p$ symbols (here $\kappa _p$ is the greatest common factor of k and $p-1$ ). The present paper is a continuation of the forementioned paper, but here we investigate the case when q is divisible by p and k is arbitrary. We are able to fully describe the dynamical behavior of the p-adic Potts–Bethe mapping by means of a Markov partition. Moreover, the existence of a Julia set is established, over which the mapping exhibits a chaotic behavior. We point out that a similar result is not known in the case of real numbers (with rigorous proofs).
- Published
- 2021
4. Multiplicative constants and maximal measurable cocycles in bounded cohomology
- Author
-
Marco Moraschini, Alessio Savini, Moraschini M., and Savini A.
- Subjects
Pure mathematics ,Mathematics::Dynamical Systems ,Applied Mathematics ,General Mathematics ,Multiplicative function ,Lattice ,Geometric Topology (math.GT) ,Cohomology ,Mathematics - Geometric Topology ,Maximal cocycle ,Mathematics::Quantum Algebra ,Bounded function ,FOS: Mathematics ,Bounded cohomology ,Boundary map ,Invariant (mathematics) ,Zimmer cocycle ,Mathematics - Abstract
Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $\textup{PU}(m,1)$-cocycles of complex hyperbolic lattices., Comment: 35 pages; Major corrections along the paper following the referee's suggestions. To appear in Ergod. Theory Dyn. Syst
- Published
- 2021
5. Local limit theorems in relatively hyperbolic groups I: rough estimates
- Author
-
Matthieu Dussaule
- Subjects
Pure mathematics ,Series (mathematics) ,010201 computation theory & mathematics ,Spectral radius ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0102 computer and information sciences ,Limit (mathematics) ,0101 mathematics ,Random walk ,01 natural sciences ,Mathematics - Abstract
This is the first of a series of two papers dealing with local limit theorems in relatively hyperbolic groups. In this first paper, we prove rough estimates for the Green function. Along the way, we introduce the notion of relative automaticity which will be useful in both papers and we show that relatively hyperbolic groups are relatively automatic. We also define the notion of spectral positive recurrence for random walks on relatively hyperbolic groups. We then use our estimates for the Green function to prove that $p_n\asymp R^{-n}n^{-3/2}$ for spectrally positive-recurrent random walks, where $p_n$ is the probability of going back to the origin at time n and where R is the inverse of the spectral radius of the random walk.
- Published
- 2021
6. Extremality and dynamically defined measures, part II: Measures from conformal dynamical systems
- Author
-
Lior Fishman, Tushar Das, Mariusz Urbański, and David Simmons
- Subjects
Class (set theory) ,Pure mathematics ,Conjecture ,Mathematics - Number Theory ,Dynamical systems theory ,Applied Mathematics ,General Mathematics ,Diophantine equation ,010102 general mathematics ,11J13, 11J83, 28A75, 37F35 ,Open set ,Dynamical Systems (math.DS) ,Rational function ,01 natural sciences ,Measure (mathematics) ,010101 applied mathematics ,Hausdorff dimension ,FOS: Mathematics ,Number Theory (math.NT) ,Mathematics - Dynamical Systems ,0101 mathematics ,Mathematics - Abstract
We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying., Comment: Link to Part I: arXiv:1504.04778
- Published
- 2020
7. Bernoulliness of when is an irrational rotation: towards an explicit isomorphism
- Author
-
Christophe Leuridan
- Subjects
Rational number ,Lebesgue measure ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Diophantine approximation ,01 natural sciences ,Irrational rotation ,Combinatorics ,0103 physical sciences ,010307 mathematical physics ,Bernoulli scheme ,Isomorphism ,0101 mathematics ,Real number ,Unit interval ,Mathematics - Abstract
Let $\unicode[STIX]{x1D703}$ be an irrational real number. The map $T_{\unicode[STIX]{x1D703}}:y\mapsto (y+\unicode[STIX]{x1D703})\!\hspace{0.6em}{\rm mod}\hspace{0.2em}1$ from the unit interval $\mathbf{I}= [\!0,1\![$ (endowed with the Lebesgue measure) to itself is ergodic. In a short paper [Parry, Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] published in 1996, Parry provided an explicit isomorphism between the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift when $\unicode[STIX]{x1D703}$ is extremely well approximated by the rational numbers, namely, if $$\begin{eqnarray}\inf _{q\geq 1}q^{4}4^{q^{2}}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ A few years later, Hoffman and Rudolph [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2)156 (2002), 79–101] showed that for every irrational number, the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ is isomorphic to the unilateral dyadic Bernoulli shift. Their proof is not constructive. In the present paper, we relax notably Parry’s condition on $\unicode[STIX]{x1D703}$: the explicit map provided by Parry’s method is an isomorphism between the map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift whenever $$\begin{eqnarray}\inf _{q\geq 1}q^{4}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ This condition can be relaxed again into $$\begin{eqnarray}\inf _{n\geq 1}q_{n}^{3}~(a_{1}+\cdots +a_{n})~|q_{n}\unicode[STIX]{x1D703}-p_{n}| where $[0;a_{1},a_{2},\ldots ]$ is the continued fraction expansion and $(p_{n}/q_{n})_{n\geq 0}$ the sequence of convergents of $\Vert \unicode[STIX]{x1D703}\Vert :=\text{dist}(\unicode[STIX]{x1D703},\mathbb{Z})$. Whether Parry’s map is an isomorphism for every $\unicode[STIX]{x1D703}$ or not is still an open question, although we expect a positive answer.
- Published
- 2020
8. Weak containment of measure-preserving group actions
- Author
-
Alexander S. Kechris and Peter Burton
- Subjects
Containment (computer programming) ,Group action ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,Calculus ,Measure (physics) ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Weak equivalence ,Mathematics - Abstract
This paper concerns the study of the global structure of measure-preserving actions of countable groups on standard probability spaces. Weak containment is a hierarchical notion of complexity of such actions, motivated by an analogous concept in the theory of unitary representations. This concept gives rise to an associated notion of equivalence of actions, called weak equivalence, which is much coarser than the notion of isomorphism (conjugacy). It is well understood now that, in general, isomorphism is a very complex notion, a fact which manifests itself, for example, in the lack of any reasonable structure in the space of actions modulo isomorphism. On the other hand, the space of weak equivalence classes is quite well behaved. Another interesting fact that relates to the study of weak containment is that many important parameters associated with actions, such as the type, cost, and combinatorial parameters, turn out to be invariants of weak equivalence and in fact exhibit desirable monotonicity properties with respect to the pre-order of weak containment, a fact that can be useful in certain applications. There has been quite a lot of activity in this area in the last few years, and our goal in this paper is to provide a survey of this work.
- Published
- 2019
9. Purely exponential growth of cusp-uniform actions
- Author
-
Wenyuan Yang
- Subjects
Cusp (singularity) ,Pure mathematics ,Lemma (mathematics) ,Mathematics::Dynamical Systems ,Group (mathematics) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Metric Geometry (math.MG) ,Group Theory (math.GR) ,Dynamical Systems (math.DS) ,01 natural sciences ,Mathematics - Metric Geometry ,Exponential growth ,0103 physical sciences ,Shadow ,FOS: Mathematics ,Primary 20F65, 20F67 ,Countable set ,010307 mathematical physics ,Preprint ,Mathematics - Dynamical Systems ,0101 mathematics ,Mathematics - Group Theory ,Mathematics - Abstract
Suppose that a countable group $G$ admits a cusp-uniform action on a hyperbolic space $(X,d)$ such that $G$ is of divergent type. The main result of the paper is characterizing the purely exponential growth type of the orbit growth function by a condition introduced by Dal'bo-Otal-Peign\'e. For geometrically finite Cartan-Hadamard manifolds with pinched negative curvature this condition ensures the finiteness of Bowen-Margulis-Sullivan measures. In this case, our result recovers a theorem of Roblin (in a weaker form). Our main tool is the Patterson-Sullivan measures on the Gromov boundary of $X$, and a variant of the Sullivan shadow lemma called partial shadow lemma. This allows us to prove that the purely exponential growth of either cones, or partial cones or horoballs is also equivalent to the condition of Dal'bo-Otal-Peign\'e. These results are further used in the paper \cite{YANG7}., Comment: Version 2: 34 pages, 2 figures. Sections 4 and 5 was rewritten following suggestions of the referee. Paper accepted by Ergodic Theory and Dynamical Systems
- Published
- 2017
10. Strong renewal theorems and Lyapunov spectra forα-Farey andα-Lüroth systems
- Author
-
Marc Kesseböhmer, Sara Munday, and Bernd O. Stratmann
- Subjects
Lyapunov function ,Pure mathematics ,Gauss map ,Computer Science::Information Retrieval ,Applied Mathematics ,General Mathematics ,symbols.namesake ,Number theory ,symbols ,Countable set ,Farey sequence ,Ergodic theory ,Partition (number theory) ,Mathematics ,Unit interval - Abstract
In this paper, we introduce and study theα-Farey map and its associated jump transformation, theα-Lüroth map, for an arbitrary countable partitionαof the unit interval with atoms which accumulate only at the origin. These maps represent linearized generalizations of the Farey map and the Gauss map from elementary number theory. First, a thorough analysis of some of their topological and ergodic theoretical properties is given, including establishing exactness for both types of these maps. The first main result then is to establish weak and strong renewal laws for what we have calledα-sum-level sets for theα-Lüroth map. Similar results have previously been obtained for the Farey map and the Gauss map by using infinite ergodic theory. In this respect, a side product of the paper is to allow for greater transparency of some of the core ideas of infinite ergodic theory. The second remaining result is to obtain a complete description of the Lyapunov spectra of theα-Farey map and theα-Lüroth map in terms of the thermodynamical formalism. We show how to derive these spectra and then give various examples which demonstrate the diversity of their behaviours in dependence on the chosen partitionα.
- Published
- 2011
11. An uncountable Furstenberg–Zimmer structure theory
- Author
-
Asgar Jamneshan, Jamneshan, Asgar (ORCID 0000-0002-1450-6569 & YÖK ID 332404), College of Sciences, and Department of Mathematics
- Subjects
Applied Mathematics ,General Mathematics ,Structure theory ,Measure preserving systems ,Ergodic theory ,Mathematics - Abstract
Furstenberg-Zimmer structure theory refers to the extension of the dichotomy between the compact and weakly mixing parts of a measure-preserving dynamical system and the algebraic and geometric descriptions of such parts to a conditional setting, where such dichotomy is established relative to a factor and conditional analogs of those algebraic and geometric descriptions are sought. Although the unconditional dichotomy and the characterizations are known for arbitrary systems, the relative situation is understood under certain countability and separability hypotheses on the underlying groups and spaces. The aim of this article is to remove these restrictions in the relative situation and establish a Furstenberg-Zimmer structure theory in full generality. As an independent byproduct, we establish a connection between the relative analysis of systems in ergodic theory and the internal logic in certain Boolean topoi., A.J. was supported by DFG-research fellowship JA 2512/3-1. A.J. offers his thanks to Terence Tao for suggesting this project, many helpful discussions, and his encouragement and support. He is grateful to Pieter Spaas for several helpful discussions. A.J. thanks Markus Haase for organizing an online workshop on structural ergodic theory where the results of this paper and the parallel work could be discussed, and Nikolai Edeko, Markus Haase, and Henrik Kreidler for helpful comments on an early version of the manuscript. A.J. is indebted to the anonymous referee for several useful suggestions and corrections.
- Published
- 2022
12. Lyapunov 1-forms for flows
- Author
-
Eduard Zehnder, Janko Latschev, Thomas Kappeler, Michael Farber, University of Zurich, Farber, M, and Forschungsinstitut für Mathematik Zürich
- Subjects
Cech cohomology ,Lyapunov function ,Class (set theory) ,Pure mathematics ,LIAPUNOW-GLEICHUNGEN (MATRIZENGLEICHUNGEN) ,GEODÄTISCHE FLÜSSE (DIFFERENTIALGEOMETRIE) ,LYAPUNOV EQUATIONS (MATRIX EQUATIONS) ,GEODESIC FLOWS (DIFFERENTIAL GEOMETRY) ,Generalization ,General Mathematics ,chain recurrent set ,Dynamical Systems (math.DS) ,Set (abstract data type) ,symbols.namesake ,510 Mathematics ,2604 Applied Mathematics ,Chain (algebraic topology) ,FOS: Mathematics ,Algebraic Topology (math.AT) ,Mathematics - Algebraic Topology ,ddc:510 ,Mathematics - Dynamical Systems ,Čech cohomology ,2600 General Mathematics ,Lyapunov functions ,Mathematics ,Applied Mathematics ,510 Mathematik ,10123 Institute of Mathematics ,Compact space ,Flow (mathematics) ,theorem by Conley ,symbols - Abstract
In this paper we find conditions which guarantee that a given flow $\Phi$ on a compact metric space $X$ admits a Lyapunov one-form $\omega$ lying in a prescribed \v{C}ech cohomology class $\xi\in \check H^1(X;\R)$. These conditions are formulated in terms of the restriction of $\xi$ to the chain recurrent set of $\Phi$. The result of the paper may be viewed as a generalization of a well-known theorem of C. Conley about the existence of Lyapunov functions., Comment: 27 pages, 3 figures. This revised version incorporates a few minor improvements
- Published
- 2004
13. Non-standard real-analytic realizations of some rotations of the circle – CORRIGENDUM
- Author
-
Shilpak Banerjee
- Subjects
Algebra ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
We correct two technical errors in the original paper. The main result in the original paper remains valid without any changes.
- Published
- 2016
14. The K-property for some unique equilibrium states in flows and homeomorphisms
- Author
-
Benjamin Call
- Subjects
Pure mathematics ,Property (philosophy) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Decomposition theory ,Set (abstract data type) ,Flow (mathematics) ,0103 physical sciences ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,010307 mathematical physics ,0101 mathematics ,Orbit (control theory) ,Mathematics - Abstract
We set out some general criteria to prove the K-property, refining the assumptions used in an earlier paper for the flow case, and introducing the analogous discrete-time result. We also introduce one-sided $\lambda $ -decompositions, as well as multiple techniques for checking the pressure gap required to show the K-property. We apply our results to the family of Mañé diffeomorphisms and the Katok map. Our argument builds on the orbit decomposition theory of Climenhaga and Thompson.
- Published
- 2021
15. Limit theorems for numbers of multiple returns in non-conventional arrays
- Author
-
Yuri Kifer
- Subjects
Applied Mathematics ,General Mathematics ,Applied mathematics ,Limit (mathematics) ,Mathematics - Abstract
For a $\psi $ -mixing process $\xi _0,\xi _1,\xi _2,\ldots $ we consider the number ${\mathcal N}_N$ of multiple returns $\{\xi _{q_{i,N}(n)}\in {\Gamma }_N,\, i=1,\ldots ,\ell \}$ to a set ${\Gamma }_N$ for n until either a fixed number N or until the moment $\tau _N$ when another multiple return $\{\xi _{q_{i,N}(n)}\in {\Delta }_N,\, i=1,\ldots ,\ell \}$ , takes place for the first time where ${\Gamma }_N\cap {\Delta }_N=\emptyset $ and $q_{i,N}$ , $i=1,\ldots ,\ell $ are certain functions of n taking on non-negative integer values when n runs from 0 to N. The dependence of $q_{i,N}(n)$ on both n and N is the main novelty of the paper. Under some restrictions on the functions $q_{i,N}$ we obtain Poisson distributions limits of ${\mathcal N}_N$ when counting is until N as $N\to \infty $ and geometric distributions limits when counting is until $\tau _N$ as $N\to \infty $ . We obtain also similar results in the dynamical systems setup considering a $\psi $ -mixing shift T on a sequence space ${\Omega }$ and studying the number of multiple returns $\{ T^{q_{i,N}(n)}{\omega }\in A^a_n,\, i=1,\ldots ,\ell \}$ until the first occurrence of another multiple return $\{ T^{q_{i,N}(n)}{\omega }\in A^b_m,\, i=1,\ldots ,\ell \}$ where $A^a_n,\, A_m^b$ are cylinder sets of length n and m constructed by sequences $a,b\in {\Omega }$ , respectively, and chosen so that their probabilities have the same order.
- Published
- 2021
16. Effective equidistribution for generalized higher-step nilflows
- Author
-
Minsung Kim
- Subjects
Nilpotent ,Pure mathematics ,Polynomial ,Equidistributed sequence ,Mathematics::Dynamical Systems ,Flow (mathematics) ,Applied Mathematics ,General Mathematics ,Diophantine equation ,Ergodic theory ,Measure (mathematics) ,Projection (linear algebra) ,Mathematics - Abstract
In this paper we prove bounds for ergodic averages for nilflows on general higher-step nilmanifolds. Under Diophantine condition on the frequency of a toral projection of the flow, we prove that almost all orbits become equidistributed at polynomial speed. We analyze the rate of decay which is determined by the number of steps and structure of general nilpotent Lie algebras. Our main result follows from the technique of controlling scaling operators in irreducible representations and measure estimation on close return orbits on general nilmanifolds.
- Published
- 2021
17. Quasisymmetric orbit-flexibility of multicritical circle maps
- Author
-
Edson de Faria and Pablo Guarino
- Subjects
Pure mathematics ,Mathematics::Dynamical Systems ,Gauss map ,Lebesgue measure ,Primary 37E10, Secondary 37E20, 37C40 ,Applied Mathematics ,General Mathematics ,Diophantine equation ,Dynamical Systems (math.DS) ,Bounded type ,Homeomorphism ,FOS: Mathematics ,SISTEMAS DINÂMICOS ,Uncountable set ,Diffeomorphism ,Mathematics - Dynamical Systems ,Rotation number ,Mathematics - Abstract
Two given orbits of a minimal circle homeomorphism $f$ are said to be geometrically equivalent if there exists a quasisymmetric circle homeomorphism identifying both orbits and commuting with $f$. By a well-known theorem due to Herman and Yoccoz, if $f$ is a smooth diffeomorphism with Diophantine rotation number, then any two orbits are geometrically equivalent. As it follows from the a-priori bounds of Herman and Swiatek, the same holds if $f$ is a critical circle map with rotation number of bounded type. By contrast, we prove in the present paper that if $f$ is a critical circle map whose rotation number belongs to a certain full Lebesgue measure set in $(0,1)$, then the number of equivalence classes is uncountable (Theorem A). The proof of this result relies on the ergodicity of a two-dimensional skew product over the Gauss map. As a by-product of our techniques, we construct topological conjugacies between multicritical circle maps which are not quasisymmetric, and we show that this phenomenon is abundant, both from the topological and measure-theoretical viewpoints (Theorems B and C)., Comment: 38 pages, 5 figures. To appear in Ergodic Theory and Dynamical Systems
- Published
- 2021
18. Hyperbolicity of renormalization for dissipative gap mappings
- Author
-
Márcio R. A. Gouveia, Trevor Clark, Imperial College, and Universidade Estadual Paulista (UNESP)
- Subjects
Pure mathematics ,Mathematics::Dynamical Systems ,gap mappings ,Dynamical systems theory ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Dynamical Systems (math.DS) ,Lorenz and Cherry flows ,Lorenz mappings ,01 natural sciences ,Primary 37E05, Secondary 37E20, 37E10 ,Renormalization ,Flow (mathematics) ,0103 physical sciences ,FOS: Mathematics ,Dissipative system ,Interval (graph theory) ,hyperbolicity of renormalization ,010307 mathematical physics ,Mathematics - Dynamical Systems ,0101 mathematics ,Topological conjugacy ,Mathematics - Abstract
A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are $C^1$ manifolds.
- Published
- 2021
19. Lyapunov exponent of random dynamical systems on the circle
- Author
-
Dominique Malicet
- Subjects
Sequence ,Mathematics::Commutative Algebra ,Applied Mathematics ,General Mathematics ,Diophantine equation ,010102 general mathematics ,Dynamical Systems (math.DS) ,State (functional analysis) ,Lyapunov exponent ,Computer Science::Computational Geometry ,Lambda ,01 natural sciences ,Combinatorics ,Orientation (vector space) ,symbols.namesake ,0103 physical sciences ,FOS: Mathematics ,symbols ,Taylor series ,Computer Science::Symbolic Computation ,010307 mathematical physics ,Diffeomorphism ,Mathematics - Dynamical Systems ,0101 mathematics ,Mathematics - Abstract
We consider products of an independent and identically distributed sequence in a set $\{f_1,\ldots ,f_m\}$ of orientation-preserving diffeomorphisms of the circle. We can naturally associate a Lyapunov exponent $\lambda $ . Under few assumptions, it is known that $\lambda \leq 0$ and that the equality holds if and only if $f_1,\ldots ,f_m$ are simultaneously conjugated to rotations. In this paper, we state a quantitative version of this fact in the case where $f_1,\ldots ,f_m$ are $C^k$ perturbations of rotations with rotation numbers $\rho (f_1),\ldots ,\rho (f_m)$ satisfying a simultaneous diophantine condition in the sense of Moser [On commuting circle mappings and simultaneous diophantine approximations. Math. Z.205(1) (1990), 105–121]: we give a precise estimate of $\lambda $ (Taylor expansion) and we prove that there exist a diffeomorphism g and rotations $r_i$ such that $\mbox {dist}(gf_ig^{-1},r_i)\ll |\lambda |^{{1}/{2}}$ for $i=1,\ldots , m$ . We also state analogous results for random products of $2\times 2$ matrices, without any diophantine condition.
- Published
- 2021
20. Margulis–Ruelle inequality for general manifolds
- Author
-
Gang Liao and Na Qiu
- Subjects
Pure mathematics ,Inequality ,Integrable system ,Applied Mathematics ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Boundary (topology) ,01 natural sciences ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,media_common ,Mathematics - Abstract
In this paper we investigate the Margulis–Ruelle inequality for general Riemannian manifolds (possibly non-compact and with a boundary) and show that it always holds under an integrable condition.
- Published
- 2021
21. Orbifold expansion and entire functions with bounded Fatou components
- Author
-
Leticia Pardo-Simón
- Subjects
Pure mathematics ,Class (set theory) ,Mathematics::Dynamical Systems ,Mathematics - Complex Variables ,Applied Mathematics ,General Mathematics ,Entire function ,010102 general mathematics ,Hyperbolic function ,Holomorphic function ,Dynamical Systems (math.DS) ,01 natural sciences ,Julia set ,Bounded function ,0103 physical sciences ,Metric (mathematics) ,FOS: Mathematics ,010307 mathematical physics ,Mathematics - Dynamical Systems ,Complex Variables (math.CV) ,0101 mathematics ,Orbifold ,Mathematics - Abstract
Many authors have studied the dynamics of hyperbolic transcendental entire functions; these are those for which the postsingular set is a compact subset of the Fatou set. Equivalenty, they are characterized as being expanding. Mihaljevi\'c-Brandt studied a more general class of maps for which finitely many of their postsingular points can be in their Julia set, and showed that these maps are also expanding with respect to a certain orbifold metric. In this paper we generalise these ideas further, and consider a class of maps for which the postsingular set is not even bounded. We are able to prove that these maps are also expanding with respect to a suitable orbifold metric, and use this expansion to draw conclusions on the topology and dynamics of the maps. In particular, we generalize existing results for hyperbolic functions, giving criteria for the boundedness of Fatou components and local connectivity of Julia sets. As part of this study, we develop some novel results on hyperbolic orbifold metrics. These are of independent interest, and may have future applications in holomorphic dynamics., Comment: V3: Author accepted manuscript. To appear in Ergod. Theory Dyn. Syst
- Published
- 2021
22. The set of points with Markovian symbolic dynamics for non-uniformly hyperbolic diffeomorphisms
- Author
-
Snir Ben Ovadia
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,05 social sciences ,Symbolic dynamics ,01 natural sciences ,Measure (mathematics) ,0502 economics and business ,Markov partition ,Ergodic theory ,Homoclinic orbit ,Uniqueness ,0101 mathematics ,Invariant (mathematics) ,050203 business & management ,Mathematics ,Probability measure - Abstract
The papers [O. M. Sarig. Symbolic dynamics for surface diffeomorphisms with positive entropy. J. Amer. Math. Soc.26(2) (2013), 341–426] and [S. Ben Ovadia. Symbolic dynamics for non-uniformly hyperbolic diffeomorphisms of compact smooth manifolds. J. Mod. Dyn.13 (2018), 43–113] constructed symbolic dynamics for the restriction of $C^r$ diffeomorphisms to a set $M'$ with full measure for all sufficiently hyperbolic ergodic invariant probability measures, but the set $M'$ was not identified there. We improve the construction in a way that enables $M'$ to be identified explicitly. One application is the coding of infinite conservative measures on the homoclinic classes of Rodriguez-Hertz et al. [Uniqueness of SRB measures for transitive diffeomorphisms on surfaces. Comm. Math. Phys.306(1) (2011), 35–49].
- Published
- 2020
23. Krieger’s finite generator theorem for actions of countable groups III
- Author
-
Brandon Seward and Andrei Alpeev
- Subjects
Pure mathematics ,Mathematics::Dynamical Systems ,Generator (computer programming) ,Mathematics::Operator Algebras ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,Countable set ,0101 mathematics ,01 natural sciences ,010305 fluids & plasmas ,Mathematics - Abstract
We continue the study of Rokhlin entropy, an isomorphism invariant for probability-measure-preserving (p.m.p.) actions of countablegroups introduced in Part I [B. Seward. Krieger’s finite generator theorem for actions of countable groups I. Invent. Math. 215(1) (2019), 265–310]. In this paper we prove a non-ergodic finite generator theorem and use it to establish sub-additivity and semicontinuity properties of Rokhlin entropy. We also obtain formulas for Rokhlin entropy in terms of ergodic decompositions and inverse limits. Finally, we clarify the relationship between Rokhlin entropy, sofic entropy, and classical Kolmogorov–Sinai entropy. In particular, using Rokhlin entropy we give a new proof of the fact that ergodic actions with positive sofic entropy have finite stabilizers.
- Published
- 2020
24. A strongly irreducible affine iterated function system with two invariant measures of maximal dimension
- Author
-
Cagri Sert and Ian Morris
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Invariant subspace ,Open set ,self-affine set ,iterated function system ,equilibrium state ,non-conformal repeller ,subadditive thermodynamic formalism ,01 natural sciences ,Linear subspace ,Iterated function system ,0103 physical sciences ,Attractor ,010307 mathematical physics ,Affine transformation ,0101 mathematics ,Invariant (mathematics) ,Classical theorem ,Mathematics - Abstract
A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb {R}^{d}$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the dimension of the attractor. In the class of measures on the attractor, which arise as the projections of shift-invariant measures on the coding space, this self-similar measure is the unique measure of maximal dimension. In the context of affine iterated function systems it is known that there may be multiple shift-invariant measures of maximal dimension if the linear parts of the affinities share a common invariant subspace, or more generally if they preserve a finite union of proper subspaces of $\mathbb {R}^{d}$ . In this paper we give an example where multiple invariant measures of maximal dimension exist even though the linear parts of the affinities do not preserve a finite union of proper subspaces.
- Published
- 2020
25. The conformal measures of a normal subgroup of a cocompact Fuchsian group
- Author
-
Ofer Shwartz
- Subjects
Normal subgroup ,Fuchsian group ,Pure mathematics ,Mathematics::Dynamical Systems ,Geodesic ,Group (mathematics) ,Computer Science::Information Retrieval ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Boundary (topology) ,Conformal map ,Dynamical Systems (math.DS) ,Surface (topology) ,Mathematics::Geometric Topology ,01 natural sciences ,20F67, 30F35, 31C35, 37D40 ,0103 physical sciences ,FOS: Mathematics ,Cover (algebra) ,010307 mathematical physics ,Mathematics - Dynamical Systems ,0101 mathematics ,Mathematics - Abstract
In this paper we study the conformal measures of a normal subgroup of a cocompact Fuchsian group. In particular, we relate the extremal conformal measures to the eigenmeasures of a suitable Ruelle operator. Using Ancona’s theorem, adapted to the Ruelle operator setting, we show that if the group of deck transformationsGis hyperbolic then the extremal conformal measures and the hyperbolic boundary ofGcoincide. We then interpret these results in terms of the asymptotic behavior of cutting sequences of geodesics on a regular cover of a compact hyperbolic surface.
- Published
- 2020
26. Maximizing Bernoulli measures and dimension gaps for countable branched systems
- Author
-
Simon Baker and Natalia Jurga
- Subjects
Discrete mathematics ,Independent and identically distributed random variables ,Class (set theory) ,Applied Mathematics ,General Mathematics ,Existential quantification ,010102 general mathematics ,01 natural sciences ,Bernoulli's principle ,Dimension (vector space) ,0103 physical sciences ,Countable set ,010307 mathematical physics ,0101 mathematics ,Continued fraction ,Mathematics ,Probability measure - Abstract
Kifer, Peres, and Weiss proved in [A dimension gap for continued fractions with independent digits. Israel J. Math.124 (2001), 61–76] that there exists $c_{0}>0$, such that $\dim \unicode[STIX]{x1D707}\leq 1-c_{0}$ for any probability measure $\unicode[STIX]{x1D707}$, which makes the digits of the continued fraction expansion independent and identically distributed random variables. In this paper we prove that amongst this class of measures, there exists one whose dimension is maximal. Our results also apply in the more general setting of countable branched systems.
- Published
- 2020
27. Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups
- Author
-
Ola Bratteli, Palle E. T. Jorgensen, F. W. Roush, and Ki Hang Kim
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,Mathematics - Operator Algebras ,Incidence matrix ,Dynamical Systems (math.DS) ,16D70, 46L35, 58B25 ,law.invention ,Decidability ,Invertible matrix ,law ,FOS: Mathematics ,Bratteli diagram ,Equivalence relation ,Mathematics - Dynamical Systems ,Equivalence (formal languages) ,Operator Algebras (math.OA) ,Finite set ,Mathematics - Abstract
The notion of isomorphism of stable AF-C*-algebras is considered in this paper in the case when the corresponding Bratteli diagram is stationary, i.e., is associated with a single square primitive nonsingular incidence matrix. C*-isomorphism induces an equivalence relation on these matrices, called C*-equivalence. We show that the associated isomorphism equivalence problem is decidable, i.e., there is an algorithm that can be used to check in a finite number of steps whether two given primitive nonsingular matrices are C*-equivalent or not., Comment: 55 pages, LaTeX2e (amsart class). In this version the main theorem has been extended to possibly singular primitive integer matrixes, and the clarity of the presentation has been improved substantially throughout the paper
- Published
- 2001
28. Distributional chaos in multifractal analysis, recurrence and transitivity
- Author
-
An Chen and Xueting Tian
- Subjects
Pure mathematics ,Dynamical systems theory ,Applied Mathematics ,General Mathematics ,Dynamical Systems (math.DS) ,Topological entropy ,Multifractal system ,Lebesgue integration ,Measure (mathematics) ,symbols.namesake ,Hausdorff dimension ,FOS: Mathematics ,symbols ,Ergodic theory ,Uncountable set ,Mathematics - Dynamical Systems ,Computer Science::Distributed, Parallel, and Cluster Computing ,Mathematics - Abstract
There are lots of results to study dynamical complexity on irregular sets and level sets of ergodic average from the perspective of density in base space, Hausdorff dimension, Lebesgue positive measure, positive or full topological entropy (and topological pressure) etc.. However, it is unknown from the viewpoint of chaos. There are lots of results on the relationship of positive topological entropy and various chaos but it is known that positive topological entropy does not imply a strong version of chaos called DC1 so that it is non-trivial to study DC1 on irregular sets and level sets. In this paper we will show that for dynamical system with specification property, there exist uncountable DC1-scrambled subsets in irregular sets and level sets. On the other hand, we also prove that several recurrent levels of points with different recurrent frequency all have uncountable DC1-scrambled subsets. The main technique established to prove above results is that there exists uncountable DC1-scrambled subset in saturated sets., 23 pages
- Published
- 2019
29. Sylvester matrix rank functions on crossed products
- Author
-
Joan Claramunt and Pere Ara
- Subjects
Sylvester matrix ,Cantor set ,Matrix (mathematics) ,Pure mathematics ,Crossed product ,Rank (linear algebra) ,Characteristic function (probability theory) ,Applied Mathematics ,General Mathematics ,Invariant (mathematics) ,Mathematics ,Probability measure - Abstract
In this paper we consider the algebraic crossed product ${\mathcal{A}}:=C_{K}(X)\rtimes _{T}\mathbb{Z}$ induced by a homeomorphism $T$ on the Cantor set $X$, where $K$ is an arbitrary field with involution and $C_{K}(X)$ denotes the $K$-algebra of locally constant $K$-valued functions on $X$. We investigate the possible Sylvester matrix rank functions that one can construct on ${\mathcal{A}}$ by means of full ergodic $T$-invariant probability measures $\unicode[STIX]{x1D707}$ on $X$. To do so, we present a general construction of an approximating sequence of $\ast$-subalgebras ${\mathcal{A}}_{n}$ which are embeddable into a (possibly infinite) product of matrix algebras over $K$. This enables us to obtain a specific embedding of the whole $\ast$-algebra ${\mathcal{A}}$ into ${\mathcal{M}}_{K}$, the well-known von Neumann continuous factor over $K$, thus obtaining a Sylvester matrix rank function on ${\mathcal{A}}$ by restricting the unique one defined on ${\mathcal{M}}_{K}$. This process gives a way to obtain a Sylvester matrix rank function on ${\mathcal{A}}$, unique with respect to a certain compatibility property concerning the measure $\unicode[STIX]{x1D707}$, namely that the rank of a characteristic function of a clopen subset $U\subseteq X$ must equal the measure of $U$.
- Published
- 2019
30. Effective multi-scale approach to the Schrödinger cocycle over a skew-shift base
- Author
-
Rui Han, Marius Lemm, and Wilhelm Schlag
- Subjects
Hamiltonian mechanics ,Scale (ratio) ,Applied Mathematics ,General Mathematics ,Skew ,Lyapunov exponent ,Coupling (probability) ,symbols.namesake ,symbols ,Trigonometric functions ,Applied mathematics ,Golden ratio ,Base (exponentiation) ,Mathematics - Abstract
We prove a conditional theorem on the positivity of the Lyapunov exponent for a Schrödinger cocycle over a skew-shift base with a cosine potential and the golden ratio as frequency. For coupling below 1, which is the threshold for Herman’s subharmonicity trick, we formulate three conditions on the Lyapunov exponent in a finite but large volume and on the associated large-deviation estimates at that scale. Our main results demonstrate that these finite-size conditions imply the positivity of the infinite-volume Lyapunov exponent. This paper shows that it is possible to make the techniques developed for the study of Schrödinger operators with deterministic potentials, based on large-deviation estimates and the avalanche principle, effective.
- Published
- 2019
31. An answer to Furstenberg’s problem on topological disjointness
- Author
-
Xiangdong Ye, Song Shao, and Wen Huang
- Subjects
Transitive relation ,medicine.medical_specialty ,Dense set ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Neighbourhood (graph theory) ,Topological dynamics ,Disjoint sets ,Topology ,01 natural sciences ,010101 applied mathematics ,Hyperspace ,Mixing (mathematics) ,medicine ,Countable set ,0101 mathematics ,Mathematics - Abstract
In this paper we give an answer to Furstenberg’s problem on topological disjointness. Namely, we show that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if $(X,T)$ is weakly mixing and there is some countable dense subset $D$ of $X$ such that for any minimal system $(Y,S)$, any point $y\in Y$ and any open neighbourhood $V$ of $y$, and for any non-empty open subset $U\subset X$, there is $x\in D\cap U$ such that $\{n\in \mathbb{Z}_{+}:T^{n}x\in U,S^{n}y\in V\}$ is syndetic. Some characterization for the general case is also given. By way of application we show that if a transitive system $(X,T)$ is disjoint from all minimal systems, then so are $(X^{n},T^{(n)})$ and $(X,T^{n})$ for any $n\in \mathbb{N}$. It turns out that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if the hyperspace system $(K(X),T_{K})$ is disjoint from all minimal systems.
- Published
- 2019
32. Manhattan curves for hyperbolic surfaces with cusps
- Author
-
Lien-Yung Kao
- Subjects
Surface (mathematics) ,Pure mathematics ,Applied Mathematics ,General Mathematics ,Riemann surface ,010102 general mathematics ,Regular polygon ,Rigidity (psychology) ,Dynamical Systems (math.DS) ,State (functional analysis) ,37D35, 37F30, 32G15 ,Rank (differential topology) ,01 natural sciences ,symbols.namesake ,Intersection ,0103 physical sciences ,FOS: Mathematics ,symbols ,Countable set ,010307 mathematical physics ,Mathematics - Dynamical Systems ,0101 mathematics ,Mathematics - Abstract
In this paper, we study an interesting curve, so-called the Manhattan curve, associated with a pair of boundary-preserving Fuchsian representations of a (non-compact) surface, especially representations corresponding to Riemann surfaces with cusps. Using Thermodynamic Formalism (for countable Markov shifts), we prove the analyticity of the Manhattan curve. Moreover, we derive several dynamical and geometric rigidity results, which generalize results of Marc Burger and Richard Sharp for convex-cocompact Fuchsian representations., 34 pages and 2 figures. Minor changes, references updated
- Published
- 2018
33. Embeddings of interval exchange transformations into planar piecewise isometries
- Author
-
Peter Ashwin, Arek Goetz, Ana Rodrigues, and Pedro Peres
- Subjects
Pure mathematics ,Mathematics::Dynamical Systems ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Dynamical Systems (math.DS) ,01 natural sciences ,Measure (mathematics) ,Orientation (vector space) ,Permutation ,Fractal ,0103 physical sciences ,FOS: Mathematics ,Piecewise ,Embedding ,010307 mathematical physics ,Limit (mathematics) ,Mathematics - Dynamical Systems ,0101 mathematics ,Invariant (mathematics) ,Mathematics - Abstract
Althoughpiecewise isometries(PWIs) are higher-dimensional generalizations of one-dimensionalinterval exchange transformations(IETs), their generic dynamical properties seem to be quite different. In this paper, we consider embeddings of IET dynamics into PWI with a view to better understanding their similarities and differences. We derive some necessary conditions for existence of such embeddings using combinatorial, topological and measure-theoretic properties of IETs. In particular, we prove that continuous embeddings of minimal 2-IETs into orientation-preserving PWIs are necessarily trivial and that any 3-PWI has at most one non-trivially continuously embedded minimal 3-IET with the same underlying permutation. Finally, we introduce a family of 4-PWIs, with an apparent abundance of invariant non-smooth fractal curves supporting IETs, that limit to a trivial embedding of an IET.
- Published
- 2018
34. Amenability and unique ergodicity of automorphism groups of countable homogeneous directed graphs
- Author
-
MICHEAL PAWLIUK and MIODRAG SOKIĆ
- Subjects
medicine.medical_specialty ,Computer Science::Information Retrieval ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Ergodicity ,Context (language use) ,Topological dynamics ,Directed graph ,Type (model theory) ,Automorphism ,01 natural sciences ,Combinatorics ,0103 physical sciences ,FOS: Mathematics ,medicine ,Mathematics - Combinatorics ,Countable set ,Ergodic theory ,Combinatorics (math.CO) ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
We study the automorphism groups of countable homogeneous directed graphs (and some additional homogeneous structures) from the point of view of topological dynamics. We determine precisely which of these automorphism groups are amenable (in their natural topologies). For those which are amenable, we determine whether they are uniquely ergodic, leaving unsettled precisely one case (the "semi-generic" complete multipartite directed graph). We also consider the Hrushovski property. For most of our results we use the various techniques of [3], suitably generalized to a context in which the universal minimal flow is not necessarily the space of all orders. Negative results concerning amenability rely on constructions of the type considered in [26]. An additional class of structures (compositions) may be handled directly on the basis of very general principles. The starting point in all cases is the determination of the universal minimal flow for the automorphism group, which in the context of countable homogeneous directed graphs is given in [10] and the papers cited therein., Comment: 55 pages, 33 figures
- Published
- 2018
35. The property of convex carrying simplices for competitive maps
- Author
-
Janusz Mierczyński
- Subjects
Pure mathematics ,Simplex ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Boundary (topology) ,Lyapunov exponent ,01 natural sciences ,Convexity ,Orthant ,symbols.namesake ,0103 physical sciences ,symbols ,Ergodic theory ,Embedding ,010307 mathematical physics ,0101 mathematics ,Invariant (mathematics) ,Mathematics - Abstract
For a class of competitive maps there is an invariant one-codimensional manifold (the carrying simplex) attracting all non-trivial orbits. In this paper it is shown that its convexity implies that it is a$C^{1}$submanifold-with-corners, neatly embedded in the non-negative orthant. The proof uses the characterization of neat embedding in terms of inequalities between Lyapunov exponents for ergodic invariant measures supported on the boundary of the carrying simplex.
- Published
- 2018
36. Variational construction of positive entropy invariant measures of Lagrangian systems and Arnold diffusion
- Author
-
Siniša Slijepčević
- Subjects
Closed set ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Fréchet derivative ,Dynamical Systems (math.DS) ,Topological entropy ,Invariant (physics) ,01 natural sciences ,Variational construction ,positive entropy ,Lagrangian systems ,Maxima and minima ,Variational method ,0103 physical sciences ,FOS: Mathematics ,Ergodic theory ,010307 mathematical physics ,Mathematics - Dynamical Systems ,0101 mathematics ,Arnold diffusion ,Primary 37J40, 37J45, Secondary: 37L45, 37L15, 34C28, 37A35, 37D25 ,Mathematics - Abstract
We develop a variational method for constructing positive entropy invariant measures of Lagrangian systems without assuming transversal intersections of stable and unstable manifolds, and without restrictions to the size of non-integrable perturbations. We apply it to a family of two and a half degrees of freedom a-priori unstable Lagrangians, and show that if we assume that there is no topological obstruction to diffusion (precisely formulated in terms of topological non-degeneracy of minima of the Peierl's barrier function), then there exists a vast family of "horsheshoes", such as "shadowing" ergodic positive entropy measures having precisely any closed set of invariant tori in its support. Furthermore, we give bounds on the topological entropy and the "drift acceleration" in any part of a region of instability in terms of a certain extremal value of the Fr\'{e}chet derivative of the action functional, generalizing the angle of splitting of separatrices. The method of construction is new, and relies on study of formally gradient dynamics of the action (coupled parabolic semilinear partial differential equations on unbounded domains). We apply recently developed techniques of precise control of the local evolution of energy (in this case the Lagrangian action), energy dissipation and flux. In Part II of the paper we will apply the theory to obtain sharp bounds for topological entropy and drift acceleration for the same class of equations in the case of small perturbations., Comment: Version 2: corrected typos
- Published
- 2018
37. Renormalization in the golden-mean semi-Siegel Hénon family: universality and non-rigidity
- Author
-
Jonguk Yang
- Subjects
Applied Mathematics ,General Mathematics ,010102 general mathematics ,Parameterized complexity ,Fixed point ,01 natural sciences ,Universality (dynamical systems) ,Hénon map ,Renormalization ,symbols.namesake ,0103 physical sciences ,Jacobian matrix and determinant ,Dissipative system ,symbols ,Golden ratio ,010307 mathematical physics ,0101 mathematics ,Mathematics ,Mathematical physics - Abstract
It was recently shown in Gaidashev and Yampolsky [Golden mean Siegel disk universality and renormalization. Preprint, 2016, arXiv:1604.00717] that appropriately defined renormalizations of a sufficiently dissipative golden-mean semi-Siegel Hénon map converge super-exponentially fast to a one-dimensional renormalization fixed point. In this paper, we show that the asymptotic two-dimensional form of these renormalizations is universal and is parameterized by the average Jacobian. This is similar to the limit behavior of period-doubling renormalizations in the Hénon family considered in de Carvalho et al [Renormalization in the Hénon family, I: universality but non-rigidity. J. Stat. Phys.121 (5/6) (2006), 611–669]. As an application of our result, we prove that the boundary of the golden-mean Siegel disk of a dissipative Hénon map is non-smoothly rigid.
- Published
- 2018
38. On the computability of rotation sets and their entropies
- Author
-
Christian Wolf, Martin Schmoll, and Michael A. Burr
- Subjects
Applied Mathematics ,General Mathematics ,010102 general mathematics ,Boundary (topology) ,Function (mathematics) ,Topological entropy ,Subshift of finite type ,01 natural sciences ,Combinatorics ,Compact space ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Invariant (mathematics) ,Dynamical system (definition) ,Mathematics ,Probability measure - Abstract
Let$f:X\rightarrow X$be a continuous dynamical system on a compact metric space$X$and let$\unicode[STIX]{x1D6F7}:X\rightarrow \mathbb{R}^{m}$be an$m$-dimensional continuous potential. The (generalized) rotation set$\text{Rot}(\unicode[STIX]{x1D6F7})$is defined as the set of all$\unicode[STIX]{x1D707}$-integrals of$\unicode[STIX]{x1D6F7}$, where$\unicode[STIX]{x1D707}$runs over all invariant probability measures. Analogous to the classical topological entropy, one can associate the localized entropy$\unicode[STIX]{x210B}(w)$to each$w\in \text{Rot}(\unicode[STIX]{x1D6F7})$. In this paper, we study the computability of rotation sets and localized entropy functions by deriving conditions that imply their computability. Then we apply our results to study the case where$f$is a subshift of finite type. We prove that$\text{Rot}(\unicode[STIX]{x1D6F7})$is computable and that$\unicode[STIX]{x210B}(w)$is computable in the interior of the rotation set. Finally, we construct an explicit example that shows that, in general,$\unicode[STIX]{x210B}$is not continuous on the boundary of the rotation set when considered as a function of$\unicode[STIX]{x1D6F7}$and$w$. In particular,$\unicode[STIX]{x210B}$is, in general, not computable at the boundary of$\text{Rot}(\unicode[STIX]{x1D6F7})$.
- Published
- 2018
39. Dynamical sets whose union with infinity is connected
- Author
-
Sixsmith, David J
- Subjects
Pure mathematics ,Class (set theory) ,Mathematics - Complex Variables ,Applied Mathematics ,General Mathematics ,Entire function ,media_common.quotation_subject ,010102 general mathematics ,Escaping set ,Dynamical Systems (math.DS) ,Function (mathematics) ,Infinity ,01 natural sciences ,Set (abstract data type) ,Bounded function ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,Transcendental number ,Mathematics - Dynamical Systems ,Complex Variables (math.CV) ,0101 mathematics ,Mathematics ,media_common - Abstract
Suppose that $f$ is a transcendental entire function. In 2011, Rippon and Stallard showed that the union of the escaping set with infinity is always connected. In this paper we consider the related question of whether the union with infinity of the bounded orbit set, or the bungee set, can also be connected. We give sufficient conditions for these sets to be connected and an example of a transcendental entire function for which all three sets are simultaneously connected. This function lies, in fact, in the Speiser class.It is known that for many transcendental entire functions the escaping set has a topological structure known as a spider’s web. We use our results to give a large class of functions in the Eremenko–Lyubich class for which the escaping set is not a spider’s web. Finally, we give a novel topological criterion for certain sets to be a spider’s web.
- Published
- 2018
40. Regular variation and rates of mixing for infinite measure preserving almost Anosov diffeomorphisms
- Author
-
Dalia Terhesiu and Henk Bruin
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Neighbourhood (graph theory) ,Torus ,Fixed point ,01 natural sciences ,Measure (mathematics) ,Return time ,Mixing (mathematics) ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Variation (astronomy) ,Complement (set theory) ,Mathematics - Abstract
The purpose of this paper is to establish mixing rates for infinite measure preserving almost Anosov diffeomorphisms on the two-dimensional torus. The main task is to establish regular variation of the tails of the first return time to the complement of a neighbourhood of the neutral fixed point.
- Published
- 2018
41. Integrality properties of Böttcher coordinates for one-dimensional superattracting germs
- Author
-
Joseph H. Silverman and Adriana Salerno
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,Mathematics - Abstract
Let $R$ be a ring of characteristic $0$ with field of fractions $K$ and let $m\geq 2$. The Böttcher coordinate of a power series $\unicode[STIX]{x1D711}(x)\in x^{m}+x^{m+1}R\unicode[STIX]{x27E6}x\unicode[STIX]{x27E7}$ is the unique power series $f_{\unicode[STIX]{x1D711}}(x)\in x+x^{2}K\unicode[STIX]{x27E6}x\unicode[STIX]{x27E7}$ satisfying $\unicode[STIX]{x1D711}\circ f_{\unicode[STIX]{x1D711}}(x)=f_{\unicode[STIX]{x1D711}}(x^{m})$. In this paper we study the integrality properties of the coefficients of $f_{\unicode[STIX]{x1D711}}(x)$, partly for their intrinsic interest and partly for potential applications to $p$-adic dynamics. Results include: (1) if $p$ is prime and $R=\mathbb{Z}_{p}$ and $\unicode[STIX]{x1D711}(x)\in x^{p}+px^{p+1}R\unicode[STIX]{x27E6}x\unicode[STIX]{x27E7}$, then $f_{\unicode[STIX]{x1D711}}(x)\in R\unicode[STIX]{x27E6}x\unicode[STIX]{x27E7}$. (2) If $\unicode[STIX]{x1D711}(x)\in x^{m}+mx^{m+1}R\unicode[STIX]{x27E6}x\unicode[STIX]{x27E7}$, then $f_{\unicode[STIX]{x1D711}}(x)=x\sum _{k=0}^{\infty }a_{k}x^{k}/k!$ with all $a_{k}\in R$. (3) In (2), if $m=p^{2}$, then $a_{k}\equiv -1~\text{(mod}~p\text{)}$ for all $k$ that are powers of $p$.
- Published
- 2018
42. adic Mahler measure and -covers of links
- Author
-
Jun Ueki
- Subjects
Algebra ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
Let $p$ be a prime number. We develop a theory of $p$-adic Mahler measure of polynomials and apply it to the study of $\mathbb{Z}$-covers of rational homology 3-spheres branched over links. We obtain a $p$-adic analogue of the asymptotic formula of the torsion homology growth and a balance formula among the leading coefficient of the Alexander polynomial, the $p$-adic entropy and the Iwasawa $\unicode[STIX]{x1D707}_{p}$-invariant. We also apply the purely $p$-adic theory of Besser–Deninger to $\mathbb{Z}$-covers of links. In addition, we study the entropies of profinite cyclic covers of links. We examine various examples throughout the paper.
- Published
- 2018
43. Non-commutative ergodic averages of balls and spheres over Euclidean spaces
- Author
-
Guixiang Hong
- Subjects
Pointwise convergence ,Pure mathematics ,Dense set ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Variational method ,Pointwise ergodic theorem ,0103 physical sciences ,Euclidean geometry ,Ergodic theory ,SPHERES ,010307 mathematical physics ,0101 mathematics ,Commutative property ,Mathematics - Abstract
In this paper, we establish a non-commutative analogue of Calderón’s transference principle, which allows us to deduce the non-commutative maximal ergodic inequalities from the special case—operator-valued maximal inequalities. As applications, we deduce the non-commutative Stein–Calderón maximal ergodic inequality and the dimension-free estimates of the non-commutative Wiener maximal ergodic inequality over Euclidean spaces. We also show the corresponding individual ergodic theorems. To show Wiener’s pointwise ergodic theorem, following a somewhat standard way we construct a dense subset on which pointwise convergence holds. To show Jones’ pointwise ergodic theorem, we use again the transference principle together with the Littlewood–Paley method, which is different from Jones’ original variational method that is still unavailable in the non-commutative setting.
- Published
- 2018
44. is regular-closed
- Author
-
Yutaro Himeki and Yutaka Ishii
- Subjects
Discrete mathematics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
For each $n\geq 2$, we investigate a family of iterated function systems which is parameterized by a common contraction ratio $s\in \mathbb{D}^{\times }\equiv \{s\in \mathbb{C}:0 and possesses a rotational symmetry of order $n$. Let ${\mathcal{M}}_{n}$ be the locus of contraction ratio $s$ for which the corresponding self-similar set is connected. The purpose of this paper is to show that ${\mathcal{M}}_{n}$ is regular-closed, that is, $\overline{\text{int}\,{\mathcal{M}}_{n}}={\mathcal{M}}_{n}$ holds for $n\geq 4$. This gives a new result for $n=4$ and a simple geometric proof of the previously known result by Bandt and Hung [Fractal $n$-gons and their Mandelbrot sets. Nonlinearity 21 (2008), 2653–2670] for $n\geq 5$.
- Published
- 2018
45. On the existence of non-hyperbolic ergodic measures as the limit of periodic measures
- Author
-
Jinhua Zhang, Christian Bonatti, Institut de Mathématiques de Bourgogne [Dijon] (IMB), Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Bourgogne (UB), School of Mathematical Sciences, Peking University, and China Scholarship Council201406010010
- Subjects
Pure mathematics ,Mathematics::Dynamical Systems ,hyperbolicity ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Zero (complex analysis) ,Dynamical Systems (math.DS) ,Lyapunov exponent ,stability ,16. Peace & justice ,01 natural sciences ,Measure (mathematics) ,symbols.namesake ,0103 physical sciences ,FOS: Mathematics ,symbols ,Ergodic theory ,010307 mathematical physics ,Limit (mathematics) ,Mathematics - Dynamical Systems ,[MATH]Mathematics [math] ,0101 mathematics ,Mathematics - Abstract
[GIKN] and [BBD1] propose two very different ways for building non hyperbolic measures, [GIKN] building such a measure as the limit of periodic measures and [BBD1] as the $\omega$-limit set of a single orbit, with a uniformly vanishing Lyapunov exponent. The technique in [GIKN] was essentially used in a generic setting, as the periodic orbits were built by small perturbations. It is not known if the measures obtained by the technique in [BBD1] are accumulated by periodic measures. In this paper we use a shadowing lemma from [G]: $\bullet$for getting the periodic orbits in [GIKN] without perturbing the dynamics, $\bullet$for recovering the compact set in [BBD1] with a uniformly vanishing Lyapunov exponent by considering the limit of periodic orbits. As a consequence, we prove that there exists an open and dense subset $\mathcal{U}$ of the set of robustly transitive non-hyperbolic diffeomorphisms far from homoclinic tangencies, such that for any $f\in\mathcal{U}$, there exists a non-hyperbolic ergodic measure with full support and approximated by hyperbolic periodic measures. We also prove that there exists an open and dense subset $\mathcal{V}$ of the set of diffeomorphisms exhibiting a robust cycle, such that for any $f\in\mathcal{V}$, there exists a non-hyperbolic ergodic measure approximated by hyperbolic periodic measures., Comment: 37 pages
- Published
- 2018
46. Reduction of dynatomic curves
- Author
-
Lloyd W. West, Rachel Pries, John R. Doyle, Holly Krieger, Andrew Obus, Simon Rubinstein-Salzedo, Krieger, Holly [0000-0001-9950-3801], and Apollo - University of Cambridge Repository
- Subjects
Polynomial ,Reduction (recursion theory) ,General Mathematics ,Modulo ,Ramification (botany) ,Of the form ,Dynamical Systems (math.DS) ,Mandelbrot set ,Mathematical proof ,01 natural sciences ,Combinatorics ,Mathematics - Algebraic Geometry ,math.AG ,0103 physical sciences ,FOS: Mathematics ,Number Theory (math.NT) ,Mathematics - Dynamical Systems ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics ,Mathematics - Number Theory ,Applied Mathematics ,010102 general mathematics ,37F45, 37P05, 37P35, 37P45, 11G20, 11S15, 14H30 ,math.NT ,Discriminant ,010307 mathematical physics ,math.DS - Abstract
The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of $Y_1(n)$ remains smooth and/or irreducible. As an application, we give new examples of good reduction of $Y_1(n)$ for several primes dividing the ramification discriminant when $n=7,8,11$. The proofs involve arithmetic and complex dynamics, reduction theory for curves, ramification theory, and the combinatorics of the Mandelbrot set., Comment: 47 pages, 2 figures; fixed typos and added some data to Appendix A
- Published
- 2018
47. Hausdorff dimension of divergent diagonal geodesics on product of finite-volume hyperbolic spaces
- Author
-
Lei Yang
- Subjects
Pure mathematics ,Finite volume method ,Geodesic ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Diagonal ,01 natural sciences ,Hausdorff dimension ,Product (mathematics) ,0103 physical sciences ,Product topology ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
In this paper, we consider the product space of several non-compact finite-volume hyperbolic spaces, $V_{1},V_{2},\ldots ,V_{k}$ of dimension $n$. Let $\text{T}^{1}(V_{i})$ denote the unit tangent bundle of $V_{i}$ and $g_{t}$ denote the geodesic flow on $\text{T}^{1}(V_{i})$ for each $i=1,\ldots ,k$. We define $$\begin{eqnarray}{\mathcal{D}}_{k}:=\{(v_{1},\ldots ,v_{k})\,\in \,\text{T}^{1}(V_{1})\times \cdots \times \text{T}^{1}(V_{k})\,:\,(g_{t}(v_{1}),\ldots ,g_{t}(v_{k}))\text{ diverges as }t\rightarrow \infty \}.\end{eqnarray}$$ We will prove that the Hausdorff dimension of ${\mathcal{D}}_{k}$ is equal to $k(2n-1)-((n-1)/2)$. This extends a result of Cheung.
- Published
- 2017
48. Homotopical complexity of a billiard flow on the 3D flat torus with two cylindrical obstacles
- Author
-
Caleb C. Moxley and Nandor Simanyi
- Subjects
Toroid ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Geometry ,Disjoint sets ,Topological entropy ,01 natural sciences ,Cantor set ,Flow (mathematics) ,Cone (topology) ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Dynamical billiards ,Rotation (mathematics) ,Mathematics - Abstract
We study the homotopical rotation vectors and the homotopical rotation sets for the billiard flow on the unit flat torus with two disjoint and orthogonal toroidal (cylindrical) scatterers removed from it. The natural habitat for these objects is the infinite cone erected upon the Cantor set$\text{Ends}(G)$of all ‘ends’ of the hyperbolic group$G=\unicode[STIX]{x1D70B}_{1}(\mathbf{Q})$. An element of$\text{Ends}(G)$describes the direction in (the Cayley graph of) the group$G$in which the considered trajectory escapes to infinity, whereas the height function$s$($s\geq 0$) of the cone gives us the average speed at which this escape takes place. The main results of this paper claim that the orbits can only escape to infinity at a speed not exceeding$\sqrt{3}$and, in any direction$e\in \text{Ends}(\unicode[STIX]{x1D70B}_{1}({\mathcal{Q}}))$, the escape is feasible with any prescribed speed$s$,$0\leq s\leq 1/(\sqrt{6}+2\sqrt{3})$. This means that the radial upper and lower bounds for the rotation set$R$are actually pretty close to each other. Furthermore, we prove the convexity of the set$\mathit{AR}$of constructible rotation vectors, and that the set of rotation vectors of periodic orbits is dense in$\mathit{AR}$. We also provide effective lower and upper bounds for the topological entropy of the studied billiard flow.
- Published
- 2017
49. On stable transitivity of finitely generated groups of volume-preserving diffeomorphisms
- Author
-
Zhiyuan Zhang
- Subjects
Transitive relation ,Dense set ,Group (mathematics) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Dimension (graph theory) ,Riemannian manifold ,01 natural sciences ,Combinatorics ,Integer ,0103 physical sciences ,010307 mathematical physics ,Diffeomorphism ,0101 mathematics ,Distribution (differential geometry) ,Mathematics - Abstract
In this paper, we provide a new criterion for the stable transitivity of volume-preserving finite generated groups on any compact Riemannian manifold. As one of our applications, we generalize a result of Dolgopyat and Krikorian [On simultaneous linearization of diffeomorphisms of the sphere.Duke Math. J. 136(2007), 475–505] and obtain stable transitivity for random rotations on the sphere in any dimension. As another application, we show that for$\infty \geq r\geq 2$, for any$C^{r}$volume-preserving partially hyperbolic diffeomorphism$g$on any compact Riemannian manifold$M$having sufficiently Hölder stable or unstable distribution, for any sufficiently large integer$K$and for any$(f_{i})_{i=1}^{K}$in a$C^{1}$open$C^{r}$dense subset of$\text{Diff}^{r}(M,m)^{K}$, the group generated by$g,f_{1},\ldots ,f_{K}$acts transitively.
- Published
- 2017
50. On mostly expanding diffeomorphisms
- Author
-
Martin Andersson and Carlos H. Vásquez
- Subjects
Class (set theory) ,Mathematics::Dynamical Systems ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Dynamical Systems (math.DS) ,01 natural sciences ,Algebra ,Set (abstract data type) ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,Mathematics - Dynamical Systems ,0101 mathematics ,37CD30, 37A25, 37D25 ,Mathematics - Abstract
In this work we study the class of mostly expanding partially hyperbolic diffeomorphisms. We prove that such class is $C^r$-open, $r>1$, among the partially hyperbolic diffeomorphisms (in the narrow sense) and we prove that the mostly expanding condition guarantee the existence of physical measures and provide more information about the statistics of the system. Ma����'s classical derived-from-Anosov diffeomorphism on $\mathbb{T}^3$ belongs to this set., We improve the paper incorporating the referee's suggestions
- Published
- 2017
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.