-
Coding information into all infinite subsets of a dense set
Authors:
Matthew Harrison-Trainor,
Lu Liu,
Patrick Lutz
Abstract:
Suppose you have an uncomputable set $X$ and you want to find a set $A$, all of whose infinite subsets compute $X$. There are several ways to do this, but all of them seem to produce a set $A$ which is fairly sparse. We show that this is necessary in the following technical sense: if $X$ is uncomputable and $A$ is a set of positive lower density then $A$ has an infinite subset which does not compu…
▽ More
Suppose you have an uncomputable set $X$ and you want to find a set $A$, all of whose infinite subsets compute $X$. There are several ways to do this, but all of them seem to produce a set $A$ which is fairly sparse. We show that this is necessary in the following technical sense: if $X$ is uncomputable and $A$ is a set of positive lower density then $A$ has an infinite subset which does not compute $X$. We also prove an analogous result for PA degree: if $X$ is uncomputable and $A$ is a set of positive lower density then $A$ has an infinite subset which is not of PA degree. We will show that these theorems are sharp in certain senses and also prove a quantitative version formulated in terms of Kolmogorov complexity. Our results use a modified version of Mathias forcing and build on work by Seetapun, Liu, and others on the reverse math of Ramsey's theorem for pairs.
△ Less
Submitted 11 August, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Some Questions of Uniformity in Algorithmic Randomness
Authors:
Laurent Bienvenu,
Barbara Csima,
Matthew Harrison-Trainor
Abstract:
The $Ω$ numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-L{ö}f random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-L{ö}f random left-c.e. real $α$, a universal prefix-free machine U whose halting probability is $α$. We also answer a question of Barmpalias and Lewis-Pye by showing that given a left-c.e. real $α$, one…
▽ More
The $Ω$ numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-L{ö}f random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-L{ö}f random left-c.e. real $α$, a universal prefix-free machine U whose halting probability is $α$. We also answer a question of Barmpalias and Lewis-Pye by showing that given a left-c.e. real $α$, one cannot uniformly produce a left-c.e. real $β$ such that $α$ -- $β$ is neither left-c.e. nor right-c.e.
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
Preferential Structures for Comparative Probabilistic Reasoning
Authors:
Matthew Harrison-Trainor,
Wesley H. Holliday,
Thomas F. Icard III
Abstract:
Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing uncertainty is the same. In the case of reasoning about relative likelihood, with statements of the form $\varphi\succsimψ$ expressing that $\varphi$ is at least as likely as $ψ$, a standard qualitative approach using pre…
▽ More
Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing uncertainty is the same. In the case of reasoning about relative likelihood, with statements of the form $\varphi\succsimψ$ expressing that $\varphi$ is at least as likely as $ψ$, a standard qualitative approach using preordered preferential structures yields a dramatically different logical system than a quantitative approach using probability measures. In fact, the standard preferential approach validates principles of reasoning that are incorrect from a probabilistic point of view. However, in this paper we show that a natural modification of the preferential approach yields exactly the same logical system as a probabilistic approach--not using single probability measures, but rather sets of probability measures. Thus, the same preferential structures used in the study of non-monotonic logics and belief revision may be used in the study of comparative probabilistic reasoning based on imprecise probabilities.
△ Less
Submitted 6 April, 2021;
originally announced April 2021.
-
An Analysis of Random Elections with Large Numbers of Voters
Authors:
Matthew Harrison-Trainor
Abstract:
In an election in which each voter ranks all of the candidates, we consider the head-to-head results between each pair of candidates and form a labeled directed graph, called the margin graph, which contains the margin of victory of each candidate over each of the other candidates. A central issue in develo** voting methods is that there can be cycles in this graph, where candidate $\mathsf{A}$…
▽ More
In an election in which each voter ranks all of the candidates, we consider the head-to-head results between each pair of candidates and form a labeled directed graph, called the margin graph, which contains the margin of victory of each candidate over each of the other candidates. A central issue in develo** voting methods is that there can be cycles in this graph, where candidate $\mathsf{A}$ defeats candidate $\mathsf{B}$, $\mathsf{B}$ defeats $\mathsf{C}$, and $\mathsf{C}$ defeats $\mathsf{A}$. In this paper we apply the central limit theorem, graph homology, and linear algebra to analyze how likely such situations are to occur for large numbers of voters. There is a large literature on analyzing the probability of having a majority winner; our analysis is more fine-grained. The result of our analysis is that in elections with the number of voters going to infinity, margin graphs that are more cyclic in a certain precise sense are less likely to occur.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.