Source author record

Chun-Kit Lai

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.CA math.CO math.MG Information Theory math.DS math.IT math.PR

Catalog footprint

Research overview

22works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

On Constructions of full-dimensional absolutely normal sets of uniqueness

We construct a class of homogeneous Cantor-Moran measures with all contraction ratios being reciprocal of integers, and prove that they are pointwise absolutely normal. Our approach relies on methods developed by Davenport, Erd{ő}s, and LeVeque \cite{DEL1963} and properties of the order of integers in the multiplicative groups. The construction of these measures differs from the class of pointwise absolutely normal self-similar measures introduced by Hochman and Shmerkin \cite{Hochman2015}, in which dynamical approaches were used. As an application, for all gauge functions $φ(r)$ with $r/φ(r)\to 0$ as $r\to 0$ , we obtain a set of uniqueness $K$ with ${\mathcal H}^φ(K)>0$ . Moreover, we show that there exists a pointwise absolutely normal measure $μ$ of dimension one fully supported on $K$ . The result demonstrates that having a lot of absolutely normal numbers in a Cantor set, even with dimension one, cannot guarantee that it supports a measure with Fourier decay. It also shows that the ${\mathsf{DEL}}$ criterion being satisfied for all integers does not guarantee any Fourier decay nor the supporting set is a set of multiplicity.

preprint2022arXiv

Classification of spectral self-similar measures with four-digit elements

Let $μ$ be a self-similar measure generated by iterated function system of four maps of equal contraction ratio $0<ρ<1$ . We study when $μ$ is a spectral measure which means that it admits an exponential orthonormal basis $\{e^{2πi λx}\}_{λ\inΛ}$ in $L^2(μ)$ . By combining previous results of many authors and a careful study of some new cases, we completely classify all spectral self-similar measures with four maps. Moreover, the case allows us to propose a modified Łaba-Wang conjecture concerning when the self-similar measures are spectral in general cases.

preprint2022arXiv

Hausdorff and Fourier dimension of graph of continuous additive processes

An additive process is a stochastic process with independent increments and that is continuous in probability. In this paper, we study the almost sure Hausdorff and Fourier dimension of the graph of continuous additive additive processes with zero mean. Such processes can be represented as $X_t = B_{V(t)}$ where $B$ is Brownian motion and $V$ is a continuous increasing function. We show that these dimensions depend on the local uniform Hölder indices. In particular, if $V$ is locally uniformly bi-Lipschitz, then the Hausdorff dimension of the graph will be 3/2. We also show that the Fourier dimension almost surely is positive if $V$ admits at least one point with positive lower Hölder regularity. It is also possible to estimate the Hausdorff dimension of the graph through the $L^q$ spectrum of $V$ . We will show that if $V$ is generated by a self-similar measure on ${\mathbb R}^{1}$ with convex open set condition, the Hausdorff dimension of the graph can be precisely computed by its $L^q$ spectrum. An illustrating example of the Cantor Devil Staircase function, the Hausdorff dimension of the graph is $1+\frac12\cdot\frac{\log 2}{\log 3}$ . Moreover, we will show that the graph of the Brownian staircase surprisingly has Fourier dimension zero almost surely.

preprint2022arXiv

Large sets avoiding affine copies of infinite sequences

A conjecture of Erdős states that for any infinite set $A \subseteq \mathbb R$ , there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$ . The conjecture remains open for most fast-decaying sequences, including the geometric sequence $A = \{2^{-k} : k \geq 1\}$ . In this article, we consider infinite decreasing sequences $A = \{a_k: k \geq 1\}$ in ${\mathbb R}$ that converge to zero at a prescribed rate; namely $\log (a_n/a_{n+1}) = e^{φ(n)}$ , where $φ(n)/n\to 0$ as $n\to\infty$ . This condition is satisfied by sequences whose logarithm has polynomial decay, and in particular by the geometric sequence. For any such sequence $A$ , we construct a Borel set ${\mathcal O}\subseteq \mathbb R$ of Hausdorff dimension 1, but Lebesgue measure zero, that avoids all nontrivial affine copies of $A\cup\{0\}$ .

