Search

We show the full structure of the frame set for the Gabor system $\mathcal{G}(g;\alpha,\beta):=\{e^{-2\pi i m\beta\cdot}g(\cdot-n\alpha):m,n\in\Bbb Z\}$ with the window being the Haar function $g=-\chi_{[-1/2,0)}+\chi_{[0,1/2)}$. The strategy of this paper is to introduce the piecewise linear transformation $\mathcal{M}$ on the unit circle, and to provide a complete characterization of structures for its (symmetric) maximal invariant sets. This transformation is related to the famous three gap theorem of Steinhaus which may be of independent interest. Furthermore, a classical criterion on Gabor frames is improved, which allows us to establish {a} necessary and sufficient condition for the Gabor system $\mathcal{G}(g;\alpha,\beta)$ to be a frame, i.e., the symmetric invariant set of the transformation $\mathcal{M}$ is empty. Compared with the previous studies, the present paper provides a self-contained environment to study Gabor frames by a new perspective, which includes that the techniques developed here are new and all the proofs could be understood thoroughly by the readers without reference to the known results in the previous literature.

We investigate a homeomorphism problem on a class of self-similar sets called generalized Sierpinski carpets (or shortly GSCs). It follows from two well-known results by Hata and Whyburn that a connected GSC is homeomorphic to the standard Sierpinski carpet if and only if it has no local cut points. On the one hand, we show that to determine whether a given GSC is connected, it suffices to iterate the initial pattern twice. On the other hand, we obtain two criteria: (1) for a connected GSC to have cut points, (2) for a connected GSC with no cut points to have local cut points. With these two criteria, we characterize all GSCs that are homeomorphic to the standard Sierpinski carpet. Our results on cut points and local cut points hold for Baranski carpets, too. Moreover, we extend the connectedness result to Baranski sponges. Thus, we also characterize when a Baranski carpet is homeomorphic to the standard GSC., Comment: 41 pages, 14 figures

In this paper, we consider spectral properties of Riesz product measures supported on homogeneous Cantor sets and we show the existence of spectral measures with arbitrary Hausdorff dimensions, including non-atomic zero-dimensional spectral measures and one-dimensional singular spectral measures.

For $0<\rho<1$ and $N>1$ an integer, let $\mu$ be the self-similar measure defined by $\mu(\cdot)=\sum_{i=0}^{N-1}\frac 1N\mu(\rho^{-1}(\cdot)-i)$. We prove that $L^2(\mu)$ has an exponential orthonormal basis if and only if $\rho=\frac 1q$ for some $q>0$ and $N$ divides $q$. The special case is the Cantor measure with $\rho =\frac 1{2k}$ and $N=2$ \cite {JP}, which was proved recently to be the only spectral measure among the Bernoulli convolutions with $0<\rho<1$ \cite {D}.

A Gabor system generated by a window function $\phi$ and a rectangular lattice $a \Z\times \Z/b$ is given by $${\mathcal G}(\phi, a \Z\times \Z/b):=\{e^{-2\pi i n t/b} \phi(t- m a):\ (m, n)\in \Z\times \Z\}.$$ One of fundamental problems in Gabor analysis is to identify window functions $\phi$ and time-frequency shift lattices $a \Z\times \Z/b$ such that the corresponding Gabor system ${\mathcal G}(\phi, a \Z\times \Z/b)$ is a Gabor frame for $L^2(\R)$, the space of all square-integrable functions on the real line $\R$. In this paper, we provide a full classification of triples $(a,b,c)$ for which the Gabor system ${\mathcal G}(\chi_I, a \Z\times \Z/b)$ generated by the ideal window function $\chi_I$ on an interval $I$ of length $c$ is a Gabor frame for $L^2(\R)$. For the classification of such triples $(a, b, c)$ (i.e., the $abc$-problem for Gabor systems), we introduce maximal invariant sets of some piecewise linear transformations and establish the equivalence between Gabor frame property and triviality of maximal invariant sets. We then study dynamic system associated with the piecewise linear transformations and explore various properties of their maximal invariant sets. By performing holes-removal surgery for maximal invariant sets to shrink and augmentation operation for a line with marks to expand, we finally parameterize those triples $(a, b, c)$ for which maximal invariant sets are trivial. The novel techniques involving non-ergodicity of dynamical systems associated with some novel non-contractive and non-measure-preserving transformations lead to our arduous answer to the $abc$-problem for Gabor systems.

We consider equally-weighted Cantor measures $\mu_{q,b}$ arising from iterated function systems of the form ${b^{-1}(x+i)}$, $i=0,1,...,q-1$, where $q