arXiv subjects

Benoit Monin

Publications and source records attributed to Benoit Monin.

10 recordsLinked to original sources

arXiv2022

Partition genericity and pigeonhole basis theorems

There exist two notions of typicality in computability theory, namely, genericity and randomness. In this article, we introduce a new notion of genericity, called partition genericity, which is at the intersection of these two notions of typicality, and show that many basis theorems apply to partition genericity. More precisely, we prove that every co-hyperimmune set and every Kurtz random is partition generic, and that every partition generic set admits weak infinite subsets. In particular, we answer a question of Kjos-Hanssen and Liu by showing that every Kurtz random admits an infinite subset which does not compute any set of positive Hausdorff dimension. Partition genericty is a partition regular notion, so these results imply many existing pigeonhole basis theorems.

math.LO↗

arXiv2019

Bad oracles in higher computability and randomness

Many constructions in computability theory rely on "time tricks". In the higher setting, relativising to some oracles shows the necessity of these. We construct an oracle~$A$ and a set~$X$, higher Turing reducible to~$X$, but for which $\Psi(A)\ne X$ for any higher functional~$\Psi$ which is consistent on all oracles. We construct an oracle~$A$ relative to which there is no universal higher ML-test. On the other hand, we show that badness has its limits: there are no higher self-PA oracles, and for no~$A$ can we construct a higher $A$-c.e.\ set which is also higher $A$-ML-random. We study various classes of bad oracles and differentiate between them using other familiar classes. For example, bad oracles for consistent reductions can be higher ML-random, whereas bad oracles for universal tests cannot.

math.LO↗

arXiv2019

The weakness of the pigeonhole principle under hyperarithmetical reductions

The infinite pigeonhole principle for 2-partitions ($\mathsf{RT}^1_2$) asserts the existence, for every set $A$, of an infinite subset of $A$ or of its complement. In this paper, we study the infinite pigeonhole principle from a computability-theoretic viewpoint. We prove in particular that $\mathsf{RT}^1_2$ admits strong cone avoidance for arithmetical and hyperarithmetical reductions. We also prove the existence, for every $\Delta^0_n$ set, of an infinite low${}_n$ subset of it or its complement. This answers a question of Wang. For this, we design a new notion of forcing which generalizes the first and second-jump control of Cholak, Jockusch and Slaman.

math.LO↗

arXiv2019

SRT22 does not imply RT22 in omega-models

We complete a 40-year old program on the computability-theoretic analysis of Ramsey's theorem, starting with Jockusch in 1972, and improving a result of Chong, Slaman and Yang in 2014. Given a set $X$, let $[X]^n$ be the collection of all $n$-element subsets of $X$. Ramsey's theorem for $n$-tuples asserts the existence, for every finite coloring of $[\omega]^n$, of an infinite set $X \subseteq \omega$ such that $[X]^n$ is monochromatic. The meta-mathematical study of Ramsey has a rich history, with several long-standing open problems and seminal theorems, including Seetapun's theorem in 1995 and Liu's theorem in 2012 about Ramsey's theorem for pairs. The remaining question about the study of Ramsey's theorem from a computational viewpoint was the relation between Ramsey's theorem for pairs ($\mathsf{RT}^2_2$) and its restriction to stable colorings ($\mathsf{SRT}^2_2$), that is, colorings admitting a limit behavior. Chong, Slaman and Yang first proved that $\mathsf{SRT}^2_2$ does not formally imply $\mathsf{RT}^2_2$ in a proof-theoretic sense, using non-standard models of reverse mathematics. In this article, we answer the open question whether this non-implication also holds within the framework of computability theory. More precisely, we construct a $\omega$-model of $\mathsf{SRT}^2_2$ which is not a model of $\mathsf{RT}^2_2$. For this, we design a new notion of effective forcing refining Mathias forcing using the notion of largeness classes.

math.LO↗

arXiv2018

Pigeons do not jump high

The infinite pigeonhole principle for 2-partitions asserts the existence, for every set $A$, of an infinite subset of $A$ or of its complement. In this paper, we develop a new notion of forcing enabling a fine analysis of the computability-theoretic features of the pigeonhole principle. We deduce various consequences, such as the existence, for every set $A$, of an infinite subset of it or its complement of non-high degree. We also prove that every $\Delta^0_3$ set has an infinite low${}_3$ solution and give a simpler proof of Liu's theorem that every set has an infinite subset in it or its complement of non-PA degree.

