Researcher profile

Wenxia Li

Wenxia Li contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
8topics
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

9 published item(s)

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&#39;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

Univoque bases of real numbers: local dimension, Devil&#39;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&#39; 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&#39;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.