arXiv++ Combinatorics

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.

Let $G$ be a simple graph with $n$ vertices, $m$ edges having Laplacian eigenvalues $μ_1, μ_2, \dots, μ_{n-1},μ_n=0$. The Laplacian energy $LE(G)$ is defined as $LE(G)=\sum_{i=1}^{n}|μ_i-\overline{d}|$, where $\overline{d}=\frac{2m}{n}$ is the average degree of $G$. Radenković and Gutman conjectured that among all trees of order $n$, the path graph $P_n$ has the smallest Laplacian energy. Let $ \mathcal{T}_{n}(d) $ be the family of trees of order $n$ having diameter $ d $. In this paper, we show that Laplacian energy of any tree $T\in \mathcal{T}_{n}(4)$ is greater than the Laplacian energy of $P_n$, thereby proving the conjecture for all trees of diameter $4$. We also show the truth of conjecture for all trees with number of non-pendent vertices at most $\frac{9n}{25}-2$. Further, we give some sufficient conditions for the conjecture to hold for a tree of order $n$.

The Erdős--Gallai criteria for recognizing degree sequences of simple graphs involve a system of inequalities. Given a fixed degree sequence, we consider the list of differences of the two sides of these inequalities. These differences have appeared in varying contexts, including characterizations of the split and threshold graphs, and we survey their uses here. Then, enlarging upon properties of these graph families, we show that both the last term and the maximum term of the principal Erdős--Gallai differences of a degree sequence are preserved under graph complementation and are monotonic under the majorization order and Rao's order on degree sequences.

Suppose $G$ is a undirected simple graph. A $k-$subset of edges in $G$ without common vertices is called a $k-$matching and the number of such subsets is denoted by $p(G,k)$. The aim of this paper is to present exact formulas for $p(G,3)$, $p(G,4)$ and $P(G,5)$ in terms of some degree-based invariants.

Given an edge-coloring of a graph, the palette of a vertex is defined as the set of colors of the edges which are incident with it. We define the palette index of a graph as the minimum number of distinct palettes, taken over all edge-colorings, occurring among the vertices of the graph. Several results about the palette index of some specific classes of graphs are known. In this paper we propose a different approach that leads to new and more general results on the palette index. Our main theorem gives a sufficient condition for a graph to have palette index larger than its minimum degree. In the second part of the paper, by using such a result, we answer to two open problems on this topic. First, for every $r$ odd, we construct a family of $r$-regular graphs with palette index reaching the maximum admissible value. After that, we construct the first known family of simple graphs whose palette index grows quadratically with respect to their maximum degree.

A magic labelling of a graph $G$ with magic sum $s$ is a labelling of the edges of $G$ by nonnegative integers such that for each vertex $v\in V$, the sum of labels of all edges incident to $v$ is equal to the same number $s$. Stanley gave remarkable results on magic labellings, but the distinct labelling case is much more complicated. We consider the complete construction of all magic labellings of a given graph $G$. The idea is illustrated in detail by dealing with three regular graphs. We give combinatorial proofs. The structure result was used to enumerate the corresponding magic distinct labellings.