arXiv++ Combinatorics

A complete subgraph of a given graph is called a clique. A clique Polynomial of a graph is a generating function of the number of cliques in $G$. A real root of the clique polynomial of a graph $G$ is called a \emph{clique root} of $G$. \\ Hajiabolhassan and Mehrabadi showed that the clique polynomial of any simple graph has a clique root in $[-1,0)$. As a generalization of their result, the author of this paper showed that the class of $K_{4}$-free connected chordal graphs has also only clique roots. \\ A given graph $G$ is called flat if each edge of $G$ belongs to at most two triangles of $G$. In answering the author's open question about the class of \emph{non-chordal} graphs with the same property of having only c;ique roots, we extend the aforementioned result to the class of $K_{4}$-free flat graphs. In particular, we prove that the class of $K_{4}$-free flat graphs without isolated edges has $r=-1$ as one of its clique roots. We finally present some interesting open questions and conjectures regarding clique roots of graphs.

The color refinement algorithm is mainly known as a heuristic method for graph isomorphism testing. It has surprising but natural characterizations in terms of, for example, homomorphism counts from trees and solutions to a system of linear equations. Grebík and Rocha (2022) have recently shown how color refinement and notions that characterize it generalize to graphons, which emerged as limit objects in the theory of dense graph limits. In particular, they show that these characterizations are still equivalent in the graphon case. The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a more powerful variant of color refinement that colors $k$-tuples instead of single vertices, where the terms $1$-WL and color refinement are often used interchangeably since they compute equivalent colorings. We show how to adapt the result of Grebík and Rocha to $k$-WL or, in other words, how $k$-WL and its characterizations generalize to graphons. In particular, we obtain characterizations in terms of homomorphism densities from multigraphs of bounded treewidth and linear equations. We give a simple example that parallel edges make a difference in the more general case of graphons, which means that, there, the equivalence between $1$-WL and color refinement does not hold anymore. We also show how this equivalence can be recovered by defining a variant of $k$-WL that corresponds to homomorphism densities from simple graphs of bounded treewidth.

We consider the single-conflict coloring problem, a graph coloring problem in which each edge of a graph receives a forbidden ordered color pair. The task is to find a vertex coloring such that no two adjacent vertices receive a pair of colors forbidden at an edge joining them. We show that for any assignment of forbidden color pairs to the edges of a $d$-degenerate graph $G$ on $n$ vertices of edge-multiplicity at most $\log \log n$, $O(\sqrt{ d } \log n)$ colors are always enough to color the vertices of $G$ in a way that avoids every forbidden color pair. This answers a question of Dvořák, Esperet, Kang, and Ozeki for simple graphs (Journal of Graph Theory 2021).

The edge clique cover number $ecc(G)$ of a graph $G$ is the size of the smallest set of complete subgraphs whose union covers all edges of $G$. It has been conjectured that all the simple graphs with independence number two satisfy $ecc(G)\leq n$. First, we present a class of graphs containing edges difficult to cover but that satisfy the conjecture. Second, we describe a large class of graphs $G$ such that $ecc(G)\leq \frac{3}{2}n$. This class is easy to characterize.

The Brauldi-Hoffman conjecture, proved by Rowlinson in 1988, characterized the graph with maximal spectral radius among all simple graphs with prescribed number of edges. In 2008, Bhattacharya, Friedland, and Peled proposed an analog, which will be called the BFP conjecture in the following, of the Brauldi-Hoffman conjecture for the bipartite graphs with fixed numbers of edges in the graph and vertices in the bipartition. The BFP conjecture was proved to be correct if the number of edges is large enough by several authors. However, in this paper we provide some counterexamples of the BFP conjecture.

This paper deals with the $λ$-labeling and $L(2,1)$-coloring of simple graphs. A $λ$-labeling of a graph $G$ is any labeling of the vertices of $G$ with different labels such that any two adjacent vertices receive labels which differ at least two. Also an $L(2,1)$-coloring of $G$ is any labeling of the vertices of $G$ such that any two adjacent vertices receive labels which differ at least two and any two vertices with distance two receive distinct labels. Assume that a partial $λ$-labeling $f$ is given in a graph $G$. A general question is whether $f$ can be extended to a $λ$-labeling of $G$. We show that the extension is feasible if and only if a Hamiltonian path consistent with some distance constraints exists in the complement of $G$. Then we consider line graph of bipartite multigraphs and determine the minimum number of labels in $L(2,1)$-coloring and $λ$-labeling of these graphs. In fact we obtain easily computable formulas for the path covering number and the maximum path of the complement of these graphs. We obtain a polynomial time algorithm which generates all Hamiltonian paths in the related graphs. A special case is the Cartesian product graph $K_n\Box K_n$ and the generation of $λ$-squares.

Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$. The cardinality of a smallest co-even dominating set of $G$, denoted by $γ_{coe}(G)$, is the co-even domination number of $G$. In this paper, we find more results on co-even domination number of graphs and count the number of co-even dominating sets of some specific graphs.

