BZPEER

preprint2022arXiv

A separation property for iterated function systems of similitudes

Let $E$ be the attractor of an iterated function system $\{ϕ_i(x)=ρR_ix+a_i\}_{i=1}^N$ on $\Bbb R^d$ , where $0<ρ<1$ , $a_i\in \Bbb R^d$ and $R_i$ are orthogonal transformations on $\Bbb R^d$ . Suppose that $\{ϕ_i\}_{i=1}^N$ satisfies the open set condition, but not the strong separation condition. We show that $E$ can not be generated by any iterated function system of similitudes satisfying the strong separation condition. This gives a partial answer to a folklore question about the separation conditions on the generating iterated function systems of self-similar sets.

preprint2020arXiv

Dimension estimates for $C^1$ iterated function systems and repellers. Part I

This is the first article in a two-part series containing some results on dimension estimates for $C^1$ iterated function systems and repellers. In this part, we prove that the upper box-counting dimension of the attractor of any $C^1$ iterated function system (IFS) on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Similar results are obtained for the repellers for $C^1$ expanding maps on Riemannian manifolds.

preprint2020arXiv

Dimension of invariant measures for affine iterated function systems

Let $\{S_i\}_{i\in Λ}$ be a finite contracting affine iterated function system (IFS) on ${\Bbb R}^d$ . Let $(Σ,σ)$ denote the two-sided full shift over the alphabet $Λ$ , and $π:Σ\to {\Bbb R}^d$ be the coding map associated with the IFS. We prove that the projection of an ergodic $σ$ -invariant measure on $Σ$ under $π$ is always exact dimensional, and its Hausdorff dimension satisfies a Ledrappier-Young type formula. Furthermore, the result extends to average contracting affine IFSs. This completes several previous results and answers a folklore open question in the community of fractals. Some applications are given to the dimension of self-affine sets and measures.

preprint2020arXiv

Dimensions of random statistically self-affine Sierpinski sponges in $\mathbb R^k$

We compute the Hausdorff dimension of any random statistically self-affine Sierpinski sponge $K\subset \mathbb{R}^k$ ( $k\ge 2$ ) obtained by using some percolation process in $[0,1]^k$ . To do so, we first exhibit a Ledrappier-Young type formula for the Hausdorff dimensions of statistically self-affine measures supported on $K$ . This formula presents a new feature compared to its deterministic or random dynamical version. Then, we establish a variational principle expressing $\dim_H K$ as the supremum of the Hausdorff dimensions of statistically self-affine measures supported on $K$ , and show that the supremum is uniquely attained. The value of $\dim_H K$ is also expressed in terms of the weighted pressure function of some deterministic potential. As a by-product, when $k=2$ , we give an alternative approach to the Hausdorff dimension of $K$ , which was first obtained by Gatzouras and Lalley \cite{GL94}. The value of the box counting dimension of $K$ and its equality with $\dim_H K$ are also studied. We also obtain a variational formula for the Hausdorff dimensions of some orthogonal projections of $K$ , and for statistically self-affine measures supported on~ $K$ , we establish a dimension conservation property through these projections.

preprint2020arXiv

On arithmetic sums of fractal sets in ${\Bbb R}^d$

A compact set $E\subset {\Bbb R}^d$ is said to be arithmetically thick if there exists a positive integer $n$ so that the $n$ -fold arithmetic sum of $E$ has non-empty interior. We prove the arithmetic thickness of $E$ , if $E$ is uniformly non-flat, in the sense that there exists $ε_0>0$ such that for $x\in E$ and $0<r\leq {\rm diam}(E)$ , $E\cap B(x,r)$ never stays $ε_0r$ -close to a hyperplane in ${\Bbb R}^d$ . Moreover, we prove the arithmetic thickness for several classes of fractal sets, including self-similar sets, self-conformal sets in ${\Bbb R}^d$ (with $d\geq 2$ ) and self-affine sets in ${\Bbb R}^2$ that do not lie in a hyperplane, and certain self-affine sets in ${\Bbb R}^d$ (with $d\geq 3$ ) under specific assumptions.

