Extremal Infinite Graph Theory

We survey various aspects of infinite extremal graph theory and prove several new results. The lead role play the parameters connectivity and degree. This includes the end degree. Many open problems are suggested.Comment: 41 pages, 16 figure

On First-Order Definable Colorings

We address the problem of characterizing $H$-coloring problems that are first-order definable on a fixed class of relational structures. In this context, we give several characterizations of a homomorphism dualities arising in a class of structure

A note on circular chromatic number of graphs with large girth and similar problems

In this short note, we extend the result of Galluccio, Goddyn, and Hell, which states that graphs of large girth excluding a minor are nearly bipartite. We also prove a similar result for the oriented chromatic number, from which follows in particular that graphs of large girth excluding a minor have oriented chromatic number at most $5$, and for the $p$th chromatic number $\chi_p$, from which follows in particular that graphs $G$ of large girth excluding a minor have $\chi_p(G)\leq p+2$

Logarithmically-small Minors and Topological Minors

Mader proved that for every integer $t$ there is a smallest real number $c(t)$ such that any graph with average degree at least $c(t)$ must contain a $K_t$-minor. Fiorini, Joret, Theis and Wood conjectured that any graph with $n$ vertices and average degree at least $c(t)+\epsilon$ must contain a $K_t$-minor consisting of at most $C(\epsilon,t)\log n$ vertices. Shapira and Sudakov subsequently proved that such a graph contains a $K_t$-minor consisting of at most $C(\epsilon,t)\log n \log\log n$ vertices. Here we build on their method using graph expansion to remove the $\log\log n$ factor and prove the conjecture. Mader also proved that for every integer $t$ there is a smallest real number $s(t)$ such that any graph with average degree larger than $s(t)$ must contain a $K_t$-topological minor. We prove that, for sufficiently large $t$, graphs with average degree at least $(1+\epsilon)s(t)$ contain a $K_t$-topological minor consisting of at most $C(\epsilon,t)\log n$ vertices. Finally, we show that, for sufficiently large $t$, graphs with average degree at least $(1+\epsilon)c(t)$ contain either a $K_t$-minor consisting of at most $C(\epsilon,t)$ vertices or a $K_t$-topological minor consisting of at most $C(\epsilon,t)\log n$ vertices.Comment: 19 page

Small Complete Minors Above the Extremal Edge Density

A fundamental result of Mader from 1972 asserts that a graph of high average degree contains a highly connected subgraph with roughly the same average degree. We prove a lemma showing that one can strengthen Mader's result by replacing the notion of high connectivity by the notion of vertex expansion. Another well known result in graph theory states that for every integer t there is a smallest real c(t) so that every n-vertex graph with c(t)n edges contains a K_t-minor. Fiorini, Joret, Theis and Wood conjectured that if an n-vertex graph G has (c(t)+\epsilon)n edges then G contains a K_t-minor of order at most C(\epsilon)log n. We use our extension of Mader's theorem to prove that such a graph G must contain a K_t-minor of order at most C(\epsilon)log n loglog n. Known constructions of graphs with high girth show that this result is tight up to the loglog n factor