Real-world networks evolve over time via additions or removals of vertices and edges. In current network evolution models, vertex degree varies or grows arbitrarily. A recently introduced degree-preserving network growth (DPG) family of models preserves vertex degree, resulting in structures significantly different from and more diverse than previous models ([Nature Physics 2021, DOI: 10.1038/s41567-021-01417-7]). Despite its degree preserving property, the DPG model is able to replicate the output of several well-known real-world network growth models. Simulations showed that many well-studied real-world networks can be constructed from small seed graphs. Here we start the development of a rigorous mathematical theory underlying the DPG family of network growth models. We prove that the degree sequence of the output of some of the well-known, real-world network growth models can be reconstructed via the DPG process, using proper parametrization. We also show that the general problem of deciding whether a simple graph can be obtained via the DPG process from a small seed (DPG feasibility) is, as expected, NP-complete. It is an important open problem to uncover whether there is a structural reason behind the DPG-constructibility of real-world networks.

Graph operations are crucial for building complicated network architectures from simple graphs. In [7], authors defined two new variants of Corona product and investigated some topological indices. In this paper, we extended the work and found the formulas of forgotten, first hyper Zagreb, and reduced second Zagreb indices for Corona join product and sub-division vertex join products of graphs.

In the Roman domination problem, an undirected simple graph $G(V,E)$ is given. The objective of Roman domination problem is to find a function $f:V\rightarrow {\{0,1,2\}}$ such that for any vertex $v\in V$ with $f(v)=0$ must be adjacent to at least one vertex $u\in V$ with $f(u)=2$ and $\sum_{u\in V} f(u)$, called Roman domination number, is minimized. It is already proven that the Roman domination problem (RDP) is NP-complete for general graphs and it remains NP-complete for bipartite graphs. In this paper, we propose a dynamic programming based polynomial time algorithm for RDP in convex bipartite graph.

Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$. The cardinality of a smallest co-even dominating set of $G$, denoted by $γ_{coe}(G)$, is the co-even domination number of $G$. In this paper we study co-even domination number of graphs which constructed by some operations on a vertex or an edge of a graph.

Let $G=(V(G),E(G))$ be a simple graph. A restrained double Roman dominating function (RDRD-function) of $G$ is a function $f: V(G) \rightarrow \{0,1,2,3\}$ satisfying the following properties: if $f(v)=0$, then the vertex $v$ has at least two neighbours assigned 2 under $f$ or one neighbour $u$ with $f(u)=3$; and if $f(v)=1$, then the vertex $v$ must have one neighbor $u$ with $f(u) \geq 2$; the induced graph by vertices assigned 0 under $f$ contains no isolated vertex. The weight of a RDRD-function $f$ is the sum $f(V)=\sum_{v \in V(G)} f(v)$, and the minimum weight of a RDRD-function on $G$ is the restrained double Roman domination number (RDRD-number) of $G$, denoted by $γ_{rdR}(G)$. In this paper, we first prove that the problem of computing RDRD-number is NP-hard even for chordal graphs. And then we study the impact of some graph operations, such as strong product, cardinal product and corona with a graph, on restrained double Roman domination number.

In the minimum $k$-cut problem, we want to find the minimum number of edges whose deletion breaks the input graph into at least $k$ connected components. The classic algorithm of Karger and Stein runs in $\tilde O(n^{2k-2})$ time, and recent, exciting developments have improved the running time to $O(n^k)$. For general, weighted graphs, this is tight assuming popular hardness conjectures. In this work, we show that perhaps surprisingly, $O(n^k)$ is not the right answer for simple, unweighted graphs. We design an algorithm that runs in time $O(n^{(1-ε)k})$ where $ε>0$ is an absolute constant, breaking the natural $n^k$ barrier. This establishes a separation of the two problems in the unweighted and weighted cases.

