arXiv++ Combinatorics

A signed graph $Σ=(G,σ)$ is said to be parity signed if there exists a bijection $f : V(G) \rightarrow \{1,2,...,|V(G)|\}$ such that $σ(uv)=+$ if and only if $f(u)$ and $f(v)$ are of same parity, where $uv$ is an edge of $G$. The rna number of a graph $G$, denoted $σ^{-}(G)$, is the minimum number of negative edges among all possible parity signed graphs over $G$. The rna number is also equal to the minimum cut size that has nearly equal sides. In this paper, for generalized Petersen graph $P(n,k)$, we prove that $3 \leq σ^{-}(P(n,k)) \leq n$ and these bounds are sharp. The exact value of $σ^{-}(P(n,k))$ is determined for $k=1,2$. Some famous generalized Petersen graphs namely, Petersen graph $P(5,2)$, Durer graph $P(6,2)$, Mobius-Kantor graph $P(8,3)$, Dodecahedron $P(10,2)$, Desargues graph $P(10,3)$ and Nauru graph $P(12,5)$ are also treated. We show that the minimum order of a $(4n-1)$-regular graph having rna number one is bounded above by $12n-2$. The sharpness of this upper bound is also shown for $n=1$. We also show that the minimum order of a $(4n+1)$-regular graph having rna number one is $8n+6$. Finally, for any simple connected graph of order $n$, we propose an $O(2^n + n^{\lfloor \frac{n}{2} \rfloor})$ time algorithm for computing its rna number.

We consider the flower snarks, a widely studied infinite family of 3--regular graphs. For the Flower snark $J_n$ on $4n$ vertices, it is trivial to show that the domination number of $J_n$ is equal to $n$. However, results are more difficult to determine for variants of domination. The Roman domination, weakly convex domination, and convex domination numbers have been determined for flower snarks in previous works. We add to this literature by determining the independent domination, 2-domination, total domination, connected domination, upper domination, secure Domination and weak Roman domination numbers for flower snarks.

The graph $G$ is said to be strongly regular with parameters $(n,k,λ,μ)$ if the following conditions hold: (1) each vertex has $k$ neighbours; (2) any two adjacent vertices of $G$ have $λ$ common neighbours; (3) any two non-adjacent vertices of $G$ have $μ$ common neighbours. In this paper we study two weaker notions of strongly regular graphs. A graph satisfying the conditions $(1)$ and $(2)$ is called an edge-regular graph with parameters $(n,k,λ)$. We call a graph satisfying the conditions $(1)$ and $(3)$ a pseudo strongly regular graph with parameters $(n,k,μ)$. In this paper we study the impact of various graph operations on edge regular graphs and pseudo strongly regular graphs.

An internal or friendly partition of a graph is a partition of the vertex set into two nonempty sets so that every vertex has at least as many neighbours in its own class as in the other one. It has been shown that apart from finitely many counterexamples, every 3, 4 or 6-regular graph has an internal partition. In this note we focus on the $5$-regular case and show that among the subgraphs of minimum degree at least $3$, there are some which have small intersection. We also discuss the existence of internal partitions in some families of Cayley graphs, notably we determine all $5$-regular Abelian Cayley graphs which do not have an internal partition.

We present a pair of heuristic algorithms. The first is to generate a random regular graph of fixed size. The second is the introduction of the Metropolis Coupled Simulated Annealer (MCSA) for optimizing spectral gaps in fixed size regular graphs.

A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. A DDG with $m = 1$, $n = 1$, or $λ_1 = λ_2$ is called improper, otherwise it is called proper. We present new constructions of DDGs and, using a computer enumeration algorithm, we find all proper connected DDGs with at most 39 vertices, except for three tuples of parameters: $(32,15,6,7,4,8)$, $(32,17,8,9,4,8)$, $(36,24,15,16,4,9)$.

Given a simple graph $G$, the {\it irregularity strength} of $G$, denoted $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\}$ for which each vertex weight $f^V(v):= \sum_{u: \{u,v\}\in E(G)} f(\{u,v\})$ is unique amongst all $v\in V(G)$. In 1987, Faudree and Lehel conjectured that there is a constant $c$ such that $s(G) \leq n/d + c$ for all $d$-regular graphs $G$ on $n$ vertices with $d>1$, whereas it is trivial that $s(G) \geq n/d$. In this short note we prove that the Faudree-Lehel Conjecture holds when $d \geq n^{0.8+ε}$ for any fixed $ε>0$, with a small additive constant $c=28$ for $d$ large enough. Furthermore, we confirm the conjecture asymptotically by proving that for any fixed $β\in(0,1/4)$ there is a constant $C$ such that for all $d$-regular graphs $G$, $s(G) \leq \frac{n}{d}(1+\frac{C}{d^β})+28$, extending and improving a recent result of Przybyło that $s(G) \leq \frac{n}{d}(1+ \frac{1}{\ln^{ε/19}n})$ whenever $d\in [\ln^{1+ε} n, n/\ln^εn]$ and $d$ is large enough.

