-
The computational content of multidimensional discontinuity
Authors:
Rupert Hölzl,
Keng Meng Ng
Abstract:
The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinuity in its purest form, that is, at otherwise constant functions that make a single discontinuous step along each dimension of their underlying space. This is an extension of previous work of Kihara, Pauly, Westrick from…
▽ More
The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinuity in its purest form, that is, at otherwise constant functions that make a single discontinuous step along each dimension of their underlying space. This is an extension of previous work of Kihara, Pauly, Westrick from a single dimension to multiple dimensions. Among other results, we obtain strict hierarchies in the Weihrauch degrees, one of which orders mathematical problems by the richness of the truth-tables determining how discontinuous steps influence the output.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Finite final segments of the d.c.e. Turing degrees
Authors:
Steffen Lempp,
Yiqun Liu,
Yong Liu,
Keng Meng Ng,
Cheng Peng,
Guohua Wu
Abstract:
We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the EAE-theory of the d.c.e. degrees in the language of partial ordering.
We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the EAE-theory of the d.c.e. degrees in the language of partial ordering.
△ Less
Submitted 21 March, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Computable topological groups
Authors:
Heer Tern Koh,
Alexander Melnikov,
Keng Meng Ng
Abstract:
We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective presentability for discrete and profinite groups, and compare these results with similar results in computable topology. Most of these definitions can be separated…
▽ More
We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective presentability for discrete and profinite groups, and compare these results with similar results in computable topology. Most of these definitions can be separated by counter-examples. Remarkably, we prove that two such definitions are equivalent for locally compact Polish and abelian Polish groups. More specifically, we prove that in these broad classes of groups, every computable topological group admits a right-c.e.~(upper semi-computable) presentation with a left-invariant metric, and a computable dense sequence of points. In the locally compact case, we also show that if the group is additionally effectively locally compact, then we can produce an effectively proper left-invariant metric.
△ Less
Submitted 10 September, 2022;
originally announced September 2022.
-
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.
-
Punctual equivalence relations and their (punctual) complexity
Authors:
Nikolay Bazhenov,
Keng Meng Ng,
Luca San Mauro,
Andrea Sorbi
Abstract:
The complexity of equivalence relations has received much attention in the recent literature. The main tool for such endeavour is the following reducibility: given equivalence relations $R$ and $S$ on natural numbers, $R$ is computably reducible to $S$ if there is a computable function $f \colon ω\to ω$ that induces an injective map from $R$-equivalence classes to $S$-equivalence classes. In order…
▽ More
The complexity of equivalence relations has received much attention in the recent literature. The main tool for such endeavour is the following reducibility: given equivalence relations $R$ and $S$ on natural numbers, $R$ is computably reducible to $S$ if there is a computable function $f \colon ω\to ω$ that induces an injective map from $R$-equivalence classes to $S$-equivalence classes. In order to compare the complexity of equivalence relations which are computable, researchers considered also feasible variants of computable reducibility, such as the polynomial-time reducibility. In this work, we explore $\mathbf{Peq}$, the degree structure generated by primitive recursive reducibility on punctual equivalence relations (i.e., primitive recursive equivalence relations with domain $ω$). In contrast with all other known degree structures on equivalence relations, we show that $\mathbf{Peq}$ has much more structure: e.g., we show that it is a dense distributive lattice. On the other hand, we also offer evidence of the intricacy of $\mathbf{Peq}$, proving, e.g., that the structure is neither rigid nor homogeneous.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
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.
-
A recursion theoretic foundation of computation over real numbers
Authors:
Keng Meng Ng,
Nazanin R. Tavana,
Yue Yang
Abstract:
We define a class of computable functions over real numbers using functional schemes similar to the class of primitive and partial recursive functions defined by Gödel and Kleene. We show that this class of functions can also be characterized by master-slave machines, which are Turing machine like devices. The proof of the characterization gives a normal form theorem in the style of Kleene. Furthe…
▽ More
We define a class of computable functions over real numbers using functional schemes similar to the class of primitive and partial recursive functions defined by Gödel and Kleene. We show that this class of functions can also be characterized by master-slave machines, which are Turing machine like devices. The proof of the characterization gives a normal form theorem in the style of Kleene. Furthermore, this characterization is a natural combination of two most influential theories of computation over real numbers, namely, the type-two theory of effectivity (TTE) (see, for example, Weihrauch) and the Blum-Shub-Smale model of computation (BSS). Under this notion of computability, the recursive (or computable) subsets of real numbers are exactly effective $Δ^0_2$ sets.
△ Less
Submitted 2 October, 2020;
originally announced October 2020.
-
Foundations of Online Structure Theory II: The Operator Approach
Authors:
Rod Downey,
Alexander Melnikov,
Keng Meng Ng
Abstract:
We introduce a framework for online structure theory. Our approach generalises notions arising independently in several areas of computability theory and complexity theory. We suggest a unifying approach using operators where we allow the input to be a countable object of an arbitrary complexity. We give a new framework which (i) ties online algorithms with computable analysis, (ii) shows how to u…
▽ More
We introduce a framework for online structure theory. Our approach generalises notions arising independently in several areas of computability theory and complexity theory. We suggest a unifying approach using operators where we allow the input to be a countable object of an arbitrary complexity. We give a new framework which (i) ties online algorithms with computable analysis, (ii) shows how to use modifications of notions from computable analysis, such as Weihrauch reducibility, to analyse finite but uniform combinatorics, (iii) show how to finitize reverse mathematics to suggest a fine structure of finite analogs of infinite combinatorial problems, and (iv) see how similar ideas can be amalgamated from areas such as EX-learning, computable analysis, distributed computing and the like. One of the key ideas is that online algorithms can be viewed as a sub-area of computable analysis. Conversely, we also get an enrichment of computable analysis from classical online algorithms.
△ Less
Submitted 20 July, 2021; v1 submitted 14 July, 2020;
originally announced July 2020.
-
Enumeration degrees and non-metrizable topology
Authors:
Takayuki Kihara,
Keng Meng Ng,
Arno Pauly
Abstract:
The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $ω$-power of the Sierpiński space). Hence, every represented second-countable $T_0$-space determines a collection of enumeration degrees. For instance, Cantor space captures the total degrees, and the H…
▽ More
The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $ω$-power of the Sierpiński space). Hence, every represented second-countable $T_0$-space determines a collection of enumeration degrees. For instance, Cantor space captures the total degrees, and the Hilbert cube captures the continuous degrees by definition. Based on these observations, we utilize general topology (particularly non-metrizable topology) to establish a classification theory of enumeration degrees of sets of natural numbers.
△ Less
Submitted 17 September, 2020; v1 submitted 8 April, 2019;
originally announced April 2019.
-
A Few Notes on Formal Balls
Authors:
Jean Goubault-Larrecq,
Kok Min Ng
Abstract:
Using the notion of formal ball, we present a few new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its $d$-Scott topology; for standard quasi-metric spaces, algebraicity is equivalent to having enough center points; on a standard quasi-metric space, every lower semi…
▽ More
Using the notion of formal ball, we present a few new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its $d$-Scott topology; for standard quasi-metric spaces, algebraicity is equivalent to having enough center points; on a standard quasi-metric space, every lower semicontinuous $\bar{\mathbb{R}}_+$-valued function is the supremum of a chain of Lipschitz Yoneda-continuous maps; the continuous Yoneda-complete quasi-metric spaces are exactly the retracts of algebraic Yoneda-complete quasi-metric spaces; every continuous Yoneda-complete quasi-metric space has a so-called quasi-ideal model, generalizing a construction due to K. Martin. The point is that all those results reduce to domain-theoretic constructions on posets of formal balls.
△ Less
Submitted 24 November, 2017; v1 submitted 17 June, 2016;
originally announced June 2016.
-
Turing degrees in Polish spaces and decomposability of Borel functions
Authors:
Vassilios Gregoriades,
Takayuki Kihara,
Keng Meng Ng
Abstract:
We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (\eg the Shore-Slama…
▽ More
We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (\eg the Shore-Slaman Join Theorem) to the setting of Polish spaces. As a by-product we give both positive and negative results on the Martin Conjecture on the degree preserving Borel functions between Polish spaces. Additionally we prove results about the transfinite version as well as the computable version of the Decomposability Conjecture, and we explore the idea of applying the technique of turning Borel-measurable functions into continuous ones.
△ Less
Submitted 26 May, 2016; v1 submitted 4 October, 2014;
originally announced October 2014.
-
Finitary reducibility on equivalence relations
Authors:
Russell Miller,
Keng Meng Ng
Abstract:
We introduce the notion of finitary computable reducibility on equivalence relations on the natural numbers. This is a weakening of the usual notion of computable reducibility, and we show it to be distinct in several ways. In particular, whereas no equivalence relation can be $Π_{n+2}$-complete under computable reducibility, we show that, for every $n$, there does exist a natural equivalence rela…
▽ More
We introduce the notion of finitary computable reducibility on equivalence relations on the natural numbers. This is a weakening of the usual notion of computable reducibility, and we show it to be distinct in several ways. In particular, whereas no equivalence relation can be $Π_{n+2}$-complete under computable reducibility, we show that, for every $n$, there does exist a natural equivalence relation which is $Π_{n+2}$-complete under finitary reducibility. We also show that our hierarchy of finitary reducibilities does not collapse, and illustrate how it sharpens certain known results. Along the way, we present several new results which use computable reducibility to establish the complexity of various naturally defined equivalence relations in the arithmetical hierarchy.
△ Less
Submitted 4 August, 2015; v1 submitted 13 June, 2014;
originally announced June 2014.
-
An analogy between cardinal characteristics and highness properties of oracles
Authors:
Jörg Brendle,
Andrew Brooke-Taylor,
Keng Meng Ng,
André Nies
Abstract:
We present an analogy between cardinal characteristics from set theory and highness properties from computability theory, which specify a sense in which a Turing oracle is computationally strong. While this analogy was first studied explicitly by Rupprecht in his PhD thesis, many prior results can be viewed from this perspective. After a comprehensive survey of the analogy for characteristics from…
▽ More
We present an analogy between cardinal characteristics from set theory and highness properties from computability theory, which specify a sense in which a Turing oracle is computationally strong. While this analogy was first studied explicitly by Rupprecht in his PhD thesis, many prior results can be viewed from this perspective. After a comprehensive survey of the analogy for characteristics from Cichon's diagram, we extend it to Kurtz randomness and the analogue of the Specker-Eda number.
△ Less
Submitted 25 September, 2014; v1 submitted 10 April, 2014;
originally announced April 2014.
-
Complexity of equivalence relations and preorders from computability theory
Authors:
Egor Ianovski,
Keng Meng Ng,
Russell Miller,
Andre Nies
Abstract:
We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations $R, S$, a componentwise reducibility is defined by $ R\le S \iff \ex f \, \forall x, y \, [xRy \lra f(x) Sf(y)]. $ Here $f$ is taken from a suitable class of effective functions. For us the relations will be on natural numbers, and $f$ must be computable.…
▽ More
We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations $R, S$, a componentwise reducibility is defined by $ R\le S \iff \ex f \, \forall x, y \, [xRy \lra f(x) Sf(y)]. $ Here $f$ is taken from a suitable class of effective functions. For us the relations will be on natural numbers, and $f$ must be computable. We show that there is a $Π_1$-complete equivalence relation, but no $Πk$-complete for $k \ge 2$.
We show that $Σk$ preorders arising naturally in the above-mentioned areas are $Σk$-complete. This includes polynomial time $m$-reducibility on exponential time sets, which is $Σ2$, almost inclusion on r.e.\ sets, which is $Σ3$, and Turing reducibility on r.e.\ sets, which is $Σ4$.
△ Less
Submitted 13 October, 2013; v1 submitted 3 February, 2013;
originally announced February 2013.