BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Kan Jiang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
Published work
Let $K\subset\mathbb{R}$ be a self-similar set defined on $\mathbb{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\in 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\in\mathbb N_{\ge 2}$, and let $\mathcal K=\{K_λ: λ\in(0, 1/m]\}$ be a class of Cantor sets, where $K_λ=\{\sum_{i=1}^\infty d_iλ^i: d_i\in\{0,1,\ldots, m-1\}, i\ge 1\}$. We investigate in this paper the likelyhood of a fixed point in the Cantor sets of $\mathcal K$. More precisely, for a fixed point $x\in(0,1)$ we consider the parameter set $Λ(x)=\{λ\in(0,1/m]: x\in 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)\capΛ(y)$ also has full Hausdorff dimension for any $x, y\in(0,1)$.
Let $C_1$ and $C_2$ be two Cantor sets with convex hull $[0,1]$. Newhouse proved if $τ(C_1)\cdot τ(C_2)\geq 1$, then the arithmetic sum $C_1+C_2$ is an interval, where $τ(C_i), 1\leq i\leq 2$ denotes the thickness of $C_i$. In this paper, we generalize this thickness theorem as follows. Let $K_i\subset \mathbb{R}, i=1,\cdots, d$, be some Cantor sets (perfect and nowhere dense) with convex hull $[0,1]$. Suppose $f(x_1,\cdots, x_{d-1},z)\in \mathcal{C}^1$ is a continuous function defined on $\mathbb{R}^d$. Denote the continuous image of $f$ by $$f(K_1,\cdots, K_d)=\{f(x_1, \cdots x_{d-1},z):x_i\in K_i,z\in K_d, 1\leq i\leq d-1\}.$$ If for any $(x_1, \cdots, x_{d-1},z)\in [0,1]^d$, we have $$(τ(K_i))^{-1}\leq \left|\dfrac{\partial_{x_i} f}{\partial_z f}\right|\leq τ(K_d),1\leq i\leq d-1$$ then $f(K_1,\cdots, K_d)$ 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 $(\mathcal{M}, c_k, n_k,κ)$ be a class of homogeneous Moran sets. Suppose $f(x,y)\in C^3$ is a function defined on $\mathbb{R}^2$. Given $E_1, E_2\in(\mathcal{M}, c_k, n_k,κ) $, in this paper, we prove, under some checkable conditions on the partial derivatives of $f(x,y)$, that $$f(E_1,E_2)=\{f(x,y):x\in E_1,y\in E_2\}$$ 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\in [0,4]$, there exist $x_1, x_2, x_3, x_4 \in C$ such that $$x= x_1^2+x_2^2+x_3^2+x_4^2,$$ which answers a question posed by Athreya, Reznick,and Tyson.
Let $(\mathcal{M}, c_k,n_k)$ be a class of Moran sets. We assume that the convex hull of any $E\in (\mathcal{M}, c_k,n_k)$ is $[0,1]$. Let $A,B$ be two non-empty sets in $\mathbb{R}$. Suppose that $f$ is a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. 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 $E_1,E_2\in(\mathcal{M}, c_k, n_k)$. If there exists some $(x_0,y_0)\in (E_1\times E_2)\cap U$ such that $$\sup_{k\geq 1}\left\{1-c_kn_k\right\}<\left\vert \frac{\partial _{y}f|_{(x_{0},y_{0})}}{\partial _{x}f|_{(x_{0},y_{0})}}\right\vert <\inf_{k\geq 1}\left\{\dfrac{c_k}{1-n_kc_k}\right\},$$ then $f_U(E_1, E_2)$ contains an interior.
Let $β>1$. We define a class of similitudes \[S:=\left\{f_{i}(x)=\dfrac{x}{β^{n_i}}+a_i:n_i\in \mathbb{N}^{+}, a_i\in \mathbb{R}\right\}.\] Taking any finite similitudes $\{f_{i}(x)\}_{i=1}^{m} $ from $S$, it is well known that there is a unique self-similar set $K_1$ satisfying $K_1=\cup_{i=1}^{m} f_{i}(K_1)$. Similarly, another self-similar set $K_2$ can be generated via the finite contractive maps of $S$. We call $K_1+K_2=\{x+y:x\in K_1, y\in K_2\}$ the arithmetic sum of two self-similar sets. In this paper, we prove that $K_1+K_2$ 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 $K_1+K_2$ under some conditions, which partially provides the dimensional result of $K_1+K_2$ if the IFS's of $K_1$ and $K_2$ 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\geq 3$, let $1<β<2$ be the largest positive real number satisfying the equation $$β^n=β^{n-2}+β^{n-3}+\cdots+β+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\subset \mathbb{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\subseteq\mathbb{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}.