arXiv++ Combinatorics

Given feasible strongly regular graph parameters $(v,k,λ,μ)$ and a non-negative integer $d$, we determine upper and lower bounds on the order of a $d$-regular induced subgraph of any strongly regular graph with parameters $(v,k,λ,μ)$. Our new bounds are at least as good as the bounds on the order of a $d$-regular induced subgraph of a $k$-regular graph determined by Haemers. Further, we prove that for each non-negative integer $d$, our new upper bound improves on Haemers' upper bound for infinitely many strongly regular graphs.

Adinkras are signed graphs used to study supersymmetry in physics. We provide an introduction to these objects, and study the properties of their signed adjacency and signed Laplacian matrices. These matrices each have exactly two distinct eigenvalues (of equal multiplicity), making Adinkras closely related to the notions of strongly regular graphs. We also study the critical groups of Adinkras, and in particular determine their odd components. A novel technique of independent interest is used which considers critical groups over polynomial rings.

In this work, we try to enunciate the Total chromatic number of some Cayley graphs like the Cayley graph on Symmetric group, Alternating group, Dihedral group with respect to some generating sets and some other regular graphs.

A weighing matrix $W$ is quasi-balanced if $|W||W|^\top=|W|^\top|W|$ has at most two off-diagonal entries, where $|W|_{ij}=|W_{ij}|$. A quasi-balanced weighing matrix $W$ signs a strongly regular graph if $|W|$ coincides with its adjacency matrix. Among other things, signed strongly regular graphs and their equivalent association schemes are presented.

The principal ratio of a graph is the ratio of the greatest and least entry of its principal eigenvector. Since the principal ratio compares the extreme values of the principal eigenvector it is sensitive to outliers. This can be problematic for graphs (networks) drawn from empirical data. To account for this we consider the dispersion of the principal eigenvector (and degree vector). More precisely, we consider the coefficient of variation of the aforementioned vectors, that is, the ratio of the vector's standard deviation and mean. We show how both of these statistics are bounded above by the same function of the principal ratio. Further this bound is sharp for regular graphs. The goal of this paper is to show that the coefficient of variation of the principal eigenvector (and degree vector) can converge or diverge to the principal ratio in the limit. In doing so we find an example of a graph family (the complete split graph) whose principal ratio converges to the golden ratio. We conclude with conjectures concerning extremal graphs of the aforementioned statistics and interesting properties of the complete split graph.

We provide new constructions of Meyniel extremal graphs, which are families of graphs with the conjectured largest asymptotic cop number. Using spanning subgraphs, we prove that there are an exponential number of new Meyniel extremal families with specified degrees. Using a linear programming problem on hypergraphs, we explore the degrees in families that are not Meyniel extremal. We give the best-known upper bound on the cop number of vertex-transitive graphs with a prescribed degree. We find new Meyniel extremal families of regular graphs with large chromatic number, large diameter, and explore the connection between Meyniel extremal graphs and bipartite graphs.

The search for the smallest possible $d$-regular graph of girth $g$ has a long history, and is usually known as the cage problem. This problem has a natural extension to hypergraphs, where we may ask for the smallest number of vertices in a $d$-regular, $r$-uniform hypergraph of given (Berge) girth $g$. We show that these two problems are in fact very closely linked. By extending the ideas of Cayley graphs to the hypergraph context, we find smallest known hypergraphs for various parameter sets. Because of the close link to the cage problem from graph theory, we are able to use these techniques to find new record smallest cubic graphs of girths 23, 24, 28, 29, 30, 31 and 32.

For given graph $H$ and graphical property $P$, the conditional chromatic number $χ(H,P)$ of $H$, is the smallest number $k$, so that $V(H)$ can be decomposed into sets $V_1,V_2,\ldots, V_k$, in which $H[V_i]$ satisfies the property $P$, for each $1\leq i\leq k$. When property $P$ be that each color class contains no copy of $G$, we write $χ_{G}(H)$ instead of $χ(G,P)$, which is called the $G$-free chromatic number. Due to this, we say $H$ has a $k$-$G$-free coloring if there is a map $c : V(H) \longrightarrow \{1,\ldots,k\}$, so that each of the color classes of $c$ be $G$-free. Assume that for each vertex $v$ of a graph $H$ is assigned a set $L(V)$ of colors, called a color list. Set $g(L) = \{g(v): v\in V(H)\}$, that is the set of colors chosen for the vertices of $H$ under $g$. An $L$-coloring $g$ is called $G$-free, so that: \begin{itemize} \item $g(v)\in L(v)$, for any $v\in V(H)$. \item $ H[V_i]$ is $G$-free for each $i=1,2,\ldots, L$. \end{itemize} If there exists an $L$-coloring of $H$, then $H$ is called $L$-$G$-free-colorable. A graph $H$ is said to be $k$-$G$-free-choosable if there exists an $L$-coloring for any list-assignment $L$ satisfying $|L(V)|\geq k$ for each $v\in V(H)$, and $H[V_i]$ be $G$-free for each $i=1,2,\ldots, L$. Let graph $H$ and a collection of graphs $\G$ are given, the $χ_{\G}^L(H)$ of $H$ is the last integer $k$, so that $H$ is $k$-$\G$-free-choosable i.e. $H[V_i]$ is $\G$-free for each $i=1,2,\ldots, k$ i.e. contains no copy of any member of $\G$. In this article, we show that $χ_G^L(H)=χ_G(H)$ for some graph $H$ and $G$, $χ_G^L(H\oplus H')\leq χ_G^L(H)+χ_G^L(H')$ for each $G$, $H$, and $H'$. Also, we show that $χ_{\G}(H\oplus K_n)=χ^L_{\G}(H\oplus K_n)$, where $\G$ is a collection of all $d$-regular graphs, and some $n$.

