Showing 1–10 of 10 results for author: Carlucci, L

Ramsey-like theorems for the Schreier barrier

Authors: Lorenzo Carlucci, Oriola Gjetaj, Quentin Le Houérou, Ludovic Levy Patey

Abstract: The family of finite subsets $s$ of the natural numbers such that $|s|=1+\min s$ is known as the Schreier barrier in combinatorics and Banach Space theory, and as the family of exactly $ω$-large sets in Logic. We formulate and prove the generalizations of Friedman's Free Set and Thin Set theorems and of Rainbow Ramsey's theorem to colorings of the Schreier barrier. We analyze the strength of these… ▽ More The family of finite subsets $s$ of the natural numbers such that $|s|=1+\min s$ is known as the Schreier barrier in combinatorics and Banach Space theory, and as the family of exactly $ω$-large sets in Logic. We formulate and prove the generalizations of Friedman's Free Set and Thin Set theorems and of Rainbow Ramsey's theorem to colorings of the Schreier barrier. We analyze the strength of these theorems from the point of view of Computability Theory and Reverse Mathematics. Surprisingly, the exactly $ω$-large counterparts of the Thin Set and Free Set theorems can code $\emptyset^{(ω)}$, while the exactly $ω$-large Rainbow Ramsey theorem does not code the halting set. △ Less

Submitted 6 June, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

Comments: 32 pages

Report number: Roma01.Math MSC Class: 03B30; 05D10

Reductions of well-ordering principles to combinatorial theorems

Authors: Lorenzo Carlucci, Leonardo Mainardi, Konrad Zdanowski

Abstract: A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic of interest in Reverse Mathematics are known to be equivalent to well-ordering principles. We give a unified treatment for proving lower bounds on the logica… ▽ More A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic of interest in Reverse Mathematics are known to be equivalent to well-ordering principles. We give a unified treatment for proving lower bounds on the logical strength of various Ramsey-theoretic principles relations using characterizations of the corresponding formal systems in terms of well-ordering principles. Our implications (over $RCA_0$) from combinatorial theorems to $ACA_0$ and $ACA_0^+$ also establish uniform computable reductions of the corresponding well-ordering principles to the corresponding Ramsey-type theorems. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Report number: Roma01.Math

Regressive versions of Hindman's Theorem

Authors: Lorenzo Carlucci, Leonardo Mainardi

Abstract: When the Canonical Ramsey's Theorem by Erdős and Rado is applied to regressive functions one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the Canonical Ramsey's Theorem. We introduce the restriction of Taylor's Canonical Hindman's Theorem to a subclass of the regressive functions, the $λ$-regressive function… ▽ More When the Canonical Ramsey's Theorem by Erdős and Rado is applied to regressive functions one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the Canonical Ramsey's Theorem. We introduce the restriction of Taylor's Canonical Hindman's Theorem to a subclass of the regressive functions, the $λ$-regressive functions, relative to an adequate version of min-homogeneity and prove some results about the Reverse Mathematics of this Regressive Hindman's Theorem and of natural restrictions of it. In particular we prove that the first non-trivial restriction of the principle is equivalent to Arithmetical Comprehension. We furthermore prove that this same principle strongly computably reduces the well-ordering-preservation principle for base-$ω$ exponentiation. △ Less

Submitted 9 January, 2024; v1 submitted 18 July, 2022; originally announced July 2022.

Comments: Corrected proofs of Proposition 2. Added Theorem 2

Report number: Roma01.Math MSC Class: 03D80; 05P10; 03F35

Journal ref: Arch. Math. Logic 63, 447-472 (2024)

The adjacent Hindman's theorem for uncountable groups

Authors: Lorenzo Carlucci, David J. Fernández-Bretón

