Showing 1–50 of 80 results for author: Kong, D

Simultaneous hypothesis testing for comparing many functional means

Authors: Colin Decker, Dehan Kong, Stanislav Volgushev

Abstract: Data with multiple functional recordings at each observational unit are increasingly common in various fields including medical imaging and environmental sciences. To conduct inference for such observations, we develop a paired two-sample test that allows to simultaneously compare the means of many functional observations while maintaining family-wise error rate control. We explicitly allow the nu… ▽ More Data with multiple functional recordings at each observational unit are increasingly common in various fields including medical imaging and environmental sciences. To conduct inference for such observations, we develop a paired two-sample test that allows to simultaneously compare the means of many functional observations while maintaining family-wise error rate control. We explicitly allow the number of functional recordings to increase, potentially much faster than the sample size. Our test is fully functional and does not rely on dimension reduction or functional PCA type approaches or the choice of tuning parameters. To provide a theoretical justification for the proposed procedure, we develop a number of new anti-concentration and Gaussian approximation results for maxima of $L^2$ statistics which might be of independent interest. The methodology is illustrated on the task-related cortical surface functional magnetic resonance imaging data from Human Connectome Project. △ Less

Submitted 13 June, 2025; originally announced June 2025.

Active Contour Models Driven by Hyperbolic Mean Curvature Flow for Image Segmentation

Authors: Saiyu Hu, Chunlei He, Jianfeng Zhang, Dexing Kong, Shoujun Huang

Abstract: Parabolic mean curvature flow-driven active contour models (PMCF-ACMs) are widely used in image segmentation, which however depend heavily on the selection of initial curve configurations. In this paper, we firstly propose several hyperbolic mean curvature flow-driven ACMs (HMCF-ACMs), which introduce tunable initial velocity fields, enabling adaptive optimization for diverse segmentation scenario… ▽ More Parabolic mean curvature flow-driven active contour models (PMCF-ACMs) are widely used in image segmentation, which however depend heavily on the selection of initial curve configurations. In this paper, we firstly propose several hyperbolic mean curvature flow-driven ACMs (HMCF-ACMs), which introduce tunable initial velocity fields, enabling adaptive optimization for diverse segmentation scenarios. We shall prove that HMCF-ACMs are indeed normal flows and establish the numerical equivalence between dissipative HMCF formulations and certain wave equations using the level set method with signed distance function. Building on this framework, we furthermore develop hyperbolic dual-mode regularized flow-driven ACMs (HDRF-ACMs), which utilize smooth Heaviside functions for edge-aware force modulation to suppress over-diffusion near weak boundaries. Then, we optimize a weighted fourth-order Runge-Kutta algorithm with nine-point stencil spatial discretization when solving the above-mentioned wave equations. Experiments show that both HMCF-ACMs and HDRF-ACMs could achieve more precise segmentations with superior noise resistance and numerical stability due to task-adaptive configurations of initial velocities and initial contours. △ Less

Submitted 7 June, 2025; originally announced June 2025.

Open dynamical systems with a moving hole

Authors: Derong Kong, Beibei Sun, Zhiqiang Wang

Abstract: Given an integer $b\ge 3$, let $T_b: [0,1)\to [0,1); x\mapsto bx\pmod 1$ be the expanding map on the unit circle. For any $m\in\mathbb{N}$ and $ω=ω^0ω^1\ldots\in(\left\{0,1,\ldots,b-1\right\}^m)^\mathbb{N}$ let \[ K^ω=\left\{x\in[0,1): T_b^n(x)\notin I_{ω^n}~\forall n\geq 0\right\},\] where $I_{ω^n}$ is the $b$-adic basic interval generated by $ω^n$. Then $K^ω$ is called the survivor set of the op… ▽ More Given an integer $b\ge 3$, let $T_b: [0,1)\to [0,1); x\mapsto bx\pmod 1$ be the expanding map on the unit circle. For any $m\in\mathbb{N}$ and $ω=ω^0ω^1\ldots\in(\left\{0,1,\ldots,b-1\right\}^m)^\mathbb{N}$ let \[ K^ω=\left\{x\in[0,1): T_b^n(x)\notin I_{ω^n}~\forall n\geq 0\right\},\] where $I_{ω^n}$ is the $b$-adic basic interval generated by $ω^n$. Then $K^ω$ is called the survivor set of the open dynamical system $([0,1),T_b,I_ω)$ with respect to the sequence of holes $I_ω=\left\{I_{ω^n}: n\geq 0\right\}$. We show that the Hausdorff and lower box dimensions of $K^ω$ always conincide, and the packing and upper box dimensions of $K^ω$ also coincide. Moreover, we give sharp lower and upper bounds for the dimensions of $K^ω$, which can be calculated explicitly. For any admissible $α\leq β$ there exist infinitely many $ω$ such that $\dim_H K^ω=α$ and $\dim_P K^ω=β$. As applications we study badly approximable numbers in Diophantine approximation. For an arbitrary sequence of balls $\left\{B_n\right\}$, let $K\left(\left\{B_n\right\}\right)$ be the set of $x\in[0,1)$ such that $T_b^n(x)\notin B_n$ for all but finitely many $n\geq 0$. Assuming $\lim_{n\to\infty}\operatorname{diam} \left(B_n\right)$ exists, we show that $\dim_H K\left(\left\{B_n\right\}\right)=1$ if and only if $\lim_{n\to\infty}\operatorname{diam} \left(B_n\right)=0$. For any positive function $φ$ on $\mathbb{N}$, let $E\left(φ\right)$ be the set of $x\in[0,1)$ satisfying $|T_b^n (x)-x|\geq φ(n)$ for all but finitely many $n$. If $\lim_{n\to\infty}φ(n)$ exists, then $\dim_H E(φ)=1$ if and only if $\lim_{n\to\infty}φ(n)=0$. Our results can be applied to study joint spectral radius of matrices. We show that the finiteness property for the joint spectral radius of associated adjacency matrices holds true. △ Less

Submitted 4 May, 2025; originally announced May 2025.

Rational points in Cantor sets and spectral eigenvalue problem for self-similar spectral measures

Authors: Derong Kong, Kun Li, Zhiqiang Wang

Abstract: Given $q\in \mathbb{N}_{\ge 3}$ and a finite set $A\subset\mathbb{Q}$, let $$K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}.$$ For $p\in\mathbb{N}_{\ge 2}$ let $D_p\subset\mathbb{R}$ be the set of all rational numbers having a finite $p$-ary expansion. We show in this paper that for $p \in \mathbb{N}_{\ge 2}$ with $\gcd(p,q)=1$, the intersection… ▽ More Given $q\in \mathbb{N}_{\ge 3}$ and a finite set $A\subset\mathbb{Q}$, let $$K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}.$$ For $p\in\mathbb{N}_{\ge 2}$ let $D_p\subset\mathbb{R}$ be the set of all rational numbers having a finite $p$-ary expansion. We show in this paper that for $p \in \mathbb{N}_{\ge 2}$ with $\gcd(p,q)=1$, the intersection $D_p\cap K(q, A)$ is a finite set if and only if $\dim_H K(q, A)<1$, which is also equivalent to the fact that the set $K(q, A)$ has no interiors. We apply this result to study the spectral eigenvalue problem. For a Borel probability measure $μ$ on $\mathbb{R}$, a real number $t\in \mathbb{R}$ is called a spectral eigenvalue of $μ$ if both $E(Λ) =\big\{ e^{2 π\mathrm{i} λx}: λ\in Λ\big\}$ and $E(tΛ) = \big\{ e^{2 π\mathrm{i} tλx}: λ\in Λ\big\}$ are orthonormal bases in $L^2(μ)$ for some $Λ\subset \mathbb{R}$. For any self-similar spectral measure generated by a Hadamard triple, we provide a class of spectral eigenvalues which is dense in $[0,+\infty)$, and show that every eigen-subspace associated with these spectral eigenvalues is infinite. △ Less

Submitted 28 March, 2025; originally announced March 2025.

Comments: 16 pages

MSC Class: 28A80; 11A63; 42C05

Phase transitions for unique codings of fat Sierpinski gasket with multiple digits

Authors: Yi Cai, Derong Kong, Wenxia Li, Yuhan Zhang

