Abstract:Each $x\in (0,1]$ can be uniquely expanded as a power-2-decaying Gauss-like expansion, in the form of \begin{equation*} x=\sum_{i=1}^{\infty}2^{-(d_1(x)+d_2(x)+\cdots+d_i(x))},\qquad d_i(x)\in \mathbb{N}. \end{equation*} 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{for infinity many}~n\}.$$ We prove a Borel-Bernstein theorem on the zero-one law of the Lebesgue measure of $F(\phi)$. When the Lebesgue measure of $F(\phi)$ is zero, we calculate its Hausdorff dimension. Furthermore, we analyse the growth rate of the maximal digit among the first $n$ digits from probability and multifractal perspectives.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on studying a special number - theoretic expansion, namely the power - 2 - decaying Gauss - like expansion (P2DGL expansion). Specifically, the authors are concerned with the measure and fractal dimension of sets under certain conditions in this expansion. ### Main problem description 1. **Lebesgue measure of the set $ F(\phi) $**: - A function $\phi: \mathbb{N} \to \mathbb{R}^+$ is defined, and the following set is considered: \[ F(\phi) = \left\{ x \in (0, 1] : d_n(x) \geq \phi(n) \text{ for infinitely many } n \right\} \] - The Lebesgue measure of $ F(\phi) $ is studied, and a result similar to the Borel - Bernstein theorem is proved: when the series $\sum_{n = 1}^{\infty}\frac{1}{2^{\phi(n)}}$ converges, the Lebesgue measure of $ F(\phi) $ is zero; when this series diverges, the Lebesgue measure of $ F(\phi) $ is 1. 2. **Calculation of Hausdorff dimension**: - When the Lebesgue measure of $ F(\phi) $ is zero, its Hausdorff dimension is further calculated. In particular, for the asymptotic behavior of the function $\phi(n)$, the parameter $\alpha=\liminf_{n \to \infty}\frac{\phi(n)}{n}$ is defined, and the formula for the Hausdorff dimension of $ F(\phi) $ is given: \[ \dim_H F(\phi)= \begin{cases} s(\alpha), & \text{if } 0 \leq \alpha < \infty\\ 0, & \text{if } \alpha = +\infty \end{cases} \] where $ s(\alpha) $ is the unique real solution of the equation $\sum_{k = 1}^{\infty}\left(\frac{1}{2^{\alpha 2^k}}\right)^s = 1$. 3. **Growth rate of the largest digit**: - The maximum value among the first $ n $ digits $ L_n(x)=\max \{d_i(x):1 \leq i \leq n\}$ is defined, and the growth rate of $ L_n(x) $ is studied. In particular, for almost all $ x \in (0, 1]$, we have: \[ \lim_{n \to \infty}\frac{L_n(x)}{\log_2 n}=1 \] - The Hausdorff dimension of $ L_n(x) $ at different orders is further explored. ### Summary This paper deeply explores the measure properties and fractal dimensions of sets under specific conditions in the P2DGL expansion by studying these sets. These problems are not only of great significance in number theory, but also involve fields such as probability theory and fractal geometry, and have broad theoretical and application values.

Metrical theory of power-2-decaying Gauss-like expansion

Multifractal analysis of the power-2-decaying Gauss-like expansion

On new fractal phenomena connected with infinite linear IFS

Multifractal analysis of the convergence exponents for the digits in $d$-decaying Gauss like dynamical systems

Metrical properties of exponentially growing partial quotients

Hausdorff dimension of some exceptional sets in Lüroth expansions

Extravagance, irrationality and Diophantine approximation

Metrical properties of weighted products of consecutive Lüroth digits

Equidistribution of Expanding Measures with Local Maximal Dimension and Diophantine Approximation

Limits of Probability Measures With General Coefficients

On spectra of probability measures generated by GLS-expansions

Metrical properties of finite product of partial quotients in arithmetic progressions

Quantitative recurrence properties and strong dynamical Borel-Cantelli lemma for dynamical systems with exponential decay of correlations

Decay estimates for a class of semigroups related to self-adjoint operators on metric measure spaces

Hausdorff measure and decay rate of Riesz capacity

The Fractal Dimension of Liouville Quantum Gravity: Universality, Monotonicity, and Bounds

Fast Dimension Spectrum for a Potential with a Logarithmic Singularity

Fourier decay of fractal measures on surfaces of co-dimension two in $\mathbb{R}^5$

Multifractal Analysis Of The Divergence Points Associated With The Growth Of Digits In Engel Expansions

Asymptotic expansion of Toeplitz determinants of an indicator function with discrete rotational symmetry and powers of random unitary matrices

L^\infty -Estimation of Generalized Thue-Morse Trigonometric Polynomials and Ergodic Maximization