Source author record

Krzysztof Barański

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
6topics
4close collaborators

Published work

12 publications

preprint2020arXiv

A probabilistic Takens theorem

Let X⊂RNX \subset \mathbb{R}^N be a Borel set, μμ a Borel probability measure on XX and T:X→XT:X \to X a Lipschitz and injective map. Fix k∈Nk \in \mathbb{N} greater than the (Hausdorff) dimension of XX and assume that the set of pp-periodic points has dimension smaller than pp for p=1,…,k−1p=1, \ldots, k-1. We prove that for a typical polynomial perturbation h~\tilde{h} of a given Lipschitz map h:X→Rh : X \to \mathbb{R}, the kk-delay coordinate map x↦(h~(x),h~(Tx),…,h~(Tk−1x))x \mapsto (\tilde{h}(x), \tilde{h}(Tx), \ldots, \tilde{h}(T^{k-1}x)) is injective on a set of full measure μμ. This is a probabilistic version of the Takens delay embedding theorem as proven by Sauer, Yorke and Casdagli. We also provide a non-dynamical probabilistic embedding theorem of similar type, which strengthens a previous result by Alberti, Bölcskei, De Lellis, Koliander and Riegler. In both cases, the key improvements compared to the non-probabilistic counterparts are the reduction of the number of required measurements from 2dim⁡X2\dim X to dim⁡X\dim X and using Hausdorff dimension instead of the box-counting one. We present examples showing how the use of the Hausdorff dimension improves the previously obtained results.

preprint2019arXiv

Singular stationary measures for random piecewise affine interval homeomorphisms

We show that the stationary measure for some random systems of two piecewise affine homeomorphisms of the interval is singular, verifying partially a conjecture by Alsedà and Misiurewicz and contributing to a question of Navas on the absolute continuity of stationary measures, considered in the setup of semigroups of piecewise affine circle homeomorphisms. We focus on the case of resonant boundary derivatives.

preprint2017arXiv

Fatou components and singularities of meromorphic functions

We prove several results concerning the relative position of points in the postsingular set P(f)P(f) of a meromorphic map ff and the boundary of a Baker domain or the successive iterates of a wandering component. For Baker domains we answer a question of Mihaljević-Brandt and Rempe-Gillen. For wandering domains we show that if the iterates UnU_n of such a domain have uniformly bounded diameter, then there exists a sequence of postsingular values pnp_n such that dist(pn,∂Un)→0{\rm dist}(p_n,\partial U_n)\to 0 as n→∞n\to \infty. We also prove that if Un∩P(f)=∅U_n \cap P(f)=\emptyset and the postsingular set of ff lies at a positive distance from the Julia set (in C\mathbb C) then any sequence of iterates of wandering domains must contain arbitrarily large disks. This allows to exclude the existence of wandering domains for some meromorphic maps with infinitely many poles and unbounded set of singular values.

preprint2015arXiv

Connectivity of Julia sets of Newton maps: A unified approach

In this paper we give a unified proof of the fact that the Julia set of Newton's method applied to a holomorphic function of the complex plane (a polynomial of degree large than 11 or an entire transcendental function) is connected. The result was recently completed by the authors' previous work, as a consequence of a more general theorem whose proof spreads among many papers, which consider separately a number of particular cases for rational and transcendental maps, and use a variety of techniques. In this note we present a unified, direct and reasonably self-contained proof which works for all situations alike.

preprint2014arXiv

Absorbing sets and Baker domains for holomorphic maps

We consider holomorphic maps f:U→Uf: U \to U for a hyperbolic domain UU in the complex plane, such that the iterates of ff converge to a boundary point ζζ of UU. By a previous result of the authors, for such maps there exist nice absorbing domains W⊂UW \subset U. In this paper we show that WW can be chosen to be simply connected, if ff has parabolic I type in the sense of the Baker--Pommerenke--Cowen classification of its lift by a universal covering (and ζζ is not an isolated boundary point of UU). Moreover, we provide counterexamples for other types of the map ff and give an exact characterization of parabolic I type in terms of the dynamical behaviour of ff.