preprint2020arXiv

A proof of the Erdös similarity conjecture

We show that for any infinite set $A$ in ${\mathbb R}$ , there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$ . This proves the Erdös similarity conjecture.

preprint2020arXiv

Arbitrarily sparse spectra for self-affine spectral measures

Given an expansive matrix $R\in M_d({\mathbb Z})$ and a finite set of digit $B$ taken from ${\mathbb Z}^d/R({\mathbb Z}^d)$ . It was shown previously that if we can find an $L$ such that $(R,B,L)$ forms a Hadamard triple, then the associated fractal self-affine measure generated by $(R,B)$ admits an exponential orthonormal basis of certain frequency set $Λ$ , and hence it is termed as a spectral measure. In this paper, we show that if # $B<|\det (R)|$ , not only it is spectral, we can also construct arbitrarily sparse spectrum $Λ$ in the sense that its Beurling dimension is zero.

preprint2020arXiv

On exponential bases and frames with non-linear phase functions and some applications

In this paper, we study the spectrality and frame-spectrality of exponential systems of the type $E(Λ,φ) = \{e^{2πi λ\cdotφ(x)}: λ\inΛ\}$ where the phase function $φ$ is a Borel measurable which is not necessarily linear. A complete characterization of pairs $(Λ,φ)$ for which $E(Λ,φ)$ is an orthogonal basis or a frame for $L^{2}(μ)$ is obtained. In particular, we show that the middle-third Cantor measures and the unit disc, each admits an orthogonal basis with a certain non-linear phase. Under a natural regularity condition on the phase functions, when $μ$ is the Lebesgue measure on $[0,1]$ and $Λ= {\mathbb{Z}},$ we show that only the standard phase functions $φ(x) = \pm x$ are the only possible functions that give rise to orthonormal bases. Surprisingly, however we prove that there exist a greater degree of flexibility, even for continuously differentiable phase functions in higher dimensions. For instance, we were able to describe a large class of functions $φ$ defined on ${\mathbb{R}}^{d}$ such that the system $E(Λ,φ)$ is an orthonormal basis for $L^{2}[0,1]^{d}$ when $d\geq2.$ Moreover, we discuss how our results apply to the discretization problem of unitary representations of locally compact groups for the construction of orthonormal bases. Finally, we conclude the paper by stating several open problems.

preprint2020arXiv

Spectral properties of some unions of linear spaces

We consider \textit{additive spaces}, consisting of two intervals of unit length or two general probability measures on ${\mathbb R}^1$ , positioned on the axes in ${\mathbb R}^2$ , with a natural additive measure $ρ$ . We study the relationship between the exponential frames, Riesz bases, and orthonormal bases of $L^2(ρ)$ and those of its component spaces. We find that the existence of exponential bases depends strongly on how we position our measures on ${\mathbb R}^1$ . We show that non-overlapping additive spaces possess Riesz bases, and we give a necessary condition for overlapping spaces. We also show that some overlapping additive spaces of Lebesgue type have exponential orthonormal bases, while some do not. A particular example is the "L" shape at the origin, which has a unique orthonormal basis up to translations of the form $\left\{e^{2 πi (λ_1 x_1 + λ_2 x_2)} : (λ_1, λ_2) \in Λ\right\},$ where $Λ= \{ (n/2, -n/2) \mid n \in {\mathbb Z} \}.$

preprint2020arXiv

Spectrum is rational in dimension one

