A study on Dicycles and Eulerian Subdigraphs

1. Dicycle cover of Hamiltonian oriented graphs. A dicycle cover of a digraph D is a family F of dicycles of D such that each arc of D lies in at least one dicycle in F. We investigate the problem of determining the upper bounds for the minimum number of dicycles which cover all arcs in a strong digraph. Best possible upper bounds of dicycle covers are obtained in a number of classes of digraphs, including strong tournaments, Hamiltonian oriented graphs, Hamiltonian oriented complete bipartite graphs, and families of possibly non-hamiltonian digraphs obtained from these digraphs via a sequence of 2-sum operations.;2. Supereulerian digraphs with given local structures . Catlin in 1988 indicated that there exist graph families F such that if every edge e in a graph G lies in a subgraph He of G isomorphic to a member in F, then G is supereulerian. In particular, if every edge of a connected graph G lies in a 3-cycle, then G is supereulerian. The purpose of this research is to investigate how Catlin\u27s theorem can be extended to digraphs. A strong digraph D is supereulerian if D contains a spanning eulerian subdigraph. We show that there exists an infinite family of non-supereulerian strong digraphs each arc of which lies in a directed 3-cycle. We also show that there exist digraph families H such that a strong digraph D is supereulerian if every arc a of D lies in a subdigraph Ha isomorphic to a member of H. A digraph D is symmetric if (x, y) ∈ A( D) implies (y, x) ∈ A( D); and is symmetrically connected if every pair of vertices of D are joined by a symmetric dipath. A digraph D is partially symmetric if the digraph obtained from D by contracting all symmetrically connected components is symmetrically connected. It is known that a partially symmetric digraph may not be symmetrically connected. We show that symmetrically connected digraphs and partially symmetric digraphs are such families. Sharpness of these results are discussed.;3. On a class of supereulerian digraphs. The 2-sum of two digraphs D1 and D2, denoted D1 ⊕2 D2, is the digraph obtained from the disjoint union of D 1 and D2 by identifying an arc in D1 with an arc in D2. A digraph D is supereulerian if D contains a spanning eulerian subdigraph. It has been noted that the 2-sum of two supereulerian (or even hamiltonian) digraphs may not be supereulerian. We obtain several sufficient conditions on D1 and D 2 for D1 ⊕2 D 2 to be supereulerian. In particular, we show that if D 1 and D2 are symmetrically connected or partially symmetric, then D1 ⊕2 D2 is supereulerian

Model theory of multidimensional asymptotic classes

In this PhD thesis we explore the concept of a multidimensional asymptotic class. This is a new notion in model theory, arising as a generalisation of the Elwes–Macpherson–Steinhorn notion of an N-dimensional asymptotic class [22] and thus ultimately as a development of the Lang–Weil estimates of the number of points of a variety in a finite field [47]. We provide the history and motivation behind the topic before developing its basic theory, paying particular attention to multidimensional exact classes, a special kind of multidimensional asymptotic class where the measuring functions provide the precise sizes of the definable sets, rather than only approximations. We describe a number of examples and non-examples and then show that multidimensional asymptotic classes are closed under bi-interpretability. We use results about smoothly approximable structures [35] and Lie coordinatisable structures [18] to prove the following result, as conjectured by Macpherson: For any countable language L and any positive integer d the class C(L,d) of all finite L-structures with at most d 4-types is a polynomial exact class in L; here a polynomial exact class is a multidimensional exact class with polynomial measuring functions. We finish the thesis by posing some open questions, indicating potential further lines of research

Linear Orderings of Sparse Graphs

The Linear Ordering problem consists in finding a total ordering of the vertices of a directed graph such that the number of backward arcs, i.e., arcs whose heads precede their tails in the ordering, is minimized. A minimum set of backward arcs corresponds to an optimal solution to the equivalent Feedback Arc Set problem and forms a minimum Cycle Cover. Linear Ordering and Feedback Arc Set are classic NP-hard optimization problems and have a wide range of applications. Whereas both problems have been studied intensively on dense graphs and tournaments, not much is known about their structure and properties on sparser graphs. There are also only few approximative algorithms that give performance guarantees especially for graphs with bounded vertex degree. This thesis fills this gap in multiple respects: We establish necessary conditions for a linear ordering (and thereby also for a feedback arc set) to be optimal, which provide new and fine-grained insights into the combinatorial structure of the problem. From these, we derive a framework for polynomial-time algorithms that construct linear orderings which adhere to one or more of these conditions. The analysis of the linear orderings produced by these algorithms is especially tailored to graphs with bounded vertex degrees of three and four and improves on previously known upper bounds. Furthermore, the set of necessary conditions is used to implement exact and fast algorithms for the Linear Ordering problem on sparse graphs. In an experimental evaluation, we finally show that the property-enforcing algorithms produce linear orderings that are very close to the optimum and that the exact representative delivers solutions in a timely manner also in practice. As an additional benefit, our results can be applied to the Acyclic Subgraph problem, which is the complementary problem to Feedback Arc Set, and provide insights into the dual problem of Feedback Arc Set, the Arc-Disjoint Cycles problem