Unavoidable Immersions and Intertwines of Graphs

The topological minor and the minor relations are well-studied binary relations on the class of graphs. A natural weakening of the topological minor relation is an immersion. An immersion of a graph H into a graph G is a map that injects the vertex set of H into the vertex set of G such that edges between vertices of H are represented by pairwise-edge-disjoint paths of G. In this dissertation, we present two results: the first giving a set of unavoidable immersions of large 3-edge-connected graphs and the second on immersion intertwines of infinite graphs. These results, along with the methods used to prove them, are analogues of results on the graph minor relation. A conjecture for the unavoidable immersions of large 3-edge-connected graphs is also stated with a partial proof

Linear Kernels for Edge Deletion Problems to Immersion-Closed Graph Classes

Suppose F is a finite family of graphs. We consider the following meta-problem, called F-Immersion Deletion: given a graph G and an integer k, decide whether the deletion of at most k edges of G can result in a graph that does not contain any graph from F as an immersion. This problem is a close relative of the F-Minor Deletion problem studied by Fomin et al. [FOCS 2012], where one deletes vertices in order to remove all minor models of graphs from F. We prove that whenever all graphs from F are connected and at least one graph of F is planar and subcubic, then the F-Immersion Deletion problem admits: - a constant-factor approximation algorithm running in time O(m^3 n^3 log m) - a linear kernel that can be computed in time O(m^4 n^3 log m) and - a O(2^{O(k)} + m^4 n^3 log m)-time fixed-parameter algorithm, where n,m count the vertices and edges of the input graph. Our findings mirror those of Fomin et al. [FOCS 2012], who obtained similar results for F-Minor Deletion, under the assumption that at least one graph from F is planar. An important difference is that we are able to obtain a linear kernel for F-Immersion Deletion, while the exponent of the kernel of Fomin et al. depends heavily on the family F. In fact, this dependence is unavoidable under plausible complexity assumptions, as proven by Giannopoulou et al. [ICALP 2015]. This reveals that the kernelization complexity of F-Immersion Deletion is quite different than that of F-Minor Deletion

Negative immersions for one-relator groups

We prove a freeness theorem for low-rank subgroups of one-relator groups. Let F be a free group, and let w ∈ F be a nonprimitive element. The primitivity rank of w, π(w), is the smallest rank of a subgroup of F containing w as an imprimitive element. Then any subgroup of the one-relator group G = F/⟨⟨w⟩⟩ generated by fewer than π(w) elements is free. In particular, if π(w) > 2, then G does not contain any Baumslag–Solitar groups. The hypothesis that π(w) > 2 implies that the presentation complex X of the one-relator group G has negative immersions: if a compact, connected complex Y immerses into X and X(Y) ≥ 0, then Y Nielsen reduces to a graph. The freeness theorem is a consequence of a dependence theorem for free groups, which implies several classical facts about free and one-relator groups, including Magnus’ Freiheitssatz and theorems of Lyndon, Baumslag, Stallings, and Duncan–Howie. The dependence theorem strengthens Wise’s w-cycles conjecture, proved independently by the authors and Helfer–Wise, which implies that the one-relator complex X has nonpositive immersions when π(w) > 1