Showing 1–19 of 19 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. Normality is certainly a weak notion of randomness; for instance, there are computable numbers which are absolutely normal. In the present paper, we introduce a relativization of normality to a fixed representation system. When we require normality with respect to large sets of such systems, we find variants of normality that imply randomness notions much s… ▽ More Normal numbers were introduced by Borel. Normality is certainly a weak notion of randomness; for instance, there are computable numbers which are absolutely normal. In the present paper, we introduce a relativization of normality to a fixed representation system. When we require normality with respect to large sets of such systems, we find variants of normality that imply randomness notions much stronger than absolute normality. The primary classes of numbers investigated in this paper are the supernormal numbers and the highly normal numbers, which we will define. These are relativizations of normality which are robust to all reasonable changes of representation. Among other results, we give a proof that the highly normal numbers are exactly those of computable dimension 1, which we think gives a more natural characterization than was previously known of this interesting class. △ Less

Submitted 15 December, 2023; originally announced December 2023.

MSC Class: 03D32; 11K16

An Effective Classification of Borel Wadge Classes

Authors: Adam Day, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky

Abstract: We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalbán. We use this machinery to give a new proof of Louveau and Saint-Raymond's separation theorem for Borel Wadge classes. This gives a proof of Borel Wadge determinacy in the subsystem $\text{ATR}_0+Π^1_1$-I of second-order arithmeti… ▽ More We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalbán. We use this machinery to give a new proof of Louveau and Saint-Raymond's separation theorem for Borel Wadge classes. This gives a proof of Borel Wadge determinacy in the subsystem $\text{ATR}_0+Π^1_1$-I of second-order arithmetic. △ Less

Submitted 15 November, 2022; originally announced November 2022.

MSC Class: 03D99

Iterated Priority Arguments in Descriptive Set Theory

Authors: Adam Day, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky

Abstract: We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff-Kuratowski and Wadge theorems on the structure of ${\mathbf Δ}^0_ξ$, Louveau and Saint-Raymond's separation theorem, and Louveau's separation theorem. We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff-Kuratowski and Wadge theorems on the structure of ${\mathbf Δ}^0_ξ$, Louveau and Saint-Raymond's separation theorem, and Louveau's separation theorem. △ Less

Submitted 15 November, 2022; originally announced November 2022.

MSC Class: 03D99

Limit Complexities, Minimal Descriptions, and $n$-Randomness

Authors: Rodney Downey, Lu Liu, Keng Meng Ng, Daniel Turetsky

Abstract: Let $K$ denote prefix-free Kolmogorov Complexity, and $K^A$ denote it relative to an oracle $A$. We show that for any $n$, $K^{\emptyset^{(n)}}$ is definable purely in terms of the unrelativized notion $K$. It was already known that 2-randomness is definable in terms of $K$ (and plain complexity $C$) as those reals which infinitely often have maximal complexity. We can use our characterization to… ▽ More Let $K$ denote prefix-free Kolmogorov Complexity, and $K^A$ denote it relative to an oracle $A$. We show that for any $n$, $K^{\emptyset^{(n)}}$ is definable purely in terms of the unrelativized notion $K$. It was already known that 2-randomness is definable in terms of $K$ (and plain complexity $C$) as those reals which infinitely often have maximal complexity. We can use our characterization to show that $n$-randomness is definable purely in terms of $K$. To do this we extend a certain ``limsup'' formula from the literature, and apply Symmetry of Information. This extension entails a novel use of semilow sets, and a more precise analysis of the complexity of $Δ_2^0$ sets of mimimal descriptions. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Structural Highness Notions

Authors: Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky

Abstract: We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies,… ▽ More We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies, and computing descending sequences in linear orders. △ Less

Submitted 15 September, 2021; originally announced September 2021.

MSC Class: 03D28

Computing sets from all infinite subsets

Authors: Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky

Abstract: A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the collection of introreducible sets is $Π^1_1$-complete, so that there is no simple characterization of the introreducible sets; and that every introenumerable set… ▽ More A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the collection of introreducible sets is $Π^1_1$-complete, so that there is no simple characterization of the introreducible sets; and that every introenumerable set has an introreducible subset. △ Less

Submitted 6 November, 2020; originally announced November 2020.

Comments: 30 pages

Computable classifications of continuous, transducer, and regular functions

Authors: Johanna N. Y. Franklin, Rupert Hölzl, Alexander Melnikov, Keng Meng Ng, Daniel Turetsky

Abstract: We develop a systematic algorithmic framework that unites global and local classification problems for functional separable spaces and apply it to attack classification problems concerning the Banach space C[0,1] of real-valued continuous functions on the unit interval. We prove that the classification problem for continuous (binary) regular functions among almost everywhere linear, pointwise line… ▽ More We develop a systematic algorithmic framework that unites global and local classification problems for functional separable spaces and apply it to attack classification problems concerning the Banach space C[0,1] of real-valued continuous functions on the unit interval. We prove that the classification problem for continuous (binary) regular functions among almost everywhere linear, pointwise linear-time Lipshitz functions is $Σ^0_2$-complete. We show that a function $f\colon [0,1] \rightarrow \mathbb{R}$ is (binary) transducer if and only if it is continuous regular; interestingly, this peculiar and nontrivial fact was overlooked by experts in automata theory. As one of many consequences, our $Σ^0_2$-completeness result covers the class of transducer functions as well. Finally, we show that the Banach space $C[0,1]$ of real-valued continuous functions admits an arithmetical classification among separable Banach spaces. Our proofs combine methods of abstract computability theory, automata theory, and functional analysis. △ Less