Abstract: Recent results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman's Theorem fail for all uncountable cardinals. Results in the positive direction were obtained by Komjáth, the first author, and the second author and Lee, who showed that there are arbitrarily large Abelian groups satisfying some Hindman-type property. Inspired by an analogo… ▽ More Recent results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman's Theorem fail for all uncountable cardinals. Results in the positive direction were obtained by Komjáth, the first author, and the second author and Lee, who showed that there are arbitrarily large Abelian groups satisfying some Hindman-type property. Inspired by an analogous result studied by the first author in the countable setting, we prove a new variant of Hindman's Theorem for uncountable cardinals, called the Adjacent Hindman's Theorem: For every $κ$ there is a $λ$ such that, whenever a group $G$ of cardinality $λ$ is coloured with $κ$ colours, there exists a $λ$-sized injective sequence of elements of $G$ with all finite products of adjacent terms of the sequence of the same colour. We obtain bounds on $λ$ as a function of $κ$, and prove that such bounds are optimal. This is the first example of a Hindman-type result for uncountable cardinals that we can prove also in the non-Abelian setting and, furthermore, it is the first such example where monochromatic products (or sums) of unbounded length are guaranteed. △ Less

Submitted 11 July, 2023; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: Final corrections so that this is as close as possible to the final published version

Report number: Roma01.Math MSC Class: 03E02 (Primary); 03E05; 03E10; 05D10; 05C55 (Secondary)

Journal ref: Colloquium Mathematicum 173 no. 2 (2023), 273-284

A note on Hindman-type theorems for uncountable cardinals

Authors: Lorenzo Carlucci

Abstract: Recent results of Hindman, Leader and Strauss and of Fernández-Bretón and Rinot showed that natural versions of Hindman's Theorem fail {\em for all} uncontable cardinals. On the other hand, Komjáth proved a result in the positive direction, showing that {\em there are} arbitrarily large abelian groups satisfying {\em some} Hindman-type property. In this note we show how a family of natural Hindman… ▽ More Recent results of Hindman, Leader and Strauss and of Fernández-Bretón and Rinot showed that natural versions of Hindman's Theorem fail {\em for all} uncontable cardinals. On the other hand, Komjáth proved a result in the positive direction, showing that {\em there are} arbitrarily large abelian groups satisfying {\em some} Hindman-type property. In this note we show how a family of natural Hindman-type theorems for uncountable cardinals can be obtained by adapting some recent results of the author from their original countable setting. We also show how lower bounds for {\em some} of the variants considered can be obtained. △ Less

Submitted 20 March, 2017; originally announced March 2017.

Report number: Roma01.Math MSC Class: 03E02 (Primary); 05A18; 03E75; 05D10; 20M14 (Secondary)

New bounds on the strength of some restrictions of Hindman's Theorem

Authors: Lorenzo Carlucci, Leszek Aleksander Kołodziejczyk, Francesco Lepore, Konrad Zdanowski

Abstract: We prove upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem. For example, we show that Hindman's Theorem for sums of length at most 2 and 4 colors implies $\mathsf{ACA}_0$. An emerging {\em leitmotiv} is that the known lower bounds for Hindman's Theorem and for its restriction to sums of at most 2 elements are… ▽ More We prove upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem. For example, we show that Hindman's Theorem for sums of length at most 2 and 4 colors implies $\mathsf{ACA}_0$. An emerging {\em leitmotiv} is that the known lower bounds for Hindman's Theorem and for its restriction to sums of at most 2 elements are already valid for a number of restricted versions which have simple proofs and better computability- and proof-theoretic upper bounds than the known upper bound for the full version of the theorem. We highlight the role of a sparsity-like condition on the solution set, which we call apartness. △ Less

Submitted 15 November, 2017; v1 submitted 21 January, 2017; originally announced January 2017.

Comments: Added equivalences with finite unions version of Hindman's Theorem

Report number: Roma01.Math

"Weak yet strong" restrictions of Hindman's Finite Sums Theorem

Authors: Lorenzo Carlucci

Abstract: We present a natural restriction of Hindman's Finite Sums Theorem that admits a simple combinatorial proof (one that does not also prove the full Finite Sums Theorem) and low computability-theoretic and proof-theoretic upper bounds, yet implies the existence of the Turing Jump, thus realizing the only known lower bound for the full Finite Sums Theorem. This is the first example of this kind. In fa… ▽ More We present a natural restriction of Hindman's Finite Sums Theorem that admits a simple combinatorial proof (one that does not also prove the full Finite Sums Theorem) and low computability-theoretic and proof-theoretic upper bounds, yet implies the existence of the Turing Jump, thus realizing the only known lower bound for the full Finite Sums Theorem. This is the first example of this kind. In fact we isolate a rich family of similar restrictions of Hindman's Theorem with analogous properties. △ Less

