Showing 1–2 of 2 results for author: Turetsky, D

Normality, Relativization, and Randomness

Authors: Wesley Calvert, Emma Grunner, Elvira Mayordomo, Daniel Turetsky, Java Darleen Villano

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 properti… ▽ More 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. △ Less

Submitted 17 February, 2025; v1 submitted 15 December, 2023; originally announced December 2023.

MSC Class: 03D32; 11K16

Partial functions and domination

Authors: C. T. Chong, Gordon Hoi, Frank Stephan, Daniel Turetsky

Abstract: The current work introduces the notion of pdominant sets and studies their recursion-theoretic properties. Here a set A is called pdominant iff there is a partial A-recursive function ψ such that for every partial recursive function φ and almost every x in the domain of φ there is a y in the domain of ψ with y<= x and ψ(y) > φ(x). While there is a full π01-class of nonrecursive sets where no set… ▽ More The current work introduces the notion of pdominant sets and studies their recursion-theoretic properties. Here a set A is called pdominant iff there is a partial A-recursive function ψ such that for every partial recursive function φ and almost every x in the domain of φ there is a y in the domain of ψ with y<= x and ψ(y) > φ(x). While there is a full π01-class of nonrecursive sets where no set is pdominant, there is no π01-class containing only pdominant sets. No weakly 2-generic set is pdominant while there are pdominant 1-generic sets below K. The halves of Chaitin's Ω are pdominant. No set which is low for Martin-Löf random is pdominant. There is a low r.e. set which is pdominant and a high r.e. set which is not pdominant. △ Less

Submitted 5 January, 2016; v1 submitted 23 June, 2015; originally announced June 2015.

Journal ref: Logical Methods in Computer Science, Volume 11, Issue 3 (September 21, 2015) lmcs:1592