
TL;DR
This paper proves that for each $k extgreater 3$, the $k$-clique-free Henson graph has finite big Ramsey degrees, extending Ramsey theory to a new class of infinite, ultrahomogeneous graphs using novel coding techniques.
Contribution
The paper introduces a new method of coding Henson graphs into strong coding trees and proves Ramsey theorems for these trees, establishing finite big Ramsey degrees for all $k extgreater 3$.
Findings
Finite big Ramsey degrees are established for all $k extgreater 3$ Henson graphs.
Development of strong coding trees as a new tool for Ramsey theory.
Methodology opens pathways for studying big Ramsey degrees in other ultrahomogeneous structures.
Abstract
Analogues of Ramsey's Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic substructure rather than one color, as that is often impossible. Such theorems for Henson graphs however remained elusive, due to lack of techniques for handling forbidden cliques. Building on the author's recent result for the triangle-free Henson graph, we prove that for each , the -clique-free Henson graph has finite big Ramsey degrees, the appropriate analogue of Ramsey's Theorem. We develop a method for coding copies of Henson graphs into a new class of trees, called strong coding trees, and prove Ramsey theorems for these trees which are applied to deduce finite big Ramsey degrees. The approach here provides a general methodology opening…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
The Ramsey theory of
Henson graphs
Natasha Dobrinen
Department of Mathematics
University of Denver
C.M. Knudson Hall, Room 300
2390 S. York St.
Denver, CO 80208 U.S.A.
[email protected] http://cs.du.edu/~ndobrine
Abstract.
Analogues of Ramsey’s Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic substructure rather than one color, as that is often impossible. Such theorems for Henson graphs however remained elusive, due to lack of techniques for handling forbidden cliques. Building on the author’s recent result for the triangle-free Henson graph, we prove that for each , the -clique-free Henson graph has finite big Ramsey degrees, the appropriate analogue of Ramsey’s Theorem.
We develop a method for coding copies of Henson graphs into a new class of trees, called strong coding trees, and prove Ramsey theorems for these trees which are applied to deduce finite big Ramsey degrees. The approach here provides a general methodology opening further study of big Ramsey degrees for ultrahomogeneous structures. The results have bearing on topological dynamics via work of Kechris, Pestov, and Todorcevic and of Zucker.
2010 Mathematics Subject Classification:
05D10, 05C55, 05C15, 03C15, 03E75, 05C05
This research was supported by National Science Foundation Grants DMS-1600781 and DMS-1901753
1. Overview
A central program of the theory of infinite structures is to find which structures have partition properties resembling Ramsey’s Theorem. In this context, one colors the copies of a finite structure inside the infinite structure into finitely many colors and looks for an infinite substructure , isomorphic to , in which the copies of have the same color. A wide collection of infinite structures have the Ramsey property for colorings of singletons. However, even the rationals as a linearly ordered structure do not have the Ramsey property for colorings of pairsets, as seen by Sierpiński’s two-coloring of pairs of rationals where each subcopy of the rationals retains both colors on its pairsets. This leads to the following question:
Question 1.1**.**
Given an infinite structure and a finite substructure , is there a positive integer such that for any coloring of all copies of in into finitely many colors, there is a substructure of , isomorphic to , in which all copies of take no more than colors?
The smallest such number , when it exists, is called the big Ramsey degree of in . Research in this area has gained recent momentum, as it was highlighted by Kechris, Pestov, and Todorcevic in [34]. Big Ramsey degrees have implications for topological dynamics, as shown in [34] and further developed in Zucker’s work [57].
In contrast to finite structural Ramsey theory, the development of Ramsey theory for infinite structures has progressed quite slowly. After Sierpiński’s coloring for pairs of rationals, work of Laver and Devlin (see [9]) established the exact big Ramsey degrees for finite sets of rationals by 1979. In the mid 1970’s, Erdős, Hajnal, and Posá began work on the big Ramsey degrees of the Rado graph, establishing an analogue of Sierpiński’s coloring for edges in [22]. Building on work of Pouzet and Sauer in [49], the full Ramsey theory of the Rado graph for colorings of copies of any finite graph was finally established in 2006 in the two papers [52] by Sauer and [37] by Laflamme, Sauer, and Vuksanovic. Around that time, driven by the interest generated by [34], the Ramsey theory of other ultrahomogeneous structures was established in [45] and [36]. A principal component in the work in [9] and [52] is a Ramsey theorem for strong trees due to Milliken [41], while [36] depended on the authors’ development of a colored version of this theorem. The lack of similar means for coding infinite structures and the lack of Ramsey theorems for such coded structures have been the largest obstacles in the further development of this area, especially for ultrahomogeneous structures with forbidden configurations. As stated in Nguyen Van Thé’s habilitation [47], “so far, the lack of tools to represent ultrahomogeneous structures is the major obstacle towards a better understanding of their infinite partition properties.”
In this paper, we prove that for each , the -clique-free Henson graph has finite big Ramsey degrees, extending work of the author in [14] for the triangle-free Henson graph. Given , the Henson graph is the universal ultrahomogeneous -free graph; that is, the -clique-free analogue of the Rado graph. The only prior work on the big Ramsey degrees of for was work of El-Zahar and Sauer in [20] for vertex colorings in 1989. In [14], we proved that the triangle-free Henson graph has finite big Ramsey degrees. The work in this paper follows the general outline in [14], but the extension of Ramsey theory to all Henson graphs required expanded ideas, a better understanding of the nature of coding structures with forbidden configurations, and many new lemmas. This article presents a unified framework for the Ramsey theory of Henson graphs. We develop new techniques for coding copies of via strong -coding trees and prove Ramsey theorems for these trees, forming a family of Milliken-style theorems. The approach here streamlines the one in [14] for and provides a general methodology opening further study of big Ramsey degrees for ultrahomogeneous structures with and without forbidden configurations.
2. Introduction
The field of Ramsey theory was established by the following celebrated result.
Theorem 2.1** (Infinite Ramsey Theorem, [50]).**
Given positive integers and , suppose the collection of all -element subsets of is colored by colors. Then there is an infinite set of natural numbers such that all -element subsets of have the same color.
From this, Ramsey deduced the following finite version, which also can be proved directly. Throughout the paper, each natural number is identified with the set of its predecessors.
Theorem 2.2** (Finite Ramsey Theorem, [50]).**
Given positive integers with , there is an integer such that for any coloring of the -element subsets of into colors, there is a subset of cardinality such that all -element subsets of have the same color.
In both cases, we say that the coloring is monochromatic on . Interestingly, Theorem 2.2 was motivated by Hilbert’s Entscheidungsproblem: to find a decision procedure deciding which formulas in first order logic are valid. Ramsey applied Theorem 2.2 to prove that the validity, or lack of it, for certain types of formulas in first order logic (those with no existential quantifiers) can be ascertained algorithmically. Later, Church and Turing each showed that a general solution to Hilbert’s problem is impossible, so Ramsey’s success for the class of existential formulas is quite remarkable. Ever since the inception of Ramsey theory, its connections with logic have continually spurred progress in both fields. This phenomenon occurs once again in Sections 7 and 8, where methods of logic are used to deduce Ramsey theorems.
Structural Ramsey theory investigates which structures satisfy versions of Ramsey’s Theorem. All structures in this paper are first order, and embeddings are as in model theory. In this setting, one tries to find a substructure isomorphic to some fixed structure on which the coloring is monochromatic. Given structures and , we write if and only if there is an embedding of into . A substructure of is called a copy of if and only if is the image of some embedding of into . The collection of all copies of in is denoted by . Given structures with and an integer , we write
[TABLE]
to mean that for each , there is a for which takes only one color on . A class of finite structures is said to have the Ramsey property if given with , for any integer , there is some for which and .
Some classic examples of classes of structures with the Ramsey property include finite Boolean algebras (Graham and Rothschild [29]), finite vector spaces over a finite field (Graham, Leeb, and Rothschild [27] and [28]), finite linearly ordered relational structures (independently, Abramson and Harrington, [1] and Nešetřil and Rödl, [43], [44]), in particular, the class of finite linearly ordered graphs. The papers [43] and [44] further proved that all set-systems of finite linearly ordered relational structures omitting some irreducible substructure have the Ramsey property. This includes the classes of finite linearly ordered graphs omitting -cliques, denoted , for each . Fraïssé classes are natural objects for structural Ramsey theory investigations, for as shown by Nešetřil, any class with the Ramsey property must satisfy the amalgamation property. Since Fraïssé theory is not central to the proofs in this article, we refer the interested reader to [24] and Section 2 of the more recent [34] for background; the properties of the specific examples contained in this article will be clear.
Most classes of finite unordered structures do not have the Ramsey property. However, if equipping the class with an additional linear order produces the Ramsey property, then some remnant of it remains in the unordered reduct. This is the idea behind small Ramsey degrees. Following notation in [34], given any Fraïssé class of finite structures, for , denotes the smallest number , if it exists, such that for each with and for each , there is some into which embeds such that for any coloring , there is a such that the restriction of to takes no more than colors. In the arrow notation, this is written as
[TABLE]
A class has finite (small) Ramsey degrees if for each the number exists. The number is called the Ramsey degree of in [23]. Notice that has the Ramsey property if and only if for each .
The connection between Fraïssé classes with finite small Ramsey degrees and ordered expansions is made explicit in Section 10 of [34], where it is shown that if an ordered expansion of a Fraïssé class has the Ramsey property, then has finite small Ramsey degrees. Furthermore, the degree of can be computed from the number of non-isomorphic order expansions it has in . Nguyen Van Thé has extended this to the more general notion of pre-compact expansions (see [47]). In particular, the classes of finite (unordered) graphs and finite (unordered) graphs omitting -cliques have finite small Ramsey degrees.
Continuing this expansion of Ramsey theory leads to investigations of which infinite structures have properties similar to Theorem 2.1. Notice that the infinite homogeneous subset in Theorem 2.1 is actually isomorphic to as a linearly ordered structure. Ramsey theory on infinite structures is concerned with finding substructures isomorphic to the original infinite structure in which a given coloring is as simple as possible. Many infinite structures have been proved to be indivisible: given a coloring of its single-element substructures into finitely many colors, there is an infinite substructure isomorphic to the original structure in which all single-element substructures have the same color. The natural numbers and the rational numbers as linearly ordered structures are indivisible, the proofs being straightforward. Similarly, it is folklore that the Rado graph is indivisible, the proof following naturally from the defining properties of this graph.
In contrast, it took much more effort to prove the indivisibility of the Henson graphs, and this was achieved first for the triangle-free Henson graphs in [35], and for all other Henson graphs in [20]. When one considers colorings of structures of two or more elements, more complexity begins to emerge. Even for the simple structure of the rationals, there is a coloring of pairsets into two colors such that each subset isomorphic to the rationals has pairsets in both colors. This is the infamous example of Sierpiński, and it immediately leads to the notion of big Ramsey degree. We take the definition from [34], slightly changing some notation.
Definition 2.3** ([34]).**
Given an infinite structure and a finite substructure , let denote the least integer , if it exists, such that given any coloring of into finitely many colors, there is a substructure of , isomorphic to , such that takes no more than colors. This may be written succinctly as
[TABLE]
We say that has finite big Ramsey degrees if for each finite substructure , there is an integer such that (3) holds.
Infinite structures which have been investigated in this light include the rationals ([9]), the Rado graph ([22], [49], [52], [37]), ultrametric spaces ([45]), the rationals with a fixed finite number of equivalence relations, and the tournaments and ([36]), and recently, the triangle-free Henson graph ([14]). These results will be discussed below. See [47] for an overview of results on big Ramsey degrees obtained prior to 2013. Each of these structures is ultrahomogeneous: any isomorphism between two finitely generated substructures can be extended to an automorphism of the infinite structure. Recently, Mašulović has widened the investigation of big Ramsey degrees to universal structures, regardless of ultrahomogeneity, and proved transfer principles in [40] from which big Ramsey degrees for one structure may be transferred to other categorically related structures. More background on the development of Ramsey theory on infinite structures will be given below, but first, we present some recent motivation from topological dynamics for further exploration of big Ramsey degrees.
For the specialist, we briefly remark on connections between topological dynamics and Ramsey theory. These connections have been known for some time (see for instance [26] and [48]) and many of the previously known phenomena were subsumed in the work of Kechris, Pestov, and Todorcevic in [34], where they proved several general correspondences between Ramsey theory and topological dynamics. A Fraïssé class which has at least one relation which is a linear order is called a Fraïssé order class. One of the main theorems in [34] (Theorem 4.7) shows that the extremely amenable closed subgroups of the infinite symmetric group are exactly those of the form Aut, where is the Fraïssé limit (and hence an ultrahomogeneous structure) of some Fraïssé order class satisfying the Ramsey property. Another significant theorem (Theorem 10.8) provides a way to compute the universal minimal flow of topological groups which arise as the automorphism groups of Fraïssé limits of Fraïssé classes with the Ramsey property and the ordering property. That the ordering property can be relaxed to the expansion property was proved by Nguyen Van Thé in [46].
In [34], Kechris, Pestov, and Todorcevic also demonstrated how big Ramsey degrees for Fraïssé structures are related to big oscillation degrees for their automorphism groups, Aut. Recently, Zucker proved in [57] that if a Fraïssé structure has finite big Ramsey degrees and moreover, admits a big Ramsey structure, then any big Ramsey flow of Aut is a universal completion flow, and further, any two universal completion flows are isomorphic.
2.1. A brief history of big Ramsey degrees and main obstacles to its development
In contrast to the robust development for finite structures, results on the Ramsey theory of infinite structures have been meager and the development quite slow. Motivated by Sierpiński’s coloring for pairs of rationals which admits no isomorphic copy in one color, Laver investigated the more general problem of finding whether or not there are bounds for colorings of -sized subsets of rationals, for any positive integer . In the 1970’s, Laver showed that the rationals have finite big Ramsey degrees, finding good upper bounds. Guided by Laver’s results and methods, Devlin found the exact bounds in [9]. Interestingly, these numbers turn out to be coefficients of the Taylor series for the tangent function. Around the same time, Erdős, Hajnal, and Posá initiated investigations of the Rado graph, the universal ultrahomogeneous graph on countably many vertices. In 1975, they proved in [22] that there is a coloring of edges into two colors in which each subcopy of the Rado graph has edges in both colors. That the upper bound for the big Ramsey degree of edges in the Rado graph is exactly two was proved much later (1996) by Pouzet and Sauer in [49]. The full Ramsey theory of the Rado graph was finally established a decade later by Sauer in [52] and by Laflamme, Sauer, and Vuksanovic in [37]. Together, these two papers gave a full description of the big Ramsey degrees of the Rado graph in terms of types of certain trees. A recursive procedure for computing these numbers was given by Larson in [38] soon after. It is notable that while the big Ramsey degrees for the rationals are computed by a closed formula, there is no closed formula producing the big Ramsey degrees for the Rado graph.
The successful completion of the Ramsey theory of the Rado graph so soon after the work of of Kechris, Pestov, and Todorcevic stimulated more interest in Ramsey theory of infinite structures, especially ultrahomogeneous structures, which are obtained as limits of Fraïssé classes. In 2008, Nguyen Van Thé investigated big Ramsey degrees for ultrahomogeneous ultrametric spaces. Given a set of positive real numbers, denotes the class of all finite ultrametric spaces with strictly positive distances in . Its Fraïssé limit, denoted , is called the Urysohn space associated with . In [45], Nguyen Van Thé proved that has finite big Ramsey degrees whenever is finite. Moreover, if is infinite, then any member of of size greater than or equal to does not have a big Ramsey degree. Soon after this, Laflamme, Nguyen Van Thé, and Sauer proved in [36] that enriched structures of the rationals, and two related directed graphs, have finite big Ramsey degrees. For each , denotes the structure , where are disjoint dense subsets of whose union is . This is the Fraïssé limit of the class of all finite linear orders equipped with an equivalence relation with many equivalence classes. Laflamme, Nguyen Van Thé, and Sauer proved that each member of has a finite big Ramsey degree in . Further, using the bi-definability between and the circular directed graphs , for , they proved that and have finite big Ramsey degrees. Central to these results is a colored verision of Milliken’s theorem which they proved in order to deduce the big Ramsey degrees. For more details, we recommend the paper [47] containing a good overview of these results.
A common theme emerges when one looks at the proofs in [9], [52], and [36]. The first two rely in an essential way on Milliken’s Theorem, (see Theorem 3.5 in Section 3). The third proves a new colored version of Milliken’s Theorem and uses it to deduce the results. The results in [45] use Ramsey’s theorem. This would lead one to conclude or at least conjecture that, aside from Ramsey’s Theorem itself, Milliken’s Theorem contains the core combinatorial content of big Ramsey degree results, at least for binary relational structures. The lack of useful representations and lack of Milliken-style theorems for infinite structures in general pose the two main obstacles to broader investigations of big Ramsey degrees. Upon the author’s initial interest in the Ramsey theory of the triangle-free Henson graph, these two challenges were pointed out to the author by Todorcevic in 2012 and by Sauer in 2013; this idea is also expressed in [47], quoted in the Overview.
2.2. Big Ramsey degrees for Henson graphs: Main theorem and prior results
For , the Henson graph is the universal ultrahomogeneous -clique free graph. These graphs were first constructed by Henson in 1971 in [32]. It was later noticed that is isomorphic to the Fraïssé limit of the Fraïssé class of finite -clique free graphs, . Henson proved in [32] that these graphs are weakly indivisible; given a coloring of the vertices into two colors, either there is a subgraph isomorphic to in which all vertices have the first color, or else every finite -clique free graph has a copy whose vertices all have the second color. However, the indivisibility of took longer to prove. In 1986, Komjáth and Rödl proved in [35] that given a coloring of the vertices of into finitely many colors, there is an induced subgraph isomorphic to in which all vertices have the same color. A few years later, El-Zahar and Sauer proved more generally that is indivisible for each in [20].
Prior to the author’s work in [14], the only further progress on big Ramsey degrees for Henson graphs was for edge relations on the triangle-free Henson graph. In 1998, Sauer proved in [51] that the big Ramsey degree for edges in is two. There, progress stalled for lack of techniques. This intrigued the author for several reasons. Sauer and Todorcevic each stated to the author that the heart of the problem was to find the correct analogue of Milliken’s Theorem applicable to Henson graphs. This would of course help solve the problem of whether Henson graphs have finite big Ramsey degrees, but it would moreover have broader repercussions, as Ramsey theorems for trees are combinatorially strong objects and Milliken’s Theorem has already found numerous applications. The problem was that it was unclear to experts what such an analogue of Milliken’s Theorem should be.
In [14], the author developed an analogue of Milliken’s Theorem applicable to the triangle-free Henson graph, and used it to prove that has finite big Ramsey degrees. In this paper, we provide a unified approach to the Ramsey theory of the -clique-free Henson graphs , for each . This includes the development of new types of trees which code Henson graphs and new Milliken-style theorems for these classes of trees which are applied to determine upper bounds for the big Ramsey degrees. Our presentation encompasses and streamlines work in [14] for . New obstacles arose for ; these challenges and their solutions are discussed as the sections of the paper are delineated below.
2.3. Outline of paper
In Section 3, we introduce basic definitions and notation, and review strong trees and the Halpern-Läuchli and Milliken Theorems (Theorems 3.8 and 3.5) and their use in obtaining upper bounds for the finite big Ramsey degrees of the Rado graph. In Subsection 3.4, we include a version of Harrington’s forcing proof of the Halpern-Läuchli Theorem. Many new issues arise due to -cliques being forbidden in Henson graphs, but the proof of Theorem 3.8 will at least provide the reader with a toehold into the proof strategies for Theorem 7.2 and Lemma 8.8, which lead to Theorem 8.3, an analogue of Milliken’s Theorem.
The article consists of three main phases. Phase I occurs in Sections 4–6, where we define the tree structures and prove extension lemmas. In Section 4, we introduce the notion of strong -free trees, analogues of Milliken’s strong trees capable of coding -clique free graphs. These trees contain certain distinguished nodes, called coding nodes, which code the vertices of a given graph. These trees branch maximally, subject to the constraint of the coding nodes not coding any -cliques, and thus are the analogues of strong trees for the -free setting. Model-theoretically, such trees are simply coding all (incomplete) -types over initial segments of a Henson graph, where the vertices are indexed by the natural numbers. Although it is not possible to fully develop Ramsey theory on strong -free trees (see Example 4.22), they have the main structural aspects of the trees for which we will prove analogues of Halpern-Läuchli and Milliken Theorems, defined in Section 5. Section 4 is given for the sole purpose of building the reader’s understanding of strong -coding trees.
Section 5 presents the definition of strong -coding trees as subtrees of a given tree which are strongly isomorphic (Definition 5.10) to . The class of these trees is denoted , and these trees are best thought of as skew versions of the trees presented in Section 4. Secondarily, an internal description of the trees in is given. This is a new and simpler approach than the one we took in [14] for the triangle-free Henson graph. An important property of strong -coding trees is the Witnessing Property (Definition 5.16). This means that certain configurations which can give rise to codings of pre-cliques (Definition 5.7) are witnessed by coding nodes. The effect is a type of book-keeping to guarantee when finite trees can be extended within a given tree to another tree in .
Section 6 presents Extension Lemmas, guaranteeing when a given finite tree can be extended to a desired configuration. For , some new difficulties arise which did not exist for . The lemmas in this section extend work in [14], while addressing new complexities. Further, this section includes some new extension lemmas not in [14]. These have the added benefit of streamlining proofs in Section 7 in which analogues of the Halpern-Läuchli Theorem are proved.
Phase II of the paper takes place in Sections 7 and 8, the goal being to prove the Milliken-style Theorem 8.3 for colorings of certain finite trees, namely those with the Strict Witnessing Property (see Definition 8.1). First, we prove analogues of the Halpern-Läuchli Theorem for strong -coding trees in Theorem 7.2. The proof builds on ideas from Harrington’s forcing proof of the Halpern-Läuchli Theorem, but now we must use distinct forcings for two cases: the level sets being colored have either a coding node or else a splitting node. The Extension Lemmas from Section 6 and the Witnessing Property are essential to these proofs. A new ingredient for is that all pre--cliques for need to be considered and witnessed, not just pre--cliques. It is important to note that the technique of forcing is used to conduct unbounded searches for finite objects; the proof takes place entirely within the standard axioms of set theory and does not involve passing to a generic model.
In Section 8, we apply induction and fusion lemmas and a third Harrington-style forcing argument to obtain our first Ramsey Theorem for colorings of finite trees.
Theorem 8.3.
Let be given and let be a strong -coding tree and let be a finite subtree of satisfying the Strict Witnessing Property. Then for any coloring of the copies of in into finitely many colors, there is a strong -coding tree contained in such that all copies of in have the same color.
Phase III of the article takes place in Sections 9 and 10. There, we prove a Ramsey theorem for finite antichains of coding nodes (Theorem 9.9), which is then applied to deduce that each Henson graph has finite big Ramsey degrees. To do this, we must first develop a way to transform antichains of coding nodes into finite trees with the Strict Witnessing Property. This is accomplished in Subsections 9.1 and 9.2, where we develop the notions of incremental new pre-cliques and envelopes. Given any finite -free graph , there are only finitely many strict similarity types (Definition 9.4) of antichains coding . Given a coloring of all copies of in into finitely many colors, we transfer the coloring to the envelopes of copies of in a given strong coding tree . Then we apply the results in previous sections to obtain a strong -coding tree in which all envelopes encompassing the same strict similarity type have the same color. Upon thinning to an incremental strong subtree while simultaneously choosing a set of witnessing coding nodes, each finite antichain of nodes in is incremental and has an envelope comprised of nodes from satisfying the Strict Witnessing Property. Applying Theorem 8.3 finitely many times, once for each strict similarity type of envelope, we obtain our second Ramsey theorem for strong -coding trees, extending the first one.
Theorem 9.9 (Ramsey Theorem for Strict Similarity Types).
Fix . Let be a finite antichain of coding nodes in a strong -coding tree , and let be a coloring of all subsets of which are strictly similar to into finitely many colors. Then there is an incremental strong -coding tree contained in such that all subsets of strictly similar to have the same color.
Upon taking an antichain of coding nodes coding , the only sets of coding nodes in coding a given finite -free graph are automatically antichains which are incremental. Applying Theorem 9.9 to the finitely many strict similarity types of antichains coding , we arrive at the main theorem.
Theorem 10.2.
The universal homogeneous -clique free graph has finite big Ramsey degrees.
For each , the number is bounded by the number of strict similarity types of antichains of coding nodes coding . It is presently open to see whether this number is in fact the lower bound. If so, then recent work of Zucker in [57] would provide an interesting connection with topological dynamics, as the colorings obtainable from our structures cohere in the manner necessary to apply Zucker’s work.
*Acknowledgements. *The author would like to thank Andy Zucker for careful reading of a previous version of this paper, pointing out an oversight which led the author to consider singleton pre-cliques when , an issue that does not arise in the triangle-free Henson graph. Much gratitude also goes to Dana Bartošová and Jean Larson for listening to early and later stages of these results and for useful feedback; Norbert Sauer for discussing key aspects of the homogeneous triangle-free graph with me during a research visit in Calgary in 2014; Stevo Todorcevic for pointing out to her in 2012 that any proof of finite big Ramsey degrees for would likely involve a new type of Halpern-Läuchli Theorem; and to the organizers and participants of the Ramsey Theory Doccourse at Charles University, Prague, 2016, for their encouragement. The author would like to thank the referee for helpful suggestions which improved this paper. Most of all, the author is grateful for and much indebted to Richard Laver for providing for her in 2011 the main points of Harrington’s forcing proof of the Halpern-Läuchli Theorem, opening the path of applying forcing methods to develop Ramsey theory on infinite structures.
3. Background and the Milliken and Halpern-Läuchli Theorems
This section provides background and sets some notation and terminology for the paper. We review Milliken’s Ramsey Theorem for trees and its application to proving that the Rado graph has finite big Ramsey degrees. Then we discuss why this theorem is not sufficient for handling Henson graphs. In Subsection 3.4, we present the Halpern-Läuchli Theorem, which is a Ramsey theorem on products of trees. This theorem forms the basis for Milliken’s Theorem. We present a version of Harrington’s forcing proof of the Halpern-Läuchli Theorem in order to offer the reader an introduction to the tack we take in later sections toward proving Theorem 8.3.
3.1. Coding graphs via finite binary sequences
The following notation shall be used throughout. The set of all natural numbers is denoted by . Each natural number is equated with the set of all natural numbers strictly less than ; thus, and, in particular, [math] is the emptyset. It follows that for , if and only if . For , we shall let denote the collection of all binary sequences of length . Thus, each is a function from into , and we often write as . For , denotes the -th value or entry of the sequence . The length of , denoted , is the domain of . Note that contains just the empty sequence, denoted .
Notation 3.1**.**
We shall let denote , the collection of all binary sequences of finite length.
For nodes , we write if and only if and for each , . In this case, we say that is an initial segment of , or that extends . If is an initial segment of and , then we write and say that is a proper initial segment of . For , we let denote the sequence restricted to domain . Thus, if , then is the proper initial segment of of length , ; if , then equals . Let denote , the set of all binary sequences of length at most .
In [22], Erdős, Hajnal and Pósa used the edge relation on a given ordered graph to induce a lexicographic order on the vertices, which they employed to solve problems regarding strong embeddings of graphs. With this lexicographic order, vertices in a given graph can can be represented by finite sequences of [math]’s and ’s, a view made explicit in [51] which we review now, using terminology from [52].
Definition 3.2** ([52]).**
Given nodes with , we call the integer the passing number of at . Passing numbers represent the edge relation in a graph as follows: Two vertices in a graph can be represented by nodes with , respectively, if
[TABLE]
Using this correspondence between passing numbers and the edge relation , any graph can be coded by nodes in a binary tree as follows. Let be a graph with vertices, where either or , and let be any enumeration of the vertices of . Choose any node to represent the vertex . For , given nodes in coding the vertices , take to be any node in such that and for all , and have an edge between them if and only if . Then the set of nodes codes the graph . For the purposes of developing the Ramsey theory of Henson graphs, we make the convention that the nodes in a tree used to code the vertices in a graph have different lengths. Figure 1. shows a set of nodes from coding the four-cycle .
3.2. Trees and related notation
In Ramsey theory on trees, it is standard to use the slightly relaxed definition of tree below. (See for instance Chapter 6 of [54].) Recall that the meet of two nodes and in , denoted , is the maximal initial segment of both and . In particular, if then . A set of nodes is closed under meets if is in , for every pair .
Definition 3.3** (Tree).**
A subset is a tree if is closed under meets and for each pair with , is also in .
Thus, in our context, a tree is not necessarily closed under initial segments in , but rather is closed under initial segments having length in . Given a tree , let
[TABLE]
Thus, is closed under initial segments in the usual sense.
Given a tree , for each node , define
[TABLE]
where we recall that denotes that is a proper initial segment of . For , define
[TABLE]
A set is called a level set if for some . Given , let
[TABLE]
If is in , then is a level subset of . In this case, there is some such that .
3.3. Milliken’s Theorem, its use in proving upper bounds for big Ramsey degrees of the Rado graph, and its insufficiency for Henson graphs
A Ramsey theorem for colorings of finite subtrees of a given tree was proved by Milliken in 1979 (Theorem 3.5 below). This theorem has turned out to be central to proving upper bounds for big Ramsey degrees of several types ultrahomogeneous structures, including the rationals as a linearly ordered structure in [9], the Rado graph and other simple binary relational structures in [52] and [37], and circular directed graphs and rationals with finitely many equivalence relations in [36]. A good review of these results appears in [47]. Chapter 6 of [54] provides a solid foundation for understanding how Milliken’s theorem is used to deduce upper bounds on big Ramsey degrees for both the rationals and the Rado graph.
Given a tree , a node splits in if and only if there are properly extending with and .
Definition 3.4** (Strong tree).**
Given a tree , recall that , the set of lengths of nodes in . We say that is a strong tree if and only if for each with , splits in . We say that is a strong tree of height , or simply a -strong tree, if and only if has exactly members.
Note that a strong tree has no maximal nodes if and only if is infinite. Further, for each -strong subtree of is isomorphic as a tree to some binary tree of height , where the isomorphism preserves relative lengths of nodes. In particular, a -strong tree is simply a node in . See Figure 2. for an example of a -strong tree with .
In [41], Milliken proved a Ramsey theorem for finite strong subtrees of finitely branching trees with no maximal nodes. Here, we present a restricted version of that theorem relevant to this paper.
Theorem 3.5** (Milliken, [41]).**
Let be given and let all -strong subtrees of be colored by finitely many colors. Then there is an infinite strong subtree of such that all -strong subtrees of have the same color.
Remark 3.6*.*
A theorem stronger than Theorem 3.5, also due to Milliken in [42], shows that the collection of all infinite strong subtrees of an infinite finitely branching tree forms a topological Ramsey space, meaning that it satisfies an infinite-dimensional Ramsey theorem for Baire sets when equipped with its version of the Ellentuck topology (see [54]). This fact informed some of our intuition when approaching the present work.
Now, we present the basic ideas behind the upper bounds for the big Ramsey degrees of the Rado graph. Upper bounds for the rationals are similar. The work in [36] relied on a stronger variation of Milliken’s theorem proved in that paper; given that theorem, the basic idea behind the upper bounds is similar to what we now present.
The Rado graph, denoted by , is universal for all countable graphs. However, it is not the only universal countable graph. The following graph is also universal. Let denote the graph with as its countable vertex set and the edge relation defined as follows: For ,
[TABLE]
It turns out that this graph is also universal, so embeds into and vice versa.
Suppose that is a finite graph and all copies of in are colored into finitely many colors. Take a copy of in and restrict our attention to those copies of in . Each copy of in has vertices which are nodes in . There are only finitely many strong similarity types of embeddings of into , (Definition 3.1 in [52]), which we now review.
Definition 3.7** (Strong Similarity Map, [52]).**
Let be given and let be meet-closed subsets. A function is a strong similarity map from to if for all nodes , the following hold:
- (1)
is a bijection. 2. (2)
preserves lexicographic order: if and only if . 3. (3)
preserves meets, and hence splitting nodes: . 4. (4)
preserves relative lengths: if and only if . 5. (5)
preserves initial segments: if and only if . 6. (6)
preserves passing numbers: If , then .
We say that and are strongly similar, and write , exactly when there is a strong similarity map between and .
The relation is an equivalence relation, and given a fixed finite graph , there are only finitely many different equivalence classes of strongly similar copies of in . Each equivalence class is called a strong similarity type. Thus, each copy of in is in exactly one of finitely many strong similarity types.
Fix one strong similarity type for , call it . For each copy of in of type , as the vertices of are nodes in the tree , we let denote the tree induced by the meet-closure in of the vertices in ; let be the number of levels of . There are finitely many -strong subtrees of which contain . Moreover, each -strong subtree of contains for exactly one in . (A proof of this fact can be found in Section 6 of [54].) Define a coloring on the -strong subtrees of as follows: Given a -strong subtree , let be the unique copy of in such that is contained in . Let be the color of . Applying Milliken’s Theorem 3.5, we obtain an infinite strong subtree of with all of its -strong subtrees having the same color. Thus, all copies of in with vertices in have the same color.
Repeating this argument for each strict similarity type, after finitely many applications of Milliken’s Theorem, we obtain an infinite strong subtree with the following property: For each strong similarity type for , all copies of of type with vertices in have the same color. Since is an infinite strong subtree of , the subgraph of coded by the nodes in is isomorphic to . Since embeds into , we may take a copy of whose nodes come from ; call this copy . Then every copy of in has the color of its strong similarity type in . The number of strong similarity types for copies of is the upper bound for the number of colors of copies of in .
To find the exact big Ramsey degrees, Laflamme, Sauer and Vuksanovic use an additional argument in [37]. We do not reproduce their argument here, as the lower bounds for big Ramsey degrees of the Henson graphs are not the subject of this article. However, we do point out that at the end of the article [52], Sauer takes an antichain of nodes in coding a copy of with the further properties: (a) The tree induced by the meet-closure of the nodes in has at each level at most one splitting node or one maximal node, but never both. (b) Passing numbers at splitting nodes are always zero, except of course for the right extension of the splitting node itself. These crucial properties (a) and (b) were used to reduce the upper bounds found in [52] to the number of strong similarity types of copies of a finite graph occuring in the copy of . This number was then proved to be the exact lower bound for the big Ramsey degrees in [37].
Milliken’s Theorem is not able to handle big Ramsey degrees of Henson graphs for the following reasons: First, there is no natural way to code a Henson graph using all nodes in a strong subtree of , nor is there a nicely defined graph which is bi-embeddable with a Henson graph. Second, even if there were, there is no way to guarantee that the strong subtree obtained by Milliken’s Theorem would contain a Henson graph. Thus, the need for a new Milliken-style theorem able to handle -clique-free graphs.
We begin with the properties (a) and (b) in mind when we construct trees with special distinguished nodes which code Henson graphs. The reader will notice that our strong -coding trees in Section 5.2 have the property that each level of the tree has at most one splitting node or one coding node (Definition 4.1). While our -coding trees are certainly not antichains (there are no maximal nodes), they set the stage for taking an antichain of coding nodes which code and have the properties (a) and (b) (Lemma 10.1). This serves to reduce the upper bound on the number of colors. We conjecture that the upper bounds found in this article - the number of strict similarity types of incremental antichains of coding nodes - are in fact the big Ramsey degrees.
3.4. Halpern-Läuchli Theorem and Harrington’s forcing proof
An important Ramsey theorem for trees is Theorem 3.8, due to Halpern and Läuchli. This theorem was found as a key step in the celebrated result of Halpern and Lévy in [31], proving that the Boolean Prime Ideal Theorem (the statement that any filter can be extended to an ultrafilter) is strictly weaker than the Axiom of Choice, assuming the Zermelo-Fraenkel axioms of set theory.
The Halpern-Läuchli Theorem is a Ramsey theorem for colorings of products of level sets of finitely many trees, forming the basis for Milliken’s Theorem 3.5, discussed in the previous subsection. In-depth presentations and proofs of various versions of the Halpern-Läuchli Theorem as well as Milliken’s Theorem can be found in [55], [54], and [17]. The book [55] contains the first published version of a proof due to Harrington using the method of forcing to produce a result inside the standard axioms of set theory, Zermelo-Fraenkel + Axiom of Choice. Harrington’s novel approach is central to the methods we developed in [14] for the triangle-free Henson graph and the more general approach developed in this paper for all Henson graphs. To provide the reader with a warm-up for our proof of Theorem 8.3, we reproduce here a forcing proof from [13]. This proof was outlined for us in 2011 by Richard Laver. It is simpler than the one given in [55] (at the expense of using instead of the used in [55]) and provides the starting point towards obtaining Theorem 8.3.
The Halpern-Läuchli Theorem holds for finitely many finitely branching trees with no maximal nodes; here, we restrict attention to binary trees since they are sufficient for applications to graphs. The following is the simplest version of the Halpern-Läuchli Theorem for strong trees, which provides the reader with a basic understanding of the starting point for our Ramsey theorems in Sections 7 and 8. Recall that for a tree , denotes the set of lengths of nodes in and is a level set.
Theorem 3.8** (Halpern-Läuchli, [30]).**
Let be fixed, and for each , let denote , the tree of all binary sequences of finite length. Suppose
[TABLE]
is a given coloring, where is any positive integer. Then there are infinite strong subtrees , where for all , such that is monochromatic on
[TABLE]
Harrington’s proof uses a cardinal large enough to satisfy a partition relation guaranteed by the following theorem. Recall that given cardinals , denotes the collection of all subsets of of cardinality , and
[TABLE]
means that for each coloring of into many colors, there is a subset of such that and all members of have the same color. The following is a ZFC result guaranteeing cardinals large enough to have the Ramsey property for colorings into infinitely many colors.
Theorem 3.9** (Erdős-Rado).**
For any non-negative integer and infinite cardinal ,
[TABLE]
**Proof of Theorem 3.8. **It is sufficient to consider the case . Let be given. Notice that since each , it follows that each . Let . (Recall that and in general, .) Define to be the set of functions of the form
[TABLE]
where
- (i)
is a finite subset of and ; 2. (ii)
for each , .
The partial ordering on is inclusion: if and only if , , and for each , .
Forcing with adds branches through the tree , for each . For , let denote the -th generic branch through . Thus,
[TABLE]
Note that for each with , forces that . Let be a -name for a non-principal ultrafilter on . To simplify notation, we write sets in as vectors in strictly increasing order. For , we let
[TABLE]
and for any , let
[TABLE]
The goal now is to find disjoint infinite sets , for , and a set of conditions which are compatible, have the same images in , and such that for some fixed , for each , forces for -many . Moreover, we will find nodes , , such that for each , . These will serve as the basis for the process of building the strong subtrees on which is monochromatic.
For each , choose a condition such that
- (1)
; 2. (2)
“There is an such that for many ”; 3. (3)
decides a value for , label it ; and 4. (4)
.
Such conditions may be obtained as follows. Given , take to be any condition such that . Since forces to be an ultrafilter on , there is a condition such that forces that is the same color for many . Furthermore, there must be a stronger condition deciding which of the colors takes on many levels . Let be a condition which decides this color, and let denote that color. Finally, since forces that for many the color will equal , there is some which decides some level so that . If , let be any member of such that and . If , let , the truncation of to images that have length . Then forces that , and hence forces that .
Recall that we chose large enough so that holds. Now we prepare for an application of the Erdős-Rado Theorem. Given two sets of ordinals we shall write if and only if every member of is less than every member of . Let and , the sets of even and odd integers less than , respectively. Let denote the collection of all functions such that
[TABLE]
Thus, each codes two strictly increasing sequences and , each of length . For , determines the pair of sequences of ordinals
[TABLE]
both of which are members of . Denote these as and , respectively. To ease notation, let denote , denote , and let denote . Let denote the enumeration of in increasing order.
Define a coloring on into countably many colors as follows: Given and , to reduce the number of subscripts, letting denote and denote , define
[TABLE]
Let be the sequence , where is given some fixed ordering. Since the range of is countable, applying the Erdős-Rado Theorem 3.9, there is a subset of cardinality which is homogeneous for . Take such that between each two members of there is a member of . Take subsets such that and each .
Lemma 3.10**.**
There are , , and , , such that , , and , for each , for all .
Proof.
Let be the member in which is the identity function on . For any pair , there are such that and . Since , it follows that , , and . ∎
Let denote the length of the nodes .
Lemma 3.11**.**
Given any , if and , then .
Proof.
Let be members of and suppose that for some . For each , let be the relation from among such that . Let be a member of such that for each and each , . Take satisfying and . Since between any two members of there is a member of , there is a such that for each , and . Given that and for each , there are such that , , , and . Since , the pair is in the last sequence in . Since , also is in the last sequence in and . It follows that and . Hence, , and therefore must equal . ∎
For any and any , there is a such that . By homogeneity of and by the first sequence in the second line of equation (19), there is a strictly increasing sequence of members of such that for each , . For each , let denote . Then for each and each ,
[TABLE]
Lemma 3.12**.**
The set of conditions is compatible.
Proof.
Suppose toward a contradiction that there are such that and are incompatible. By Lemma 3.10, for each and ,
[TABLE]
Thus, the only way and can be incompatible is if there are and such that but . Since and , this would imply . But by Lemma 3.11, implies that , a contradiction. Therefore, and must be compatible. ∎
We now construct the strong subtrees , for each , by induction on the number of levels in the trees. For each , let and let , the length of the , which is well defined since all nodes in the range of any have the same length.
Assume now that , there are lengths , and we have constructed finite strong subtrees of , , such that for each , takes color on each member of .
For each , let denote the set of immediate extensions in of the nodes in . For each , let be a subset of with the same size as . For each , label the nodes in as . Let denote . Notice that for each and , .
We now construct a condition such that for each , . Let . For each pair with and , there is at least one and some such that . For any other for which , since the set is pairwise compatible by Lemma 3.12, it follows that must equal , which is exactly . Let be the leftmost extension of in . Thus, is defined for each pair . Define
[TABLE]
Lemma 3.13**.**
For each , .
Proof.
Given , by our construction for each pair , we have . ∎
To construct the -th level of the strong trees , take an in which decides some for which , for all . By extending or truncating , we may assume without loss of generality that is equal to the length of the nodes in the image of . Notice that since forces for each , and since the coloring is defined in the ground model, it is simply true in the ground model that for each . For each and , extend the nodes in to length by extending to . Thus, for each , we define . It follows that takes value on each member of .
For each , let . Then each is a strong subtree of with the same set of lengths , and takes value on .
Remark 3.14*.*
This theorem of Halpern and Läuchli was applied by Laver in [39] to prove that given and given any coloring of the product of many copies of the rationals into finitely many colors, there are subsets of the rationals which again are dense linear orders without endpoints such that has at most colors. Laver further proved that is the lower bound. Thus, the big Ramsey degree for the simplest object (-length sequences) in the Fraïssé class of products of -many finite linear orders has been found.
Shelah extended the arguments above, applying forcing methods to prove consistent versions of the Halpern-Läuchli Theorem at a measurable cardinal in [53]. Modifications were used to prove big Ramsey degrees for the -rationals and -Rado graph by Džamonja, Larson, and Mitchell in [18] and [19]. Further work on the Halpern-Läuchli Theorem at uncountable cardinals has been continued in [15], [16] and by Zhang who proved the analogue of Laver’s result [39] for measurable cardinals in [56].
4. Trees coding Henson graphs
This section introduces a unified approach for coding the Henson graphs via trees with special distinguished nodes. We call these trees strong -free trees (Definition 4.16), since they branch as fully as possible (like strong trees) subject to never coding -cliques. The constructions extend and streamline the construction of strong triangle-free trees in [14]. The distinguished nodes will code the vertices of a Henson graph. The nodes in a given level of a strong -free tree will code all possible types over the finite graph coded by the lower levels of the tree. Example 3.18 of [14] showed that there is a bad coloring for strong -free trees which thwarts their development of Ramsey theory. This will be overcome by using skewed versions of strong -free trees, called strong -coding trees, developed in Section 5. The work in the current section provides the reader with the essential structure of and intuition behind strong coding trees utilized in the remainder of the paper.
4.1. Henson’s Criterion
Recall that denotes a -clique, a complete graph on vertices. In [32], for each , Henson constructed an ultrahomogeneous -free graph which is universal for all -free graphs on countably many vertices. We denote these graphs by . It was later seen that is isomorphic to the Fraïssé limit of the Fraïssé class of finite -free graphs. Given a graph and a subset of the vertices of , let denote the induced subgraph of on the vertices in . In [32], Henson proved that a countable graph is ultrahomogeneous and universal for countable -free graphs if and only if satisfies the following property ().
-
()
-
(i)
does not admit any -cliques. 2. (ii)
If are disjoint finite sets of vertices of , and has no copy of , then there is another vertex which is connected in to every member of and to no member of .
The following equivalent modification will be useful for our constructions.
-
-
(i)
does not admit any -cliques. 2. (ii)
Let enumerate the vertices of , and let be any enumeration of the finite subsets of such that for each , , and each finite set appears infinitely many times in the enumeration. Then there is a strictly increasing sequence such that for each , if has no copy of , then for all , .
It is routine to check that any countably infinite graph is ultrahomogeneous and universal for countable -free graphs if and only if holds.
4.2. Trees with coding nodes and strong -free trees
As seen for the case of triangle-free graphs in [14], enriching trees with a collection of distinguished nodes allows for coding graphs with forbidden configurations into trees which have properties similar to strong trees. Recall that denotes the set of all finite sequences of [math]’s and ’s.
Definition 4.1** ([14]).**
A tree with coding nodes is a structure in the language , where and are binary relation symbols and is a unary function symbol, satisfying the following: is a subset of satisfying that is a tree (recall Definition 3.3), either or , is the usual linear order on , and is an injective function such that whenever in , then .
Notation 4.2**.**
The -th coding node in , , will usually be denoted as . The length of the -th coding node in shall be denoted by . Whenever no ambiguity arises, we shall drop the superscript .
Throughout this paper, we use to denote either a member of , or itself. We shall treat the natural numbers as von Neumann ordinals. Thus, for , denotes the set of natural numbers less than ; that is, . Hence, in either case that or , it makes sense to write .
Definition 4.3** ([14]).**
A graph with vertices enumerated as is represented by a tree with coding nodes if and only if for each pair in , . We will often simply say that codes .
For each copy of with vertices indexed by , there is a tree with coding nodes representing the graph. In fact, this is true more generally for any graph, finite or infinite.
Definition 4.4** (The tree coding ).**
Let be any graph with vertices ordered as . Define as follows: Let , the empty sequence. For with , given coding nodes coding , with each , define to be the node in of length such that for each , . Let
[TABLE]
Observation 4.5**.**
Let and be as in Definition 4.4. Notice that for each with , each node in (the nodes in of length ) represents a model-theoretic (incomplete) -type over the graph . Moreover, each such -type is represented by a unique node in . In particular, if is a Rado graph or a Henson graph, then has no maximal nodes and the coding nodes in are dense.
Our goal is to develop a means for working with subtrees of trees like , where is a -clique-free Henson graph, for which we can prove Ramsey theorems like the Halpern-Läuchli Theorem 3.8 and the Milliken Theorem 3.5. There are several reasons why the most naïve approach does not work; these will be pointed out as they arise. In this and the next two sections, we develop tools for recognizing which trees coding and which of their subtrees are able to carry a robust Ramsey theory. These can be interpreted model-theoretically in terms of types over finite subgraphs, but the language of trees will be simpler and easier to visualize.
In Definition 4.4, we showed how to make a tree with coding nodes coding a particular copy of ; this is a “top-down” approach. To develop Ramsey theory for colorings of finite trees, we will need to consider all subtrees of a given tree coding which are “similar” enough to to make a Ramsey theorem possible. In order to prove the Ramsey theorems, we will further need criteria for how and when we can extend a finite subtree of a given tree , which is a subtree of some , where codes a copy of , to a subtree of coding another copy of . This will provide a “bottom-up” approach for constructing trees coding . The potential obstacles are cliques coded by coding nodes in , but which are not coded by coding nodes in . To begin, we observe exactly how cliques are coded.
Observation 4.6**.**
For , given an index set of size , a collection of coding nodes codes an -clique if and only if for each pair in , .
Definition 4.7** (-Free Criterion).**
Let be a tree with coding nodes . We say that satisfies the -Free Criterion if the following holds: For each , for all increasing sequences such that codes a -clique, for each such that ,
[TABLE]
In words, a tree with coding nodes satisfies the -Free Criterion if for each , whenever a node in has the same length as the coding node , the following holds: If and both code edges with some collection of many coding nodes in which themselves code a -clique, then does not split in ; its only allowable extension in is .
The next lemma characterizes tree representations of -free graphs. We say that the coding nodes in are dense in , if for each , there is some coding node such that . Note that a finite tree in which the coding nodes are dense will necessarily have coding nodes (of differing lengths) as its maximal nodes.
Lemma 4.8**.**
Let be a tree with coding nodes coding a countable graph with vertices . Assume that the coding nodes in are dense in . Then is a -free graph if and only if the tree satisfies the -Free Criterion.
Proof.
If does not satisfy the -Free Criterion, then there are in and with such that codes a -clique and for all . Since the coding nodes are dense in , there is an such that . Then codes a -clique. On the other hand, if contains a -clique, then there are such that the coding nodes in code a -clique, and these coding nodes witness the failure of the -Free Criterion in . ∎
Definition 4.9** (-Free Branching Criterion).**
A tree with coding nodes satisfies the -Free Branching Criterion (-FBC) if is maximally branching, subject to satisfying the -Free Criterion.
Thus, satisfies the -Free Branching Criterion if and only if satisfies the -Free Criterion, and given any and non-maximal node of length , (a) there is a node such that , and (b) there is a such that if and only if for all sequences such that codes a copy of , for at least one .
As we move toward defining strong -free trees in Definition 4.16, we recall that the modified Henson criterion is satisfied by an infinite -free graph if and only if it is ultrahomogeneous and universal for all countable -free graphs. The following reformulation translates in terms of trees with coding nodes. We say that a tree with coding nodes satisfies property if the following hold:
-
-
(i)
satisfies the -Free Criterion. 2. (ii)
Let be any enumeration of finite subsets of such that for each , , and each finite subset of appears as for infinitely many indices . Given , if for each subset of size , does not code a -clique, then there is some such that for all , if and only if .
Observation 4.10**.**
If satisfies , then the coding nodes in code .
To see this, suppose that satisfies , and let be the graph with vertices where for , if and only if . Then satisfies Henson’s property , and hence is ultrahomogeneous and universal for countable -clique-free graphs.
Observation 4.11**.**
Let be a copy of with vertices ordered as . Then (recall Definition 4.4) satisfies the -Free Branching Criterion.
The next lemma shows that any finite tree with coding nodes satisfying the -FBC, where all maximal nodes have height , has the property that every -type over the graph represented by is represented by a maximal node in the tree. This is the vital step toward proving Theorem 4.14: Any tree satisfying the -FBC with no maximal nodes and with coding nodes forming a dense subset codes the -clique-free Henson graph.
Lemma 4.12**.**
Let be a finite tree with coding nodes , where , satisfying the -Free Branching Criterion with all maximal nodes of length . Given any for which the set codes no -cliques, there is a maximal node such that for all ,
[TABLE]
Proof.
The proof is by induction on over all such trees with coding nodes. For , , so the lemma trivially holds.
Now suppose and suppose the lemma holds for all trees with less than coding nodes. Let be a tree with coding nodes satisfying the -FBC. Let be a subset of such that codes no -cliques. By the induction hypothesis, satisfies the lemma. So there is a node in of length such that for all , if and only if . If , then the maximal node in extending satisfies the lemma; this node is guaranteed to exist by the -FBC.
Now suppose . We claim that there is a maximal node in which extends . If not, then is not in . By the -FBC, this implies that there is some sequence such that codes a -clique and for each . Since for all , if and only if , it follows that . But then , which contradicts that codes no -cliques. Therefore, is in . Taking to be maximal in and extending satisfies the lemma. ∎
Remark 4.13*.*
Lemma 4.12 says the following: Suppose is a tree with coding nodes satisfying the -FBC, , and is the graph represented by . Let be any graph on vertices such that . Then there is a node such that letting , the graph represented by is isomorphic to .
Theorem 4.14**.**
Let be a tree with infinitely many coding nodes satisfying the -Free Branching Criterion. If has no maximal nodes and the coding nodes are dense in , then satisfies , and hence codes .
Proof.
Since satisfies the -FBC, it automatically satisfies (i) of . Let be an enumeration of finite subsets of where each set is repeated infinitely many times, and each . For , is the emptyset, so every coding node in fulfills (ii) of . Let be given and suppose that for each subset of size , does not code a -clique. By Lemma 4.12, there is some node of length such that for all , if and only if . Since the coding nodes are dense in , there is some such that extends . This coding node fulfills (ii) of . ∎
At this point, we have developed enough ideas and terminology to define strong -free trees. These will be special types of trees coding copies of with additional properties which set the stage for their skew versions in Section 5 on which we will be able to develop a viable Ramsey theory. We shall use ghost coding nodes for the first levels. Coding nodes will start at length , and all coding nodes of length at least will end in a sequence of many ’s. The effect is that coding nodes will only be extendible by [math]; coding nodes will never split. This will serve to reduce the upper bound on the big Ramsey degrees for .
Recall that is the set of all sequences of [math]’s and ’s of length .
Notation 4.15**.**
Throughout this paper, we use the notation and to denote sequences of length where all entries are [math], or all entries are , respectively.
Definition 4.16** (Strong -Free Tree).**
A strong -free tree is a tree with coding nodes, , satisfying the following:
- (1)
has no maximal nodes, the coding nodes are dense in , and no coding node splits in . 2. (2)
The first levels of are exactly , and the least coding node is exactly . 3. (3)
For each , the -th coding node has length , and has as final segment a sequence of many ’s. 4. (4)
satisfies the -free Branching Criterion.
Moreover, has ghost coding nodes defined by for , where denotes the empty sequence. A finite strong -free tree is the restriction of a strong -free tree to some finite level.
By Theorem 4.14, each strong -free tree codes .
Remark 4.17*.*
Items (1) and (4) in Definition 4.16 ensure that the tree represents a -free Henson graph. Items (2) and (3) serve to reduce our bounds on the big Ramsey degrees by ensuring that coding nodes never split. For any node in with all entries being [math], the subtree of all nodes in extending codes a copy of , by Theorem 4.14. Moreover, the structure of the first levels of such a subtree are tree isomorphic to . Thus, it makes sense to require (2) in Definition 4.16. The ghost coding nodes provide the structure which subtrees coding in the same order as automatically inherit. This will enable us to build the collection of all subtrees of a given tree which are isomorphic to in a strong way, to be made precise in the next section.
We now present a method for constructing strong -free trees. For , this construction method simplifies the construction of a strong triangle-free tree coding in Theorem 3.14 of [14] and accomplishes the same goals. The aim of Example 4.18 is to build the reader’s understanding of the principal structural properties of the trees on which we will develop Ramsey theory, before defining their skew versions in the next section.
Example 4.18** (Construction Method for a Strong -Free Tree, ).**
Recall that by Theorem 4.14, each strong -free tree codes . Let be any enumeration of such that whenever . Notice that in particular, . We will build a strong -free tree with the -th coding node of length and satisfying the following additional conditions for :
- (i)
If , , and is in , then . 2. (ii)
Otherwise, .
The first levels of are exactly . The ghost coding nodes are defined as in Definition 4.16, with being the empty sequence and being . The shortest coding node is . Notice that since , extends .
will have nodes of every finite length, so for each . We shall let denote ; this notation comes from topological Ramsey space theory in [54] and will be used again in the next section. Then . Extend the nodes of according to the -FBC with respect to to form the next level . Let . This node is in , since it codes no -cliques with . Extend the nodes of according to the -FBC with respect to to form the next level . So far, (1)–(4) of a Strong -Free Tree and (i) and (ii) above are satisfied.
Given , suppose we have defined and so that (1)–(4) and (i) and (ii) hold so far. If , or but , where , then define . This node is in by the -FBC, since the only nodes codes edges with are exactly the coding nodes .
Now suppose that and is in , where . Let denote and define . We claim that is in . Let and suppose that is a set of coding nodes in coding a -clique. If , then for at least one , since is in which satisfies the -FBC. Let . If for some , , then . For the following, it is important to notice that . If for some , and , then , contrary to our assumption that codes a -clique. Lastly, suppose . Then the nodes , , are exactly the coding nodes . Thus, . Therefore, by the -FBC, is in . Let and split according to the -FBC to construct . This satisfies (1)–(4) and (i) and (ii).
This inductive process constructs a tree which is a strong -free tree satisfying (i) and (ii).
Remark 4.19*.*
For , the previous construction of a strong triangle-free tree produces a strong triangle-free tree in the sense of [14], albeit in a more streamlined fashion.
Example 4.20** (A Strong -Free Tree, ).**
In keeping with the construction method above, we present the first several levels of the construction of . Let denote the empty sequence, and suppose and . The ghost coding node is , the empty sequence. The coding nodes where is odd will be . In particular, , , , etc. These nodes are in every tree satisfying the -Free Branching Criterion.
Let ; this node extends . Let ; this node extends . Let ; this node extends . If , since this node is not in , we let . If , we can let be any node in extending . For instance, if we care about making recursively definable with respect to the sequence , we can let be the rightmost extension of in which has last entry , namely . In this manner, one constructs a tree such as in Figure 3.
Example 4.21** (A Strong -Free Tree, ).**
The following tree in Figure 4. is an example of a strong -free tree. Let denote the empty sequence, and suppose and . The ghost coding nodes are and . According to the construction in Example 4.18, the first three coding nodes of are , which extends , , and , each time splitting according to the -Free Splitting Criterion (-FSC) to construct a tree . Split again according to the -FSC to construct the next level of the tree, . Since is in , letting satisfies requirement (i) in Example 4.18. Let and . Since is in , taking to be satisfies our requiremnts. One can check that this node is in . (One could also simply let be . Continue the construction according to Example 4.18.
As in the case of in [14], the purpose of not allowing coding nodes to split is to reduce the number of different types of trees coding a given finite -free graph. Having the coding nodes be dense in the tree is necessary development of Ramsey theory. However, the same example of a bad coloring as given in Example 3.18 of [14] provides a bad coloring for any strong -free tree, for any .
Example 4.22** (A bad coloring of vertices in ).**
Let be fixed. Color all coding nodes in extending red. In particular, is colored red. Given , suppose that for each , all coding nodes in extending have been colored either red or blue. Look at the coding node . This node has length and has already been assigned a color. If is red, then color every coding node extending blue; if is blue, then color every coding node extending red. Notice that any subtree of which is strongly similar to in the sense of Definition 3.7 where additionally coding nodes are sent to coding nodes, has nodes of both colors. (See Definition 5.3 for the precise definition of strongly similar for trees with coding nodes.) Equivalently, any subtree of which is again a strong -tree which represents a copy of has coding nodes with both colors.
This coloring in Example 4.22 is equivalent to a coloring of the vertices of . Recall that the work of Komjáth and Rödl in [35] for and work of El-Zahar and Sauer in [20] for , shows that for any coloring of the vertices in into two colors, there is a subgraph which is again a -free Henson graph in which all vertices have the same color. However, the previous example shows that we cannot expect the subgraph to have induced tree with coding nodes strongly similar to . Since we are aiming to prove Ramsey theorems on collections of trees with coding nodes which are all strongly similar to each other, we immediately turn to the next section where we present the skewed version of these trees on which the relevant Ramsey theory can be developed.
5. Strong -coding trees
The classes of trees coding Henson graphs on which we develop Ramsey theory are presented in this section. For each , fixing a tree constructed as in Example 4.18, we construct its skew version, denoted , the skewing being necessary to avoid the bad colorings seen in Example 4.22. The coding nodes in code a -clique-free Henson graph in the same way as the coding nodes of . In Definition 5.12, we present the space of strong -coding subtrees of . These are subtrees of which are isomorphic to in a strong way, and consequently code a copy of in the same way that does.
By the end of Section 8, these spaces of strong -coding trees will be shown to have Ramsey theorems similar to the Milliken space of strong trees [41]. The added difficulty for will be seen and addressed from here throughout the rest of the paper. This section extends results of Section 4 in [14] to for all , while providing a new, more streamlined approach for the case.
5.1. Definitions, notation, and maximal strong -coding trees,
The following terminology and notation will be used throughout, some of which is recalled from previous sections for ease of reading. A subset is a level set if all nodes in have the same length. We continue to use the notions of tree and tree with coding nodes given in Definitions 3.3 and 4.1, respectively, augmented to include ghost coding nodes, as was the case in the definition of in Example 4.18. Recall from equation (5) (just after Definition 3.3) that for a tree , we define to be the tree of all nodes in for which there is some such that .
Let be a finite or infinite tree with coding nodes , where either or . If is to be a strong -coding tree, then will also have ghost coding nodes . We let denote , the length of . Recall that is the domain of , as the sequence is a function from some natural number into . We sometimes drop the superscript when it is clear from the context. A node is called a splitting node if both and are in ; equivalently, is a splitting node in if there are nodes such that and . The critical nodes of is the set of all splitting and coding nodes, as well as any ghost coding nodes of . Given in , let denote the set of all such that , and call a level of .
We will say that a tree is skew if each level of has exactly one of either a coding node or a splitting node. The set of levels of a skew tree , denoted , is the set of those such that has either a splitting or a coding node of length . A skew tree is strongly skew if additionally for each splitting node , every such that and also satisfies ; that is, the passing number of any node passing by, but not extending, a splitting node is [math].
Given a skew tree , we let denote the enumeration of all critical nodes of in increasing order; will be the stem of , that is, the first splitting node of . Appropriating the standard notation for Milliken’s strong trees, for each , the -th level of is
[TABLE]
Then for any skew tree ,
[TABLE]
For , the -th approximation of is defined to be
[TABLE]
Let denote the integer such that ; thus, .
For , the -th interval of is ; the interval of between and is . The [math]-th interval of is . We call a skew tree regular if for each , the lengths of the splitting nodes in the -th interval of increase as their lexicographic order decreases.
In contrast to our approach in [14] where we defined strong -coding trees via several structural properties, in this paper we shall construct a particular strong -coding tree and then define a subtree to be a strong -coding tree if it is isomorphic to in a strong sense, to be made precise in Definition 5.12. The coding structure of is the same as that of the strong -free tree given in Example 4.18. The best way to think about is that it is simply the strongly skew, regular version of .
Example 5.1** (Construction Method for Maximal Strong -Coding Trees, ).**
Fix , and let be any enumeration of the nodes in such that whenever . Let be a strong -free tree constructed in Example 4.18. Recall that the graph represented by the coding nodes in is the -clique-free Henson graph. (The graph represented by the coding nodes in along with the ghost coding nodes in is also a -clique-free Henson graph, since holds.) Define to be the tree obtained by stretching to make it strongly skew and regular while preserving the passing numbers so that represents the same copy of the Henson graph as does. will have coding nodes and ghost coding nodes . For all pairs , we will have . The -th critical node in will be a node of length , so that will have nodes in every length in . The critical nodes consist of the splitting nodes, coding nodes, and ghost coding nodes. In particular, we will have , and for each .
We now show precisely how to construct , given . Set and , which is the singleton . Let the ghost coding node of be . This node splits so that , which has exactly two nodes, so there is a bijection between these level sets of nodes. As in the previous section, let denote . Then . The [math]-th critical node equals the ghost coding node .
Suppose that and that has been constructed, has been fixed, and there is a bijection between and . Let be the number of nodes in which split into two extensions in . Let . (Notice that for , , and for , ; more generally, for , .) Let enumerate in reverse lexicographic order those members of which split into two extensions in . Let be the lexicographic preserving bijection from onto . For each , define , and set
[TABLE]
where . Thus, , , , and finally, . These are the splitting nodes in the interval of between and . For each , define to be the binary sequence of length which extends by all [math]’s. Define
[TABLE]
where and for each , is the extension of by [math]’s to length . Let be the leftmost extension in of , where is the leftmost immediate successor of in . Define
[TABLE]
Notice that the level sets , , and have the same cardinality. Moreover, the lexicographic preserving bijection from onto preserves passing numbers. By our construction, for each , .
Let with coding nodes and ghost coding nodes . is a strongly skew, regular tree with coding nodes representing a copy of and is maximal in the sense that
Remark 5.2*.*
Notice that the coding nodes (along with the ghost coding nodes) in represent the same ordered copy of as the one represented by the coding nodes (along with the ghost coding nodes) in . That is, given , . A simple way to think about is that it is the skew tree such that if one “zips up” the splitting nodes in the -th interval of to the length of , then one recovers a tree which is strongly similar (in fact, strongly isomorphic–see Definition 5.10) to , in the sense of the upcoming Definition 5.3.
5.2. The space of strong -coding trees
Let be given, and fix as constructed as in Example 5.1. In preparation for defining the space of strong -coding subtrees of , we provide the following definitions.
A subset of is an antichain if for all , implies . Recall that a subset of is a level set if all members of have the same length. Thus, each level set is an antichain. Given a subset , recall that the meet closure of , denoted , is the set of all meets of (not necessarily distinct) pairs of nodes in ; in particular, contains . We say that is meet-closed if . Recall that for and with , denotes the initial segment of of length . Similarly to equation (8), given a subset and any , we define
[TABLE]
That is, is the set of nodes in of length exactly which are initial segments of some node in . Thus, , whether or not has nodes of length .
If has the same length as some (ghost) coding node in , then has a unique immediate successor in ; denote this as . We say that has passing number at exactly when .
The following is Definition 4.9 in [14] augmented to include ghost coding nodes; it extends Definition 3.7 of Sauer. It is important to note that a ghost coding node in some subset is never a coding node in .
Definition 5.3** (Strong Similarity Map).**
Let be fixed, and let be meet-closed subsets. A function is a strong similarity map of to if for all nodes , the following hold:
- (1)
is a bijection. 2. (2)
preserves lexicographic order: if and only if . 3. (3)
preserves meets, and hence splitting nodes: . 4. (4)
preserves relative lengths: if and only if . 5. (5)
preserves initial segments: if and only if . 6. (6)
preserves (ghost) coding nodes: is a coding node in if and only if is a coding node in . If has also ghost coding nodes, then is a ghost coding node in if and only if is a ghost coding node in . 7. (7)
preserves passing numbers at (ghost) coding nodes: If is a (ghost) coding node in and is a node in with , then . In words, the passing number of at equals the passing number of at .
We say that and are strongly similar, and write , exactly when there is a strong similarity map between and .
It follows from (3) that is a splitting node in if and only if is a splitting node in . In all cases above, it may be that and , so in particular, (5) implies that if and only if . Notice that strong similarity is an equivalence relation, since the inverse of a strong similarity map is a strong similarity map, and the composition of two strong similarity maps is a strong similarity map. If and is a strong similarity of to , then we say that is a strong similarity embedding of into .
Our goal in this subsection is to define a space of subtrees of for which the development of a Ramsey theory akin to the Halpern-Läuchli and Milliken Theorems is possible. The first potential obstacle arises due to the fact that -cliques are forbidden in . This manifests in terms of trees in the following way: There are finite subtrees of which are strongly similar to an initial segment of , and yet cannot be extended within to a subtree which is strongly similar to . In this subsection we make precise what the possible obstructions are. We then define the set of strong -coding trees to be those trees which avoid the possible obstructions.
The next definitions are new to -clique-free graphs for , and are necessary for the work in this paper. When , the rest of this section simply reproduces the concepts of sets of parallel ’s and the Parallel ’s Criterion used throughout [14], though in a new and more streamlined manner. Fix throughout the rest of Section 5.
If is a level subset of some meet-closed , let denote the length of the members of . If the nodes in are not maximal in , let the set of immediate successors of in be denoted by . Thus, when is understood,
[TABLE]
Note that if is the length of a (ghost) coding node in , then each node in has a unique extension in which is determined by , irregardless of .
Definition 5.4** (Pre--Clique and Witnesses).**
Let , and let be a level subset of . ( is allowed to consist of a single node.) Let denote the length of the nodes in . We say that has pre--clique if there is an index set of size such that, letting and , the following hold:
- (1)
The set codes an -clique; that is, for each pair in , ; 2. (2)
For each node and each , .
We say that has a pre--clique at , and that is a pre--clique. The set of nodes is said to witness that has a pre--clique at .
Notation 5.5**.**
We write exactly when has a pre--clique.
Remark 5.6*.*
Whenever a level set has a pre--clique, then for any set of coding (and/or ghost coding) nodes of witnessing that , the set codes a -clique, and each has passing number at each . It follows that, if has more than one node, then for any coding node in extending some , any extension of any to some node of length greater than must satisfy .
Thus, the nodes in a pre--clique are ‘entangled’: The splitting possibilities in the cone above one of these nodes depends on the cones above the other nodes in the pre--clique. If is contained in some finite subtree of and is not witnessed by coding nodes in , then the graph coded by has no knowledge that the cones above in are entangled. Then no extension of into can be strongly similar to . This is one of the main reasons that developing Ramsey theory for Henson graphs is more complex than for the Rado graph.
Even if , pre--cliques are also entangled. In the set-up to the space of strong coding trees, we must consider pre--cliques for each ; it is necessary to witness them in order to guarantee the existence of extensions within a given strong -coding tree which are strongly similar to some tree which should exist according to the -Free Criterion. The guarantee of such extensions is the heart of the extension lemmas in Section 6.
Definition 5.7** (New Pre--Clique).**
Let , and let be a level set. ( can consist of a single coding node.) We say that has a new pre--clique at if is a pre--clique and for each for which and have the same number of nodes, is not a pre--clique.
The reasoning behind the requirement that and have the same number of nodes will become more apparent in latter sections, when we want to color finite antichains of coding nodes coding a copy of some finite -free graph.
Definition 5.8**.**
Let , and let be level sets with . We say that has no new pre--cliques over if and only if the following holds: For each and each , if is a pre--clique, then end-extends , and already has a pre--clique. We say that has no new pre-cliques over if has no new pre--cliques over for any .
For example, suppose is a singleton which is a new pre--clique for some and is a level set with at least two members such that . If for some , has at least two distinct nodes and for each , , then has at least a new pre--clique over .
The next definition gives precise conditions under which a new pre--clique at in a subtree of is maximal in the interval of containing .
Definition 5.9** (Maximal New Pre--Clique).**
Let be a subtree of , let be a level set, and let . We say that has a maximal new pre--clique in at if is a new pre--clique in which is also maximal in in the following sense: Let denote the critical node in of maximum length satisfying . If is the index so that , let denote and note that . Then for any and any new pre--clique , if contains then these sets are equal; hence , since has no splitting nodes in the interval .
We write if has a maximal new pre--clique in in the interval of containing the length of the nodes in . Thus, if , then means that for some , has a maximal new pre--clique at .
In Definition 5.9, for any level set end-extending , we say that has a maximal new pre--clique in at . We will say that a set contains a maximal new pre--clique at if for some subset .
Definition 5.10** (Strong Isomorphism).**
Let and be strongly similar subtrees of with many critical nodes. The strong similarity map is a strong isomorphism if for each positive , the following hold: For each , a level subset has a maximal new pre--clique in in the interval if and only if has a maximal new pre--clique in in the interval .
When there is a strong isomorphism between and , we say that and are strongly isomorphic and write .
Observation 5.11**.**
The relation is an equivalence relation, since the inverse of a strong isomorphism is a strong isomorphism, and composition of two strong isomorphisms is again a strong isomorphism. Moreover, since strong similarity maps preserve (ghost) coding nodes and passing numbers, any strong isomorphism will map a set of coding (and/or ghost coding) nodes in witnessing a pre--clique in to a set of coding (and/or ghost coding) nodes in witnessing that is a pre--clique in .
Strong isomorphisms preserve all relevant structure regarding the shape of the tree, (ghost) coding nodes and passing numbers, and maximal new pre--cliques and their witnesses. They provide the essential structure of our strong -coding trees.
Definition 5.12** (The Space of Strong -Coding Trees ).**
A tree (with designated ghost coding nodes) is a member of if and only if there is a strong isomorphism, denoted , from onto . Thus, consists of all subtrees of which are strongly isomorphic to . Call the members of strong -coding trees, or just strong coding trees when is clear. The partial ordering on is simply inclusion: For , we write if and only if is a subtree of . If , the notation implies that is also a member of .
Given , for , we let denote ; hence, enumerates the ghost coding nodes and enumerates the coding nodes in in increasing order of length. Letting enumerate the critical nodes of in order of increasing length, note that the -th critical node in , , equals . In particular, the ghost coding node equals , the minimum splitting node in .
It follows from the definition of strong isomorphism and the structure of that each coding node in is a singleton pre-k-clique, while each ghost coding node is not. Precisely, is not a pre-clique at all. If , then is a pre--clique, and in general, for , the ghost coding node is a pre--clique. Thus, the ghost coding nodes in cannot be coding nodes in ; hence the name. It is the case, though, that each ghost coding node with in has the same length as some ghost or coding node in .
Let denote the set of nodes in of length . Recalling the notation in (28) and (30) in Subsection 5.1, the -th finite approximation of is
[TABLE]
for . This is equal to , since is a tree. Thus for , end-extends , and . Notice that for any tree , is the emptyset and , the splitting node of smallest length in .
For each , define
[TABLE]
and let
[TABLE]
Given and , define
[TABLE]
Given , and , define
[TABLE]
For and , if for some , , then we write and say that is an initial segment of . If and , then we write and say that is a proper initial segment of .
Remark 5.13*.*
If a subset does not contain sequences of [math]’s of unbounded length, then there is an such that each node in has passing number at , for some . Such an cannot satisfy property so it does not code ; hence it is not strongly similar to . Thus, the leftmost path through any member of is the infinite sequence of [math]’s. It follows that for , the strong isomorphism must take each splitting node in which is a sequence of [math]’s to a splitting node in which is a sequence of [math]’s. In particular, takes to the ghost coding node of , which is a splitting node in consisting of a sequence of [math]’s.
Next, we define what it means for a pre-clique to be witnessed inside a given subtree of . This sets the stage for the various Witnessing Properties to follow. The Strong Witnessing Property will be a structural characteristic of strong -coding trees. The Witnessing Property will be useful for extending a given finite subtree of some as should be possible according to the -free Branching Criterion. Both will be utilized in following sections.
Definition 5.14** (Witnessing new pre-cliques in ).**
Let be a finite or infinite subtree of with some coding and/or ghost coding nodes. Suppose that is a level subset of which has a new pre--clique at , for some . We say that a set of coding and/or ghost coding nodes in , , witnesses in that has a new pre--clique at if, letting ,
- (1)
codes an -clique; 2. (2)
and has no critical nodes in the interval ; 3. (3)
For each , the node in extending has passing number at , for each .
In this case, we write . If is a maximal new pre--clique and is witnessed by a set of coding nodes in , we write .
Remark 5.15*.*
Note that the set in (3) above is well-defined, since by (2), has no critical nodes (in particular no splitting nodes) in the interval . The passing number of at is uniquely determined by to be the passing number of at . We point out that there may be other sets of coding and/or ghost coding nodes in witnessing . However, any such set of witnesses in must contain .
In the following, given a finite or infinite subtree of , recall that is the enumeration of the critical nodes in in order of increasing length. Here, either or . Enumerate the coding nodes in as , where or . If has ghost coding nodes, enumerate these as , where for some . The number is the index such that .
Definition 5.16** (Strong Witnessing Property).**
A subtree of has the Strong Witnessing Property if the following hold:
- (1)
Each new pre-clique in takes place in some interval in of the form . 2. (2)
Each new pre-clique in is witnessed in .
Notice that the coding node in Definition 5.16 is obligated (by Definition 5.14) to be among the set of coding nodes witnessing . Further, in order to satisfy Definition 5.16, it suffices that the maximal new pre--cliques are witnessed in , as this automatically guarantees that every new pre--clique is witnessed in .
Definition 5.17** (Witnessing Property).**
A subtree of has the Witnessing Property (WP) if each new pre-clique in of size at least two takes place in some interval in of the form and is witnessed by a set of coding nodes in .
The idea behind the Witnessing Property is that we want a property strong enough to guarantee that the finite subtree of can extend within according to the -FBC. However, each coding node is a pre--clique, and if is an antichain of coding nodes in coding some finite -free graph, we cannot require that all singleton pre--cliques be witnessed in . The Witnessing Property will allow just the right amount of flexibility to achieve our Ramsey Theorem for antichains of coding nodes.
Lemma 5.18**.**
If is a subtree of which has the (Strong) Witnessing Property and , then has the (Strong) Witnessing Property.
Proof.
Given the hypotheses, let be a strong isomorphism from to . Suppose is a level set which has a new pre--clique, for some . Let be the index such that the new pre--clique in takes place in the interval . Without loss of generality, assume that has a maximal new pre--clique in in this interval. In the case for WP, assume that has at least two members. Since is a strong isomorphism, has a maximal new pre--clique in in the interval . Since has the (Strong) Witnessing Property, must be a coding node in ; moreover, this coding node must be among the set of coding nodes in witnessing that has a new pre--clique. Therefore, is a coding node, and is among the set of coding nodes witnessing that has a new pre--clique, since being a strong similarity map implies preserves coding nodes and passing numbers. Furthermore, each new pre--clique in (of size at least two in the case of WP) is witnessed in . Hence, has the (Strong) Witnessing Property. ∎
Lemma 5.19**.**
Suppose are subtrees of and that has the Strong Witnessing Property. Then if and only if and also has the Strong Witnessing Property.
Proof.
For the forward direction, note that implies , by the definition of strongly isomorphic. If moreover, has the Strong Witnessing Property then Lemma 5.18 implies also has the Strong Witnessing Property.
Now suppose that and both and have the Strong Witnessing Property. Let be the strong similarity map. Suppose is a level set in which has a maximal new pre--clique, for some . Since has the Strong Witnessing Property, there is a set of coding nodes witnessing that has a new pre--clique. Furthermore, must be the length of some coding node in the set . Since preserves coding nodes and passing numbers, it follows that is a set of coding nodes in witnessing that has a pre--clique. It remains to show that has a new pre--clique and is maximal in .
If does not have a new pre--clique in , then there is some critical node in below such that has a new pre--clique in , where is the longest coding node in . Since satisfies the Strong Witnessing Property, this new pre--clique in appears at some coding node in below . Further, must be witnessed by some set of coding nodes in . But then is a set of coding nodes in witnessing a pre--clique in . Since the longest length of a coding node in is shorter than , the pre--clique in occurs first at some coding node below , a contradiction to having a new pre--clique. Therefore, is a new pre--clique in .
If is not maximal in , then there is some level set of nodes of length properly containing which has a new pre--clique in . Since has the Strong Witnessing Property, there is some set of coding nodes witnessing . Then witnesses that is a pre--clique in properly containing , contradicting the maximality of in . Therefore, preserves maximal new pre--cliques, and hence is a strong isomorphism. Hence, . ∎
The -Free Branching Criterion from Definition 4.9 naturally gives rise to a version for skew trees. A tree with (ghost) coding nodes for , where or and is the stem of , satisfies the -Free Branching Criterion (-FBC) if and only if the following holds: For , letting denote the node , each node of length branches in before reaching length if and only if for each of size for which the set codes a -clique and such that for each , for at least one .
Notice that if a skew tree satisfies the -FBC, then Theorem 4.14 implies the following fact:
Observation 5.20**.**
Any skew tree satisfying the -Free Branching Criterion in which the coding nodes are dense codes a copy of .
Lemma 5.21**.**
(1) If is strongly similar to , then satisfies the -Free Branching Criterion.
(2) If is strongly similar to and has the Strong Witnessing Property, then the strong similarity map from to is a strong isomorphism, and hence is a member of .
Proof.
(1) follows in a straightforward manner from the definitions of -FBC and strong similarity map, along with the structure of , as we now show. Suppose is strongly similar to , and let be the strong similarity map. Note that for each integer , . Fix and a node which does not extend to . Then is in . Since is a strong similarity map, does not extend to the coding node in . Since satisfies the -FBC, splits in before reaching the level of if and only if, letting , for each subset of size such that codes a -clique and has passing number at each , there is some at which has passing number [math]. Since and is a strong similarity map, splits in before reaching the level of if and only if, letting , for each subset of size for which codes a -clique and has passing number at each , there is some at which has passing number [math].
For (2), if is strongly similar to and has the Strong Witnessing Property, then it follows from Lemma 5.19 that since has the Strong Witnessing Property. ∎
Lemma 5.22**.**
Every has the following properties:
- (1)
. 2. (2)
* satisfies the -Free Branching Criterion.* 3. (3)
* has the Strong Witnessing Property.*
Proof.
(1) is immediate from the definition of . (2) follows from Lemma 5.21 part (1). (3) follows from (1) and Lemma 5.19. ∎
6. Extension Lemmas
Unlike Milliken’s strong trees, not every finite subtree of a strong -coding tree can be extended within that ambient tree to another member of , nor necessarily even to another finite tree of a desired configuration. This section provides structural properties of finite subtrees which are necessary and sufficient to extend to a larger tree of a particular strong similarity type. The first subsection lays the groundwork for these properties and the second subsection proves extension lemmas which are fundamental to developing Ramsey theory on strong -coding trees. The extension lemmas extend and streamline similar lemmas in [14], taking care of new issues that arise when . Furthermore, these lemmas lay new groundwork for general extension principles, with the benefit of a simpler proof of Theorem 7.2 than the proof of its instance for in [14].
6.1. Free level sets
In this subsection, we provide criteria which will aid in the extension lemmas in Subsection 6.2. These requirements will guarantee that a finite subtree of a strong coding tree can be extended within to another strong coding tree.
Recall that given a tree and , denotes the set of nodes in of length equal to , the length of the -th critical node in . The length of a (ghost) coding node is denoted , which equals . Thus, . Throughout this section, , and when we write “coding node” we are including ghost coding nodes.
Definition 6.1** (Free).**
Let be fixed. We say that a level set with length is free in if given least such that , letting consist of the leftmost extensions of members of in , then has no new pre--cliques over , for any .
In particular, any level set with length that of some coding node in is free in .
Remark 6.2*.*
For , this is equivalent to the concept of “ has no pre-determined new parallel ’s in ” in [14].
Terminology 6.3**.**
For a level set end-extending a level set , we say that has no new pre-cliques over if has no new pre--cliques over , for any .
Lemma 6.4**.**
Let be fixed, be a level set which is free in . Then for any , the set of leftmost extensions in of the nodes in to contains no new pre-cliques over . Furthermore, for any such that , the leftmost extensions of in have passing numbers [math] at . It follows that any set of leftmost extensions of is free in .
Proof.
This lemma follows from the fact that . To see this, let be the strong isomorphism witnessing that , and let be least such that . Let and be given, and let be the end-extension of in consisting of the nodes which are leftmost extensions in of the nodes in . Since is free in , has no new pre--cliques over . Since is a strong similarity map, is the collection of leftmost extensions in of the level set . In particular, has no new pre--cliques in the interval . In particular, the passing numbers of members of in this interval are all [math]. Since is a strong isomorphism, has no new pre--cliques over , and all passing numbers of the leftmost extensions of in are [math]. In particular, any set of leftmost extensions of in is free in . ∎
An important property of is that all of its members contain unbounded sequences of [math]’s.
Lemma 6.5**.**
Suppose and is a node in the leftmost branch of . Then is a sequence of [math]’s.
Proof.
If not, then for some , no node of extends . Let be the least such integer. Then for each , there is some coding node such that .
If there is a such that for all coding nodes in of length less than , , then by the -Free Branching Criterion of , extends in to many coding nodes forming a -clique. But this -clique forms a -clique with the vertex represented by any coding node in for which , contradicting that .
Otherwise, for each , there is a coding node with such that . But then cannot code a copy of , contradicting that . ∎
Notation 6.6**.**
Let be a finite subtree of . We let denote the maximum of the lengths of the nodes in , and let
[TABLE]
Thus, is a level set. If the maximal nodes in do not all have the same length, then will not contain all the maximal nodes in .
Definition 6.7** (Finite strong coding tree).**
A finite subtree is a finite strong coding tree if and only if for such that either is a coding node or else .
Lemma 6.8**.**
Given , each finite strong coding tree contained in has the Strong Witnessing Property, and is free in .
Proof.
Fix and let be a finite strong coding tree contained in . If , then is the empty set, so the lemma vacuously holds. Otherwise, by Definition 6.7, contains a coding node, so is free in . Further, for some such that is a coding node. As has the Strong Witnessing Property, Lemma 5.19 implies that also has the Strong Witnessing Property. ∎
6.2. Extension Lemmas
The next series of lemmas will be used extensively throughout the rest of the paper. As consequences, these lemmas ensure that every tree in contains infinitely many subtrees which are also members of , and that for any with and free in , the set , defined in (40) of Definition 5.12, is infinite for each .
Lemma 6.9**.**
Suppose and is a level set with free in . Fix a subset . Let be any level set end-extending such that is free in . Let denote the set of leftmost extensions of in . Then is free in , and any new pre-cliques in occur in . In particular, if has no new pre-cliques over , then has no new pre-cliques over .
Proof.
Since is free in and Lemma 6.4 implies that is free in , it follows that is free in . Suppose that for some there is a such that has a new pre--clique in the interval . Let , , and . By Lemma 6.4, has no new pre-cliques over , so must be non-empty.
Suppose toward a contradiction that also is non-empty. Let be the minimal length at which this new pre--clique occurs, and let be the least integer such that . Since has the Strong Witnessing Property (recall Lemma 5.22), must be a coding node in , say . In the case that , by Lemma 6.4 we may extend the nodes in leftmost to nodes in without adding any new pre-cliques. Thus, without loss of generality, assume that . Since the new pre--clique must be witnessed in at the level of , it follows that all nodes in have passing number at . Let be the strong isomorphism from to and let denote . Then is a level set in of length . Since is a strong similarity map, it preserves passing numbers. Hence, all nodes in have passing number at in .
However, since consists of the leftmost extensions in of the nodes in , it follows that is the set of leftmost extensions in of . Thus, each member of has passing number [math] at . Since , also , so has at least one node with passing number [math] at , contradicting the previous paragraph. Therefore, must be empty, so resides entirely within . In particular, if has no new pre-cliques over , then has no new pre-cliques over . ∎
Lemma 6.10**.**
Suppose is a node in a strong coding tree . If is least such that , then there is splitting node in extending such that . In particular, every strong coding tree is perfect.
Proof.
It suffices to work with , since each member of is strongly isomorphic to . We make use here of the particular construction of from Example 5.1.
Let be a node in , and let be least such that . Let be least such that for some , and let be the leftmost extension of in . Note that and that has passing number [math] at . By the construction of , in will have passing number at precisely , and at no others. Let denote the truncation of to length . The number of coding nodes in at which both and have passing number is at most . Therefore, and do not code a pre--clique. So by the -FBC, extends to a splitting node in before reaching the level of . ∎
Given a set of nodes , let denote the meet-closure of , which is the set of nodes . By the tree induced by we mean the set of nodes .
Lemma 6.11**.**
Suppose is a finite subtree of some strong coding tree with free in . Let be any nonempty subset of , and let be any subset of . Let be any enumeration of and suppose is given. Then there exist and extensions () and (), each in , such that letting
[TABLE]
and letting denote the tree induced by , the following hold:
- (1)
The splitting in above level occurs in the order of the enumeration of . Thus, for , . 2. (2)
* has no new pre-cliques over and is free in .*
Proof.
If is not the level of some coding node in , begin by extending each member of leftmost in to the level of the very next coding node in . In this case, abuse notation and let denote this set of extensions. Since is free in , this adds no new pre-cliques over .
By Lemma 6.10, every node in extends to a splitting node in . Let be the splitting node of least length in extending , and let be the coding node in of least length above . Extend all nodes in leftmost in to length , and label their extensions . Given and the nodes , let be the splitting node of least length in extending , and let be the coding node in of least length above . If , then extend all nodes in leftmost in to length , and label these .
When , let and for each and , let be the leftmost extension in of to length . For each , let be the leftmost extension in of to length . This collection of nodes composes the desired set . By Lemma 6.9, has no new pre-cliques over . is free in since the nodes in have the length of a coding node in . ∎
Convention 6.12**.**
Recall that when working within a strong coding tree , the passing numbers at coding nodes in are completely determined by ; in fact, they are determined by . For a finite subset of such that equals for some , we shall say that has the (Strong) Witnessing Property if and only if the extension has the (Strong) Witnessing Property.
The notion of a valid subtree is central to the constructions in this paper.
Definition 6.13** (Valid).**
Suppose and let be a finite subtree of . We say that is valid in if and only if has the Witnessing Property and is free in .
The next Lemma 6.14 shows that given a valid subtree of a strong coding tree , any of its maximal nodes can be extended to some coding node in while the rest of the maximal nodes can be extended to length so that their passing numbers are anything desired, subject only to the -Free Criterion.
Lemma 6.14** (Passing Number Choice).**
Fix and a finite subtree with free in . Let be any enumeration of , and fix some . To each associate an , with the stipulation that must equal [math] if has a pre--clique. In particular, .
Then given any , there is an such that the coding node extends , and there are extensions , , in such that, letting denote and letting , the following hold:
- (1)
Each has passing number at . 2. (2)
Any new pre-cliques among subsets of (except possibly for the singleton ) have their first instances occurring in the interval . 3. (3)
If has the Witnessing Property, then so does . Thus, if is valid, then is also valid. 4. (4)
If has the Strong Witnessing Property and has a pre--clique witnessed by coding nodes in , then has the Strong Witnessing Property.
Proof.
Assume the hypotheses in the first paragraph of the lemma. Let be least such that , and for each , let be the leftmost extension of in of length . Since is free in , the set has no new pre-cliques over . Given , take minimal above such that , and let . Such an exists, as the coding nodes in any strong coding tree are dense in that tree, by its strong similarity to . For , extend via its leftmost extension in to length and label it . By Lemma 6.9, has no new pre-cliques over , with the possible exception of the singleton , so (2) of the Lemma holds.
For with , let be the leftmost extension of of length . For with , by our assumption, has no pre--cliques, and their extensions to length have no new pre-cliques by Lemma 6.9. By the -Free Branching Criterion of , splits in before reaching the level of . Let be the rightmost extension of to length . Then for each , the passing number of at is . Thus, (1) holds.
Suppose now that has the Witnessing Property. Let . Since the nodes in have the length of the coding node , is free in . By construction, any new pre-cliques in over occur in the interval . Since has the Strong Witnessing Property, any new pre-cliques of in the interval must actually occur in the interval . It remains to show that any new pre-cliques of size at least two in over in the interval are witnessed by coding nodes in . We now show slightly more.
Suppose , where , and has a new pre--clique over , for some . Let denote and let be least such that is a pre--clique, and note that must be in the interval . Since has the Strong Witnessing Property, there is some set of coding nodes witnessing . As is the least coding node in above , must be in , again by the Strong Witnessing Property of . It follows that each node in must have passing number at .
If , then the coding node , which is contained in , witnesses the pre--clique in . Now suppose that . Then witnesses that has a pre--clique. The at which is a new pre--clique must be below , since cannot witness it at the level of . Since has no new pre-cliques over in the interval , it must be that . Since has size at least two and is contained in , the Witnessing Property of implies that there is a set of coding nodes contained in witnessing the pre--clique . Then is contained in and witnesses the pre--clique .
Now, suppose that , has size at least two, and has a new pre-clique over . We will show that this is impossible. We point out that in the interval , the coding node has no new pre-cliques with any other node in of length , (for has the Strong Witnessing Property and such a new pre-clique could not be witnessed in ). Since for each , the node is the leftmost extension of in , it follows that for each , the set has no new pre-cliques of size two or more. Thus, any new pre-clique occuring among above must exclude . It follows that has the Witnessing Property, so (3) holds.
We have already shown that, assuming that has the Witnessing Property, is not in any subset of of size at least two which has a new pre-clique over , and that for , any new pre-clique in over is witnessed in . Assuming the premise of (4), has a pre--clique witnessed by coding nodes in . Thus, the Strong Witnessing Property of carries over to . ∎
The next lemma provides conditions under which a subtree of a strong coding tree can be extended to another subtree with a prescribed strong similarity type. This will be central to the constructions involved in proving the Ramsey theorems for strong coding trees as well as in further sections.
Lemma 6.15**.**
Suppose is a finite subtree of a strong coding tree with free in . Fix any member . Let be any subset of such that for each , the pair has no pre--cliques, and let denote . Let be given.
Then there is an and there are extensions , for all , and for all , each of length , such that, letting
[TABLE]
and letting be the tree induced by , the following hold:
- (1)
* is a coding node.* 2. (2)
For each and , the passing number of at is . 3. (3)
For each , the passing number of at is [math]. 4. (4)
Splitting among the extensions of the occurs in reverse lexicographic order: For and in , if and only if . 5. (5)
There are no new pre-cliques among the nodes in below the length of the longest splitting node in below .
If moreover has the (Strong) Witnessing Property, then also has the (Strong) Witnessing Property.
Proof.
Since is free in , apply Lemma 6.11 to extend to have splitting nodes in the desired order without adding any new pre-cliques and so that this extension is free in . Then apply Lemma 6.14 to extend to a level with a coding node and passing numbers as prescribed, with the extension being valid in . Lemma 6.14 also guarantees that we can construct such a with the (Strong) Witnessing Property, provided that has the (Strong) Witnessing Property. ∎
This immediately yields the main extension theorem of this section.
Theorem 6.16**.**
Suppose , , and is a member of with free in . Then the set is infinite. In particular, for each , there is a member with free in and . Furthermore, is infinite, and for each strictly increasing sequence of integers , there is a member such that and is free in , for each .
Proof.
Recall that every member of has the Strong Witnessing Property. The first part of the theorem follows from Lemmas 6.11 and 6.14. The second part follows from Lemma 6.15. ∎
The final lemmas of this section set up for constructions in the main theorem of Section 7.
Lemma 6.17**.**
Suppose , is a level set containing a coding node , and is a partition of with . Suppose further that , extends , and end-extends with the following properties: has no new pre-cliques over , and each node in has the same passing number at as it does at . Then there is a level set end-extending such that each node in has the same passing number at as it does at , and has no new pre-cliques over .
Proof.
If , first extend the nodes in leftmost in to length , and label this set of nodes . By Lemma 6.9 has no new pre-cliques over . Apply Lemma 6.14 to extend the nodes in to such that for each node , has the same passing number at as it does at . Let .
Suppose towards a contradiction that for some , there is a new pre--clique above . If , then witnesses this pre--clique. Since each node in has the same passing number at as it does at , it follows that has a pre--clique which is witnessed by . Thus, was not new over .
Now suppose that . Then has a pre--clique, where . Since is a new pre--clique and , it must be that the the level where the pre--clique in is new must be at some . Since has no new pre-cliques in the interval , this must be less than or equal to . Since the passing numbers of members in are the same at as they are at , it follows that has a pre--clique. This pre--clique must occur at some level strictly below , since the passing number of the coding node at itself is [math]. Hence, is a pre--clique. Therefore, is not a new pre--clique over , a contradiction. ∎
Lemma 6.18**.**
Suppose , , and with free in . Let be the critical node of , let with , and let . Suppose that end-extends into so that has no new pre-cliques over , is free in , and the critical node is extended to the same type of critical node in . If is a coding node, assume that for each , the passing number of at is the same as the passing number of at . Then there is a level set end-extending in to length such that is a member of .
Proof.
Suppose first that is a splitting node. By Lemma 6.9, letting be the level set of leftmost nodes in , we see that is free in and has no new pre-cliques over . In particular, is a member of .
Now suppose that is a coding node. Let be the integer such that . Then . Let denote the leftmost extensions of the nodes in in . Again by Lemma 6.9, the set has no new pre-cliques over . For , let be the set of those which have passing number at . Note that for each , the set has no pre--clique, and since no new pre-cliques are added between the levels of and , the set has no pre--clique. Since satisfies the -Free Branching Criterion, each can be extended to a node with passing number at . Extend each node in leftmost in to length . Let . Then end-extends which end-extends , and each has the same passing number at as it does at .
We claim that has no new pre-cliques over . Suppose towards a contradiction that is a new pre--clique above , for some . Since has no new pre-cliques over , this new pre--clique must take place at some level . Since has the Strong Witnessing Property, must be in the interval , where is the longest splitting node in of length less than , and must be among the set of witnessing coding nodes in for this new pre--clique. If , then witnesses the pre--clique . But then must also be a pre--clique, since the passing numbers at are the same as at , and witnesses the pre--clique . Hence, is not new over . Now suppose that . Then has a new pre--clique at some level . Since has the Strong Witnessing Property this new pre--clique must be witnessed in . Since has no new pre-cliques in and has no new pre-cliques over , it must be that . Therefore, the minimal level of a pre--clique in is at some level in . Since has the Strong Witnessing Property, this is witnessed in . Since and each has the same passing number at as at , cannot be a witness of the pre--clique in . Therefore, must be witnessed in , say by coding nodes , where . But then witnesses the pre--clique . Hence, is not new over .
Now we will show that has no new pre-cliques over . Suppose has a pre--clique, for some . Since this pre--clique is not new over , there is some where is a new pre--clique in . Since has the Strong Witnessing Property, there are some coding nodes in witnessing . If , then these witnesses are in . Now suppose that . Note that . Thus, forms a pre--clique which witnesses . Therefore, has the Strong Witnessing Property. Since it is strongly similar to , is a member of by Lemma 5.19. ∎
Remark 6.19*.*
As was remarked for in [14], each space , , satisfies Axioms A.1, A.2, and **A.3(1) **of Todorcevic’s axioms in Chapter 5 of [54] guaranteeing a topological Ramsey space, and it is routine to check this. However, Axiom **A.3(2) **does not hold. The pigeonhole principle, Axiom A.4, holds exactly when the finite subtree is valid inside the given strong coding tree; this will follow from Theorems in Section 7 and 8.
7. Halpern-Läuchli-style Theorems for strong coding trees
The Ramsey theory content for strong coding trees begins in this section. The ultimate goal is to obtain Theorem 9.9. This is a Ramsey theorem for colorings of strictly similar (Definition 9.4) copies of any given finite antichain of coding nodes, as these are the structures which will code finite triangle-free graphs.
Phase II of the paper takes place in this and the next section. Theorem 7.2 is a Halpern-Läuchli-style theorem for colorings of level sets extending a finite valid subtree of some strong coding tree. Its proof begins with Harrington’s forcing proof of Theorem 3.8 as a rough template, but involves new forcings and new arguments necessitated by the -clique-free nature of Henson graphs. This is a major step toward proving a Milliken-style theorem for strong coding trees, but it is not enough: in the case when there is a coding node in the level sets being colored, Theorem 7.2 proves homogeneity on level sets extending some fixed set of nodes, but does not obtain homogeneity overall. We will have a third Halpern-Läuchli-style theorem in Section 8, which involves ideas unprecedented to our knowledge. This Lemma 8.8 will use a third type of forcing. Then using much induction on Theorem 7.2 and Lemma 8.8, we will prove the Main Ramsey Theorem for Strictly Witnessed (see Definition 8.1) finite subtrees of a given strong coding tree. This Theorem 8.3 is the main theorem of Phase II of the paper.
Theorem 7.2 encompasses colorings of two different types of level set extensions of a fixed finite tree: The level set either contains a splitting node (Case (a)) or a coding node (Case (b)). In Case (a), we obtain a direct analogue of the Halpern-Läuchli Theorem. In Case (b), we obtain a weaker version of the Halpern-Läuchli Theorem, which is later strengthened to the direct analogue in Lemma 8.8. The proof given here essentially follows the outline of the proof of Theorem 5.2 in [14], but our argument is now more streamlined, due to having proved more general extension lemmas in Section 5.
Let be fixed, and fix the following terminology and notation. Given subtrees of with finite, we write if and only if ; in this case we say that extends , or that is an initial subtree of . We write if is a proper initial subtree of . Recall the following notation from Definition 5.12 of the space : means that and are members of and is a subtree of . Given for some , denotes the set of all such that extends . We now begin setting up for the two possible cases before stating the theorem.
The Set-up for Theorem 7.2.** Let be given, and let be a finite valid subtree of . is allowed to have terminal nodes at different levels. In order to simplify notation in the proof, without loss of generality, we assume that is in . Let denote the set of immediate extensions in of the members of ; thus,**
[TABLE]
Note that is a level set of nodes of length . Let be a subset of containing and of size at least two. (If has only one member, then consists of one non-splitting node of the form for some , and the theorem in this section does not apply.) Suppose that is a level set of nodes in extending so that is a finite valid subtree of . Assume moreover that is a member of , so that the node in is extended by in . There are two possibilities:
-
- Case (a).
** contains a splitting node.**
-
- Case (b).
** contains a coding node.**
In both cases, define
[TABLE]
The next lemma shows that seemingly weaker properties suffice to guarantee that a level set is in .
Lemma 7.1**.**
Let be a level set in extending . Then if and only if is free in , is strongly similar to , and has no new pre-cliques over . Moreover, implies that has the Witnessing Property.
Proof.
The forward direction follows from the definition of . If , then there is a strong isomorphism, say . Then is a strong similarity map and moreover, takes to . Since extends and maps the new pre-cliques of over to the new pre-cliques of over , must have no new pre-cliques over . Note that is free in , since is valid in .
Now suppose that is as in the second part of the statement. Since is free in , is valid in . being strongly similar to implies that the strong similarity map takes to . Since has no new pre-cliques over , any new pre-cliques in over are already in and hence witnessed by coding nodes in along possibly with the coding node in (in Case (b)). If this is the case, then the coding node in along with those same coding nodes in witness the new pre-clique in over . Therefore, is a strong isomorphism. It follows that since has the Witnessing Property, so does . Also note that if moreover has the Strong Witnessing Property, then does as well. ∎
In the following, for a finite subtree of some , recall that denotes the set , the set of all nodes in of the maximum length, and denotes the set of all immediate successors of in . We now prove the analogue of the Halpern-Läuchli Theorem for strong coding trees.
Theorem 7.2**.**
Fix and a finite valid subtree of such that , for some . Let be a subtree of with and such that is valid in . Let be a subset of of size at least two such that is in . Let be a level set in end-extending with at least two members, one of which is the node such that is a finite valid subtree of .
Given any coloring , there is a strong coding tree such that is monochromatic on . If has a coding node, then the strong coding tree is, moreover, taken to be in , where is the integer for which there is a with .
Proof.
Let be given satisfying the hypotheses, and let be a coloring of the members of into two colors, . Fix the following notation: Let equal the number of nodes in , and enumerate the nodes in as so that is the critical node in . Let denote the integer such that is the node which is a sequence of [math]’s. Notice that can equal only if we are in Case (a) and the splitting node in is a sequence of [math]’s. In Case (b), let denote the set of all such that and let denote the set of all such that .
Let denote the collection of all such that there is a member of with nodes of length . In Case (a), since is valid in , it follows from Lemmas 6.9 and 6.10 that consists of those for which there is a splitting node of length extending and that is infinite. In Case (b), since contains a coding node, it follows from Lemma 6.14 that is exactly the set of all for which there is a coding node of length extending and that is infinite.
For each , let . Let denote the set of all sequences of [math]’s of finite length. Let and , the collection of all leftmost nodes in extending . Let . The following forcing notion adds many paths through , for each , and one path through . If , then will add one path through , but with many ordinals labeling this path. We allow this in order to simplify notation.
is the set of conditions such that is a function of the form
[TABLE]
where is a finite subset of , , for each , and the following hold:
Case (a). (i) is the splitting node extending of length ;
- (ii)
is free in .
Case (b). (i) is the coding node extending of length ;
- (ii)
For each , , and , the passing number of at is .
Given , the range of is defined as
[TABLE]
If also and , then we let denote . In both Cases (a) and (b), the partial ordering on is defined as follows: if and only if , , and the following hold:
- (i)
, and for each , and 2. (ii)
has no new pre-cliques over .
Since all conditions in have ranges which are free in , we shall say that * is valid over * to mean that (ii) holds.
The theorem will be proved in two main parts. In Part I, we check that is an atomless partial order and then prove the main Lemma 7.6. In Part II, we apply Lemma 7.6 to build the tree such that is monochromatic on .
Part I.****
Lemma 7.3**.**
* is an atomless partial ordering.*
Proof.
The order on is clearly reflexive and antisymmetric. Transitivity follows from the fact that the requirement (ii) in the definition of the partial order on is a transitive property. To see this, suppose that and . Then , , is valid over , and is valid over . Since is contained in which has no new pre-cliques over , it follows that has no new pre-cliques over . Since has no new pre-cliques over , it follows that has no new pre-cliques over . Therefore, is valid over , so .
Claim 1**.**
For each and , there are with such that and and are incompatible.
Proof.
Let and be given, and let denote and let . In Case (a), take and to be incomparable splitting nodes in extending to some lengths greater than . Such splitting nodes exist by Lemma 6.10, showing that strong coding trees are perfect. Let and . For each , let be the leftmost extension in of to length , and let be the leftmost extension of to length . Then and are members of . Since is free in , both and are free in and and have no new pre-cliques over , by Lemma 6.9. It follows that and are both valid over . Since neither of and extends the other, and are incompatible.
In Case (b), let be a splitting node in of length greater than extending . Let be minimal such that . Let extend , respectively, leftmost in . For each , let be the leftmost extension of in . By Lemma 6.14, there are and , , such that
- (1)
is a coding node; 2. (2)
is valid over ; 3. (3)
For each , if and only if the immediate extension of is .
Then and . Likewise by Lemma 6.14, there is a condition which extends such that . Since the coding nodes and are incomparable, and are incompatible conditions in . ∎
It follows from Claim 1 that is atomless. ∎
From now on, whenever ambiguity will not arise by doing so, for a condition , we will use the terminology critical node of to refer to , which is a splitting node in Case (a) and a coding node in Case (b). Let be a -name for the generic path through ; that is, . Note that for each , forces that . By Claim 1, it is dense to force a critical node in above any given level in , so forces that the set of levels of critical nodes in is infinite. Thus, given any generic filter for , is a cofinal path of critical nodes in . Let be a -name for the set of lengths of critical nodes in . Note that . Let be a -name for a non-principal ultrafilter on . For and , let be a -name for the -th generic branch through ; that is, and . Then for any ,
[TABLE]
For , we let denote the collection of all -element subsets of . We shall write sets in as vectors in strictly increasing order. For , we use the following abbreviation:
[TABLE]
Since the branch is unique, this abbreviation introduces no ambiguity. For any ,
[TABLE]
Using the abbreviations just defined, is a coloring on sets of nodes of the form whenever this is forced to be a member of . Given and a condition with , let
[TABLE]
We now set up to prove Lemma 7.6. For each , choose a condition such that
- (1)
. 2. (2)
. 3. (3)
There is an such that “** for many in ”.** 4. (4)
.
Properties (1) - (4) can be guaranteed as follows. Recall that enumerates and that is the critical node in . For each , define
[TABLE]
Then is a condition in with , and which implies (1) holds for any . The following fact will be used many times.
Claim 2**.**
Given , for any , the set of nodes is a member of .
Proof.
Suppose . Then is valid over , so has no new pre-cliques over . Since is a condition of , is free in and is strongly similar to . It follows from Lemma 7.1 that is in . ∎
Thus, (2) holds for any . Take an extension which forces to be the same value for many . Since is a forcing notion, there is a deciding a value for which forces that for many in . Then (3) holds for any . If satisfies (4), then let . Otherwise, take some which decides some such that , for some , and forces . Since forces “” and is defined in the ground model, this means that is a splitting node in Case (a) and a coding node in Case (b), and
[TABLE]
where denotes . If , let , and note that satisfies (1) - (4).
Otherwise, . In Case (a), let be defined as follows: Let and
[TABLE]
Since is a condition in , is free in . Furthermore, implies that has no new pre-cliques over . Therefore, leftmost extensions of have no new pre-cliques, so is free in . Therefore, is a condition in and . Thus, satisfies (1) - (3), and (4) holds by equation (51).
In Case (b), we construct as follows: As in Case (a), let . For each , define , and let . Then , so . Let denote and let . Let denote and note that end-extends , and is free in and has no new pre-cliques over . By Lemma 6.17, there is an end-extending to nodes in so that the following hold: is free in and has no new pre-cliques over ; furthermore, each node in has the same passing number at as it does at . Let be this set of nodes , where for each and with , we let be the node in extending . This defines a condition satisfying (1) - (4).
The rest of Part I follows by arguments in ****[14]**** for the case , with no modifications. It is included here for the reader’s convenience. We are assuming so that , by the Erdős-Rado Theorem (Theorem 3.9). Given two sets of ordinals we shall write if every member of is less than every member of . Let and , the sets of even and odd integers less than , respectively. Let denote the collection of all functions such that and are strictly increasing sequences and . Thus, each codes two strictly increasing sequences and , each of length . For , determines the pair of sequences of ordinals , both of which are members of . Denote these as and , respectively. To ease notation, let denote , denote , and let denote . Let denote the enumeration of in increasing order.
Define a coloring on into countably many colors as follows: Given and , to reduce the number of subscripts, letting denote and denote , define
[TABLE]
Let be the sequence , where is given some fixed ordering. Since the range of is countable, apply the Erdős-Rado Theorem to obtain a subset of cardinality which is homogeneous for . Take such that between each two members of there is a member of . Take subsets such that and each .
Lemma 7.4**.**
There are , , , and , , such that for all and each , , , , and .
Proof.
Let be the member in which is the identity function on . For any pair , there are such that and . Since , it follows that , , , and . Thus, define , , , to be , , , for any . ∎
Let denote the length of . Then all the nodes , , , also have length .
Lemma 7.5**.**
Given any , if and , then .
Proof.
Let be members of and suppose that for some . For each , let be the relation from among such that . Let be the member of such that for each and each , . Then there is a such that and . Since between any two members of there is a member of , there is a such that for each , and , and furthermore, for each , . Given that and for each , there are such that , , , and . Since , the pair is in the last sequence in . Since , also is in the last sequence in and . It follows that and . Hence, , and therefore must equal . ∎
For any and any , there is a such that . By homogeneity of and by the first sequence in the second line of equation (53), there is a strictly increasing sequence of members of such that for each , . For each , let denote . Then for each and each ,
[TABLE]
Let denote .
Lemma 7.6**.**
For any finite subset , the set of conditions is compatible. Moreover, is a member of which is below each , .
Proof.
For any , whenver and , then , by Lemma 7.5. It then follows from Lemma 7.4 that for each ,
[TABLE]
Thus, for each and each , for all ,
[TABLE]
Thus, is a function. Let . For each and , is defined, and it is exactly , for any such that . Thus, is a member of , and for each . ∎
The final lemma of Part I will be used in the next section.
Lemma 7.7**.**
If , , and , then is not a member of .
Proof.
Suppose toward a contradiction that . Then there is a such that . Let be such that . Since , it must be that . However, letting be any member of with , then , so Lemma 7.5 implies that , a contradiction. ∎
Part II.** In this last part of the proof, we build a strong coding tree valid in on which the coloring is homogeneous. Cases (a) and (b) must be handled separately.**
Part II Case (a).** Recall that enumerates the members of , which is a subset of . Let be the integer such that . Let be the strictly increasing enumeration of those such that the splitting node in extends . By induction on we will construct the following: The base case splits into two subcases depending on whether or . In the first case, we will find some which is valid in . In the second, we will find some which is valid in and such that takes color on . In general, given , we will use the forcing to find some which is valid in such that takes color on . Then we will apply Theorem 6.16 and Lemma 6.18 to find an extension which is valid in and continue the induction. Setting will yield to be a member of for which is homogeneous for , with color .**
First extend each node in to level as follows. The set end-extends , has no new pre-cliques over , and is free in . For each node in , let denote its leftmost extension in . Then the set
[TABLE]
end-extends , is free in , and has no new pre-cliques over , by Lemma 6.9. Thus, is free in , and satisfies the Witnessing Property so is valid in . If , apply Lemma 6.18 and Theorem 6.16 to extend above to construct a member which is valid in . In this case, note that is not , but rather end-extends .
If , then is a member of , by Lemma 6.18. In this case, we can simply let . Then takes color on , since is the only member of that set. Using Theorem 6.16, extend to a member which is valid in .
Assume and we have constructed , valid in , so that every member of is colored by . Fix some with valid in , and let . The nodes in will not be in the tree we are constructing; rather, we will extend the nodes in to construct .
We now start to construct a condition which will satisfy Lemma 7.8, below. Let denote the splitting node in and let . For each , let denote the set of those such that for some . For each , take a set of cardinality and label the members of as . Notice that each member of above extends some set , where each . Let denote the set of those such that the set is in . Then for each , . It follows from Lemma 7.6 that the set is compatible. The fact that is a condition in will be used to make the construction of very precise.
Let . For each and , define . Notice that for each and ,
[TABLE]
and
[TABLE]
For each and , there is at least one and some such that . Let be the leftmost extension of in of length . Define
[TABLE]
Since is valid in and , it follows that is free in . Since consists of along with leftmost extensions of nodes in , all of which are free, is free. Therefore, is a condition in .
Lemma 7.8**.**
For all , .
Proof.
Given , it follows from the definition of that , , and for each pair , . So it only remains to show that is valid over . It follows from Lemma 7.7 that ; so for each and , is the leftmost extension of . Since is in , is in . This implies that has no new pre-cliques over , and hence, none over . It follows that is valid over , by Lemma 6.9. Therefore, . ∎
Remark 7.9*.*
Notice that we did not prove that ; in fact that is generally false.
To construct , take an in which decides some in for which , for all . This is possible since for all , forces for many . By the same argument as in creating the conditions to satisfy (4) in Part I, we may assume that the nodes in the image of have length . Since forces for each , and since the coloring is defined in the ground model, it follows that for each . Extend the splitting node in to . For each and , extend to . Let
[TABLE]
and let . Let
[TABLE]
Then extends and has no new pre-cliques over , since . By Lemma 6.18, there is a which is valid in such that end-extends and in particular, . Notice that every with satisfies . This holds since for each such , the truncation is a member of . So there corresponds a sequence such that . Then , which has -color .
To finish the induction step, apply Lemma 6.18 and Theorem 6.16 to extend to some which is valid in . Note that every member of is colored by , since .
Let . Then for each , there corresponds a such that , and hence, . Thus, and satisfies the theorem. This concludes the proof of the theorem for Case (a).
Part II Case (b).** Let be the integer such that there is a with . Let denote . Since , it follows that . Let , and recall that this set has no new pre-cliques over . By Lemma 6.18 there is a set of nodes end-extending such that is a member of ; label this . Since is at the level of the coding node , is free in . Moreover, implies that satisfies the Strong Witnessing Property. Therefore, is valid in . Notice that is the only member of , and it has -color .**
Let enumerate the set of such that the coding node . Assume that and we have constructed valid in so that every member of is colored by . By Theorem 6.16, we may fix some which is valid in . Take some , and let denote . The nodes in will not be in the tree we are constructing; rather, we will construct so that extends . Let denote the coding node in and let . Recall that for , denotes the set of for which has passing number at . For each pair and , let be the set of nodes in such that has passing number at .
We now construct a condition similarly to, but not exactly as in, Case (a). For each , let be a subset of with the same size as . For each , label the nodes in as . Let denote the set of those such that the set is in . Notice that for each and , , and . Furthermore, for each and , there is an such that . Let . For each pair with , define .
Let and . For each pair , there is at least one and some such that . By Lemma 7.6, , for any for which . For each pair with , take to be the leftmost extension of in . For each pair with , let be the node which extends leftmost until length of the longest coding node in strictly below , and then takes the rightmost path to length . Note that has passing number , where is the number such that . By similar arguments to those in Lemma 6.17, the set has no new pre-cliques over for (recall, these all have the same range); moreover, any new pre-cliques in the set over (for any ) must occur among .
Define
[TABLE]
By the construction, is a member of .
Claim 3**.**
For each , .
Proof.
By construction, for all ; so it suffices to show that for each , has no new pre-cliques over .
Let be given. Then
[TABLE]
recalling that . By definition of , implies that is a member of . Thus, has no new pre-cliques over , by Lemma 7.1. Since end-extends , it follows that has no new pre-cliques over . Since the set has no new pre-cliques with over , it follows that . ∎
To construct , take an in which decides such that for all , using the same ideas as in the construction of the ’s. Let , and let . Since has no new pre-cliques over , it follows that has no new pre-cliques over . Apply Lemma 6.17 to extend the nodes in to a set so that each node in has the same passing number at as it does at , and such that has no new pre-cliques over . Then is a member of which is valid in .
To finish the proof of the theorem for Case (b), Define . Then , and for each , there is a such that , so .
This concludes the proof of the theorem. ∎
8. Ramsey Theorem for finite trees with the Strict Witnessing Property
The main theorem of this section is Theorem 8.3, which is an analogue of Milliken’s Theorem 3.5 for colorings of finite trees with the following strong version of the Witnessing Property.
Definition 8.1** (Strict Witnessing Property).**
A subtree of a strong coding tree satisfies the Strict Witnessing Property (SWP) if satisfies the Witnessing Property and the following hold:
- (1)
For each interval , has at most one new pre-clique of size at least two, or a singleton with some new pre-cliques in , but not both. 2. (2)
If is a new pre--clique of size at least three in , then every proper subset of has a new pre--clique in an interval , for some .
Lemma 8.2**.**
If has the Strict Witnessing Property and , then also has the Strict Witnessing Property.
Proof.
If and has the WP, then also has the WP by Lemma 5.18. Let be the strong isomorphism between them. Since has the SWP, each new pre-clique of size at least two in is the only new pre-clique occuring in that interval of , hence it is maximal in that interval. By (2) of Definition 8.1, each proper subset of a new pre-clique in a given interval of occurs as a maximal new pre-clique and is witnessed in some lower interval of . Since preserves maximal new pre-cliques, each new pre-clique of size at least two in is a maximal new pre-clique in , and is the only new pre-clique of in the interval in which it occurs. Thus, satisfies (2). Furthermore, for any , is a new singleton pre--clique in iff is a is a new singleton pre--clique in . Therefore, has the SWP. ∎
Given a finite tree with the SWP, we say that is a copy of if . The main theorem of this section, Theorem 8.3, will guarantee a Ramsey Theorem for colorings of copies of a finite tree with the SWP inside a strong coding tree.
Theorem 8.3**.**
Let be a strong coding tree and let be a finite subtree of satisfying the Strict Witnessing Property. Then for any coloring of the copies of in into finitely many colors, there is a strong coding subtree such that all copies of in have the same color.
Theorem 8.3 will be proved via four lemmas and an induction argument. The main difficulty is that Case (b) of Theorem 7.2 provides homogeneity for for some strong coding tree ; in particular, homogeneity only holds for level sets end-extending . The issue of new singleton pre--cliques will be handled similarly to how we handle the case when has a coding node. We need a strong coding tree in which every satisfying has the same color. This will be addressed by the following: Lemma 8.7 will build a fusion sequence to obtain an which is homogeneous on for each minimal level set extending such that . Lemma 8.8 will use a new forcing and arguments from the proof of Theorem 7.2 to obtain a strong coding tree in which every satisfying has the same color. The last two lemmas involve fusion to construct a strong coding subtree which is homogeneous for the induced color on copies of . The theorem then follows by induction and an application of Ramsey’s Theorem.
The following basic assumption, similar to but stricter than Case (b) of Theorem 7.2, will be used in much of this section.
Assumption 8.4**.**
Let and be fixed non-empty finite valid subtrees of a strong coding tree such that
- (1)
and both satisfy the Strict Witnessing Property; and 2. (2)
is a level set containing both a coding node and the sequence .
Let denote , and let be the subset of which is extended to . Let be the number of nodes in . List the nodes in as and the nodes of as so that each extends and is the coding node in . For , let denote the set of such that has passing number at . If has a new pre-clique over , let denote the set of such that is the new pre-clique in over . Note that and must be among the coding nodes in witnessing this new pre-cliqe.
For any such that , let be defined as in equation (45) of Section 7. Thus, is the collection of level sets such that end-extends and , (equivalently, ), and is valid in . Recall that, since contains a coding node, implicitly includes that the strong isomorphism from to preserves passing numbers between and . We hold to the convention that given such that , the nodes in are labeled , , where each . In particular, is the coding node in .
In this section, we want to consider all copies of extending . To that end let
[TABLE]
Now we define the notion of minimal pre-extension, which will be used in the next lemma. For , define to be where is maximal such that is a splitting node in .
Definition 8.5** (Minimal pre-extension of to a copy of ).**
Given , , and as in Assumption 8.4, for a level set extending such that for each and such that is the length of some coding node in , we say that is a minimal pre-extension in of to a copy of if the following hold:
- (i)
the passing number of at is . 2. (ii)
satisfies the Strict Witnessing Property, where
[TABLE] 3. (iii)
If has a new pre-clique over , then has only one new maximal pre-clique over which is exactly , for some .
Notice that for (ii) to hold, must have no new pre-cliques over . Let denote the set of minimal pre-extenions in of to a copy of . When and are clear, we call members of simply minimal pre-extensions. Minimal pre-extensions are exactly the level sets in which can be extended to a member of .
For , define
[TABLE]
Then
[TABLE]
Definition 8.6**.**
A coloring on is end-homogeneous if for each minimal pre-extension , every member of has the same color.
The following lemma is a slightly modified version of Lemma 6.7 in ****[14]****.
Lemma 8.7** (End-homogeneity).**
Assume 8.4, and let be the integer such that . Then for any coloring of into two colors, there is a such that is end-homogeneous on .
Proof.
Let enumerate those integers greater than such that there is a minimal pre-extension of to a copy of from among the maximal nodes in . Notice that for each , contains a coding node, although there can be members of contained in not containing that coding node.
Let denote . Suppose that and is given so that the coloring is homogeneous on for each minimal pre-extension in . Let denote . Enumerate the minimal pre-extensions contained in as . By induction on , we will obtain such that end-extends and is homogeneous for each minimal pre-extension in .
Let denote the length of the nodes in , and let . Suppose and we have strong coding trees such that for each , and is homogeneous on . Note that is contained in , though does not have to be the length of any node in . The point is that the set of nodes in end-extending is again a minimal pre-extension. Extend the nodes in to some , and let denote the length of the nodes in . Note that has no new pre-cliques over . Let consist of the nodes in along with the leftmost extensions of the nodes in to the length in .
Let be a strong coding tree in such that extends . Such an exists by Lemmas 6.9 and 6.14 and Theorem 6.16. Apply Case (b) of Theorem 7.2 to obtain a strong coding tree such that the coloring on is homogeneous. At the end of this process, let . Note that for each minimal pre-extension , there is a unique such that extends , since each node in is a unique extension of one node in , and hence is homogeneous.
Having chosen each as above, let . Then is a strong coding tree which is a member of , and for each minimal pre-extension in , is homogeneous for . Therefore, is end-homogeneous on . ∎
The next lemma provides a means for uniformizing the end-homogeneity from the previous lemma to obtain one color for all members of . The arguments are often similar to those of Case (a) of Theorem 7.2, but sufficiently different to warrant a proof.
Lemma 8.8**.**
Assume 8.4, and suppose that is a finite strong coding tree valid in and is a subtree of such that . Suppose that is end-homogeneous on . Then there is an such that is homogeneous on .
Proof.
Given any , recall that denotes the set of all minimal pre-extensions of to a copy of in . We are under Assumption 8.4. Let be such that , and note that is a member of . Each member of will be enumerated as so that for each . Recall notation (68) of .
Since satisfies the SWP, is in . Let denote . Since is contained in an interval of above the interval containing , each node of extends exactly one node of . For any , define to consist of those such that
[TABLE]
By assumption, the coloring on is end-homogeneous. This induces a coloring on by defining, for , to be the -color that all members of have. This further induces a coloring on as follows: For , for the such that , let . Given , the extensions of the such that to the level of next coding node in , with passing number at that coding node, recovers . Thus, is well-defined.
Let denote the collection of all such that there is a member of with maximal nodes of length . For each , let . Let be the collection of all leftmost nodes in extending . Let . The following forcing notion will add many paths through each , and one path through , though with many labels. The present case is handled similarly to Case (a) of Theorem 7.2.
Let be the set of conditions such that is a function of the form
[TABLE]
where is a finite subset of , , for each , and
- (i)
There is some coding node in such that , and for each . 2. (ii)
- ()
If , then for some . 2.
If , then and has immediate extension [math] in .
It follows from the definition that for , is free in : leftmost extensions add no new pre-cliques. Furthermore, all nodes in are contained in the -th interval of . We point out that may or may not contain a coding node. If it does, then that coding node must appear as for some ; this may or may not equal .
The partial ordering on is defined as follows: if and only if , ,
- (i)
for each ; and 2. (ii)
has no new pre-cliques over .
By arguments similar to those in the proof of Theorem 7.2, is an atomless partial order, and any condition in can be extended by two incompatible conditions of length greater than any given .
Let be a -name for a non-principal ultrafilter on . For each and , let and , a -name for the -th generic branch through . For any condition , for , forces that . For , forces that . For ,
[TABLE]
For , we shall use the abbreviation
[TABLE]
which is exactly .
Similarly to the proof of Theorem 7.2, we will find infinite pairwise disjoint sets , , such that , and conditions , , such that these conditions are pairwise compatible, have the same images in , and force the same color for for many levels in . Moreover, the nodes obtained from the application of the Erdős-Rado Theorem for this setting will extend and form a member of . The arguments are quite similar to those in Theorem 7.2, so we only fill in the details for arguments which are necessarily different.
Part I**.** Given and , let
[TABLE]
For each , choose a condition such that
- (1)
. 2. (2)
. 3. (3)
There is an such that “ for many in .” 4. (4)
.
Properties (1) - (4) can be guaranteed as follows. For each , let denote the member of which extends . For each , let
[TABLE]
Then is a condition in and , so (1) holds for every . Further, is a member of since it equals . For any , (ii) of the definition of the partial ordering on guarantees that has no new pre-cliques over , and hence is also a member of . Thus, (2) holds for any . Take an extension which forces to be the same value for many , and which decides that value, denoted by . Then any satisfies (3).
Take which decides , for some such that . If , let . Otherwise, let and define as follows: For each , for , let . For each , for , let . Then is a condition in , and , so it satisfies (1) - (3). Furthermore, , so satisfies (4).
We are assuming . Let and , the sets of even and odd integers less than , respectively. Let denote the collection of all functions such that and are strictly increasing sequences and . For , determines the pair of sequences of ordinals , both of which are members of . Denote these as and , respectively. Let denote , denote , and let denote . Let denote the enumeration of in increasing order. Define a coloring on into countably many colors as follows: Given and , to reduce the number of subscripts, letting denote and denote , define
[TABLE]
Let be the sequence , where is given some fixed ordering. By the Erdős-Rado Theorem, there is a subset of cardinality which is homogeneous for .
Take such that between each two members of there is a member of . Then take subsets such that and each . The following four lemmas are direct analogues of Lemmas 7.4, 7.5, 7.6, and 7.7. Their proofs follow by simply making the correct notational substitutions, and so are omitted.
Lemma 8.9**.**
There are , , and , , such that for all and each , , , and .
Let . Then for each , the nodes , , have length ; and for each , the nodes , , have length in the interval , where is the index of the coding node in of length .
Lemma 8.10**.**
Given any , if and , then .
For any and any , there is a such that . By homogeneity of , there is a strictly increasing sequence of members of such that for each , . For each , let denote . Then for each and each ,
[TABLE]
Lemma 8.11**.**
For any finite subset , the set of conditions is compatible. Moreover, is a member of which is below each , .
Lemma 8.12**.**
If , , and , then is not a member of .
Part II**.** Let denote the set of indices for which there is an with for some of . For , let . For , let be the leftmost extension of in . Note that has no new pre-cliques over , since leftmost extensions of splitting nodes with no new pre-cliques add no new pre-cliques; this follows from the WP of . Extend each node in to its leftmost extension in and label that extension . Let
[TABLE]
Then extends , and has no new pre-cliques over . Let be the integer such that . Take such that the nodes in extend the nodes in . This is possible by Lemma 6.18.
Suppose that , and for all , we have chosen such that implies , and is constant of value on . Take , and let denote . Notice that each member of extends the nodes in . By the definition of , the set of nodes contains a coding node. For each , let denote the set of all which have immediate extension [math] in . Let be such that . For each , let denote the set of all splitting predecessors of nodes in which split in the interval of . For each , let be a subset of of size , and enumerate the members of as , . Let denote the set of such that the set has no new pre-cliques over . Thus, the collection of sets , , is exactly the collection of sets of nodes in the interval of which are members of . Moreover, for and ,
[TABLE]
To complete the construction of the desired for which for all , let . For each pair with , there is at least one and some such that . As in Case (a) of Theorem 7.2, for any other for which , it follows that and . If , let be the leftmost extension of in . If , let be the leftmost extension of to a splitting node in in the interval . Such a splitting node must exist, because the coding node in must have no pre-cliques with (since ). Thus, by Lemma 6.9 the leftmost extension of in to length has no pre-cliques with the coding node in , so it has a splitting predecessor in the interval . Define
[TABLE]
By a proof similar to that of Claim 3, it follows that , for each .
Take an in which decides some in , and such that for all , . Without loss of generality, we may assume that the maximal nodes in have length . If is a coding node for some and , then let denote ; otherwise, let denote the leftmost extension in of the coding node in to length . Let denote the coding node in .
Let denote those nodes in which have length equal to and are not in . For each , let denote the leftmost extension of in to length . Let denote the set of all nodes in which are not in . For each , let denote the splitting predecessor of the leftmost extension of in to length . This splitting node exists in for the following reason: If is a splitting predecessor of a node in , then has no pre--clique with , so the leftmost extension of to any length has no pre--cliques with any extension of . In particular, the set has no new pre-cliques over .
Let
[TABLE]
Let denote all extensions in of the members of to length . Note that , which end-extends . Let denote the index such that the maximal coding node in below is . Note that has no new pre-cliques over ; furthermore, the tree induced by is strongly similar to , except that the coding node might possibly be in the wrong place. Using Lemma 6.18, there is an with extending . Then every member of has the same color , by the choice of , since each minimal pre-extension in extends some member of which extends members in and so have -color .
Let . Then is a strong coding tree in . Given any , there is some such that extends . Since is in for some , has color . Thus, has -color . ∎
Lemma 8.13**.**
Assume 8.4. Then there is a strong coding subtree such that for each copy of in , is homogeneous on .
Proof.
Let be the sequence of integers such that contains a copy of which is valid in and such that . Let , , and .
Suppose , and and are given satisfying that for each copy of valid in with , is homogeneous on . Let be in . Enumerate all copies of which are valid in and have as . Apply Lemma 8.7 to obtain which is end-homogeneous for . Then apply Lemma 8.8 to obtain such that is homogeneous for . Given for , apply Lemma 8.7 to obtain a which is end-homogeneous for . Then apply Lemma 8.8 to obtain such that is homogeneous for . Let .
Let . Then and has the same color on for each copy of which is valid in . Finally, take such that for each , is valid in . Then each copy of in is valid in . Hence, is homogeneous on , for each copy of in . ∎
For the setting of Case (a) in Theorem 7.2, a similar lemma holds. The proof is omitted, as it is almost identical, making the obvious changes.
Lemma 8.14**.**
Let be a member of , let be as in Case (a) of Theorem 7.2, and let . Then there is a strong coding tree such that for each with , is homogeneous for .
Finally, for the case of , a new phenomenon appears: new singleton pre--cliques for must be dealt with. The steps are very similar to the case when the level set contains a coding node.
Case (b*′***). **Assume . Let and be fixed non-empty finite valid subtrees of a strong coding tree such that
- (1)
and both satisfy the Strict Witnessing Property; and 2. (2)
is a level set containing exactly one new singleton pre--clique, for some .
Given a copy of in a strong -coding tree , let denote the set of all contained in which end-extend and such that .
Lemma 8.15** (Case (b′)).
Given and as above, there is a strong coding subtree such that for each copy of in , is homogeneous on .
Proof.
The proof follows from simple modifications of the proofs of Case (b) in Theorem 7.2 and Lemmas 8.7, 8.8, and 8.13. Just replace the coding node in Case (b) with the new singleton pre--clique in Case (b*′*). Splitting predecessors work as before. ∎
Proof of Theorem 8.3. The proof is by induction on the number of critical nodes, where in this proof, by critical node we mean a coding node, a splitting node, or a new singleton pre--clique for some . Suppose first that consists of a single node. Then consists of a single splitting node in on the leftmost branch of , so the strongly isomorphic copies of are exactly the leftmost splitting nodes in . Recall that denotes the set of all finite length sequences of [math]’s. Thus, the copies of in are exactly those splitting nodes in which are members of . Let be any finite coloring on the splitting nodes in the leftmost branch of . By Ramsey’s Theorem, infinitely many splitting nodes in the leftmost branch of must have the same color. By the Extension Lemmas in Section 6, there is a subtree in which all splitting nodes in the leftmost branch of have the same color.
Now assume that and the theorem holds for each finite tree with or less critical nodes such that satisfies the SWP and contains a node which is a sequence of all [math]’s. Let be a finite tree with critical nodes containing a maximal node in , and suppose maps the copies of in into finitely many colors. Let denote the maximal critical node in and let . Apply Lemma 8.13, 8.14 or 8.15, as appropriate, to obtain so that for each copy of in , the set is homogeneous for . Define on the copies of in by letting be the value of on for any . By the induction hypothesis, there is an such that is homogeneous on all copies of in . It follows that is homogeneous on the copies of in .
To finish, let be any finite tree satisfying the SWP. If does not contain a member of , let denote the longest length of nodes in , and let be the tree induced by . Otherwise, let . Let be a finite coloring of the copies of in . To each copy of in there corresponds a unique copy of in , denoted : If , then ; if , then is with the leftmost node in removed. For each copy of , define . Take homogeneous for . Then is homogeneous for on the copies of in .
9. Main Ramsey Theorem for strong -coding trees
The third phase of this article takes place in this and the next section. Subsection 9.1 develops the notion of incremental trees, which sets the stage for envelopes for incremental antichains. These envelopes transform finite antichains of coding nodes to finite trees with the Strict Witnessing Property, enabling applications of Theorem 8.3 to deduce Theorem 9.9. This theorem takes a finite coloring of all antichains of coding nodes strictly similar to a given finite antichain of coding nodes and finds a strong coding tree in which the coloring has one color. After showing in Lemma 10.1 that any strong coding tree contains an antichain of coding nodes coding a Henson graph, we will apply Theorem 9.9 to prove that each Henson graph has finite big Ramsey degrees, thus obtaining the main result of this paper in Theorem 10.2.
9.1. Incremental trees
The new notions of incremental new pre-cliques and incrementally witnessed pre-cliques, and incremental trees are defined now. The main lemma of this subsection, Lemma 9.3, shows that given a strong coding tree , there is an incremental strong coding subtree and a set of coding nodes disjoint from such that all pre-cliques in are incrementally witnessed by coding nodes in . This sets the stage for the development of envelopes with the Strict Witnessing Property in the next subsection.
Definition 9.1** (Incremental Pre-Cliques).**
Let be a subtree of , and let list in increasing order the minimal lengths of new pre-cliques in , except for singleton new pre--cliques, where or . We say that has incremental new pre-cliques, or simply is incremental, if letting
[TABLE]
the following hold for each :
- (1)
is a new pre--clique for some , and no proper subset of is a new pre--clique for any ; 2. (2)
If and has more than two members, then for each proper subset of size at least , for some , and is also a pre--clique; 3. (3)
If and has at least two members, then for each proper subset , for some , and is also a pre--clique; 4. (4)
If , then there are such that for each , is a pre--clique. Furthermore, for some , .
A tree is called an incremental strong coding tree if is incremental and moreover, the node in (4) is a coding node in .
Note that every subtree of an incremental strong coding tree is incremental, but a strong coding subtree of an incremental strong coding tree need not be an incremental strong coding tree. Note also that in (4), the pre--cliques for at the levels through are not new, but they build up to the new pre--clique in the interval . This redundancy will actually make the definition of the envelopes simpler.
Definition 9.2** (Incrementally Witnessed Pre-Cliques).**
Let be such that is incremental and . We say that the pre-cliques in are incrementally witnessed by a set of witnessing coding nodes if the following hold. Given that is the increasing enumeration of the minimal lengths of new pre-cliques in , for each the following hold:
- (1)
for some . 2. (2)
If is a new pre--clique of size at least two, where , then there exist coding nodes in such that, letting denote , the set of all these witnessing coding nodes,
- (a)
The set of nodes forms a pre--clique which witnesses the pre--clique in . 2. (b)
The nodes in do not form pre-cliques with any nodes in where denotes the set of nodes in which end-extend . 3. (c)
If forms a pre-clique, then must be contained in .
Recalling that denotes , where is least such that , we have
- (d)
. 2. (e)
If , then .
For , in the terminology of [14], (c) says that the only nodes in with which has parallel ’s (pre--cliques) are in .
In what follows, we shall say that a strong coding tree such that is valid in if for each , is valid in . Since is a strong coding tree, this is equivalent to being free in for each .
Lemma 9.3**.**
Let be a strong coding tree. Then there is an incremental strong coding tree and a set of coding nodes such that each new pre-clique in is incrementally witnessed in by coding nodes in .
Proof.
Recall that for any tree , the sequence denotes the indices such that ; that is, the -th critical node in is the -th coding node in .
If , fix some which is valid in . Then has exactly one coding node, , and it has ghost coding node , which is the shortest splitting node in . There are no pre-cliques in .
For and , or for and , proceed as follows: If , let consist of the stem of , that is . Suppose that we have chosen valid in and so that is incremental and each new pre-clique in is incrementally witnessed by some coding nodes in . Take some such that is valid in . Let .
Let enumerate those subsets of which have new pre-cliques over so that for each pair , if is a new pre--clique and is a new pre--clique, then
- (1)
; 2. (2)
If , then .
Note that (1) implies that, in the case that , for each , all new pre--cliques are enumerated before any new pre--clique is enumerated. Furthermore, every new pre-clique in over is enumerated in whether or not it is maximal. By (2), all new pre--cliques composed of two nodes are listed before any new pre--clique consisting of three nodes, etc. For each , let .
By properties (1) and (2), must be a pre--clique consisting of two nodes. The construction process in this case is similar to the construction above for when . By Lemma 6.10, there is a splitting node such that is a sequence of [math]’s and . Extend all nodes in leftmost in to the length , and call this set of nodes . Apply Lemma 6.14 to obtain end-extending so that the following hold: The node in extending is a coding node, call it ; the two nodes in extending the nodes in both have passing number at ; all other nodes in are leftmost extensions of the nodes in ; and the only new pre-clique in is the nodes in extending . Let .
Given and , let be the set of those nodes in which extend the nodes in . Let be such that is a new pre--clique. Applying Lemma 6.10 times, obtain splitting nodes , , in which are sequences of [math] such that . Extend all nodes , , leftmost in to length ; and extend the nodes in leftmost in to length and denote this set of nodes as . By Lemma 6.9, this adds no new pre-cliques over . Next apply Lemma 6.14 times to obtain end-extending and coding nodes , , such that letting be those nodes in extending nodes in , the following hold:
- (1)
; 2. (2)
The nodes in all have length ; 3. (3)
For each , all nodes in have passing number at . 4. (4)
All nodes in are leftmost extensions of nodes in . 5. (5)
The only new pre-clique in above is the set of nodes in .
Let .
After has been constructed, take some such that end-extends , by Lemma 6.18. Let .
To finish, let and . Then , is incremental, and the pre-cliques in are incrementally witnessed by coding nodes in . ∎
9.2. Ramsey theorem for strict similarity types
The main Ramsey theorem for strong coding trees is Theorem 9.9: Given a finite coloring of all strictly similar copies (Definition 9.4) of a fixed finite antichain in an incremental strong coding tree, there is a subtree which is again a strong coding tree in which all strictly similar copies of the antichain have the same color. Such antichains will have envelopes which have the Strict Witnessing Property. Moreover, all envelopes of a fixed incremental antichain of coding nodes will be strongly isomorphic to each other. This will allow for an application of Theorem 8.3 to obtain the same color for all copies of a given envelope, in some subtree in . From this, we will deduce Theorem 9.9.
Recall that a set of nodes is an antichain if no node in extends any other node in . In what follows, by antichain, we mean an antichain of coding nodes. If is an antichain, then the tree induced by is the set of nodes
[TABLE]
We say that an antichain satisfies the Witnessing Property (Strict Witnessing Property) if and only if the tree it induces satisfies the Witnessing Property (Strict Witnessing Property).
Fix, for the rest of this section, an incremental strong coding tree , as in Lemma 9.3. Notice that any strong coding subtree of will also be incremental. Furthermore, any antichain in must be incremental.
Definition 9.4** (Strict similarity type).**
Suppose is a finite antichain of coding nodes. Enumerate the nodes of in increasing order of length as (excluding, as usual, new singleton pre--cliques). Enumerate all nodes in as in order of increasing length. Thus, each is either a splitting node in or else a coding node in . List the minimal levels of new pre-cliques in in increasing order as . For each , let denote the set of those such that is the new pre-clique in . The sequence
[TABLE]
is the strict similarity sequence of .
Let be another finite antichain in , and let
[TABLE]
be its strict similarity sequence. We say that and have the same strict similarity type or are strictly similar, and write , if
- (1)
The tree induced by is strongly isomorphic to the tree induced by , so in particular, ; 2. (2)
; 3. (3)
For each , ; and 4. (4)
The function , defined by and , is an order preserving bijection between these two linearly ordered sets of natural numbers.
Define
[TABLE]
Note that if , then the map defined by , for each , induces the strong similarity map from the tree induced by onto the tree induced by . Then , for each . Further, by (3) and (4) of Definition 9.4, this map preserves the order in which new pre-cliques appear, relative to all other new pre-cliques in and and the nodes in and .
The following notion of envelope is defined in terms of structure without regard to an ambient strong coding tree. Given a fixed incremental strong coding tree , in any given strong coding subtree , there will certainly be finite subtrees of which have no envelope in . The point of Lemma 9.3 is that there will be a strong coding subtree along with a set of witnessing coding nodes so that each finite antichain in has an envelope consisting of nodes from . Thus, envelopes of antichains in will exist in . Moreover, must be incremental, since .
Definition 9.5** (Envelopes).**
Let be a finite incremental antichain of coding nodes. An envelope of , denoted , consists of along with a set of coding nodes such that satisfies Definition 9.2.
Thus, all new pre-cliques in an envelope are incrementally witnessed by coding nodes in . The set is called the set of witnessing coding nodes in the envelope. The next fact follows immediately from the definitions.
Fact 9.6**.**
Let be any antichain in an incremental strong coding tree. Then any envelope of has incrementally witnessed pre-cliques, which implies that has the Strict Witnessing Property.
Lemma 9.7**.**
Let and be strictly similar incremental antichains of coding nodes. Then any envelope of is strongly isomorphic to any envelope of , and both envelopes have the Strict Witnessing Property.
Proof.
Let and be the enumerations of and in order of increasing length, and let
[TABLE]
and
[TABLE]
be their strict similarity sequences, respectively. Let and be any envelopes of and , respectively. For each , let be such that is a new pre--clique. Then the members of may be labeled as with the property that for each , given the least such that , we have . This follows from Definition 9.2. Since and have the same strict similarity type, it follows that for each , is also a new pre--clique. Furthermore, , where for each , given the least such that , we have that . Thus, and both have the same size, label it .
Let , and let and be the enumerations of and in order of increasing length, respectively. For each , let be the index in such that and . For , let denote the tree induced by restricted to those nodes of length less than or equal to ; precisely, , , and . Define similarly.
We prove that by induction on . If , then and , so follows from . Suppose now that and that, letting , the induction hypothesis gives that for the maximal such that and . Let be the least integer below such that . Then and the only nodes in in the interval are . Likewise, the only nodes in in the interval are .
By the induction hypothesis, there is a strong isomorphism . Extend it to a strong isomorphism , where as follows: Define on . For each , let and . Recall that the nodes form a pre--clique and only have mutual pre-cliques with nodes in , witnessing this set, and no other members of . Likewise, for and . Thus, from to is a strict similarity map, where is the index such that . If , then and . Since these sets have no new pre-cliques and are strictly similar, the map , , is a strong isomorphism. Thus, we have constructed a strong isomorphism . It follows from the definitions that envelopes satisfy the Strict Witnessing Property. ∎
Lemma 9.8**.**
Suppose is a finite antichain of coding nodes and is an envelope of in . Enumerate the nodes in and in order of increasing length as and , respectively. Given any with , let , where enumerates the nodes in in order of increasing length and for each , is the index such that . Then is strictly similar to .
Proof.
Recall that has incrementally witnessed new pre-cliques and implies that also has this property, and hence has the SWP. Let be the injective map defined via , , and let denote , the image of . Then is a subset of which we claim is strictly similar to .
Since and each have incrementally witnessed new pre-cliques, the strong similarity map satisfies that for each , the indices of the new pre-cliques at level of the -th coding node are the same:
[TABLE]
Since is the restriction of to , also takes each new pre-clique in to the corresponding new pre-clique in , with the same set of indices. Thus, witnesses that is strictly similar to . ∎
Theorem 9.9** (Ramsey Theorem for Strict Similarity Types).**
Let be a finite antichain of coding nodes in an incremental strong coding tree , and suppose colors all subsets of which are strictly similar to into finitely many colors. Then there is an incremental strong coding tree such that all subsets of strictly similar to have the same color.
Proof.
First, note that there is an envelope of a copy of in : By Lemma 9.3, there is an incremental strong coding tree and a set of coding nodes such that each which is strictly similar to has an envelope in by adding nodes from . Since is strongly isomorphic to , there is subset of which is strictly similar to . Let be any envelope of in , using witnessing coding nodes from .
By Lemma 9.7, all envelopes of copies of are strongly isomorphic and have the SWP. For each , define , where is the subset of provided by Lemma 9.8. The set is strictly similar to , so the coloring is well-defined. By Theorem 8.3, there is a strong coding tree such that is monochromatic on all strongly isomorphic copies of in . Lemma 9.3 implies there is an incremental strong coding tree and a set of coding nodes such that each which is strictly similar to has an envelope in , so that . Therefore, takes only one color on all strictly similar copies of in . ∎
10. The Henson graphs have finite big Ramsey degrees
From the results in previous sections, we now prove the main theorem of this paper, Theorem 10.2. This result follows from Ramsey Theorem 9.9 for strict similarity types along with Lemma 10.1 below.
For a strong coding tree , let be the reduct of . Then is simply the tree structure of , disregarding the difference between coding nodes and non-coding nodes. We say that two trees and are strongly similar trees if they satisfy Definition 3.1 in [52]. This is the same as modifying Definition 5.3 by deleting (6) and changing (7) to apply to passing numbers of all nodes in the trees. By saying that two finite trees are strongly similar trees, we are implicitly assuming that their extensions to their immediate successors of their maximal nodes are still strongly similar. Thus, strong similarity of finite trees implies passing numbers of their immediate extensions are preserved. Given an antichain of coding nodes from a strong coding tree, let denote the set of all lengths of nodes such that is not the splitting predecessor of any coding node in . Define
[TABLE]
Then is a tree.
Lemma 10.1**.**
Let be a strong coding tree. Then there is an infinite antichain of coding nodes which code in the same way as : , for all . Moreover, and are strongly similar as trees.
Proof.
We will construct a subtree such that the set of coding nodes in form an antichain satisfying the lemma. Then, since implies , letting be the strong similarity map between and , the image of on the coding nodes of will yield an antichain of coding nodes satisfying the lemma.
We will construct so that for each , the node of length which is going to be extended to the next coding node will extend to a splitting node in of length smaller than that of any other splitting node in the -st interval of . Above that splitting node, the splitting will be regular in the interval until the next coding node. Recall that for each , has either a coding node or else a splitting node of length . To avoid some superscripts, let and . Let be the index such that , so that equals . The set of nodes in of length shall be indexed as . Recall that is the index such that the -th critical node of is the -th coding node of .
We define inductively on finite trees with coding nodes, , and strong similarity maps of the trees , where . Recall that the node is the ghost coding node in . Define . The node splits in , so the node will split in . Suppose that and we have constructed satisfying the lemma. By the induction hypothesis, there is a strong similarity map of the trees . For , let denote .
Let denote the node in which extends to the coding node . Let be a splitting node in extending . Let and extend all nodes , , leftmost to length and label these . Extend leftmost to length and label it . Let and let
[TABLE]
Apply Lemma 6.15 to obtain a coding node extending and nodes , , so that, letting and
[TABLE]
and for , defining , where is the -th splitting node in , the following hold: satisfies the Witnessing Property and is strongly similar as a tree to . Thus, the coding nodes in code exactly the same graph as the coding nodes in .
Let . Then the set of coding nodes in forms an antichain of maximal nodes in . Further, the tree generated by the the meet closure of the set is exactly , and and are strongly similar as trees. By the construction, for each pair , ; hence they code in the same order.
To finish, let be the strong isomorphism from to . Letting be the -image of , we see that is an antichain of coding nodes in such that and are strongly similar trees, and hence is strongly similar as a tree to . Thus, the antichain of coding nodes codes and satisfies the lemma. ∎
Recall that the Henson graph is, up to isomorphism, the homogeneous -clique-free graph on countably many vertices which is universal for all -clique-free graphs on countably many vertices.
Main Theorem 10.2**.**
For each , the Henson graph has finite big Ramsey degrees.
Proof.
Fix and let be a finite -free graph. Suppose colors of all the copies of in into finitely many colors. By Example 5.1, there is a strong coding tree such that the coding nodes in code a . Let denote the set of all antichains of coding nodes of which code a copy of . For each , let , where is the copy of coded by the coding nodes in . Then is a finite coloring on .
Let be the number of different strict similarity types of incremental antichains of coding nodes in of coding , and let be a set of one representative from each of these strict similarity types. Successively apply Theorem 9.9 to obtain incremental strong coding trees so that for each , is takes only one color on the set of incremental antichains of coding nodes such that is strictly similar to . Let .
By Lemma 10.1 there is an antichain of coding nodes which codes in the same way as . Every set of coding nodes in coding is automatically incremental, since is incremental. Therefore, every copy of in the copy of coded by the coding nodes in is coded by an incremental antichain of coding nodes. Thus, the number of strict similarity types of incremental antichains in coding provides an upper bound for the big Ramsey degree of in . ∎
Thus, each Henson graph has finite big Ramsey degrees. Moreover, given a finite -clique-free graph, the big Ramsey degree is bounded by the number of strict similarity types of incremental antichains coding copies of in .
11. Future Directions
This article developed a unified approach to proving upper bounds for big Ramsey degrees of all Henson graphs. The main phases of the proof were as follows: I. Find the correct structures to code and prove Extension Lemmas. II. Prove an analogue of Milliken’s Theorem for finite trees with certain structure. In the case of the Henson graphs, this is the Strict Witnessing Property. III. Find a means for turning finite antichains into finite trees with the Strict Witnessing Property so as to deduce a Ramsey Theorem for finite antichains from the previous Milliken-style theorem. This general approach should apply to a large class of ultrahomogeneous structures with forbidden configurations. It will be interesting to see where the dividing line is between those structures for which this methodology works and those for which it does not. The author conjectures that similar approaches will work for forbidden configurations which are irreducible in the sense of [43] and [44].
Although we have not yet proved the lower bounds to obtain the precise big Ramsey degrees , we conjecture that they will be exactly the number of strict similarity types of incremental antichains coding . We further conjecture that once found, the lower bounds will satisfy the conditions needed for Zucker’s work in [57]. If so, then each Henson graph would admit a big Ramsey structure and any big Ramsey flow will be a universal completion flow, and any two universal completion flows will be universal. We mention some bounds on big Ramsey degrees, found by computing the number of distinct strict similarity types of incremental antichains of coding nodes. Let denote two vertices with no edge between them. was proved by Sauer in [51]. This is in fact the number of strict similarity types of two coding nodes coding an edge in . The number of strict similarity types of incremental antichains coding a non-edge in is seven, so
[TABLE]
The number of strict similarity types of incremental antichains coding an edge in is 44, so
[TABLE]
The number of strict similarity types of incremental antichains coding a non-edge in is quite large. These numbers grow quickly as more pre-cliques are allowed. Since any copy of can be enumerated and coded by a strong coding tree, which wlog can be assumed to be incremental, it seems that these strict similarity types should persist.
We point out that by a compactness argument, one can obtain finite versions of the two main Ramsey theorems in this article. In particular, the finite version of Theorem 9.9 may well produce better bounds for the sizes of finite -free graphs instantiating that the Fraïssé class has the Ramsey property.
Curiously, the methodology in this paper and [14] is also having impact on Fraïssé structures without forbidden configurations. In [10], the author recently developed trees with coding nodes to code copies of the Rado graph and used forcing arguments similar to, but much simpler than, those in Section 7 to answer a question of [34] regarding infinite dimensional Ramsey theory of copies of the Rado graph. These methods work also for the rationals, and ongoing work is to discover all aspects of Ramsey and anti-Ramsey theorems for colorings of definable sets of spaces of such Fraïssé structures, the aim being to extend theorems of Galvin-Prikry in [25] and Ellentuck in [21] to a wide collection of Fraïssé classes. Lastly, modifications and generalizations of this approach seem likely to produce a general theorem for big Ramsey degrees for a large collection of relational Fraïssé structures without forbidden configurations.
11.1. Updates: May, 2022
Since the posting of the first version of this paper on the arxiv in January 2019, much progress has been made on big Ramsey degrees and related Ramsey theory of infinite structures. The author’s paper [11], which will appear in the Proceedings of the 2022 International Congress of Mathematicians, provides an overview of current knowledge of big Ramsey degrees of countable homogeneous structures. Here, we briefly mention recent work which has been directly influenced by this paper and its predecessor [14], which found upper bounds for big Ramsey degress of the triangle-free Henson graph, .
Via a small tweak of the strong coding trees in [14], exact big Ramsey degrees for were characterized by the author in [12]. (The small tweak is an instance of the more general notion of “controlled coding levels”–Definition 5.6.5 of [3].) An equivalent characterization (based on upper bounds in [33] and [58]) was found independently around the same time by Balko, Chodounský, Hubička, Konečný, Vena, and Zucker in an unposted preprint. Big Ramsey degrees in are exactly characterized by diagonal antichains of coding nodes in the strong coding trees defined in [12] and the order in which pairs of new pre--cliques appear. This is the part of the author’s notion of strict similarity type essential to unavoidable colorings. In particular, the big Ramsey degree is now known to be exactly 5.
Building on methods in this paper, Zucker in [58] developed an approach using fully branching (similar to our Definition 4.1) “left-leaning” coding trees, forcing, and a new style of envelope to handle all free amalgamation classes with finitely many relations of arity at most two and finitely many forbidden irreducible structures; he proved that their Fraïssé limits have finite big Ramsey degrees. Zucker crystalized the essential properties of new pre-cliques in this paper to so-called ‘age-changes’ which made possible his broad approach. The use of fully branching coding trees led to a shorter proof of upper bounds, though at the cost of looser bounds for Henson graphs than those in this paper. By combining Zucker’s approach in [58] with properties inherent in the strong coding trees and strict similarity types in this paper as well as new ideas, exact big Ramsey degrees were characterized for all free amalgamation classes with finitely many relations of arity at most two and finitely many forbidden irreducible structures in the recent paper [3] by Balko, Chodounský, Dobrinen, Hubička, Konečný, Vena, and Zucker. In particular, we now know that the big Ramsey degree is exactly 17.
Building on ideas from this paper in another direction is the work of Coulson, Dobrinen, and Patel in [8]. That work distills an amalgamation property true for the rationals and the Rado graph, and false for Henson graphs, called SDAP, which guarantees that the forcing partial order of the sort used in Theorem 7.2 here can be simply end-extension. By working with diagonal coding trees for Fraïssé structures satisfying a strengthened version of SDAP, called SDAP+, the following results were obtained: (1) Indivisibility for Fraïssé limits satisfying SDAP+ with finitely many relations of finite arity; (2) Exact big Ramsey degrees for Fraïssé limits satisfying SDAP+ with finitely many relations of arity at most two, moreover characterized just by diagonal antichains and passing types. Some interesting byproducts of the approach in [8] are that exact big Ramsey degrees are found directly, with no need for envelopes, and previous results [36], [37], and [52] are recovered by the one method.
We point out that the exact big Ramsey degrees in [3] and in [8] satisfy the conditions of Zucker in [57] to admit big Ramsey structures.
A third line of results using coding trees involve infinite dimensional Ramsey theory for Fraïssé structures. The goal is to extend the Galvin-Prikry [25] or Ellentuck [21] theorem to subspaces of the Baire space in which all points (infinite subsets of ) represent a subcopy of a given Fraïssé structure; coding trees help ensure that one is actually taking a subcopy of the given Fraïssé structure, not just any infinite substructure. An investigation of this area was asked for in [34] and begun in the author’s paper [10], which obtained a Galvin-Prikry analogue for the Rado graph. The author has extended this to Fraïssé structures satisfying SDAP+ with finitely many relations of arity at most two, building on work in [8]; the Galvin-Prikry analogue there recovers exact big Ramsey degrees. Work in this direction continues.
In 2020, Hubička found a new way to obtain upper bounds for big Ramsey degrees of the generic partial order as well as the triangle-free Henson graph in [33]. His method used parameter spaces of words and a coding of pre--cliques in that setting, producing the first forcing-free proof of upper bounds for . This formed the basis for the characterization of exact big Ramsey degrees of the generic partial order in [2], by Balko, Chodounský, Dobrinen, Hubička, Konečný, Vena, and Zucker. Hubička’s method for upper bounds has been extended to upper bounds for relational structures in a finite relational language with relations of arity at most 2 described by forbidden induced cycles in [4]. Big Ramsey degrees for structures with relations of higher arities was initiated in [5] and [6] for the generic -regular hypergraph, using the product Milliken theorem. Category-theoretic methods are also currently being employed to discover exact big Ramsey degrees as well as transport existence of upper bounds in the work of Dasilva Barbosa [7] and Mašulović in [40]. Work on further types of structures with an expanding collection of methods is continuing to be fruitful.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] F.G. Abramson and L.A. Harrington, Models without indiscernibles , Journal of Symbolic Logic 43 (1978), no. 3, 572–600.
- 2[2] M. Balko, D. Chodounský, N. Dobrinen, J. Hubička, M. Konečný, L. Vena, and A. Zucker, Big Ramsey degrees of the generic partial order , Extended Abstracts Euro Comb 2021, Springer, 2021, pp. 637–643.
- 3[3] by same author, Exact big Ramsey degrees via coding trees , (2021), 97 pp, Submitted. ar Xiv:2110.08409.
- 4[4] M. Balko, D. Chodounský, J. Hubička, M. Konečný, J. Nešetřil, and L. Vena, Big Ramsey degrees and forbidden cycles , Extended Abstracts Euro Comb 2021, Springer, 2021, pp. 436–441.
- 5[5] M. Balko, D. Chodounský, J. Hubička, M. Konečný, and L. Vena, Big Ramsey degrees of 3-uniform hypergraphs , Acta Mathematica Universitatis Comenianae LXXXVIII (2019), no. 3, 415–422.
- 6[6] by same author, Big Ramsey degrees of 3-uniform hypergraphs are finite , Combinatorica (2022), 14 pp, https://doi.org/10.1007/s 00493-021-4664-9.
- 7[7] Keegan Dasilva Barbosa, A categorical notion of precompact expansions , Archive for Mathematical Logic (2020), 29 pp, Submitted. ar Xiv:2002.11751.
- 8[8] Rebecca Coulson, Natasha Dobrinen, and Rehana Patel, Fraïssé classes with simply characterized big Ramsey structures , (2021), 69 pp, Submitted. ar Xiv:2010.02034.