preprint2014arXiv

Accesses to infinity from Fatou components

We study the boundary behaviour of a meromorphic map f:C→C^f: \mathbb C \to \widehat{\mathbb C} on its invariant simply connected Fatou component UU. To this aim, we develop the theory of accesses to boundary points of UU and their relation to the dynamics of ff. In particular, we establish a correspondence between invariant accesses from UU to infinity or weakly repelling points of ff and boundary fixed points of the associated inner function on the unit disc. We apply our results to describe the accesses to infinity from invariant Fatou components of the Newton maps.

preprint2014arXiv

On the dimension of the graph of the classical Weierstrass function

This paper examines dimension of the graph of the famous Weierstrass non-differentiable function Wλ,b(x)=∑n=0∞λncos⁡(2πbnx) W_{λ, b} (x) = \sum_{n=0}^{\infty}λ^n\cos(2πb^n x) for an integer b≥2b \ge 2 and 1/b<λ<11/b < λ< 1. We prove that for every bb there exists (explicitly given) λb∈(1/b,1)λ_b \in (1/b, 1) such that the Hausdorff dimension of the graph of Wλ,bW_{λ, b} is equal to D=2+log⁡λlog⁡bD = 2+\frac{\logλ}{\log b} for every λ∈(λb,1)λ\in(λ_b,1). We also show that the dimension is equal to DD for almost every λλ on some larger interval. This partially solves a well-known thirty-year-old conjecture. Furthermore, we prove that the Hausdorff dimension of the graph of the function f(x)=∑n=0∞λnϕ(bnx) f (x) = \sum_{n=0}^{\infty}λ^nϕ(b^n x) for an integer b≥2b \ge 2 and 1/b<λ<11/b < λ< 1 is equal to DD for a typical Z\mathbb Z-periodic C3C^3 function ϕϕ.

preprint2012arXiv

Brushing the hairs of transcendental entire functions

Let f be a hyperbolic transcendental entire function of finite order in the Eremenko-Lyubich class (or a finite composition of such maps), and suppose that f has a unique Fatou component. We show that the Julia set of ff is a Cantor bouquet; i.e. is ambiently homeomorphic to a straight brush in the sense of Aarts and Oversteegen. In particular, we show that any two such Julia sets are ambiently homeomorphic. We also show that if $f\in\B$ has finite order (or is a finite composition of such maps), but is not necessarily hyperbolic, then the Julia set of f contains a Cantor bouquet. As part of our proof, we describe, for an arbitrary function $f\in\B$, a natural compactification of the dynamical plane by adding a "circle of addresses" at infinity.

preprint2011arXiv

Bowen's formula for meromorphic functions

Let ff be an arbitrary transcendental entire or meromorphic function in the class S\mathcal S (i.e. with finitely many singularities). We show that the topological pressure P(f,t)P(f,t) for t>0t > 0 can be defined as the common value of the pressures P(f,t,z)P(f,t, z) for all z∈Cz \in \mathbb C up to a set of Hausdorff dimension zero. Moreover, we prove that P(f,t)P(f,t) equals the supremum of the pressures of f∣Xf|_X over all invariant hyperbolic subsets XX of the Julia set, and we prove Bowen's formula for ff, i.e. we show that the Hausdorff dimension of the radial Julia set of ff is equal to the infimum of the set of tt, for which P(f,t)P(f,t) is non-positive. Similar results hold for (non-exceptional) transcendental entire or meromorphic functions ff in the class B\mathcal B (i.e. with bounded set of singularities), for which the closure of the post-singular set does not contain the Julia set.

preprint2009arXiv

Dimension properties of the boundaries of exponential basins

We prove that the boundary of a component UU of the basin of an attracting periodic cycle (of period greater than 1) for an exponential map on the complex plane has Hausdorff dimension greater than 1 and less than 2. Moreover, the set of points in the boundary of UU which do not escape to infinity has Hausdorff dimension (in fact: hyperbolic dimension) greater than 1, while the set of points in the boundary of UU which escape to infinity has Hausdorff dimension 1.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.