An $n$-lift of a graph $G$ is a graph from which there is an $n$-to-$1$ covering map onto $G$. Amit, Linial, and Matou\v sek (2002) raised the question of whether the chromatic number of a random $n$-lift of $K_5$ is concentrated on a single value. We consider this problem for $G=K_{d+1}$, and show that for fixed $d\ge 3$ the chromatic number of a random lift of $K_d$ is (asymptotically almost surely) either $k$ or $k+1$, where $k$ is the smallest integer satisfying $d < 2k \log k$. Moreover, we show that, for roughly half of the values of $d$, the chromatic number is concentrated on $k$. The argument for the upper-bound on the chromatic number uses the small subgraph conditioning method, and it can be extended to random $n$-lifts of $G$, for any fixed $d$-regular graph $G$.

By a theorem of Johansson, every triangle-free graph $G$ of maximum degree $Δ$ has chromatic number at most $(C+o(1))Δ/\log Δ$ for some universal constant $C > 0$. Using the entropy compression method, Molloy proved that one can in fact take $C = 1$. Here we show that for every $q \geq (1 + o(1))Δ/\log Δ$, the number $c(G,q)$ of proper $q$-colorings of $G$ satisfies $c(G, q) \,\geq\, \left(1 - \frac{1}{q}\right)^m ((1-o(1))q)^n$, where $n = |V(G)|$ and $m = |E(G)|$. Except for the $o(1)$ term, this lower bound is best possible as witnessed by random $Δ$-regular graphs. When $q = (1 + o(1)) Δ/\log Δ$, our result yields the inequality $c(G,q) \,\geq\, \exp\left((1 - o(1)) \frac{\log Δ}{2} n\right)$, which improves an earlier bound of Iliopoulos and yields the optimal value for the constant factor in the exponent. Furthermore, this result implies the optimal lower bound on the number of independent sets in $G$ due to Davies, Jenssen, Perkins, and Roberts. An important ingredient in our proof is the counting method that was recently developed by Rosenfeld. As a byproduct, we obtain an alternative proof of Molloy's bound $χ(G) \leq (1 + o(1))Δ/\log Δ$ using Rosenfeld's method in place of entropy compression (other proofs of Molloy's theorem using Rosenfeld's technique were given independently by Hurley and Pirot and Martinsson).

Let $G$ be a random $d$-regular graph. We prove that for every constant $α> 0$, with high probability every eigenvector of the adjacency matrix of $G$ with eigenvalue less than $-2\sqrt{d-2}-α$ has $Ω(n/$polylog$(n))$ nodal domains.

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.

In this paper we show that there does not exist a strongly regular graph with parameters $(1911,270,105,27)$.

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.

We view the determinant and permanent as functions on directed weighted graphs and introduce their analogues for the undirected graphs. We prove that the task of computing the undirected determinants as well as permanents for planar graphs, whose vertices have degree at most 4, is \#P-complete. In the case of planar graphs whose vertices have degree at most 3, the computation of the undirected determinant remains \#P-complete while the permanent can be reduced to the FKT algorithm, and therefore is polynomial. The undirected permanent is a Holant problem and its complexity can be deduced from the existing literature. The concept of the undirected determinant is new. Its introduction is motivated by the formal resemblance to the directed determinant, a property that may inspire generalizations of some of the many algorithms which compute the latter. For a sizable class of planar 3-regular graphs, we are able to compute the undirected determinant in polynomial time.

Gerbner, Patkós, Tuza, and Vizer recently initiated the study of $F$-saturated regular graphs. One of the essential problems in this line of research is determining when such a graph exists. Using generalized sum-free sets we prove that for any odd integer $k \geq 5$, there is an $n$-vertex regular $C_k$-saturated graph for all $n \geq n_k$. Our proof is based on constructing a special type of sum-free set in $\mathbb{Z}_n$. We prove that for all even $\ell \geq 4$ and integers $n > 12 \ell^2 + 36 \ell + 24$, there is a symmetric complete $( \ell , 1)$-sum-free set in $\mathbb{Z}_n$. We pose the problem of finding the minimum size of such a set, and present some examples found by a computer search.

