arXiv++ Combinatorics

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.

Let $G$ be a finite simple graph on $[n]$ and let $I_c(G)$ denote its complementary edge ideal in the polynomial ring $S = K[x_1,\dots,x_n]$. We give a combinatorial description, in terms of the structure of $G$, of the minimal generators of the symbolic Rees algebra $\mathcal{R}_s(I_c(G)) = \bigoplus_{k \geq 0} I_c(G)^{(k)} t^k$, and show that this algebra is generated in degree at most $6$. Moreover, we completely determine the minimal generators of $\mathcal{R}_{s}(I_{c}(G))$ in graph-theoretic terms. We then study in more detail the homological invariants of the symbolic powers $I_c(G)^{(k)}$ for the classes of cycle graphs and complete multipartite graphs. For theses families, we study the behavior of the symbolic depth function $k\mapsto\operatorname{depth} S/I_c(G)^{(k)}$, we obtain the limit depth of the symbolic powers and the Waldschmidt constant of $I_c(G)$, and further prove that all the symbolic powers $I_c(G)^{(k)}$ are componentwise linear.

The trace of the average mixing matrix of a quantum walk measures the "laziness" of the walk: the higher the trace, the more likely that the walker returns home in the long run. In this paper, we develop tools to study this graph invariant arising from Laplacian quantum walks. It is known that the complete graph $K_n$ is the laziest connected graph on $n$ vertices. Using our machinery, we show that the star $S_n$ is the second laziest connected graph on $n$ vertices (and hence the laziest tree on $n$ vertices), the complete multipartite graph $K_{n-2,1,1}$ is the third laziest connected graph on $n$ vertices, and the double star $DS(n-3,1)$ is the second laziest tree on $n$ vertices. We also show that on the same number of vertices, more unbalanced double stars are lazier.

For a graph $G$, let $h(G)$ be the minimum cardinality of a vertex set meeting every maximum independent set of $G$. We establish two complementary reduction principles for the Bollobás--Erdős--Tuza conjecture: the conjecture for arbitrary graphs is equivalent to its restriction to regular graphs of any fixed positive linear degree, and, within every hereditary graph class, a uniform sublinear bound is equivalent to a sublinear bound on graphs of every fixed positive linear vertex connectivity. We prove the sharp general estimate \[ h(G)\le \left\lfloor\frac{|V(G)|}{2α(G)+δ(G)-|V(G)|}\right\rfloor \] whenever the denominator is positive, with equality for balanced complete multipartite graphs. Consequently, every $3$-colorable graph of order $n$ with $κ(G)\geρn$ and $ρ>1/3$ has a hitting set of size at most $\lfloor(ρ-1/3)^{-1}\rfloor$; direct use of a $3$-coloring improves this to $6$ when $κ(G)>4n/9$ and to the sharp bound $3$ when $κ(G)>n/2$. For dense regular graphs with independence ratio greater than $1/4$, we obtain a logarithmic bound, while constructions with linear degree and linear independence number show that $h(G)=Ω(\sqrt n)$ can still occur. We also prove a logarithmic bound for near-regular $3$-colorable graphs and exhibit a critical family at connectivity $n/3$ that explains the limitations of the degree-surplus and degree-ratio methods.

For a graph $G$ of order $n$, let $\mathcal E(G)$ denote its adjacency energy and let $α(G)$ denote its independence number. A recent theorem of Kumar and Pragada states that $$\mathcal E(G)\ge 2\bigl(n-α(G)\bigr).$$ We determine all graphs attaining equality. More precisely, equality holds if and only if every connected component of $G$ is an isolated vertex, a balanced complete multipartite graph, or a graph obtained by taking the disjoint union of $K_{a,\ldots,a}$ and $K_{b,\ldots,b}$, with the same number $r\ge3$ of parts, and then completely joining corresponding parts.

