Normality, Relativization, and Randomness

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Calvert, Wesley, Grunner, Emma, Mayordomo, Elvira, Turetsky, Daniel, Villano, Java Darleen
Format: Preprint
Published: 2023
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915153242488832
author Calvert, Wesley
Grunner, Emma
Mayordomo, Elvira
Turetsky, Daniel
Villano, Java Darleen
author_facet Calvert, Wesley
Grunner, Emma
Mayordomo, Elvira
Turetsky, Daniel
Villano, Java Darleen
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2312_10204
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Normality, Relativization, and Randomness
Calvert, Wesley
Grunner, Emma
Mayordomo, Elvira
Turetsky, Daniel
Villano, Java Darleen
Logic
Information Theory
Number Theory
03D32, 11K16
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.
title Normality, Relativization, and Randomness
topic Logic
Information Theory
Number Theory
03D32, 11K16
url https://arxiv.org/abs/2312.10204