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.

preprint2024arXiv

Spectrality of random convolutions generated by finitely many Hadamard triples

Let $\{(N_j, B_j, L_j): 1 \le j \le m\}$ be finitely many Hadamard triples in $\mathbb{R}$ . Given a sequence of positive integers $\{n_k\}_{k=1}^\infty$ and $ω=(ω_k)_{k=1}^\infty \in \{1,2,\cdots, m\}^\mathbb{N}$ , let $μ_{ω,\{n_k\}}$ be the infinite convolution given by $μ_{ω,\{n_k\}} = δ_{N_{ω_1}^{-n_1} B_{ω_1}} * δ_{N_{ω_1}^{-n_1} N_{ω_2}^{-n_2} B_{ω_2}} * \cdots * δ_{N_{ω_1}^{-n_1} N_{ω_2}^{-n_2} \cdots N_{ω_k}^{-n_k} B_{ω_k} }* \cdots.$ In order to study the spectrality of $μ_{ω,\{ n_k\}}$ , we first show the spectrality of general infinite convolutions generated by Hadamard triples under the equi-positivity condition. Then by using the integral periodic zero set of Fourier transform we show that if $\mathrm{gcd}(B_j - B_j)=1$ for $1 \le j \le m$ , then all infinite convolutions $μ_{ω,\{n_k\}}$ are spectral measures. This implies that we may find a subset $Λ_{ω,\{n_k\}}\subseteq \mathbb{R}$ such that $\big\{ e_λ(x) = e^{2πi λx}: λ\in Λ_{ω,\{n_k\}} \big\}$ forms an orthonormal basis for $L^2(μ_{ω,\{ n_k\}})$ .

preprint2022arXiv

Bases which admit exactly two expansions

For a positive integer $m$ let $Ω_m=\{0,1, \cdots , m\}$ and \begin{align*} \mathcal B_2(m)=&\left \{q\in(1,m+1]: \text{ $\exists\; x\in [0, m/(q-1)]$ has exactly }\right. \\ &\left. \text{two different $q$ -expansions w.r.t. $Ω_m$ }\right \}. \end{align*} Sidorov \cite{S} firstly studied the set $\mathcal B_2(1)$ and raised some questions. Komornik and Kong \cite{KK} further studied the set $\mathcal B_2(1)$ and answered partial Sidorov's questions. In the present paper, we consider the set $\mathcal B_2(m)$ for general positive integer $m$ and generalise the results obtained by Komornik and Kong.

preprint2022arXiv

Random β-transformation on fat Sierpinski gasket

We consider the iterated function system (IFS) $f_{\vec{q}}(\vec{z})=\frac{\vec{z}+\vec{q}}β,\vec{q}\in\{(0,0),(1,0),(0,1)\}.$ As is well known, for $β= 2$ the attractor, $S_β$ , is a fractal called the Sierpiński gasket(or sieve) and for $β>2$ it is also a fractal. Our goal is to study greedy, lazy and random $β$ -transformations on the attractor for this IFS with $1<β<2$ . For $1<β\leq 3/2$ , $S_β$ is a triangle and it is shown that the greedy transformation $T_β$ and the lazy transformation $L_β$ are isomorphic and they both admit an absolutely continuous invariant measure. We show that all $β$ -expansions of a point $\vec{z}$ in $S_β$ can be generated by a random map $K_β$ defined on $\{0,1\}^\mathbb{N}\times\{0,1,2\}^\mathbb{N}\times S_β$ and $K_β$ has a unique invariant measure of maximal entropy when $1<β\leqβ_*$ , where $β_*\approx 1.4656$ is the root of $x^3-x^2-1=0$ . We also show existence of a $K_β$ -invariant probability measure, absolutely continuous with respect to $m_1\otimes m_2 \otimes λ_2$ , where $m_1, m_2$ are product measures on $\{0,1\}^\mathbb{N},\{0,1,2\}^\mathbb{N}$ , respectively, and $λ_2$ is the normalized Lebesgue measure on $S_β$ . For $3/2<β\leq β^*$ , where $β^*\approx 1.5437$ is the root of $x^3-2x^2+2x=2$ , there are radial holes in $S_β$ . In this case, $K_β$ is defined on $\{0,1\}^\mathbb{N}\times S_β$ . We also show that it has a unique invariant measure of maximal entropy.

preprint2022arXiv

Weak Convergence and Spectrality of Infinite Convolutions

Let $\{ A_k\}_{k=1}^\infty$ be a sequence of finite subsets of $\mathbb{R}^d$ satisfying that $\# A_k \ge 2$ for all integers $k \ge 1$ . In this paper, we first give a sufficient and necessary condition for the existence of the infinite convolution $ν=δ_{A_1}*δ_{A_2} * \cdots *δ_{A_n}*\cdots,$ where all sets $A_k \subseteq \mathbb{R}_+^d$ and $δ_A = \frac{1}{\# A} \sum_{a \in A} δ_a$ . Then we study the spectrality of a class of infinite convolutions generated by Hadamard triples in $\mathbb{R}$ and construct a class of singular spectral measures without compact support. Finally we show that such measures are abundant, and the dimension of their supports has the intermediate-value property.

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

Intersections of Siepinski gasket with its translation

Let $E$ be the Sierpinski gasket, i.e., the self-similar set generated by the IFS $\left \{f_a(x)=\frac{x+a}{q}: a\in \{(0,0), (0,1), (1,0)\}\right \}$ . In paper, we provide a description of the following set for $2<q<3$ \begin{equation*} D_q=\{\dim _H(E\cap (E+t)):\;t\in T\}, \end{equation*} where $T$ is the set of $t=(t_1, t_2)$ with $t\in E-E$ and $t_1, t_2$ have unique $q$ -expansions w.r.t $\{-1,0,1\}$ .

preprint2020arXiv

On the sum of squares of middle-third Cantor set

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.

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.

preprint2016arXiv

Lipschitz equivalence of a class of self-similar sets

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.

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

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

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

Wenxia Li

Research overview

Is this your work?

14 publications

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

Spectrality of random convolutions generated by finitely many Hadamard triples

Bases which admit exactly two expansions

Random β-transformation on fat Sierpinski gasket

Weak Convergence and Spectrality of Infinite Convolutions

How likely can a point be in different Cantor sets

Intersections of Siepinski gasket with its translation

On the sum of squares of middle-third Cantor set

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

Lipschitz equivalence of a class of self-similar sets

Hausdorff dimension of univoque sets and Devil's staircase

Smallest bases of expansions with multiple digits

Hausdorff dimension of unique beta expansions

Intersections of homogeneous Cantor sets and beta-expansions

See the researcher in context

Building this map preview