math.LO↗

arXiv2017

Muchnik degrees and cardinal characteristics

For $p \in [0,1]$ let $\mathcal D(p)$ be the mass problem of infinite bit sequences~$y$ (i.e., $\{0,1\}$-valued functions) such that for each computable bit sequence $x$, the bit sequence $ x \leftrightarrow y$ has asymptotic lower density at most $p$ (where $x \leftrightarrow y$ has a $1$ in position $n$ iff $x(n) = y(n)$). We show that all members of this family of mass problems parameterized by a real $p$ with $0 < p<1/2 $ have the same complexity in the sense of Muchnik reducibility. We prove this by showing Muchnik equivalence of the problems $\mathcal D(p)$ with the mass problem $\mathrm{IOE}(2^ { 2^ n})$. As a dual of the problem $\mathcal D(p)$, define $\mathcal B(p)$, for $0 \le p < 1/2$, to be the set of bit sequences $y$ such that $\underline \rho (x \leftrightarrow y) > p$ for each computable set~$x$. We prove that the Medvedev (and hence Muchnik) complexity of the mass problems $\mathcal B(p)$ is the same for all $p \in (0, 1/2)$, by showing that they are Medvedev equivalent to the mass problem of functions bounded by $2^{2^ n}$ that are almost everywhere different from each computable function. Together with Joseph Miller, we obtain a proper hierarchy of the mass problems of type $\mathrm{IOE}$: We study cardinal characteristics in the sense of set theory that are analogous to the highness properties above.

math.LO↗

arXiv2017

A computable analysis of variable words theorems

The Carlson-Simpson lemma is a combinatorial statement occurring in the proof of the Dual Ramsey theorem. Formulated in terms of variable words, it informally asserts that given any finite coloring of the strings, there is an infinite sequence with infinitely many variables such that for every valuation, some specific set of initial segments is homogeneous. Friedman, Simpson, and Montalban asked about its reverse mathematical strength. We study the computability-theoretic properties and the reverse mathematics of this statement, and relate it to the finite union theorem. In particular, we prove the Ordered Variable word for binary strings in ACA0.

math.LO↗

arXiv2016

Pi01 encodability and omniscient reductions

A set of integers $A$ is computably encodable if every infinite set of integers has an infinite subset computing $A$. By a result of Solovay, the computably encodable sets are exactly the hyperarithmetic ones. In this paper, we extend this notion of computable encodability to subsets of the Baire space and we characterize the $\Pi^0_1$ encodable compact sets as those who admit a non-empty $\Sigma^1_1$ subset. Thanks to this equivalence, we prove that weak weak K\"onig's lemma is not strongly computably reducible to Ramsey's theorem. This answers a question of Hirschfeldt and Jockusch.

math.LO↗

arXiv2015

Continuous higher randomness

We investigate the role of continuous reductions and continuous relativisation in the context of higher randomness. We define a higher analogue of Turing reducibility and show that it interacts well with higher randomness, for example with respect to van-Lambalgen's theorem and the Miller-Yu / Levin theorem. We study lowness for continuous relativization of randomness, and show the equivalence of the higher analogues of the different characterisations of lowness for Martin-L\"of randomness. We also characterise computing higher $K$-trivial sets by higher random sequences. We give a separation between higher notions of randomness, in particular between higher weak-2-randomness and $\Pi^1_1$-randomness. To do so we investigate classes of functions computable from Kleene's~$O$ based on strong forms of the higher limit lemma.

math.LO↗

arXiv2014

Algorithmic identification of probabilities is hard

Suppose that we are given an infinite binary sequence which is random for a Bernoulli measure of parameter $p$. By the law of large numbers, the frequency of zeros in the sequence tends to~$p$, and thus we can get better and better approximations of $p$ as we read the sequence. We study in this paper a similar question, but from the viewpoint of inductive inference. We suppose now that $p$ is a computable real, but one asks for more: as we are reading more and more bits of our random sequence, we have to eventually guess the exact parameter $p$ (in the form of a Turing code). Can one do such a thing uniformly on all sequences that are random for computable Bernoulli measures, or even on a `large enough' fraction of them? In this paper, we give a negative answer to this question. In fact, we prove a very general negative result which extends far beyond the class of Bernoulli measures.

math.LO↗