Searcharxiv⌕ Search

arXiv subjects

Jun Jie Miao

Publications and source records attributed to Jun Jie Miao.

17 recordsLinked to original sources

Spectrality and eigen sets of infinite convolutions and random measures generated by admissible pairs

In this paper, we construct a class of random measures $μ^{\mathbf{n}}$ by infinite convolutions. Given admissible pairs $\{(N_{k}, B_{k})\}_{k=1}^{m}$ and a sequence $\bn=\{n_{k}\}_{k=1}^{\infty}$ of positive integers, for every $\bw\in Ω$, we write $μ^{\mathbf{n}}(\bw) = δ_{N_{ω_{1}}^{-n_{1}}B_{ω_{1}}} * δ_{N_{ω_{1}}^{-n_{1}}N_{ω_{2}}^{-n_{2}}B_{ω_{2}}} * \cdots$. First, we show that the mapping $μ^{\mathbf{n}}: (\bw, B) \mapsto μ^{\mathbf{n}}(\bw)(B)$ is a random measure. Next, we introduce the notion of a $t$-equi-positive family, and use it to obtain a general sufficient condition under which an infinite convolution is a spectral measure and possesses a specified set of spectral eigenvalues. We then extend the concepts of spectrality and spectral eigenvalues to random measures, and show that, under the assumption that the corresponding standard infinite convolution is non-degenerate for $\mathbb{P}$-a.e.\ $\boldsymbolω\inΩ$, the measures $μ^{\mathbf{n}}$ are spectral random measures for $\mathbb{P}$-a.e.\ $\boldsymbolω$, admitting the spectral eigen set \[ \mathcal{E}_m=\{t\in\mathbb{N}_+:\gcd(t,N_k)=1,\,1\le k\le m\}. \] Moreover, for each such $t$, there exist uncountably many spectra $Λ_{\boldsymbolω}\subset\mathbb{Z}$ with $tΛ_{\boldsymbolω}$ also a spectrum of $μ^{\mathbf{n}}(\boldsymbolω)$. Finally, for the important case where each digit set $B_k$ is a consecutive set $\{0,1,\dots,b_k-1\}$, we completely characterise the positive integer spectral eigenvalues of $μ^{\mathbf{n}}(\boldsymbolω)$, proving that they are exactly the integers coprime to every $b_k$.

math.FA↗

Generalized q-dimensions of measures on Non-autonomous conformal sets

We study the generalized q-dimensions of measures supported on non-autonomous conformal attractors, which are the generalizations of Moran sets and the attractors of iterated function systems. We first prove that the critical values of generalized upper and lower pressure functions are always the upper bounds for the upper and lower generalized q-dimensions of measures supported on non-autonomous conformal sets. Then we obtain dimension formulas for generalized q-dimensions if non-autonomous conformal attractors satisfy certain separation conditions, and moreover, the generalized q-dimension formulae may be simplified for the Bernoulli measures. Finally, we provide the generalized q-dimension formulae for measures supported on autonomous conformal sets.

math.DS↗

Nonautonomous Dynamical Systems III: Symbolic and Expansive Systems

A nonautonomous dynamical system $(\boldsymbol{X},\boldsymbol{T})=\{(X_{k},T_{k})\}_{k=0}^{\infty}$ is a sequence of continuous mappings $T_{k}:X_{k} \to X_{k+1}$ along with a sequence of compact metric spaces $X_{k}$. In this paper, we study the nonautonomous symbolic dynamical systems and nonautonomous expansive dynamical systems. We first study the homogeneous properties of pressures in nonautonomous symbolic systems $(\boldsymbolΣ(\boldsymbol{m}),\boldsymbolσ)$, and we simplify the formulae of Bowen, packing, lower and upper topological pressures for potentials $\boldsymbol{f}=\{f_{k} \in C(Σ_{k}^{\infty}(\boldsymbol{m}),\mathbb{R})\}_{k=0}^{\infty}$ with strongly bounded variation. Then we apply a law of large numbers to obtain the formulae for the lower and upper measure-theoretic pressures with respect to nonautonomous Bernoulli measures and obtain Bowen equilibrium states and packing equilibrium states for potentials in nonautonomous symbolic systems. Finally, we study the generators in nonautonomous expansive systems $(\boldsymbol{X},\boldsymbol{T})$, and we obtain that $(\boldsymbol{X},\boldsymbol{T})$ is expansive if and only if it has a generator. Moreover, strongly uniformly expansive $(\boldsymbol{X},\boldsymbol{T})$ is equisemiconjugate to a subsystem of the nonautonomous symbolic dynamical system.

