BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

De-Jun Feng

De-Jun Feng appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.CAmath.NTmath.PRmath.MGmath-phmath.MP

Catalog footprint

What is connected

21works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

21 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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+)]$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access