arXiv++ Combinatorics

Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathscr{F}$ as a subgraph. The Turán number, denoted by $ex(n, \mathscr{F})$, is the maximum number of edges in an $n$-vertex $\mathscr{F}$-free graph. Let $F $ be a fixed graph with $ χ(F) \geq 3 $. A forest $H$ is called a linear forest if all components of $H$ are paths. In this paper, we determined the exact value of $ex(n, \{H, F\}) $ for a fixed graph $F$ with $χ(F)\geq 3$ and a linear forest $H$ with at least $2$ components and each component with size at least $3$.

Let $n \in 3\mathbb{Z}$ be sufficiently large. Zhang, Zhao and Lu proved that if $H$ is a 3-uniform hypergraph with $n$ vertices and no isolated vertices, and if $deg(u)+deg(v) > \frac{2}{3}n^2 - \frac{8}{3}n + 2$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $ H $ admits a perfect matching. In this paper, we prove that the rainbow version of Zhang, Zhao and Lu's result is asymptotically true. More specifically, let $δ> 0$ and $ F_1, F_2, \dots, F_{n/3} $ be 3-uniform hypergraphs on a common set of $n$ vertices. For each $ i \in [n/3] $, suppose that $F_i$ has no isolated vertices and $deg_{F_i}(u)+deg_{F_i}(v) > \left( \frac{2}{3} + δ\right)n^2$ holds for any two vertices $u$ and $v$ that are contained in some edge of $F_i$. Then $ \{ F_1, F_2, \dots, F_{n/3} \} $ admits a rainbow matching. Note that this result is asymptotically tight.

A graph $G$ is said to be $F$-free, if $G$ does not contain any copy of $F$. $G$ is said to be $F$-semi-saturated, if the addition of any nonedge $e \not \in E(G)$ would create a new copy of $F$ in $G+e$. $G$ is said to be $F$-saturated, if $G$ is $F$-free and $F$-semi-saturated. The saturation number $sat(n,F)$ (resp. semi-saturation number $ssat(n,F)$) is the minimum number of edges in an $F$-saturated (resp. $F$-semi-saturated) graph of order $n$. In this paper we proved several results on the (semi)-saturation number of the wheel graph $W_k=K_1 \vee C_k$. Let $k,n$ be positive integers with $k \geq 8$ and $n \geq 56k^3$, we showed that $(s)sat(n,W_k)=n-1+(s)sat(n-1,C_k)$. We also establish the lower bound of semi-saturation number of $W_k$ with restriction on maximum degree.

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$ and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. A family $\mathcal{F}\subseteq {V\brack k}$ is called $k$-uniform $r$-wise $t$-intersecting if for any $F_1, F_2, \dots, F_r \in \mathcal{F}$, we have $\dim\left(\bigcap_{i=1}^r F_i \right) \geq t$. An $r$-wise $t$-intersecting family $\{X_1, X_2, \dots, X_{r+1}\}$ is called a $(r+1,t)$-simplex if $\dim\left(\bigcap_{i=1}^{r+1} X_i \right) < t$, denoted by $Δ_{r+1,t}$. Notice that it is usually called triangle when $r=2$ and $t=1$. For $k \geq t \geq 1$, $r \geq 2$ and $n \geq 3kr^2 + 3krt$, we prove that the maximal number of $Δ_{r+1,t}$ in a $k$-uniform $r$-wise $t$-intersecting subspace family of $V$ is at most $n_{t+r,k}$, and we describe all the extreme families. Furthermore, we have the extremal structure of $k$-uniform intersecting families maximizing the number of triangles for $n\geq 2k+9$ as a corollary.

