Circumference of 3-connected claw-free graphs and large Eulerian subgraphs of 3-edge-connected graphs

AbstractThe circumference of a graph is the length of its longest cycles. Results of Jackson, and Jackson and Wormald, imply that the circumference of a 3-connected cubic n-vertex graph is Ω(n0.694), and the circumference of a 3-connected claw-free graph is Ω(n0.121). We generalize and improve the first result by showing that every 3-edge-connected graph with m edges has an Eulerian subgraph with Ω(m0.753) edges. We use this result together with the Ryjáček closure operation to improve the lower bound on the circumference of a 3-connected claw-free graph to Ω(n0.753). Our proofs imply polynomial time algorithms for finding large Eulerian subgraphs of 3-edge-connected graphs and long cycles in 3-connected claw-free graphs

An improvement on Łuczak's connected matchings method

A connected matching in a graph G is a matching contained in a connected component of G. A well-known method due to Łuczak reduces problems about monochromatic paths and cycles in complete graphs to problems about monochromatic connected matchings in almost complete graphs. We show that these can be further reduced to problems about monochromatic connected matchings in complete graphs. We illustrate the potential of this new reduction by showing how it can be used to determine the 3-colour Ramsey number of long paths, using a simpler argument than the original one by Gyárfás, Ruszinkó, Sárközy, and Szemerédi (2007)

Homeomorphically Irreducible Spanning Trees, Halin Graphs, and Long Cycles in 3-connected Graphs with Bounded Maximum Degrees

A tree $T$ with no vertex of degree 2 is called a {\it homeomorphically irreducible tree}\,(HIT) and if $T$ is spanning in a graph, then $T$ is called a {\it homeomorphically irreducible spanning tree}\,(HIST). Albertson, Berman, Hutchinson and Thomassen asked {\it if every triangulation of at least 4 vertices has a HIST} and {\it if every connected graph with each edge in at least two triangles contains a HIST}. These two questions were restated as two conjectures by Archdeacon in 2009. The first part of this dissertation gives a proof for each of the two conjectures. The second part focuses on some problems about {\it Halin graphs}, which is a class of graphs closely related to HITs and HISTs. A {\it Halin graph} is obtained from a plane embedding of a HIT of at least 4 vertices by connecting its leaves into a cycle following the cyclic order determined by the embedding. And a {\it generalized Halin graph} is obtained from a HIT of at least 4 vertices by connecting the leaves into a cycle. Let $G$ be a sufficiently large $n$-vertex graph. Applying the Regularity Lemma and the Blow-up Lemma, it is shown that $G$ contains a spanning Halin subgraph if it has minimum degree at least $(n+1)/2$ and $G$ contains a spanning generalized Halin subgraph if it is 3-connected and has minimum degree at least $(2n+3)/5$. The minimum degree conditions are best possible. The last part estimates the length of longest cycles in 3-connected graphs with bounded maximum degrees. In 1993 Jackson and Wormald conjectured that for any positive integer $d\ge 4$, there exists a positive real number $\alpha$ depending only on $d$ such that if $G$ is a 3-connected $n$-vertex graph with maximum degree $d$, then $G$ has a cycle of length at least $\alpha n^{\log_{d-1} 2}$. They showed that the exponent in the bound is best possible if the conjecture is true. The conjecture is confirmed for $d\ge 425$

Using Triangles to Improve Community Detection in Directed Networks

In a graph, a community may be loosely defined as a group of nodes that are more closely connected to one another than to the rest of the graph. While there are a variety of metrics that can be used to specify the quality of a given community, one common theme is that flows tend to stay within communities. Hence, we expect cycles to play an important role in community detection. For undirected graphs, the importance of triangles -- an undirected 3-cycle -- has been known for a long time and can be used to improve community detection. In directed graphs, the situation is more nuanced. The smallest cycle is simply two nodes with a reciprocal connection, and using information about reciprocation has proven to improve community detection. Our new idea is based on the four types of directed triangles that contain cycles. To identify communities in directed networks, then, we propose an undirected edge-weighting scheme based on the type of the directed triangles in which edges are involved. We also propose a new metric on quality of the communities that is based on the number of 3-cycles that are split across communities. To demonstrate the impact of our new weighting, we use the standard METIS graph partitioning tool to determine communities and show experimentally that the resulting communities result in fewer 3-cycles being cut. The magnitude of the effect varies between a 10 and 50% reduction, and we also find evidence that this weighting scheme improves a task where plausible ground-truth communities are known.Comment: 10 pages, 3 figure

