arXiv subjects

Bao-Wei Wang

Publications and source records attributed to Bao-Wei Wang.

5 recordsLinked to original sources

arXiv2022

Metrical properties for the weighted products of multiple partial quotients in continued fractions

The classical Khintchine and Jarník theorems, generalizations of a consequence of Dirichlet's theorem, are fundamental results in the theory of Diophantine approximation. These theorems are concerned with the size of the set of real numbers for which the partial quotients in their continued fraction expansions grows with a certain rate. Recently it was observed that the growth of product of pairs of consecutive partial quotients in the continued fraction expansion of a real number is associated with improvements to Dirichlet's theorem. In this paper we consider the products of several consecutive partial quotients raised to different powers. Namely, we find the Lebesgue measure and the Hausdorff dimension of the following set: $$ {\D_{\mathbf t}}(ψ):=\left\{x\in[0, 1): \prod\limits_{i=0}^{m-1}{a^{t_i}_{n+i}(x)} \ge Ψ(n)\ {\text{for infinitely many}} \ n\in \N \right\}, $$ where $t_i\in\mathbb R_+$ for all ${0\leq i\leq m-1}$, and $Ψ:\N\to\R_{\ge 1}$ is a positive function.

math.NT↗

arXiv2017

Hausdorff measure of sets of Dirichlet non-improvable numbers

Let $ψ:\mathbb R_+\to\mathbb R_+$ be a non-increasing function. A real number $x$ is said to be $ψ$-Dirichlet improvable if it admits an improvement to Dirichlet's theorem in the following sense: the system $$|qx-p|< \, ψ(t) \ \ {\text{and}} \ \ |q|<t$$ has a non-trivial integer solution for all large enough $t$. Denote the collection of such points by $D(ψ)$. In this paper, we prove that the Hausdorff measure of the complement $D(ψ)^c$ (the set of $ψ$-Dirichlet non-improvable numbers) obeys a zero-infinity law for a large class of dimension functions. Together with the Lebesgue measure-theoretic results established by Kleinbock \& Wadleigh (2016), our results contribute to building a complete metric theory for the set of Dirichlet non-improvable numbers.

math.NT↗

arXiv2016

A dichotomy law for the Diophantine properties in $β$-dynamical systems

Let $β>1$ be a real number and define the $β$-transformation on $[0,1]$ by $T_β:x\mapsto βx\bmod 1$. Further, define $$W_y(T_β,Ψ):=\{x\in [0, 1]:|T_β^nx-y|<Ψ(n) \mbox{ for infinitely many $n$}\}$$ and $$W(T_β,Ψ):=\{(x, y)\in [0, 1]^2:|T_β^nx-y|<Ψ(n) \mbox{ for infinitely many $n$}\},$$ where $Ψ:\mathbb{N}\to\mathbb{R}_{>0}$ is a positive function such that $Ψ(n)\to 0$ as $n\to \infty$. In this paper, we show that each of the above sets obeys a Jarník-type dichotomy, that is, the generalised Hausdorff measure is either zero or full depending upon the convergence or divergence of a certain series. This work completes the metrical theory of these sets.

math.NT↗

arXiv2012

On the fast Khintchine spectrum in continued fractions

For $x\in [0,1)$, let $x=[a_1(x), a_2(x),...]$ be its continued fraction expansion with partial quotients ${a_n(x), n\ge 1}$. Let $ψ: \mathbb{N} \rightarrow \mathbb{N}$ be a function with $ψ(n)/n\to \infty$ as $n\to \infty$. In this note, the fast Khintchine spectrum, i.e., the Hausdorff dimension of the set $$ E(ψ):=\Big{x\in [0,1): \lim_{n\to\infty}\frac{1}{ψ(n)}\sum_{j=1}^n\log a_j(x)=1\Big} $$ is completely determined without any extra condition on $ψ$.

math.DS↗

arXiv2008

On Khintchine exponents and Lyapunov exponents of continued fractions

Assume that $x\in [0,1) $ admits its continued fraction expansion $x=[a_1(x), a_2(x),...]$. The Khintchine exponent $γ(x)$ of $x$ is defined by $γ(x):=\lim\limits_{n\to \infty}\frac{1}{n}\sum_{j=1}^n \log a_j(x)$ when the limit exists. Khintchine spectrum $\dim E_ξ$ is fully studied, where $ E_ξ:=\{x\in [0,1):γ(x)=ξ\} (ξ\geq 0)$ and $\dim$ denotes the Hausdorff dimension. In particular, we prove the remarkable fact that the Khintchine spectrum $\dim E_ξ$, as function of $ξ\in [0, +\infty)$, is neither concave nor convex. This is a new phenomenon from the usual point of view of multifractal analysis. Fast Khintchine exponents defined by $γ^ϕ(x):=\lim\limits_{n\to\infty}\frac{1}{ϕ(n)} \sum_{j=1}^n \log a_j(x)$ are also studied, where $ϕ(n)$ tends to the infinity faster than $n$ does. Under some regular conditions on $ϕ$, it is proved that the fast Khintchine spectrum $\dim (\{x\in [0,1]: γ^ϕ(x)= ξ\}) $ is a constant function. Our method also works for other spectra like the Lyapunov spectrum and the fast Lyapunov spectrum.

math.DS↗