There exist few examples of negative Latin square type partial difference sets (NLST PDSs) in nonabelian groups. We present a list of 176 inequivalent NLST PDSs in 48 nonisomorphic, nonabelian groups of order 64. These NLST PDSs form 8 nonisomorphic strongly regular graphs. These PDSs were constructed using a combination of theoretical techniques and computer search, both of which are described. The search was run exhaustively on 212/267 nonisomorphic groups of order 64.

A Hamiltonian decomposition of a regular graph is a partition of its edge set into Hamiltonian cycles. We consider the second Hamiltonian decomposition problem: for a 4-regular multigraph find 2 edge-disjoint Hamiltonian cycles different from the given ones. This problem arises in polyhedral combinatorics as a sufficient condition for non-adjacency in the 1-skeleton of the travelling salesperson polytope. We introduce two integer linear programming models for the problem based on the classical Dantzig-Fulkerson-Johnson and Miller-Tucker-Zemlin formulations for the travelling salesperson problem. To enhance the performance on feasible problems, we supplement the algorithm with a variable neighbourhood descent heuristic w.r.t. two neighbourhood structures, and a chain edge fixing procedure. Based on the computational experiments, the Dantzig-Fulkerson-Johnson formulation showed the best results on directed multigraphs, while on undirected multigraphs, the variable neighbourhood descent heuristic was especially effective.

The edge flipping is a non-reversible Markov chain on a given connected graph, which is defined by Chung and Graham in [CG12]. In the same paper, its eigenvalues and stationary distributions for some classes of graphs are identified. We further study its spectral properties to show a lower bound for the rate of convergence in the case of regular graphs. Moreover, we show that a cutoff occurs at \frac{1}{4} n \log n for the edge flipping on the complete graph by a coupling argument.

We introduce a generalized Grover matrix of a graph and present an explicit formula for its characteristic polynomial. As a corollary, we give the spectra for the generalized Grover matrix of a regular graph. Next, we define a zeta function and a generalized zeta function of a graph $G$ with respect to its generalized Grover matrix as an analog of the Ihara zeta function and present explicit formulas for their zeta functions for a vertex-transitive graph. As applications, we express the limit on the generalized zeta functions of a family of finite vertex-transitive regular graphs by an integral. Furthermore, we give the limit on the generalized zeta functions of a family of finite tori as an integral expression.

Twin vertices in simple unweighted graphs are vertices that have the same neighbours and, in the case of weighted graphs with possible loops, the corresponding incident edges have equal weights. In this paper, we explore the role of twin vertices in quantum state transfer. In particular, we provide characterizations of periodicity, perfect state transfer, and pretty good state transfer between twin vertices in a weighted graph with respect to its adjacency, Laplacian and signless Laplacian matrices. As an application, we provide characterizations of all simple unweighted double cones on regular graphs that exhibit periodicity, perfect state transfer, and pretty good state transfer.

Let $f: V(G)\cup E(G)\rightarrow \{1,2,\dots,k\}$ be a non-proper total $k$-coloring of $G$. Define a weight function on total coloring as $$φ(x)=f(x)+\sum\limits_{e\ni x}f(e)+\sum\limits_{y\in N(x)}f(y),$$ where $N(x)=\{y\in V(G)|xy\in E(G)\}$. If $φ(x)\neq φ(y)$ for any edge $xy\in E(G)$, then $f$ is called a neighbor full sum distinguishing total $k$-coloring of $G$. The smallest value $k$ for which $G$ has such a coloring is called the neighbor full sum distinguishing total chromatic number of $G$ and denoted by fgndi$_{\sum}(G)$. The coloring is an extension of neighbor sum distinguishing non-proper total coloring. In this paper we conjecture that fgndi$_{\sum}(G)\leq 3$ for any connected graph $G$ of order at least three. We prove that the conjecture is true for (i) paths and cycles; (ii) 3-regular graphs and (iii) stars, complete graphs, trees, hypercubes, bipartite graphs and complete $r$-partite graphs. In particular, complete graphs can achieve the upper bound for the above conjecture.

