arXiv subjects

Jing-Cheng Liu

Publications and source records attributed to Jing-Cheng Liu.

11 recordsLinked to original sources

arXiv2026

Spectrality of alternating-sign Moran measures

For $m\geq 2$, let $D_m=\{0,1,\ldots,m-1\}$. For each $k\geq 1$, consider the family of contractions \[ Φ_k=\{ϕ_{k,d}:d\in D_{n_k}\}, \qquad ϕ_{k,d}(x)=(-1)^d b_k^{-1}(x+d), \] where $b_k$ and $n_k$ are integers satisfying $b_k\geq n_k\geq 2$. We construct the canonical pullback attractor generated by $\{Φ_k\}_{k\geq 1}$ and the associated equal-weight Moran measure $μ$. Suppose that $\{b_k\}_{k\geq 1}$ is bounded and that $n_k$ is even for every $k$. We prove that $μ$ is spectral if $2\mid b_2,\ n_2\mid 2b_2$, and \(n_k\mid b_k$ for all $k\geq 3$. If, in addition, $4\mid n_k$ for every $k$, then the converse also holds, yielding a complete characterization of spectrality. The proof reduces the associated matrix-valued Fourier recursion to the Fourier transform of an infinite convolution of discrete probability measures. The main new ingredient in the necessity argument is a decomposition method for rational-scale infinite convolutions, in which a spectrum is successively partitioned into congruence classes.

math.FA↗

arXiv2026

Spectrality of product-form self-similar measures and tiles

This paper studies the Fourier properties of self-similar measures and tiles generated by digit sets of product-form. Let $0 <ρ<1$ be a real number and let $D$ be the direct sum of two consecutive integer sets: $$D=\{0,1,\cdots,N-1\}\oplus m\{0,1,\cdots, L-1\},$$ where $N, m, L \in \mathbb{N}^{*}$ with %$N, L \geq 2$ $N, L \geq 2$. The pair $(ρ,D)$ determines the self-similar iterated function system (IFS) $ \{ϕ_d(\cdot)=ρ(\cdot+d)\}_{d \in D}$. Let $μ_{ρ,D}$ and $T$ be the associated self-similar measure and self-similar set, respectively. We first prove that $L^2(μ_{ρ,D})$ admits an exponential orthonormal basis if and only if $ρ^{-1}=p\in\mathbb{N}$ satisfies $N\mid p$, $L\mid p$ and $N\mid \frac{m}{\gcd(m,p^d)}$, where $$d=\max\left\{i:\gcd\left(\frac{mL}{\gcd(mL,p^i)},L\right)\neq 1,i\in\mathbb{N}\right\}.$$ This result extends a series of previous studies, including the cases where $N,L$ are primes [An-Wang, J. Funct. Anal., 2021] and $N=L$ [Liu-Peng-Wu, J. Math. Anal. Appl., 2019]. Furthermore, in the context of the Fuglede conjecture, we show that when $ρ^{-1} =\#D= NL$, the space $L^2(χ_T dx)$ admits an exponential orthonormal basis if and only if $T$ is a translation tile of $\mathbb{R}$.

math.FA↗

arXiv2025

Spectrality of a class of moran measures on $\mathbb{R}^2$

We investigate spectral properties of planar Moran measures $μ_{\{M_n\},\{D_n\}}$ generated by sequences of expanding matrices $\{M_n\}\subset GL(2,\mathbb{Z})$ and digit sets $\{D_n\}\subset\mathbb{Z}^2$, where each digit set has the form $$ D_n = \left\{ \begin{pmatrix} 0 \\ 0 \end{pmatrix}, \begin{pmatrix} α_{n_1} \\ α_{n_2} \end{pmatrix}, \begin{pmatrix} β_{n_1} \\ β_{n_2} \end{pmatrix}, \begin{pmatrix} -α_{n_1}-β_{n_1} \\ -α_{n_2}-β_{n_2} \end{pmatrix} \right\} $$ satisfying $α_{n_1}β_{n_2}-α_{n_2}β_{n_1} \ne 0 \pmod{2}$. Under the hypotheses $|\det(M_n)| > 4$ for all $n\geq 1$, $\sup_{n\geq 1}\|M_n^{-1}\| < 1$, and $\{D_n\}$ is finite, we establish the following characterization: $$ μ_{\{M_n\},\{D_n\}} \text{ is a spectral measure} \Longleftrightarrow M_n \in GL(2,2\mathbb{Z}) \text{ for all } n\geq 2. $$ Furthermore, for the critical case $|\det(M_n)| = 4$, we derive a complete spectral criterion for a significant class of Moran measures through combinatorial analysis of digit sets. These results extend current understanding of spectral self-affine measures to Moran-type constructions.

math.FA↗

arXiv2022

Fourier bases of a class of planar self-affine measures

Let $μ_{M,D}$ be the planar self-affine measure generated by an expansive integer matrix $M\in M_2(\mathbb{Z})$ and a non-collinear integer digit set $D=\left\{\begin{pmatrix} 0\\0\end{pmatrix},\begin{pmatrix} α_{1}\\ α_{2} \end{pmatrix}, \begin{pmatrix} β_{1}\\ β_{2} \end{pmatrix}, \begin{pmatrix} -α_{1}-β_{1}\\ -α_{2}-β_{2} \end{pmatrix}\right\}$. In this paper, we show that $μ_{M,D}$ is a spectral measure if and only if there exists a matrix $Q\in M_2(\mathbb{R})$ such that $(\tilde{M},\tilde{D})$ is admissible, where $\tilde{M}=QMQ^{-1}$ and $\tilde{D}=QD$. In particular, when $α_1β_2-α_2β_1\notin 2\Bbb Z$, $μ_{M,D}$ is a spectral measure if and only if $M\in M_2(2\mathbb{Z})$.

math.FA↗

arXiv2020

Spectrality of generalized Sierpinski-type self-affine measures

For an expanding integer matrix $M\in M_2(\mathbb{Z})$ and an integer digit set $D=\{(0,0)^t,(α_1,α_2)^t,(β_1,β_2)^t\}$ with $α_1β_2-α_2β_1\neq0$, let $μ_{M,D}$ be the Sierpinski-type self-affine measure defined by $μ_{M,D}(\cdot)=\frac{1}{3}\sum_{d\in D}μ_{M,D}(M(\cdot)-d)$. In [5.36], the authors separately investigated the spectral property of the measure $μ_{M,D}$ in the case of $\det(M)\notin 3\mathbb{Z}$ or $α_1β_2-α_2β_1\notin 3\mathbb{Z}$. In this paper, we consider the remaining case where $\det(M)\in 3\mathbb{Z}$ and $α_1β_2-α_2β_1\in 3\mathbb{Z}$, and give the necessary and sufficient conditions for $μ_{M,D}$ to be a spectral measure. This completely settles the spectrality of the Sierpinski-type self-affine measure $μ_{M,D}$.

math.CA↗

arXiv2020

The spectrality of self-affine measure under the similarity transformation of $GL_n(p)$

Let $μ_{M,D}$ be the self-affine measure generated by an expanding integer matrix $M\in M_n(\mathbb{Z})$ and a finite digit set $D\subset\mathbb{Z}^n$. It is well known that the two measures $μ_{M,D}$ and $μ_{\tilde{M},\tilde{D}}$ have the same spectrality if $\tilde{M}=B^{-1}MB$ and $\tilde{D}=B^{-1}D$, where $B\in M_n(\mathbb{R})$ is a nonsingular matrix. This fact is usually used to simplify the digit set $D$ or the expanding matrix $M$. However, it often transforms integer digit set $D$ or expanding matrix $M$ into real, which brings many difficulties to study the spectrality of $μ_{\tilde{M},\tilde{D}}$. In this paper, we introduce a similarity transformation of general linear group $GL_n(p)$ for some self-affine measures, and discuss their spectrality. This kind of similarity transformation can keep the integer properties of $D$ and $M$ simultaneously, which leads to many advantages in discussing the spectrality of self-affine measures. As an application, we extend some well-known spectral self-affine measures to more general forms.

math.FA↗

arXiv2018

The cardinality of orthogonal exponentials of planar self-affine measures with three-element digit sets

In this paper, we consider the planar self-affine measures $μ_{M,D}$ generated by an expanding matrix $M\in M_2(\mathbb{Z})$ and an integer digit set $ D=\left\{ {\left( {\begin{array}{*{20}{c}} 0\\ 0 \end{array}} \right),\left( {\begin{array}{*{20}{c}} α_1\\ α_2 \end{array}} \right),\left( {\begin{array}{*{20}{c}} β_1\\ β_2 \end{array}} \right)} \right\} $ with $α_1β_2-α_2β_1\neq0$. We show that if $\det(M)\notin 3\mathbb{Z}$, then the mutually orthogonal exponential functions in $L^2(μ_{M,D})$ is finite, and the exact maximal cardinality is given.

math.FA↗

arXiv2016

Spectral property of self-affine measures on ${\mathbb R}^n$

We study spectral properties of the self-affine measure $μ_{M,\mathcal {D}}$ generated by an expanding integer matrix $M\in M_n(\mathbb{Z})$ and a consecutive collinear digit set $\mathcal {D}=\{0,1,\dots,q-1\}v$ where $v\in \mathbb{Z}^n\setminus\{0\}$ and $q\ge 2$ is an integer. Some sufficient conditions for $μ_{M,\mathcal {D}}$ to be a spectral measure or to have infinitely many orthogonal exponentials are given. Moreover, for some special cases, we can obtain a necessary and sufficient condition on the spectrality of $μ_{M,\mathcal {D}}$. Our study generalizes the one dimensional results proved by Dai, {\it et al.} (\cite{Dai-He-Lai_2013, Dai-He-Lau_2014}).

math.CA↗

arXiv2016

Connectedness of self-affine sets with product digit sets

Let $T(A,\mathcal{D})$ be a self-affine set generated by an expanding matrix $A=\left[\begin{array}{rr} p & 0\cr -a & q \end{array}\right]$ and a product digit set $\mathcal{D}=\{0,1,\dots,m-1\}\times \{0,1,\dots,n-1\}$. We provide a necessary and sufficient condition for the $T(A,\mathcal{D})$ to be connected, which generalizes the known results.

math.GN↗

arXiv2015

On the classification of fractal squares

In \cite{LaLuRa13}, the authors completely classified the topological structure of so called {\it fractal square} $F$ defined by $F=(F+{\mathcal D})/n$, where ${\mathcal{D}}\subsetneq\{0,1,\dots,n-1\}^2, n\ge 2$. In this paper, we further provide simple criteria for the $F$ to be totally disconnected, then we discuss the Lipschitz classification of $F$ in the case $n=3$, which is an attempt to consider non-totally disconnected sets.

math.GN↗

arXiv2014

On the connectedness of planar self-affine sets

In this paper, we consider the connectedness of planar self-affine set $T(A,\mathcal{D})$ arising from an integral expanding matrix $A$ with characteristic polynomial $f(x)=x^2+bx+c$ and a digit set $\mathcal{D}=\{0,1,\dots, m\}v$. The necessary and sufficient conditions only depending on $b,c,m$ are given for the $T(A,\mathcal{D})$ to be connected. Moreover, we also consider the case that ${\mathcal D}$ is non-consecutively collinear.

math.DS↗