In this paper, we study the Minkowski decomposability of symmetric edge polytopes $P_G^\pm$ of a finite simple graph $G$ on vertex set $[n]$. More precisely, we give a complete characterization of graphs whose symmetric edge polytopes are Minkowski decomposable. We prove that $P_G^\pm$ is Minkowski decomposable if and only if $G$ is one of the three complete multipartite graphs: $K_n$, $K_{2,n-2}$, or $K_{1,1,n-2}$. In other words, if $G$ does not belong to these three families, then $P_G^\pm$ is Minkowski indecomposable.

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.

Let $S(G)$ denote the Seidel matrix of a simple graph $G$, and let $E_S(G)$ be the Seidel energy of $G$, defined as the sum of the absolute values of the eigenvalues of $S(G)$. In this paper, we study the change of Seidel energy under edge deletion. For an independent-set blow-up graph $G=H[n_1,\ldots,n_p]$, we establish a general structural criterion within the framework of independent-set blow-up graphs. More precisely, if the endpoints of the deleted edge $e$ belong to blow-up parts of sizes $n_a$ and $n_b$, respectively, then $E_S(G-e)>E_S(G)$ whenever both $n_a,n_b$ are at least $4$, or one is $3$ and the other is at least $6$, or one is $2$ and the other is at least $15$. As applications, we obtain the following consequences. First, for every Turán graph $T(n,r)$ with $r\geq4$ and $n\geq4r$, deleting any edge strictly increases the Seidel energy. Second, for complete multipartite graphs, we derive an exact reduced-order spectral criterion for the remaining cases not covered by the structural result. This criterion determines whether the Seidel energy increases, decreases, or remains unchanged after deleting an edge, by using matrices whose orders depend only on the number of partite sets. These results provide affirmative answers to two problems proposed by Tian et al. [\textit{Linear and Multilinear Algebra} 70 (19) (2022), 4597--4614].

Let $G$ be a graph and let $\PF_t(G)$ denote the simplicial complex whose faces are vertex subsets whose induced subgraphs contain no path on $t$ vertices. These complexes encode a forbidden-subgraph condition as a family of allowed vertex subsets. In this paper, we study $t$-path-free complexes of complete multipartite graphs. Let \[ G=K_{n_1,\dots,n_m}, \qquad n_1\le\cdots\le n_m. \] We first obtain an explicit structural decomposition of $\PF_t(G)$ as a union of join complexes, together with an additional lower-dimensional size-truncation term. Using this decomposition, we show that for $t\le 2n_{m-1}-2$ the complex $\PF_t(G)$ is not sequentially Cohen-Macaulay, while for $t\ge 2 n_{m-1}-1$ it is vertex decomposable. Consequently, we obtain a complete characterization for complete multipartite graphs: $\PF_t(G)$ is vertex decomposable if and only if $t\ge 2n_{m-1}-1$. Equivalently, this is also exactly the range in which $\PF_t(G)$ is shellable and sequentially Cohen-Macaulay. We further analyze the topology via a Mayer-Vietoris spectral sequence: for complete bipartite graphs, we determine the full homotopy type as an explicit wedge of spheres in all cases.

Signed total Roman domination is a variant of the classic Roman domination-problem in graphs. A signed total Roman dominating function (STRD function) on a graph $G=(V,E)$ is a function $f: V \to \{-1,1,2\}$ such that (i) $\sum_{u \in N(v)} f(u) \geq 1$ for all $v \in V$, where $N(v)$ denotes the neighborhood of $v$, and (ii) every vertex $v$ with $f(v) = -1$ is adjacent to a vertex $u$ with $f(u) = 2$. The weight of $f$ is $\sum_{v \in V} f(v)$. The signed total Roman domination number of $G$ is the minimum weight among all its STRD functions. A signed total Roman dominating family (STRD family) on $G$ is a family $\{f_1, \ldots, f_d\}$ of pairwise distinct STRD functions such that $\sum_{i=1}^{d} f_i(v) \leq 1$ for all $v \in V$. The signed total Roman domatic number of $G$ is the maximum size among all its STRD families. In this paper, we relate the signed total Roman domination number of a cubic graph to its open packing number, 2-tuple total domination number, and signed total domination number, allowing us to derive sharp bounds on the first invariant and to establish new $\mathcal{NP}$-completeness results for all four invariants. We demonstrate that having a degree-3 vertex determines a graph's signed total Roman domatic number. Combined with known results this implies that the associated decision problem is easy for graphs with maximum degree at most three and $\mathcal{NP}$-complete otherwise. To contrast these general hardness results, we determine signed total Roman domination and domatic numbers in complete multipartite graphs. Despite their simple structure, this is a non-trivial task.

