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).

Kruskal--Katona type theorems for clique complexes arising from chordal and strongly chordal graphs

Clique Polynomials and Chordal Graphs

Clique Vectors of $k$-Connected Chordal Graphs

Clique-cutsets beyond chordal graphs

When Joints Meet Extremal Graph Theory: Hypergraph Joints

Chorded Cycle Facets of Clique Partitioning Polytopes

Reduced clique graphs: a correction to "Chordal graphs and their clique graphs"

Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth

C*-algebras of higher-rank graphs from groups acting on buildings, and explicit computation of their K-theory

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

Thick Forests

Clique trees with a given zero forcing number maximizing the -spectral radius

$3$-Cut Complexes of Squared Cycle Graphs

On Chordal-$k$-Generalized Split Graphs

Homotopy properties of the complex of frames of a unitary space

The quasi-isometry invariance of the Coset Intersection Complex

Maximizing Cliques in Shellable Clique Complexes

Vertex decomposability of complexes associated to forests

Cliques in Representation Graphs of Quadratic Forms

Pure Simplicial and Clique Complexes with a Fixed Number of Facets