Showing 1–20 of 20 results for author: Hirst, J

Banach's theorem in higher order reverse mathematics

Authors: Jeffry L. Hirst, Carl Mummert

Abstract: In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic formalizing the uncountability of the power set of the natural numbers. In general, the formalizations of higher order principles here have a Skolemized form ass… ▽ More In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic formalizing the uncountability of the power set of the natural numbers. In general, the formalizations of higher order principles here have a Skolemized form asserting the existence of functionals that solve problems uniformly. This facilitates proofs of reversals in axiom systems with restricted choice. △ Less

Submitted 14 November, 2023; v1 submitted 9 March, 2023; originally announced March 2023.

Comments: Version: count-20230393arxiv.tex adding publication info in header and listing modifications

MSC Class: 03B30; 03F35; 03D65

Journal ref: Computability 12 (2023) 203-225

Reverse mathematics and Weihrauch analysis motivated by finite complexity theory

Authors: Zack BeMent, Jeffry Hirst, Asuka Wallace

Abstract: We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis. We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis. △ Less

Submitted 4 May, 2021; originally announced May 2021.

MSC Class: 03B30 03F35 03D30 03F50

Optimal couplings between sparse block models

Authors: James Hirst

Abstract: We study the problem of coupling a stochastic block model with a planted bisection to a uniform random graph having the same average degree. Focusing on the regime where the average degree is a constant relative to the number of vertices $n$, we show that the distance to which the models can be coupled undergoes a phase transition from $O(\sqrt{n})$ to $Ω(n)$ as the planted bisection in the block… ▽ More We study the problem of coupling a stochastic block model with a planted bisection to a uniform random graph having the same average degree. Focusing on the regime where the average degree is a constant relative to the number of vertices $n$, we show that the distance to which the models can be coupled undergoes a phase transition from $O(\sqrt{n})$ to $Ω(n)$ as the planted bisection in the block model varies. This settles half of a conjecture of Bollobás and Riordan and has some implications for sparse graph limit theory. In particular, for certain ranges of parameters, a block model and the corresponding uniform model produce samples which must converge to the same limit point. This implies that any notion of convergence for sequences of graphs with $Θ(n)$ edges which allows for samples from a limit object to converge back to the limit itself must identify these models. △ Less

Submitted 11 October, 2019; originally announced October 2019.

Comments: 12 pages

MSC Class: 05C80

Combinatorial principles equivalent to weak induction

Authors: Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama

Abstract: We consider two combinatorial principles, ${\sf{ERT}}$ and ${\sf{ECT}}$. Both are easily proved in ${\sf{RCA}}_0$ plus ${Σ^0_2}$ induction. We give two proofs of ${\sf{ERT}}$ in ${\sf{RCA}}_0$, using different methods to eliminate the use of ${Σ^0_2}$ induction. Working in the weakened base system ${\sf{RCA}}_0^*$, we prove that ${\sf{ERT}}$ is equivalent to ${Σ^0_1}$ induction and ${\sf{ECT}}$ is… ▽ More We consider two combinatorial principles, ${\sf{ERT}}$ and ${\sf{ECT}}$. Both are easily proved in ${\sf{RCA}}_0$ plus ${Σ^0_2}$ induction. We give two proofs of ${\sf{ERT}}$ in ${\sf{RCA}}_0$, using different methods to eliminate the use of ${Σ^0_2}$ induction. Working in the weakened base system ${\sf{RCA}}_0^*$, we prove that ${\sf{ERT}}$ is equivalent to ${Σ^0_1}$ induction and ${\sf{ECT}}$ is equivalent to ${Σ^0_2}$ induction. We conclude with a Weihrauch analysis of the principles, showing ${\sf{ERT}} {\equiv_{\rm W}} {\sf{LPO}}^* {<_{\rm W}}{\sf{TC}_{\mathbb N}}^* {\equiv_{\rm W}} {\sf{ECT}}$. △ Less

Submitted 24 December, 2018; originally announced December 2018.

MSC Class: 03B30; 03F35; 03D30

