当前位置: X-MOL 学术Can. J. Math. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Some complexity results in the theory of normal numbers
Canadian Journal of Mathematics ( IF 0.6 ) Pub Date : 2020-09-28 , DOI: 10.4153/s0008414x20000723
Dylan Airey 1 , Steve Jackson 2 , Bill Mance 3
Affiliation  

Let $\mathcal {N}(b)$ be the set of real numbers that are normal to base b. A well-known result of Ki and Linton [19] is that $\mathcal {N}(b)$ is $\boldsymbol {\Pi }^0_3$ -complete. We show that the set ${\mathcal {N}}^\perp (b)$ of reals, which preserve $\mathcal {N}(b)$ under addition, is also $\boldsymbol {\Pi }^0_3$ -complete. We use the characterization of ${\mathcal {N}}^\perp (b),$ given by Rauzy, in terms of an entropy-like quantity called the noise. It follows from our results that no further characterization theorems could result in a still better bound on the complexity of ${\mathcal {N}}^\perp (b)$ . We compute the exact descriptive complexity of other naturally occurring sets associated with noise. One of these is complete at the $\boldsymbol {\Pi }^0_4$ level. Finally, we get upper and lower bounds on the Hausdorff dimension of the level sets associated with the noise.



中文翻译:

一些复杂性导致了正规数理论

$\mathcal {N}(b)$ 是对底b正常的实数集。Ki 和 Linton [19] 的一个著名结果是 $\mathcal {N}(b)$ $\boldsymbol {\Pi }^0_3$ -complete 。我们证明了在加法下保留 $\mathcal {N}(b )$ 的实数集 ${\mathcal {N}}^\perp (b)$ 也是 $\boldsymbol {\Pi }^0_3$ -完全的。我们使用 Rauzy 给出的 ${\mathcal {N}}^\perp (b),$ 的表征,用一个称为噪声的类熵量来表示。从我们的结果可以看出,没有进一步的表征定理可以更好地限制 ${\mathcal {N}}^\perp (b)$ 。我们计算与噪声相关的其他自然发生的集合的精确描述复杂性。其中之一是在 $\boldsymbol {\Pi }^0_4$ 级别完成的。最后,我们得到与噪声相关的水平集的 Hausdorff 维数的上限和下限。

更新日期:2020-09-28
down
wechat
bug