{"title":"The prime-counting Copeland–Erdős constant","authors":"J. M. Campbell","doi":"10.1007/s10474-024-01437-8","DOIUrl":null,"url":null,"abstract":"<div><p>Let <span>\\((a(n) : n \\in \\mathbb{N})\\)</span> denote a sequence of nonnegative integers. Let <span>\\(0.a(1)a(2) \\ldots \\)</span> denote the real number obtained by concatenating the digit expansions, in a fixed base, of consecutive entries of <span>\\((a(n) : n \\in \\mathbb{N})\\)</span>. Research on digit expansions of this form has mainly to do with the normality of <span>\\(0.a(1)a(2) \\ldots \\)</span> for a given base. Famously, the Copeland-Erdős constant <span>\\(0.2357111317 \\ldots {}\\)</span>, for the case whereby <span>\\(a(n)\\)</span> equals the <span>\\(n^{\\text{th}}\\)</span> prime number <span>\\(p_{n}\\)</span>, is normal in base 10. However, it seems that the “inverse” construction given by concatenating the decimal digits of <span>\\((\\pi(n) : n \\in \\mathbb{N})\\)</span>, where <span>\\(\\pi\\)</span> denotes the prime-counting function, has not previously been considered. Exploring the distribution of sequences of digits in this new constant <span>\\(0.0122 \\ldots 9101011 \\ldots \\)</span> would be comparatively difficult, since the number of times a fixed <span>\\(m \\in \\mathbb{N} \\)</span> appears in <span>\\((\\pi(n) : n \\in \\mathbb{N})\\)</span> is equal to the prime gap <span>\\(g_{m} = p_{m+1} - p_{m}\\)</span>, with the behaviour of prime gaps notoriously elusive. Using a combinatorial method due to Szüsz and Volkmann, we prove that Cramér’s conjecture on prime gaps implies the normality of <span>\\(0.a(1)a(2) \\ldots \\)</span> in a given base <span>\\(g \\geq 2\\)</span>, for <span>\\(a(n) = \\pi(n)\\)</span>.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"173 1","pages":"101 - 111"},"PeriodicalIF":0.6000,"publicationDate":"2024-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Mathematica Hungarica","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s10474-024-01437-8","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let \((a(n) : n \in \mathbb{N})\) denote a sequence of nonnegative integers. Let \(0.a(1)a(2) \ldots \) denote the real number obtained by concatenating the digit expansions, in a fixed base, of consecutive entries of \((a(n) : n \in \mathbb{N})\). Research on digit expansions of this form has mainly to do with the normality of \(0.a(1)a(2) \ldots \) for a given base. Famously, the Copeland-Erdős constant \(0.2357111317 \ldots {}\), for the case whereby \(a(n)\) equals the \(n^{\text{th}}\) prime number \(p_{n}\), is normal in base 10. However, it seems that the “inverse” construction given by concatenating the decimal digits of \((\pi(n) : n \in \mathbb{N})\), where \(\pi\) denotes the prime-counting function, has not previously been considered. Exploring the distribution of sequences of digits in this new constant \(0.0122 \ldots 9101011 \ldots \) would be comparatively difficult, since the number of times a fixed \(m \in \mathbb{N} \) appears in \((\pi(n) : n \in \mathbb{N})\) is equal to the prime gap \(g_{m} = p_{m+1} - p_{m}\), with the behaviour of prime gaps notoriously elusive. Using a combinatorial method due to Szüsz and Volkmann, we prove that Cramér’s conjecture on prime gaps implies the normality of \(0.a(1)a(2) \ldots \) in a given base \(g \geq 2\), for \(a(n) = \pi(n)\).
期刊介绍:
Acta Mathematica Hungarica is devoted to publishing research articles of top quality in all areas of pure and applied mathematics as well as in theoretical computer science. The journal is published yearly in three volumes (two issues per volume, in total 6 issues) in both print and electronic formats. Acta Mathematica Hungarica (formerly Acta Mathematica Academiae Scientiarum Hungaricae) was founded in 1950 by the Hungarian Academy of Sciences.