3,611 research outputs found
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
Riemannian geometries on spaces of plane curves
We study some Riemannian metrics on the space of regular smooth curves in the
plane, viewed as the orbit space of maps from to the plane modulo the
group of diffeomorphisms of , acting as reparameterizations. In particular
we investigate the metric for a constant : G^A_c(h,k) :=
\int_{S^1}(1+A\ka_c(\th)^2)
|c'(\th)| d\th where \ka_c is the curvature of the curve and
are normal vector fields to . The term A\ka^2 is a sort of geometric
Tikhonov regularization because, for A=0, the geodesic distance between any 2
distinct curves is 0, while for the distance is always positive. We give
some lower bounds for the distance function, derive the geodesic equation and
the sectional curvature, solve the geodesic equation with simple endpoints
numerically, and pose some open questions. The space has an interesting split
personality: among large smooth curves, all its sectional curvatures are , while for curves with high curvature or perturbations of high frequency,
the curvatures are .Comment: amslatex, 45 pagex, 8 figures, typos correcte
Constructing graphs with no immersion of large complete graphs
In 1989, Lescure and Meyniel proved, for , that every -chromatic
graph contains an immersion of , and in 2003 Abu-Khzam and Langston
conjectured that this holds for all . In 2010, DeVos, Kawarabayashi, Mohar,
and Okamura proved this conjecture for . In each proof, the
-chromatic assumption was not fully utilized, as the proofs only use the
fact that a -critical graph has minimum degree at least . DeVos,
Dvo\v{r}\'ak, Fox, McDonald, Mohar, and Scheide show the stronger conjecture
that a graph with minimum degree has an immersion of fails for
and with a finite number of examples for each value of ,
and small chromatic number relative to , but it is shown that a minimum
degree of does guarantee an immersion of .
In this paper we show that the stronger conjecture is false for
and give infinite families of examples with minimum degree and chromatic
number or that do not contain an immersion of . Our examples
can be up to -edge-connected. We show, using Haj\'os' Construction, that
there is an infinite class of non--colorable graphs that contain an
immersion of . We conclude with some open questions, and the conjecture
that a graph with minimum degree and more than
vertices of degree at least has an immersion of
Cutwidth: obstructions and algorithmic aspects
Cutwidth is one of the classic layout parameters for graphs. It measures how
well one can order the vertices of a graph in a linear manner, so that the
maximum number of edges between any prefix and its complement suffix is
minimized. As graphs of cutwidth at most are closed under taking
immersions, the results of Robertson and Seymour imply that there is a finite
list of minimal immersion obstructions for admitting a cut layout of width at
most . We prove that every minimal immersion obstruction for cutwidth at
most has size at most .
As an interesting algorithmic byproduct, we design a new fixed-parameter
algorithm for computing the cutwidth of a graph that runs in time , where is the optimum width and is the number of vertices.
While being slower by a -factor in the exponent than the fastest known
algorithm, given by Thilikos, Bodlaender, and Serna in [Cutwidth I: A linear
time fixed parameter algorithm, J. Algorithms, 56(1):1--24, 2005] and [Cutwidth
II: Algorithms for partial -trees of bounded degree, J. Algorithms,
56(1):25--49, 2005], our algorithm has the advantage of being simpler and
self-contained; arguably, it explains better the combinatorics of optimum-width
layouts
- …