arXiv++ Combinatorics

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.

The quadratic embedding constant (QEC) of a finite, simple, connected graph originated from the classical work of Schoenberg [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938] on Euclidean distance geometry. In this article, we study the QEC of graphs in terms of two graph operations: the Cartesian product and the join of graphs. We derive a general formula for the QEC of the join of an arbitrary graph with a regular graph and with a complete multipartite graph. We then provide quadratic embedding constants for the Cartesian product of an arbitrary graph $G$ with a complete graph and with a complete bipartite graph in terms of QEC$(G)$.

We introduce the concept of link-irregular labelings for graphs, extending the notion of link-irregular graphs through edge labeling with positive integers. A labeling is link-irregular if every vertex has a uniquely labeled subgraph induced by its neighbors. We establish necessary and sufficient conditions for the existence of such labelings and define the link-irregular labeling number $η(G)$ as the minimum number of distinct labels required. Our main results include necessary and sufficient conditions for the existence of link-irregular labelings. We show that certain families of graphs, such as bipartite graphs, trees, cycles, hypercubes, and complete multipartite graphs, do not admit link-irregular labelings, while complete graphs and wheel graphs do. Specifically, we prove that $η(K_n) = 2$ for $n \geq 6$ and $η(K_n) = 3$ for $n \in \{3,4,5\}$. For wheel graphs $W_n$, we establish that $η(W_n) \approx \sqrt{2n}$ asymptotically. Finally, we prove that for every positive integer $n$, there exists a graph with a link-irregular labeling number exactly $n$, and provide several results on graph operations that preserve labeling numbers.

A geometric graph is a drawing of a graph in the plane where the vertices are drawn as points in general position and the edges as straight-line segments connecting their endpoints. It is plane if it contains no crossing edges. We study plane cycles in geometric complete multipartite graphs. We prove that if a geometric complete multipartite graph contains a plane cycle of length $t$, with $t \geq 6$, it also contains a smaller plane cycle of length at least $\lfloor t/2\rfloor + 1$. We further give a characterization of geometric complete multipartite graphs that contain plane cycles with a color class appearing at least twice. For geometric drawings of $K_{n,n}$, we give a sufficient condition under which they have, for each $s \leq n$, a plane cycle of length 2s. We also provide an algorithm to decide whether a given geometric drawing of $K_{n,n}$ contains a plane Hamiltonian cycle in time $O(n \log n + nk^2) + O(k^{5k})$, where k is the number of vertices inside the convex hull of all vertices. Finally, we prove that it is NP-complete to decide if a subset of edges of a geometric complete bipartite graph H is contained in a plane Hamiltonian cycle in H.

An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an antiferromagnetic graph $G$ generalises various important parameters in graph theory, including the number of independent sets and proper vertex-colourings, as well as their relaxations in statistical physics. We obtain homomorphism inequalities for various graphs $H$ and antiferromagnetic graphs~$G$ of the form \[ \lvert\operatorname{Hom}(H,G)\rvert^2 \leq \lvert\operatorname{Hom}(H\times K_2,G)\rvert, \] where $H\times K_2$ denotes the tensor product of $H$ and $K_2$. Firstly, we show that the inequality holds for any $H$ obtained by blowing up vertices of a bipartite graph into complete graphs and any antiferromagnetic $G$. In particular, one can take $H=K_{d+1}$, which already implies a new result for the Sah--Sawhney--Stoner--Zhao conjecture on the maximum number of $d$-regular graphs in antiferromagnetic graphs. Secondly, the inequality also holds for $G=K_q$ and those $H$ obtained by blowing up vertices of a bipartite graph into complete multipartite graphs, paths or even cycles. Both results can be seen as the first progress towards Zhao's conjecture on $q$-colourings, which states that the inequality holds for any $H$ and $G=K_q$, after his own work. Our method leverages on the emerging theory of Lorentzian polynomials due to Brändén and Huh and log-concavity of the list colourings of bipartite graphs, which may be of independent interest.

Given positive integer $n$ and graph $F$, the saturation number $\mathrm{sat}(n, F)$ is the minimum number of edges in an edge-maximal $F$-free graph on $n$ vertices. In this paper, we determine asymptotic behavior of $\mathrm{sat}(n, F)$ when $F$ is either a complete multipartite graph or a cycle graph whose length is even and large enough. This extends a result by Bohman, Fonoberova, and Pikhurko from 2010 as well as partially resolves a conjecture of Füredi and Kim from 2013.

In this work we study the acyclic orientations of graphs. We obtain an encoding of the acyclic orientations of the complete $p$-partite graph with size of its parts $n_1,n_2,\ldots,n_p$ via a vector with $p$ symbols and length $n=n_1+n_2+\ldots+n_p$ when the parts are fixed but not the vertices in each part. We also give a recursive way to construct all acyclic orientations of a complete multipartite graph, this construction can be done by computer easily in order $\mathcal{O}(n)$. Furthermore, we obtain a closed formula for non-isomorphic acyclic orientations of both the complete multipartite graphs and the complete multipartite graphs with a directed spanning tree. Moreover, we obtain a closed formula for the number of acyclic orientations of a complete multipartite graph $K_{n_1,\ldots,n_p}$ with labelled vertices. Finally, we obtain a way encode all acyclic orientations of an arbitrary graph as a permutation code. Using the codification mentioned above we obtain sharp upper and lower bounds of the number of acyclic orientations of a graph.

In this paper, we introduce the concept of a relative Heffter space which simultaneously generalizes those of relative Heffter arrays and Heffter spaces. Given a subgroup $J$ of an abelian group $G$, a relative Heffter space is a resolvable configuration whose points form a half-set of $G\setminus{J}$ and whose blocks are all zero-sum in $G$. Here we present two infinite families of relative Heffter spaces satisfying the additional condition of being simple. As a consequence, we get new results on globally simple relative Heffter arrays, on mutually orthogonal cycle decompositions and on biembeddings of cyclic cycle decompositions of the complete multipartite graph into an orientable surface.