preprint2020arXiv

On multifractal formalism for self-similar measures with overlaps

Let $μ$ be a self-similar measure generated by an IFS $Φ=\{ϕ_i\}_{i=1}^\ell$ of similarities on $\mathbb R^d$ ( $d\ge 1$ ). When $Φ$ is dimensional regular (see Definition~1.1), we give an explicit formula for the $L^q$ -spectrum $τ_μ(q)$ of $μ$ over $[0,1]$ , and show that $τ_μ$ is differentiable over $(0,1]$ and the multifractal formalism holds for $μ$ at any $α\in [τ_μ'(1),τ_μ'(0+)]$ . We also verify the validity of the multifractal formalism of $μ$ over $[τ_μ'(\infty),τ_μ'(0+)]$ for two new classes of overlapping algebraic IFSs by showing that the asymptotically weak separation condition holds. For one of them, the proof appeals to a recent result of Shmerkin on the $L^q$ -spectrum of self-similar measures.

preprint2016arXiv

Affine embeddings of Cantor sets and dimension of $αβ$ -sets

Let $E, F\subset {\Bbb R}^d$ be two self-similar sets, and suppose that $F$ can be affinely embedded into $E$ . Under the assumption that $E$ is dust-like and has a small Hausdorff dimension, we prove the logarithmic commensurability between the contraction ratios of $E$ and $F$ . This gives a partial affirmative answer to Conjecture 1.2 in \cite{FHR14}. The proof is based on our study of the box-counting dimension of a class of multi-rotation invariant sets on the unit circle, including the $αβ$ -sets initially studied by Engelking and Katznelson.

preprint2016arXiv

Projections of planar Mandelbrot measures

Let $μ$ be a planar Mandelbrot measure and $π_*μ$ its orthogonal projection on one of the main axes. We study the thermodynamic and geometric properties of $π_*μ$ . We first show that $π_*μ$ is exactly dimensional, with $\dim(π_*μ)=\min(\dim(μ),\dim(ν))$ , where~ $ν$ is the Bernoulli product measure obtained as the expectation of $π_*μ$ . We also prove that $π_*μ$ is absolutely continuous with respect to $ν$ if and only if $\dim(μ)>\dim(ν)$ , and find sufficient conditions for the equivalence of these measures. Our results provides a new proof of Dekking-Grimmett-Falconer formula for the Hausdorff and box dimension of the topological support of $π_*μ$ , as well as a new variational interpretation. We obtain the free energy function $τ_{π_*μ}$ of $π_*μ$ on a wide subinterval $[0,q_c)$ of $\mathbb{R}_+$ . For $q\in[0,1]$ , it is given by a variational formula which sometimes yields phase transitions of order larger than~1. For $q>1$ , it is given by $\min(τ_ν,τ_μ)$ , which can exhibit first order phase transitions. This is in contrast with the analyticity of $τ_μ$ over $[0,q_c)$ . Also, we prove the validity of the multifractal formalism for $π_*μ$ at each $α\in (τ_{π_*μ}'(q_c-),τ_{π_*μ}'(0+)]$ .

preprint2015arXiv

Dimensions of random covering sets in Riemann manifolds

Let ${\pmb M}$ , ${\pmb N}$ and ${\pmb K}$ be $d$ -dimensional Riemann manifolds. Assume that ${\bf A}:=(A_n)_{n\in{\Bbb N}}$ is a sequence of Lebesgue measurable subsets of ${\pmb M}$ satisfying a necessary density condition and ${\bf x}:=(x_n)_{n\in {\Bbb N}}$ is a sequence of independent random variables which are distributed on ${\pmb K}$ according to a measure which is not purely singular with respect to the Riemann volume. We give a formula for the almost sure value of the Hausdorff dimension of random covering sets ${\bf E}({\bf x},{\bf A}):=\limsup_{n\to\infty}A_n(x_n)\subset {\pmb N}$ . Here $A_n(x_n)$ is a diffeomorphic image of $A_n$ depending on $x_n$ . We also verify that the packing dimensions of ${\bf E}({\bf x},{\bf A})$ equal $d$ almost surely.

