Normality, Relativization, and Randomness

๐Ÿ“… 2023-12-15
๐Ÿ›๏ธ arXiv.org
๐Ÿ“ˆ Citations: 0
โœจ Influential: 0
๐Ÿ“„ PDF
๐Ÿค– AI Summary
This paper addresses the relativization of Borel absolute normality within generalized digital representation systems, establishing a natural relativization framework for genericity. It introduces two novel notions of algorithmic randomness: โ€œhyper-normal numbersโ€ and โ€œhigh-normal numbers.โ€ The former strictly lies between 2-randomness and effective dimension one; the latter provides the first purely generic characterization of sequences with computable dimension one. Combining techniques from algorithmic information theory, computability theory, and generalized base analysis, the authors prove both notions constitute proper generalizations of Borel absolute normality and precisely locate them within the algorithmic randomness hierarchy. Key contributions include: (i) the first relativized model of genericity; (ii) an intrinsic generic characterization of computable dimension-one sequences; and (iii) a deeper conceptual unification of number-theoretic normality and algorithmic randomness.
๐Ÿ“ Abstract
Normal numbers were introduced by Borel and later proven to be a weak notion of algorithmic randomness. We introduce here a natural relativization of normality based on generalized number representation systems. We explore the concepts of supernormal numbers that correspond to semicomputable relativizations, and that of highly normal numbers in terms of computable ones. We prove several properties of these new randomness concepts. Both supernormality and high normality generalize Borel absolute normality. Supernormality is strictly between 2-randomness and effective dimension 1, while high normality corresponds exactly to sequences of computable dimension 1 providing a more natural characterization of this class.
Problem

Research questions and friction points this paper is trying to address.

Relativizes normality in number representation systems.
Introduces supernormal and highly normal numbers.
Links high normality to computable dimension 1 sequences.
Innovation

Methods, ideas, or system contributions that make the work stand out.

Relativization of normality
Supernormal numbers concept
High normality characterization
๐Ÿ”Ž Similar Papers
No similar papers found.
Wesley Calvert
Wesley Calvert
E
Emma Gruner
Elvira Mayordomo
Elvira Mayordomo
Universidad de Zaragoza, University of Zaragoza
Theoretical Computer Science
D
Daniel Turetsky
J
Java Darleen Villano
Focused Research Group grant from the National Science Foundation of the United States, DMS-1854355