BZPEER

preprint2026arXiv

Phase transitions for unique codings of fat Sierpinski gaskets with multiple digits

Given an integer $M\ge 1$ and $β\in(1, M+1)$ , let $S_{β, M}$ be the fat Sierpinski gasket in $\mathbb R^2$ generated by the iterated function system $\left\{f_d(x)=\frac{x+d}β: d\inΩ_M\right\}$ , where $Ω_M=\{(i,j)\in\mathbb Z_{\ge 0}^2: i+j\le M\}$ . Then each $x\in S_{β, M}$ may be represented as a series $x=\sum_{i=1}^\infty\frac{d_i}{β^i}=:Π_β((d_i))$ , and the infinite sequence $(d_i)\inΩ_M^{\mathbb N}$ is called a \emph{coding} of $x$ . Since $β<M+1$ , a point in $S_{β, M}$ may have multiple codings. Let $U_{β, M}$ be the set of $x\in S_{β, M}$ having a unique coding, that is $U_{β, M}=\left\{x\in S_{β, M}: \#Π_β^{-1}(x)=1\right\}.$ When $M=1$ , Kong and Li [2020, Nonlinearity] described two critical bases for the phase transitions of the intrinsic univoque set $\widetilde U_{β, 1}$ , which is a subset of $U_{β, 1}$ . In this paper we consider $M\ge 2$ , and characterize the two critical bases $β_G(M)$ and $β_c(M)$ for the phase transitions of $U_{β, M}$ : (i) if $β\in(1, β_G(M)]$ , then $U_{β, M}$ is finite; (ii) if $β\in(β_G(M), β_c(M))$ then $U_{β, M}$ is countably infinite; (iii) if $β=β_c(M)$ then $U_{β, M}$ is uncountable and has zero Hausdorff dimension; (iv) if $β>β_c(M)$ then $U_{β, M}$ has positive Hausdorff dimension. Our results can also be applied to the intrinsic univoque set $\widetilde{U}_{β, M}$ . Moreover, we show that the first critical base $β_G(M)$ is a Perron number, while the second critical base $β_c(M)$ is a transcendental number.

preprint2022arXiv

Univoque bases of real numbers: simply normal bases, irregular bases and multiple rationals

Given a positive integer $M$ and a real number $x\in(0,1]$ , we call $q\in(1,M+1]$ a univoque simply normal base of $x$ if there exists a unique simply normal sequence $(d_i)\in\{0,1,\ldots,M\}^\mathbb N$ such that $x=\sum_{i=1}^\infty d_i q^{-i}$ . Similarly, a base $q\in(1,M+1]$ is called a univoque irregular base of $x$ if there exists a unique sequence $(d_i)\in\{0,1,\ldots, M\}^\mathbb N$ such that $x=\sum_{i=1}^\infty d_i q^{-i}$ and the sequence $(d_i)$ has no digit frequency. Let $\mathcal U_{SN}(x)$ and $\mathcal U_{I_r}(x)$ be the sets of univoque simply normal bases and univoque irregular bases of $x$ , respectively. In this paper we show that for any $x\in(0,1]$ both $\mathcal U_{SN}(x)$ and $\mathcal U_{I_r}(x)$ have full Hausdorff dimension. Furthermore, given finitely many rationals $x_1, x_2, \ldots, x_n\in(0,1]$ so that each $x_i$ has a finite expansion in base $M+1$ , we show that there exists a full Hausdorff dimensional set of $q\in(1,M+1]$ such that each $x_i$ has a unique expansion in base $q$ .

preprint2021arXiv

How likely can a point be in different Cantor sets

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)$ .

preprint2020arXiv

On a kind of self-similar sets with complete overlaps

Let $E$ be the self-similar set generated by the {\it iterated function system} { $f_0(x)=\frac{x}β,\quad f_1(x)=\frac{x+1}β, \quad f_{β+1}=\frac{x+β+1}β$ }with $β\ge 3$ . {Then} $E$ is a self-similar set with complete {overlaps}, i.e., $f_{0}\circ f_{β+1}=f_{1}\circ f_1$ , but $E$ is not totally self-similar. We investigate all its generating iterated function systems, give the spectrum of $E$ , and determine the Hausdorff dimension and Hausdorff measure of $E$ and of the sets which contain all points in $E$ having finite or infinite different triadic codings.

preprint2020arXiv

Univoque bases of real numbers: local dimension, Devil's staircase and isolated points