Submitted 2 October, 2022; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: Revised argument in Section 5; results unchanged

Realizing Computably Enumerable Degrees in Separating Classes

Authors: Peter Cholak, Rod Downey, Noam Greenberg, Daniel Turetsky

Abstract: We investigate what collections of c.e.\ Turing degrees can be realised as the collection of elements of a separating $Π^0_1$ class of c.e.\ degree. We show that for every c.e.\ degree $\mathbf{c}$, the collection $\{\mathbf{c}, \mathbf{0}'\}$ can be thus realized. We also rule out several attempts at constructing separating classes realizing a unique c.e.\ degree. For example, we show that there… ▽ More We investigate what collections of c.e.\ Turing degrees can be realised as the collection of elements of a separating $Π^0_1$ class of c.e.\ degree. We show that for every c.e.\ degree $\mathbf{c}$, the collection $\{\mathbf{c}, \mathbf{0}'\}$ can be thus realized. We also rule out several attempts at constructing separating classes realizing a unique c.e.\ degree. For example, we show that there is no \emph{super-maximal} pair: disjoint c.e.\ sets $A$ and $B$ whose separating class is infinite, but every separator of c.e.\ degree is a finite variant of either $A$ or $\overline{B}$. △ Less

Submitted 23 August, 2020; originally announced August 2020.

Taking the path computably travelled

Authors: Johanna N. Y. Franklin, Dan Turetsky

Abstract: We define a real $A$ to be low for paths in Baire space (or Cantor space) if every $Π^0_1$ class with an $A$-computable element has a computable element. We prove that lowness for paths in Baire space and lowness for paths in Cantor space are equivalent and, furthermore, that these notions are also equivalent to lowness for isomorphism. We define a real $A$ to be low for paths in Baire space (or Cantor space) if every $Π^0_1$ class with an $A$-computable element has a computable element. We prove that lowness for paths in Baire space and lowness for paths in Cantor space are equivalent and, furthermore, that these notions are also equivalent to lowness for isomorphism. △ Less

Submitted 28 May, 2019; originally announced May 2019.

MSC Class: 03D45; 03C57

Coding in the automorphism group of a computably categorical structure

Authors: Dan Turetsky

Abstract: Using new techniques for controlling the categoricity spectrum of a structure, we construct a structure with degree of categoricity but infinite spectral dimension, answering a question of Bazhenov, Kalimulin and Yamaleev. Using the same techniques, we construct a computably categorical structure of non-computable Scott rank, and a structure of computable dimension 2 such that there is no hyperari… ▽ More Using new techniques for controlling the categoricity spectrum of a structure, we construct a structure with degree of categoricity but infinite spectral dimension, answering a question of Bazhenov, Kalimulin and Yamaleev. Using the same techniques, we construct a computably categorical structure of non-computable Scott rank, and a structure of computable dimension 2 such that there is no hyperarithmetic isomorphism between the two copies. △ Less

Submitted 27 January, 2020; v1 submitted 19 May, 2019; originally announced May 2019.

MSC Class: 03D45; 03C57

Relationships between computability-theoretic properties of problems

Authors: Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky

Abstract: A problem is a multivalued function from a set of \emph{instances} to a set of \emph{solutions}. We consider only instances and solutions coded by sets of integers. A problem admits preservation of some computability-theoretic weakness property if every computable instance of the problem admits a solution relative to which the property holds. For example, cone avoidance is the ability, given a non… ▽ More A problem is a multivalued function from a set of \emph{instances} to a set of \emph{solutions}. We consider only instances and solutions coded by sets of integers. A problem admits preservation of some computability-theoretic weakness property if every computable instance of the problem admits a solution relative to which the property holds. For example, cone avoidance is the ability, given a non-computable set $A$ and a computable instance of a problem $\mathsf{P}$, to find a solution relative to which $A$ is still non-computable. In this article, we compare relativized versions of computability-theoretic notions of preservation which have been studied in reverse mathematics, and prove that the ones which were not already separated by natural statements in the literature actually coincide. In particular, we prove that it is equivalent to admit avoidance of 1 cone, of $ω$ cones, of 1 hyperimmunity or of 1 non-$Σ^0_1$ definition. We also prove that the hierarchies of preservation of hyperimmunity and non-$Σ^0_1$ definitions coincide. On the other hand, none of these notions coincide in a non-relativized setting. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Comments: 19 pages

Finding bases of uncountable free abelian groups is usually difficult

Authors: Noam Greenberg, Dan Turetsky, Linda Brown Westrick