preprint2015arXiv

On the topology of polynomials with bounded integer coefficients

For a real number $q>1$ and a positive integer $m$ , let $Y_m(q):={\sum_{i=0}^nε_i q^i:\; ε_i\in \{0, \pm 1,..., \pm m\}, n=0, 1,...}.$ In this paper, we show that $Y_m(q)$ is dense in ${\Bbb R}$ if and only if $q<m+1$ and $q$ is not a Pisot number. This completes several previous results and answers an open question raised by Erdös, Joó and Komornik.

preprint2014arXiv

Affine embeddings and intersections of Cantor sets

Let $E, F\subset \R^d$ be two self-similar sets. Under mild conditions, we show that $F$ can be $C^1$ -embedded into $E$ if and only if it can be affinely embedded into $E$ ; furthermore if $F$ can not be affinely embedded into $E$ , then the Hausdorff dimension of the intersection $E\cap f(F)$ is strictly less than that of $F$ for any $C^1$ -diffeomorphism $f$ on $\R^d$ . Under certain circumstances, we prove the logarithmic commensurability between the contraction ratios of $E$ and $F$ if $F$ can be affinely embedded into $E$ . As an application, we show that $\dim_HE\cap f(F)<\min\{\dim_HE, \dim_HF\}$ when $E$ is any Cantor- $p$ set and $F$ any Cantor- $q$ set, where $p,q\geq 2$ are two integers with $\log p/\log q\not \in \Q$. This is related to a conjecture of Furtenberg about the intersections of Cantor sets.

preprint2014arXiv

Non-conformal repellers and the continuity of pressure for matrix cocycles

The pressure function $P(A, s)$ plays a fundamental role in the calculation of the dimension of "typical" self-affine sets, where $A=(A_1,\ldots, A_k)$ is the family of linear mappings in the corresponding generating iterated function system. We prove that this function depends continuously on $A$ . As a consequence, we show that the dimension of "typical" self-affine sets is a continuous function of the defining maps. This resolves a folklore open problem in the community of fractal geometry. Furthermore we extend the continuity result to more general sub-additive pressure functions generated by the norm of matrix products or generalized singular value functions for matrix cocycles, and obtain applications on the continuity of equilibrium measures and the Lyapunov spectrum of matrix cocycles.

preprint2014arXiv

Self-similar subsets of the Cantor set

In this paper, we study the following question raised by Mattila in 1998: what are the self-similar subsets of the middle-third Cantor set $\C$? We give criteria for a complete classification of all such subsets. We show that for any self-similar subset $\F$ of $\C$ containing more than one point every linear generating IFS of $\F$ must consist of similitudes with contraction ratios $\pm 3^{-n}$ , $n\in \N$ . In particular, a simple criterion is formulated to characterize self-similar subsets of $\C$ with equal contraction ratio in modulus.

preprint2014arXiv

Variational principle for weighted topological pressure

Let $π:X\to Y$ be a factor map, where $(X,T)$ and $(Y,S)$ are topological dynamical systems. Let ${\bf a}=(a_1,a_2)\in {\Bbb R}^2$ with $a_1>0$ and $a_2\geq 0$ , and $f\in C(X)$ . The ${\bf a}$ -weighted topological pressure of $f$ , denoted by $P^{\bf a}(X, f)$ , is defined by resembling the Hausdorff dimension of subsets of self-affine carpets. We prove the following variational principle: $P^{\bf a}(X, f)=\sup\left\{a_1h_μ(T)+a_2h_{μ\circπ^{-1}}(S)+\int f \;dμ\right\},$ where the supremum is taken over the $T$ -invariant measures on $X$ . It not only generalizes the variational principle of classical topological pressure, but also provides a topological extension of dimension theory of invariant sets and measures on the torus under affine diagonal endomorphisms. A higher dimensional version of the result is also established.

preprint2012arXiv

