arXiv++ Combinatorics

For a graph G of order n with adjacency eigenvalues lambda_1(G) >= ... >= lambda_n(G), the cospectrality of G within the set G of all graphs of order n is the smallest spectral distance from G to another graph of G. Abdollahi and Zakeri conjectured that for every n >= 4 the cospectrality of the complete tripartite graph K_{n,n,n}, both in the Manhattan and in the Euclidean spectral distance, is attained precisely at K_{n-1,n,n+1}. We show that both conjectures are false for every n >= 4, that is, in the whole range in which they are stated. The counterexample is the graph H_n obtained from K_{n-1,n,n} by adding a vertex adjacent to the part of cardinality n - 1, and it is the natural generalization of the graph which the authors themselves exhibited for n = 3 and considered to be exceptional. We determine the spectrum of H_n in a closed form, and we show that the two spectral distances tend to 1 and to 1/2 respectively, instead of to (2*sqrt(3))/3 and to 2/3 as conjectured. On the other hand, we show that in the Euclidean distance the conjecture becomes asymptotically true when the competing graphs are restricted to complete multipartite graphs, so that it fails because a graph of rank four beats the conjectured minimizer.

Chromatic villainy measures the largest number of vertices that must change color to repair a rearrangement of an optimal coloring while preserving every color multiplicity. Weak villainy allows different multiplicities in the repair. On the odd cycle $C_{2r+1}$, we determine the largest repair distance from arbitrary color assignments with a prescribed color-count vector (profile) $\mathbf m$ to proper colorings with any realizable target profile $\mathbf p$: it equals $2r+1-\sum_X\min\{p_X,\lceil m_X/2\rceil\}$. In particular, every feasible profile $(a,b,c)$ has ordinary and weak repair radius $\lfloor a/2\rfloor+\lfloor b/2\rfloor+\lfloor c/2\rfloor$, and $B(C_{2r+1})=r$ for $r\ge2$, answering a question of Clark et al. For arbitrary complete multipartite graphs, we give an arithmetic formula for ordinary villainy with at most $k^2$ candidates and an exact finite formula for weak villainy, where $k$ is the number of parts. Both values are fixed-parameter tractable in $k$ for binary-encoded part sizes. We also determine the maximum of each parameter among all $n$-vertex $k$-chromatic graphs. For $k\ge3$, the ordinary maximum is $\min\{n,4(n-k)\}$, except when $n=4(n-k)-1$ or $(n,k)\in\{(5,3),(7,3)\}$, when it is $n-1$. For $k\ge2$, the weak maximum is $n-\max\{\lceil n/k\rceil,2k-n\}-\varepsilon$, where $\varepsilon\in\{0,1\}$ is determined explicitly by $n$ and $k$. Both extrema are attained by complete multipartite graphs, and a weak extremizer needs at most three distinct part sizes.

Graph matrices that combine structural and metric information have attracted considerable attention in spectral graph theory. In this paper, we introduce the \emph{Degree--Adjacency--Diametrical (DAD) matrix} of a connected graph $G$. The DAD matrix is defined by \[ (DAD(G))_{ij}= \begin{cases} d(v_i), & \text{if } i=j, 1, & \text{if } v_i\sim v_j, \operatorname{diam}(G), & \text{if } d(v_i,v_j)=\operatorname{diam}(G), 0, & \text{otherwise}, \end{cases} \] where $d(v_i)$ denotes the degree of the vertex $v_i$. We establish fundamental spectral properties of the DAD matrix by deriving trace identities, characteristic polynomials, and spectra for several classes of graphs. Furthermore, we obtain a spectral expression for the Wiener index of graphs with diameter two, derive upper bounds for the largest DAD eigenvalue, and establish lower bounds for the DAD energy. Explicit spectral characterizations are also obtained for complete multipartite graphs. The proposed matrix provides a unified spectral framework that simultaneously incorporates degree, adjacency, and diametrical information, thereby enriching the study of graph spectra and introducing a new graph matrix for spectral graph theory.

This paper studies an open network design problem of constructing graph topologies with maximum algebraic connectivity under fixed numbers of vertices and edges. A density-dependent approach is proposed that decomposes the design task into two stages: a high-quality, low-cost structural backbone construction and a reinforcement learning completion stage. The method selects the backbone based on density, using complete multipartite graphs in dense regimes and Cayley graphs in low-to-intermediate regimes, and then refines the remaining edges through a learning-based procedure. Numerical results show that the proposed method achieves high algebraic connectivity with favorable runtime scalability, outperforming existing methods. These results support a structural-family-first strategy for scalable network design.

