The Ramsey Theory of Henson graphs

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 $k\ge 4$, the $k$-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.Comment: 75 pages. Substantial revisions in the presentation. Submitte

Polyhedra of small order and their Hamiltonian properties

We describe the results of an enumeration of several classes of polyhedra. The enumerated classes include polyhedra with up to 12 vertices and up to 26 edges, simplical polyhedra with up to 16 vertices, 4-connected polyhedra with up to 15 vertices, and bipartite polyhedra with up to 22 vertices.The results of the enumeration were used to systematically search for certain minimal non-Hamiltonian polyhedra. In particular, the smallest polyhedra satisfying certain toughness-like properties are presented here, as are the smallest non-Hamiltonian, 3-connected, Delaunay tessellations and triangulations. Improved upper and lower bounds on the size of the smallest non-Hamiltonian, inscribable polyhedra are also given

Relating ordinary and fully simple maps via monotone Hurwitz numbers

A direct relation between the enumeration of ordinary maps and that of fully simple maps first appeared in the work of the first and last authors. The relation is via monotone Hurwitz numbers and was originally proved using Weingarten calculus for matrix integrals. The goal of this paper is to present two independent proofs that are purely combinatorial and generalise in various directions, such as to the setting of stuffed maps and hypermaps. The main motivation to understand the relation between ordinary and fully simple maps is the fact that it could shed light on fundamental, yet still not well-understood, problems in free probability and topological recursion.Comment: 19 pages, 7 figure