Multifractal formalism for almost all self-affine measures

We conduct the multifractal analysis of self-affine measures for "almost all" family of affine maps. Besides partially extending Falconer's formula of $L^q$ -spectrum outside the range $1< q\leq 2$ , the multifractal formalism is also partially verified.

preprint2011arXiv

Multifractal analysis of Bernoulli convolutions associated with Salem numbers

We consider the multifractal structure of the Bernoulli convolution $ν_λ$ , where $λ^{-1}$ is a Salem number in $(1,2)$ . Let $τ(q)$ denote the $L^q$ spectrum of $ν_λ$ . We show that if $α\in [τ'(+\infty), τ'(0+)]$ , then the level set $E(α):={x\in \R:\; \lim_{r\to 0}\frac{\log ν_λ([x-r, x+r])}{\log r}=α}$ is non-empty and $\dim_HE(α)=τ^*(α)$ , where $τ^*$ denotes the Legendre transform of $τ$ . This result extends to all self-conformal measures satisfying the asymptotically weak separation condition. We point out that the interval $[τ'(+\infty), τ'(0+)]$ is not a singleton when $λ^{-1}$ is the largest real root of the polynomial $x^{n}-x^{n-1}-... -x+1$ , $n\geq 4$ . An example is constructed to show that absolutely continuous self-similar measures may also have rich multifractal structures.

preprint2011arXiv

Non-uniqueness of ergodic measures with full Hausdorff dimension on a Gatzouras-Lalley carpet

In this note, we show that on certain Gatzouras-Lalley carpet, there exist more than one ergodic measures with full Hausdorff dimension. This gives a negative answer to a conjecture of Gatzouras and Peres.

preprint2010arXiv

Dimension theory of iterated function systems

Let $\{S_i\}_{i=1}^\ell$ be an iterated function system (IFS) on $\R^d$ with attractor $K$ . Let $(Σ,σ)$ denote the one-sided full shift over the alphabet $\{1,..., \ell\}$ . We define the projection entropy function $h_π$ on the space of invariant measures on $Σ$ associated with the coding map $π: Σ\to K$ , and develop some basic ergodic properties about it. This concept turns out to be crucial in the study of dimensional properties of invariant measures on $K$ . We show that for any conformal IFS (resp., the direct product of finitely many conformal IFS), without any separation condition, the projection of an ergodic measure under $π$ is always exactly dimensional and, its Hausdorff dimension can be represented as the ratio of its projection entropy to its Lyapunov exponent (resp., the linear combination of projection entropies associated with several coding maps). Furthermore, for any conformal IFS and certain affine IFS, we prove a variational principle between the Hausdorff dimension of the attractors and that of projections of ergodic measures.

preprint2010arXiv

Lyapunov spectrum of asymptotically sub-additive potentials

For general asymptotically sub-additive potentials (resp. asymptotically additive potentials) on general topological dynamical systems, we establish some variational relations between the topological entropy of the level sets of Lyapunov exponents, measure-theoretic entropies and topological pressures in this general situation. Most of our results are obtained without the assumption of the existence of unique equilibrium measures or the differentiability of pressure functions. Some examples are constructed to illustrate the irregularity and the complexity of multifractal behaviors in the sub-additive case and in the case that the entropy map that is not upper-semi continuous.

preprint2010arXiv

Variational principles for topological entropies of subsets

Let $(X,T)$ be a topological dynamical system. We define the measure-theoretical lower and upper entropies $\underline{h}_μ(T)$ , $\bar{h}_μ(T)$ for any $μ\in M(X)$ , where $M(X)$ denotes the collection of all Borel probability measures on $X$ . For any non-empty compact subset $K$ of $X$ , we show that $$\htop^B(T, K)= \sup \{\underline{h}_μ(T): μ\in M(X),\; μ(K)=1\}, $$ $$\htop^P(T, K)= \sup \{\bar{h}_μ(T): μ\in M(X),\; μ(K)=1\}. $$ where $\htop^B(T, K)$ denotes Bowen's topological entropy of $K$ , and $\htop^P(T, K)$ the packing topological entropy of $K$ . Furthermore, when $\htop(T)<\infty$, the first equality remains valid when $K$ is replaced by an arbitrarily analytic subset of $X$ . The second equality always extends to any analytic subset of $X$ .