A bounded measurable set $Ω\subset{\mathbb R}^d$ is called a spectral set if it admits some exponential orthonormal basis $\{e^{2πi \langleλ,x\rangle}: λ\inΛ\}$ for $L^2(Ω)$ . In this paper, we show that in dimension one $d=1$ , any spectrum $Λ$ with $0\inΛ$ of a spectral set $Ω$ with Lebesgue measure normalized to 1 must be rational. Combining previous results that spectrum must be periodic, the Fuglede's conjecture on ${\mathbb R}^1$ is now equivalent to the corresponding conjecture on all cyclic groups ${\mathbb Z}_{n}.$

preprint2016arXiv

Beurling densities and frames of exponentials on the union of small balls

If $x_1,\dots,x_m$ are finitely many points in $\mathbb{R}^d$ , let $E_ε=\cup_{i=1}^m\,x_i+Q_ε$ , where $Q_ε=\{x\in \mathbb{R}^d,\,\,|x_i|\le ε/2, \, i=1,...,d\}$ and let $\hat f$ denote the Fourier transform of $f$ . Given a positive Borel measure $μ$ on $\mathbb{R}^d$ , we provide a necessary and sufficient condition for the frame inequalities $A\,\|f\|^2_2\le \int_{\mathbb{R}^d}\,|\hat f(ξ)|^2\,dμ(ξ)\le B\,\|f\|^2_2,\quad f\in L^2(E_ε),$ to hold for some $A,B>0$ and for some $ε>0$ sufficiently small. If $m=1$ , we show that the limits of the optimal lower and upper frame bounds as $ε\rightarrow 0$ are equal, respectively, to the lower and upper Beurling density of $μ$ . When $m>1$ , we extend this result by defining a matrix version of Beurling density. Given a (possibly dense) subgroup $G$ of $\mathbb{R}$ , we then consider the problem of characterizing those measures $μ$ for which the inequalities above hold whenever $x_1,\dots,x_m$ are finitely many points in $G$ (with $ε$ depending on those points, but not $A$ or $B$ ). We point out an interesting connection between this problem and the notion of well-distributed sequence when $G=a\,\mathbb{Z}$ for some $a>0$ . Finally, we show the existence of a discrete set $Λ$ such that the measure $μ=\sum_λ\,δ_λ$ satisfy the property above for the whole group $\mathbb{R}$ .

preprint2016arXiv

Spark Level Sparsity and the $\ell_1$ Tail Minimization

Solving compressed sensing problems relies on the properties of sparse signals. It is commonly assumed that the sparsity s needs to be less than one half of the spark of the sensing matrix A, and then the unique sparsest solution exists, and recoverable by $\ell_1$ -minimization or related procedures. We discover, however, a measure theoretical uniqueness exists for nearly spark-level sparsity from compressed measurements Ax = b. Specifically, suppose A is of full spark with m rows, and suppose $\frac{m}{2}$ < s < m. Then the solution to Ax = b is unique for x with $\|x\|_0 \leq s$ up to a set of measure 0 in every s-sparse plane. This phenomenon is observed and confirmed by an $\ell_1$ -tail minimization procedure, which recovers sparse signals uniquely with s > $\frac{m}{2}$ in thousands and thousands of random tests. We further show instead that the mere $\ell_1$ -minimization would actually fail if s > $\frac{m}{2}$ even from the same measure theoretical point of view.

preprint2015arXiv

Hadamard triples generate self-affine spectral measures

Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$. We prove that the associated self-affine measure $μ= μ(R,B)$ is a spectral measure, which means it admits an orthonormal bases of exponential functions in $L^2(μ)$ . This settles a long-standing conjecture proposed by Jorgensen and Pedersen and studied by many other authors.

preprint2015arXiv

Spectral measures generated by arbitrary and random convolutions

We study spectral measures generated by infinite convolution products of discrete measures generated by Hadamard triples, and we present sufficient conditions for the measures to be spectral, generalizing a criterion by Strichartz. We then study the spectral measures generated by random convolutions of finite atomic measures and rescaling, where the digits are chosen from a finite collection of digit sets. We show that in dimension one, or in higher dimensions under certain conditions, "almost all" such measures generate spectral measures, or, in the case of complete digit sets, translational tiles. Our proofs are based on the study of self-affine spectral measures and tiles generated by Hadamard triples in quasi-product form.

