Kőnig's Line Coloring and Vizing's Theorems for Graphings

The classical theorem of Vizing states that every graph of maximum degree d admits an edge coloring with at most d+1 colors. Furthermore, as it was earlier shown by Kőnig, d colors suffice if the graph is bipartite. We investigate the existence of measurable edge colorings for graphings (or measure-preserving graphs). A graphing is an analytic generalization of a bounded-degree graph that appears in various areas, such as sparse graph limits, orbit equivalence and measurable group theory. We show that every graphing of maximum degree d admits a measurable edge coloring with d+O(d−−√) colors; furthermore, if the graphing has no odd cycles, then d+1 colors suffice. In fact, if a certain conjecture about finite graphs that strengthens Vizing’s theorem is true, then our method will show that d+1 colors are always enough

Graph Structure and Coloring

We denote by G=(V,E) a graph with vertex set V and edge set E. A graph G is claw-free if no vertex of G has three pairwise nonadjacent neighbours. Claw-free graphs are a natural generalization of line graphs. This thesis answers several questions about claw-free graphs and line graphs. In 1988, Chvatal and Sbihi proved a decomposition theorem for claw-free perfect graphs. They showed that claw-free perfect graphs either have a clique-cutset or come from two basic classes of graphs called elementary and peculiar graphs. In 1999, Maffray and Reed successfully described how elementary graphs can be built using line graphs of bipartite graphs and local augmentation. However gluing two claw-free perfect graphs on a clique does not necessarily produce claw-free graphs. The first result of this thesis is a complete structural description of claw-free perfect graphs. We also give a construction for all perfect circular interval graphs. This is joint work with Chudnovsky. Erdos and Lovasz conjectured in 1968 that for every graph G and all integers s,t≥ 2 such that s+t-1=χ(G) > ω(G), there exists a partition (S,T) of the vertex set of G such that ω(G|S)≥ s and χ(G|T)≥ t. This conjecture is known in the graph theory community as the Erdos-Lovasz Tihany Conjecture. For general graphs, the only settled cases of the conjecture are when s and t are small. Recently, the conjecture was proved for a few special classes of graphs: graphs with stability number 2, line graphs and quasi-line graphs. The second part of this thesis considers the conjecture for claw-free graphs and presents some progresses on it. This is joint work with Chudnovsky and Fradkin. Reed's ω, ∆, χ conjecture proposes that every graph satisfies χ≤ ⎡½ (Δ+1+ω)⎤ ; it is known to hold for all claw-free graphs. The third part of this thesis considers a local strengthening of this conjecture. We prove the local strengthening for line graphs, then note that previous results immediately tell us that the local strengthening holds for all quasi-line graphs. Our proofs lead to polytime algorithms for constructing colorings that achieve our bounds: The complexity are O(n²) for line graphs and O(n³m²) for quasi-line graphs. For line graphs, this is faster than the best known algorithm for constructing a coloring that achieves the bound of Reed's original conjecture. This is joint work with Chudnovsky, King and Seymour

The complexity of counting edge colorings and a dichotomy for some higher domain Holant problems

We show that an effective version of Siegel’s Theorem on finiteness of integer solutions and an application of elementary Galois theory are key ingredients in a complexity classification of some Holant problems. These Holant problems, denoted by Holant(f), are defined by a symmetric ternary function f that is invariant under any permutation of the κ ≥ 3 domain elements. We prove that Holant(f) exhibits a complexity dichotomy. This dichotomy holds even when restricted to planar graphs. A special case of this result is that counting edge κ-colorings is #P-hard over planar 3-regular graphs for κ ≥ 3. In fact, we prove that counting edge κ-colorings is #P-hard over planar r-regular graphs for all κ ≥ r ≥ 3. The problem is polynomial-time computable in all other parameter settings. The proof of the dichotomy theorem for Holant(f) depends on the fact that a specific polynomial p(x, y) has an explicitly listed finite set of integer solutions, and the determination of the Galois groups of some specific polynomials. In the process, we also encounter the Tutte polynomial, medial graphs, Eulerian partitions, Puiseux series, and a certain lattice condition on the (logarithm of) the roots of polynomials.

Aspects of distance and domination in graphs.

Thesis (Ph.D.-Mathematics and Applied Mathematics)-University of Natal, 1995.The first half of this thesis deals with an aspect of domination; more specifically, we investigate the vertex integrity of n-distance-domination in a graph, i.e., the extent to which n-distance-domination properties of a graph are preserved by the deletion of vertices, as well as the following: Let G be a connected graph of order p and let oi- S s;:; V(G). An S-n-distance-dominating set in G is a set D s;:; V(G) such that each vertex in S is n-distance-dominated by a vertex in D. The size of a smallest S-n-dominating set in G is denoted by I'n(S, G). If S satisfies I'n(S, G) = I'n(G), then S is called an n-distance-domination-forcing set of G, and the cardinality of a smallest n-distance-domination-forcing set of G is denoted by On(G). We investigate the value of On(G) for various graphs G, and we characterize graphs G for which On(G) achieves its lowest value, namely, I'n(G), and, for n = 1, its highest value, namely, p(G). A corresponding parameter, 1](G), defined by replacing the concept of n-distance-domination of vertices (above) by the concept of the covering of edges is also investigated. For k E {a, 1, ... ,rad(G)}, the set S is said to be a k-radius-forcing set if, for each v E V(G), there exists Vi E S with dG(v, Vi) ~ k. The cardinality of a smallest k-radius-forcing set of G is called the k-radius-forcing number of G and is denoted by Pk(G). We investigate the value of Prad(G) for various classes of graphs G, and we characterize graphs G for which Prad(G) and Pk(G) achieve specified values. We show that the problem of determining Pk(G) is NP-complete, study the sequences (Po(G),Pl(G),P2(G), ... ,Prad(G)(G)), and we investigate the relationship between Prad(G)(G) and Prad(G)(G + e), and between Prad(G)(G + e) and the connectivity of G, for an edge e of the complement of G. Finally, we characterize integral triples representing realizable values of the triples b,i,p), b,l't,i), b,l'c,p), b,l't,p) and b,l't,l'c) for a graph

Quantum nonlocality, cryptography and complexity

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Vizing's conjecture and the one-half argument

The domination number of a graph G is the smallest order, γ(G), of a dominating set for G. A conjecture of V. G. Vizing [5] states that for every pair of graphs G and H, γ(G☐H) ≥ γ(G)γ(H), where G☐H denotes the Cartesian product of G and H. We show that if the vertex set of G can be partitioned in a certain way then the above inequality holds for every graph H. The class of graphs G which have this type of partitioning includes those whose 2-packing number is no smaller than γ(G)-1 as well as the collection of graphs considered by Barcalkin and German in [1]. A crucial part of the proof depends on the well-known fact that the domination number of any connected graph of order at least two is no more than half its order