3,246 research outputs found
Excluding subdivisions of bounded degree graphs
Let be a fixed graph. What can be said about graphs that have no
subgraph isomorphic to a subdivision of ? Grohe and Marx proved that such
graphs satisfy a certain structure theorem that is not satisfied by graphs
that contain a subdivision of a (larger) graph . Dvo\v{r}\'ak found a
clever strengthening---his structure is not satisfied by graphs that contain a
subdivision of a graph , where has "similar embedding properties" as
. Building upon Dvo\v{r}\'ak's theorem, we prove that said graphs
satisfy a similar structure theorem. Our structure is not satisfied by graphs
that contain a subdivision of a graph that has similar embedding
properties as and has the same maximum degree as . This will be
important in a forthcoming application to well-quasi-ordering
Distance-two coloring of sparse graphs
Consider a graph and, for each vertex , a subset
of neighbors of . A -coloring is a coloring of the
elements of so that vertices appearing together in some receive
pairwise distinct colors. An obvious lower bound for the minimum number of
colors in such a coloring is the maximum size of a set , denoted by
. In this paper we study graph classes for which there is a
function , such that for any graph and any , there is a
-coloring using at most colors. It is proved that if
such a function exists for a class , then can be taken to be a linear
function. It is also shown that such classes are precisely the classes having
bounded star chromatic number. We also investigate the list version and the
clique version of this problem, and relate the existence of functions bounding
those parameters to the recently introduced concepts of classes of bounded
expansion and nowhere-dense classes.Comment: 13 pages - revised versio
Packing Topological Minors Half-Integrally
The packing problem and the covering problem are two of the most general
questions in graph theory. The Erd\H{o}s-P\'{o}sa property characterizes the
cases when the optimal solutions of these two problems are bounded by functions
of each other. Robertson and Seymour proved that when packing and covering
-minors for any fixed graph , the planarity of is equivalent with the
Erd\H{o}s-P\'{o}sa property. Thomas conjectured that the planarity is no longer
required if the solution of the packing problem is allowed to be half-integral.
In this paper, we prove that this half-integral version of Erd\H{o}s-P\'{o}sa
property holds with respect to the topological minor containment, which easily
implies Thomas' conjecture. Indeed, we prove an even stronger statement in
which those subdivisions are rooted at any choice of prescribed subsets of
vertices. Precisely, we prove that for every graph , there exists a function
such that for every graph , every sequence of
subsets of and every integer , either there exist subgraphs
of such that every vertex of belongs to at most two
of and each is isomorphic to a subdivision of whose
branch vertex corresponding to belongs to for each , or
there exists a set with size at most intersecting all
subgraphs of isomorphic to a subdivision of whose branch vertex
corresponding to belongs to for each .
Applications of this theorem include generalizations of algorithmic
meta-theorems and structure theorems for -topological minor free (or
-minor free) graphs to graphs that do not half-integrally pack many
-topological minors (or -minors)
Restricted frame graphs and a conjecture of Scott
Scott proved in 1997 that for any tree , every graph with bounded clique
number which does not contain any subdivision of as an induced subgraph has
bounded chromatic number. Scott also conjectured that the same should hold if
is replaced by any graph . Pawlik et al. recently constructed a family
of triangle-free intersection graphs of segments in the plane with unbounded
chromatic number (thereby disproving an old conjecture of Erd\H{o}s). This
shows that Scott's conjecture is false whenever is obtained from a
non-planar graph by subdividing every edge at least once.
It remains interesting to decide which graphs satisfy Scott's conjecture
and which do not. In this paper, we study the construction of Pawlik et al. in
more details to extract more counterexamples to Scott's conjecture. For
example, we show that Scott's conjecture is false for any graph obtained from
by subdividing every edge at least once. We also prove that if is a
2-connected multigraph with no vertex contained in every cycle of , then any
graph obtained from by subdividing every edge at least twice is a
counterexample to Scott's conjecture.Comment: 21 pages, 8 figures - Revised version (note that we moved some of our
results to an appendix
Stable divisorial gonality is in NP
Divisorial gonality and stable divisorial gonality are graph parameters,
which have an origin in algebraic geometry. Divisorial gonality of a connected
graph can be defined with help of a chip firing game on . The stable
divisorial gonality of is the minimum divisorial gonality over all
subdivisions of edges of .
In this paper we prove that deciding whether a given connected graph has
stable divisorial gonality at most a given integer belongs to the class NP.
Combined with the result that (stable) divisorial gonality is NP-hard by
Gijswijt, we obtain that stable divisorial gonality is NP-complete. The proof
consist of a partial certificate that can be verified by solving an Integer
Linear Programming instance. As a corollary, we have that the number of
subdivisions needed for minimum stable divisorial gonality of a graph with
vertices is bounded by for a polynomial
The structure of graphs not admitting a fixed immersion
We present an easy structure theorem for graphs which do not admit an immersion of the complete graph. The theorem motivates the definition of a variation of tree decompositions based on edge cuts instead of vertex cuts which we call tree-cut decompositions. We give a definition for the width of tree-cut decompositions, and using this definition along with the structure theorem for excluded clique immersions, we prove that every graph either has bounded tree-cut width or admits an immersion of a large wall
The structure of graphs not admitting a fixed immersion
We present an easy structure theorem for graphs which do not admit an
immersion of the complete graph. The theorem motivates the definition of a
variation of tree decompositions based on edge cuts instead of vertex cuts
which we call tree-cut decompositions. We give a definition for the width of
tree-cut decompositions, and using this definition along with the structure
theorem for excluded clique immersions, we prove that every graph either has
bounded tree-cut width or admits an immersion of a large wall
Asymptotic enumeration of non-crossing partitions on surfaces
We generalize the notion of non-crossing partition on a disk to general surfaces
with boundary. For this, we consider a surface S and introduce the number CS(n) of noncrossing partitions of a set of n points laying on the boundary of SPostprint (author's final draft
- …