We bound the second eigenvalue of random $d$-regular graphs, for a wide range of degrees $d$, using a novel approach based on Fourier analysis. Let $G_{n, d}$ be a uniform random $d$-regular graph on $n$ vertices, and let $λ(G_{n, d})$ be its second largest eigenvalue by absolute value. For some constant $c > 0$ and any degree $d$ with $\log^{10} n \ll d \leq c n$, we show that $λ(G_{n, d}) = (2 + o(1)) \sqrt{d (n - d) / n}$ asymptotically almost surely. Combined with earlier results that cover the case of sparse random graphs, this fully determines the asymptotic value of $λ(G_{n, d})$ for all $d \leq c n$. To achieve this, we introduce new methods that use mechanisms from discrete Fourier analysis, and combine them with existing tools and estimates on $d$-regular random graphs - especially those of Liebenau and Wormald.

In this paper, we study structural properties of Toeplitz graphs. We characterize $K_q$-free Toeplitz graphs for an integer $q \ge 3$ and give equivalent conditions for a Toeplitz graph $G_n\langle t_1, t_2,\ldots, t_k\rangle$ with $t_1<\cdots<t_k$ and $n \ge t_{k-1}+t_{k}$ being chordal and equivalent conditions for a Toeplitz graph $G_n\langle t_1,t_2 \rangle$ being perfect. Then we compute the edge clique cover number and the vertex clique cover number of a chordal Toeplitz graph. Finally, we characterize the degree sequence $(d_1,d_2,\ldots,d_n)$ of a Toeplitz graph with $n$ vertices and show that a Toeplitz graph is a regular graph if and only if it is a circulant graph.

We study the algebraic connectivity for several classes of random semi-regular graphs. For large random semi-regular bipartite graphs, we explicitly compute both their algebraic connectivity and as well as the full spectrum distribution. For an integer $d\in\left[ 3,7\right] $, we find families of random semi-regular graphs that have higher algebraic connectivity than a random $d$-regular graphs with the same number of vertices and edges. On the other hand, we show that regular graphs beat semi-regular graphs when $d\geq8.$ More generally, we study random semi-regular graphs whose average degree is $d$, not necessary an integer. This provides a natural generalization of a $d$-regular graph in the case of a non-integer $d.$ We characterise their algebraic connectivity in terms of a root of a certain 6th-degree polynomial. Finally, we construct a small-world-type network of average degree 2.5 with a relatively high algebraic connectivity. We also propose some related open problems and conjectures.

The three subgraphs of a connected graph induced by the center, annulus and periphery are called its metric subgraphs. The main results are as follows. (1) There exists a graph of order $n$ whose metric subgraphs are all paths if and only if $n\ge 13$ and the smallest size of such a graph of order $13$ is $22;$ (2) there exists a graph of order $n$ whose metric subgraphs are all cycles if and only if $n\ge 15,$ and there are exactly three such graphs of order $15;$ (3) for every integer $k\ge 3,$ we determine the possible orders for the existence of a graph whose metric subgraphs are all connected $k$-regular graphs; (4) there exists a graph of order $n$ whose metric subgraphs are connected and pairwise isomorphic if and only if $n\ge 24$ and $n$ is divisible by $3.$ An unsolved problem is posed.

An $α,β$-Kempe swap in a properly colored graph interchanges the colors on some component of the subgraph induced by colors $α$ and $β$. Two $k$-colorings of a graph are $k$-Kempe equivalent if we can form one from the other by a sequence of Kempe swaps (never using more than $k$ colors). Las Vergnas and Meyniel showed that if a graph is $(k-1)$-degenerate, then each pair of its $k$-colorings are $k$-Kempe equivalent. Mohar conjectured the same conclusion for connected $k$-regular graphs. This was proved for $k=3$ by Feghali, Johnson, and Paulusma (with a single exception $K_2\square K_3$, also called the 3-prism) and for $k\ge 4$ by Bonamy, Bousquet, Feghali, and Johnson. In this paper we prove an analogous result for list-coloring. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap is called $L$-valid for $\varphi$ if performing the Kempe swap yields another $L$-coloring. Two $L$-colorings are called $L$-equivalent if we can form one from the other by a sequence of $L$-valid Kempe swaps. Let $G$ be a connected $k$-regular graph with $k\ge 3$. We prove that if $L$ is a $k$-assignment, then all $L$-colorings are $L$-equivalent (again with a single exception $K_2 \square K_3$). When $k\ge 4$, the proof is completely self-contained, so implies an alternate proof of the result of Bonamy et al. Our proofs rely on the following key lemma, which may be of independent interest. Let $H$ be a graph such that for every degree-assignment $L_H$ all $L_H$-colorings are $L_H$-equivalent. If $G$ is a connected graph that contains $H$ as an induced subgraph, then for every degree-assignment $L_G$ for $G$ all $L_G$-colorings are $L_G$-equivalent.

Using an exhaustive search on cubic graphs of order 16, we find a unique cospectral pair with different chromatic indexes. This example indicates that the chromatic index of a regular graph is not characterized by its spectrum, which answers a question recently posed in [O. Etesami, W. H. Haemers, On NP-hard graph properties characterized by the spectrum, Discrete Appl. Math., 285(2020)526-529]. We prove that any orthogonal matrix representing the similarity between the two adjacency matrices of the cospectral pair cannot be rational. This implies that the cospectral pair cannot be obtained using the original GM-switching method or its generalizations based on rational orthogonal matrices.