-
Complex hemodynamic responses to trans-vascular electrical stimulation of the renal nerve in anesthetized pigs
Authors:
Filippo Agnesi,
Lucia Carlucci,
Gia Burjanadze,
Fabio Bernini,
Khatia Gabisonia,
John W Osborn,
Silvestro Micera,
Fabio A. Recchia
Abstract:
The objective of this study was to characterize hemodynamic changes during trans-vascular stimulation of the renal nerve and their dependence on stimulation parameters. We employed a stimulation catheter inserted in the right renal artery under fluoroscopic guidance, in pigs. Systolic, diastolic and pulse blood pressure and heart rate were recorded during stimulations delivered at different intrav…
▽ More
The objective of this study was to characterize hemodynamic changes during trans-vascular stimulation of the renal nerve and their dependence on stimulation parameters. We employed a stimulation catheter inserted in the right renal artery under fluoroscopic guidance, in pigs. Systolic, diastolic and pulse blood pressure and heart rate were recorded during stimulations delivered at different intravascular sites along the renal artery or while varying stimulation parameters (amplitude, frequency, and pulse width). Blood pressure changes during stimulation displayed a pattern more complex than previously described in literature, with a series of negative and positive peaks over the first two minutes, followed by a steady state elevation during the remainder of the stimulation. Pulse pressure and heart rate only showed transient responses, then they returned to baseline values despite constant stimulation. The amplitude of the evoked hemodynamic response was roughly linearly correlated with stimulation amplitude, frequency, and pulse width.
△ Less
Submitted 29 May, 2024;
originally announced June 2024.
-
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.
-
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.
-
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.
-
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.
-
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.
-
"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.
-
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.
-
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.
-
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.
