arXiv++ Combinatorics

This paper examines vertex colorings of graphs with constraints on the distribution of colors in vertex neighborhoods. We introduce color 2-switches and color degree matrices. The color degree matrix of a $k$-colored graph is an analog of the degree sequence, while a color 2-switch provides a way to transform a $k$-colored graph to another such graph while maintaining the color of each vertex and the multiset of colors in each vertex neighborhood. We prove that two $k$-colored graphs have the same color degree matrix if and only if one can be obtained from the other by a sequence of color 2-switches. In related work, we generalize neighborhood balanced colorings by allowing for $k$ colors (instead of two) and more flexibility on the number of vertices of each color in a neighborhood. We introduce three classes of $k$-colored, $λ$-balanced graphs, in which any two color classes in a vertex neighborhood differ in size by at most $λ$. These classes are distinguished by whether the balancing condition is imposed on the open neighborhood $N(v)$, the closed neighborhood $N[v]$, or allowed to vary by vertex. For each class, the minimum $λ$ for which a graph admits a balanced coloring defines its $λ$-balance number. We prove general results about these classes and their $λ$-balance numbers. For $k = 2$, we introduce a fourth class, parity balanced graphs, in which the number of vertices of each color are equal in open neighborhoods for even-degree vertices and in closed neighborhoods for odd-degree vertices. Additionally, we focus on the important case where $k=2$ and $λ\le 1$ and introduce the technique of red-blue removals. We provide separating examples between these four classes and prove balance number results for paths, cycles, wheels, trees, caterpillars, and complete multipartite graphs, and a counting result for caterpillars.

Local complement is a graph operation formalized by Bouchet which replaces the neighborhood of a chosen vertex with its edge-complement. This operation induces an equivalence relation on graphs; determining the size of the resulting equivalence classes is a challenging problem in general. Bouchet obtained formulas only for paths and cycles, and brute-force methods are limited to very small graphs. In this work, we extend these results by deriving explicit formulas for several broad families of distance-hereditary graphs, including complete multipartite graphs, clique-stars, and repeater graphs. Our approach uses a technique known as split decomposition to establish upper bounds on equivalence class sizes, and we prove these bounds are tight through a combinatorial enumeration of the graphs' decomposed structure up to symmetry.

We study the total cut complexes and their Alexander duals. The homotopy type of these complexes is calculated for de $p$th power of a cycle with at least $2rn$ vertices where $p\leq r$, solving part of a conjecture of Bayer, Denker, Milutinović, Rowlands, Sundaram and Xue. The homotopy type of the $2$-total cut complex for any $r$th power of a cycle with $r\geq3$ also is calculated, solving a conjecture of Chauhan, Shukla and Vinayak. We give some results about the connectivity. The homotopy type of the complexes for complete multipartite graph is determined. We also study the complexes of cartesian products of paths and of cartesian products of complete graphs for the total $2$-cut complex.

The present paper considers multipartite graphs from the perspective of design theory and coding theory. A one-factor $F$ of the complete multipartite graph $K_{n\times g}$ (with $n$ parts of size $g$) gives rise to a $(g+1)$-ary code ${\cal C}$ of length $n$ and constant weight two. Furthermore, if the one-factor $F$ meets a certain constraint, then ${\cal C}$ becomes an optimal code with minimum distance three. We initiate the study of one-factorizations of complete multipartite graphs subject to distance constraints. The problem of decomposing $K_{n\times g}$ into the largest subgraphs with minimum distance three is investigated. It is proved that, for $n\le g$, the complete multipartite graph $K_{n\times g}$ can be decomposed into $g^2$ copies of the largest subgraphs with minimum distance three. For even $gn$ with $n>g$, it is proved that the complete multipartite graph $K_{n\times g}$ can be decomposed into $g(n-1)$ one-factors with minimum distance three, leaving a small gap of $n$ (in terms of $g$) to be resolved (If $gn$ is odd when $n>g$, no such decomposition of $K_{n\times g}$ exists).

A graph is odd if all of its vertices have odd degrees. In particular, an odd spanning tree in a connected graph is a spanning tree in which all vertices have odd degrees. In this paper we establish a unified technique to enumerate odd spanning trees of a graph $G$ in terms of a multivariable polynomial associated with $G$ and indeterminates $\{x_{i}:v_i\in V(G)\}$. As applications, the enumerative formulas for odd spanning trees in complete graphs, complete multipartite graphs, almost complete graphs, complete split graphs and Ferrers graphs are, respectively, derived from our work.

