On exceptional sets in Erdős-Rényi limit theorem revisited (Q521615): Difference between revisions

From MaRDI portal
Normalize DOI.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/S00605-016-0977-Y / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S00605-016-0977-Y / rank
 
Normal rank

Latest revision as of 20:14, 9 December 2024

scientific article
Language Label Description Also known as
English
On exceptional sets in Erdős-Rényi limit theorem revisited
scientific article

    Statements

    On exceptional sets in Erdős-Rényi limit theorem revisited (English)
    0 references
    0 references
    0 references
    11 April 2017
    0 references
    Let \(x\in [0,1]\) , and \(r_n(x)\) be the length of the longest run of 1's amongst the first \(n\) digits in the dyadic expansion of \(x\). Such \(r_n\) is called the run-length function. Erdős and Rényi proved that the rate of growth of \(r_n(x)\) is \(\log_2 n\) for almost all \(x\in [0,1]\). The set of exceptional points is negligible from the measure-theoretical point of view, but \textit{J.-H. Ma} et al. [Monatsh. Math. 151, No. 4, 287--292 (2007; Zbl 1170.28001)] showed that it has Hausdorff dimension one. In this paper the authors study the asymptotic behavior of the run-length function with respect to more general speeds than \(\log_2 n\). Let \(\varphi :\mathbb{N}\to (0,+\infty )\) be an increasing function such that \(\lim_{n\to\infty} \varphi {n}=+\infty\), and \[ E_{\max}^\varphi =\{ x\in [0,1] : \liminf_{n\to\infty } \frac{r_n(x)}{\varphi (n)} =0, \, \limsup_{n\to\infty} \frac{r _n(x)}{\varphi (n)} =+\infty \} . \] The main result of the paper says that the set \(E_{\max}^\varphi \) either has Hausdorff dimension one and is residual in \([0,1]\), or is empty. It solves the conjecture posed by the authors in [J. Math. Anal. Appl. 436, 355--365 (2016; Zbl 1408.11077)].
    0 references
    0 references
    run-length function
    0 references
    Erdős-Rényi limit theorem
    0 references
    Hausdorff dimension
    0 references
    residual set
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references