A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph until the convex hull of the jointly unselected vertices is too small. The last player to move is the winner. The achievement game ends when the convex hull of the jointly unselected vertices is not the vertex set. In the avoidance game, the convex hull of the jointly unselected vertices must always be the vertex set. We study the nim-values for several graph families, including cycle graphs, hypercube graphs, complete multipartite graphs, wheel graphs, generalized wheel graphs, and graphs with a unique minimal generating set.

Exact \(k\)-leaf powers are graphs whose edges are exactly the pairs of leaves at distance \(k\) in a tree. We prove explicit structure theorems for exact leaf powers on several representative graph families that test different exact-distance phenomena. Our most detailed root-classification theorem concerns chordless cycles: all exact \(5\)-leaf roots of \(C_\ell\), \(\ell\ge 8\), are described by a complete terminal block language. We also prove that the \(t\)-square ladder \(L_t\) is an exact \(5\)-leaf power if and only if \(t\le 2\). In contrast, dense bipartite square structures are often representable: among block-complete multipartite graphs, the exact \(5\)-leaf powers are precisely the bipartite members, and every bipartite co-cluster graph, including every crown \(K_{n,n}-M\), is an exact \(k\)-leaf power for every \(k\ge 5\). Finally, we give parity classifications for complete multipartite graphs and multipartite block graphs at larger exact distances, and isolate a sharp fan boundary at exact distance six.

We introduce a spectral version of the classical inducibility problem. Given an $\ell$-vertex graph $F$ and an $n$-vertex graph $G$, let $H_F(G)$ be the $\ell$-uniform hypergraph whose edges are the $\ell$-sets inducing a copy of $F$ in $G$. We study the maximum possible $α$-spectral radius of $H_F(G)$ over all $n$-vertex graphs $G$. For fixed $G$, this spectral parameter tends to $\ell!$ times the number of induced copies of $F$ in $G$ as $α\to\infty$, and therefore refines the usual induced-copy count. Our main result is a spectral analogue of the Brown--Sidorenko reduction: for every complete multipartite graph $F$, every $n$, and every $α\ge1$, a spectral extremal graph can be chosen to be complete multipartite. We also show that the leading asymptotic constant is the ordinary inducibility $i(F)$, and obtain exact multipartite reductions for stars $K_{1,t}$ and balanced complete $r$-partite graphs $K_{a,\ldots,a}$ with $r\le 2^a-1$.

For graph $G$, a connected graph $H$ of order $n$ is said to be $G$-good if $r(G,H)=(χ(G)-1)(n-1)+s(G)$, where $χ(G)$ is the chromatic number of $G$ and $s(G)$ is the minimum size of a color class in a $χ(G)$-coloring of $G$. Let $K_{p+1}(α;n)$ denote the complete $(p+1)$-partite graph with $p$ partite sets of size $α$ and one partite set of size $n$. We determine all graphs $G$ for which $K_{p+1}(α;n)$ is $G$-good for large $n$. The characterization depends on the parameter $\mathrm{snd}(α)$, the smallest non-divisor of $α$.