We present a determinantal formula for the number of spanning trees of a complete multipartite graph containing a given spanning forest $F$. Our approach relies on the Generalized Matrix Determinant Lemma and Jacobi's formula for the derivative of a determinant. This work generalizes known results for complete bipartite graphs and offers an algebraic perspective on the problem.

The Hall number is a graph parameter closely related to the choice number. Here it is shown that the Hall numbers of the complete multipartite graphs $K(m,2,\ldots,2)$, $m\ge 2$, are equal to their choice numbers.

Let $I(F,n)$ denote the maximum number of induced copies of a graph $F$ in an $n$-vertex graph. The inducibility of $F$, defined as $i(F)=\lim_{n\to \infty} I(F,n)/\binom{n}{v(F)}$, is a central problem in extremal graph theory. In this work, we investigate the inducibility of Turán graphs $F$. This topic has been extensively studied in the literature, including works of Pippenger--Golumbic, Brown--Sidorenko, Bollobás--Egawa--Harris--Jin, Mubayi, Reiher, and the first author, and Yuster. Broadly speaking, these results resolve or asymptotically resolve the problem when the part sizes of $F$ are either sufficiently large or sufficiently small (at most four). We complete this picture by proving that for every Turán graph $F$ and sufficiently large $n$, the value $I(F,n)$ is attained uniquely by the $m$-partite Turán graph on $n$ vertices, where $m$ is given explicitly in terms of the number of parts and vertices of $F$. This confirms a conjecture of Bollobás--Egawa--Harris--Jin from 1995, and we also establish the corresponding stability theorem. Moreover, we prove an asymptotic analogue for $I_{k+1}(F,n)$, the maximum number of induced copies of $F$ in an $n$-vertex $K_{k+1}$-free graph, thereby completely resolving a recent problem of Yuster. Finally, our results extend to a broader class of complete multipartite graphs in which the largest and smallest part sizes differ by at most on the order of the square root of the smallest part size.

This paper introduces and studies the stability of the strong domination number of a graph, denoted $\operatorname{st}_{γ_{st}}(G)$, defined as the minimum number of vertices whose removal changes the strong domination number $γ_{st}(G)$. We determine exact values of this stability parameter for several fundamental graph classes, including paths, cycles, wheels, complete bipartite graphs, friendship graphs, book graphs, and balanced complete multipartite graphs. General bounds on $\operatorname{st}_{γ_{st}}(G)$ are established, along with a Nordhaus Gaddum type inequality. The behavior of stability under graph operations such as join, corona, and Cartesian product is also investigated. Structural characterizations of graphs with given stability values are provided, and several open problems and directions for future research are outlined.

The point-thickness $θ'(G)$ of a graph $G$ is the minimum number of subsets into which the vertex set $V(G)$ of $G$ is partitioned such that each subset induces a planar subgraph. In this paper, we determine the point-thicknesses of complete graphs and complete multipartite graphs.

The sensitivity, $σ(G)$, of a finite undirected simple graph $G$ is the smallest maximum degree of an induced subgraph on more than the maximum number of independent vertices. Call an indexed family of graphs $G_n$ with maximum degree $Δ(G_n) \to \infty$ as $n \to \infty$ sensitive if $σ(G_n) \to \infty$, and insensitive otherwise. We describe sensitivity under the join operation and decomposition into stable blocks and construct sensitive and insensitive, primarily non-regular, graph families. We determine the sensitivity explicitly for numerous singly- and doubly-indexed graph families, including certain generalized joins - e.g., complete multipartite graphs and some generalized windmill graphs; general rooted products; and families of corona graphs.

The duality theorem of Lass relates the matching polynomials of a simple graph $G$ with the matching polynomials of its complement $\bar G$. In particular, this relation gives rise to Godsil's result, which offers a nice interpretation of the Lebesgue-Stieltjes integral associated with the Hermite orthogonality measure. In this work, we introduce the concept of path-cover polynomials. Similar to matching polynomials, we show that path-cover polynomials also satisfy duality relations and give combinatorial interpretations of the Lebesgue-Stieltjes integral and the inner product in the space of associated Laguerre polynomials. Similar duality relations hold for clique-cover polynomials and chromatic polynomials. As applications, we find an efficient algorithm that computes graph polynomials for cographs. We also give explicit formulas to compute the number of Hamiltonian paths and cycles in complete multipartite graphs.