Unavoidable minors in graphs and matroids

It is well known that every sufficiently large connected graph G has either a vertex of high degree or a long path. If we require G to be more highly connected, then we ensure the presence of more highly structured minors. In particular, for all positive integers k, every 2-connected graph G has a series minor isomorphic to a k-edge cycle or K_{2,k}. In 1993, Oxley, Oporowski, and Thomas extended this result to 3- and internally 4-connected graphs identifying all unavoidable series minors of these classes. Loosely speaking, a series minor allows for arbitrary edge deletions but only allows edges to be contracted when they meet a degree-2 vertex. Dually, a parallel minor allows for any edge contractions but restricts the deletion of edges to those that lie in 2-edge cycles. This dissertation begins by proving the dual results to those noted above. These identify all unavoidable parallel minors for finite graphs of low connectivity. Following this, corresponding results on unavoidable minors for infinite graphs are proved. The dissertation concludes by finding the unavoidable parallel minors for 3-connected regular matroids, which combines the results for unavoidable series and parallel minors for graphs with Seymour\u27s decomposition theorem for regular matroids

Computing Tutte Paths

Tutte paths are one of the most successful tools for attacking problems on long cycles in planar graphs. Unfortunately, results based on them are non-constructive, as their proofs inherently use an induction on overlapping subgraphs and these overlaps prevent any attempt to bound the running time by a polynomial. For special cases however, computational results of Tutte paths are known: For 4-connected planar graphs, Tutte paths are in fact Hamiltonian paths and Chiba and Nishizeki [N. Chiba and T. Nishizeki, 1989] showed how to compute such paths in linear time. For 3-connected planar graphs, Tutte paths have a significantly more complicated structure, and it has only recently been shown that they can be computed in polynomial time [A. Schmid and J. M. Schmidt, 2015]. However, Tutte paths are defined for general 2-connected planar graphs and this is what most applications need. In this unrestricted setting, no computational results for Tutte paths are known. We give the first efficient algorithm that computes a Tutte path (in this unrestricted setting). One of the strongest existence results about such Tutte paths is due to Sanders [D. P. Sanders, 1997], which allows one to prescribe the end vertices and an intermediate edge of the desired path. Encompassing and strengthening all previous computational results on Tutte paths, we show how to compute such a special Tutte path efficiently. Our method refines both, the existence results of Thomassen [C. Thomassen, 1983] and Sanders [D. P. Sanders, 1997], and avoids that the subgraphs arising in the inductive proof intersect in more than one edge by using a novel iterative decomposition along 2-separators. Finally, we show that our algorithm runs in time O(n^2)

A σ3 type condition for heavy cycles in weighted graphs

A weighted graph is a graph in which each edge e is assigned a non-negative number w(e), called the weight of e. The weight of a cycle is the sum of the weights of its edges. The weighted degree dw(v) of a vertex v is the sum of the weights of the edges incident with v. In this paper, we prove the following result: Suppose G is a 2-connected weighted graph which satisfies the following conditions: 1. The weighted degree sum of any three independent vertices is at least m; 2. w(xz)=w(yz) for every vertex z∈N(x)∩ N(y) with d(x,y)=2; 3. In every triangle T of G, either all edges of T have different weights or all edges of T have the same weight. Then G contains either a Hamilton cycle or a cycle of weight at least 2m/3. This generalizes a theorem of Fournier and Fraisse on the existence of long cycles in k-connected unweighted graphs in the case k=2. Our proof of the above result also suggests a new proof to the theorem of Fournier and Fraisse in the case k=2