preprint2014arXiv

Gabor orthonormal bases generated by the unit cubes

We consider the problem in determining the countable sets $Λ$ in the time-frequency plane such that the Gabor system generated by the time-frequency shifts of the window $χ_{[0,1]^d}$ associated with $Λ$ forms a Gabor orthonormal basis for $L^2({\Bbb R}^d)$ . We show that, if this is the case, the translates by elements $Λ$ of the unit cube in ${\Bbb R}^{2d}$ must tile the time-frequency space ${\Bbb R}^{2d}$ . By studying the possible structure of such tiling sets, we completely classify all such admissible sets $Λ$ of time-frequency shifts when $d=1,2$ . Moreover, an inductive procedure for constructing such sets $Λ$ in dimension $d\ge 3$ is also given. An interesting and surprising consequence of our results is the existence, for $d\geq 2$ , of discrete sets $Λ$ with ${\mathcal G}(χ_{[0,1]^d},Λ)$ forming a Gabor orthonormal basis but with the associated "time"-translates of the window $χ_{[0,1]^d}$ having significant overlaps.

preprint2013arXiv

Classification of tile digit sets as product-forms

Let $A$ be an expanding matrix on ${\Bbb R}^s$ with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set ${\mathcal D}\subset{\Bbb Z}^s$ so that the integral self-affine set $T(A,\mathcal D)$ is a translational tile on ${\Bbb R}^s$ . In our previous paper, we classified such tile digit sets ${\mathcal D}\subset{\Bbb Z}$ by expressing the mask polynomial $P_{\mathcal D}$ into product of cyclotomic polynomials. In this paper, we first show that a tile digit set in ${\Bbb Z}^s$ must be an integer tile (i.e. ${\mathcal D}\oplus{\mathcal L} = {\Bbb Z}^s$ for some discrete set ${\mathcal L}$ ). This allows us to combine the technique of Coven and Meyerowitz on integer tiling on ${\Bbb R}^1$ together with our previous results to characterize explicitly all tile digit sets ${\mathcal D}\subset {\Bbb Z}$ with $A = p^αq$ ( $p, q$ distinct primes) as {\it modulo product-form} of some order, an advance of the previously known results for $A = p^α$ and $pq$ .

preprint2013arXiv

Frames of multi-windowed exponentials on subsets of ${\mathbb R}^d$

Given discrete subsets $Λ_j\subset {\Bbb R}^d$ , $j=1,...,q$ , consider the set of windowed exponentials $\bigcup_{j=1}^{q}\{g_j(x)e^{2πi <λ,x>}: λ\inΛ_j\}$ on $L^2(Ω)$ . We show that a necessary and sufficient condition for the windows $g_j$ to form a frame of windowed exponentials for $L^2(Ω)$ with some $Λ_j$ is that $m\leq \max_{j\in J}|g_j|\leq M$ almost everywhere on $Ω$ for some subset $J$ of $\{1,..., q\}$ . If $Ω$ is unbounded, we show that there is no frame of windowed exponentials if the Lebesgue measure of $Ω$ is infinite. If $Ω$ is unbounded but of finite measure, we give a sufficient condition for the existence of Fourier frames on $L^2(Ω)$ . At the same time, we also construct examples of unbounded sets with finite measure that have no tight exponential frame.

preprint2013arXiv

Some reductions of the spectral set conjecture to integers

