A Creative Review on Coprime (Prime) Graphs

Coprime labelings and Coprime graphs have been of interest since 1980s and got popularized by the Entringer-Tout Tree Conjecture. Around the same time Newman's coprime mapping conjecture was settled by Pomerance and Selfridge. This result was further extended to integers in arithmetic progression. Since then coprime graphs were studied for various combinatorial properties. Here, coprimality of graphs for classes of graphs under the themes: Bipartite with special attention to Acyclicity, Eulerian and Regularity. Extremal graphs under non-coprimality and Eulerian properties are studied. Embeddings of coprime graphs in the general graphs, the maximum coprime graph and the Eulerian coprime graphs are studied as subgraphs and induced subgraphs. The purpose of this review is to assimilate the available works on coprime graphs. The results in the context of these themes are reviewed including embeddings and extremal problems

Coloring, List Coloring, and Painting Squares of Graphs (and other related problems)

We survey work on coloring, list coloring, and painting squares of graphs; in particular, we consider strong edge-coloring. We focus primarily on planar graphs and other sparse classes of graphs.Comment: 32 pages, 13 figures and tables, plus 195-entry bibliography, comments are welcome, published as a Dynamic Survey in Electronic Journal of Combinatoric

Labeling of graphs, sumset of squares of units modulo n and resonance varieties of matroids

This thesis investigates problems in a number of different areas of graph theory and its applications in other areas of mathematics. Motivated by the 1-2-3-Conjecture, we consider the closed distinguishing number of a graph G, denoted by dis[G]. We provide new upper bounds for dis[G] by using the Combinatorial Nullstellensatz. We prove that it is NP-complete to decide for a given planar subcubic graph G, whether dis[G] = 2. We show that for each integer t there is a bipartite graph G such that dis[G] \u3e t. Then some polynomial time algorithms and NP-hardness results for the problem of partitioning the edges of a graph into regular and/or locally irregular subgraphs are presented. We then move on to consider Johnson graphs to find resonance varieties of some classes of sparse paving matroids. The last application we consider is in number theory, where we find the number of solutions of the equation x21 + _ _ _ + x2 k = c, where c 2 Zn, and xi are all units in the ring Zn. Our approach is combinatorial using spectral graph theory

Boundary properties of graphs

A set of graphs may acquire various desirable properties, if we apply suitable restrictions on the set. We investigate the following two questions: How far, exactly, must one restrict the structure of a graph to obtain a certain interesting property? What kind of tools are helpful to classify sets of graphs into those which satisfy a property and those that do not? Equipped with a containment relation, a graph class is a special example of a partially ordered set. We introduce the notion of a boundary ideal as a generalisation of a notion introduced by Alekseev in 2003, to provide a tool to indicate whether a partially ordered set satisfies a desirable property or not. This tool can give a complete characterisation of lower ideals defined by a finite forbidden set, into those that satisfy the given property and to those that do not. In the case of graphs, a lower ideal with respect to the induced subgraph relation is known as a hereditary graph class. We study three interrelated types of properties for hereditary graph classes: the existence of an efficient solution to an algorithmic graph problem, the boundedness of the graph parameter known as clique-width, and well-quasi-orderability by the induced subgraph relation. It was shown by Courcelle, Makowsky and Rotics in 2000 that, for a graph class, boundedness of clique-width immediately implies an efficient solution to a wide range of algorithmic problems. This serves as one of the motivations to study clique-width. As for well-quasiorderability, we conjecture that every hereditary graph class that is well-quasi-ordered by the induced subgraph relation also has bounded clique-width. We discover the first boundary classes for several algorithmic graph problems, including the Hamiltonian cycle problem. We also give polynomial-time algorithms for the dominating induced matching problem, for some restricted graph classes. After discussing the special importance of bipartite graphs in the study of clique-width, we describe a general framework for constructing bipartite graphs of large clique-width. As a consequence, we find a new minimal class of unbounded clique-width. We prove numerous positive and negative results regarding the well-quasi-orderability of classes of bipartite graphs. This completes a characterisation of the well-quasi-orderability of all classes of bipartite graphs defined by one forbidden induced bipartite subgraph. We also make considerable progress in characterising general graph classes defined by two forbidden induced subgraphs, reducing the task to a small finite number of open cases. Finally, we show that, in general, for hereditary graph classes defined by a forbidden set of bounded finite size, a similar reduction is not usually possible, but the number of boundary classes to determine well-quasi-orderability is nevertheless finite. Our results, together with the notion of boundary ideals, are also relevant for the study of other partially ordered sets in mathematics, such as permutations ordered by the pattern containment relation

Graph Theory