An edge-coloring of a graph $H$ is a function $\mathcal{C}: E(H) \rightarrow \mathbb{N}$. We say that $H$ is rainbow if all edges of $H$ have different colors. Given a graph $F$, an edge-colored graph $G$ is $F$-rainbow saturated if $G$ does not contain a rainbow copy of $F$, but the addition of any nonedge with any color on it would create a rainbow copy of $F$. The rainbow saturation number $rsat(n,F)$ is the minimum number of edges in an $F$-rainbow saturated graph with order $n$. In this paper we proved several results on cycle rainbow saturation. For $n \geq 5$, we determined the exact value of $rsat(n,C_4)$. For $ n \geq 15$, we proved that $\frac{3}{2}n-\frac{5}{2} \leq rsat(n,C_{5}) \leq 2n-6$. For $r \geq 6$ and $n \geq r+3$, we showed that $ \frac{6}{5}n \leq rsat(n,C_r) \leq 2n+O(r^2)$. Moreover, we establish better lower bound on $C_r$-rainbow saturated graph $G$ while $G$ is rainbow.

Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The general Turán number, denoted by $ex(n, H,\mathscr{F})$, is the maximum number of copies of $H$ in an $n$-vertex $\mathscr{F}$-free graph. Then $ex(n, K_2,\mathscr{F})$, also denote by $ex(n, \mathscr{F})$, is the Turán number. Recently, Alon and Frankl determined the exact value of $ex(n, \{K_{k},M_{s+1}\})$, where $K_{k}$ and $M_{s+1}$ are a complete graph on $k $ vertices and a matching of size $s +1$, respectively. Then many results were obtained by extending $K_{k}$ to a general fixed graph or family of graphs. Let $C_k$ be a cycle of order $k$. Denote $C_{\ge k}=\{C_k,C_{k+1},\ldots\}$. In this paper, we determine the value of $ex(n,K_r, \{C_{\ge k},M_{s+1}\})$ for large enough $n$ and obtain the extremal graphs when $k$ is odd. Particularly, the exact value of $ex(n, \{C_{\ge k},M_{s+1}\})$ and the extremal graph are given for large enough $n$.

Constructing the maximum spanning tree $T$ of an edge-weighted connected graph $G$ is one of the important research topics in computer science and optimization, and the related research results have played an active role in practical applications. In this paper, we are concerned with the ratio of the weighted sum of a spanning tree $T$ of $G$ to the weighted sum of $G$, which we try to minimize. We propose an interesting theorem to simplify this problem and show that this optimal problem can be solved in polynomial time. Furthermore, we apply the optimal problem in chordal graphs.