Submitted 24 October, 2016; originally announced October 2016.

Report number: Roma01.Math

A weak variant of Hindman's Theorem stronger than Hilbert's Theorem

Authors: Lorenzo Carlucci

Abstract: Hirst investigated a slight variant of Hindman's Finite Sums Theorem -- called Hilbert's Theorem -- and proved it equivalent over $\RCA_0$ to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural restriction of Hindman's Theorem provably much weaker than Hindman's Theorem itself. We here introduce another natural variant of Hindman's Theorem -- which we name th… ▽ More Hirst investigated a slight variant of Hindman's Finite Sums Theorem -- called Hilbert's Theorem -- and proved it equivalent over $\RCA_0$ to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural restriction of Hindman's Theorem provably much weaker than Hindman's Theorem itself. We here introduce another natural variant of Hindman's Theorem -- which we name the Adjacent Hindman's Theorem -- and prove it to be provable from Ramsey's Theorem for pairs and strictly stronger than Hirst's Hilbert's Theorem. The lower bound is obtained by a direct combinatorial implication from the Adjacent Hindman's Theorem to the Increasing Polarized Ramsey's Theorem for pairs introduced by Dzhafarov and Hirst. In the Adjacent Hindman's Theorem homogeneity is required only for finite sums of adjacent elements. △ Less

Submitted 7 January, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: Results from the literature imply stronger corollaries of results already proved in previous versions. Order of sections slightly changed

Report number: Roma01.Math

The strength of Ramsey Theorem for coloring relatively large sets

Authors: Lorenzo Carlucci, Konrad Zdanowski

Abstract: We characterize the computational content and the proof-theoretic strength of a Ramsey-type theorem for bi-colorings of so-called {\em exactly large} sets. An {\it exactly large} set is a set $X\subset\Nat$ such that $\card(X)=\min(X)+1$. The theorem we analyze is as follows. For every infinite subset $M$ of $\Nat$, for every coloring $C$ of the exactly large subsets of $M$ in two colors, there ex… ▽ More We characterize the computational content and the proof-theoretic strength of a Ramsey-type theorem for bi-colorings of so-called {\em exactly large} sets. An {\it exactly large} set is a set $X\subset\Nat$ such that $\card(X)=\min(X)+1$. The theorem we analyze is as follows. For every infinite subset $M$ of $\Nat$, for every coloring $C$ of the exactly large subsets of $M$ in two colors, there exists and infinite subset $L$ of $M$ such that $C$ is constant on all exactly large subsets of $L$. This theorem is essentially due to Pudlàk and Rödl and independently to Farmaki. We prove that --- over Computable Mathematics --- this theorem is equivalent to closure under the $ω$ Turing jump (i.e., under arithmetical truth). Natural combinatorial theorems at this level of complexity are rare. Our results give a complete characterization of the theorem from the point of view of Computable Mathematics and of the Proof Theory of Arithmetic. This nicely extends the current knowledge about the strength of Ramsey Theorem. We also show that analogous results hold for a related principle based on the Regressive Ramsey Theorem. In addition we give a further characterization in terms of truth predicates over Peano Arithmetic. We conjecture that analogous results hold for larger ordinals. △ Less

Submitted 5 April, 2012; originally announced April 2012.

Report number: Roma01.Math MSC Class: 03D25; 05D10

Unprovability results involving braids

Authors: Lorenzo Carlucci, Patrick Dehornoy, Andreas Weiermann

Abstract: We construct long sequences of braids that are descending with respect to the standard order of braids (``Dehornoy order''), and we deduce that, contrary to all usual algebraic properties of braids, certain simple combinatorial statements involving the braid order are true, but not provable in the subsystems ISigma1 or ISigma2 of the standard Peano system. We construct long sequences of braids that are descending with respect to the standard order of braids (``Dehornoy order''), and we deduce that, contrary to all usual algebraic properties of braids, certain simple combinatorial statements involving the braid order are true, but not provable in the subsystems ISigma1 or ISigma2 of the standard Peano system. △ Less

Submitted 23 November, 2007; originally announced November 2007.

Comments: 32 pages

MSC Class: 03B30; 03F35; 20F36; 91A50