Leaf management

Authors: Jeffry L. Hirst

Abstract: Finding the set of leaves for an unbounded tree is a nontrivial process in both the Weihrauch and reverse mathematics settings. Despite this, many combinatorial principles for trees are equivalent to their restrictions to trees with leaf sets. For example, let ${\widehat{\sf{WF}}}$ denote the problem of choosing which trees in a sequence are well-founded, and let ${\sf{PK}}$ denote the problem of… ▽ More Finding the set of leaves for an unbounded tree is a nontrivial process in both the Weihrauch and reverse mathematics settings. Despite this, many combinatorial principles for trees are equivalent to their restrictions to trees with leaf sets. For example, let ${\widehat{\sf{WF}}}$ denote the problem of choosing which trees in a sequence are well-founded, and let ${\sf{PK}}$ denote the problem of finding the perfect kernel of a tree. Let ${\widehat{\sf{WF}}}_L$ and ${\sf{PK}}_L$ denote the restrictions of these principles to trees with leaf sets. Then ${\widehat{\sf{WF}}}$, ${\widehat{\sf{WF}}}_L$, ${\sf{PK}}$, and ${\sf{PK}}_L$ are all equivalent to ${Π^1_1 {\rm -} {\sf{CA}}_0}$ over ${\sf{RCA}_0}$, and all strongly Weihrauch equivalent. △ Less

Submitted 23 December, 2018; originally announced December 2018.

Reverse mathematics and colorings of hypergraphs

Authors: Caleb Davis, Jeffry Hirst, Jake Pardo, Timothy Ransom

Abstract: Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to ${\sf WKL}_0$, ${\sf ACA}_0$ and $Π^1_ 1$-${\sf CA}_0$. Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to ${\sf WKL}_0$, ${\sf ACA}_0$ and $Π^1_ 1$-${\sf CA}_0$. △ Less

Submitted 23 November, 2018; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: Preprint info in leading footnote updated

MSC Class: 03B30; 03F35

Using Ramsey's Theorem Once

Authors: Jeffry L. Hirst, Carl Mummert

Abstract: We show that RT(2,4) cannot be proved with one typical application of RT(2,2) in an intuitionistic extension of RCA0 to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach's axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility. We show that RT(2,4) cannot be proved with one typical application of RT(2,2) in an intuitionistic extension of RCA0 to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach's axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility. △ Less

Submitted 23 July, 2020; v1 submitted 9 November, 2016; originally announced November 2016.

Comments: Revised June 1, 2017. Added pointer to published article and included a corrigendum correcting Definition 1

MSC Class: 03B30 (Primary); 03F35; 03F50; 03D30; 03F60 (Secondary)

Reverse Mathematics of Matroids

Authors: Jeffry L. Hirst, Carl Mummert

Abstract: Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques of reverse mathematics to determine the logical strength of some basis theorems for matroids and enumerated matroids. Next, using Weihrauch reducibility, we relate the basis results to combinatorial choice principles an… ▽ More Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques of reverse mathematics to determine the logical strength of some basis theorems for matroids and enumerated matroids. Next, using Weihrauch reducibility, we relate the basis results to combinatorial choice principles and statements about vector spaces. Finally, we formalize some of the Weihrauch reductions to extract related reverse mathematics results. In particular, we show that the existence of bases for vector spaces of bounded dimension is equivalent to the induction scheme for $Σ^0_2$ formulas. △ Less

Submitted 17 April, 2016; originally announced April 2016.

Comments: 20 pages

MSC Class: 03B30 (Primary) 03F35; 05B35 (Secondary)

On the existence of a connected component of a graph

Authors: Kirill Gura, Jeffry L. Hirst, Carl Mummert