Generalized integer splines on a graph $G$ with integer edge weights are integer vertex labelings such that if two vertices share an edge in $G$, the vertex labels are congruent modulo the edge weight. We introduce collapsing operations that reduce any simple graph to a single vertex, carrying with it the edge weight information. This corresponds to a sequence of surjective maps between the associated spline modules, leading to an explicit construction of a module basis in terms of the edge weights.

To any simple graph $G$, the clique graph operator $K$ associates the graph $K(G)$ which is the intersection graph of the maximal complete subgraphs of $G$. The iterated clique graphs are defined by $K^{0}(G)=G$ and $K^{n}(G)=K(K^{n-1}(G))$ for $n\geq 1$. If there are $m<n$ such that $K^{m}(G)$ is isomorphic to $K^{n}(G)$ we say that $G$ is convergent, otherwise, $G$ is divergent. The first example of a divergent graph was shown by Neumann-Lara in the 1970s, and is the graph of the octahedron. In this paper, we prove that among the connected graphs with maximum degree 4, the octahedron is the only one that is divergent.

Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$. The cardinality of a smallest co-even dominating set of $G$, denoted by $γ_{coe}(G)$, is the co-even domination number of $G$. In this paper, we study the co-even domination number of some binary operations on graphs.

For a undirected simple graph $G$, let $d_i(G)$ be the number of $i$-element dominating vertex set of $G$. The domination polynomial of the graph $G$ is defined as $$D(G, x) = \sum_{i = 1}^n d_i(G)x^i.$$ Alikhani and Peng conjectured that $D(G, x)$ is unimodal for any graph $G$. Answering a proposal of Beaton and Brown, we show that $D(G, x)$ is unimodal when $G$ has at least $2^{13}$ vertices and has a universal vertex, which is a vertex adjacent to any other vertex of $G$. We further determine possible locations of the mode.

Among other things, it is shown that for every pair of positive integers $r$, $d$, satisfying $1<r<d\leq 2r$, and every finite simple graph $H,$ there is a connected graph $G$ with diameter $d$, radius $r$, and center $H.$

The inclusion ideal graph $\mathcal{I}n(S)$ of a semigroup $S$ is an undirected simple graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if either $I \subset J$ or $J \subset I$. The purpose of this paper is to study algebraic properties of the semigroup $S$ as well as graph theoretic properties of $\mathcal{I}n(S)$. In this paper, we investigate the connectedness of $\mathcal{I}n(S)$. We show that diameter of $\mathcal{I}n(S)$ is at most $3$ if it is connected. We also obtain a necessary and sufficient condition of $S$ such that the clique number of $\mathcal{I}n(S)$ is $n$, where $n$ is the number of minimal left ideals of $S$. Further, various graph invariants of $\mathcal{I}n(S)$ viz. perfectness, planarity, girth etc. are discussed. For a completely simple semigroup $S$, we investigate various properties of $\mathcal{I}n(S)$ including its independence number and matching number. Finally, we obtain the automorphism group of $\mathcal{I}n(S)$.

Let $H$ and $G$ be graphs. An $H$-colouring of $G$ is a proper edge-colouring $f:E(G)\rightarrow E(H)$ such that for any vertex $u\in V(G)$ there exists a vertex $v\in V(H)$ with $f\left (\partial_Gu\right )=\partial_Hv$, where $\partial_Gu$ and $\partial_Hv$ respectively denote the sets of edges in $G$ and $H$ incident to the vertices $u$ and $v$. If $G$ admits an $H$-colouring we say that $H$ colours $G$. The question whether there exists a graph $H$ that colours every bridgeless cubic graph is addressed directly by the Petersen Colouring Conjecture, which states that the Petersen graph colours every bridgeless cubic graph. In 2012, Mkrtchyan showed that if this conjecture is true, the Petersen graph is the unique connected bridgeless cubic graph $H$ which can colour all bridgeless cubic graphs. In this paper we extend this and show that if we were to remove all degree conditions on $H$, every bridgeless cubic graph $G$ can be coloured substantially only by a unique other graph: the subcubic multigraph $S_{4}$ on four vertices. A few similar results are provided also under weaker assumptions on the graph $G$. In the second part of the paper, we also consider $H$-colourings of regular graphs having degree strictly greater than $3$ and show that: (i) for any $r>3$, there does not exist a connected graph $H$ (possibly containing parallel edges) that colours every $r$-regular multigraph, and (ii) for every $r>1$, there does not exist a connected graph $H$ (possibly containing parallel edges) that colours every $2r$-regular simple graph.