arXiv++ Combinatorics

Let $G$ be a graph on $n$ vertices and $t$ an integer. The reconfiguration graph of $G$, denoted by $R_t(G)$, consists of all $t$-colorings of $G$ and two $t$-colorings are adjacent if they differ on exactly one vertex. The $t$-recoloring diameter of $G$ is the diameter of $R_t(G)$. For a $d$-degenerate graph $G$, $R_t(G)$ is connected when $t \ge d+2$~(Dyer et al., 2006). Furthermore, the $t$-recoloring diameter is $O(n^2)$ when $t \ge 3(d+1)/2$~(Bousquet et al., 2022), and it is $O(n)$ when $t \ge 2d+2$~(Bousquet and Perarnau, 2016). For a $d$-degenerate and chordal graph $G$, the $t$-recoloring diameter of $G$ is $O(n^2)$ when $t \ge d+2$~(Bonamy et al. 2014). If $G$ is a graph of treewidth at most $k$, then $G$ is also $k$-degenerate, and the previous results hold. Moreover, when $t \ge k+2$, the $t$-recoloring diameter is $O(n^2)$~(Bonamy and Bousquet, 2013). When $k=2$, the $t$-recoloring diameter of $G$ is linear when $t \ge 5$~(Bartier, Bousquet and Heinrich, 2021) and the result is tight. In this paper, we prove that if $G$ is $d$-degenerate and chordal, then the $t$-recoloring diameter of $G$ is $O(n)$ when $t \ge 2d+1$. Moreover, if the treewidth of $G$ is at most $k$, then the $t$-recoloring diameter is $O(n)$ when $t \ge 2k+1$. This result is a generalization of the previous results on graphs of treewidth at most two.

Let $F$ be a graph of order $r$. In this paper, we study the maximum number of induced copies of $F$ with restricted intersections, which highlights the motivation from extremal set theory. Let $L=\{\ell_1,\dots,\ell_s\}\subseteq[0,r-1]$ be an integer set with $s\not\in\{1,r\}$. Let $Ψ_r(n,F,L)$ be the maximum number of induced copies of $F$ in an $n$-vertex graph, where the induced copies of $F$ are $L$-intersecting as a family of $r$-subsets, i.e., for any two induced copies of $F$, the size of their intersection is in $L$. Helliar and Liu initiated a study of the function $Ψ_r(n,K_r,L)$. Very recently, Zhao and Zhang improved their result and showed that $Ψ_r(n,K_r,L)=Θ_{r,L}(n^{s})$ if and only if $\ell_1,\dots,\ell_s,r$ form an arithmetic progression. In this paper, we show that $Ψ_r(n,F,L)=o_{r,L}(n^{s})$ when $\ell_1,\dots,\ell_s,r$ do not form an arithmetic progression. We study the asymptotical result of $Ψ_r(n,C_r,L)$, and determined the asymptotically optimal result when $\ell_1,\dots,\ell_s,r$ form an arithmetic progression and take certain values. We also study the generalized Turán problem, determining the maximum number of $H$, where the copies of $H$ are $L$-intersecting as a family of $r$-subsets. The entropy method is used to prove our results.

We study the derangement graph $Γ_n$ whose vertex set consists of all permutations of $\{1,\ldots,n\}$, where two vertices are adjacent if and only if their corresponding permutations differ at every position. It is well-known that $Γ_n$ is a Cayley graph, Hamiltonian and Hamilton-connected. In this paper, we prove that for $n \geq 4$, the derangement graph $Γ_n$ is edge pancyclic. Moreover, we extend this result to two broader classes of Cayley graphs defined on symmetric group.

Define a \textit{$t$-matching} of size $m$ in a $k$-uniform family as a collection $\{A_1, A_2, \ldots, A_m\} \subseteq \binom{[n]}{k}$ such that $|A_i \cap A_j| < t$ for all $1 \leq i < j \leq m$. Let $\mathcal{F}\subseteq \binom{[n]}{k}$. The \textit{$t$-matching number} of $\mathcal{F}$, denoted by $ν_t(\mathcal{F})$, is the maximum size of a $t$-matching contained in $\mathcal{F}$. We study the maximum cardinality of a family $\mathcal{F}\subseteq\binom{[n]}{k}$ with given $t$-matching number, which is a generalization of Erdős matching conjecture, and we additionally prove a stability result. We also determine the second largest maximal structure with $ν_t(\mathcal{F})=s$, extending work of Frankl and Kupavskii \cite{frankl2016two}. Finally, we obtain the extremal $G$-free induced subgraphs of generalized Kneser graph, generalizing Alishahi's results in \cite{alishahi2018extremal}.

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.

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.