math.DS↗

Nonautonomous Dynamical Systems II: Variational Principles

Let $\boldsymbol{X}=\{X_k\}_{k=0}^\infty$ be a sequence of compact metric spaces $X_{k}$ and $\boldsymbol{T}=\{T_k\}_{k=0}^\infty$ a sequence of continuous mappings $T_{k}: X_{k} \to X_{k+1}$. The pair $(\boldsymbol{X},\boldsymbol{T})$ is called a nonautonomous dynamical system. In this paper, we study measure-theoretic entropies and pressures, Bowen and packing topological entropies and pressures on $(\boldsymbol{X},\boldsymbol{T})$, and we prove that they are invariant under equiconjugacies of nonautonomous dynamical systems. By establishing Billingsley type theorems for Bowen and packing topological pressures, we obtain their variational principles, that is, given a non-empty compact subset $K \subset X_{0}$ and an equicontinuous sequence $\boldsymbol{f}= \{f_k\}_{k=0}^\infty$ of functions $f_k : X_k\to \mathbb{R}$, we have that $$ P^{\mathrm{B}}(\boldsymbol{T},\boldsymbol{f},K)=\sup\{\underline{P}_μ(\boldsymbol{T},\boldsymbol{f}): μ\in M(X_{0}), μ(K)=1\}, $$ and for $\|\boldsymbol{f}\|<+\infty$ and $P^{\mathrm{P}}(\boldsymbol{T},\boldsymbol{f},K)>\|\boldsymbol{f}\|$, $$ P^{\mathrm{P}}(\boldsymbol{T},\boldsymbol{f},K)=\sup\{\overline{P}_μ(\boldsymbol{T},\boldsymbol{f}): μ\in M(X_{0}), μ(K)=1\}, $$ where $\underline{P}_μ $ and $\overline{P}_μ $, $P^{\mathrm{B}}$ and $P^{\mathrm{P}}$ denote measure-theoretic lower and upper pressures, Bowen and packing topological pressure, respectively. The Billingsley type theorems and variational principles for Bowen and packing topological entropies are direct consequences of the ones for Bowen and packing topological pressures.

math.DS↗

Nonautonomous Dynamical Systems I: Topological Pressures and Entropies

Let $\boldsymbol{X}=\{X_{k}\}_{k=0}^{\infty}$ be a sequence of compact metric spaces $X_{k}$ and $\boldsymbol{T}=\{T_{k}\}_{k=0}^{\infty}$ a sequence of continuous mappings $T_{k}:X_{k} \to X_{k+1}$. The pair $(\boldsymbol{X},\boldsymbol{T})$ is called a nonautonomous dynamical system. Our main object is to study the variational principles of topological pressures and entropies on nonautonomous dynamical systems. In this paper, we introduce a variety of topological pressures ($\underline{Q}$,$\overline{Q}$,$\underline{P}$,$\overline{P}$,$P^{\mathrm{B}}$ and $P^{\mathrm{P}}$) for potentials $\boldsymbol{f}=\{f_{k} \in C(X_{k},\mathbb{R})\}_{k=0}^{\infty}$ on subsets $Z \subset X_{0}$ analogous to fractal dimensions, and we provide various key properties which are crucial for the study of the variational principles on nonautonomous dynamical systems. Especially, we obtain the power rules and product rules of these pressures, and we also show they are invariants under equiconjugacies of nonautonomous dynamical systems and equicontinuity on $\boldsymbol{f}$. From a fractal dimension point of view, these pressures are kinds of 'dimensions' describing the nonautonomous dynamical systems, and we obtain various properties of pressures analogous to fractal dimensions.