Shelburne and van Willigenburg (arXiv:2604.26158) characterize the Schur-positive complete multipartite graphs and leave open whether the graphs~$G=K_{(3,\,2^β)}$ are $e$-positive. We resolve this question and, together with their classification, characterize all $e$-positive complete multipartite graphs. Our main result is an explicit, manifestly nonnegative $e$-expansion of~$X_G$ whose coefficients are expressed in terms of the restricted-injection numbers. Our main idea is to derive a marker-variable coefficient-extraction formula for the $e$-coefficients of arbitrary complete multipartite graphs from the elementary--monomial Cauchy identity. For the particular graph~$G$, this formula reduces the proof to three coefficient families, which we evaluate using Dickson polynomials and recurrences for these numbers.

In this paper we investigate the game chromatic number for complete multipartite graphs. Our results consist of two findings: (1) building on Dunn's strategies for equal-sized parts, we determine the closed-form formulas for the game chromatic number for all complete multipartite graphs without singletons, with respective optimal strategies for Alice and Bob, (2) for an explicit list of part sizes, we give an exact algorithm that computes the game chromatic number in polynomial time and allows for reconstructing an optimal strategy for both players. Additionally, we provide counterexamples to earlier, partial formulas for complete multipartite graphs with singletons and large equal-sized parts.

We study equality between metric dimension and the maximum eigenvalue multiplicity of the Laplacian and signless Laplacian matrices. These quantities are not ordered in general. Using the standard decomposition associated with twin classes, we separate forced multiplicities from quotient-spectrum contributions. We give complete equality classifications for complete multipartite graphs and core--satellite graphs, and enumerate the multipartite equality graphs by order. For graphs formed by attaching at least two leaves to every vertex of a connected core, the metric dimension and the multiplicity of the eigenvalue $ 1 $ are known; we show that this multiplicity is maximal for both matrices, and uniquely maximal except for $ P_3 $. We enumerate this core--leaf family up to isomorphism and obtain a uniform asymptotic formula by order and metric dimension, together with the quadratic exponential growth rate $ 1/18 $. An exact census of connected graphs of orders two through seven identifies the first separating examples and examples without twins. Finally, for every odd $ r \in \mathbb{Z}_{\geq 3} $, we study $ Θ_{2, 2, r} $ and determine both maximum multiplicities: the two equality properties alternate with $ r $ modulo four, producing infinite separating families in both directions.

We study the game chromatic number of complete multipartite graphs whose parts are either singletons or are of size at least four. Building on the work of PawełObszarski et al., we give a formula in terms of the ordered part sizes, and the number of singleton parts.

We prove counting formulae for the number of directed Hamiltonian paths and directed Hamiltonian cycles in any complete multipartite graph. The method is based on a collapsing technique relating general path graphs with coloured vertices to legally coloured path graphs.

For every fixed $r\ge3$ and all sufficiently large $n$, we determine the largest adjacency spectral radius of an $n$-vertex graph with fewer than $q c_r(n)$ copies of $K_{r+1}$, where $1\le q<n/r$. Here $c_r(n)$ is the number of copies created by adding one edge to a largest part of the Turán graph. We also determine all extremal graphs. In most cases the extremal graph is obtained from an almost balanced complete multipartite graph by adding a star in one part. Two small values of $q$ require separate constructions, and an additional transition occurs when $r=3$ and $n\equiv2\pmod3$. Under the non-strict constraint, the unique extremal graph is obtained by adding a $q$-edge star to a largest part of the Turán graph. We determine the difference between the strict and non-strict values and prove that the sharp matching threshold is $\sqrt2(r-1)/r$. The proof treats separately the ranges $q=o(n)$, $q/m\toγ\in(0,1)$, and $q/m\to1$.

For a connected graph \(G\), let \[ Q(G)=\frac{T(G;2,0)T(G;0,2)}{T(G;1,1)^2}. \] We obtain quantitative lower bounds for \(Q\) under the graph join operation. If \(A\) and \(B\) are arbitrary simple graphs of orders \(3\le a\le b\), then \(Q(A\vee B)\) admits an explicit lower bound depending only on \(a\) and \(b\), and this bound is strictly greater than \(1\). We further quantify the improvement produced by edges inside the two factors. For every simple graph \(F\), with \(n=|V(F)|+2\ge4\), we prove \[ Q(K_2\vee F)\ge \frac{27}{n^2}\left(\frac32\right)^{n-4}. \] Consequently, every join of at least three nonempty factors, and every complete multipartite graph with at least one edge and no cut edges, satisfies the strict multiplicative Merino--Welsh inequality. The proofs combine orientation estimates with spanning-tree comparisons based on effective resistance and block elimination.

