BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Chun-Kit Lai

Chun-Kit Lai contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CAmath.FAmath.COmath.DSmath.MGmath.PR

Trust snapshot

Quick read

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

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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\}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;L&#34; 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} \}. \]

0 citations0 reviewsNo code linkedOpen access
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&#39;s conjecture on ${\mathbb R}^1$ is now equivalent to the corresponding conjecture on all cyclic groups ${\mathbb Z}_{n}.$

0 citations0 reviewsNo code linkedOpen access