The spectral set conjecture, also known as the Fuglede conjecture, asserts that every bounded spectral set is a tile and vice versa. While this conjecture remains open on ${\mathbb R}^1$ , there are many results in the literature that discuss the relations among various forms of the Fuglede conjecture on ${\mathbb Z}_n$ , ${\mathbb Z}$ and ${\mathbb R}^1$ and also the seemingly stronger universal tiling (spectrum) conjectures on the respective groups. In this paper, we clarify the equivalences between these statements in dimension one. In addition, we show that if the Fuglede conjecture on ${\mathbb R}^1$ is true, then every spectral set with rational measure must have a rational spectrum. We then investigate the Coven-Meyerowitz property for finite sets of integers, introduced in \cite{CoMe99}, and we show that if the spectral sets and the tiles in ${\mathbb Z}$ satisfy the Coven-Meyerowitz property, then both sides of the Fuglede conjecture on ${\mathbb R}^1$ are true.

preprint2013arXiv

Spectral measures associated with the factorization of the Lebesgue measure on a set via convolution

Let $Q$ be a fundamental domain of some full-rank lattice in ${\Bbb R}^d$ and let $μ$ and $ν$ be two positive Borel measures on ${\Bbb R}^d$ such that the convolution $μ\astν$ is a multiple of $χ_Q$ . We consider the problem as to whether or not both measures must be spectral (i.e. each of their respective associated $L^2$ space admits an orthogonal basis of exponentials) and we show that this is the case when $Q = [0,1]^d$ . This theorem yields a large class of examples of spectral measures which are either absolutely continuous, singularly continuous or purely discrete spectral measures. In addition, we propose a generalized Fuglede's conjecture for spectral measures on ${\Bbb R}^1$ and we show that it implies the classical Fuglede's conjecture on ${\Bbb R}^1$ .

preprint2012arXiv

Spectral property of Cantor measures with consecutive digits

We consider equally-weighted Cantor measures $μ_{q,b}$ arising from iterated function systems of the form ${b^{-1}(x+i)}$ , $i=0,1,...,q-1$ , where $q<b$ . We classify the $(q,b)$ so that they have infinitely many mutually orthogonal exponentials in $L^2(μ_{q,b})$ . In particular, if $q$ divides $b$ , the measures have a complete orthogonal exponential system and hence spectral measures. We then characterize all the maximal orthogonal sets $Λ$ when $q$ divides $b$ via a maximal mapping on the $q-$ adic tree in which all elements in $Λ$ are represented uniquely in finite $b-$ adic expansions and we can separate the maximal orthogonal sets into two types: regular and irregular sets. For a regular maximal orthogonal set, we show that its completeness in $L^2(μ_{q,b})$ is crucially determined by the certain growth rate of non-zero digits in the tail of the $b-$ adic expansions of the elements. Furthermore, we exhibit complete orthogonal exponentials with zero Beurling dimensions. These examples show that the technical condition in Theorem 3.5 of \cite{[DHSW]} cannot be removed. For an irregular maximal orthogonal set, we show that under some condition, its completeness is equivalent to that of the corresponding regularized mapping.

preprint2011arXiv

Exponential spectra in $L^2(μ)$

Let $μ$ be a Borel probability measure with compact support. We consider exponential type orthonormal bases, Riesz bases and frames in $L^2(μ)$ . We show that if $L^2(μ)$ admits an exponential frame, then $μ$ must be of pure type. We also classify various $μ$ that admits either kind of exponential bases, in particular, the discrete measures and their connection with integer tiles. By using this and convolution, we construct a class of singularly continuous measures that has an exponential Riesz basis but no exponential orthonormal basis. It is the first of such kind of examples.

preprint2011arXiv

On Fourier frame of absolutely continuous measures

Let $μ$ be a compactly supported absolutely continuous probability measure on ${\Bbb R}^n$ , we show that $μ$ admits Fourier frames if and only if its Radon-Nikodym derivative is upper and lower bounded almost everywhere on its support. As a consequence, we prove that if an equal weight absolutely continuous self-similar measure on ${\Bbb R}^1$ admits Fourier frame, then the measure must be a characteristic function of self-similar tile. In particular, this shows for almost everywhere $1/2<λ<1$ , the $λ$ -Bernoulli convolutions cannot admit Fourier frames.

