arXiv++ Combinatorics

For a non-negative integer $s\le |V(G)|-3$, a graph $G$ is $s$-Hamiltonian if the removal of any $k\le s$ vertices results in a Hamiltonian graph. Given a connected simple graph $G$ that is not isomorphic to a path, a cycle, or a $K_{1,3}$, let $δ(G)$ denote the minimum degree of $G$, let $h_s(G)$ denote the smallest integer $i$ such that the iterated line graph $L^{i}(G)$ is $s$-Hamiltonian, and let $\ell(G)$ denote the length of the longest non-closed path $P$ in which all internal vertices have degree 2 such that $P$ is not both of length 2 and in a $K_3$. For a simple graph $G$, we establish better upper bounds for $h_s(G)$ as follows. \begin{equation*} h_s(G)\le \left\{ \begin{aligned} & \ell(G)+1, &&\mbox{ if }δ(G)\le 2 \mbox{ and }s=0;\\ & \widetilde d(G)+2+\lceil \lg (s+1)\rceil, &&\mbox{ if }δ(G)\le 2 \mbox{ and }s\ge 1;\\ & 2+\left\lceil\lg\frac{s+1}{δ(G)-2}\right\rceil, && \mbox{ if } 3\leδ(G)\le s+2;\\ & 2, &&{\rm otherwise}, \end{aligned} \right. \end{equation*} where $\widetilde d(G)$ is the smallest integer $i$ such that $δ(L^i(G))\ge 3$. Consequently, when $s \ge 6$, this new upper bound for the $s$-hamiltonian index implies that $h_s(G) = o(\ell(G)+s+1)$ as $s \to \infty$. This sharpens the result, $h_s(G)\le\ell(G)+s+1$, obtained by Zhang et al. in [Discrete Math., 308 (2008) 4779-4785].

A $(k,g)$-cage is a $k$-regular simple graph of girth $g$ with minimum possible number of vertices. In this paper, $(k,g)$-cages which are Moore graphs are referred as minimal $(k,g)$-cages. A simple connected graph is called distance regular(DR) if all its vertices have the same intersection array. A bipartite graph is called distance biregular(DBR) if all the vertices of the same partite set admit the same intersection array. It is known that minimal $(k,g)$-cages are DR graphs and their subdivisions are DBR graphs. In this paper, for minimal $(k,g)$-cages we give a formula for distance spectral radius in terms of $k$ and $g$, and also determine polynomials of degree $[\frac{g}{2}]$, which is the diameter of the graph. This polynomial gives all distance eigenvalues when the variable is substituted by adjacency eigenvalues. We show that a minimal $(k,g)$-cage of diameter $d$ has $d+1$ distinct distance eigenvalues, and this partially answers a problem posed in [5]. We prove that every DBR graph is a $2$-partitioned transmission regular graph and then give a formula for its distance spectral radius. By this formula we obtain the distance spectral radius of subdivision of minimal $(k,g)$-cages. Finally we determine the full distance spectrum of subdivision of some minimal $(k,g)$-cages.

Given a simple graph $G$, the {\it irregularity strength} of $G$, denoted by $s(G)$, is the least positive integer $k$ such that there is a weight assignment on edges $f: E(G) \to \{1,2,\dots, k\}$ attributing distinct weighted degrees: $\tilde f(v):= \sum_{u: \{u,v\}\in E(G)} f(\{u,v\})$ to all vertices $v\in V(G)$. It is straightforward that $s(G) \geq n/d$ for every $d$-regular graph $G$ on $n$ vertices with $d>1$. In 1987, Faudree and Lehel conjectured in turn that there is an absolute constant $c$ such that $s(G) \leq n/d + c$ for all such graphs. Even though the conjecture has remained open in almost all relevant cases, it is more generally believed that there exists a universal constant $c$ such that $s(G) \leq n/δ+ c$ for every graph $G$ on $n$ vertices with minimum degree $δ\geq 1$ which does not contain an isolated edge. In this paper we confirm that the generalized Faudree-Lehel Conjecture holds for graphs with $δ\geq n^β$ where $β$ is any fixed constant larger than $0.8$. Furthermore, we confirm that the conjecture holds in general asymptotically. That is we prove that for any $\varepsilon\in(0,0.25)$ there exist absolute constants $c_1, c_2$ such that for all graphs $G$ on $n$ vertices with minimum degree %at least $δ\geq 1$ and without isolated edges, $s(G) \leq \frac{n}δ(1+\frac{c_1}{δ^{\varepsilon}})+c_2$, thus extending in various aspects and strengthening a recent result of Przybyło, who showed that $s(G) \leq \frac{n}{d}(1+ \frac{1}{\ln^{ε/19}n})=\frac{n}{d}(1+o(1))$ for $d$-regular graphs with $d\in [\ln^{1+ε} n, n/\ln^εn]$, and improving an earlier general upper bound: $s(G)< 6\frac{n}δ+6$ of Kalkowski, Karoński and Pfender.

A word-representable graph is a simple graph $G$ which can be represented by a word $w$ over the vertices of $G$ such that any two vertices are adjacent in $G$ if and only if they alternate in $w$. It is known that the class of comparability graphs -- the graphs which admit a transitive orientation -- is precisely the class of graphs that can be represented by a concatenation of permutations of vertices. The class of bipartite graphs is a subclass of comparability graphs. While it is an open problem to determine the representation number of comparability graphs, it was conjectured that the representation number of bipartite graphs on $n$ vertices is at most $n/4$. In this paper, we propose a polynomial time relabeling algorithm to produce a word representing a given bipartite graph which is a concatenation of permutations of the graph's vertices. Thus we obtain an upper bound for the representation number of bipartite graphs, which in turn gives us an upper bound for the dimension of the posets corresponding to bipartite graphs.

The discrete Green's functions are the pseudoinverse (or the inverse) of the Laplacian (or its variations) of a graph. In this paper, we will give combinatorial interpretations of Green's functions in terms of enumerating trees and forests in a graph that will be used to derive further formulas for several graph invariants. For example, we show that the trace of the Green's function $\mathbf{G}$ associated with the combinatorial Laplacian of a connected simple graph $Γ$ on $n$ vertices satisfies $\text{Tr}(\mathbf{G})=\sum_{λ_i \neq 0} \frac 1 {λ_i}= \frac{1}{nτ}|\mathbb{F}^*_2|$, where $λ_i$ denotes the eigenvalues of the combinatorial Laplacian, $τ$ denotes the number of spanning trees and $\mathbb{F}^*_2$ denotes the set of rooted spanning $2$-forests in $Γ$. We will prove forest formulas for discrete Green's functions for directed and weighted graphs and apply them to study random walks on graphs and digraphs. We derive a forest expression of the hitting time for digraphs, which gives combinatorial proofs to old and new results about hitting times, traces of discrete Green's functions, and other related quantities.

Proving a 2009 conjecture of Itai Benjamini, we show: For any C there is an $\varepsilon>0$ such that for any simple graph $G$ on $V$ of size $n$, and $X_0,\ldots$ an ordinary random walk on $G$, $P(\{X_0,\dots, X_{Cn}\}= V) < e^{-\varepsilon n}.$ A first ingredient in the proof of this is a similar statement for Markov chains in which all transition probabilities are sufficiently small relative to $C$.

A well-known theorem of Vizing states that if $G$ is a simple graph with maximum degree $Δ$, then the chromatic index $χ'(G)$ of $G$ is $Δ$ or $Δ+1$. A graph $G$ is class 1 if $χ'(G)=Δ$, and class 2 if $χ'(G)=Δ+1$; $G$ is $Δ$-critical if it is connected, class 2 and $χ'(G-e)<χ'(G)$ for every $e\in E(G)$. A long-standing conjecture of Vizing from 1968 states that every $Δ$-critical graph on $n$ vertices has at least $(n(Δ-1)+ 3)/2$ edges. We initiate the study of determining the minimum number of edges of class 1 graphs $G$, in addition, $χ'(G+e)=χ'(G)+1$ for every $e\in E(\overline{G})$. Such graphs have intimate relation to $(P_3; k)$-co-critical graphs, where a non-complete graph $G$ is $(P_3; k)$-co-critical if there exists a $k$-coloring of $E(G)$ such that $G$ does not contain a monochromatic copy of $P_3$ but every $k$-coloring of $E(G+e)$ contains a monochromatic copy of $P_3$ for every $e\in E(\overline{G})$. We use the bound on the size of the aforementioned class 1 graphs to study the minimum number of edges over all $(P_3; k)$-co-critical graphs. We prove that if $G$ is a $(P_3; k)$-co-critical graph on $n\ge k+2$ vertices, then \[e(G)\ge {k \over 2}\left(n- \left\lceil {k \over 2} \right\rceil - \varepsilon\right) + {\lceil k/2 \rceil+\varepsilon \choose 2},\] where $\varepsilon$ is the remainder of $n-\lceil k/2 \rceil $ when divided by $2$. This bound is best possible for all $k \ge 1$ and $n \ge \left\lceil {3k /2} \right\rceil +2$.

The Goldberg-Seymour Conjecture for $f$-colorings states that the $f$-chromatic index of a loopless multigraph is essentially determined by either a maximum degree or a maximum density parameter. We introduce an oriented version of $f$-colorings, where now each color class of the edge-coloring is required to be orientable in such a way that every vertex $v$ has indegree and outdegree at most some specified values $g(v)$ and $h(v)$. We prove that the associated $(g,h)$-oriented chromatic index satisfies a Goldberg-Seymour formula. We then present simple applications of this result to variations of $f$-colorings. In particular, we show that the Linear Arboricity Conjecture holds for $k$-degenerate loopless multigraphs when the maximum degree is at least $4k-2$, improving a bound recently announced by Chen, Hao, and Yu for simple graphs. Finally, we demonstrate that the $(g,h)$-oriented chromatic index is always equal to its list coloring analogue.

A simple graph G is said to be well-f-covered, whenever any two maximal induced forest in G be of the same order. In this note, well-f-coveredness of lexicographic product of two graphs in case where the first component is empty, is characterized. In cases where the second component is empty, and the second component is nonempty, a necessary condition is given, and in each one, by an example, it is shown that the given condition is not sufficient.

Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,\ldots, v_n\}$. The Sombor matrix of $G$, denoted by $A_{SO}(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $\sqrt{d_i^2+d_j^2}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. Let the eigenvalues of the Sombor matrix $A_{SO}(G)$ be $ρ_1\geq ρ_2\geq \ldots\geq ρ_n$ which are the roots of the Sombor characteristic polynomial $\prod_{i=1}^n (ρ-ρ_i)$. The Sombor energy $En_{SO}$ of $G$ is the sum of absolute values of the eigenvalues of $A_{SO}(G)$. In this paper we compute the Sombor characteristic polynomial and the Sombor energy for some graph classes, define Sombor energy unique and propose a conjecture on Sombor Energy.

A bar-joint framework $(G,p)$ in a (non-Euclidean) real normed plane $X$ is the combination of a finite, simple graph $G$ and a placement $p$ of the vertices in $X$. A framework $(G,p)$ is globally rigid in $X$ if every other framework $(G,q)$ in $X$ with the same edge lengths as $(G,p)$ arises from an isometry of $X$. The weaker property of local rigidity in normed planes (where only $(G,q)$ within a neighbourhood of $(G,p)$ are considered) has been studied by several researchers over the last 5 years after being introduced by Kitson and Power for $\ell_p$-norms. However global rigidity is an unexplored area for general normed spaces, despite being intensely studied in the Euclidean context by many groups over the last 40 years. In order to understand global rigidity in $X$, we introduce new generalised rigid body motions in normed planes where the norm is determined by an analytic function. This theory allows us to deduce several geometric and combinatorial results concerning the global rigidity of bar-joint frameworks in $X$.

The power graph $\mathcal{P}(G)$ of a group $G$ is the simple graph with vertex set $G$ and two vertices are adjacent whenever one of them is a positive power of the other. In this paper, for a finite noncyclic nilpotent group $G$, we study the minimum degree $δ(\mathcal{P}(G))$ of $\mathcal{P}(G)$. Under some conditions involving the prime divisors of $|G|$ and the Sylow subgroups of $G$, we identify certain vertices associated with the generators of maximal cyclic subgroups of $G$ such that $δ(\mathcal{P}(G))$ is equal to the degree of one of these vertices. As an application, we obtain $δ(\mathcal{P}(G))$ for some classes of finite noncyclic abelian groups $G$.

A simple graph $G$ with maximum degree $Δ$ is overfull if $|E(G)|>Δ\lfloor |V(G)|/2\rfloor$. The core of $G$, denoted $G_Δ$, is the subgraph of $G$ induced by its vertices of degree $Δ$. Clearly, the chromatic index of $G$ equals $Δ+1$ if $G$ is overfull. Conversely, Hilton and Zhao in 1996 conjectured that if $G$ is a simple connected graph with $Δ\ge 3$ and $Δ(G_Δ)\le 2$, then $χ'(G)=Δ+1$ implies that $G$ is overfull or $G=P^*$, where $P^*$ is obtained from the Petersen graph by deleting a vertex. Cariolaro and Cariolaro settled the base case $Δ=3$ in 2003, and Cranston and Rabern proved the next case $Δ=4$ in 2019. In this paper, we give a proof of this conjecture for all $Δ\ge 4$.

A simple graph $G$ with maximum degree $Δ$ is \emph{overfull} if $|E(G)|>Δ\lfloor |V(G)|/2\rfloor$. The \emph{core} of $G$, denoted $G_Δ$, is the subgraph of $G$ induced by its vertices of degree $Δ$. Clearly, the chromatic index of $G$ equals $Δ+1$ if $G$ is overfull. Conversely, Hilton and Zhao in 1996 conjectured that if $G$ is a simple connected graph with $Δ\ge 3$ and $Δ(G_Δ)\le 2$, then $χ'(G)=Δ+1$ implies that $G$ is overfull or $G=P^*$, where $P^*$ is obtained from the Petersen graph by deleting a vertex (Core Conjecture). The goal of this paper is to develop the concepts of ``pseudo-multifan'' and ``lollipop'' and study their properties in an edge colored graph. These concepts turn out to be powerful tools in edge coloring graphs with a small core degree.

A complex unit gain graph is a triple $\varphi=(G, \mathbb{T}, \varphi)$ (or $G^{\varphi}$ for short) consisting of a simple graph $G$, as the underlying graph of $G^{\varphi}$, the set of unit complex numbers $\mathbb{T}={z\in \mathbb{C}: |z| = 1}$ and a gain function $\varphi: \overrightarrow{E}\rightarrow \mathbb{T}$ such that $\varphi(e_{i,j})=\varphi(e_{j,i}) ^{-1}$. Let $A(G^{\varphi})$ be adjacency matrix of $G^{\varphi}$. In this paper, we prove that $$m(G)-c(G)\leq p(G^{\varphi})\leq m(G)+c(G),$$ $$m(G)-c(G)\leq n(G^{\varphi})\leq m(G)+c(G),$$ where $p(G^{\varphi})$, $n(G^{\varphi})$, $m(G)$ and $c(G)$ are the number of positive eigenvalues of $A(G^{\varphi})$, the number of negative eigenvalues of $A(G^{\varphi})$, the matching number and the cyclomatic number of $G$, respectively. Furthermore, we characterize the graphs which attain the upper bounds and the lower bounds, respectively.

The divisorial gonality of a graph is the minimum degree of a positive rank divisor on that graph. We introduce the multiplicity-free gonality of a graph, which restricts our consideration to divisors that place at most \(1\) chip on each vertex. We give a sufficient condition in terms of vertex-connectivity for these two versions of gonality to be equal; and we show that no function of gonality can bound multiplicity-free gonality, even for simple graphs. We also prove that multiplicity-free gonality is NP-hard to compute, while still determining it for graph families for which gonality is currently unknown. We also present new gonalities, such as for the wheel graphs.

A circular $r$-coloring of a signed graph $(G, σ)$ is an assignment $φ$ of points of a circle $C_r$ of circumference $r$ to the vertices of $(G, σ)$ such that for each positive edge $uv$ of $(G, σ)$ the distance of $φ(v)$ and $φ(v)$ is at least 1 and for each negative edge $uv$ the distance of $φ(u)$ from the antipodal of $φ(v)$ is at least 1. The circular chromatic number of $(G, σ)$, denoted $χ_c(G, σ)$, is the infimum of $r$ such that $(G, σ)$ admits a circular $r$-coloring. This notion is recently defined by Naserasr, Wang, and Zhu who, among other results, proved that for any signed $d$-degenerate simple graph $\hat{G}$ we have $χ_c(\hat{G})\leq 2d$. For $d\geq 3$, examples of signed $d$-degenerate simple graphs of circular chromatic number $2d$ are provided. But for $d=2$ only examples of signed 2-degenerate simple graphs of circular chromatic number close enough to $4$ are given, noting that these examples are also signed bipartite planar graphs. In this work we first observe the following restatement of the 4-color theorem: If $(G,σ)$ is a signed bipartite planar simple graph where vertices of one part are all of degree 2, then $χ_c(G,σ)\leq \frac{16}{5}$. Motivated by this observation, we provide an improved upper bound of $ 4-\dfrac{2}{\lfloor \frac{n+1}{2} \rfloor}$ for the circular chromatic number of a signed 2-degenerate simple graph on $n$ vertices and an improved upper bound of $ 4-\dfrac{4}{\lfloor \frac{n+2}{2} \rfloor}$ for the circular chromatic number of a signed bipartite planar simple graph on $n$ vertices. We then show that each of the bounds is tight for any value of $n\geq 4$.

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$.For $k \geq 1$, a $k$-fair dominating set($kFD$-set) in $G$, is a dominating set $S$ such that $|N(v) \cap D|=k$ for every vertex $ v \in V\setminus D$.A fair dominating set, in $G$ is a $kFD$-set for some integer $k\geq 1$.In this paper, after presenting preliminaries, we count the number of fair dominating sets of some specific graphs.

We show that the curvature K_(G*H)(x,y) at a point (x,y) in the strong product G*H of two arbitrary finite simple graphs is equal to the product K_G(x) K_H(y) of the curvatures.

A sum graph is a finite simple graph whose vertex set is labeled with distinct positive integers such that two vertices are adjacent if and only if the sum of their labels is itself another label. The spum of a graph $G$ is the minimum difference between the largest and smallest labels in a sum graph consisting of $G$ and the minimum number of additional isolated vertices necessary so that a sum graph labeling exists. We investigate the spum of various families of graphs, namely cycles, paths, and matchings. We introduce the sum-diameter, a modification of the definition of spum that omits the requirement that the number of additional isolated vertices in the sum graph is minimal, which we believe is a more natural quantity to study. We then provide asymptotically tight general bounds on both sides for the sum-diameter, and study its behavior under numerous binary graph operations as well as vertex and edge operations. Finally, we generalize the sum-diameter to hypergraphs.