Borel-Bernstein theorem and Hausdorff dimension of sets in power-2-decaying Gauss-like expansion

Zhihui Li, Xin Liao, Dingding Yu

Published 2024-03-07Version 1

Each $x\in (0,1]$ can be uniquely expanded as a power-2-decaying Gauss-like expansion, in the form of $$ x=\sum_{i=1}^{\infty}2^{-(d_1(x)+d_2(x)+\cdots+d_i(x))},\qquad d_i(x)\in \mathbb{N}. $$ Let $\phi:\mathbb{N}\to \mathbb{R}^{+}$ be an arbitrary positive function. We are interested in the size of the set $$F(\phi)=\{x\in (0,1]:d_n(x)\ge \phi(n)~~\text{i.m.}~n\}.$$ We prove a Borel-Bernstein theorem on the zero-one law of the Lebesgue measure of $F(\phi)$. We also obtain the Hausdorff dimension of $F(\phi)$.