1,371 research outputs found
List homomorphism problems for signed graphs
We consider homomorphisms of signed graphs from a computational perspective.
In particular, we study the list homomorphism problem seeking a homomorphism of
an input signed graph , equipped with lists , of allowed images, to a fixed target signed graph . The
complexity of the similar homomorphism problem without lists (corresponding to
all lists being ) has been previously classified by Brewster and
Siggers, but the list version remains open and appears difficult. We illustrate
this difficulty by classifying the complexity of the problem when is a tree
(with possible loops). The tools we develop will be useful for classifications
of other classes of signed graphs, and we illustrate this by classifying the
complexity of irreflexive signed graphs in which the unicoloured edges form
some simple structures, namely paths or cycles. The structure of the signed
graphs in the polynomial cases is interesting, suggesting they may constitute a
nice class of signed graphs analogous to the so-called bi-arc graphs (which
characterize the polynomial cases of list homomorphisms to unsigned graphs).Comment: various changes + rewritten section on path- and cycle-separable
graphs based on a new conference submission (split possible in future
List Homomorphism Problems for Signed Graphs
We consider homomorphisms of signed graphs from a computational perspective. In particular, we study the list homomorphism problem seeking a homomorphism of an input signed graph (G,?), equipped with lists L(v) ? V(H), v ? V(G), of allowed images, to a fixed target signed graph (H,?). The complexity of the similar homomorphism problem without lists (corresponding to all lists being L(v) = V(H)) has been previously classified by Brewster and Siggers, but the list version remains open and appears difficult. Both versions (with lists or without lists) can be formulated as constraint satisfaction problems, and hence enjoy the algebraic dichotomy classification recently verified by Bulatov and Zhuk. By contrast, we seek a combinatorial classification for the list version, akin to the combinatorial classification for the version without lists completed by Brewster and Siggers. We illustrate the possible complications by classifying the complexity of the list homomorphism problem when H is a (reflexive or irreflexive) signed tree. It turns out that the problems are polynomial-time solvable for certain caterpillar-like trees, and are NP-complete otherwise. The tools we develop will be useful for classifications of other classes of signed graphs, and we mention some follow-up research of this kind; those classifications are surprisingly complex
Min orderings and list homomorphism dichotomies for signed and unsigned graphs
The CSP dichotomy conjecture has been recently established, but a number of
other dichotomy questions remain open, including the dichotomy classification
of list homomorphism problems for signed graphs. Signed graphs arise naturally
in many contexts, including for instance nowhere-zero flows for graphs embedded
in non-orientable surfaces. For a fixed signed graph , the list
homomorphism problem asks whether an input signed graph with
lists admits a
homomorphism to with all .
Usually, a dichotomy classification is easier to obtain for list
homomorphisms than for homomorphisms, but in the context of signed graphs a
structural classification of the complexity of list homomorphism problems has
not even been conjectured, even though the classification of the complexity of
homomorphism problems is known.
Kim and Siggers have conjectured a structural classification in the special
case of "weakly balanced" signed graphs. We confirm their conjecture for
reflexive and irreflexive signed graphs; this generalizes previous results on
weakly balanced signed trees, and weakly balanced separable signed graphs. In
the reflexive case, the result was first presented in a paper of Kim and
Siggers, where the proof relies on a result in this paper. The irreflexive
result is new, and its proof depends on first deriving a theorem on extensions
of min orderings of (unsigned) bipartite graphs, which is interesting on its
own
Spectral preorder and perturbations of discrete weighted graphs
In this article, we introduce a geometric and a spectral preorder relation on
the class of weighted graphs with a magnetic potential. The first preorder is
expressed through the existence of a graph homomorphism respecting the magnetic
potential and fulfilling certain inequalities for the weights. The second
preorder refers to the spectrum of the associated Laplacian of the magnetic
weighted graph. These relations give a quantitative control of the effect of
elementary and composite perturbations of the graph (deleting edges,
contracting vertices, etc.) on the spectrum of the corresponding Laplacians,
generalising interlacing of eigenvalues.
We give several applications of the preorders: we show how to classify graphs
according to these preorders and we prove the stability of certain eigenvalues
in graphs with a maximal d-clique. Moreover, we show the monotonicity of the
eigenvalues when passing to spanning subgraphs and the monotonicity of magnetic
Cheeger constants with respect to the geometric preorder. Finally, we prove a
refined procedure to detect spectral gaps in the spectrum of an infinite
covering graph.Comment: 26 pages; 8 figure
Some Problems in Graph Coloring: Methods, Extensions and Results
The « Habilitation aÌ Diriger des Recherches » is the occasion to look back on my research work since the end of my PhD thesis in 2006. I will not present all my results in this manuscript but a selection of them: this will be an overview of eleven papers which have been published in international journals or are submitted and which are included in annexes. These papers have been done with different coauthors: Marthe Bonamy, Daniel Gonçalves, Benjamin LeÌveÌque, Amanda Montejano, MickaeÌl Montassier, Pascal Ochem, AndreÌ Raspaud, Sagnik Sen and EÌric Sopena. I would like to thanks them without whom this work would never have been possible. I also take this opportunity to thank all my other co-authors: Luigi Addario-Berry, François Dross, Louis Esperet, FreÌdeÌric Havet, Ross Kang, Daniel KraÌlâ, Colin McDiarmid, MichaeÌl Rao, Jean-SeÌbastien Sereni and SteÌphan ThomasseÌ. Working with you is always a pleasure !Since the beginning of my PhD, I have been interested in various fields of graph theory, but the main topic that I work on is the graph coloring. In particular, I have studied problems such as the oriented coloring, the acyclic coloring, the signed coloring, the square coloring, . . . It is then natural that this manuscript gathers results on graph coloring. It is divided into three chapters. Each chapter is dedicated to a method of proof that I have been led to use for my research works and that has given results described in this manuscript. We will present each method, some extensions and the related results. The lemmas, theorems, and others which I took part are shaded in this manuscript.# The entropy compression method.In the first chapter, we present a recent tool dubbed the entropy compression method which is based on the LovaÌsz Local Lemma. The LovaÌsz Local Lemma was introduced in the 70âs to prove results on 3-chromatic hypergraphs [EL75]. It is a remarkably powerful probabilistic method to prove the existence of combinatorial objects satisfying a set of constraints expressed as a set of bad events which must not occur. However, one of the weakness of the LovaÌsz Local Lemma is that it does not indicate how to efficiently avoid the bad events in practice.A recent breakthrough by Moser and Tardos [MT10] provides algorithmic version of the LovaÌsz Local Lemma in quite general circumstances. To do so, they used a new species of monotonicity argument dubbed the entropy compression method. This Moser and Tardosâ result was really inspiring and Grytczuk, Kozik and Micek [GKM13] adapted the technique for a problem on combi- natorics on words. This nice adaptation seems to be applicable to coloring problems, but not only, whenever the LovaÌsz Local Lemma is, with the benefits of providing better bounds. For example, the entropy compression method has been used to get bounds on non-repetitive coloring [DJKW14] that improve previous results using the LovaÌsz Local Lemma and on acyclic-edge coloring [EP13].In this context, we developed a general framework that can be applied to most of coloring problems. We then applied this framework and we get the best known bounds, up to now, for the acyclic chromatic number of graphs with bounded degree, non-repetitive chromatic number of graphs with bounded degree, facial Thue chromatic index of planar graphs, ... We also applied the entropy compression method to problems on combinatorics on words: we recently solved an old conjecture on pattern avoidance.# Graph homomorphisms and graph coloringsIn this chapter, we present some notions of graph colorings from the point of view of graph homomorphisms. It is well-known that a proper k-coloring of a simple graph G corresponds to a homomorphism of G to Kk. Considering homomorphisms from a more general context, we get a natural extension of the classical notion of coloring. We present in this chapter the notion of homomorphism of (n,m)-colored mixed graphs (graphs with arcs of n different types and edges of m different types) and the related notions of coloring. This has been introduced by NesÌetrÌil and Raspaud [NR00] in 2000 as a generalization of the classical notion of homomorphism. We then present two special cases, namely homomorphisms of (1, 0)-colored mixed graphs (which are known as oriented homomorphisms) and homomorphisms of (0,2)-colored mixed graphs (which are known as signed homomorphisms).While dealing with homomorphisms of graphs, one of the important tools is the notion of universal graphs: given a graph family F, a graph H is F-universal if each member of F admits a homomorphism to H. When H is F-universal, then the chromatic number of any member of F is upper-bounded by the number of vertices of H. We study some well-known families of universal graphs and we list their structural properties. Using these properties, we give some results on graph families such as bounded degree graphs, forests, partial k-trees, maximum average degree bounded graphs, planar graphs (with given girth), outerplanar graphs (with given girth), . . .Among others, we will present the Tromp construction which defines well known families of oriented and signed universal graphs. One of our major contributions is to study the properties of Tromp graphs and use them to get upper bounds for the oriented chromatic number and the signed chromatic number. In particular, up to now, we get the best upper bounds for the oriented chromatic number of planar graphs with girth 4 and 5: we get these bounds by showing that every graph of these two families admits an oriented homomorphism to some Tromp graph. We also get tight bounds for the signed chromatic number of several graph families, among which the family of partial 3-trees which admits a signed homomorphism to some Tromp graph.# Coloring the square of graphs with bounded maximum average degree using the discharging methodThe discharging method was introduced in the early 20th century, and is essentially known for being used by Appel, Haken and Kock [AH77, AHK77] in 1977 in order to prove the Four- Color-Theorem. More precisely, this technique is usually used to prove statements in structural graph theory, and it is commonly applied in the context of planar graphs and graphs with bounded maximum average degree.The principle is the following. Suppose that, given a set S of configurations, we want to prove that a graph G necessarily contains one of the configuration of S. We assign a charge Ï to some elements of G. Using global information on the structure of G, we are able to compute the total sum of the charges Ï(G). Then, assuming G does not contain any configuration from S, the discharging method redistributes the charges following some discharging rules (the discharging process ensures that no charge is lost and no charge is created). After the discharging process, we are able to compute the total sum of the new charges Ïâ(G). We then get a contradiction by showing that Ï(G) Ìž= Ïâ(G).Initially, the discharging method was used as a local discharging method. This means that the discharging rules was designed so that an element redistributes its charge in its neighborhood. However, in certain cases, the whole graph contains enough charge but this charge can be arbitrarily far away from the elements that are negative. In the last decade, the global discharging method has been designed. This notion of global discharging was introduced by Borodin, Ivanova and Kostochka [BIK07]. A discharging method is global when we consider arbitrarily large structures and make some charges travel arbitrarily far along those structures. In some sense, these techniques of global discharging can be viewed as the start of the âsecond generationâ of the discharging method, expanding its use to more difficult problems.The aim of this chapter is to present this method, in particular some progresses from the last decade, i.e. global discharging. To illustrate these progresses, we will consider the coloring of the square of graphs with bounded maximum average degree for which we obtained new results using the global discharging method. Coloring the square of a graph G consists to color its vertices so that two vertices at distance at most 2 get distinct colors (i.e. two adjacent vertices get distinct colors and two vertices sharing a common neighbor get distinct colors). This clearly corresponds to a proper coloring of the square of G. This coloring is called a 2-distance coloring. It is clear that we need at least â + 1 colors for any 2-distance coloring since a vertex of degree â together with its â neighbors form a set of â + 1 vertices which must get distinct colors. We investigate this coloring notion for graphs with bounded maximum average degree and we characterize two thresholds. We prove that, for sufficiently large â, graphs with maximum degree â and maximum average degree less that 3 â epsilon (for any epsilon > 0) admit a 2-distance coloring with â + 1 colors. For maximum average degree less that 4 â epsilon, we prove that â + C colors are enough (where C is a constant not depending on â). Finally, for maximum average degree at least 4, it is already known that CâČâ colors are enough. Therefore, thresholds of 3 â epsilon and 4 â epsilon are tight
- âŠ