BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

De-Jun Feng

De-Jun Feng contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DSmath.CAmath.MGmath.PR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

6 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 [τ_μ&#39;(1),τ_μ&#39;(0+)]$. We also verify the validity of the multifractal formalism of $μ$ over $[τ_μ&#39;(\infty),τ_μ&#39;(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