For a commutative ring $R$ with identity, the \emph{weakly zero-divisor graph} $\WG(R)$ has vertex set $\Z(R)^{\ast}$, with distinct vertices $x$ and $y$ adjacent whenever there exist nonzero $r\in\Ann(x)$ and $s\in\Ann(y)$ with $rs=0$. The Laplacian spectrum of $\WG(\Z_n)$ has been determined by Shariq, Mathil, and Kumar, who also established that $\WG(\Z_n)$ is Laplacian integral. Building on the structural description of $\WG(R)$ due to Nikmehr, Azadi, and Nikandish, we extend the Laplacian spectrum and integrality results from $\Z_n$ to \emph{every} finite commutative ring $R$: we restate $\WG(R)$ in unified form as a complete multipartite graph whose parts are made explicit by the local-ring decomposition of $R$, compute the full Laplacian spectrum in closed form, prove Laplacian integrality of $\WG(R)$, and give a sharp bound on the number of distinct Laplacian eigenvalues. As consequences we obtain explicit formulas for the algebraic connectivity and number of spanning trees of $\WG(R)$, and recover the Laplacian spectrum of $\WG(\Z_n)$ in compact form.

We prove that for every path $P$, the class of graphs with no induced $P$ and no induced four-cycle $C_4$ is linearly $χ$-bounded. More generally, we ask for which pairs $\{T,H\}$ where $T$ is a forest and $H$ is a complete multipartite graph, every graph $G$ with no induced $T$ and no induced $H$ has chromatic number at most $C \cdot R(α(H),ω(G)+1)$ for some constant $C$ depending only on $T$ and $H$, where $R(\cdot,\cdot)$ denotes the usual Ramsey numbers. We show that this holds in the following two instances, which strengthen the case $T=P$ and $H=C_4$ mentioned above: (1) every component of $T$ is a broom and $H$ is complete multipartite; or (2) $T$ is a forest and $H$ is complete bipartite. These two unify and substantially extend a number of previous results on linear and polynomial $χ$-boundedness for various graph classes. For case (2), we also provide a new proof (with better bounds) of a recent result of Fox, Nenadov, and Pham on the existence of an induced copy of a fixed tree in a graph satisfying certain sparsity conditions.

We develop a saddle-point theory for acyclic orientations and negative chromatic evaluations of complete multipartite graphs, with applications to OEIS A267383, A372326, A372084, A372395, and A370613. The main tool is an exact Gamma-type integral representation for acyclic orientation counts and its Gamma-weighted extension to the negative chromatic axis. We prove Kotesovec's fixed-column conjecture for A267383 for arbitrary fixed numbers of parts, give the corresponding fixed-p Tutte-axis asymptotics, develop an analytic-combinatorics-in-several-variables framework for chromatic evaluations of fixed graph blow-ups, and give unconditional fixed-base families reducible to balanced Turan graphs. In the product regimes we prove fixed part-size and finite-profile expansions, and for equal-size parts we obtain an all-order expansion throughout every fixed polynomial window, including explicit corrections through the cubic scale. Finally, we prove logarithmic asymptotics for the partition-sum sequences A372395 and A370613 via a quadratic-energy partition model, a growing-window comparison for the Stirling-transform factors, and a random-permutation far-tail bound.

A graph is Schur-positive if its chromatic symmetric function expands non-negatively in the Schur basis. We determine a full Schur-positivity classification for complete multipartite graphs by showing that a complete multipartite graph $K_λ$ is Schur-positive if and only if either $λ_i\in \{1,2\}$ for all $i$ or $λ=(3,2^β)$ for some $β\ge 1$. These results extend earlier classifications for complete bipartite and complete tripartite graphs to full generality. Our proofs combine structural arguments ruling out most cases, with a combinatorial analysis of Schur coefficients for the remaining family $K_{(3,2^β)}$ via special rim hook $G$-tabloids. Along the way, we establish a simpler formula for Schur coefficients of incomparability graphs, which we then apply to compute the coefficients of interest in terms of non-increasing sequences.

We investigate Fair and Tolerant (FAT) graph colorings, a coloring framework in which each vertex is allowed to share its color with a prescribed fraction of its neighbors, while the remaining neighbors are required to be distributed evenly among the other coloring classes. In particular, we determine the FAT chromatic number for all complete multipartite graphs, and we analyze the behavior of FAT colorings under several graph operations. Although spectral methods form the primary focus, several combinatorial arguments are included to complement the results.