math.DS↗

Generalized $q$-dimensions of measures on nonautonomous fractals

In the paper, we study the generalized $q$-dimensions of measures supported by nonautonomous attractors, which are the generalization of classic Moran sets and attractors of iterated function systems. First, we estimate the generalized $q$-dimensions of measures supported on nonautonomous attractors, and we provide dimension formulas for generalized $q$-dimensions of measures supported on nonautonomous similar attractor under certain separation conditions. Next, we investigate the generalized $q$-dimensions of measures supported on nonautonomous affine sets and obtain the upper bounds. Finally, we study two variations of nonautonomous affine sets and obtain their dimension formulas for $q\geq 1 $.

math.DS↗

Spectrality of Infinite Convolutions and Random Convolutions

In this paper, we explore spectral measures whose square integrable spaces admit a family of exponential functions as an orthonormal basis.Our approach involves utilizing the integral periodic zeros set of Fourier transform to characterize spectrality of infinite convolutions generated by a sequence of admissible pairs.Then we delve into the analysis of the integral periodic zeros set. Finally, we show that given finitely many admissible pairs, almost all random convolutions are spectral measures. Moreover, we give a complete characterization of spectrality of random convolutions in some special cases.

math.CA↗

Orthogonal bases of exponential functions for infinite convolutions

Let $μ$ denot the infinite convolution generated by $\{(N_k,B_k)\}_{k=1}^\infty$ given by $$ μ=δ_{{N_1}^{-1}B_1}\astδ_{(N_1N_2)^{-1}B_2}\ast\dots\astδ_{(N_1N_2\cdots N_k)^{-1}B_k} *\cdots. $$ where $B_k$ is a complete residue system for each integer $k>0$. We write $$ ν_{>k}=δ_{N_{k+1}^{-1} B_{k+1}} * δ_{(N_{k+1} N_{k+2})^{-1} B_{k+2}} * \cdots. $$ Since the elements in $B_k$ may have very large absolute values, the infinite convolution may not be compactly supported. In this paper, we study the necessary and sufficient conditions for such infinite convolutions being a spectral measure. Generally, for such infinite convolutions, the necessary conditions for spectrality mainly depend on the properties of the polynomials generated by the complete residue systems. The main result shows that if every $B_k$ satisfies uniform discrete zero condition, and $\{ν_{>k}\}_{k=1}^\infty$ is {\it tight}, then $\# B_k | N_k$ for all integers $k\geq 2$. For some special complete residue systems $\{B_k\}_{k=1}^\infty$, we provide the necessary and sufficient conditions for $μ$ being a spectral measure.

math.FA↗

Dimension theory of Non-Autonomous iterated function systems

In the paper, we define a class of new fractals named ``non-autonomous attractors", which are the generalization of classic Moran sets and attractors of iterated function systems. Simply to say, we replace the similarity mappings by contractive mappings and remove the separation assumption in Moran structure. We give the dimension estimate for non-autonomous attractors. Furthermore, we study a class of non-autonomous attractors, named `` non-autonomous affine sets or affine sets'', where the contractions are restricted to affine mappings. To study the dimension theory of such fractals, we define two critical values $s^*$ and $s_A$, and the upper box-counting dimensions and Hausdorff dimensions of non-autonomous affine sets are bounded above by $s^*$ and $s_A$, respectively. Unlike self-affine fractals where $s^*=s_A$, we always have that $s^*\geq s_A$, and the inequality may strictly hold. Under certain conditions, we obtain that the upper box-counting dimensions and Hausdorff dimensions of non-autonomous affine sets may equal to $s^*$ and $s_A$, respectively. In particular, we study non-autonomous affine sets with random translations, and the Hausdorff dimensions of such sets equal to $s_A$ almost surely.