Abstract: We study the reverse mathematics and computability of countable graph theory, obtaining the following results. The principle that every countable graph has a connected component is equivalent to $\mathsf{ACA}_0$ over $\mathsf{RCA}_0$. The problem of decomposing a countable graph into connected components is strongly Weihrauch equivalent to the problem of finding a single component, and each is equ… ▽ More We study the reverse mathematics and computability of countable graph theory, obtaining the following results. The principle that every countable graph has a connected component is equivalent to $\mathsf{ACA}_0$ over $\mathsf{RCA}_0$. The problem of decomposing a countable graph into connected components is strongly Weihrauch equivalent to the problem of finding a single component, and each is equivalent to its infinite parallelization. For graphs with finitely many connected components, the existence of a connected component is either provable in $\mathsf{RCA}_0$ or is equivalent to induction for $Σ^0_2$ formulas, depending on the formulation of the bound on the number of components. △ Less

Submitted 26 August, 2015; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 25 pages, 3 figures. Versions 2 and 3 include additional results related to Weihrauch reducibility

MSC Class: 03B30 (Primary); 03D30; 03F35; 03D45 (Secondary)

Journal ref: Computability, vol. 4, no. 2, pp. 103-117, 2015

Comparing the strength of diagonally non-recursive functions in the absence of $Σ^0_2$ induction

Authors: François G. Dorais, Jeffry L. Hirst, Paul Shafer

Abstract: We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak König's lemma over $\mathrm{RCA}_0 + \mathrm{B}Σ^0_2$. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that every $k$-bounded diagonally non-recursive function computes a $2$-bounded di… ▽ More We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak König's lemma over $\mathrm{RCA}_0 + \mathrm{B}Σ^0_2$. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that every $k$-bounded diagonally non-recursive function computes a $2$-bounded diagonally non-recursive function may fail in the absence of $\mathrm{I}Σ^0_2$. △ Less

Submitted 11 February, 2015; v1 submitted 15 January, 2014; originally announced January 2014.

Limits of Boolean Functions on F_p^n

Authors: Hamed Hatami, Pooya Hatami, James Hirst

Abstract: We study sequences of functions of the form F_p^n -> {0,1} for varying n, and define a notion of convergence based on the induced distributions from restricting the functions to a random affine subspace. Using a decomposition theorem and a recently proven equi-distribution theorem from higher order Fourier analysis, we prove that the limits of such convergent sequences can be represented by certai… ▽ More We study sequences of functions of the form F_p^n -> {0,1} for varying n, and define a notion of convergence based on the induced distributions from restricting the functions to a random affine subspace. Using a decomposition theorem and a recently proven equi-distribution theorem from higher order Fourier analysis, we prove that the limits of such convergent sequences can be represented by certain measurable functions. We are also able to show that every such limit object arises as the limit of some sequence of functions. These results are in the spirit of similar results which have been developed for limits of graph sequences. A more general, albeit substantially more sophisticated, limit object was recently constructed by Szegedy in [Sze10]. △ Less

Submitted 19 August, 2013; originally announced August 2013.

Comments: 12 pages

MSC Class: 46

On uniform relationships between combinatorial problems

Authors: François G. Dorais, Damir D. Dzhafarov, Jeffry L. Hirst, Joseph R. Mileti, Paul Shafer

Abstract: The enterprise of comparing mathematical theorems according to their logical strength is an active area in mathematical logic. In this setting, called reverse mathematics, one investigates which theorems provably imply which others in a weak formal theory roughly corresponding to computable mathematics. Since the proofs of such implications take place in classical logic, they may in principle in… ▽ More The enterprise of comparing mathematical theorems according to their logical strength is an active area in mathematical logic. In this setting, called reverse mathematics, one investigates which theorems provably imply which others in a weak formal theory roughly corresponding to computable mathematics. Since the proofs of such implications take place in classical logic, they may in principle involve appeals to multiple applications of a particular theorem, or to non-uniform decisions about how to proceed in a given construction. In practice, however, if a theorem $\mathsf{Q}$ implies a theorem $\mathsf{P}$, it is usually because there is a direct uniform translation of the problems represented by $\mathsf{P}$ into the problems represented by $\mathsf{Q}$, in a precise sense. We study this notion of uniform reducibility in the context of several natural combinatorial problems, and compare and contrast it with the traditional notion of implication in reverse mathematics. We show, for instance, that for all $n,j,k \geq 1$, if $j < k$ then Ramsey's theorem for $n$-tuples and $k$ many colors does not uniformly reduce to Ramsey's theorem for $j$ many colors. The two theorems are classically equivalent, so our analysis gives a genuinely finer metric by which to gauge the relative strength of mathematical propositions. We also study Weak König's Lemma, the Thin Set Theorem, and the Rainbow Ramsey's Theorem, along with a number of their variants investigated in the literature. Uniform reducibility turns out to be connected with sequential forms of mathematical principles, where one wishes to solve infinitely many instances of a particular problem simultaneously. We exploit this connection to uncover new points of difference between combinatorial problems previously thought to be more closely related. △ Less

