BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Ludovic Patey appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this article, we give two proofs of Carlson's theorem for located words in~$\mathsf{ACA}^+_0$. The first proof is purely combinatorial, in the style of Towsner's proof of Hindman's theorem. The second uses topological dynamics to show that an iterated version of Hindman's theorem for bounded sums implies Carlson's theorem for located words.
We prove the following result: there is a family $R = \langle R_0,R_1,\ldots \rangle$ of subsets of $ω$ such that for every stable coloring $c : [ω]^2 \to k$ hyperarithmetical in $R$ and every finite collection of Turing functionals, there is an infinite homogeneous set $H$ for $c$ such that none of the finitely many functionals map $R \oplus H$ to an infinite cohesive set for $R$. This extends the current best partial results towards the $\mathsf{SRT}^2_2$ vs. $\mathsf{COH}$ problem in reverse mathematics, and is also a partial result towards the resolution of several related problems, such as whether $\mathsf{COH}$ is omnisciently computably reducible to $\mathsf{SRT}^2_2$.
The $\mathsf{SRT}^2_2$ vs.\ $\mathsf{COH}$ problem is a central problem in computable combinatorics and reverse mathematics, asking whether every Turing ideal that satisfies the principle $\mathsf{SRT}^2_2$ also satisfies the principle $\mathsf{COH}$. This paper is a contribution towards further developing some of the main techniques involved in attacking this problem. We study several principles related to each of $\mathsf{SRT}^2_2$ and $\mathsf{COH}$, and prove results that highlight the limits of our current understanding, but also point to new directions ripe for further exploration.
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 $Δ^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.
Ramsey's theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In this paper, we study a strengthening of Ramsey's theorem for pairs due to Erdos and Rado, which states that every 2-coloring of the pairs of rationals has either an infinite 0-homogeneous set or a 1-homogeneous set of order type eta, where eta is the order type of the rationals. This theorem is a natural candidate to lie strictly between the arithmetic comprehension axiom and Ramsey's theorem for pairs. This Erdos-Rado theorem, like the tree theorem for pairs, belongs to a family of Ramsey-type statements whose logical strength remains a challenge.
The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{<ω}$, there is a set of nodes isomorphic to $2^{<ω}$ which is homogeneous for the coloring. This is a generalization of the more familiar Ramsey's theorem for pairs ($\mathsf{RT}^2_2$), which has been studied extensively in computability theory and reverse mathematics. We answer a longstanding open question about the strength of $\mathsf{TT}^2_2$, by showing that this principle does not imply the arithmetic comprehension axiom ($\mathsf{ACA}_0$) over the base system, recursive comprehension axiom ($\mathsf{RCA}_0$), of second-order arithmetic. In addition, we give a new and self-contained proof of a recent result of Patey that $\mathsf{TT}^2_2$ is strictly stronger than $\mathsf{RT}^2_2$. Combined, these results establish $\mathsf{TT}^2_2$ as the first known example of a natural combinatorial principle to occupy the interval strictly between $\mathsf{ACA}_0$ and $\mathsf{RT}^2_2$. The proof of this fact uses an extension of the bushy tree forcing method, and develops new techniques for dealing with combinatorial statements formulated on trees, rather than on $ω$.
Among the Ramsey-type hierarchies, namely, Ramsey's theorem, the free set, the thin set and the rainbow Ramsey theorem, only Ramsey's theorem is known to collapse in reverse mathematics. A promising approach to show the strictness of the hierarchies would be to prove that every computable instance at level n has a low_n solution. In particular, this requires effective control of iterations of the Turing jump. In this paper, we design some variants of Mathias forcing to construct solutions to cohesiveness, the Erdos-Moser theorem and stable Ramsey's theorem for pairs, while controlling their iterated jumps. For this, we define forcing relations which, unlike Mathias forcing, have the same definitional complexity as the formulas they force. This analysis enables us to answer two questions of Wei Wang, namely, whether cohesiveness and the Erdos-Moser theorem admit preservation of the arithmetic hierarchy, and can be seen as a step towards the resolution of the strictness of the Ramsey-type hierarchies.
A set C of reals is said to be negligible if there is no probabilistic algorithm which generates a member of C with positive probability. Various classes have been proven to be negligible, for example the Turing upper-cone of a non-computable real, the class of coherent completions of Peano Arithmetic or the class of reals of minimal degrees. One class of particular interest in the study of negligibility is the class of diagonally non-computable (DNC) functions, proven by Kucera to be non-negligible in a strong sense: every Martin-Löf random real computes a DNC function. Ambos-Spies et al. showed that the converse does not hold: there are DNC functions which compute no Martin-Löf random real. In this paper, we show that such the set of such DNC functions is in fact non-negligible. More precisely, we prove that for every sufficiently fast-growing computable~$h$, every 2-random real computes an $h$-bounded DNC function which computes no Martin-Löf random real. Further, we show that the same holds for the set of reals which compute a DNC function but no bounded DNC function. The proofs of these results use a combination of a technique due to Kautz (which, following a metaphor of Shen, we like to call a `fireworks argument') and bushy tree forcing, which is the canonical forcing notion used in the study of DNC functions.
The Erdos-Moser theorem (EM) states that every infinite tournament has an infinite transitive subtournament. This principle plays an important role in the understanding of the computational strength of Ramsey's theorem for pairs (RT^2_2) by providing an alternate proof of RT^2_2 in terms of EM and the ascending descending sequence principle (ADS). In this paper, we study the computational weakness of EM and construct a standard model (omega-model) of simultaneously EM, weak König's lemma and the cohesiveness principle, which is not a model of the atomic model theorem. This separation answers a question of Hirschfeldt, Shore and Slaman, and shows that the weakness of the Erdos-Moser theorem goes beyond the separation of EM from ADS proven by Lerman, Solomon and Towsner.
We identify computability-theoretic properties enabling us to separate various statements about partial orders in reverse mathematics. We obtain simpler proofs of existing separations, and deduce new compound ones. This work is part of a larger program of unification of the separation proofs of various Ramsey-type theorems in reverse mathematics in order to obtain a better understanding of the combinatorics of Ramsey's theorem and its consequences. We also answer a question of Murakami, Yamazaki and Yokoyama about pseudo Ramsey's theorem for pairs.
We answer a question posed by Hirschfeldt and Jockusch by showing that whenever $k > \ell$, Ramsey's theorem for singletons and $k$-colorings, $\mathsf{RT}^1_k$, is not strongly computably reducible to the stable Ramsey's theorem for $\ell$-colorings, $\mathsf{SRT}^2_\ell$. Our proof actually establishes the following considerably stronger fact: given $k > \ell$, there is a coloring $c : ω\to k$ such that for every stable coloring $d : [ω]^2 \to \ell$ (computable from $c$ or not), there is an infinite homogeneous set $H$ for $d$ that computes no infinite homogeneous set for $c$. This also answers a separate question of Dzhafarov, as it follows that the cohesive principle, $\mathsf{COH}$, is not strongly computably reducible to the stable Ramsey's theorem for all colorings, $\mathsf{SRT}^2_{<\infty}$. The latter is the strongest partial result to date in the direction of giving a negative answer to the longstanding open question of whether $\mathsf{COH}$ is implied by the stable Ramsey's theorem in $ω$-models of $\mathsf{RCA}_0$.
Every function over the natural numbers has an infinite subdomain on which the function is non-decreasing. Motivated by a question of Dzhafarov and Schweber, we study the reverse mathematics of variants of this statement. It turns out that this statement restricted to computably bounded functions is computationally weak and does not imply the existence of the halting set. On the other hand, we prove that it is not a consequence of Ramsey's theorem for pairs. This statement can therefore be seen as an arguably natural principle between the arithmetic comprehension axiom and stable Ramsey's theorem for pairs.
In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable reducibility. We proceed to a systematic study of various Ramsey-type statements under a unified and minimalistic framework and obtain a precise analysis of their interrelations. We clarify the role of the number of colors in Ramsey's theorem. In particular, we show that the hierarchy of Ramsey's theorem induced by the number of colors is strictly increasing over computable reducibility, and exhibit in reverse mathematics an infinite decreasing hiearchy of Ramsey-type theorems by weakening the homogeneity constraints. These results tend to show that the Ramsey-type statements are not robust, that is, slight variations of the statements lead to strictly different subsystems. Finally, we pursuit the analysis of the links between Ramsey's theorems and compacity arguments, by extending Liu's theorem to several Ramsey-type statements and by proving its optimality under various aspects.
Informally, a mathematical statement is robust if its strength is left unchanged under variations of the statement. In this paper, we investigate the lack of robustness of Ramsey's theorem and its consequence under the frameworks of reverse mathematics and computable reducibility. To this end, we study the degrees of unsolvability of cohesive sets for different uniformly computable sequence of sets and identify different layers of unsolvability. This analysis enables us to answer some questions of Wang about how typical sets help computing cohesive sets. We also study the impact of the number of colors in the computable reducibility between coloring statements. In particular, we strengthen the proof by Dzhafarov that cohesiveness does not strongly reduce to stable Ramsey's theorem for pairs, revealing the combinatorial nature of this non-reducibility and prove that whenever $k$ is greater than $\ell$, stable Ramsey's theorem for $n$-tuples and $k$ colors is not computably reducible to Ramsey's theorem for $n$-tuples and $\ell$ colors. In this sense, Ramsey's theorem is not robust with respect to his number of colors over computable reducibility. Finally, we separate the thin set and free set theorem from Ramsey's theorem for pairs and identify an infinite decreasing hierarchy of thin set theorems in reverse mathematics. This shows that in reverse mathematics, the strength of Ramsey's theorem is very sensitive to the number of colors in the output set. In particular, it enables us to answer several related questions asked by Cholak, Giusto, Hirst and Jockusch.
The separation between two theorems in reverse mathematics is usually done by constructing a Turing ideal satisfying a theorem P and avoiding the solutions to a fixed instance of a theorem Q. Lerman, Solomon and Towsner introduced a forcing technique for iterating a computable non-reducibility in order to separate theorems over omega-models. In this paper, we present a modularized version of their framework in terms of preservation of hyperimmunity and show that it is powerful enough to obtain the same separations results as Wang did with his notion of preservation of definitions.
The rainbow Ramsey theorem states that every coloring of tuples where each color is used a bounded number of times has an infinite subdomain on which no color appears twice. The restriction of the statement to colorings over pairs (RRT22) admits several characterizations: it is equivalent to finding an infinite subset of a 2-random, to diagonalizing against Turing machines with the halting set as oracle... In this paper we study principles that are closely related to the rainbow Ramsey theorem, the Erdős Moser theorem and the thin set theorem within the framework of reverse mathematics. We prove that the thin set theorem for pairs implies RRT22, and that the stable thin set theorem for pairs implies the atomic model theorem over RCA. We define different notions of stability for the rainbow Ramsey theorem and establish characterizations in terms of Ramsey-type König's lemma, relativized Schnorr randomness or diagonalization of Delta2 functions.
Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of various problems. Schaefer proved in 1978 that truth satisfaction of propositional formulas given a language of relations is either NP-complete or tractable. We classify the corresponding satisfying assignment construction problems in the framework of reverse mathematics and show that the principles are either provable over RCA or equivalent to WKL. We formulate also a Ramseyan version of the problems and state a different dichotomy theorem. However, the different classes arising from this classification are not known to be distinct.
No natural principle is currently known to be strictly between the arithmetic comprehension axiom (ACA) and Ramsey's theorem for pairs (RT^2_2) in reverse mathematics. The tree theorem for pairs (TT^2_2) is however a good candidate. The tree theorem states that for every finite coloring over tuples of comparable nodes in the full binary tree, there is a monochromatic subtree isomorphic to the full tree. The principle TT^2_2 is known to lie between ACA and RT^2_2 over RCA, but its exact strength remains open. In this paper, we prove that RT^2_2 together with weak König's lemma (WKL) does not imply TT^2_2, thereby answering a question of Montalban. This separation is a case in point of the method of Lerman, Solomon and Towsner for designing a computability-theoretic property which discriminates between two statements in reverse mathematics. We therefore put the emphasis on the different steps leading to this separation in order to serve as a tutorial for separating principles in reverse mathematics.
A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable solution. P admits a universal instance if there exists a computable instance such that every solution bounds P. We prove that the stable version of the ascending descending sequence principle (SADS) as well as the stable version of the thin set theorem for pairs (STS(2)) do not admit a bound of low_2 degree. Therefore no principle between Ramsey's theorem for pairs RT22 and SADS or STS(2) admit a universal instance. We construct a low_2 degree bounding the Erdős-Moser theorem (EM), thereby showing that previous argument does not hold for EM. Finally, we prove that the only Delta^0_2 degree bounding a stable version of the rainbow Ramsey theorem for pairs (SRRT22) is 0'. Hence no principle between the stable Ramsey theorem for pairs SRT22 and SRRT22 admit a universal instance. In particular the stable version of the Erdős-Moser theorem does not admit one. It remains unknown whether EM admits a universal instance.
A function is diagonally non-computable (d.n.c.) if it diagonalizes against the universal partial computable function. D.n.c. functions play a central role in algorithmic randomness and reverse mathematics. Flood and Towsner asked for which functions h, the principle stating the existence of an h-bounded d.n.c. function (DNR_h) implies the Ramsey-type König's lemma (RWKL). In this paper, we prove that for every computable order h, there exists an~$ω$-model of DNR_h which is not a not model of the Ramsey-type graph coloring principle for two colors (RCOLOR2) and therefore not a model of RWKL. The proof combines bushy tree forcing and a technique introduced by Lerman, Solomon and Towsner to transform a computable non-reducibility into a separation over omega-models.