We study regular graphs in which the random walks starting from a positive fraction of vertices have small mixing time. We prove that any such graph is virtually an expander and has no small separator. This answers a question of Pak [SODA, 2002]. As a corollary, it shows that sparse (constant degree) regular graphs with many well-mixing vertices have a long cycle, improving a result of Pak. Furthermore, such cycle can be found in polynomial time. Secondly, we show that if the random walks from a positive fraction of vertices are well-mixing, then the random walks from almost all vertices are well-mixing (with a slightly worse mixing time).

Given a non-trivial graph $G$, the minimum cardinality of a set of edges $F$ in $G$ such that $χ'(G \setminus F)<χ'(G)$ is called the chromatic edge stability index of $G$, denoted by $es_{χ'}(G)$, and such a (smallest) set $F$ is called a (minimum) mitigating set. While $1\le es_{χ'}(G)\le \lfloor n/2\rfloor$ holds for any graph $G$, we investigate the graphs with extremal and near-extremal values of $es_{χ'}(G)$. The graphs $G$ with $es_{χ'}(G)=\lfloor n/2\rfloor$ are classified, and the graphs $G$ with $es_{χ'}(G)=\lfloor n/2\rfloor-1$ and $χ'(G)=Δ(G)+1$ are characterized. We establish that the odd cycles and $K_2$ are exactly the regular connected graphs with the chromatic edge stability index $1$; on the other hand, we prove that it is NP-hard to verify whether a graph $G$ has $es_{χ'}(G)=1$. We also prove that every minimum mitigating set of an $r$-regular graph $G$, where $r\ne 4$, with $es_{χ'}(G)=2$ is a matching. Furthermore, we propose a conjecture that for every graph $G$ there exists a minimum mitigating set, which is a matching, and prove that the conjecture holds for graphs $G$ with $es_{χ'}(G)\in\{1,2,\lfloor n/2\rfloor-1,\lfloor n/2\rfloor\}$, and for bipartite graphs.

We study the average probability that a discrete-time quantum walk finds a marked vertex on a graph. We first show that, for a regular graph, the spectrum of the transition matrix is determined by the weighted adjacency matrix of an augmented graph. We then consider the average search probability on a distance regular graph, and find a formula in terms of the adjacency matrix of its vertex-deleted subgraph. In particular, for any family of (1) complete graphs, or (2) strongly regular graphs, or (3) distance regular graphs of a fixed parameter $d$, varying valency $k$ and varying size $n$, such that $k^{d-1}/n$ vanishes as $k$ increases, the average search probability approaches $1/4$ as the valency goes to infinity. We also present a more relaxed criterion, in terms of the intersection array, for this limit to be approached by distance regular graphs.

We study the existence of quantum state transfer in $\mathcal{Q}$-graphs in this paper. The $\mathcal{Q}$-graph of a graph $G$, denoted by $\mathcal{Q}(G)$, is the graph derived from $G$ by plugging a new vertex to each edge of $G$ and joining two new vertices which lie on adjacent edges of $G$ by an edge. We show that, if all eigenvalues of a regular graph $G$ are integers, then its $\mathcal{Q}$-graph $\mathcal{Q}(G)$ has no perfect state transfer. In contrast, we also prove that the $\mathcal{Q}$-graph of a regular graph has pretty good state transfer under some mild conditions. Finally, applying the obtained results, we also exhibit many new families of $\mathcal{Q}$-graphs having no perfect state transfer, but admitting pretty good state transfer.

An edge-girth-regular graph $egr(v,k,g,λ)$, is a $k$-regular graph of order $v$, girth $g$ and with the property that each of its edges is contained in exactly $λ$ distinct $g$-cycles. An $egr(v,k,g,λ)$ is called extremal for the triple $(k,g,λ)$ if $v$ is the smallest order of any $egr(v,k,g,λ)$. In this paper, we introduce two families of edge-girth-regular graphs. The first one is a family of extremal $egr(2q^2,q,6,(q-1)^2(q-2))$ for any prime power $q\geq 3$ and, the second one is a family of $egr(q(q^2+1),q,5,λ)$ for $λ\geq q-1$ and $q\geq 8$ an odd power of $2$. In particular, if $q=8$ we have that $λ=q-1$.