This is the report on an Oberwolfach conference on graph theory, held 16-22 January 2005. There were three main components to the event: 5-minute presentations, lectures, and workshops. All participants were asked to give a 5-minute presentation of their interests on the first day, and subsequent days were divided into lectures and workshops. The latter ranged over many different topics, but the main three topics were: infinite graphs, topological methods and their use to prove theorems in graph theory, and Rota’s conjecture for matroids

Boundary properties of graphs

A set of graphs may acquire various desirable properties, if we apply suitable restrictions on the set. We investigate the following two questions: How far, exactly, must one restrict the structure of a graph to obtain a certain interesting property? What kind of tools are helpful to classify sets of graphs into those which satisfy a property and those that do not? Equipped with a containment relation, a graph class is a special example of a partially ordered set. We introduce the notion of a boundary ideal as a generalisation of a notion introduced by Alekseev in 2003, to provide a tool to indicate whether a partially ordered set satisfies a desirable property or not. This tool can give a complete characterisation of lower ideals defined by a finite forbidden set, into those that satisfy the given property and to those that do not. In the case of graphs, a lower ideal with respect to the induced subgraph relation is known as a hereditary graph class. We study three interrelated types of properties for hereditary graph classes: the existence of an efficient solution to an algorithmic graph problem, the boundedness of the graph parameter known as clique-width, and well-quasi-orderability by the induced subgraph relation. It was shown by Courcelle, Makowsky and Rotics in 2000 that, for a graph class, boundedness of clique-width immediately implies an efficient solution to a wide range of algorithmic problems. This serves as one of the motivations to study clique-width. As for well-quasiorderability, we conjecture that every hereditary graph class that is well-quasi-ordered by the induced subgraph relation also has bounded clique-width. We discover the first boundary classes for several algorithmic graph problems, including the Hamiltonian cycle problem. We also give polynomial-time algorithms for the dominating induced matching problem, for some restricted graph classes. After discussing the special importance of bipartite graphs in the study of clique-width, we describe a general framework for constructing bipartite graphs of large clique-width. As a consequence, we find a new minimal class of unbounded clique-width. We prove numerous positive and negative results regarding the well-quasi-orderability of classes of bipartite graphs. This completes a characterisation of the well-quasi-orderability of all classes of bipartite graphs defined by one forbidden induced bipartite subgraph. We also make considerable progress in characterising general graph classes defined by two forbidden induced subgraphs, reducing the task to a small finite number of open cases. Finally, we show that, in general, for hereditary graph classes defined by a forbidden set of bounded finite size, a similar reduction is not usually possible, but the number of boundary classes to determine well-quasi-orderability is nevertheless finite. Our results, together with the notion of boundary ideals, are also relevant for the study of other partially ordered sets in mathematics, such as permutations ordered by the pattern containment relation.EThOS - Electronic Theses Online ServiceEngineering and Physical Sciences Research Council (EPSRC)University of Warwick. Centre for Discrete Mathematics and its Applications (DIMAP)GBUnited Kingdo

A general decomposition theory for the 1-2-3 Conjecture and locally irregular decompositions

International audienceHow can one distinguish the adjacent vertices of a graph through an edge-weighting? In the last decades, this question has been attracting increasing attention, which resulted in the active field of distinguishing labellings. One of its most popular problems is the one where neighbours must be distinguishable via their incident sums of weights. An edge-weighting verifying this is said neighbour-sum-distinguishing. The popularity of this notion arises from two reasons. A first one is that designing a neighbour-sum-distinguishing edge-weighting showed up to be equivalent to turning a simple graph into a locally irregular (i.e., without neighbours with the same degree) multigraph by adding parallel edges, which is motivated by the concept of irregularity in graphs. Another source of popularity is probably the influence of the famous 1-2-3 Conjecture, which claims that such weightings with weights in {1,2,3} exist for graphs with no isolated edge. The 1-2-3 Conjecture has recently been investigated from a decompositional angle, via so-called locally irregular decompositions, which are edge-partitions into locally irregular subgraphs. Through several recent studies, it was shown that this concept is quite related to the 1-2-3 Conjecture. However, the full connexion between all those concepts was not clear. In this work, we propose an approach that generalizes all concepts above, involving coloured weights and sums. As a consequence, we get another interpretation of several existing results related to the 1-2-3 Conjecture. We also come up with new related conjectures, to which we give some support

ADE surfaces and their moduli

We define a class of surfaces corresponding to the ADE root lattices and construct compactifications of their moduli spaces as quotients of projective varieties for Coxeter fans, generalizing Losev-Manin spaces of curves. We exhibit modular families over these moduli spaces, which extend to families of stable pairs over the compactifications. One simple application is a geometric compactification of the moduli of rational elliptic surfaces that is a finite quotient of a projective toric variety.Comment: A streamlined and expanded versio