arXiv++ Combinatorics

Let $G$ be a simple graph with maximum degree $Δ(G)$ and chromatic index $χ'(G)$. A classic result of Vizing indicates that either $χ'(G )=Δ(G)$ or $χ'(G )=Δ(G)+1$. The graph $G$ is called $Δ$-critical if $G$ is connected, $χ'(G )=Δ(G)+1$ and for any $e\in E(G)$, $χ'(G-e)=Δ(G)$. Let $G$ be an $n$-vertex $Δ$-critical graph. Vizing conjectured that $α(G)$, the independence number of $G$, is at most $\frac{n}{2}$. The current best result on this conjecture, shown by Woodall, is that $α(G)<\frac{3n}{5}$. We show that for any given $\varepsilon\in (0,1)$, there exist positive constants $d_0(\varepsilon)$ and $D_0(\varepsilon)$ such that if $G$ is an $n$-vertex $Δ$-critical graph with minimum degree at least $d_0$ and maximum degree at least $D_0$, then $α(G)<(\frac{1}{2}+\varepsilon)n$. In particular, we show that if $G$ is an $n$-vertex $Δ$-critical graph with minimum degree at least $d$ and $Δ(G)\ge (d+2)^{5d+10}$, then \[ α(G) < \left. \begin{cases} \frac{7n}{12}, & \text{if $d= 3$; } \frac{4n}{7}, & \text{if $d= 4$; } \frac{d+2+\sqrt[3]{(d-1)d}}{2d+4+\sqrt[3]{(d-1)d}}n<\frac{4n}{7}, & \text{if $d\ge 19$. } \end{cases} \right. \]

For any undirected and simple graph G = (V;E), where V denotes the vertex set and E the edge set of G. G is called hamiltonian if it contains a cycle that visits each vertex of G exactly once. Ore (1960) proved that G is hamiltonian if degG(u) + degG(v) >= n holds for every nonadjacent pair of vertices u and v in V, where n is the total number of distinct vertices of G. Kao et al. (2012) proved that any graph G satisfying Ore's theorem remains hamiltonian after the removal of any vertex x in V unless G belongs to one of the two exceptional families of graphs. In this paper, we proved that in fact, any graph satisfying Ore's theorem remains hamiltonian after the removal of two vertices x, y in V unless G belongs to one of the nine exceptional families of graphs.

Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper, we obtain upper bounds for the Castelnuovo-Mumford regularity of $I(G)^q$ in terms of certain combinatorial invariants associated with $G$. We also prove a weaker version of a conjecture by Alilooee, Banerjee, Beyarslan and Hà on an upper bound for the regularity of $I(G)^q$ and we prove the conjectured upper bound for the class of vertex decomposable graphs. Using these results, we explicitly compute the regularity of $I(G)^q$ for several classes of graphs.

Let $G=$ $\left( V,E\right) $ be a simple graph.\ A non-empty set $S \subseteq V$ is called a global offensive alliance if $S$ is a dominating set and for every vertex $v$ in $V-S$, at least half of the vertices from the closed neighborhood of $v$ are in $S$. The global offensive alliance number is the minimum cardinality of a global offensive alliance in $G$. In this paper, we give a constructive characterization of trees having a unique minimum global offensive alliance.

In this paper we introduce a spectra preserving relation between graphs with loops and graphs without loops. This relation is achieved in two steps. First, by generalizing spectra results got on (m, k)-stars to a wider class of graphs, the (m, k, s)-stars with or without loops. Second, by defining a covering space of graphs with loops that allows to remove the presence of loops by increasing the graph dimension. The equivalence of the two class of graphs allows to study graph with loops as simple graph without loosing information.

In the cops and robber games played on a simple graph $G$, Aigner and Fromme's lemma states that one cop can guard a shortest path in the sense that the robber cannot enter this path without getting caught after finitely many steps. In this paper, we extend Aigner and Fromme's lemma to cover a larger family of graphs and give metric characterizations of these graphs. In particular, we show that a generalization of block graphs, namely vertebrate graphs, are 1-guardable. We use this result to give the cop number of some special class of multi-layer generalized Peterson graphs.

We study the family of \emph{derangement action digraphs}, which are a subfamily of the group action graphs introduced in [Fred Annexstein, Marc Baumslag, and Arnold L. Rosenberg, Group action graphs and parallel architectures, \emph{SIAM J. Comput.} 19 (1990), no. 3, 544--569]. For any non-empty set $X$ and a non-empty subset $S$ of $\Der(X)$, the set of derangments of $X$, we define the derangement action digraph $\rm\overrightarrow{DA}(X;S)$ to have vertex set $X$, and an arc from $x$ to $y$ if and only if $y=x^s$ for some $s\in S$. In common with Cayley graphs and digraphs, derangement action digraphs may be useful to model networks as the same routing and communication scheme can be implemented at each vertex. We determine necessary and sufficient conditions on $S$ under which $\rm\overrightarrow{DA}(X;S)$ may be viewed as a simple graph of valency $|S|$, and we call such graphs derangement action graphs. Also we investigate the structural and symmetry properties of these digraphs and graphs. Several open problems are posed and many examples are given.

Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\log g)$ as $g\to\infty$. This is sharp up to the logarithmic factor.

