Dynamic classification of escape time Sierpiński curve Julia sets

Robert L. Devaney; Kevin M. Pilgrim

Displaying similar documents to “Dynamic classification of escape time Sierpiński curve Julia sets”

Kneading sequences for double standard maps

Michael Benedicks, Ana Rodrigues (2009)

Fundamenta Mathematicae

Similarity:

We investigate the symbolic dynamics for the double standard maps of the circle onto itself, given by $f_{a, b} (x) = 2 x + a + (b / π) s i n (2 π x) (m o d 1)$ , where b = 1 and a is a real parameter, 0 ≤ a < 1.

Structure of the McMullen domain in the parameter planes for rational maps

Robert L. Devaney (2005)

Fundamenta Mathematicae

Similarity:

We show that, for the family of functions $F_{λ} (z) = z ⁿ + λ / z ⁿ$ where n ≥ 3 and λ ∈ ℂ, there is a unique McMullen domain in parameter space. A McMullen domain is a region where the Julia set of $F_{λ}$ is homeomorphic to a Cantor set of circles. We also prove that this McMullen domain is a simply connected region in the plane that is bounded by a simple closed curve.

Parapuzzle of the multibrot set and typical dynamics of unimodal maps

Artur Avila, Mikhail Lyubich, Weixiao Shen (2011)

Journal of the European Mathematical Society

Similarity:

We study the parameter space of unicritical polynomials $f_{c} : z \mapsto z^{d} + c$ . For complex parameters, we prove that for Lebesgue almost every $c$ , the map $f_{c}$ is either hyperbolic or infinitely renormalizable. For real parameters, we prove that for Lebesgue almost every $c$ , the map $f_{c}$ is either hyperbolic, or Collet–Eckmann, or infinitely renormalizable. These results are based on controlling the spacing between consecutive elements in the “principal nest” of parapuzzle pieces.

A classification of inverse limit spaces of tent maps with periodic critical points

Lois Kailhofer (2003)

Fundamenta Mathematicae

Similarity:

We work within the one-parameter family of symmetric tent maps, where the slope is the parameter. Given two such tent maps $f_{a}$ , $f_{b}$ with periodic critical points, we show that the inverse limit spaces $(_{a}, f_{a})$ and $(_{b}, g_{b})$ are not homeomorphic when a ≠ b. To obtain our result, we define topological substructures of a composant, called “wrapping points” and “gaps”, and identify properties of these substructures preserved under a homeomorphism.

Rational points on curves

Michael Stoll (2011)

Journal de Théorie des Nombres de Bordeaux

Similarity:

This is an extended version of an invited lecture I gave at the Journées Arithmétiques in St. Étienne in July 2009. We discuss the state of the art regarding the problem of finding the set of rational points on a (smooth projective) geometrically integral curve $C$ over $ℚ$ . The focus is on practical aspects of this problem in the case that the genus of $C$ is at least $2$ , and therefore the set of rational points is finite.

Rational Points on Certain Hyperelliptic Curves over Finite Fields