preprint2009arXiv

Growth rate for beta-expansions

Let $β>1$ and let $m>\be$ be an integer. Each $x\in I_\be:=[0,\frac{m-1}{β-1}]$ can be represented in the form $x=\sum_{k=1}^\infty ε_kβ^{-k},$ where $ε_k\in\{0,1,...,m-1\}$ for all $k$ (a $β$ -expansion of $x$ ). It is known that a.e. $x\in I_β$ has a continuum of distinct $β$ -expansions. In this paper we prove that if $β$ is a Pisot number, then for a.e. $x$ this continuum has one and the same growth rate. We also link this rate to the Lebesgue-generic local dimension for the Bernoulli convolution parametrized by $β$ . When $β<\frac{1+\sqrt5}2$ , we show that the set of $β$ -expansions grows exponentially for every internal $x$ .

De-Jun Feng

Research overview

Is this your work?

21 publications

A separation property for iterated function systems of similitudes

Dimension estimates for $C^1$ iterated function systems and repellers. Part I

Dimension of invariant measures for affine iterated function systems

Dimensions of random statistically self-affine Sierpinski sponges in $\mathbb R^k$

On arithmetic sums of fractal sets in ${\Bbb R}^d$

On multifractal formalism for self-similar measures with overlaps

Affine embeddings of Cantor sets and dimension of $αβ$ -sets

Projections of planar Mandelbrot measures

Dimensions of random covering sets in Riemann manifolds

On the topology of polynomials with bounded integer coefficients

Affine embeddings and intersections of Cantor sets

Non-conformal repellers and the continuity of pressure for matrix cocycles

Self-similar subsets of the Cantor set

Variational principle for weighted topological pressure

Multifractal formalism for almost all self-affine measures

Multifractal analysis of Bernoulli convolutions associated with Salem numbers

Non-uniqueness of ergodic measures with full Hausdorff dimension on a Gatzouras-Lalley carpet

Dimension theory of iterated function systems

Lyapunov spectrum of asymptotically sub-additive potentials

Variational principles for topological entropies of subsets

Growth rate for beta-expansions

See the researcher in context

Building this map preview

De-Jun Feng

Research overview

Is this your work?

21 publications

A separation property for iterated function systems of similitudes

Dimension estimates for C1C^1C1 iterated function systems and repellers. Part I

Dimension of invariant measures for affine iterated function systems

Dimensions of random statistically self-affine Sierpinski sponges in Rk\mathbb R^kRk

On arithmetic sums of fractal sets in Rd{\Bbb R}^dRd

On multifractal formalism for self-similar measures with overlaps

Affine embeddings of Cantor sets and dimension of αβαβαβ-sets

Projections of planar Mandelbrot measures

Dimensions of random covering sets in Riemann manifolds

On the topology of polynomials with bounded integer coefficients

Affine embeddings and intersections of Cantor sets

Non-conformal repellers and the continuity of pressure for matrix cocycles

Self-similar subsets of the Cantor set

Variational principle for weighted topological pressure

Multifractal formalism for almost all self-affine measures

Multifractal analysis of Bernoulli convolutions associated with Salem numbers

Non-uniqueness of ergodic measures with full Hausdorff dimension on a Gatzouras-Lalley carpet

Dimension theory of iterated function systems

Lyapunov spectrum of asymptotically sub-additive potentials

Variational principles for topological entropies of subsets

Growth rate for beta-expansions

See the researcher in context

Building this map preview

Dimension estimates for $C^1$ iterated function systems and repellers. Part I

Dimensions of random statistically self-affine Sierpinski sponges in $\mathbb R^k$

On arithmetic sums of fractal sets in ${\Bbb R}^d$

Affine embeddings of Cantor sets and dimension of $αβ$ -sets