We derive an asymptotic formula for $A(n,j,r)$ the number of integer partitions of $n$ into at most $j$ parts each part $\le r$. We assume $j$ and $r$ are near their mean values. We also investigate the second largest part, the number of parts $\ge 2$, etc. We show that the fraction of the partitions of an even integer $n$ that are graphical, ie. whose parts form the degree sequence of a simple graph, is $O(\ln^{-1/2} n)$. Probabilistic results are used in our discussion of graphical partitions. The George Szekeres circle method is essential for our asymptotic results on partitions. We determine the distributions defined by the successive ranks of partitions, generalizing the result of Erdos and Richmond for the rank of a partition.

An equitable coloring is a proper coloring of a graph such that the sizes of the color classes differ by at most one. A graph $G$ is equitably $k$-colorable if there exists an equitable coloring of $G$ which uses $k$ colors, each one appearing on either $\lfloor |V(G)|/k \rfloor$ or $\lceil |V(G)|/k \rceil$ vertices of $G$. In 1994, Fu conjectured that for any simple graph $G$, the total graph of $G$, $T(G)$, is equitably $k$-colorable whenever $k \geq \max\{χ(T(G)), Δ(G)+2\}$ where $χ(T(G))$ is the chromatic number of the total graph of $G$ and $Δ(G)$ is the maximum degree of $G$. We investigate the list coloring analogue. List coloring requires each vertex $v$ to be colored from a specified list $L(v)$ of colors. A graph is $k$-choosable if it has a proper list coloring whenever vertices have lists of size $k$. A graph is equitably $k$-choosable if it has a proper list coloring whenever vertices have lists of size $k$, where each color is used on at most $\lceil |V(G)|/k \rceil$ vertices. In the spirit of Fu's conjecture, we conjecture that for any simple graph $G$, $T(G)$ is equitably $k$-choosable whenever $k \geq \max\{χ_l(T(G)), Δ(G)+2\}$ where $χ_l(T(G))$ is the list chromatic number of $T(G)$. We prove this conjecture for all graphs satisfying $Δ(G) \leq 2$ while also studying the related question of the equitable choosability of powers of paths and cycles.

It is known that DP-coloring is a generalization of a list coloring in simple graphs and many results in list coloring can be generalized in those of DP-coloring. In this work, we introduce a relaxed DP-coloring which is a generalization if a relaxed list coloring. We also shows that every planar graph $G$ without $4$-cycles or $6$-cycles is DP-$(k,d)^*$-colorable. It follows immediately that $G$ is $(k,d)^*$-choosable.

Distinct letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word of the form $xyxy\cdots$ (of even or odd length) or a word of the form $yxyx\cdots$ (of even or odd length). A simple graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. Thus, edges of $G$ are defined by avoiding the consecutive pattern 11 in a word representing $G$, that is, by avoiding $xx$ and $yy$. In 2017, Jeff Remmel has introduced the notion of a $k$-$11$-representable graph for a non-negative integer $k$, which generalizes the notion of a word-representable graph. Under this representation, edges of $G$ are defined by containing at most $k$ occurrences of the consecutive pattern $11$ in a word representing $G$. Thus, word-representable graphs are precisely $0$-$11$-representable graphs. Our key result in this paper is showing that any graph is $2$-$11$-representable by a concatenation of permutations, which is rather surprising taking into account that concatenation of permutations has limited power in the case of $0$-$11$-representation. Also, we show that the class of word-representable graphs, studied intensively in the literature, is contained strictly in the class of $1$-$11$-representable graphs. Another result that we prove is the fact that the class of interval graphs is precisely the class of $1$-$11$-representable graphs that can be represented by uniform words containing two copies of each letter. This result can be compared with the known fact that the class of circle graphs is precisely the class of $0$-$11$-representable graphs that can be represented by uniform words containing two copies of each letter.

A cograph is a simple graph which contains no path on 4 vertices as an induced subgraph. The vicinal preorder on the vertex set of a graph is defined in terms of inclusions among the neighborhoods of vertices. The minimum number of chains with respect to the vicinal preorder required to cover the vertex set of a graph $G$ is called the Dilworth number of $G$. We prove that for any cograph $G$, the multiplicity of any eigenvalue $λ\ne0,-1$, does not exceed the Dilworth number of $G$ and show that this bound is tight. G. F. Royle [The rank of a cograph, Electron. J. Combin. 10 (2003), Note 11] proved that if a cograph $G$ has no pair of vertices with the same neighborhood, then $G$ has no 0 eigenvalue, and asked if beside cographs, there are any other natural classes of graphs for which this property holds. We give a partial answer to this question by showing that an $H$-free family of graphs has this property if and only if it is a subclass of the family of cographs. A similar result is also shown to hold for the $-1$ eigenvalue.