Circulant digraphs form a prominent class of Cayley digraphs defined on finite cyclic groups. Building on the existing classification of $2$-arc-transitive circulant graphs, this paper presents a complete classification of $2$-distance-transitive circulant digraphs. Our main theorem establishes that every connected $2$-distance-transitive circulant digraph is isomorphic to one of the following: the undirected cycle $C_n$, the complete bipartite graph $\K_{\frac{n}{2},\frac{n}{2}}$, the complete multipartite graph $\K_{m[b]}$ with $m\geq 3,b\geq 2$, the graph $\K_{\frac{n}{2},\frac{n}{2}}-\frac{n}{2}\K_2$ for odd $\frac{n}{2}$, prime-order Paley graphs, the directed cycle $\overrightarrow{C}_n$, the oriented graph \(G(p^m,r)\) satisfying Condition~\ref{p-power-normal-2dt-cond}, the oriented graph \( C_r(b,1)\) with $r\geq 3,b\geq 2$ and $rb=n$, the lexicographic product oriented graph \( G(p^m,r)[\overline{\K}_d]\) where \(G(p^m,r)\) obeys Condition~\ref{p-power-normal-2dt-cond}.

A path in a properly edge-colored graph is rainbow if its edges have pairwise distinct colors. For a proper edge-coloring $c$ of a graph $G$, let $\operatorname{rpc}(G,c)$ be the minimum number of rainbow paths needed to cover $E(G)$, and let $\operatorname{rpc}(G)$ be the maximum of $\operatorname{rpc}(G,c)$ over all proper edge-colorings of $G$. We prove that, for every fixed $0<α<1$, every properly edge-colored $n$-vertex graph with minimum degree at least $αn$ satisfies $\operatorname{rpc}(G,c)\leq(1+o(1))n/2$, where the coefficient $1/2$ is best possible. We also determine $\operatorname{rpc}(G)$ asymptotically for every complete multipartite graph. If $G=K_{n_1,\ldots,n_r}$ has order $n$ and largest and smallest part sizes $M$ and $s$, respectively, then, uniformly over all choices of the number and sizes of the parts, $\operatorname{rpc}(G)=(1+o(1))\max\{\min\{\lfloor n/2\rfloor,n-M\},(n-s)/2\}$. The proof combines pseudorandom packings of globally rainbow linear forests with a decomposition into dense parts and prescribed avoidance for arbitrary dense graphs, and with reserved connectors and a direct dominant-part argument for complete multipartite graphs.

An interval edge coloring of a graph is a proper edge coloring by integers such that the colors on the edges incident with any vertex form an interval of integers. Not all graphs are interval colorable; a simple counterexample is $K_3$. The (interval coloring) deficiency of a graph $G$ is the minimum number of pendant edges whose addition to $G$ yields a graph with an interval edge coloring. In this paper, we introduce and study further measures of how far from being interval colorable a graph is. The local deficiency of a graph $G$ is the smallest number of pendant edges that needs to be added at every vertex of $G$ in order to obtain a graph with an interval edge coloring; we can think of the colors of these added edges as ''locally missing'' at a vertex. We also study a weaker version of this notion, the weak local deficiency, which informally is the size of a largest set of consecutive integers ''locally missing'' at a vertex in a proper edge coloring of $G$ minimizing this size. We compare weak local deficiency, local deficiency, and deficiency, and show that the difference can be arbitrarily large in both cases. Moreover, we give concrete examples of graphs whose weak local deficiency (and thus local deficiency) grows with the number of vertices as well as with the maximum degree. We also prove some constructive results on graphs with small weak local deficiency. In particular, all complete multipartite graphs have weak local deficiency at most $2$, and many complete multipartite graphs have weak local deficiency at most $1$. Moreover, bipartite graphs with maximum degree at most $6$, and Eulerian bipartite graphs with maximum degree at most $8$ both have weak local deficiency at most $1$. We conclude the paper by pointing to several open questions for further research.