Maciej Ulas (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Let K be a field, a,b ∈ K and ab ≠ 0. Consider the polynomials g₁(x) = xⁿ+ax+b, g₂(x) = xⁿ+ax²+bx, where n is a fixed positive integer. We show that for each k≥ 2 the hypersurface given by the equation $S_{k}^{i} : u ² = \prod_{j = 1}^{k} g_{i} (x_{j})$ , i=1,2, contains a rational curve. Using the above and van de Woestijne’s recent results we show how to construct a rational point different from the point at infinity on the curves $C_{i} : y ² = g_{i} (x)$ , (i=1,2) defined over a finite field, in polynomial time.

A differential equation related to the $l^{p}$ -norms

Jacek Bojarski, Tomasz Małolepszy, Janusz Matkowski (2011)

Annales Polonici Mathematici

Similarity:

Let p ∈ (1,∞). The question of existence of a curve in ℝ₊² starting at (0,0) and such that at every point (x,y) of this curve, the $l^{p}$ -distance of the points (x,y) and (0,0) is equal to the Euclidean length of the arc of this curve between these points is considered. This problem reduces to a nonlinear differential equation. The existence and uniqueness of solutions is proved and nonelementary explicit solutions are given.

Real $C^{k}$ Koebe principle

Weixiao Shen, Michael Todd (2005)

Fundamenta Mathematicae

Similarity:

We prove a $C^{k}$ version of the real Koebe principle for interval (or circle) maps with non-flat critical points.

More on tie-points and homeomorphism in ℕ*

Alan Dow, Saharon Shelah (2009)

Fundamenta Mathematicae

Similarity:

A point x is a (bow) tie-point of a space X if X∖x can be partitioned into (relatively) clopen sets each with x in its closure. We denote this as $X = A ⋈_{x} B$ where A, B are the closed sets which have a unique common accumulation point x. Tie-points have appeared in the construction of non-trivial autohomeomorphisms of βℕ = ℕ* (by Veličković and Shelah Steprans) and in the recent study (by Levy and Dow Techanie) of precisely 2-to-1 maps on ℕ*. In these cases the tie-points have been the unique...

Distortion bounds for $C^{2 + η}$ unimodal maps

Mike Todd (2007)

Fundamenta Mathematicae

Similarity:

We obtain estimates for derivative and cross-ratio distortion for $C^{2 + η}$ (any η > 0) unimodal maps with non-flat critical points. We do not require any “Schwarzian-like” condition. For two intervals J ⊂ T, the cross-ratio is defined as the value B(T,J): = (|T| |J|)/(|L| |R|) where L,R are the left and right connected components of T∖J respectively. For an interval map g such that $g_{T} : T \to ℝ$ is a diffeomorphism, we consider the cross-ratio distortion to be B(g,T,J): = B(g(T),g(J))/B(T,J). We prove...

Characteristic Exponents of Rational Functions

Anna Zdunik (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We consider two characteristic exponents of a rational function f:ℂ̂ → ℂ̂ of degree d ≥ 2. The exponent $χ_{a} (f)$ is the average of log∥f’∥ with respect to the measure of maximal entropy. The exponent $χ_{m} (f)$ can be defined as the maximal characteristic exponent over all periodic orbits of f. We prove that $χ_{a} (f) = χ_{m} (f)$ if and only if f(z) is conformally conjugate to $z \mapsto z^{\pm d}$ .

An iterative construction for ordinary and very special hyperelliptic curves

Francis J. Sullivan (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si costruiscono famiglie di curve iperellittiche col $p$ —rango della varietà jacobiana uguale a zero. La costruzione sfrutta le proprietà elementari dell’operatore di Cartier e delle estensioni $p$ -cicliche dei corpi con la caratteristica $p$ maggiore di zero.

The moduli space of totally marked degree two rational maps

Anupam Bhatnagar (2015)

Acta Arithmetica

Similarity:

A rational map ϕ: ℙ¹ → ℙ¹ along with an ordered list of fixed and critical points is called a totally marked rational map. The space $R a t ₂^{t} m$ of totally marked degree two rational maps can be parametrized by an affine open subset of (ℙ¹)⁵. We consider the natural action of SL₂ on $R a t ₂^{t} m$ induced from the action of SL₂ on (ℙ¹)⁵ and prove that the quotient space $R a t ₂^{t} m / S L ₂$ exists as a scheme. The quotient is isomorphic to a Del Pezzo surface with the isomorphism being defined over ℤ[1/2].

Frobenius nonclassicality with respect to linear systems of curves of arbitrary degree

Nazar Arakelian, Herivelto Borges (2015)

Acta Arithmetica

Similarity:

For each integer s ≥ 1, we present a family of curves that are $_{q}$ -Frobenius nonclassical with respect to the linear system of plane curves of degree s. In the case s=2, we give necessary and sufficient conditions for such curves to be $_{q}$ -Frobenius nonclassical with respect to the linear system of conics. In the $_{q}$ -Frobenius nonclassical cases, we determine the exact number of $_{q}$ -rational points. In the remaining cases, an upper bound for the number of $_{q}$ -rational points will follow from Stöhr-Voloch...

On Surjective Bing Maps

Hisao Kato, Eiichi Matsuhashi (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

In [7], M. Levin proved that the set of all Bing maps of a compact metric space to the unit interval is a dense $G_{δ}$ -subset of the space of all maps. In [6], J. Krasinkiewicz independently proved that the set of all Bing maps of a compact metric space to an n-dimensional manifold (n ≥ 1) is a dense $G_{δ}$ -subset of the space of maps. In [9], J. Song and E. D. Tymchatyn, solving some problems of J. Krasinkiewicz ([6]), proved that the set of all Bing maps of a compact metric space to a nondegenerate...

Sets of nondifferentiability for conjugacies between expanding interval maps

Thomas Jordan, Marc Kesseböhmer, Mark Pollicott, Bernd O. Stratmann (2009)

Fundamenta Mathematicae

Similarity:

We study differentiability of topological conjugacies between expanding piecewise $C^{1 + ϵ}$ interval maps. If these conjugacies are not C¹, then their derivative vanishes Lebesgue almost everywhere. We show that in this case the Hausdorff dimension of the set of points for which the derivative of the conjugacy does not exist lies strictly between zero and one. Moreover, by employing the thermodynamic formalism, we show that this Hausdorff dimension can be determined explicitly in terms of the...

The automorphism group of ${\bar{M}}_{0, n}$

Andrea Bruno, Massimiliano Mella (2013)

Journal of the European Mathematical Society

Similarity:

The paper studies fiber type morphisms between moduli spaces of pointed rational curves. Via Kapranov’s description we are able to prove that the only such morphisms are forgetful maps. This allows us to show that the automorphism group of ${\bar{M}}_{0, n}$ is the permutation group on $n$ elements as soon as $n \geq 5$ .

Recovering an algebraic curve using its projections from different points. Applications to static and dynamic computational vision

Jeremy Yirmeyahu Kaminski, Michael Fryers, Mina Teicher (2005)

Journal of the European Mathematical Society

Similarity:

We study some geometric configurations related to projections of an irreducible algebraic curve embedded in $ℂ ℙ^{3}$ onto embedded projective planes. These configurations are motivated by applications to static and dynamic computational vision. More precisely, we study how an irreducible closed algebraic curve $X$ embedded in $ℂ ℙ^{3}$ , of degree $d$ and genus $g$ , can be recovered using its projections from points onto embedded projective planes. The embeddings are unknown. The only input is the defining...

Some remarks providing discontinuous maps on some $C_{p} (X)$ spaces

S. Moll (2008)

Banach Center Publications

Similarity:

Let X be a completely regular Hausdorff topological space and $C_{p} (X)$ the space of continuous real-valued maps on X endowed with the pointwise topology. A simple and natural argument is presented to show how to construct on the space $C_{p} (X)$ , if X contains a homeomorphic copy of the closed interval [0,1], real-valued maps which are everywhere discontinuous but continuous on all compact subsets of $C_{p} (X)$ .

Reidemeister conjugacy for finitely generated free fundamental groups

Evelyn L. Hart (2008)

Fundamenta Mathematicae

Similarity:

Let X be a space with the homotopy type of a bouquet of k circles, and let f: X → X be a map. In certain cases, algebraic techniques can be used to calculate N(f), the Nielsen number of f, which is a homotopy invariant lower bound on the number of fixed points for maps homotopic to f. Given two fixed points of f, x and y, and their corresponding group elements, $W_{x}$ and $W_{y}$ , the fixed points are Nielsen equivalent if and only if there is a solution z ∈ π₁(X) to the equation $z = W_{y}^{- 1} f_{♯} (z) W_{x}$ . The Nielsen...

The end curve theorem for normal complex surface singularities

Walter D. Neumann, Jonathan Wahl (2010)

Journal of the European Mathematical Society

Similarity:

We prove the “End Curve Theorem,” which states that a normal surface singularity $(X, o)$ with rational homology sphere link $Σ$ is a splice quotient singularity if and only if it has an end curve function for each leaf of a good resolution tree. An “end curve function” is an analytic function $(X, o) \to (ℂ, 0)$ whose zero set intersects $Σ$ in the knot given by a meridian curve of the exceptional curve corresponding to the given leaf. A “splice quotient singularity” $(X, o)$ is described by giving an explicit set of...

On ramified covers of the projective plane II: Generalizing Segre’s theory

Michael Friedman, Rebecca Lehman, Maxim Leyenson, Mina Teicher (2012)

Journal of the European Mathematical Society

Similarity:

The classical Segre theory gives a necessary and sufficient condition for a plane curve to be a branch curve of a (generic) projection of a smooth surface in $ℙ^{3}$ . We generalize this result for smooth surfaces in a projective space of any dimension in the following way: given two plane curves, $B$ and $E$ , we give a necessary and sufficient condition for $B$ to be the branch curve of a surface $X$ in $ℙ^{N}$ and $E$ to be the image of the double curve of a $ℙ^{3}$ -model of $X$ . In the classical Segre theory, a...

Rigidity of critical circle mappings I

Edson de Faria, Welington de Melo (1999)

Journal of the European Mathematical Society

Similarity:

We prove that two $C^{3}$ critical circle maps with the same rotation number in a special set $𝔸$ are $C^{1 + α}$ conjugate for some $α > 0$ provided their successive renormalizations converge together at an exponential rate in the $C^{0}$ sense. The set $𝔸$ has full Lebesgue measure and contains all rotation numbers of bounded type. By contrast, we also give examples of $C^{\infty}$ critical circle maps with the same rotation number that are not $C^{1 + β}$ conjugate for any $β > 0$ . The class of rotation numbers for which such examples exist...

$α$ -continuous multivalued maps

J. Eweret (1989)

Matematički Vesnik

Similarity:

Persistence of fixed points under rigid perturbations of maps

Salvador Addas-Zanata, Pedro A. S. Salomão (2014)

Fundamenta Mathematicae

Similarity:

Let f: S¹ × [0,1] → S¹ × [0,1] be a real-analytic diffeomorphism which is homotopic to the identity map and preserves an area form. Assume that for some lift f̃: ℝ × [0,1] → ℝ × [0,1] we have Fix(f̃) = ℝ × 0 and that f̃ positively translates points in ℝ × 1. Let $f ̃_{ϵ}$ be the perturbation of f̃ by the rigid horizontal translation (x,y) ↦ (x+ϵ,y). We show that $F i x (f ̃_{ϵ}) = \emptyset$ for all ϵ > 0 sufficiently small. The proof follows from Kerékjártó’s construction of Brouwer lines for orientation preserving...

On cusps and flat tops

Neil Dobbs (2014)

Annales de l’institut Fourier

Similarity:

Non-invertible Pesin theory is developed for a class of piecewise smooth interval maps which may have unbounded derivative, but satisfy a property analogous to $C^{1 + ϵ}$ . The critical points are not required to verify a non-flatness condition, so the results are applicable to $C^{1 + ϵ}$ maps with flat critical points. If the critical points are too flat, then no absolutely continuous invariant probability measure can exist. This generalises a result of Benedicks and Misiurewicz.

On arithmetic progressions on Edwards curves

Enrique González-Jiménez (2015)

Acta Arithmetica

Similarity:

Let $m \in ℤ_{> 0}$ and a,q ∈ ℚ. Denote by $_{m} (a, q)$ the set of rational numbers d such that a, a + q, ..., a + (m-1)q form an arithmetic progression in the Edwards curve $E_{d} : x ² + y ² = 1 + d x ² y ²$ . We study the set $_{m} (a, q)$ and we parametrize it by the rational points of an algebraic curve.

Exact $^{\infty}$ covering maps of the circle without (weak) limit measure

Roland Zweimüller (2002)

Colloquium Mathematicae

Similarity:

We construct $^{\infty}$ maps T on the interval and on the circle which are Lebesgue exact preserving an absolutely continuous infinite measure μ ≪ λ, such that for any probability measure ν ≪ λ the sequence ${(n^{- 1} \sum_{k = 0}^{n - 1} ν \circ T^{- k})}_{n \geq 1}$ of arithmetical averages of image measures does not converge weakly.