The power graph $\mathcal{G}(G)$ of a group $G$ is a simple graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if one is a power of other. In this paper, we investigate the Laplacian spectrum of the power graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$ of finite abelian $p$-group $\mathbb{Z}_{p^m}^n$. In particular, we prove that the spectrum of group $\mathbb{Z}_{p^m}^n$ is contained in the Laplacian spectrum of graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$. For a finite abelian group $G$ whose power graph $\mathcal{G}(G)$ is planar, we also prove that the spectrum of group $G$ is contained in the Laplacian spectrum of graph $\mathcal{G}(G)$.

The power graph of a group is the simple graph with vertices as the group elements, in which two distinct vertices are adjacent if and only if one of them can be obtained as an integral power of the other. We study (minimal) cut-sets of the power graph of a (finite) non-cyclic (nilpotent) group which are associated with its maximal cyclic subgroups. Let $G$ be a finite non-cyclic nilpotent group whose order is divisible by at least two distinct primes. If $G$ has a Sylow subgroup which is neither cyclic nor a generalized quaternion $2$-group and all other Sylow subgroups of $G$ are cyclic, then under some conditions we prove that there is only one minimum cut-set of the power graph of $G$. We apply this result to find the vertex connectivity of the power graphs of certain finite non-cyclic abelian groups whose order is divisible by at most three distinct primes.

Complex networks are the representative graphs of interactions in many complex systems. Usually, these interactions are abstractions of the communication/diffusion channels between the units of the system. Real complex networks, e.g. traffic networks, reveal different operation phases governed by the dynamical stress of the system. Here we show how, communicability, a topological descriptor that reveals the efficiency of the network functionality in terms of these diffusive paths, could be used to reveal the transitions mentioned. By considering a vibrational model of nodes and edges in a graph/network at a given temperature (stress), we show that the communicability function plays the role of the thermal Green's function of a network of harmonic oscillators. After, we prove analytically the existence of a universal phase transition in the communicability structure of every simple graph. This transition resembles the melting process occurring in solids. For instance, regular-like graphs resembling crystals, melts at lower temperatures and display a sharper transition between connected to disconnected structures than the random spatial graphs, which resemble amorphous solids. Finally, we study computationally this graph melting process in some real-world networks and observe that the rate of melting of graphs changes either as an exponential or as a power-law with the inverse temperature. At the local level we discover that the main driver for node melting is the eigenvector centrality of the corresponding node, particularly when the critical value of the inverse temperature approaches zero. These universal results sheds light on many dynamical diffusive-like processes on networks that present transitions as traffic jams, communication lost or failure cascades.

We give a necessary and sufficient condition for the nonsingular projective toric variety associated to the graph cubeahedron of a finite simple graph to be Fano or weak Fano in terms of the graph.

The zero forcing number of a simple graph, written $Z(G)$, is a NP-hard graph invariant which is the result of the zero forcing color change rule. This graph invariant has been heavily studied by linear algebraists, physicists, and graph theorist. It's broad applicability and interesting combinatorial properties have attracted the attention of many researchers. Of particular interest, is that of bounding the zero forcing number from above. In this paper we show a surprising relation between the zero forcing number of a graph and the independence number of a graph, denoted $α(G)$. Our main theorem states that if $G \ne K_4$ is a connected, cubic, claw-free graph, then $Z(G) \le α(G) + 1$. This improves on best known upper bounds for $Z(G)$, as well as known lower bounds on $α(G)$. As a consequence of this result, if $G \ne K_4$ is a connected, cubic, claw-free graph with order $n$, then $Z(G) \le \frac{2}{5}n + 1$. Additionally, under the hypothesis of our main theorem, we further show $Z(G) \le α'(G)$, where $α'(G)$ denotes the matching number of $G$.

Motivated by questions in algebra and combinatorics we study two ideals associated to a simple graph G: --> the Lovasz-Saks-Schrijver ideal defining the d-dimensional orthogonal representations of the graph complementary to G and --> the determinantal ideal of the (d+1)-minors of a generic symmetric with 0s in positions prescribed by the graph G. In characteristic 0 these two ideals turns out to be closely related and algebraic properties such as being radical, prime or a complete intersection transfer from the Lovasz-Saks-Schrijver ideal to the determinantal ideal. For Lovasz-Saks-Schrijver ideals we link these properties to combinatorial properties of G and show that they always hold for d large enough. For specific classes of graph, such a forests, we can give a complete picture and classify the radical, prime and complete intersection Lovasz-Saks-Schrijver ideals.

Stable gonality is a multigraph parameter that measures the complexity of a graph. It is defined using maps to trees. Those maps, in some sense, divide the edges equally over the edges of the tree; stable gonality asks for the map with the minimum number of edges mapped to each edge of the tree. This parameter is related to treewidth, but unlike treewidth, it distinguishes multigraphs from their underlying simple graphs. Stable gonality is relevant for problems in number theory. In this paper, we show that deciding whether the stable gonality of a given graph is at most a given integer $k$ belongs to the class NP, and we give an algorithm that computes the stable gonality of a graph in $O((1.33n)^nm^m \text{poly}(n,m))$ time.