For a simple graph $G$, let $n$ denote its number of vertices, and let $N(G,K_t)$ denote the number of copies of $K_t$ in $G$. Zykov's theorem (1949) asserts that for any $K_{r+1}$-free graph and $t \geq 2$, \[ N(G,K_t) \leq \binom{r}{t}\left(\frac{n}{r}\right)^t. \] We generalize Zykov's bound within a vertex-based localization framework. For each vertex $v \in V(G)$, let $c(v)$ denote the order of the largest clique containing $v$. Then \[ N(G,K_t) \leq n^{t-1} \sum_{v \in V(G)} \frac{1}{c(v)^t}\binom{c(v)}{t}. \] Moreover, when $G$ contains a copy of $K_t$, equality holds if and only if $G$ is a regular complete multipartite graph. Note that if we impose the condition that $G$ is $K_{r+1}$-free, then $c(v) \leq r$ for all $v \in V(G)$, and the monotonicity of $s \mapsto \binom{s}{t}/s^t$ gives Zykov's bound.

A multipartite tournament is an orientation of a complete multipartite graph. We prove that every $r$-regular $c$-partite tournament with common partite-set cardinality $α$ is $4$-arc-pancyclic whenever $c\ge93$; that is, every arc belongs to a cycle of each length from $4$ to $cα$. This confirms the conjecture of Zhou and Zhang for all sufficiently large $c$ and provides a multipartite analog of Alspach's arc-pancyclicity theorem. Moreover, we also give a construction to show that 4-arc-pancyclic is the best possible. Next, we prove that every arc belongs to at least $cα-α-1$ cycles of pairwise distinct lengths when $c\ge7$ and $α\ge2$. For regular $3$-partite tournaments with common partite-set cardinality $α\ge2$, we obtain the sharp lower bound $α$, settling the remaining case of a conjecture of Xia, Cai, Guo, and Wang.

We study degree-based weighted adjacency matrices associated with symmetric edge-weight functions $ϕ(d_u,d_v)$, with emphasis on complete multipartite graphs and spectral changes caused by edge modification. We characterize its families with three distinct eigenvalues and identifies integral matrices. For complete graphs, an exact threshold is obtained that determines whether deleting one edge increases, preserves, or decreases both the spectral radius and the weighted energy; the generalized Randić family is classified completely, thereby correcting and refining earlier published results in [Bilal and Munir, Int. J. Quantum Chem. (2024)]. We further determine the $ISI$ spectrum under edge deletion from regular complete multipartite graphs, derive the complete weighted spectrum, energy, and inertia of crown multipartite graphs, and prove that adding an edge between two leaves of $S_n$ strictly increases its $ISI$ energy.

We consider the number of common edges in two independent random spanning trees of a graph $G$. For complete graphs $K_n$, we give a new proof of the fact, originally obtained by Moon, that the distribution converges to a Poisson distribution with expected value $2$. This is applied to show a Poisson limit law for the number of common edges in two independent random spanning trees of an Erdős--Rényi random graph $G(n,p)$ for constant~$p$, as well as a central limit theorem in the case where $p\to 0$ and $p\geq n^{-2/3+\varepsilon}$. We also use the same method to prove an analogous result for complete multipartite graphs.

For finite simple graphs $G,H$ on a common vertex set $V$, we say that $H$ is $G$-colorable if $H$ admits a proper list coloring with list assignment $L(v)=N_G(v)$ for all $v\in V$. This notion of coloring a graph using the neighborhood of another graph on the same vertex set, which we call \emph{graphic list coloring}, has connections to several classical topics, including systems of distinct representatives and graph factorizations. In this paper, we investigate when a necessary Hall-type condition, introduced by Hilton and Johnson in 1990, is also sufficient for $H$ to be $G$-colorable. We characterize all graphs $H$ that are $G$-colorable whenever the pair $(H,G)$ satisfies Hall's condition, answering a question raised by Johnson. We then consider the dual problem of characterizing graphs $G$ such that, whenever $(H,G)$ satisfies Hall's condition, $H$ is $G$-colorable. In this vein, we obtain complete results for several families of graphs, such as forests, complete multipartite graphs, and grid graphs.

A graph $G$ is perfect if $ω(H) = χ(H)$ for each induced subgraph $H$ of $G$. In 2002, Chudnovsky, Robertson, Seymour, and Thomas famously proved the Strong Perfect Graph Theorem. Motivated by this forbidden induced subgraph characterization of the class of perfect graphs as well as the possible extension of efficient algorithms on perfect graphs, we consider the structure of graphs that are almost perfect. We say a graph is $c$-apex perfect if there is a constant $c$ number of vertices such that, upon the deletion of these vertices, what remains is a perfect graph. In this paper, we characterize the class of the sets of graphs $\mathcal{H}$ with $|\mathcal{H}|\leq 2$ for which there exists $c \in \mathbb{N}$ with the property that each $\mathcal{H}$-free graph is $c$-apex perfect. We also extend these results to several notable subclasses of perfect graphs, including chordal, interval, split, bipartite, and complete multipartite graphs.