math.CA↗

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

math.CA↗

Dimensions of a class of self-affine Moran sets and measures in $\R^2$

For each integer $k>0$, let $n_k$ and $m_k$ be integers such that $n_k\geq 2, m_k\geq 2$, and let $\mathcal{D}_k$ be a subset of $\{0,\dots,n_k-1\}\times \{0,\dots,m_k-1\}$. For each $w=(i,j)\in \mathcal{D}_k$, we define an affine transformation on~$\R^2$ by $$ Φ_w(x)=T_k(x+w), \qquad w\in\mathcal{D}_k, $$ where $T_k=\operatorname{diag}(n_k^{-1},m_k^{-1})$. The non-empty compact set $$ E=\bigcap\nolimits_{k=1}^{\infty}\bigcup\nolimits_{(w_1w_2\ldots w_k)\in \prod_{i=1}^k\mathcal{D}_i} Φ_{w_1}\circ Φ_{w_2}\circ \ldots\circ Φ_{w_k} $$ is called a \textit{self-affine Moran set}. In the paper, we provide the lower, packing, box-counting and Assouad dimensions of the self-affine Moran set $E$. We also explore the dimension properties of self-affine Moran measure $μ$ supported on $E$, and we provide Hausdorff, packing and entropy dimension formulas of $μ$.

math.CA↗

Multifractal analysis of a class of self-affine Moran sets

In the paper, we investigate the fine multifractal spectrum of a class of self-affine Moran sets with fixed frequencies, and we prove that under certain separation conditions, the fine multifractal spectrum $H(α)$ is given by the formula $$ H(α)=\inf_{-\infty<t<+\infty} \{αt+β(t)\}. $$

math.CA↗

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.

math.CA↗

Gap sequences and Topological properties of Bedford-McMullen sets

In this paper, we study the topological properties and the gap sequences of Bedford-McMullen sets. First, we introduce a topological condition, the component separation condition (CSC), and a geometric condition, the exponential rate condition (ERC). Then we prove that the CSC implies the ERC, and that both of them are sufficient conditions for obtaining the asymptotic estimate of gap sequences. We also explore topological properties of Bedford-McMullen sets and prove that all normal Bedford-McMullen sets with infinitely many connected components satisfy the CSC, from which we obtain the asymptotic estimate of the gap sequences of Bedford-McMullen sets without any restrictions. Finally, we apply our result to Lipschitz equivalence.

math-ph↗

On the Separation Structure of Lalley-Gatzouras Fractals

We obtain a necessary and sufficient condition for Lalley-Gatzouras sets to be uniform disconnected. This enable us to find all Lalley-Gatzouras sets which are quasisymmetrically equivalent to the Cantor ternary set. As another application, we also study the limit behavior of the gap sequence of Lalley-Gatzouras sets.

math.MG↗

The Assouad dimension of randomly generated fractals

We consider several different models for generating random fractals including random self-similar sets, random self-affine carpets, and fractal percolation. In each setting we compute either the \emph{almost sure} or the \emph{Baire typical} Assouad dimension and consider some illustrative examples. Our results reveal a common phenomenon in all of our models: the Assouad dimension of a randomly generated fractal is generically as big as possible and does not depend on the measure theoretic or topological structure of the sample space. This is in stark contrast to the other commonly studied notions of dimension like the Hausdorff or packing dimension.

math.MG↗

Local dimensions of measures on self-affine sets

We show that, in a generic setting, self-affine and almost self-affine measures are exact dimensional, with local dimension equal almost everywhere to the information dimension and given by the zero of a superadditive pressure functional.

math.MG↗