A graph $H$ is said to be $F$-saturated relative to $G$, if $H$ does not contain any copy of $F$, but the addition of any edge $e$ in $E(G)\backslash E(H)$ would create a copy of $F$. The minimum size of an $F$-saturated graph relative to $G$ is denoted by $sat(G,F)$. Let $K_k^n$ be the complete $k$-partite graph containing $n$ vertices in each part and $C_\ell$ be the cycle of length $\ell$. In this paper we give an asymptotically tight bound of $sat(K_k^n,C_\ell)$ for all $ \ell \geq 4, k \geq 2$ except $(\ell,k)=(4,4)$. Moreover, we determined the exact value of $sat(K_k^n,C_\ell)$ for $ k>\ell=4 $ and $5 \geq \ell>k \geq 3$ and $(\ell,k)=(6,2)$.

Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The Turán number $ex(n, \mathscr{F})$ is the maximum number of edges in an $n$-vertex $\mathscr{F}$-free graph. Let $M_{s}$ be the matching consisting of $ s $ independent edges. Recently, Alon and Frank determined the exact value of $ex(n,\{K_{m},M_{s+1}\})$. Gerbner obtained several results about $ex(n,\{F,M_{s+1}\})$ when $F$ satisfies certain proportions. In this paper, we determine the exact value of $ex(n,\{K_{l,t},M_{s+1}\})$ when $s, n$ are large enough for every $3\leq l\leq t$. When $n$ is large enough, we also show that $ex(n,\{K_{2,2}, M_{s+1}\})=n+{s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ for $s\ge 12$ and $ex(n,\{K_{2,t},M_{s+1}\})=n+(t-1){s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ when $t\ge 3$ and $s$ is large enough.

In an oriented graph $\overrightarrow{G}$, the inversion of a subset $X$ of vertices consists in reversing the orientation of all arcs with both end-vertices in $X$. The inversion graph of a graph $G$, denoted by $\mathcal{I}(G)$, is the graph whose vertices are orientations of $G$ in which two orientations $\overrightarrow{G_1}$ and $\overrightarrow{G_2}$ are adjacent if and only if there is an inversion $X$ transforming $\overrightarrow{G_1}$ into $\overrightarrow{G_2}$. The inversion diameter of a graph $G$ is the diameter of its inversion graph $\mathcal{I}(G)$ denoted by $diam(\mathcal{I}(G))$. Havet, Hörsch, and Rambaud~(2024) first proved that for $G$ of treewidth $k$, $diam(\mathcal{I}(G)) \le 2k$, and there are graphs of treewidth $k$ with inversion diameter $k+2$. In this paper, we construct graphs of treewidth $k$ with inversion diameter $2k$, which implies that the previous upper bound $diam(\mathcal{I}(G)) \le 2k$ is tight. Moreover, for graphs with maximum degree $Δ$, Havet, Hörsch, and Rambaud~(2024) proved $diam(\mathcal{I}(G)) \le 2Δ-1$ and conjectured that $diam(\mathcal{I}(G)) \le Δ$. We prove the conjecture when $Δ=3$ with the help of computer calculations.

Consider a finite simple digraph $D$ with vertex set $V(D)$. An Italian dominating function (IDF) on $D$ is a function $f:V(D)\rightarrow\{0,1,2\}$ satisfying every vertex $u$ with $f(u)=0$ has an in-neighbor $v$ with $f(v)=2$ or two in-neighbors $w$ and $z$ with $f(w)=f(z)=1$. A total Italian dominating function (TIDF) on $D$ is an IDF $f$ such that the subdigraph $D[\{ u\, |\, f(u)\ge 1\}]$ contains no isolated vertices. The weight $ω(f)$ of a TIDF $f$ on $D$ is $\sum_{u\in V(D)}f(u)$. The total Italian domination number of $D$ is $γ_{tI}(D)=\min\{ ω(f)\, |\, \mbox{$f$ is a TIDF on $D$}\}$. In this paper, we present bounds on $γ_{tI}(D)$, and investigate the relationship between several different domination parameters. In particular, we give the total Italian domination number of the Cartesian products $P_2\Box P_n$ and $P_3\Box P_n$, where $P_n$ represents a dipath with $n$ vertices.

Given a graph $T$ and a family of graphs $\mathcal{F}$, the maximum number of copies of $T$ in an $\mathcal{F}$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n, T , \mathcal{F})$. When $T= K_2$, it reduces to the classical Turán number $ex(n, \mathcal{F})$. Let $ex_{bip}(b,n, T , \mathcal{F})$ be the maximum number of copies of $T$ in an $\mathcal{F}$-free bipartite graph with two parts of sizes $b$ and $n$, respectively. Let $P_k$ be the path on $k$ vertices, $\mathcal{C}_{\ge k}$ be the family of all cycles with length at least $k$ and $M_k$ be a matching with $k$ edges. In this article, we determine $ex_{bip}(b,n, K_{s,t}, \mathcal{C}_{\ge 2n-2k})$ exactly in a connected bipartite graph $G$ with minimum degree $δ(G) \geq r\ge 1$, for $b\ge n\ge 2k+2r$ and $k\in \mathbb{Z}$, which generalizes a theorem of Moon and Moser, a theorem of Jackson and gives an affirmative evidence supporting a conjecture of Adamus and Adamus. As corollaries of our main result, we determine $ex_{bip}(b,n, K_{s,t}, P_{2n-2k})$ and $ex_{bip}(b,n, K_{s,t}, M_{n-k})$ exactly in a connected bipartite graph $G$ with minimum degree $δ(G) \geq r\ge 1$, which generalizes a theorem of Wang. Moreover, we determine $ex(n, K_{s,t}, \mathcal{C}_{\ge k})$ and $ex(n, K_{s,t}, P_{k})$ respectively in a connected graph $G$ with minimum degree $δ(G) \geq r\ge 1$, which generalizes a theorem of Lu, Yuan and Zhang.

For an oriented graph $D$, the $inversion$ of $X \subseteq V(D)$ in $D$ is the digraph obtained from $D$ by reversing the direction of all arcs with both ends in $X$. The inversion number of $D$, denoted by $inv(D)$, is the minimum number of inversions needed to transform $D$ into an acyclic digraph. In this paper, we first show that $inv (\overrightarrow{C_3} \Rightarrow D)= inv(D) +1$ for any oriented graph $\textit{D}$ with even inversion number $inv(D)$, where the dijoin $\overrightarrow{C_3} \Rightarrow D$ is the oriented graph obtained from the disjoint union of $\overrightarrow{C_3}$ and $D$ by adding all arcs from $\overrightarrow{C_3}$ to $D$. Thus we disprove the conjecture of Aubian el at. \cite{2212.09188} and the conjecture of Alon el at. \cite{2212.11969}. We also study the blow-up graph which is an oriented graph obtained from a tournament by replacing all vertices into oriented graphs. We construct a tournament $T$ with order $n$ and $inv(T)=\frac{n}{3}+1$ using blow-up graphs.

Let $t,q$ and $n$ be positive integers. Write $[q] = \{1,2,\ldots,q\}$. The generalized Hamming graph $H(t,q,n)$ is the graph whose vertex set is the cartesian product of $n$ copies of $[q]$ ($q\ge 2$), where two vertices are adjacent if their Hamming distance is at most $t$. In particular, $H(1,q,n)$ is the well-known Hamming graph and $H(1,2,n)$ is the hypercube. In 2006, Chandran and Kavitha described the asymptotic value of $tw(H(1,q,n))$, where $tw(G)$ denotes the treewidth of $G$. In this paper, we give the exact pathwidth of $H(t,2,n)$ and show that $tw(H(t,q,n)) = Θ(tq^n/\sqrt{n})$ when $n$ goes to infinity. Based on those results, we show that the treewidth of the bipartite Kneser graph $BK(n,k)$ is $\binom{n}{k} - 1$ when $n$ is sufficiently large relative to $k$ and the bounds of $tw(BK(2k+1,k))$ are given. Moreover, we present the bounds of the treewidth of the generalized Petersen graph.

A star edge coloring of a graph $G$ is a proper edge coloring with no 2-colored path or cycle of length four. The star edge coloring problem is to find an edge coloring of a given graph $G$ with minimum number $k$ of colors such that $G$ admits a star edge coloring with $k$ colors. This problem is known to be NP-complete. In this paper, for a bounded treewidth graph with given maximum degree, we show that it can be solved in polynomial time.

Let $ k, n \in \mathbb{N}^+ $ and $ m \in \mathbb{N}^+ \cup \{\infty \} $. A $ k $-multiset in $ [n]_m $ is a $ k $-set whose elements are integers from $ \{1, 2, \ldots, n\} $, and each element is allowed to have at most $ m $ repetitions. A family of $ k $-multisets in $ [n]_m $ is said to be intersecting if every pair of $ k $-multisets from the family have non-empty intersection. In this paper, we give the size and structure of the largest non-trivial intersecting family of $ k $-multisets in $ [n]_m $ for $ n \geq k + \lceil k/m \rceil $. In the special case when $m=\infty$, our result gives rise to an unbounded multiset version for Hilton-Milner Theorem given by Meagher and Purdy. Furthermore, our main theorem unites the statements of the Hilton-Milner Theorem for finite sets and unbounded multisets.

Let $ k, m, n $ be positive integers with $ k \geq 2 $. A $ k $-multiset of $ [n]_m $ is a collection of $ k $ integers from the set $ \{1, 2, \ldots, n\} $ in which the integers can appear more than once but at most $ m $ times. A family of such $ k $-multisets is called an intersecting family if every pair of $ k $-multisets from the family have non-empty intersection. A finite sequence of real numbers $\{a_1,a_2,\ldots,a_n\}$ is said to be unimodal if there is some $k\in \{1,2,\ldots,n\}$, such that $a_1\leq a_2\leq\ldots\leq a_{k-1}\leq a_k\geq a_{k+1}\geq \ldots\geq a_n$. Given $m,n,k$, denote $C_{k,l}$ as the coefficient of $x^k$ in the generating function $(\sum_{i=1}^mx^i)^l$, where $1\leq l\leq n$. In this paper, we first show that the sequence of $\{C_{k,1},C_{k,2},\ldots,C_{k,n}\}$ is unimodal. Then we use this as a tool to prove that the intersecting family in which every $ k $-multiset contains a fixed element attains the maximum cardinality for $ n \geq k + \lceil k/m\rceil $. In the special case when $m = 1$ and $m=\infty$, our result gives rise to the famous Erdős-Ko-Rado Theorem and an unbounded multiset version for this problem given by Meagher and Purdy, respectively. The main result in this paper can be viewed as a bounded multiset version of the Erdős-Ko-Rado Theorem.

Let $t$, $r$, $k$ and $n$ be positive integers and $\mathcal{F}$ a family of $k$-subsets of an $n$-set $V$. The family $ \CF $ is $ r $-wise $ t $-intersecting if for any $ F_1, \ldots, F_r \in \CF $, we have $ \abs{\cap_{i = 1}^{r}F_i}\gs t $. An $ r $-wise $ t $-intersecting family of $ r + 1 $ sets $ \{T_1, \ldots, T_{r + 1}\} $ is called an $ (r + 1,t) $-triangle if $ |T_1 \cap \cdots \cap T_{r + 1}| \ls t - 1 $. In this paper, we prove that if $ n \gs n_0(r, t, k) $, then the $ r $-wise $ t $-intersecting family $ \CF \subseteq \binom{[n]}{k} $ containing the most $ (r + 1,t) $-triangles is isomorphic to $ \curlybraces{F \in \binom{[n]}{k}: \abs{F \cap [r + t]} \gs r + t - 1} $. This can also be regarded as a generalized Turán type result.

We consider the derangement graph in which the vertices are permutations of $\{ 1,\ldots, n\}$. Two vertices are joined by an edge if the corresponding permutations differ in every position. The derangement graph is known to be Hamiltonian and Hamilton-connected. In this note, we show that the derangement graph is edge pancyclic if $n\ge 4$.

Let $n$, $r$, $k_1,\ldots,k_r$ and $t$ be positive integers with $r\geq 2$, and $\mathcal{F}_i\ (1\leq i\leq r)$ a family of $k_i$-subsets of an $n$-set $V$. The families $\mathcal{F}_1,\ \mathcal{F}_2,\ldots,\mathcal{F}_r$ are said to be $r$-cross $t$-intersecting if $|F_1\cap F_2\cap\cdots\cap F_r|\geq t$ for all $F_i\in\mathcal{F}_i\ (1\leq i\leq r),$ and said to be non-trivial if $|\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F|<t$. If the $r$-cross $t$-intersecting families $\mathcal{F}_1,\ldots,\mathcal{F}_r$ satisfy $\mathcal{F}_1=\cdots=\mathcal{F}_r=\mathcal{F}$, then $\mathcal{F}$ is well known as $r$-wise $t$-intersecting family. In this paper, we describe the structure of non-trivial $r$-wise $t$-intersecting families with maximum size, and give a stability result for these families. We also determine the structure of non-trivial $2$-cross $t$-intersecting families with maximum product of their sizes.