Abstract: Given an integer $M\ge 1$ and $β\in(1, M+1)$, let $S_{β, M}$ be the fat Sierpinski gasket in $\mathbb R^2$ generated by the iterated function system $\left\{f_d(x)=\frac{x+d}β: d\inΩ_M\right\}$, where $Ω_M=\{(i,j)\in\mathbb Z_{\ge 0}^2: i+j\le M\}$. Then each $x\in S_{β, M}$ may represent as a series $x=\sum_{i=1}^\infty\frac{d_i}{β^i}=:Π_β((d_i))$, and the infinite sequence… ▽ More Given an integer $M\ge 1$ and $β\in(1, M+1)$, let $S_{β, M}$ be the fat Sierpinski gasket in $\mathbb R^2$ generated by the iterated function system $\left\{f_d(x)=\frac{x+d}β: d\inΩ_M\right\}$, where $Ω_M=\{(i,j)\in\mathbb Z_{\ge 0}^2: i+j\le M\}$. Then each $x\in S_{β, M}$ may represent as a series $x=\sum_{i=1}^\infty\frac{d_i}{β^i}=:Π_β((d_i))$, and the infinite sequence $(d_i)\inΩ_M^{\mathbb N}$ is called a \emph{coding} of $x$. Since $β<M+1$, a point in $S_{β, M}$ may have multiple codings. Let $U_{β, M}$ be the set of $x\in S_{β, M}$ having a unique coding, that is \[ U_{β, M}=\left\{x\in S_{β, M}: \#Π_β^{-1}(x)=1\right\}. \] When $M=1$, Kong and Li [2020, Nonlinearity] described two critical bases for the phase transitions of the intrinsic univoque set $\widetilde U_{β, 1}$, which is a subset of $U_{β, 1}$. In this paper we consider $M\ge 2$, and characterize the two critical bases $β_G(M)$ and $β_c(M)$ for the phase transitions of $U_{β, M}$: (i) if $β\in(1, β_G(M)]$, then $U_{β, M}$ is finite; (ii) if $β\in(β_G(M), β_c(M))$ then $U_{β, M}$ is countably infinite; (iii) if $β=β_c(M)$ then $U_{β, M}$ is uncountable and has zero Hausdorff dimension; (iv) if $β>β_c(M)$ then $U_{β, M}$ has positive Hausdorff dimension. Our results can also be applied to the intrinsic univoque set $\widetilde{U}_{β, M}$. Moreover, we show that the first critical base $β_G(M)$ is a perron number, while the second critical base $β_c(M)$ is a transcendental number. △ Less

Submitted 19 January, 2025; originally announced January 2025.

Comments: 38 pages, 7 figures and 1 table

The $β$-transformation with a hole at $0$: the general case

Authors: Pieter Allaart, Derong Kong

Abstract: Given $β>1$, let $T_β$ be the $β$-transformation on the unit circle $[0,1)$, defined by $T_β(x)=βx\pmod 1$. For each $t\in[0,1)$ let $K_β(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_β(x): n\ge 0\}$ never hits the interval $[0,t)$. Kalle et al.~[{\em Ergodic Theory Dynam. Systems} {\bf 40} (2020), no.~9, 2482--2514] considered the case $β\in(1,2]$. They studied the set-… ▽ More Given $β>1$, let $T_β$ be the $β$-transformation on the unit circle $[0,1)$, defined by $T_β(x)=βx\pmod 1$. For each $t\in[0,1)$ let $K_β(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_β(x): n\ge 0\}$ never hits the interval $[0,t)$. Kalle et al.~[{\em Ergodic Theory Dynam. Systems} {\bf 40} (2020), no.~9, 2482--2514] considered the case $β\in(1,2]$. They studied the set-valued bifurcation set $\mathscr{E}_β:=\{t\in[0,1): K_β(t')\ne K_β(t)~\forall t'>t\}$ and proved that the Hausdorff dimension function $t\mapsto\dim_H K_β(t)$ is a non-increasing Devil's staircase. In a previous paper [{\em Ergodic Theory Dynam. Systems} {\bf 43} (2023), no.~6, 1785--1828] we determined, for all $β\in(1,2]$, the critical value $τ(β):=\min\{t>0: η_β(t)=0\}$. The purpose of the present article is to extend these results to all $β>1$. In addition to calculating $τ(β)$, we show that (i) the function $τ: β\mapstoτ(β)$ is left continuous on $(1,\infty)$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $τ$ has no downward jumps; and (iii) there exists an open set $O\subset(1,\infty)$, whose complement $(1,\infty)\backslash O$ has zero Hausdorff dimension, such that $τ$ is real-analytic, strictly convex and strictly decreasing on each connected component of $O$. We also prove several topological properties of the bifurcation set $\mathscr{E}_β$. The key to extending the results from $β\in(1,2]$ to all $β>1$ is an appropriate generalization of the Farey words that are used to parametrize the connected components of the set $O$. Some of the original proofs from the above-mentioned papers are simplified. △ Less

Submitted 5 November, 2024; originally announced November 2024.

Comments: 22 pages, 2 figures

MSC Class: Primary: 37B10; 28A78; Secondary: 68R15; 26A30; 37E05

On the strong separation condition for self-similar iterated function systems with random translations

Authors: Simon Baker, Derong Kong, Zhiqiang Wang

Abstract: Given a self-similar iterated function system $Φ=\{ φ_i(x)=ρ_i O_i x+t_i \}_{i=1}^m$ acting on $\mathbb{R}^d$, we can generate a parameterised family of iterated function systems by replacing each $t_i$ with a random vector in $\mathbb{R}^d$. In this paper we study whether a Lebesgue typical member of this family will satisfy the strong separation condition. Our main results show that if the simil… ▽ More Given a self-similar iterated function system $Φ=\{ φ_i(x)=ρ_i O_i x+t_i \}_{i=1}^m$ acting on $\mathbb{R}^d$, we can generate a parameterised family of iterated function systems by replacing each $t_i$ with a random vector in $\mathbb{R}^d$. In this paper we study whether a Lebesgue typical member of this family will satisfy the strong separation condition. Our main results show that if the similarity dimension of $Φ$ is sufficiently small, then a Lebesgue typical member of this family will satisfy the strong separation condition. △ Less

Submitted 6 September, 2024; v1 submitted 25 January, 2024; originally announced January 2024.

Comments: The main results are covered by Theorem 1.1 in [M. Rams and J. L. Véhel, Results on the dimension spectrum for self-conformal measures. Nonlinearity 20 (2007), no.4, 965-973. https://iopscience.iop.org/article/10.1088/0951-7715/20/4/009]

MSC Class: 28A78; 28A80

Periodic unique codings of fat Sierpinski gasket

Authors: Derong Kong, Yuhan Zhang

Abstract: For $β>1$ let $S_β$ be the Sierpinski gasket generated by the iterated function system \[\left\{f_{α_0}(x,y)=\Big(\frac{x}β,\frac{y}β\Big), \quad f_{α_1}(x,y)=\Big(\frac{x+1}β, \frac{y}β\Big), \quad f_{α_2}(x,y)=\Big(\frac{x}β, \frac{y+1}β\Big)\right\}.\] If $β\in(1,2]$, then the overlap region $O_β:=\bigcup_{i\ne j}f_{α_i}(Δ_β)\cap f_{α_j}(Δ_β)$ is nonempty, where $Δ_β$ is the convex hull of… ▽ More For $β>1$ let $S_β$ be the Sierpinski gasket generated by the iterated function system \[\left\{f_{α_0}(x,y)=\Big(\frac{x}β,\frac{y}β\Big), \quad f_{α_1}(x,y)=\Big(\frac{x+1}β, \frac{y}β\Big), \quad f_{α_2}(x,y)=\Big(\frac{x}β, \frac{y+1}β\Big)\right\}.\] If $β\in(1,2]$, then the overlap region $O_β:=\bigcup_{i\ne j}f_{α_i}(Δ_β)\cap f_{α_j}(Δ_β)$ is nonempty, where $Δ_β$ is the convex hull of $S_β$. In this paper we study the periodic codings of the univoque set \[ \mathbf U_β:=\left\{(d_i)_{i=1}^\infty\in\{(0,0), (1,0), (0,1)\}^\mathbb N: \sum_{i=1}^\infty d_{n+i}β^{-i}\in S_β\setminus O_β~\forall n\ge 0\right\}. \] More precisely, we determine for each $k\in\mathbb N$ the smallest base $β_k\in(1,2]$ such that for any $β>β_k$ the set $\mathbf U_β$ contains a sequence of smallest period $k$. We show that each $β_k$ is a Perron number, and the sequence $(β_k)$ has infinitely many accumulation points. Furthermore, we show that $β_{3k}>β_{3\ell}$ if and only if $k$ is larger than $\ell$ in the Sharkovskii ordering; and the sequences $ (β_{3\ell+1}), (β_{3\ell+2})$ decreasingly converge to the same limit point $β_a\approx 1.55898$, respectively. In particular, we find that $β_{6m+4}=β_{3m+2}$ for all $m\ge 0$. Consequently, we prove that if $\mathbf U_β$ contains a sequence of smallest period $2$ or $4$, then $\mathbf U_β$ contains a sequence of smallest period $k$ for any $k\in\mathbb N$. △ Less

Submitted 23 November, 2023; originally announced November 2023.

Comments: 34 pages, 6 figures

Gaussian variational approximation with composite likelihood for crossed random effect models

Authors: Libai Xu, Nancy Reid, Dehan Kong

Abstract: Composite likelihood usually ignores dependencies among response components, while variational approximation to likelihood ignores dependencies among parameter components. We derive a Gaussian variational approximation to the composite log-likelihood function for Poisson and Gamma regression models with crossed random effects. We show consistency and asymptotic normality of the estimates derived f… ▽ More Composite likelihood usually ignores dependencies among response components, while variational approximation to likelihood ignores dependencies among parameter components. We derive a Gaussian variational approximation to the composite log-likelihood function for Poisson and Gamma regression models with crossed random effects. We show consistency and asymptotic normality of the estimates derived from this approximation and support this theory with some simulation studies. The approach is computationally much faster than a Gaussian variational approximation to the full log-likelihood function. △ Less

Submitted 19 October, 2023; v1 submitted 19 October, 2023; originally announced October 2023.

Fractal Sumset Properties

Authors: Derong Kong, Zhiqiang Wang

Abstract: In this paper we introduce two notions of fractal sumset properties. A compact set $K\subset\mathbb{R}^d$ is said to have the Hausdorff sumset property (HSP) if for any $\ell\in\mathbb{N}_{\ge 2}$ there exist compact sets $K_1, K_2,\ldots, K_\ell$ such that $K_1+K_2+\cdots+K_\ell\subset K$ and $\dim_H K_i=\dim_H K$ for all $1\le i\le \ell$. Analogously, if we replace the Hausdorff dimension by the… ▽ More In this paper we introduce two notions of fractal sumset properties. A compact set $K\subset\mathbb{R}^d$ is said to have the Hausdorff sumset property (HSP) if for any $\ell\in\mathbb{N}_{\ge 2}$ there exist compact sets $K_1, K_2,\ldots, K_\ell$ such that $K_1+K_2+\cdots+K_\ell\subset K$ and $\dim_H K_i=\dim_H K$ for all $1\le i\le \ell$. Analogously, if we replace the Hausdorff dimension by the packing dimension in the definition of HSP, then the compact set $K\subset\mathbb{R}^d$ is said to have the packing sumset property (PSP). We show that the HSP fails for certain homogeneous self-similar sets satisfying the strong separation condition, while the PSP holds for all homogeneous self-similar sets in $\mathbb{R}^d$. △ Less

Submitted 4 June, 2024; v1 submitted 20 August, 2023; originally announced August 2023.

Comments: 11 pages, final version

MSC Class: Primary: 28A80; Secondary: 11B13; 28A78

Journal ref: Acta Math. Hungar. 172, 400-412, 2024

Provably Feedback-Efficient Reinforcement Learning via Active Reward Learning

Authors: Dingwen Kong, Lin F. Yang

Abstract: An appropriate reward function is of paramount importance in specifying a task in reinforcement learning (RL). Yet, it is known to be extremely challenging in practice to design a correct reward function for even simple tasks. Human-in-the-loop (HiL) RL allows humans to communicate complex goals to the RL agent by providing various types of feedback. However, despite achieving great empirical succ… ▽ More An appropriate reward function is of paramount importance in specifying a task in reinforcement learning (RL). Yet, it is known to be extremely challenging in practice to design a correct reward function for even simple tasks. Human-in-the-loop (HiL) RL allows humans to communicate complex goals to the RL agent by providing various types of feedback. However, despite achieving great empirical successes, HiL RL usually requires too much feedback from a human teacher and also suffers from insufficient theoretical understanding. In this paper, we focus on addressing this issue from a theoretical perspective, aiming to provide provably feedback-efficient algorithmic frameworks that take human-in-the-loop to specify rewards of given tasks. We provide an active-learning-based RL algorithm that first explores the environment without specifying a reward function and then asks a human teacher for only a few queries about the rewards of a task at some state-action pairs. After that, the algorithm guarantees to provide a nearly optimal policy for the task with high probability. We show that, even with the presence of random noise in the feedback, the algorithm only takes $\widetilde{O}(H{{\dim_{R}^2}})$ queries on the reward function to provide an $ε$-optimal policy for any $ε> 0$. Here $H$ is the horizon of the RL environment, and $\dim_{R}$ specifies the complexity of the function class representing the reward function. In contrast, standard RL algorithms require to query the reward function for at least $Ω(\operatorname{poly}(d, 1/ε))$ state-action pairs where $d$ depends on the complexity of the environmental transition. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 36th Conference on Neural Information Processing Systems (NeurIPS 2022)

Entropy plateaus, transitivity and bifurcation sets for the $β$-transformation with a hole at $0$

Authors: Pieter Allaart, Derong Kong

Abstract: Given $β\in(1,2]$, let $T_β$ be the $β$-transformation on the unit circle $[0,1)$ such that $T_β(x)=βx\pmod 1$. For each $t\in[0,1)$ let $K_β(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_β(x): n\ge 0\}$ never enters the interval $[0,t)$. Letting $\mathscr{E}_β$ denote the bifurcation set of the set-valued map $t\mapsto K_β(t)$, Kalle et al. [Ergodic Theory Dynam. System… ▽ More Given $β\in(1,2]$, let $T_β$ be the $β$-transformation on the unit circle $[0,1)$ such that $T_β(x)=βx\pmod 1$. For each $t\in[0,1)$ let $K_β(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_β(x): n\ge 0\}$ never enters the interval $[0,t)$. Letting $\mathscr{E}_β$ denote the bifurcation set of the set-valued map $t\mapsto K_β(t)$, Kalle et al. [Ergodic Theory Dynam. Systems, 40 (9): 2482--2514, 2020] conjectured that \[ \dim_H\big(\mathscr{E}_β\cap[t,1]\big)=\dim_H K_β(t) \qquad \forall\,t\in(0,1). \] The main purpose of this article is to prove this conjecture. We do so by investigating dynamical properties of the symbolic equivalent of the survivor set $K_β(t)$, in particular its entropy and topological transitivity. In addition, we compare $\mathscr{E}_β$ with the bifurcation set $\mathscr{B}_β$ of the map $t\mapsto \dim_H K_β(t)$ (which is a decreasing devil's staircase by a theorem of Kalle et al.), and show that, for Lebesgue-almost every $β\in(1,2]$, the difference $\mathscr{E}_β\backslash\mathscr{B}_β$ has positive Hausdorff dimension, but for every $k\in\{0,1,2,\dots\}\cup\{\aleph_0\}$, there are infinitely many values of $β$ such that the cardinality of $\mathscr{E}_β\backslash\mathscr{B}_β$ is exactly $k$. For a countable but dense subset of $β$'s, we also determine the intervals of constancy of the function $t\mapsto \dim_H K_β(t)$. Some connections with other topics in dynamics, such as kneading invariants of Lorenz maps and the doubling map with an arbitrary hole, are also discussed. △ Less

Submitted 16 June, 2023; v1 submitted 13 April, 2023; originally announced April 2023.

Comments: 66 pages, 1 figure. One more theorem was added (Theorem 1.4) and the paper was thoroughly reorganized

MSC Class: Primary: 37B10; 28A78; Secondary: 68R15; 26A30; 37E05; 37B40

Dual and Generalized Dual Cones in Banach Spaces

Authors: Akhtar A. Khan, Dezhou Kong, Jinlu Li

Abstract: The primary objective of this paper is to propose and analyze the notion of dual cones associated with the metric projection and generalized projection in Banach spaces. We show that the dual cones, related to the metric projection and generalized metric projection, lose many important properties in transitioning from Hilbert spaces to Banach spaces. We also propose and analyze the notions of face… ▽ More The primary objective of this paper is to propose and analyze the notion of dual cones associated with the metric projection and generalized projection in Banach spaces. We show that the dual cones, related to the metric projection and generalized metric projection, lose many important properties in transitioning from Hilbert spaces to Banach spaces. We also propose and analyze the notions of faces and visions in Banach spaces and relate them to the metric projection and generalized projection. We provide many illustrative examples to give insight into the given results. △ Less

Submitted 6 March, 2023; v1 submitted 28 February, 2023; originally announced March 2023.

MSC Class: 41A10; 41A50; 47A05; 58C06

Pointwise error estimates and local superconvergence of Jacobi expansions

Authors: Shuhuang Xiang, Desong Kong, Guidong Liu, Li-Lian Wang

Abstract: As one myth of polynomial interpolation and quadrature, Trefethen [30] revealed that the Chebyshev interpolation of $|x-a|$ (with $|a|<1 $) at the Clenshaw-Curtis points exhibited a much smaller error than the best polynomial approximation (in the maximum norm) in about $95\%$ range of $[-1,1]$ except for a small neighbourhood near the singular point $x=a.$ In this paper, we rigorously show that t… ▽ More As one myth of polynomial interpolation and quadrature, Trefethen [30] revealed that the Chebyshev interpolation of $|x-a|$ (with $|a|<1 $) at the Clenshaw-Curtis points exhibited a much smaller error than the best polynomial approximation (in the maximum norm) in about $95\%$ range of $[-1,1]$ except for a small neighbourhood near the singular point $x=a.$ In this paper, we rigorously show that the Jacobi expansion for a more general class of $Φ$-functions also enjoys such a local convergence behaviour. Our assertion draws on the pointwise error estimate using the reproducing kernel of Jacobi polynomials and the Hilb-type formula on the asymptotic of the Bessel transforms. We also study the local superconvergence and show the gain in order and the subregions it occurs. As a by-product of this new argument, the undesired $\log n$-factor in the pointwise error estimate for the Legendre expansion recently stated in Babuuska and Hakula [5] can be removed. Finally, all these estimates are extended to the functions with boundary singularities. We provide ample numerical evidences to demonstrate the optimality and sharpness of the estimates. △ Less

Submitted 11 February, 2023; originally announced February 2023.

Comments: 34 pages, 10 figures

MSC Class: 41A10; 41A25; 41A50; 65N35; 65M70

On the union of homogeneous symmetric Cantor set with its translations

Authors: Derong Kong, Wenxia Li, Zhiqiang Wang, Yuanyuan Yao, Yunxiu Zhang

Abstract: Fix a positive integer $N$ and a real number $0< β< 1/(N+1)$. Let $Γ$ be the homogeneous symmetric Cantor set generated by the IFS $$ \Big\{ φ_i(x)=βx + i \frac{1-β}{N}: i=0,1,\cdots, N \Big\}. $$ For $m\in\mathbb{Z}_+$ we show that there exist infinitely many translation vectors $\mathbf t=(t_0,t_1,\cdots, t_m)$ with $0=t_0<t_1<\cdots<t_m$ such that the union $\bigcup_{j=0}^m(Γ+t_j)$ is a self-si… ▽ More Fix a positive integer $N$ and a real number $0< β< 1/(N+1)$. Let $Γ$ be the homogeneous symmetric Cantor set generated by the IFS $$ \Big\{ φ_i(x)=βx + i \frac{1-β}{N}: i=0,1,\cdots, N \Big\}. $$ For $m\in\mathbb{Z}_+$ we show that there exist infinitely many translation vectors $\mathbf t=(t_0,t_1,\cdots, t_m)$ with $0=t_0<t_1<\cdots<t_m$ such that the union $\bigcup_{j=0}^m(Γ+t_j)$ is a self-similar set. Furthermore, for $0< β< 1/(2N+1)$, we give a complete characterization on which the union $\bigcup_{j=0}^m(Γ+t_j)$ is a self-similar set. Our characterization relies on determining whether some related directed graph has no cycles, or whether some related adjacency matrix is nilpotent. △ Less

Submitted 4 May, 2023; v1 submitted 3 February, 2023; originally announced February 2023.

Comments: 22 pages. We gave a checkable condition for the admissibility of a translation vector

Projections of four corner Cantor set: total self-similarity, spectrum and unique codings

Authors: Derong Kong, Beibei Sun

Abstract: Given $ρ\in (0,1/4]$, the four corner Cantor set $E\subset \mathbb{R}^{2}$ is a self-similar set generated by the iterated function system \[ \left\{(ρx, ρy), \quad(ρx, ρy+1-ρ),\quad (ρx+1-ρ, ρy),\quad(ρx+1-ρ,ρy+1-ρ)\right\}. \] For $θ\in[0,π)$ let $E_θ$ be the orthogonal projection of $E$ onto a line with an angle $θ$ to the $x$-axis. In this paper we give a complete characterization on w… ▽ More Given $ρ\in (0,1/4]$, the four corner Cantor set $E\subset \mathbb{R}^{2}$ is a self-similar set generated by the iterated function system \[ \left\{(ρx, ρy), \quad(ρx, ρy+1-ρ),\quad (ρx+1-ρ, ρy),\quad(ρx+1-ρ,ρy+1-ρ)\right\}. \] For $θ\in[0,π)$ let $E_θ$ be the orthogonal projection of $E$ onto a line with an angle $θ$ to the $x$-axis. In this paper we give a complete characterization on which the projection $E_θ$ is totally self-similar. We also study the spectrum of $E_θ$, which turns out that the spectrum of $E_θ$ achieves its maximum value if and only if $E_θ$ is totally self-similar. Furthermore, when $E_θ$ is totally self-similar, we calculate its Hausdorff dimension and study the subset $U_θ$ which consists of all $x\in E_θ$ having a unique coding. In particular, we show that $\dim_H U_θ=\dim_H E_θ$ for Lebesgue almost every $θ\in[0,π)$. Finally, for $ρ=1/4$ we describe the distribution of $θ$ in which $E_θ$ contains an interval. It turns out that the possibility for $E_θ$ to contain an interval is smaller than that for $E_θ$ to have an exact overlap. △ Less

Submitted 19 March, 2024; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: 33 pages, 3 figures

Eigenvalue Analysis and Applications of the Legendre Dual-Petrov-Galerkin Methods for Initial Value Problems

Authors: Desong Kong, Jie Shen, Li-Lian Wang, Shuhuang Xiang

Abstract: In this paper, we show that the eigenvalues and eigenvectors of the spectral discretisation matrices resulted from the Legendre dual-Petrov-Galerkin (LDPG) method for the $m$th-order initial value problem (IVP): $u^{(m)}(t)=σu(t),\, t\in (-1,1)$ with constant $σ\not=0$ and usual initial conditions at $t=-1,$ are associated with the generalised Bessel polynomials (GBPs). The essential idea of the a… ▽ More In this paper, we show that the eigenvalues and eigenvectors of the spectral discretisation matrices resulted from the Legendre dual-Petrov-Galerkin (LDPG) method for the $m$th-order initial value problem (IVP): $u^{(m)}(t)=σu(t),\, t\in (-1,1)$ with constant $σ\not=0$ and usual initial conditions at $t=-1,$ are associated with the generalised Bessel polynomials (GBPs). The essential idea of the analysis is to properly construct the basis functions for the solution and its dual spaces so that the matrix of the $m$th derivative is an identity matrix, and the mass matrix is then identical or approximately equals to the Jacobi matrix of the three-term recurrence of GBPs with specific integer parameters. This allows us to characterise the eigenvalue distributions and identify the eigenvectors. As a by-product, we are able to answer some open questions related to the very limited known results on the collocation method at Legendre points (studied in 1980s) for the first-order IVP, by reformulating it into a Petrov-Galerkin formulation. Moreover, we present two stable algorithms for computing zeros of the GBPs, and develop a general space-time spectral method for evolutionary PDEs using either the matrix diagonalisation, which is restricted to a small number of unknowns in time due to the ill-conditioning but is fully parallel, or the QZ decomposition which is numerically stable for a large number of unknowns in time but involves sequential computations. We provide ample numerical results to demonstrate the high accuracy and robustness of the space-time spectral methods for some interesting examples of linear and nonlinear wave problems. △ Less

Submitted 19 November, 2022; originally announced November 2022.

Comments: 25 pages, 31 figures

MSC Class: 65M70; 65L15; 65F15; 33C45

Univoque bases of real numbers: simply normal bases, irregular bases and multiple rationals

Authors: Yu Hu, Yan Huang, Derong Kong

Abstract: Given a positive integer $M$ and a real number $x\in(0,1]$, we call $q\in(1,M+1]$ a univoque simply normal base of $x$ if there exists a unique simply normal sequence $(d_i)\in\{0,1,\ldots,M\}^\mathbb N$ such that $x=\sum_{i=1}^\infty d_i q^{-i}$. Similarly, a base $q\in(1,M+1]$ is called a univoque irregular base of $x$ if there exists a unique sequence $(d_i)\in\{0,1,\ldots, M\}^\mathbb N$ such… ▽ More Given a positive integer $M$ and a real number $x\in(0,1]$, we call $q\in(1,M+1]$ a univoque simply normal base of $x$ if there exists a unique simply normal sequence $(d_i)\in\{0,1,\ldots,M\}^\mathbb N$ such that $x=\sum_{i=1}^\infty d_i q^{-i}$. Similarly, a base $q\in(1,M+1]$ is called a univoque irregular base of $x$ if there exists a unique sequence $(d_i)\in\{0,1,\ldots, M\}^\mathbb N$ such that $x=\sum_{i=1}^\infty d_i q^{-i}$ and the sequence $(d_i)$ has no digit frequency. Let $\mathcal U_{SN}(x)$ and $\mathcal U_{I_r}(x)$ be the sets of univoque simply normal bases and univoque irregular bases of $x$, respectively. In this paper we show that for any $x\in(0,1]$ both $\mathcal U_{SN}(x)$ and $\mathcal U_{I_r}(x)$ have full Hausdorff dimension. Furthermore, given finitely many rationals $x_1, x_2, \ldots, x_n\in(0,1]$ so that each $x_i$ has a finite expansion in base $M+1$, we show that there exists a full Hausdorff dimensional set of $q\in(1,M+1]$ such that each $x_i$ has a unique expansion in base $q$. △ Less

Submitted 14 July, 2022; originally announced July 2022.

Comments: 25 pages, 2 figures

Rational Points in Translations of The Cantor Set

Authors: Kan Jiang, Derong Kong, Wenxia Li, Zhiqiang Wang

Abstract: Given two coprime integers $p\ge 2$ and $q \ge 3$, let $D_p\subset[0,1)$ consist of all rational numbers which have a finite $p$-ary expansion, and let $$ K(q, \mathcal{A})=\bigg\{ \sum_{i=1}^\infty \frac{d_i}{q^i}: d_i\in \mathcal{A}~ \forall i\in\mathbb{N} \bigg\}, $$ where $\mathcal{A} \subset \{0,1,\ldots, q-1\}$ with cardinality $1<\#\mathcal{A}< q$. In 2021 Schleischitz showed that… ▽ More Given two coprime integers $p\ge 2$ and $q \ge 3$, let $D_p\subset[0,1)$ consist of all rational numbers which have a finite $p$-ary expansion, and let $$ K(q, \mathcal{A})=\bigg\{ \sum_{i=1}^\infty \frac{d_i}{q^i}: d_i\in \mathcal{A}~ \forall i\in\mathbb{N} \bigg\}, $$ where $\mathcal{A} \subset \{0,1,\ldots, q-1\}$ with cardinality $1<\#\mathcal{A}< q$. In 2021 Schleischitz showed that $\#(D_p\cap K(q,\mathcal{A}))<+\infty$. In this paper we show that for any $r\in\mathbb{Q}$ and for any $α\in\mathbb{R}$, $$ \#\big((r D_p+α)\cap K(q,\mathcal{A})\big)<+\infty. $$ △ Less

Submitted 4 June, 2024; v1 submitted 10 April, 2022; originally announced April 2022.

Comments: 8 pages, final version

MSC Class: Primary: 11A63

Journal ref: Indagationes Mathematicae, 2024

Studying the mixed transmission in a community with age heterogeneity: COVID-19 as a case study

Authors: Xiaoying Wang, Qing Han, Jude Dzevela Kong

Abstract: COVID-19 has been prevalent worldwide for about 2 years now and has brought unprecedented challenges to our society. Before vaccines were available, the main disease intervention strategies were non-pharmaceutical. Starting December 2020, in Ontario, Canada, vaccines were approved for administering to vulnerable individuals and gradually expanded to all individuals above the age of 12. As the vacc… ▽ More COVID-19 has been prevalent worldwide for about 2 years now and has brought unprecedented challenges to our society. Before vaccines were available, the main disease intervention strategies were non-pharmaceutical. Starting December 2020, in Ontario, Canada, vaccines were approved for administering to vulnerable individuals and gradually expanded to all individuals above the age of 12. As the vaccine coverage reached a satisfactory level among the eligible population, normal social activities resumed and schools reopened starting September 2021. However, when schools reopen for in-person learning, children under the age of 12 are unvaccinated and are at higher risks of contracting the virus. We propose an age-stratified model based on the age and vaccine eligibility of the individuals. We fit our model to the data in Ontario, Canada and obtain a good fitting result. The results show that a relaxed between-group contact rate may trigger future epidemic waves more easily than an increased within-group contact rate. An increasing mixed contact rate of the older group quickly amplifies the daily incidence numbers for both groups whereas an increasing mixed contact rate of the younger group mainly leads to future waves in the younger group alone. The results indicate the importance of accelerating vaccine rollout for younger individuals in mitigating disease spread. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Intersections of middle-$α$ Cantor sets with a fixed translation

Authors: Yan Huang, Derong Kong

Abstract: For $λ\in(0,1/3]$ let $C_λ$ be the middle-$(1-2λ)$ Cantor set in $\mathbb R$. Given $t\in[-1,1]$, excluding the trivial case we show that \[ Λ(t):=\left\{λ\in(0,1/3]: C_λ\cap(C_λ+t)\ne\emptyset\right\} \] is a topological Cantor set with zero Lebesgue measure and full Hausdorff dimension. In particular, we calculate the local dimension of $Λ(t)$, which reveals a dimensional variation principle. Fu… ▽ More For $λ\in(0,1/3]$ let $C_λ$ be the middle-$(1-2λ)$ Cantor set in $\mathbb R$. Given $t\in[-1,1]$, excluding the trivial case we show that \[ Λ(t):=\left\{λ\in(0,1/3]: C_λ\cap(C_λ+t)\ne\emptyset\right\} \] is a topological Cantor set with zero Lebesgue measure and full Hausdorff dimension. In particular, we calculate the local dimension of $Λ(t)$, which reveals a dimensional variation principle. Furthermore, for any $β\in[0,1]$ we show that the level set \[ Λ_β(t):=\left\{λ\inΛ(t): \dim_H(C_λ\cap(C_λ+t))=\dim_P(C_λ\cap(C_λ+t))=β\frac{\log 2}{-\log λ}\right\} \] has equal Hausdorff and packing dimension $(-β\logβ-(1-β)\log\frac{1-β}{2})/\log 3$. We also show that the set of $λ\inΛ(t)$ for which $\dim_H(C_λ\cap(C_λ+t))\ne\dim_P(C_λ\cap(C_λ+t))$ has full Hausdorff dimension. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Comments: 32 pages, 3 figures

On a class of self-similar sets which contain finitely many common points

Authors: Kan Jiang, Derong Kong, Wenxia Li, Zhiqiang Wang

Abstract: For $λ\in(0,1/2]$ let $K_λ\subset\mathbb{R}$ be a self-similar set generated by the iterated function system $\{λx, λx+1-λ\}$. Given $x\in(0,1/2)$, let $Λ(x)$ be the set of $λ\in(0,1/2]$ such that $x\in K_λ$. In this paper we show that $Λ(x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, we show that for any $y_1,\ldots, y_p\in(0,1/2)$ there ex… ▽ More For $λ\in(0,1/2]$ let $K_λ\subset\mathbb{R}$ be a self-similar set generated by the iterated function system $\{λx, λx+1-λ\}$. Given $x\in(0,1/2)$, let $Λ(x)$ be the set of $λ\in(0,1/2]$ such that $x\in K_λ$. In this paper we show that $Λ(x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, we show that for any $y_1,\ldots, y_p\in(0,1/2)$ there exists a full Hausdorff dimensional set of $λ\in(0,1/2]$ such that $y_1,\ldots, y_p \in K_λ$. △ Less

Submitted 4 June, 2024; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: 21 pages, 1 figure, final version

MSC Class: Primary: 28A78; Secondary: 28A80; 37B10

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics, 2024

Critical values for the $β$-transformation with a hole at $0$

Authors: Pieter Allaart, Derong Kong

Abstract: Given $β\in(1,2]$, let $T_β$ be the $β$-transformation on the unit circle $[0,1)$ such that $T_β(x)=βx\pmod 1$. For each $t\in[0,1)$ let $K_β(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_β(x): n\ge 0\}$ never hits the open interval $(0,t)$. Kalle et al. proved in [Ergodic Theory Dynam. Systems, 40 (9): 2482--2514, 2020] that the Hausdorff dimension function… ▽ More Given $β\in(1,2]$, let $T_β$ be the $β$-transformation on the unit circle $[0,1)$ such that $T_β(x)=βx\pmod 1$. For each $t\in[0,1)$ let $K_β(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_β(x): n\ge 0\}$ never hits the open interval $(0,t)$. Kalle et al. proved in [Ergodic Theory Dynam. Systems, 40 (9): 2482--2514, 2020] that the Hausdorff dimension function $t\mapsto\dim_H K_β(t)$ is a non-increasing Devil's staircase. So there exists a critical value $τ(β)$ such that $\dim_H K_β(t)>0$ if and only if $t<τ(β)$. In this paper we determine the critical value $τ(β)$ for all $β\in(1,2]$, answering a question of Kalle et al. (2020). For example, we find that for the Komornik-Loreti constant $β\approx 1.78723$ we have $τ(β)=(2-β)/(β-1)$. Furthermore, we show that (i) the function $τ: β\mapstoτ(β)$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $τ$ has no downward jumps, with $τ(1+)=0$ and $τ(2)=1/2$; and (iii) there exists an open set $O\subset(1,2]$, whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $τ$ is real-analytic, convex and strictly decreasing on each connected component of $O$. Consequently, the dimension $\dim_H K_β(t)$ is not jointly continuous in $β$ and $t$. Our strategy to find the critical value $τ(β)$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems. △ Less

Submitted 21 September, 2021; originally announced September 2021.

Comments: 40 pages, 2 figures and 1 table

Online Sub-Sampling for Reinforcement Learning with General Function Approximation

Authors: Dingwen Kong, Ruslan Salakhutdinov, Ruosong Wang, Lin F. Yang

Abstract: Most of the existing works for reinforcement learning (RL) with general function approximation (FA) focus on understanding the statistical complexity or regret bounds. However, the computation complexity of such approaches is far from being understood -- indeed, a simple optimization problem over the function class might be as well intractable. In this paper, we tackle this problem by establishing… ▽ More Most of the existing works for reinforcement learning (RL) with general function approximation (FA) focus on understanding the statistical complexity or regret bounds. However, the computation complexity of such approaches is far from being understood -- indeed, a simple optimization problem over the function class might be as well intractable. In this paper, we tackle this problem by establishing an efficient online sub-sampling framework that measures the information gain of data points collected by an RL algorithm and uses the measurement to guide exploration. For a value-based method with complexity-bounded function class, we show that the policy only needs to be updated for $\propto\operatorname{poly}\log(K)$ times for running the RL algorithm for $K$ episodes while still achieving a small near-optimal regret bound. In contrast to existing approaches that update the policy for at least $Ω(K)$ times, our approach drastically reduces the number of optimization calls in solving for a policy. When applied to settings in \cite{wang2020reinforcement} or \cite{jin2021bellman}, we improve the overall time complexity by at least a factor of $K$. Finally, we show the generality of our online sub-sampling technique by applying it to the reward-free RL setting and multi-agent RL setting. △ Less

Submitted 18 April, 2023; v1 submitted 14 June, 2021; originally announced June 2021.

How likely can a point be in different Cantor sets

Authors: Kan Jiang, Derong Kong, Wenxia Li

Abstract: Let $m\in\mathbb N_{\ge 2}$, and let $\mathcal K=\{K_λ: λ\in(0, 1/m]\}$ be a class of Cantor sets, where $K_λ=\{\sum_{i=1}^\infty d_iλ^i: d_i\in\{0,1,\ldots, m-1\}, i\ge 1\}$. We investigate in this paper the likelyhood of a fixed point in the Cantor sets of $\mathcal K$. More precisely, for a fixed point $x\in(0,1)$ we consider the parameter set $Λ(x)=\{λ\in(0,1/m]: x\in K_λ\}$, and show that… ▽ More Let $m\in\mathbb N_{\ge 2}$, and let $\mathcal K=\{K_λ: λ\in(0, 1/m]\}$ be a class of Cantor sets, where $K_λ=\{\sum_{i=1}^\infty d_iλ^i: d_i\in\{0,1,\ldots, m-1\}, i\ge 1\}$. We investigate in this paper the likelyhood of a fixed point in the Cantor sets of $\mathcal K$. More precisely, for a fixed point $x\in(0,1)$ we consider the parameter set $Λ(x)=\{λ\in(0,1/m]: x\in K_λ\}$, and show that $Λ(x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, by constructing a sequence of Cantor subsets with large thickness in $Λ(x)$ we prove that the intersection $Λ(x)\capΛ(y)$ also has full Hausdorff dimension for any $x, y\in(0,1)$. △ Less

Submitted 15 March, 2021; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: 29 pages, 5 figures. We added some statements in the abstract and the introduction

Fast linear barycentric rational interpolation for singular functions via scaled transformations

Authors: Desong Kong, Shuhuang Xiang

Abstract: In this paper, applied strictly monotonic increasing scaled maps, a kind of well-conditioned linear barycentric rational interpolations are proposed to approximate functions of singularities at the origin, such as $x^α$ for $α\in (0,1)$ and $\log(x)$. It just takes $O(N)$ flops and can achieve fast convergence rates with the choice the scaled parameter, where $N$ is the maximum degree of the denom… ▽ More In this paper, applied strictly monotonic increasing scaled maps, a kind of well-conditioned linear barycentric rational interpolations are proposed to approximate functions of singularities at the origin, such as $x^α$ for $α\in (0,1)$ and $\log(x)$. It just takes $O(N)$ flops and can achieve fast convergence rates with the choice the scaled parameter, where $N$ is the maximum degree of the denominator and numerator. The construction of the rational interpolant couples rational polynomials in the barycentric form of second kind with the transformed Jacobi-Gauss-Lobatto points. Numerical experiments are considered which illustrate the accuracy and efficiency of the algorithms. The convergence of the rational interpolation is also considered. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Comments: 24 pages, 32 figures

MSC Class: 32E30; 41A20; 41A50; 65N35; 65M70

Controllability of two-point boundary value problem for wave equations in $L^1$ and $L^2$ spaces: One dimensional case

Authors: Yuyou Gan, Sisi Huang, Dexing Kong

Abstract: In this paper we discuss the controllability of two-point boundary value problem (TBVP) for one-dimensional wave equation. Some new concepts are introduced: TBVP input control problem, minimum-input solution (MS) and pre-minimum-input solution (PMS). We set the metric in $L^1$ and $L^2$ spaces on a closed set, and control the input to reach its minimum. And we mainly discuss the property of input,… ▽ More In this paper we discuss the controllability of two-point boundary value problem (TBVP) for one-dimensional wave equation. Some new concepts are introduced: TBVP input control problem, minimum-input solution (MS) and pre-minimum-input solution (PMS). We set the metric in $L^1$ and $L^2$ spaces on a closed set, and control the input to reach its minimum. And we mainly discuss the property of input, the existence and uniqueness of MS and PMS for $L^1$ and $L^2$ metric respectively. The minimum inputs lie on a strip in $L^1$ and PMS for $L^1$ and $L^2$ always exists. Furthermore, to construct PMS, we also introduce an approximation method which meets certain conditions. △ Less

Submitted 4 October, 2020; originally announced October 2020.

Comments: 17 pages, 2 figures

Density spectrum of Cantor measure

Authors: Pieter Allaart, Derong Kong

Abstract: Given $ρ\in(0, 1/3]$, let $μ$ be the Cantor measure satisfying $μ=\frac{1}{2}μf_0^{-1}+\frac{1}{2}μf_1^{-1}$, where $f_i(x)=ρx+i(1-ρ)$ for $i=0, 1$. The support of $μ$ is a Cantor set $C$ generated by the iterated function system $\{f_0, f_1\}$. Continuing the work of Feng et al. (2000) on the pointwise lower and upper densities \[ Θ_*^s(μ, x)=\liminf_{r\to 0}\frac{μ(B(x,r))}{(2r)^s},\qquad Θ^{*s}… ▽ More Given $ρ\in(0, 1/3]$, let $μ$ be the Cantor measure satisfying $μ=\frac{1}{2}μf_0^{-1}+\frac{1}{2}μf_1^{-1}$, where $f_i(x)=ρx+i(1-ρ)$ for $i=0, 1$. The support of $μ$ is a Cantor set $C$ generated by the iterated function system $\{f_0, f_1\}$. Continuing the work of Feng et al. (2000) on the pointwise lower and upper densities \[ Θ_*^s(μ, x)=\liminf_{r\to 0}\frac{μ(B(x,r))}{(2r)^s},\qquad Θ^{*s}(μ, x)=\limsup_{r\to 0}\frac{μ(B(x,r))}{(2r)^s}, \] where $s=-\log 2/\logρ$ is the Hausdorff dimension of $C$, we give a complete description of the sets $D_*$ and $D^*$ consisting of all possible values of the lower and upper densities, respectively. We show that both sets contain infinitely many isolated and infinitely many accumulation points, and they have the same Hausdorff dimension as the Cantor set $C$. Furthermore, we compute the Hausdorff dimension of the level sets of the lower and upper densities. Our method consists in formulating an equivalent ``dyadic" version of the problem involving the doubling map on $[0,1)$, which we solve by using known results on the entropy of a certain open dynamical system and the notion of tuning. △ Less

Submitted 1 August, 2022; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: 30 pages, 2 figures

Journal ref: Nonlinearity 35 (2022), 6453-6484

On the smallest base in which a number has a unique expansion

Authors: Pieter Allaart, Derong Kong

Abstract: Given a real number $x>0$, we determine $q_s(x):=\inf\mathscr{U}(x)$, where $\mathscr{U}(x)$ is the set of all bases $q\in(1,2]$ for which $x$ has a unique expansion of $0$'s and $1$'s. We give an explicit description of $q_s(x)$ for several regions of $x$-values. For others, we present an efficient algorithm to determine $q_s(x)$ and the lexicographically smallest unique expansion of $x$. We show… ▽ More Given a real number $x>0$, we determine $q_s(x):=\inf\mathscr{U}(x)$, where $\mathscr{U}(x)$ is the set of all bases $q\in(1,2]$ for which $x$ has a unique expansion of $0$'s and $1$'s. We give an explicit description of $q_s(x)$ for several regions of $x$-values. For others, we present an efficient algorithm to determine $q_s(x)$ and the lexicographically smallest unique expansion of $x$. We show that the infimum is attained for almost all $x$, but there is also a set of points of positive Hausdorff dimension for which the infimum is proper. In addition, we show that the function $q_s$ is right-continuous with left-hand limits and no downward jumps, and characterize the points of discontinuity of $q_s$. A large part of the paper is devoted to the level sets $L(q):=\{x>0:q_s(x)=q\}$. We show that $L(q)$ is finite for almost every $q$, but there are also infinitely many infinite level sets. In particular, for the Komornik-Loreti constant $q_{KL}=\min\mathscr{U}(1)\approx 1.787$ we prove that $L(q_{KL})$ has both infinitely many left- and infinitely many right accumulation points. △ Less

Submitted 26 October, 2020; v1 submitted 14 June, 2020; originally announced June 2020.

Comments: 50 pages, 2 figures. Added section 8 on the maximum value of q_s(x) and fixed some typos

MSC Class: 11A63

Journal ref: Trans. Amer. Math. Soc. 374 (2021), no. 9, 6201-6249

On a kind of self-similar sets with complete overlaps

Authors: Derong Kong, Yuanyuan Yao

Abstract: Let $E$ be the self-similar set generated by the {\it iterated function system} {\[ f_0(x)=\frac{x}β,\quad f_1(x)=\frac{x+1}β, \quad f_{β+1}=\frac{x+β+1}β \]}with $β\ge 3$. {Then} $E$ is a self-similar set with complete {overlaps}, i.e., $f_{0}\circ f_{β+1}=f_{1}\circ f_1$, but $E$ is not totally self-similar. We investigate all its generating iterated function systems, give the spectrum of $E$,… ▽ More Let $E$ be the self-similar set generated by the {\it iterated function system} {\[ f_0(x)=\frac{x}β,\quad f_1(x)=\frac{x+1}β, \quad f_{β+1}=\frac{x+β+1}β \]}with $β\ge 3$. {Then} $E$ is a self-similar set with complete {overlaps}, i.e., $f_{0}\circ f_{β+1}=f_{1}\circ f_1$, but $E$ is not totally self-similar. We investigate all its generating iterated function systems, give the spectrum of $E$, and determine the Hausdorff dimension and Hausdorff measure of $E$ and of the sets which contain all points in $E$ having finite or infinite different triadic codings. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: 17 pages, 1 figure

Pointwise densities of homogeneous Cantor measure and critical values

Authors: Derong Kong, Wenxia Li, Yuanyuan Yao

Abstract: Let $N\ge 2$ and $ρ\in(0,1/N^2]$. The homogenous Cantor set $E$ is the self-similar set generated by the iterated function system \[ \left\{f_i(x)=ρx+\frac{i(1-ρ)}{N-1}: i=0,1,\ldots, N-1\right\}. \] Let $s=\dim_H E$ be the Hausdorff dimension of $E$, and let $μ=\mathcal H^s|_E$ be the $s$-dimensional Hausdorff measure restricted to $E$. In this paper we describe, for each $x\in E$, the po… ▽ More Let $N\ge 2$ and $ρ\in(0,1/N^2]$. The homogenous Cantor set $E$ is the self-similar set generated by the iterated function system \[ \left\{f_i(x)=ρx+\frac{i(1-ρ)}{N-1}: i=0,1,\ldots, N-1\right\}. \] Let $s=\dim_H E$ be the Hausdorff dimension of $E$, and let $μ=\mathcal H^s|_E$ be the $s$-dimensional Hausdorff measure restricted to $E$. In this paper we describe, for each $x\in E$, the pointwise lower $s$-density $Θ_*^s(μ,x)$ and upper $s$-density $Θ^{*s}(μ, x)$ of $μ$ at $x$. This extends some early results of Feng et al. (2000). Furthermore, we determine two critical values $a_c$ and $b_c$ for the sets \[ E_*(a)=\left\{x\in E: Θ_*^s(μ, x)\ge a\right\}\quad\textrm{and}\quad E^*(b)=\left\{x\in E: Θ^{*s}(μ, x)\le b\right\} \] respectively, such that $\dim_H E_*(a)>0$ if and only if $a<a_c$, and that $\dim_H E^*(b)>0$ if and only if $b>b_c$. We emphasize that both values $a_c$ and $b_c$ are related to the Thue-Morse type sequences, and our strategy to find them relies on ideas from open dynamics and techniques from combinatorics on words. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: 30 pages, 1 figure and 1 table

Univoque bases of real numbers: local dimension, Devil's staircase and isolated points

Authors: Derong Kong, Wenxia Li, Fan Lv, Zhiqiang Wang, Jiayi Xu

Abstract: Given a positive integer $M$ and a real number $x>0$, let $\mathcal U(x)$ be the set of all bases $q\in(1, M+1]$ for which there exists a unique sequence $(d_i)=d_1d_2\ldots$ with each digit $d_i\in\{0,1,\ldots, M\}$ satisfying $$ x=\sum_{i=1}^\infty\frac{d_i}{q^i}. $$ The sequence $(d_i)$ is called a $q$-expansion of $x$. In this paper we investigate the local dimension of $\mathcal U(x)$ and pro… ▽ More Given a positive integer $M$ and a real number $x>0$, let $\mathcal U(x)$ be the set of all bases $q\in(1, M+1]$ for which there exists a unique sequence $(d_i)=d_1d_2\ldots$ with each digit $d_i\in\{0,1,\ldots, M\}$ satisfying $$ x=\sum_{i=1}^\infty\frac{d_i}{q^i}. $$ The sequence $(d_i)$ is called a $q$-expansion of $x$. In this paper we investigate the local dimension of $\mathcal U(x)$ and prove a `variation principle' for unique non-integer base expansions. We also determine the critical values of $\mathcal U(x)$ such that when $x$ passes the first critical value the set $\mathcal U(x)$ changes from a set with positive Hausdorff dimension to a countable set, and when $x$ passes the second critical value the set $\mathcal U(x)$ changes from an infinite set to a singleton. Denote by $\mathbf U(x)$ the set of all unique $q$-expansions of $x$ for $q\in\mathcal U(x)$. We give the Hausdorff dimension of $\mathbf U(x)$ and show that the dimensional function $x\mapsto\dim_H\mathbf U(x)$ is a non-increasing Devil's staircase. Finally, we investigate the topological structure of $\mathcal U(x)$. In contrast with $x=1$ that $\mathcal U(1)$ has no isolated points, we prove that for typical $x>0$ the set $\mathcal U(x)$ contains isolated points. △ Less

Submitted 14 June, 2020; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: 26 pages, 2 figures. In this version we simplified the proof of Theorem 1.1

MSC Class: 11A63; 37B10; 26A30; 28A80; 68R15

Nonparametric principal subspace regression

Authors: Mark Koudstaal, Dengdeng Yu, Dehan Kong, Fang Yao

Abstract: In scientific applications, multivariate observations often come in tandem with temporal or spatial covariates, with which the underlying signals vary smoothly. The standard approaches such as principal component analysis and factor analysis neglect the smoothness of the data, while multivariate linear or nonparametric regression fail to leverage the correlation information among multivariate resp… ▽ More In scientific applications, multivariate observations often come in tandem with temporal or spatial covariates, with which the underlying signals vary smoothly. The standard approaches such as principal component analysis and factor analysis neglect the smoothness of the data, while multivariate linear or nonparametric regression fail to leverage the correlation information among multivariate response variables. We propose a novel approach named nonparametric principal subspace regression to overcome these issues. By decoupling the model discrepancy, a simple and general two-step framework is introduced, which leaves much flexibility in choice of model fitting. We establish theoretical property of the general framework, and offer implementation procedures that fulfill requirements and enjoy the theoretical guarantee. We demonstrate the favorable finite-sample performance of the proposed method through simulations and a real data application from an electroencephalogram study. △ Less

Submitted 12 October, 2019; v1 submitted 7 October, 2019; originally announced October 2019.

A Data-Validated Host-Parasite Model for Infectious Disease Outbreaks

Authors: Christina P. Tadiri, Jude D. Kong, Gregor F. Fussmann, Marilyn E. Scott, Hao Wang

Abstract: The use of model experimental systems and mathematical models is important to further understanding of infectious disease dynamics and strategize disease mitigation. Gyrodactylids are helminth ectoparasites of teleost fish which have many dynamical characteristics of microparasites but offer the advantage that they can be quantified and tracked over time, allowing further insight into within-host… ▽ More The use of model experimental systems and mathematical models is important to further understanding of infectious disease dynamics and strategize disease mitigation. Gyrodactylids are helminth ectoparasites of teleost fish which have many dynamical characteristics of microparasites but offer the advantage that they can be quantified and tracked over time, allowing further insight into within-host and epidemic dynamics. In this paper, we design a model to describe host-parasite dynamics of the well-studied guppy-Gyrodactylus turnbulli system, using experimental data to estimate parameters and validate it. We estimate the basic reproduction number (R_0), for this system. Sensitivity analysis reveals that parasite growth rate, and the rate at which the guppy mounts an immune response have the greatest impact on outbreak peak and timing both for initial outbreaks and on longer time scales. These findings highlight guppy population resistance and parasite virulence as key factors in disease control, and future work should focus on incorporating heterogeneity in host resistance into disease models and extrapolating to other host-parasite systems. △ Less

Submitted 29 August, 2019; v1 submitted 29 June, 2019; originally announced July 2019.

Comments: * Equally contributing first authors

Two bifurcation sets arising from the beta transformation with a hole at $0$

Authors: Simon Baker, Derong Kong

Abstract: Given $β\in(1,2],$ the $β$-transformation $T_β: x\mapsto βx\pmod 1$ on the circle $[0, 1)$ with a hole $[0, t)$ was investigated by Kalle et al.~(2019). They described the set-valued bifurcation set \[ \mathcal E_β:=\{t\in[0, 1): K_β(t')\ne K_β(t)~\forall t'>t\}, \] where $K_β(t):=\{x\in[0, 1): T_β^n(x)\ge t~\forall n\ge 0\}$ is the survivor set. In this paper we investigate the dimension… ▽ More Given $β\in(1,2],$ the $β$-transformation $T_β: x\mapsto βx\pmod 1$ on the circle $[0, 1)$ with a hole $[0, t)$ was investigated by Kalle et al.~(2019). They described the set-valued bifurcation set \[ \mathcal E_β:=\{t\in[0, 1): K_β(t')\ne K_β(t)~\forall t'>t\}, \] where $K_β(t):=\{x\in[0, 1): T_β^n(x)\ge t~\forall n\ge 0\}$ is the survivor set. In this paper we investigate the dimension bifurcation set \[ \mathcal B_β:=\{t\in[0, 1): \dim_H K_β(t')\ne \dim_H K_β(t)~\forall t'>t\}, \] where $\dim_H$ denotes the Hausdorff dimension. We show that if $β\in(1,2]$ is a multinacci number then the two bifurcation sets $\mathcal B_β$ and $\mathcal E_β$ coincide. Moreover we give a complete characterization of these two sets. As a corollary of our main result we prove that for $β$ a multinacci number we have $\dim_H(\mathcal E_β\cap[t, 1])=\dim_H K_β(t)$ for any $t\in[0, 1)$. This confirms a conjecture of Kalle et al.~for $β$ a multinacci number. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Comments: 12 pages

Critical base for the unique codings of fat Sierpinski gasket

Authors: Derong Kong, Wenxia Li

Abstract: Given $β\in(1,2)$ the fat Sierpinski gasket $\mathcal S_β$ is the self-similar set in $\mathbb R^2$ generated by the iterated function system (IFS) \[ f_{β,d}(x)=\frac{x+d}β,\quad d\in\mathcal A:=\{(0, 0), (1,0), (0,1)\}. \] Then for each point $P\in\mathcal S_β$ there exists a sequence $(d_i)\in\mathcal A^\mathbb N$ such that $P=\sum_{i=1}^\infty d_i/β^i$, and the infinite sequence $(d_i)$… ▽ More Given $β\in(1,2)$ the fat Sierpinski gasket $\mathcal S_β$ is the self-similar set in $\mathbb R^2$ generated by the iterated function system (IFS) \[ f_{β,d}(x)=\frac{x+d}β,\quad d\in\mathcal A:=\{(0, 0), (1,0), (0,1)\}. \] Then for each point $P\in\mathcal S_β$ there exists a sequence $(d_i)\in\mathcal A^\mathbb N$ such that $P=\sum_{i=1}^\infty d_i/β^i$, and the infinite sequence $(d_i)$ is called a \emph{coding} of $P$. In general, a point in $\mathcal S_β$ may have multiple codings since the overlap region $\mathcal O_β:=\bigcup_{c,d\in\mathcal A, c\ne d}f_{β,c}(Δ_β)\cap f_{β,d}(Δ_β)$ has non-empty interior, where $Δ_β$ is the convex hull of $\mathcal S_β$. In this paper we are interested in the invariant set \[ \widetilde{\mathcal U}_β:=\left\{\sum_{i=1}^\infty \frac{d_i}{β^i}\in \mathcal S_β: \sum_{i=1}^\infty\frac{d_{n+i}}{β^i}\notin\mathcal O_β~\forall n\ge 0\right\}. \] Then each point in $ \widetilde{\mathcal U}_β$ has a unique coding. We show that there is a transcendental number $β_c\approx 1.55263$ related to the Thue-Morse sequence, such that $\widetilde{\mathcal U}_β$ has positive Hausdorff dimension if and only if $β>β_{c}$. Furthermore, for $β=β_c$ the set $\widetilde{\mathcal U}_β$ is uncountable but has zero Hausdorff dimension, and for $β<β_c$ the set $\widetilde{\mathcal U}_β$ is at most countable. Consequently, we also answer a conjecture of Sidorov (2007). Our strategy is using combinatorics on words based on the lexicographical characterization of $\widetilde{\mathcal U}_β$. △ Less

Submitted 3 December, 2018; originally announced December 2018.

Comments: 28 pages, 10 figures

On the structure of $λ$-Cantor set with overlaps

Authors: Karma Dajani, Derong Kong, Yuanyuan Yao

Abstract: Given $λ\in(0, 1)$, let $E_λ$ be the self-similar set generated by the iterated function system $\{x/3,(x+λ)/3,(x+2)/3\}$. Then $E_λ$ is a self-similar set with overlaps. We obtain the necessary and sufficient condition for $E_λ$ to be totally self-similar, which is a concept first introduced by Broomhead, Montaldi, and Sidorov in 2004. When $E_λ$ is totally self-similar, all its generating IFSs a… ▽ More Given $λ\in(0, 1)$, let $E_λ$ be the self-similar set generated by the iterated function system $\{x/3,(x+λ)/3,(x+2)/3\}$. Then $E_λ$ is a self-similar set with overlaps. We obtain the necessary and sufficient condition for $E_λ$ to be totally self-similar, which is a concept first introduced by Broomhead, Montaldi, and Sidorov in 2004. When $E_λ$ is totally self-similar, all its generating IFSs are investigated, and the size of the set of points having finite triadic codings is determined. Besides, we give some properties of the spectrum of $E_λ$ and show that the spectrum of $E_λ$ vanishes if and only if $λ$ is irrational. △ Less

Submitted 18 October, 2018; originally announced October 2018.

Comments: 28 pages, 1 figure

On the complexity of the set of codings for self-similar sets and a variation on the construction of Champernowne

Authors: Simon Baker, Derong Kong

Abstract: Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=λ\mathbf{x} +(1-λ)\mathbf{p}_i,$$ where $λ\in(0,1)$. Given $F$ and $λ$ it is well known that there exists a unique non-empty compact set $X$ satisfying $X=\cup_{i=0}^n S_i(X)$. Fo… ▽ More Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=λ\mathbf{x} +(1-λ)\mathbf{p}_i,$$ where $λ\in(0,1)$. Given $F$ and $λ$ it is well known that there exists a unique non-empty compact set $X$ satisfying $X=\cup_{i=0}^n S_i(X)$. For each $\mathbf{x} \in X$ there exists a sequence $\mathbf{a}\in\{0,\ldots,n\}^{\mathbb{N}}$ satisfying $$\mathbf{x}=\lim_{j\to\infty}(S_{a_1}\circ \cdots \circ S_{a_j})(\mathbf{0}).$$ We call such a sequence a coding of $\mathbf{x}$. In this paper we prove that for any $F$ and $k \in\mathbb{N},$ there exists $δ_k(F)>0$ such that if $λ\in(1-δ_k(F),1),$ then every point in the interior of $X$ has a coding which is $k$-simply normal. Similarly, we prove that there exists $δ_{uni}(F)>0$ such that if $λ\in(1-δ_{uni}(F),1),$ then every point in the interior of $X$ has a coding containing all finite words. For some specific choices of $F$ we obtain lower bounds for $δ_k(F)$ and $δ_{uni}(F)$. We also prove some weaker statements that hold in the more general setting when the similarities in our iterated function systems exhibit different rates of contraction. Our proofs rely on a variation of a well known construction of a normal number due to Champernowne, and an approach introduced by Erdős and Komornik. △ Less

Submitted 16 October, 2018; originally announced October 2018.

MSC Class: 28A80; 11K16; 11K55

Relative bifurcation sets and the local dimension of univoque bases

Authors: Pieter Allaart, Derong Kong

Abstract: Fix an alphabet $A=\{0,1,\dots,M\}$ with $M\in\mathbb{N}$. The univoque set $\mathscr{U}$ of bases $q\in(1,M+1)$ in which the number $1$ has a unique expansion over the alphabet $A$ has been well studied. It has Lebesgue measure zero but Hausdorff dimension one. This paper investigates how the set $\mathscr{U}$ is distributed over the interval $(1,M+1)$ by determining the limit… ▽ More Fix an alphabet $A=\{0,1,\dots,M\}$ with $M\in\mathbb{N}$. The univoque set $\mathscr{U}$ of bases $q\in(1,M+1)$ in which the number $1$ has a unique expansion over the alphabet $A$ has been well studied. It has Lebesgue measure zero but Hausdorff dimension one. This paper investigates how the set $\mathscr{U}$ is distributed over the interval $(1,M+1)$ by determining the limit $$f(q):=\lim_{δ\to 0}\dim_H\big(\mathscr{U}\cap(q-δ,q+δ)\big)$$ for all $q\in(1,M+1)$. We show in particular that $f(q)>0$ if and only if $q\in\overline{\mathscr{U}}\backslash\mathscr{C}$, where $\mathscr{C}$ is an uncountable set of Hausdorff dimension zero, and $f$ is continuous at those (and only those) points where it vanishes. Furthermore, we introduce a countable family of pairwise disjoint subsets of $\mathscr{U}$ called {\emph relative bifurcation sets}, and use them to give an explicit expression for the Hausdorff dimension of the intersection of $\mathscr{U}$ with any interval, answering a question of Kalle et al.~[{\emph arXiv:1612.07982; to appear in Acta Arithmetica}, 2018]. Finally, the methods developed in this paper are used to give a complete answer to a question of the first author [{\emph Adv. Math.}, 308:575--598, 2017] about strongly univoque sets. △ Less

Submitted 2 September, 2018; originally announced September 2018.

Comments: 31 pages and 1 figure

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 2241-2273

On the continuity of the Hausdorff dimension of the univoque set

Authors: Pieter Allaart, Derong Kong

Abstract: In a recent paper [Adv. Math. 305:165--196, 2017], Komornik et al.~proved a long-conjectured formula for the Hausdorff dimension of the set $\mathcal{U}_q$ of numbers having a unique expansion in the (non-integer) base $q$, and showed that this Hausdorff dimension is continuous in $q$. Unfortunately, their proof contained a gap which appears difficult to fix. This article gives a completely differ… ▽ More In a recent paper [Adv. Math. 305:165--196, 2017], Komornik et al.~proved a long-conjectured formula for the Hausdorff dimension of the set $\mathcal{U}_q$ of numbers having a unique expansion in the (non-integer) base $q$, and showed that this Hausdorff dimension is continuous in $q$. Unfortunately, their proof contained a gap which appears difficult to fix. This article gives a completely different proof of these results, using a more direct combinatorial approach. △ Less

Submitted 9 April, 2018; originally announced April 2018.

Comments: 18 pages

MSC Class: Primary: 11A63; Secondary: 37B10; 28A78

The $β$-transformation with a hole at 0

Authors: Charlene Kalle, Derong Kong, Niels Langeveld, Wenxia Li

Abstract: For $β\in(1,2]$ the $β$-transformation $T_β: [0,1) \to [0,1)$ is defined by $T_β( x) = βx \pmod 1$. For $t\in[0, 1)$ let $K_β(t)$ be the survivor set of $T_β$ with hole $(0,t)$ given by \[K_β(t):=\{x\in[0, 1): T_β^n(x)\not \in (0, t) \textrm{ for all }n\ge 0\}.\] In this paper we characterise the bifurcation set $E_β$ of all parameters $t\in[0,1)$ for which the set valued function… ▽ More For $β\in(1,2]$ the $β$-transformation $T_β: [0,1) \to [0,1)$ is defined by $T_β( x) = βx \pmod 1$. For $t\in[0, 1)$ let $K_β(t)$ be the survivor set of $T_β$ with hole $(0,t)$ given by \[K_β(t):=\{x\in[0, 1): T_β^n(x)\not \in (0, t) \textrm{ for all }n\ge 0\}.\] In this paper we characterise the bifurcation set $E_β$ of all parameters $t\in[0,1)$ for which the set valued function $t\mapsto K_β(t)$ is not locally constant. We show that $E_β$ is a Lebesgue null set of full Hausdorff dimension for all $β\in(1,2)$. We prove that for Lebesgue almost every $β\in(1,2)$ the bifurcation set $E_β$ contains both infinitely many isolated and accumulation points arbitrarily close to zero. On the other hand, we show that the set of $β\in(1,2)$ for which $E_β$ contains no isolated points has zero Hausdorff dimension. These results contrast with the situation for $E_2$, the bifurcation set of the doubling map. Finally, we give for each $β\in (1,2)$ a lower and upper bound for the value $τ_β$, such that the Hausdorff dimension of $K_β(t)$ is positive if and only if $t< τ_β$. We show that $τ_β\le 1-\frac1β$ for all $β\in (1,2)$. △ Less

Submitted 20 March, 2018; originally announced March 2018.

Comments: 32 pages, 4 figures

MSC Class: 11K55; 11A63; 68R15; 26A30; 28D05; 37B10; 37E05; 37E15

Algebraic sums and products of univoque bases

Authors: Karma Dajani, Vilmos Komornik, Derong Kong, Wenxia Li

Abstract: Given $x\in(0, 1]$, let $\mathcal U(x)$ be the set of bases $q\in(1,2]$ for which there exists a unique sequence $(d_i)$ of zeros and ones such that $x=\sum_{i=1}^\infty d_i/q^i$. Lü, Tan and Wu (2014) proved that $\mathcal U(x)$ is a Lebesgue null set of full Hausdorff dimension. In this paper, we show that the algebraic sum $\mathcal U(x)+λ\mathcal U(x)$ and product… ▽ More Given $x\in(0, 1]$, let $\mathcal U(x)$ be the set of bases $q\in(1,2]$ for which there exists a unique sequence $(d_i)$ of zeros and ones such that $x=\sum_{i=1}^\infty d_i/q^i$. Lü, Tan and Wu (2014) proved that $\mathcal U(x)$ is a Lebesgue null set of full Hausdorff dimension. In this paper, we show that the algebraic sum $\mathcal U(x)+λ\mathcal U(x)$ and product $\mathcal U(x)\cdot\mathcal U(x)^λ$ contain an interval for all $x\in(0, 1]$ and $λ\ne 0$. As an application we show that the same phenomenon occurs for the set of non-matching parameters studied by the first author and Kalle (2017). △ Less

Submitted 11 July, 2018; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 21 pages, 1 figure. To appear in Indag. Math

Numbers with simply normal $β$-expansions

Authors: Simon Baker, Derong Kong

Abstract: In [Bak] the first author proved that for any $β\in (1,β_{KL})$ every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion, where $β_{KL}\approx 1.78723$ is the Komornik-Loreti constant. This result is complemented by an observation made in [JSS], where it was shown that whenever $β\in (β_T, 2]$ there exists an $x\in(0,\frac{1}{β-1})$ with a unique $β$-expansion, and this expansion is not sim… ▽ More In [Bak] the first author proved that for any $β\in (1,β_{KL})$ every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion, where $β_{KL}\approx 1.78723$ is the Komornik-Loreti constant. This result is complemented by an observation made in [JSS], where it was shown that whenever $β\in (β_T, 2]$ there exists an $x\in(0,\frac{1}{β-1})$ with a unique $β$-expansion, and this expansion is not simply normal. Here $β_T\approx 1.80194$ is the unique zero in $(1,2]$ of the polynomial $x^3-x^2-2x+1$. This leaves a gap in our understanding within the interval $[β_{KL}, β_T]$. In this paper we fill this gap and prove that for any $β\in (1,β_T],$ every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion. For completion, we provide a proof that for any $β\in(1,2)$, Lebesgue almost every $x$ has a simply normal $β$-expansion. We also give examples of $x$ with multiple $β$-expansions, none of which are simply normal. Our proofs rely on ideas from combinatorics on words and dynamical systems. △ Less

Submitted 4 July, 2017; originally announced July 2017.

Comments: 28 pages, 6 figures

MSC Class: 11A63; 11K55

Bifurcation sets arising from non-integer base expansions

Authors: Pieter Allaart, Simon Baker, Derong Kong

Abstract: Given a positive integer $M$ and $q\in(1,M+1]$, let $\mathcal U_q$ be the set of $x\in[0, M/(q-1)]$ having a unique $q$-expansion: there exists a unique sequence $(x_i)=x_1x_2\ldots$ with each $x_i\in\{0,1,\ldots, M\}$ such that \[ x=\frac{x_1}{q}+\frac{x_2}{q^2}+\frac{x_3}{q^3}+\cdots. \] Denote by $\mathbf U_q$ the set of corresponding sequences of all points in $\mathcal U_q$. It is w… ▽ More Given a positive integer $M$ and $q\in(1,M+1]$, let $\mathcal U_q$ be the set of $x\in[0, M/(q-1)]$ having a unique $q$-expansion: there exists a unique sequence $(x_i)=x_1x_2\ldots$ with each $x_i\in\{0,1,\ldots, M\}$ such that \[ x=\frac{x_1}{q}+\frac{x_2}{q^2}+\frac{x_3}{q^3}+\cdots. \] Denote by $\mathbf U_q$ the set of corresponding sequences of all points in $\mathcal U_q$. It is well-known that the function $H: q\mapsto h(\mathbf U_q)$ is a Devil's staircase, where $h(\mathbf U_q)$ denotes the topological entropy of $\mathbf U_q$. In this paper we {give several characterizations of} the bifurcation set \[ \mathcal B:=\{q\in(1,M+1]: H(p)\ne H(q)\textrm{ for any }p\ne q\}. \] Note that $\mathcal B$ is contained in the set $\mathcal{U}^R$ of bases $q\in(1,M+1]$ such that $1\in\mathcal U_q$. By using a transversality technique we also calculate the Hausdorff dimension of the difference $\mathcal B\backslash\mathcal{U}^R$. Interestingly this quantity is always strictly between $0$ and $1$. When $M=1$ the Hausdorff dimension of $\mathcal B\backslash\mathcal{U}^R$ is $\frac{\log 2}{3\log λ^*}\approx 0.368699$, where $λ^*$ is the unique root in $(1, 2)$ of the equation $x^5-x^4-x^3-2x^2+x+1=0$. △ Less

Submitted 11 July, 2018; v1 submitted 16 June, 2017; originally announced June 2017.

Comments: 28 pages, 1 figures and 1 table. To appear in J. Fractal Geometry

MSC Class: 11A63; 37B10; 28A78

Bases in which some numbers have exactly two expansions

Authors: Vilmos Komornik, Derong Kong

Abstract: In this paper we answer several questions raised by Sidorov on the set $\mathcal B_2$ of bases in which there exist numbers with exactly two expansions. In particular, we prove that the set $\mathcal B_2$ is closed, and it contains both infinitely many isolated and accumulation points in $(1, q_{KL})$, where $q_{KL}\approx 1.78723$ is the Komornik-Loreti constant. Consequently we show that the sec… ▽ More In this paper we answer several questions raised by Sidorov on the set $\mathcal B_2$ of bases in which there exist numbers with exactly two expansions. In particular, we prove that the set $\mathcal B_2$ is closed, and it contains both infinitely many isolated and accumulation points in $(1, q_{KL})$, where $q_{KL}\approx 1.78723$ is the Komornik-Loreti constant. Consequently we show that the second smallest element of $\mathcal B_2$ is the smallest accumulation point of $\mathcal B_2$. We also investigate the higher order derived sets of $\mathcal B_2$. Finally, we prove that there exists a $δ>0$ such that \begin{equation*} \dim_H(\mathcal B_2\cap(q_{KL}, q_{KL}+δ))<1, \end{equation*} where $\dim_H$ denotes the Hausdorff dimension. △ Less

Submitted 11 July, 2018; v1 submitted 1 May, 2017; originally announced May 2017.

Comments: 34 pages, 1 figure. To appear in J. Number Theory

On the bifurcation set of unique expansions

Authors: Charlene Kalle, Derong Kong, Wenxia Li, Fan Lü

Abstract: Given a positive integer $M$, for $q\in(1, M+1]$ let ${\mathcal{U}}_q$ be the set of $x\in[0, M/(q-1)]$ having a unique $q$-expansion with the digit set $\{0, 1,\ldots, M\}$, and let $\mathbf{U}_q$ be the set of corresponding $q$-expansions. Recently, Komornik et al.~(Adv. Math., 2017) showed that the topological entropy function $H: q \mapsto h_{top}(\mathbf{U}_q)$ is a Devil's staircase in… ▽ More Given a positive integer $M$, for $q\in(1, M+1]$ let ${\mathcal{U}}_q$ be the set of $x\in[0, M/(q-1)]$ having a unique $q$-expansion with the digit set $\{0, 1,\ldots, M\}$, and let $\mathbf{U}_q$ be the set of corresponding $q$-expansions. Recently, Komornik et al.~(Adv. Math., 2017) showed that the topological entropy function $H: q \mapsto h_{top}(\mathbf{U}_q)$ is a Devil's staircase in $(1, M+1]$. Let $\mathcal{B}$ be the bifurcation set of $H$ defined by \[ \mathcal{B}=\{q\in(1, M+1]: H(p)\ne H(q)\quad\textrm{for any}\quad p\ne q\}. \] In this paper we analyze the fractal properties of $\mathcal{B}$, and show that for any $q\in \mathcal{B}$, \[ \lim_{δ\rightarrow 0} \dim_H(\mathcal{B}\cap(q-δ, q+δ))=\dim_H\mathcal{U}_q, \] where $\dim_H$ denotes the Hausdorff dimension. Moreover, when $q\in\mathcal{B}$ the univoque set $\mathcal{U}_q$ is dimensionally homogeneous, i.e., $ \dim_H(\mathcal{U}_q\cap V)=\dim_H\mathcal{U}_q $ for any open set $V$ that intersect $\mathcal{U}_q$. As an application we obtain a dimensional spectrum result for the set $\mathcal{U}$ containing all bases $q\in(1, M+1]$ such that $1$ admits a unique $q$-expansion. In particular, we prove that for any $t>1$ we have \[ \dim_H(\mathcal{U}\cap(1, t])=\max_{ q\le t}\dim_H\mathcal{U}_q. \] We also consider the variations of the sets $\mathcal{U}=\mathcal{U}(M)$ when $M$ changes. △ Less

Submitted 11 July, 2018; v1 submitted 23 December, 2016; originally announced December 2016.

Comments: 36 pages and 1 figure. To appear in Acta Arithmetica

Entropy, topological transitivity, and dimensional properties of unique $q$-expansions

Authors: Rafael Alcaraz Barrera, Simon Baker, Derong Kong

Abstract: Let $M$ be a positive integer and $q \in(1,M+1].$ We consider expansions of real numbers in base $q$ over the alphabet $\{0,\ldots, M\}$. In particular, we study the set $\mathcal{U}_{q}$ of real numbers with a unique $q$-expansion, and the set $\mathbf{U}_q$ of corresponding sequences. It was shown in (Komornik et al, 2017 Adv. Math.) that the function $H$, which associates to each… ▽ More Let $M$ be a positive integer and $q \in(1,M+1].$ We consider expansions of real numbers in base $q$ over the alphabet $\{0,\ldots, M\}$. In particular, we study the set $\mathcal{U}_{q}$ of real numbers with a unique $q$-expansion, and the set $\mathbf{U}_q$ of corresponding sequences. It was shown in (Komornik et al, 2017 Adv. Math.) that the function $H$, which associates to each $q\in(1, M+1]$ the topological entropy of $\mathcal{U}_q$, is a Devil's staircase. In this paper we explicitly determine the plateaus of $H$, and characterize the bifurcation set $\mathcal E$ of $q$'s where the function $H$ is not locally constant. Moreover, we show that $\mathcal E$ is a Cantor set of full Hausdorff dimension. We also investigate the topological transitivity of a naturally occurring subshift $(\mathbf{V}_q, σ),$ which has a close connection with open dynamical systems. Finally, we prove that the Hausdorff dimension and box dimension of $\mathcal{U}_q$ coincide for all $q\in(1,M+1]$. △ Less

Submitted 21 August, 2017; v1 submitted 7 September, 2016; originally announced September 2016.

Comments: 56 pages, 7 figures. To appear in Trans. Amer. Math. Soc

MSC Class: 11A63 (Primary); 37B10; 37B40; 11K55; 68R15 (Secondary)

Univoque bases and Hausdorff dimension

Authors: Derong Kong, Wenxia Li, Fan Lü, Martijn de Vries

Abstract: Given a positive integer $M$ and a real number $q >1$, a \emph{$q$-expansion} of a real number $x$ is a sequence $(c_i)=c_1c_2\cdots$ with $(c_i) \in \{0,\ldots,M\}^\infty$ such that \[x=\sum_{i=1}^{\infty} c_iq^{-i}.\] It is well known that if $q \in (1,M+1]$, then each $x \in I_q:=\left[0,M/(q-1)\right]$ has a $q$-expansion. Let $\mathcal{U}=\mathcal{U}(M)$ be the set of \emph{univoque bases}… ▽ More Given a positive integer $M$ and a real number $q >1$, a \emph{$q$-expansion} of a real number $x$ is a sequence $(c_i)=c_1c_2\cdots$ with $(c_i) \in \{0,\ldots,M\}^\infty$ such that \[x=\sum_{i=1}^{\infty} c_iq^{-i}.\] It is well known that if $q \in (1,M+1]$, then each $x \in I_q:=\left[0,M/(q-1)\right]$ has a $q$-expansion. Let $\mathcal{U}=\mathcal{U}(M)$ be the set of \emph{univoque bases} $q>1$ for which $1$ has a unique $q$-expansion. The main object of this paper is to provide new characterizations of $\mathcal{U}$ and to show that the Hausdorff dimension of the set of numbers $x \in I_q$ with a unique $q$-expansion changes the most if $q$ "crosses" a univoque base. Denote by $\mathcal{B}_2=\mathcal{B}_2(M)$ the set of $q \in (1,M+1]$ such that there exist numbers having precisely two distinct $q$-expansions. As a by-product of our results, we obtain an answer to a question of Sidorov (2009) and prove that \[\dim_H(\mathcal{B}_2\cap(q',q'+δ))>0\quad\textrm{for any}\quad δ>0,\] where $q'=q'(M)$ is the Komornik-Loreti constant. △ Less

Submitted 2 April, 2017; v1 submitted 12 June, 2016; originally announced June 2016.

Comments: 16 pages. To appear in Monatshefte fur Mathematik (2017)

MSC Class: Primary: 11A63; Secondary: 37B10; 28A78

Unique expansions and intersections of Cantor sets

Authors: Simon Baker, Derong Kong

Abstract: To each $α\in(1/3,1/2)$ we associate the Cantor set $$Γ_α:=\Big\{\sum_{i=1}^{\infty}ε_{i}α^i: ε_i\in\{0,1\},\,i\geq 1\Big\}.$$ In this paper we consider the intersection $Γ_α\cap (Γ_α+ t)$ for any translation $t\in\mathbb{R}$. We pay special attention to those $t$ with a unique $\{-1,0,1\}$ $α$-expansion, and study the set… ▽ More To each $α\in(1/3,1/2)$ we associate the Cantor set $$Γ_α:=\Big\{\sum_{i=1}^{\infty}ε_{i}α^i: ε_i\in\{0,1\},\,i\geq 1\Big\}.$$ In this paper we consider the intersection $Γ_α\cap (Γ_α+ t)$ for any translation $t\in\mathbb{R}$. We pay special attention to those $t$ with a unique $\{-1,0,1\}$ $α$-expansion, and study the set $$D_α:=\{\dim_H(Γ_α\cap (Γ_α+ t)):t \textrm{ has a unique }\{-1,0,1\}\,α\textrm{-expansion}\}.$$ We prove that there exists a transcendental number $α_{KL}\approx 0.39433\ldots$ such that: $D_α$ is finite for $α\in(α_{KL},1/2),$ $D_{α_{KL}}$ is infinitely countable, and $D_α$ contains an interval for $α\in(1/3,α_{KL}).$ We also prove that $D_α$ equals $[0,\frac{\log 2}{-\log α}]$ if and only if $α\in (1/3,\frac {3-\sqrt{5}}{2}].$ As a consequence of our investigation we prove some results on the possible values of $\dim_{H}(Γ_α\cap (Γ_α+ t))$ when $Γ_α\cap (Γ_α+ t)$ is a self-similar set. We also give examples of $t$ with a continuum of $\{-1,0,1\}$ $α$-expansions for which we can explicitly calculate $\dim_{H}(Γ_α\cap(Γ_α+t)),$ and for which $Γ_α\cap (Γ_α+t)$ is a self-similar set. We also construct $α$ and $t$ for which $Γ_α\cap (Γ_α+ t)$ contains only transcendental numbers. Our approach makes use of digit frequency arguments and a lexicographic characterisation of those $t$ with a unique $\{-1,0,1\}$ $α$-expansion. △ Less

Submitted 4 April, 2016; originally announced April 2016.

Comments: 19 pages, two figures

MSC Class: 11A63 (Primary); 37B10; 37B40; 28A78 (Secondary)

Journal ref: Nonlinearity, 1497--1512, 2017

Multiple codings for self-similar sets with overlaps

Authors: Karma Dajani, Kan Jiang, Derong Kong, Wenxia Li, Lifeng Xi

Abstract: In this paper we consider a general class $\mathcal E$ of self-similar sets with complete overlaps. Given a self-similar iterated function system $Φ=(E, \{f_i\}_{i=1}^m)\in\mathcal E$ on the real line, for each point $x\in E$ we can find a sequence $(i_k)=i_1i_2\ldots\in\{1,\ldots,m\}^\mathbb N$, called a coding of $x$, such that… ▽ More In this paper we consider a general class $\mathcal E$ of self-similar sets with complete overlaps. Given a self-similar iterated function system $Φ=(E, \{f_i\}_{i=1}^m)\in\mathcal E$ on the real line, for each point $x\in E$ we can find a sequence $(i_k)=i_1i_2\ldots\in\{1,\ldots,m\}^\mathbb N$, called a coding of $x$, such that $$ x=\lim_{n\to\infty}f_{i_1}\circ f_{i_{2}}\circ\cdots\circ f_{i_n}(0). $$ For $k=1,2,\ldots, \aleph_0$ or $2^{\aleph_0}$ we investigate the subset $\mathcal U_k(Φ)$ which consists of all $x\in E$ having precisely $k$ different codings. Among several equivalent characterizations we show that $\mathcal U_1(Φ)$ is closed if and only if $\mathcal U_{\aleph_0}(Φ)$ is an empty set. Furthermore, we give explicit formulae for the Hausdorff dimension of $\mathcal U_k(Φ)$, and show that the corresponding Hausdorff measure of $\mathcal U_k(Φ)$ is always infinite for any $k\ge 2$. Finally, we explicitly calculate the local dimension of the self-similar measure at each point in $\mathcal U_k(Φ)$ and ${U_{\aleph_0}(Φ)}$. △ Less

Submitted 17 June, 2019; v1 submitted 30 March, 2016; originally announced March 2016.

Comments: We add some new results in this version