Submitted 16 April, 2015; v1 submitted 1 December, 2012; originally announced December 2012.

Reverse Mathematics and Algebraic Field Extensions

Authors: François G. Dorais, Jeffry Hirst, Paul Shafer

Abstract: This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to automorphisms of $\bar{F}$, the algebraic closure of $F$. Section 3 explores finitary conditions for embeddability. Normal and Galois extensions are discussed in section… ▽ More This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to automorphisms of $\bar{F}$, the algebraic closure of $F$. Section 3 explores finitary conditions for embeddability. Normal and Galois extensions are discussed in section 4, and the Galois correspondence theorems for infinite field extensions are treated in section 5. △ Less

Submitted 10 May, 2013; v1 submitted 21 September, 2012; originally announced September 2012.

Comments: 25 pages

MSC Class: 03B30 (primary) 12F05; 12F10 (secondary)

On Mathias generic sets

Authors: Peter A. Cholak, Damir D. Dzhafarov, Jeffry L. Hirst

Abstract: We present some results about generics for computable Mathias forcing. The $n$-generics and weak $n$-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing relation, and show that if $G$ is any $n$-generic with $n \geq 3$ then it satisfies the jump property $G^{(n-1)} = G' \oplus \emptyset^{(n)}$. We prove that every such… ▽ More We present some results about generics for computable Mathias forcing. The $n$-generics and weak $n$-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing relation, and show that if $G$ is any $n$-generic with $n \geq 3$ then it satisfies the jump property $G^{(n-1)} = G' \oplus \emptyset^{(n)}$. We prove that every such $G$ has generalized high degree, and so cannot have even Cohen 1-generic degree. On the other hand, we show that $G$, together with any bi-immune set $A \leq_T \emptyset^{(n-1)}$, computes a Cohen $n$-generic set. △ Less

Submitted 12 February, 2012; v1 submitted 29 January, 2012; originally announced January 2012.

The Inducibility of Graphs on Four Vertices

Authors: James Hirst

Abstract: We consider the problem of determining the maximum induced density of a graph H in any graph on n vertices. The limit of this density as n tends to infinity is called the inducibility of H. The exact value of this quantity is known only for a handful of small graphs and a specific set of complete multipartite graphs. Answering questions of Brown-Sidorenko and Exoo we determine the inducibility of… ▽ More We consider the problem of determining the maximum induced density of a graph H in any graph on n vertices. The limit of this density as n tends to infinity is called the inducibility of H. The exact value of this quantity is known only for a handful of small graphs and a specific set of complete multipartite graphs. Answering questions of Brown-Sidorenko and Exoo we determine the inducibility of K_{1,1,2} and the paw graph. The proof is obtained using semi-definite programming techniques based on a modern language of extremal graph theory, which we develop in full detail in an accessible setting. △ Less

Submitted 16 July, 2013; v1 submitted 7 September, 2011; originally announced September 2011.

Comments: 12 pages

MSC Class: 05C35

The inducibility of blow-up graphs

Authors: Hamed Hatami, James Hirst, Serguei Norine