We establish explicit formulas for Bell numbers and graphical Stirling numbers of complete multipartite graphs, complete bipartite graphs with removed perfect matchings, and Mycielskian trees. For complete multipartite graphs $K(n_1,\ldots,n_\ell)$, we provide a simplified proof that $B(G) = \prod_{i=1}^\ell \bell{n_i}$. We derive $B(K_{n,n} - M) = \sum_{k=0}^{n} \binom{n}{k} \bell{k}^2$ for removed perfect matching $M$, and for Mycielskian star graphs, $B(M(St_n); 3) = 2^n + 1$ and $B(M(St_n); 2n) = 2n^2 - 3n + 3$. Results extend to Mycielskians of arbitrary trees. Our computational verifications establish links between graphical Bell numbers and fundamental sequences in combinatorics and pattern avoidance, including identification of several OEIS entries: A000051, A096376, A116735, A384980, A384981, A384988, A385432, and A385437.

We study the $H$-chromatic symmetric functions $X_G^H$ (introduced in (arXiv:2011.06063) as a generalization of the chromatic symmetric function (CSF) $X_G$), which track homomorphisms from the graph $G$ to the graph $H$. We focus first on the case of self-chromatic symmetric functions (self-CSFs) $X_G^G$, making some progress toward a conjecture from (arXiv:2011.06063) that the self-CSF, like the normal CSF, is always different for different trees. In particular, we show that the self-CSF distinguishes trees from non-trees with just one exception, we check using Sage that it distinguishes all trees on up to 12 vertices, and we show that it determines the number of legs of a spider and the degree sequence of a caterpillar given its spine length. We also show that the self-CSF detects the number of connected components of a forest, again with just one exception. Then we prove some results about the power sum expansions for $H$-CSFs when $H$ is a complete bipartite graph, in particular proving that the conjecture from (arXiv:2011.06063) about $p$-monotonicity of $ω(X_G^H)$ for $H$ a star holds as long as $H$ is sufficiently large compared to $G$. We also show that the self-CSFs of complete multipartite graphs form a basis for the ring $Λ$ of symmetric functions, and we give some construction of bases for the vector space $Λ^n$ of degree $n$ symmetric functions using $H$-CSFs $X_G^H$ where $H$ is a fixed graph that is not a complete graph, answering a question from (arXiv:2011.06063) about whether such bases exist. However, we show that there generally do not exist such bases with $G$ fixed, even with loops, answering another question from (arXiv:2011.06063). We also define the $H$-chromatic polynomial as an analogue of the chromatic polynomial, and ask when it is the same for different graphs.

Let $\mathcal{D}_{n,τ}$ be the set of all simple connected graphs of order $n$ and dissociation number $τ.$ In this paper, we study the minimum size and the minimum spectral radius of graphs in $\mathcal{D}_{n,τ}$ in connection with Turán-type problems for complete multipartite graphs. We characterize the Tur\' an graphs for several complete multipartite graphs where the size of one of the partite sets is much smaller than the size of the remaining partites. This extends a result of Erdős and Simonovits [16]. Additionally, we prove some stability results to get the structure of graphs without such a forbidden complete multipartite subgraph, and close to Turán number of edges. As an application, we show that a graph with the minimum spectral radius in $\mathcal{D}_{n,τ}$ must be a graph with the minimum size in $\mathcal{D}_{n, τ}$ when $n$ is sufficiently large and satisfies some parity conditions. We then describe a few structural properties of graphs with the minimum spectral radius in $\mathcal{D}_{n,τ}$. For even dissociation numbers and any order $n$, we compute the minimum size of a graph in $\mathcal{D}_{n,τ}$ and use it to characterize the graphs in $\mathcal{D}_{n, 4}$ that attain the minimum size and the minimum spectral radius. We also apply the stability results to upper bound the minimum number of edges and spectral radius for connected graphs with a given $d$-independence number when the order of the graph is sufficiently large. Finally, we derive two new bounds on the value of $τ(G)$ for a given graph $G$.

We establish a bijective correspondence between Smirnov words with balanced letter multiplicities and Hamiltonian paths in complete $m$-partite graphs $K_{n,n,\ldots,n}$. This bijection allows us to derive closed inclusion-exclusion formulas for the number of Hamiltonian cycles in such graphs. We further extend the enumeration to the generalized nonuniform case $K_{n_1,n_2,\ldots,n_m}$. We also provide an asymptotic analysis based on Stirling's approximation, which yields compact factorial expressions and logarithmic expansions describing the growth of the number of Hamiltonian cycles in the considered graphs. Our approach unifies the combinatorial study of adjacency-constrained words and the enumeration of Hamiltonian cycles within a single analytical framework.

