arXiv++ Combinatorics

Let $n,k$ be positive integers such that $n\geq k$ and $G$ be a tripartite graph with parts $A,B,C$ such that $|A|=|B|=|C|=n$. Denote the edge densities of $G[A,B]$, $G[A,C]$ and $G[B,C]$ by $α$, $β$ and $γ$, respectively. In this paper, we study edge density conditions for the existence of $k$ vertex-disjoint triangles in a tripartite graph. For $n\geq 5k+2$ we give an optimal condition in terms of densities $α,β,γ$ for the existence of $k$ vertex-disjoint triangles in $G$. We also give an optimal condition in terms of densities $α,β,γ$ for the existence of a triangle-factor in $G$.

Let $n,k,s$ be three integers and $β$ be a sufficiently small positive number such that $k\geq 3$, $0<1/n\ll β\ll 1/k$ and $ks+k\leq n\leq (1+β)ks+k-2$. A $k$-graph is called non-trivial if it has no isolated vertex. In this paper, we determine the maximum number of edges in a non-trivial $k$-graph with $n$ vertices and matching number at most $s$. This result confirms a conjecture proposed by Frankl (On non-trivial families without a perfect matching, \emph{European J. Combin.}, \textbf{84} (2020), 103044) for the case when $s$ is sufficiently large.

Let $n,s,$ and $k$ be positive integers such that $k\geq 3$, $s\geq 3$ and $n\geq ks$. An $s$-matching $M_s$ in a $k$-uniform hypergraph is a set of $s$ pairwise disjoint edges. The anti-Ramsey number $\textrm{ar}(n,k,M_s)$ of an $s$-matching is the smallest integer $c$ such that each edge-coloring of the $n$-vertex $k$-uniform complete hypergraph with exactly $c$ colors contains an $s$-matching with distinct colors. In 2013, Özkahya and Young proposed a conjecture on the exact value of ar$(n,k,M_s)$ for all $n \geq sk$ and $k \geq 3$. A 2019 result by Frankl and Kupavskii verified this conjecture for all $n \geq sk+(s-1)(k-1)$ and $k \geq 3$. We aim to determine the value of ar$(n,3,M_s)$ for $3s \leq n < 5s-2$ in this paper. Namely, we prove that if $3s<n<5s-2$ and $n$ is large enough, then ar$(n,3,M_s)=\textrm{ex}(n,3,M_{s-1})+2$. Here $\textrm{ex}(n,3,M_{s-1})$ is the Turán number of an $(s-1)$-matching. Thus this result confirms the conjecture of Özkahya and Young for $k=3$, $3s<n<5s-2$ and sufficiently large $n$. For $n=ks$ and $k\geq 3$, we present a new construction for the lower bound of $\textrm{ar}(n,k,M_{s})$ which shows the conjecture by Özkahya and Young is not true. In particular, for $n=3s$, we prove that $\textrm{ar}(n,3,M_s)=\textrm{ex}(n,3,M_{s-1})+5$ for sufficiently large $n$.

Let $n,m$ be integers such that $1\leq m\leq (n-2)/2$ and let $[n]=\{1,\ldots,n\}$. Let $\mathcal{G}=\{G_1,\ldots,G_{m+1}\}$ be a family of graphs on the same vertex set $[n]$. In this paper, we prove that if for any $i\in [m+1]$, the spectral radius of $G_i$ is not less than $\max\{2m,\frac{1}{2}(m-1+\sqrt{(m-1)^2+4m(n-m)})\}$, then $\mathcal{G}$ admits a rainbow matching, i.e. a choice of disjoint edges $e_i\in G_i$, unless $G_1=G_2=\ldots=G_{m+1}$ and $G_1\in \{K_{2m+1}\cup (n-2m-1)K_1, K_m\vee (n-m)K_1\}$.

Let $n,s,k$ be three positive integers such that $1\leq s\leq(n-k+1)/k$ and let $[n]=\{1,\ldots,n\}$. Let $H$ be a $k$-graph with vertex set $\{1,\ldots,n\}$, and let $e(H)$ denote the number of edges of $H$. Let $ν(H)$ and $τ(H)$ denote the size of a largest matching and the size of a minimum vertex cover in $H$, respectively. Define $A^k_i(n,s):=\{e\in\binom{[n]}{k}:|e\cap[(s+1)i-1]|\geq i\}$ for $2\leq i\leq k$ and $HM^k_{n,s}:=\big\{e\in\binom{[n]}{k}:e\cap[s-1]\neq\emptyset\big\} \cup\big\{S\big\}\cup \big\{e\in\binom{[n]}{k}: s\in e, e\cap S\neq \emptyset\}$, where $S=\{s+1,\ldots,s+k\}$. Frankl and Kupavskii conjectured that if $ν(H)\leq s$ and $τ(H)>s$, then $e(H)\leq \max\{|A^k_2(n,s)|,\ldots ,|A^k_k(n,s)|,|HM^k_{n,s}|\}$. In this paper, we prove this conjecture for $k=3$ and sufficiently large $n$.

For a $k$-uniform hypergraph $H$, let $δ_1(H)$ denote the minimum vertex degree of $H$, and $ν(H)$ denote the size of the largest matching in $H$. In this paper, we show that for any $k\geq 3$ and $β>0$, there exists an integer $n_0(β,k)$ such that for positive integers $n\geq n_0$ and $m\leq (\frac{k}{2(k-1)}-β)\frac{n}{k}$, if $H$ is an $n$-vertex $k$-graph with $δ_1(H)>{{n-1}\choose {k-1}}-{{n-m}\choose {k-1}},$ then $ν(H)\geq m$. This improves upon earlier results of Bollobás, Daykin and Erdős (1976) for the range $n> 2k^3(m+1)$ and Huang and Zhao (2017) for the range $n\geq 3k^2 m$.