Abstract: We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show, under the assumption $V=L$, that there is a first-order definable free abelian group with no first-order definable basis. We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show, under the assumption $V=L$, that there is a first-order definable free abelian group with no first-order definable basis. △ Less

Submitted 7 September, 2017; originally announced September 2017.

Comments: 26 pages

MSC Class: 03D60; 03E15; 20A10

Martin-Löf reducibility and cost functions

Authors: Noam Greenberg, Joseph S. Miller, Andre Nies, Daniel Turetsky

Abstract: Martin-Löf (ML)-reducibility compares $K$-trivial sets by examining the Martin-Löf random sequences that compute them. We show that every $K$-trivial set is computable from a c.e.\ set of the same ML-degree. We investigate the interplay between ML-reducibility and cost functions, which are used to both measure the number of changes in a computable approximation, and the type of null sets used to c… ▽ More Martin-Löf (ML)-reducibility compares $K$-trivial sets by examining the Martin-Löf random sequences that compute them. We show that every $K$-trivial set is computable from a c.e.\ set of the same ML-degree. We investigate the interplay between ML-reducibility and cost functions, which are used to both measure the number of changes in a computable approximation, and the type of null sets used to capture ML-random sequences. We show that for every cost function there is a c.e.\ set ML-above the sets obeying it (called an ML-complete set for the cost function). We characterise the $K$-trivial sets computable from a fragment of the left-c.e.\ random real~$Ω$. This leads to a new characterisation of strong jump-traceability. △ Less

Submitted 10 February, 2022; v1 submitted 2 July, 2017; originally announced July 2017.

MSC Class: 03D32; 03D30; 68Q30

The Rado Path Decomposition Theorem

Authors: Peter Cholak, Gregory Igusa, Ludovic Patey, Mariya Soskova, Dan Turetsky

Abstract: We discuss a theorem of Rado: Every r-coloring of the pairs of natural numbers has a path decomposition. We discuss a theorem of Rado: Every r-coloring of the pairs of natural numbers has a path decomposition. △ Less

Submitted 18 December, 2018; v1 submitted 11 October, 2016; originally announced October 2016.

Comments: Updated Oct 4 2017. Our thanks to the readers for their comments. Updated in Dec 2018. The major change was the additional of the Section 1.1 which motivating the work within the current framework of computable combinatorics

MSC Class: 05C55 05C70 03D80 03B30 03F35

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

Randomness and differentiability in higher dimensions

Authors: Alex Galicki, Daniel Turetsky

Abstract: We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies differentiability of computable Lipschitz functions of several variables. Secondly, we show that weak 2-randomness is equivalent to differentiability of computable a.e. diff… ▽ More We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies differentiability of computable Lipschitz functions of several variables. Secondly, we show that weak 2-randomness is equivalent to differentiability of computable a.e. differentiable functions of several variables. △ Less

Submitted 26 September, 2015; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: 19 pages

Computing K-Trivial Sets by Incomplete Random Sets

Authors: Laurent Bienvenu, Adam R. Day, Noam Greenberg, Antonín Kučera, Joseph S. Miller, André Nies, Dan Turetsky

Abstract: Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'. Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'. △ Less

Submitted 23 May, 2013; originally announced May 2013.

Inherent enumerability of strong jump-traceability

Authors: David Diamondstone, Noam Greenberg, Daniel Turetsky

Abstract: We show that every strongly jump-traceable set obeys every benign cost function. Moreover, we show that every strongly jump-traceable set is computable from a computably enumerable strongly jump-traceable set. This allows us to generalise properties of c.e.\ strongly jump-traceable sets to all such sets. For example, the strongly jump-traceable sets induce an ideal in the Turing degrees; the stron… ▽ More We show that every strongly jump-traceable set obeys every benign cost function. Moreover, we show that every strongly jump-traceable set is computable from a computably enumerable strongly jump-traceable set. This allows us to generalise properties of c.e.\ strongly jump-traceable sets to all such sets. For example, the strongly jump-traceable sets induce an ideal in the Turing degrees; the strongly jump-traceable sets are precisely those that are computable from all superlow Martin-Löf random sets; the strongly jump-traceable sets are precisely those that are a base for $\text{Demuth}_{\text{BLR}}$-randomness; and strong jump-traceability is equivalent to strong superlowness. △ Less

Submitted 7 October, 2011; originally announced October 2011.

Comments: 25 pages

Strong jump traceability and Demuth randomness

Authors: Noam Greenberg, Daniel Turetsky

Abstract: We solve the covering problem for Demuth randomness, showing that a computably enumerable set is computable from a Demuth random set if and only if it is strongly jump-traceable. We show that on the other hand, the class of sets which form a base for Demuth randomness is a proper subclass of the class of strongly jump-traceable sets. We solve the covering problem for Demuth randomness, showing that a computably enumerable set is computable from a Demuth random set if and only if it is strongly jump-traceable. We show that on the other hand, the class of sets which form a base for Demuth randomness is a proper subclass of the class of strongly jump-traceable sets. △ Less

Submitted 28 September, 2011; originally announced September 2011.

Comments: 28 pages