A family of graphs $\mathcal{F}$ is $H$-intersecting if the edge intersection of any two graphs in $\mathcal{F}$ contains a copy of a fixed graph $H$. A fundamental problem is to determine the maximum size of such a family. The trivial lower bound of $2^{\binom{n}{2} - e(H)}$ is known to be not sharp for some graphs, such as the $P_4$ graph, as shown by Christofides. This paper presents two main contributions. First, we introduce a general construction for $H$-intersecting families based on decompositions of complete multipartite graphs, yielding new lower bounds for $H = K_{s_1, \dots, s_{k-1}, t}$. We compare this construction to a result by Balogh and Linz, showing that our bound is valid for a substantially wider range of parameters (beginning at $t \ge 2^{\sum_i s_i}$) and provides a stronger numerical bound for a large interval where both constructions are applicable. Second, we conjecture the $\frac{17}{128}$ Christofides bound for $P_4$ is optimal, which would resolve the Alon-Spencer conjecture. We computationally verify this density is optimal for families generated by connected 6-vertex host graphs with 7 or 8 edges.

In a simple drawing of a graph every pair of edges intersect each other in at most one point, which is either a common endvertex or a proper crossing. For each positive integer $n$, Negami identified a drawing $B_n$ of the complete bipartite graph $K_{n,n}$, and proved that if $N$ is sufficiently large, then every drawing of $K_{N,N}$ contains a drawing of $K_{n,n}$ weakly isomorphic to $B_n$. Thus $B_n$ is (up to weak isomorphism) the only {\em unavoidable} drawing of $K_{n,n}$. We extend this result to complete multipartite graphs, characterizing their unavoidable drawings.

Cho and van Willigenburg (arXiv:1508.07670) and Alinaeifard, Wang, and van Willgenburg (arXiv:2010.00147) introduce multiplicative chromatic bases for the ring $Λ$ of symmetric functions, consisting of the chromatic symmetric functions (CSFs) of a sequence of connected graphs $G_1,G_2,\dots$ such that $G_n$ has total weight $n$, together with the CSFs of their disjoint unions. In arXiv:1707.04058, Tsujie introduces an alternative ring structure $\widetildeΛ$ on the vector space $Λ$ that makes CSFs multiply over joins instead of over disjoint unions. The $\widetilde{m}_λ$ basis, consisting of all CSFs of weighted cliques, is a multiplicative basis for $\widetildeΛ$, as is the $r_λ$ basis of complete multipartite graphs studied by Penaguiao (arXiv:1803.08824) and Crew and Spirkl (arXiv:2009.14141). We show that one can get more of these "cochromatic bases" (where the starting graphs are combined by joins instead of disjoint unions, hence forming a multiplicative basis for $\widetildeΛ$ instead of $Λ$) if and only if the starting graphs are edgeless. We also show that $\widetildeΛ$ is a Hopf algebra with the same coproduct as $Λ$, and that many of the chromatic bases for $Λ$ generated by cliques can be taken to their corresponding cochromatic bases via Hopf algebra isomorphisms $Λ\to \widetildeΛ.$ We also show that there is a single Hopf algebra morphism taking the CSFs of all unweighted triangle-free graphs to the CSFs of their complements, and we give several more conditions and examples for when one can or cannot find Hopf algebra maps taking the CSFs of certain graphs to the CSFs of their complements. Finally, we show that $K$-analogues of many of the above statements also hold if one instead uses the Kromatic symmetric function (KSF) defined by Crew, Pechenik, and Spirkl (arXiv:2301.02177).

We define the family of Maya-Tupi graphs as those graphs that admit a partition $(A,B)$ of their vertex sets such that $A$ induces a complete multipartite graph where each part has size at most two, and $B$ induces a graph where every connected component is $K_1$ or $K_2$. The family of Maya-Tupi graphs is self complementary, generalizes split graphs, falls into the sparse-dense partitioning schema and is characterized by finitely many forbidden induced subgraphs. Unfortunately, our computational experiments show that the number of minimal forbidden induced subgraphs to characterize Maya-Tupi graphs is greater than 2000. In this work, we study Maya-Tupi graphs when restricted to some well-known graph classes. We find characterizations in terms of minimal forbidden induced subgraphs for disconnected graphs, trees and cographs; our results imply linear time certifying recognition algorithms for Maya-Tupi graphs within these classes. We also show that Maya-Tupi graphs can be recognized in $\mathcal{O}(n^3)$-time in $C_4$-free graphs and in graphs with bounded neighborhood diversity.