preprint2011arXiv

Spectral structure of digit sets of self-similar tiles on ${Bbb R}^1$

We study the structure of the digit sets ${\mathcal D}$ for the integral self-similar tiles $T(b,{\mathcal{D}})$ (we call such ${\mathcal D}$ a {\it tile digit set} with respect to $b$ ). So far the only available classes of such tile digit sets are the complete residue sets and the product-forms. Our investigation here is based on the spectrum of the mask polynomial $P_{\mathcal D}$ , i.e., the zeros of $P_{\mathcal D}$ on the unit circle. By using the Fourier criteria of self-similar tiles of Kenyon and Protasov, as well as the algebraic techniques of cyclotomic polynomial, we characterize the tile digit sets through some product of cyclotomic polynomials (kernel polynomials), which is a generalization of the product-form to higher order.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Chun-Kit Lai

Research overview

Is this your work?

22 publications

On Constructions of full-dimensional absolutely normal sets of uniqueness

Classification of spectral self-similar measures with four-digit elements

Hausdorff and Fourier dimension of graph of continuous additive processes

Large sets avoiding affine copies of infinite sequences

A proof of the Erdös similarity conjecture

Arbitrarily sparse spectra for self-affine spectral measures

On exponential bases and frames with non-linear phase functions and some applications

Spectral properties of some unions of linear spaces

Spectrum is rational in dimension one

Beurling densities and frames of exponentials on the union of small balls

Spark Level Sparsity and the $\ell_1$ Tail Minimization

Hadamard triples generate self-affine spectral measures

Spectral measures generated by arbitrary and random convolutions

Gabor orthonormal bases generated by the unit cubes

Classification of tile digit sets as product-forms

Frames of multi-windowed exponentials on subsets of ${\mathbb R}^d$

Some reductions of the spectral set conjecture to integers

Spectral measures associated with the factorization of the Lebesgue measure on a set via convolution

Spectral property of Cantor measures with consecutive digits

Exponential spectra in $L^2(μ)$

On Fourier frame of absolutely continuous measures

Spectral structure of digit sets of self-similar tiles on ${Bbb R}^1$

See the researcher in context

Building this map preview

Chun-Kit Lai

Research overview

Is this your work?

22 publications

On Constructions of full-dimensional absolutely normal sets of uniqueness

Classification of spectral self-similar measures with four-digit elements

Hausdorff and Fourier dimension of graph of continuous additive processes

Large sets avoiding affine copies of infinite sequences

A proof of the Erdös similarity conjecture

Arbitrarily sparse spectra for self-affine spectral measures

On exponential bases and frames with non-linear phase functions and some applications

Spectral properties of some unions of linear spaces

Spectrum is rational in dimension one

Beurling densities and frames of exponentials on the union of small balls

Spark Level Sparsity and the ℓ1\ell_1ℓ1​ Tail Minimization

Hadamard triples generate self-affine spectral measures

Spectral measures generated by arbitrary and random convolutions

Gabor orthonormal bases generated by the unit cubes

Classification of tile digit sets as product-forms

Frames of multi-windowed exponentials on subsets of Rd{\mathbb R}^dRd

Some reductions of the spectral set conjecture to integers

Spectral measures associated with the factorization of the Lebesgue measure on a set via convolution

Spectral property of Cantor measures with consecutive digits

Exponential spectra in L2(μ)L^2(μ)L2(μ)

On Fourier frame of absolutely continuous measures

Spectral structure of digit sets of self-similar tiles on BbbR1{Bbb R}^1BbbR1

See the researcher in context

Building this map preview

Spark Level Sparsity and the $\ell_1$ Tail Minimization

Frames of multi-windowed exponentials on subsets of ${\mathbb R}^d$

Exponential spectra in $L^2(μ)$

Spectral structure of digit sets of self-similar tiles on ${Bbb R}^1$