Abstract: The blow-up of a graph is obtained by replacing every vertex with a finite collection of copies so that the copies of two vertices are adjacent if and only if the originals are. If every vertex is replaced with the same number of copies, then the resulting graph is called a balanced blow-up. We show that any graph which contains the maximum number of induced copies of a sufficiently large balanc… ▽ More The blow-up of a graph is obtained by replacing every vertex with a finite collection of copies so that the copies of two vertices are adjacent if and only if the originals are. If every vertex is replaced with the same number of copies, then the resulting graph is called a balanced blow-up. We show that any graph which contains the maximum number of induced copies of a sufficiently large balanced blow-up of H is itself essentially a blow-up of H. This gives an asymptotic answer to a question in [BEHJ95]. △ Less

Submitted 29 August, 2011; originally announced August 2011.

Comments: 13 pages

Reverse mathematics and uniformity in proofs without excluded middle

Authors: Jeffry L. Hirst, Carl Mummert

Abstract: We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $Π^1_2$ sentence of a certain form is provable using E-HA${}^ω$ along with the axiom of choice and an independence of premise principle, the sequential form of the statement is… ▽ More We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $Π^1_2$ sentence of a certain form is provable using E-HA${}^ω$ along with the axiom of choice and an independence of premise principle, the sequential form of the statement is provable in the classical system RCA. We obtain this and similar results using applications of modified realizability and the \textit{Dialectica} interpretation. These results allow us to use techniques of classical reverse mathematics to demonstrate the unprovability of several mathematical principles in subsystems of constructive analysis. △ Less

Submitted 25 October, 2010; originally announced October 2010.

Comments: Accepted, Notre Dame Journal of Formal Logic

MSC Class: 03F35; 03F50 (Primary) 03B30; 03F60 (Secondary)

Journal ref: Notre Dame J. Formal Logic Volume 52, Number 2 (2011), 149-162

Partitions of trees and ACA'

Authors: Bernard A. Anderson, Jeffry L. Hirst

Abstract: We show that a version of Ramsey's theorem for trees for arbitrary exponents is equivalent to the subsystem ACA' of reverse mathematics. We show that a version of Ramsey's theorem for trees for arbitrary exponents is equivalent to the subsystem ACA' of reverse mathematics. △ Less

Submitted 27 January, 2009; v1 submitted 12 September, 2008; originally announced September 2008.

Comments: Final version for publication. Very minor changes. 5 pages

MSC Class: 03D99

Journal ref: Archive for Mathematical Logic, Volume 48, Number 3, 2009, pp. 227-230

Infinite versions of some NP-complete problems

Authors: Jeffry L. Hirst, Steffen Lempp

Abstract: Recently, connections have been explored between the complexity of finite problems in graph theory and the complexity of their infinite counterparts. As is shown in our paper (and in independent work of Tirza Hirst and D. Harel from a different angle) there is no firm connection between these complexities, namely finite problems of equal complexity can have radically different complexity for the… ▽ More Recently, connections have been explored between the complexity of finite problems in graph theory and the complexity of their infinite counterparts. As is shown in our paper (and in independent work of Tirza Hirst and D. Harel from a different angle) there is no firm connection between these complexities, namely finite problems of equal complexity can have radically different complexity for the infinite versions and vice versa. Furthermore, the complexity of an infinite counterpart can depend heavily on precisely how the finite problem is rephrased in the infinite case. The finite problems we address include colorability of graphs and existence of subgraph isomorphisms. In particular, we give three infinite versions of the 3-colorability problem that vary considerably in their recursion theoretic and proof theoretic complexity. Additionally, we show that three subgraph isomorphism problems of varying finite complexity have infinite versions with identical recursion theoretic and proof theoretic content. △ Less

Submitted 9 March, 1995; originally announced March 1995.

Report number: Logic E-prints March 10, 1995

Reverse Mathematics and Recursive Graph Theory

Authors: William Gasarch, Jeffry Hirst

Abstract: We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs, Euler paths, and Hamilton paths. We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs, Euler paths, and Hamilton paths. △ Less

Submitted 21 April, 1994; originally announced April 1994.

Report number: Logic E-prints April 22, 1994