Abstract:It is known that every graph of sufficiently large <a class="topic-link" href="/topics/mathematics/chromatic-number">chromatic number</a> and bounded clique number contains, as an <a class="topic-link" href="/topics/mathematics/induced-subgraph">induced subgraph</a>, a subdivision of any fixed forest, and a subdivision of any fixed cycle. Equivalently, every forest is pervasive, and <math>K3</math> is pervasive, in the class of all graphs, where we say a graph H is "pervasive" (in some class of graphs) if for all <math>ℓ≥1</math>, every graph in the class of bounded clique number and sufficiently large chromatic number has an induced subgraph that is a subdivision of H, in which every edge of H is replaced by a path of at least ℓ edges.Which other graphs are pervasive? It was proved by Chalopin, Esperet, Li and Ossona de Mendez that every such graph is a "forest of lanterns": roughly, every block is a "lantern", a graph obtained from a tree by adding one extra vertex, and there are rules about how the blocks fit together. It is not known whether every forest of lanterns is pervasive in the class of all graphs; but in another paper two of us prove that all "banana trees" are pervasive, that is, <a class="topic-link" href="/topics/mathematics/multigraph">multigraphs</a> obtained from a forest by adding parallel edges, thus generalizing the two results above. This paper contains the first half of the proof, which works for any forest of lanterns, not just for banana trees.Say a class of graphs is "ρ-controlled" if for every graph in the class, its chromatic number is at most some function (determined by the class) of the largest chromatic number of a ρ-ball in the graph. In this paper we prove that for every <math>ρ≥2</math>, and for every ρ-controlled class, every forest of lanterns is pervasive in this class.These results turn out particularly nicely when applied to string graphs. A "chandelier" is a special lantern, a graph obtained from a tree by adding a vertex adjacent to precisely the leaves of the tree. A "string graph" is the <a class="topic-link" href="/topics/mathematics/intersection-graph">intersection graph</a> of a set of curves in the plane. There are string graphs with clique number two and chromatic number arbitrarily large. We prove that the class of string graphs is 2-controlled, and consequently every forest of lanterns is pervasive in this class; but in fact something stronger is true, that every string graph of sufficiently large chromatic number and bounded clique number contains each fixed chandelier as an induced subgraph (not just as a subdivision); and the same for most forests of chandeliers (there is an extra condition on how the blocks are attached together).

The Chain Group of a Forest

Forest-skein groups IV: dynamics

Forest-skein groups I: between Vaughan Jones' subfactors and Richard Thompson's groups

Forest-skein groups II: construction from homogeneously presented monoids

Largest common subgraph of two forests

Forest-skein groups III: simplicity

Cooperative colorings of forests

Growing trees from compact subgroups

A representation on the labeled rooted forests

A Family of Invariants of Rooted Forests

Induced subgraphs of graphs with large chromatic number. V. Chandeliers and strings

Induced forests in some distance-regular graphs

GGS-groups acting on trees of growing degrees

On distinguishing special trees by their chromatic symmetric functions

Finite DC-groups

Group vertex-arboricity of group-labelled graphs

Exceptional sequences and rooted labeled forests

On the subexponential growth of groups acting on rooted trees

Wilf equivalences for patterns in rooted labeled forests

Partitioning a planar graph without chordal 5-cycles into two forests

Sylow branching trees