Given a positive integer $M$ and a real number $x>0$ , let $\mathcal U(x)$ be the set of all bases $q\in(1, M+1]$ for which there exists a unique sequence $(d_i)=d_1d_2\ldots$ with each digit $d_i\in\{0,1,\ldots, M\}$ satisfying $x=\sum_{i=1}^\infty\frac{d_i}{q^i}.$ The sequence $(d_i)$ is called a $q$ -expansion of $x$ . In this paper we investigate the local dimension of $\mathcal U(x)$ and prove a `variation principle' for unique non-integer base expansions. We also determine the critical values of $\mathcal U(x)$ such that when $x$ passes the first critical value the set $\mathcal U(x)$ changes from a set with positive Hausdorff dimension to a countable set, and when $x$ passes the second critical value the set $\mathcal U(x)$ changes from an infinite set to a singleton. Denote by $\mathbf U(x)$ the set of all unique $q$ -expansions of $x$ for $q\in\mathcal U(x)$ . We give the Hausdorff dimension of $\mathbf U(x)$ and show that the dimensional function $x\mapsto\dim_H\mathbf U(x)$ is a non-increasing Devil's staircase. Finally, we investigate the topological structure of $\mathcal U(x)$ . In contrast with $x=1$ that $\mathcal U(1)$ has no isolated points, we prove that for typical $x>0$ the set $\mathcal U(x)$ contains isolated points.

preprint2015arXiv

Hausdorff dimension of univoque sets and Devil's staircase

We fix a positive integer $M$ , and we consider expansions in arbitrary real bases $q>1$ over the alphabet $\{0,1,...,M\}$ . We denote by $U_q$ the set of real numbers having a unique expansion. Completing many former investigations, we give a formula for the Hausdorff dimension $D(q)$ of $U_q$ for each $q\in (1,\infty)$ . Furthermore, we prove that the dimension function $D:(1,\infty)\to[0,1]$ is continuous, and has a bounded variation. Moreover, it has a Devil's staircase behavior in $(q',\infty)$ , where $q'$ denotes the Komornik--Loreti constant: although $D(q)>D(q')$ for all $q>q'$ , we have $D'<0$ a.e. in $(q',\infty)$ . During the proofs we improve and generalize a theorem of Erdős et al. on the existence of large blocks of zeros in $β$ -expansions, and we determine for all $M$ the Lebesgue measure and the Hausdorff dimension of the set of bases in which $x=1$ has a unique expansion.

preprint2015arXiv

Smallest bases of expansions with multiple digits

Given two positive integers $M$ and $k$ , let $\B_k$ be the set of bases $q>1$ such that there exists a real number $x$ having exactly $k$ different $q$ -expansions over the alphabet $\{0,1,\cdots,M\}$ . In this paper we investigate the smallest base $q_2$ of $\B_2$, and show that if $M=2m$ the smallest base $q_2 =\frac{m+1+\sqrt{m^2+2m+5}}{2},$ and if $M=2m-1$ the smallest base $q_2$ is the appropriate root of $x^4=(m-1)\,x^3+2 m\, x^2+m \,x+1.$ Moreover, for $M=2$ we show that $q_2$ is also the smallest base of $\B_k$ for all $k\ge 3$ . This turns out to be different from that for $M=1$ .

preprint2015arXiv

Typical points of univoque sets

Given a positive integer $M$ and a real number $q>1$ , we consider the univoque set $\mathcal{U}_q$ of reals which have a unique $q$ -expansion over the alphabet $\set{0,1,\cdots,M}$ . In this paper we show that for any $x\in\mathcal{U}_q$ and all sufficiently small $\varepsilon>0$ the Hausdorff dimension $\dim_H\mathcal{U}_q\cap(x-\varepsilon, x+\varepsilon)$ equals either $\dim_H\mathcal{U}_q$ {or} zero. Moreover, we give a complete description of the typical points $x\in\mathcal{U}_q$ which satisfy $\dim_H\mathcal{U}_q\cap(x-\varepsilon, x+\varepsilon)=\dim_H\mathcal{U}_q\quad\textrm{for any}\quad \varepsilon>0,$ and prove that the set of typical points of $\mathcal{U}_q$ has full Hausdorff dimension. In particular, we show that if $\mathcal{U}_q$ is a Cantor set, then all points of $\mathcal{U}_q$ are typical points. This strengthen a result of de Vries and Komornik (Adv. Math., 2009).

preprint2014arXiv

Hausdorff dimension of unique beta expansions

Given an integer $N\ge 2$ and a real number $β>1$ , let $Γ_{β,N}$ be the set of all $x=\sum_{i=1}^\infty {d_i}/{β^i}$ with $d_i\in\{0,1,\cdots,N-1\}$ for all $i\ge 1$ . The infinite sequence $(d_i)$ is called a $β$ -expansion of $x$ . Let $\mathbf{U}_{β,N}$ be the set of all $x$ 's in $Γ_{β,N}$ which have unique $β$ -expansions. We give explicit formula of the Hausdorff dimension of $\mathbf{U}_{β,N}$ for $β$ in any admissible interval $[{β}_L,{β}_U]$ , where ${β_L}$ is a purely Parry number while ${β_U}$ is a transcendental number whose quasi-greedy expansion of $1$ is related to the classical Thue-Morse sequence. This allows us to calculate the Hausdorff dimension of $\U{N}$ for almost every $β>1$ . In particular, this improves the main results of G{á}bor Kall{ó}s (1999, 2001). Moreover, we find that the dimension function $f(β)=\dim_H\mathbf{U}_{β,N}$ fluctuates frequently for $β\in(1,N)$ .

preprint2013arXiv

On the self similarity of generalized Cantor sets

We consider the self-similar structure of the class of generalized Cantor sets $Γ_{\mathcal{D}}=\Big\{\sum_{n=1}^\infty d_nβ^{n}: d_n\in D_n, n\ge 1\Big\},$ where $0<β<1$ and $D_n, n\ge 1,$ are nonempty and finite subsets of $\mathbb{Z}$ . We give a necessary and sufficient condition for $Γ_{\mathcal{D}}$ to be a homogeneously generated self similar set. An application to the self-similarity of intersections of generalized Cantor sets will be given.

preprint2012arXiv

Plumes in kinetic transport: how the simple random walk can be too simple

We consider a discrete time particle model for kinetic transport on the two dimensional integer lattice. The particle can move due to advection in the $x$ -direction and due to dispersion. This happens when the particle is free, but it can also be adsorbed and then does not move. When the dispersion of the particle is modeled by simple random walk, strange phenomena occur. In the second half of the paper, we resolve these problems and give expressions for the shape of the plume consisting of many particles.

preprint2011arXiv

A simple stochastic reactive transport model

We introduce a discrete time microscopic single particle model for kinetic transport. The kinetics is modeled by a two-state Markov chain, the transport by deterministic advection plus a random space step. The position of the particle after $n$ time steps is given by a random sum of space steps, where the size of the sum is given by a Markov binomial distribution (MBD). We prove that by letting the length of the time steps and the intensity of the switching between states tend to zero linearly, we obtain a random variable $S(t)$ , which is closely connected to a well known (deterministic) PDE reactive transport model from the civil engineering literature. Our model explains (via bimodality of the MBD) the double peaking behavior of the concentration of the free part of solutes in the PDE model. Moreover, we show for instantaneous injection of the solute that the partial densities of the free and adsorbed part of the solute at time $t$ do exist, and satisfy the partial differential equations.

preprint2011arXiv

Intersections of homogeneous Cantor sets and beta-expansions

Let $Γ_{β,N}$ be the $N$ -part homogeneous Cantor set with $β\in(1/(2N-1),1/N)$ . Any string $(j_\ell)_{\ell=1}^\N$ with $j_\ell\in\{0,\pm 1,...,\pm(N-1)\}$ such that $t=\sum_{\ell=1}^\N j_\ellβ^{\ell-1}(1-β)/(N-1)$ is called a code of $t$ . Let $\mathcal{U}_{β,\pm N}$ be the set of $t\in[-1,1]$ having a unique code, and let $\mathcal{S}_{β,\pm N}$ be the set of $t\in\mathcal{U}_{β,\pm N}$ which make the intersection $Γ_{β,N}\cap(Γ_{β,N}+t)$ a self-similar set. We characterize the set $\mathcal{U}_{β,\pm N}$ in a geometrical and algebraical way, and give a sufficient and necessary condition for $t\in\mathcal{S}_{β,\pm N}$ . Using techniques from beta-expansions, we show that there is a critical point $β_c\in(1/(2N-1),1/N)$ , which is a transcendental number, such that $\mathcal{U}_{β,\pm N}$ has positive Hausdorff dimension if $β\in(1/(2N-1),β_c)$ , and contains countably infinite many elements if $β\in(β_c,1/N)$ . Moreover, there exists a second critical point $α_c=\big[N+1-\sqrt{(N-1)(N+3)}\,\big]/2\in(1/(2N-1),β_c)$ such that $\mathcal{S}_{β,\pm N}$ has positive Hausdorff dimension if $β\in(1/(2N-1),α_c)$ , and contains countably infinite many elements if $β\in[α_c,1/N)$ .

Derong Kong

Research overview

Is this your work?

13 publications

Phase transitions for unique codings of fat Sierpinski gaskets with multiple digits

Univoque bases of real numbers: simply normal bases, irregular bases and multiple rationals

How likely can a point be in different Cantor sets

On a kind of self-similar sets with complete overlaps

Univoque bases of real numbers: local dimension, Devil's staircase and isolated points

Hausdorff dimension of univoque sets and Devil's staircase

Smallest bases of expansions with multiple digits

Typical points of univoque sets

Hausdorff dimension of unique beta expansions

On the self similarity of generalized Cantor sets

Plumes in kinetic transport: how the simple random walk can be too simple

A simple stochastic reactive transport model

Intersections of homogeneous Cantor sets and beta-expansions

See the researcher in context

Building this map preview