BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let K⊂R be a self-similar set defined on R. It is easy to prove that if the Lebesgue measure of K is zero, then for Lebesgue almost every t, K+t={x+t:x∈K} only consists of irrational or transcendental numbers. In this note, we shall consider some classes of self-similar sets, and explicitly construct such t's. Our main idea is from the q-expansions.
In this paper, we prove that many fractal sets generated by the associated dynamical systems only contain irrationals. As an application, we explicitly construct some overlapping self-similar sets which only consist of irrationals.
Let m∈N≥2, and let K={Kλ:λ∈(0,1/m]} be a class of Cantor sets, where Kλ={∑i=1∞diλi:di∈{0,1,…,m−1},i≥1}. We investigate in this paper the likelyhood of a fixed point in the Cantor sets of K. More precisely, for a fixed point x∈(0,1) we consider the parameter set Λ(x)={λ∈(0,1/m]:x∈Kλ}, and show that Λ(x) is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, by constructing a sequence of Cantor subsets with large thickness in Λ(x) we prove that the intersection Λ(x)∩Λ(y) also has full Hausdorff dimension for any x,y∈(0,1).
Let C1 and C2 be two Cantor sets with convex hull [0,1]. Newhouse proved if τ(C1)⋅τ(C2)≥1, then the arithmetic sum C1+C2 is an interval, where τ(Ci),1≤i≤2 denotes the thickness of Ci. In this paper, we generalize this thickness theorem as follows. Let Ki⊂R,i=1,⋯,d, be some Cantor sets (perfect and nowhere dense) with convex hull [0,1]. Suppose f(x1,⋯,xd−1,z)∈C1 is a continuous function defined on Rd. Denote the continuous image of f by f(K1,⋯,Kd)={f(x1,⋯xd−1,z):xi∈Ki,z∈Kd,1≤i≤d−1}. If for any (x1,⋯,xd−1,z)∈[0,1]d, we have (τ(Ki))−1≤∂zf∂xif≤τ(Kd),1≤i≤d−1 then f(K1,⋯,Kd) is a closed interval. We give two applications. Firstly, we partially answer some questions posed by Takahashi. Secondly, we obtain various nonlinear identities, associated with the continued fractions with restricted partial quotients, which can represent real numbers.
Let (M,ck,nk,κ) be a class of homogeneous Moran sets. Suppose f(x,y)∈C3 is a function defined on R2. Given E1,E2∈(M,ck,nk,κ), in this paper, we prove, under some checkable conditions on the partial derivatives of f(x,y), that f(E1,E2)={f(x,y):x∈E1,y∈E2} is exactly a closed interval or a union of finitely many closed intervals. Similar results for the homogeneous self-similar sets with arbitrary overlaps can be obtained. Further generalization is available for some inhomogeneous self-similar sets if we utilize the approximation theorem.
Let C be the middle-third Cantor set. In this paper, we show that for every x∈[0,4], there exist x1,x2,x3,x4∈C such that x=x12+x22+x32+x42, which answers a question posed by Athreya, Reznick,and Tyson.
Let (M,ck,nk) be a class of Moran sets. We assume that the convex hull of any E∈(M,ck,nk) is [0,1]. Let A,B be two non-empty sets in R. Suppose that f is a continuous function defined on an open set U⊂R2. Denote the continuous image of f by \begin{equation*} f_{U}(A,B)=\{f(x,y):(x,y)\in (A\times B)\cap U\}. \end{equation*} In this paper, we prove the following result. Let E1,E2∈(M,ck,nk). If there exists some (x0,y0)∈(E1×E2)∩U such that supk≥1{1−cknk}<∂xf∣(x0,y0)∂yf∣(x0,y0)<infk≥1{1−nkckck}, then fU(E1,E2) contains an interior.
Let β>1. We define a class of similitudes S:={fi(x)=βnix+ai:ni∈N+,ai∈R}. Taking any finite similitudes {fi(x)}i=1m from S, it is well known that there is a unique self-similar set K1 satisfying K1=∪i=1mfi(K1). Similarly, another self-similar set K2 can be generated via the finite contractive maps of S. We call K1+K2={x+y:x∈K1,y∈K2} the arithmetic sum of two self-similar sets. In this paper, we prove that K1+K2 is either a self-similar set or a unique attractor of some infinite iterated function system. Using this result we can then calculate the exact Hausdorff dimension of K1+K2 under some conditions, which partially provides the dimensional result of K1+K2 if the IFS's of K1 and K2 fail the irrational assumption, see Peres and Shmerkin \cite{PS}.
We consider a class of homogeneous self-similar sets with complete overlaps and give a sufficient condition for the Lipschitz equivalence between members in this class.
For any n≥3, let 1<β<2 be the largest positive real number satisfying the equation βn=βn−2+βn−3+⋯+β+1. In this paper we define the shrinking random β-transformation K and investigate natural invariant measures for K, and the induced tranformation of K on a special subset of the domain. We prove that both transformations have a unique measure of maximal entropy. However, the measure induced from the intrinsically ergodic measure for K is not the intrinsically ergodic measure for the induced system.
Let K⊂R be a self-similar set generated by some iterated function system. In this paper we prove, under some assumptions, that K can be identified with a subshift of finite type. With this identification, we can calculate the Hausdorff dimension of K as well as the set of elements in K with unique codings using the machinery of Mauldin and Williams \cite{MW}. We give three different applications of our main result. Firstly, we calculate the Hausdorff dimension of the set of points of K with multiple codings. Secondly, in the setting of β-expansions, when the set of all the unique codings is not a subshift of finite type, we can calculate in some cases the Hausdorff dimension of the univoque set. Motivated by this application, we prove that the set of all the unique codings is a subshift of finite type if and only if it is a sofic shift. This equivalent condition was not mentioned by de Vries and Komornik \cite[Theorem 1.8]{MK}. Thirdly, for the doubling map with asymmetrical holes, we give a sufficient condition such that the survivor set can be identified with a subshift of finite type. The third application partially answers a problem posed by Alcaraz Barrera \cite{Barrera}.
Let K⊆R be the unique attractor of an iterated function system. We consider the case where K is an interval and study those elements of K with a unique coding. We prove under mild conditions that the set of points with a unique coding can be identified with a subshift of finite type. As a consequence of this, we can show that the set of points with a unique coding is a graph-directed self-similar set in the sense of Mauldin and Williams \cite{MW}. The theory of Mauldin and Williams then provides a method by which we can explicitly calculate the Hausdorff dimension of this set. Our algorithm can be applied generically, and our result generalises the work of \cite{DKK}, \cite{K1}, \cite{K2}, and \cite{MK}.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.