arXiv subjects

Xinmin Hou

Publications and source records attributed to Xinmin Hou.

At least 55 records · Page 3Linked to original sources

arXiv2022

Maximal fractional cross-intersecting families

Given an irreducible fraction $\frac{c}{d} \in [0,1]$, a pair $(\mathcal{A},\mathcal{B})$ is called a $\frac{c}{d}$-cross-intersecting pair of $2^{[n]}$ if $\mathcal{A}, \mathcal{B}$ are two families of subsets of $[n]$ such that for every pair $A \in\mathcal{A}$ and $B\in\mathcal{B}$, $|A \cap B|= \frac{c}{d}|B|$. Mathew, Ray, and Srivastava [{\it\small Fractional cross intersecting families, Graphs and Comb., 2019}] proved that $|\mathcal{A}||\mathcal{B}|\le 2^n$ if $(\mathcal{A}, \mathcal{B})$ is a $\frac{c}{d}$-cross-intersecting pair of $2^{[n]}$ and characterized all the pairs $(\mathcal{A},\mathcal{B})$ with $|\mathcal{A}||\mathcal{B}|=2^n$, such a pair also is called a maximal $\frac cd$-cross-intersecting pair of $2^{[n]}$, when $\frac cd\in\{0,\frac12, 1\}$. In this note, we characterize all the maximal $\frac cd$-cross-intersecting pairs $(\mathcal{A},\mathcal{B})$ when $0<\frac{c}{d}<1$ and $\frac cd\not=\frac 12$, this result answers a question proposed by Mathew, Ray, and Srivastava (2019).

math.CO↗

arXiv2021

Rainbow independent sets in graphs with maximum degree two

Given a graph $G$, let $f_{G}(n,m)$ be the minimal number $k$ such that every $k$ independent $n$-sets in $G$ have a rainbow $m$-set. Let $\mathcal{D}(2)$ be the family of all graphs with maximum degree at most two. Aharoni et al. (2019) conjectured that (i) $f_G(n,n-1)=n-1$ for all graphs $G\in\mathcal{D}(2)$ and (ii) $f_{C_t}(n,n)=n$ for $t\ge 2n+1$. Lv and Lu (2020) showed that the conjecture (ii) holds when $t=2n+1$. In this article, we show that the conjecture (ii) holds for $t\ge\frac{1}{3}n^2+\frac{44}{9}n$. Let $C_t$ be a cycle of length $t$ with vertices being arranged in a clockwise order. An ordered set $I=(a_1,a_2,\ldots,a_n)$ on $C_t$ is called a $2$-jump independent $n$-set of $C_t$ if $a_{i+1}-a_i=2\pmod{t}$ for any $1\le i\le n-1$. We also show that a collection of 2-jump independent $n$-sets $\mathcal{F}$ of $C_t$ with $|\mathcal{F}|=n$ admits a rainbow independent $n$-set, i.e. (ii) holds if we restrict $\mathcal{F}$ on the family of 2-jump independent $n$-sets. Moreover, we prove that if the conjecture (ii) holds, then (i) holds for all graphs $G\in\mathcal{D}(2)$ with $c_e(G)\le 4$, where $c_e(G)$ is the number of components of $G$ isomorphic to cycles of even lengths.

math.CO↗

arXiv2021

Minimizing the number of edges in $\mathcal{C}_{\ge r}$-saturated graphs

Given a family of graphs $\mathcal{F}$, a graph $G$ is said to be $\mathcal{F}$-saturated if $G$ does not contain a copy of $F$ as a subgraph for any $F\in\mathcal{F}$ but the addition of any edge $e\notin E(G)$ creates at least one copy of some $F\in\mathcal{F}$ within $G$. The minimum size of an $\mathcal{F}$-saturated graph on $n$ vertices are called the saturation number, denoted by $\sat(n, \mathcal{F})$. Let $\mathcal{C}_{\ge r}$ be the family of cycles of length at least $r$. Ferrara et al. (2012) gave lower and upper bounds of $\sat(n, C_{\ge r})$ and determined the exact values of $\sat(n, C_{\ge r})$ for $3\le r\le 5$. In this paper, we determine the exact value of $\sat(n,\mathcal{C}_{\ge r})$ for $r=6$ and $28\le \frac{n}2\le r\le n$ and give new upper and lower bounds for the other cases.

math.CO↗

arXiv2021

Strongly connected orientation with minimum lexicographic order of indegrees

Given a simple undirected graph $G$, an orientation of $G$ is to assign every edge of $G$ a direction. Borradaile et al gave a greedy algorithm SC-Path-Reversal (in polynomial time) which finds a strongly connected orientation that minimizes the maximum indegree, and conjectured that SC-Path-Reversal is indeed optimal for the "minimizing the lexicographic order" objective as well. In this note, we give a positive answer to the conjecture, that is we show that the algorithm SC-PATH-REVERSAL finds a strongly connected orientation that minimizes the lexicographic order of indegrees.

math.CO↗

arXiv2020

The Turán number for the edge blow-up of trees

The edge blow-up of a graph $F$ is the graph obtained from replacing each edge in $F$ by a clique of the same size where the new vertices of the cliques are all different. In this article, we concern about the Turán problem for the edge blow-up of trees. Erdős et al. (1995) and Chen et al. (2003) solved the problem for stars. The problem for paths was resolved by Glebov (2011). Liu (2013) extended the above results to cycles and a special family of trees with the minimum degree at most two in the smaller color class (paths and proper subdivisions of stars were included in the family). In this article, we extend Liu's result to all the trees with the minimum degree at least two in the smaller color class. Combining with Liu's result, except one particular case, the Turán problem for the edge blow-up of trees is completely resolved. Moreover, we determine the maximum number of edges in the family of $\{K_{1,k}, kK_2, 2K_{1,k-1}\}$-free graphs and the extremal graphs, which is an extension of a result given by Abbott et al. (1972).

math.CO↗

arXiv2020

A Dirac-type theorem for uniform hypergraphs

Dirac (1952) proved that every connected graph of order $n>2k+1$ with minimum degree more than $k$ contains a path of length at least $2k+1$. Erdős and Gallai (1959) showed that every $n$-vertex graph $G$ with average degree more than $k-1$ contains a path of length $k$. The hypergraph extension of the Erdős-Gallai Theorem have been given by Győri, Katona, Lemons~(2016) and Davoodi et al.~(2018). Füredi, Kostochka, and Luo (2019) gave a connected version of the Erdős-Gallai Theorem for hypergraphs. In this paper, we give a hypergraph extension of the Dirac's Theorem: Given positive integers $n,k$ and $r$, let $H$ be a connected $n$-vertex $r$-graph with no Berge path of length $2k+1$. We show that (1) If $k> r\ge 4$ and $n>2k+1$, then $δ_1(H)\le\binom{k}{r-1}$. Furthermore, the equality holds if and only if $S'_r(n,k)\subseteq H\subseteq S_r(n,k)$ or $H\cong S(sK_{k+1}^{(r)},1)$; (2) If $k\ge r\ge 2$ and $n>2k(r-1)$, then $δ_1(H)\le \binom{k}{r-1}$. The result is also a Dirac-type version of the result of Füredi, Kostochka, and Luo. As an application of (1), we give a better lower bound of the minimum degree than the ones in the Dirac-type results for Berge Hamiltonian cycle given by Bermond et al.~(1976) and Clemens et al. (2016), respectively.

math.CO↗

arXiv2020

Maximizing the number of independent sets of fixed size in $K_n$-covered graphs

A graph $G$ is $H$-covered by some given graph $H$ if each vertex in $G$ is contained in a copy of $H$. In this note, we give the maximum number of independent sets of size $t\ge 3$ in $K_n$-covered graphs of size $N\ge n+t-1$ and determine its extremal graph. The result answers a question proposed by Chakraborit and Loh. The proof uses an edge-switching operation of hypergraphs which remains the number of independent sets nondecreasing.

math.CO↗

arXiv2020

Exact minimum codegree thresholds for $K_4^-$-covering and $K_5^-$-covering

Given two $3$-graphs $F$ and $H$, an $F$-covering of $H$ is a collection of copies of $F$ in $H$ such that each vertex of $H$ is contained in at least one copy of them. Let {$c_2(n,F)$} be the maximum integer $t$ such that every 3-graph with minimum codegree greater than $t$ has an $F$-covering. In this note, we answer an open problem of Falgas-Ravry and Zhao (SIAM J. Discrete Math., 2016) by determining the exact value of {$c_2(n, K_4^-)$} and {$c_2(n, K_5^-)$}, where $K_t^-$ is the complete $3$-graph on $t$ vertices with one edge removed.

math.CO↗

arXiv2019

The score sequences with unique tournament that has minimum number of upsets

Let $T$ be a tournament with nondecreasing score sequence $R$ and $A$ be its tournament matrix. An upset of $T$ corresponds to an entry above the main diagonal of $A$. Given a feasible score sequence $R$, Fulkerson~(1965) gave a simple recursive construction for a tournament with score sequence $R$ and the minimum number of upsets, and Hacioglu et al. (2019) provided a construction for all of such tournament matrices. Let $U_{\min}(R)$ denote the set of tournament matrices with score sequence $R$ that have minimum number of upsets. Brauldi and Li~(1983) characterized the strong score sequences $R$ ($R$ is strong if a tournament $T$ with score sequence $R$ is strongly connected) with $|U_{\min}(R)|=1$. In this article, we characterize all feasible score sequences $R$ with $|U_{\min}(R)|=1$ and give an explicit formula for the number of the feasible score sequences $R$ with $|U_{\min}(R)|=1$.

math.CO↗

arXiv2019

An Erdős-Gallai-type theorem for keyrings with larger number of leaves

A keyring is a graph obtained from a cycle by appending $r\ge0$ leaves to one of its vertices. Sidorenko proved an Erdős-Gallai-type theorem: Every graph of order $n$ and size more than $\frac{(k-1)n}{2}$ contains a keyring of size at least $k$ and with $r$ leaves for $r\le\frac{k-1}2$ (Theorem 1.4, An Erdős-Gallai-type theorem for keyrings, Graphs Combin., 2018). In this note, we show that Sidorenko's theorem holds for larger $r$ and so complete the Erdős-Gallai-type theorem for keyrings.

math.CO↗

arXiv2019

Minimum degree of 3-graphs without long linear paths

A well known theorem in graph theory states that every graph $G$ on $n$ vertices and minimum degree at least $d$ contains a path of length at least $d$, and if $G$ is connected and $n\ge 2d+1$ then $G$ contains a path of length at least $2d$ (Dirac, 1952). In this article, we give an extension of Dirac's result to hypergraphs. We determine asymptotic lower bounds of the minimum degrees of 3-graphs to guarantee linear paths of specific lengths, and the lower bounds are tight up to a constant.

math.CO↗

arXiv2018

Codegree threshold for tiling $k$-graphs with two edges sharing exactly $\ell$ vertices

Given integer $k$ and a $k$-graph $F$, let $t_{k-1}(n,F)$ be the minimum integer $t$ such that every $k$-graph $H$ on $n$ vertices with codegree at least $t$ contains an $F$-factor. For integers $k\geq3$ and $0\leq\ell\leq k-1$, let $\mathcal{Y}_{k,\ell}$ be a $k$-graph with two edges that shares exactly $\ell$ vertices. Han and Zhao (JCTA, 2015) asked the following question: For all $k\ge 3$, $0\le \ell\le k-1$ and sufficiently large $n$ divisible by $2k-\ell$, determine the exact value of $t_{k-1}(n,\mathcal{Y}_{k,\ell})$. In this paper, we show that $t_{k-1}(n,\mathcal{Y}_{k,\ell})=\frac{n}{2k-\ell}$ for $k\geq3$ and $1\leq\ell\leq k-2$, combining with two previously known results of Rödl, Ruciński and Szemerédi {(JCTA, 2009)} and Gao, Han and Zhao (arXiv, 2016), the question of Han and Zhao is solved completely.

math.CO↗

arXiv2018

The spectral radius of graphs without trees of diameter at most four

Nikiforov (LAA, 2010) conjectured that for given integer $k$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ contains all trees of order $2k+2$, unless $G=S_{n,k}$, where $S_{n,k}=K_k\vee \overline{K_{n-k}}$, the join of a complete graph of order $k$ and an empty graph of order $n-k$. In this paper, we show that the conjecture is true for trees of diameter at most four.

math.CO↗

arXiv2018

Codegree conditions for tilling balanced complete $3$-partite $3$-graphs and generalized 4-cycles

Given two $k$-graphs $F$ and $H$, a perfect $F$-tiling (also called an $F$-factor) in $H$ is a set of vertex disjoint copies of $F$ that together cover the vertex set of $H$. Let $t_{k-1}(n, F)$ be the smallest integer $t$ such that every $k$-graph $H$ on $n$ vertices with minimum codegree at least $t$ contains a perfect $F$-tiling. Mycroft (JCTA, 2016) determined the asymptotic values of $t_{k-1}(n, F)$ for $k$-partite $k$-graphs $F$. Mycroft also conjectured that the error terms $o(n)$ in $t_{k-1}(n, F)$ can be replaced by a constant that depends only on $F$. In this paper, we improve the error term of Mycroft's result to a sub-linear term when $F=K^3(m)$, the complete $3$-partite $3$-graph with each part of size $m$. We also show that the sub-linear term is tight for $K^3(2)$, {the result also provides another family of counterexamples of Mycroft's conjecture (Gao, Han, Zhao (arXiv, 2016) gave a family of counterexamples when $H$ is a $k$-partite $k$-graph with some restrictions.)} Finally, we show that Mycroft's conjecture holds for generalized 4-cycle $C_4^3$ (the 3-graph on six vertices and four distinct edges $A, B, C, D$ with $A\cup B= C\cup D$ and $A\cap B=C\cap D=\emptyset$), i.e. we determine the exact value of $t_2(n, C_4^3)$.

math.CO↗

arXiv2018

The edge spectrum of $K_4^-$-saturated graphs

Given graphs $G$ and $H$, $G$ is $H$-saturated if $G$ does not contain a copy of $H$ but the addition of any edge $e\notin E(G)$ creates at least one copy of $H$ within $G$. The edge spectrum of $H$ is the set of all possible sizes of an $H$-saturated graph on $n$ vertices. Let $K_4^-$ be a graph obtained from $K_4$ by deleting an edge. In this note, we show that (a) if $G$ is a $K_4^-$-saturated graph with $|V(G)|=n$ and $|E(G)|>\lfloor \frac{n-1}{2} \rfloor \lceil \frac{n-1}{2} \rceil +2$, then $G$ must be a bipartite graph; (b) there exists a $K_4^-$-saturated non-bipartite graph on $n\ge 10$ vertices with size being in the interval $\left[3n-11, \left\lfloor \frac{n-1}{2} \right\rfloor \left\lceil \frac{n-1}{2} \right\rceil +2\right]$. Together with a result of Fuller and Gould in [{\it On ($\hbox{K}_t-e$)-Saturated Graphs. Graphs Combin., 2018}], we determine the edge spectrum of $K_4^-$ completely, and a conjecture proposed by Fuller and Gould in the same paper also has been resolved.

math.CO↗

arXiv2017

$H$-Decomposition of $r$-graphs when $H$ is an $r$-graph with exactly $k$ independent edges

Let $ϕ_H^r(n)$ be the smallest integer such that, for all $r$-graphs $G$ on $n$ vertices, the edge set $E(G)$ can be partitioned into at most $ϕ_H^r(n)$ parts, of which every part either is a single edge or forms an $r$-graph isomorphic to $H$. The function $ϕ^2_H(n)$ has been well studied in literature, but for the case $r\ge 3$, the problem that determining the value of $ϕ_H^r(n)$ is widely open. Sousa (2010) gave an asymptotic value of $ϕ_H^r(n)$ when $H$ is an $r$-graph with exactly 2 edges, and determined the exact value of $ϕ_H^r(n)$ in some special cases. In this paper, we first give the exact value of $ϕ_H^r(n)$ when $H$ is an $r$-graph with exactly 2 edges, which improves Sousa's result. Second we determine the exact value of $ϕ_H^r(n)$ when $H$ is an $r$-graph consisting of exactly $k$ independent edges.

math.CO↗

arXiv2017

The size of $3$-uniform hypergraphs with given matching number and codegree

Determine the size of $r$-graphs with given graph parameters is an interesting problem. Chvátal and Hanson (JCTB, 1976) gave a tight upper bound of the size of 2-graphs with restricted maximum degree and matching number; Khare (DM, 2014) studied the same problem for linear $3$-graphs with restricted matching number and maximum degree. In this paper, we give a tight upper bound of the size of $3$-graphs with bounded codegree and matching number.

math.CO↗

arXiv2017

The spectral radius of graphs without long cycles

Nikiforov conjectured that for a given integer $k\ge 2$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ (or $μ(G)\ge μ(S_{n,k}^+))$ contains $C_{2k+1}$ or $C_{2k+2}$(or $C_{2k+2}$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$, where $C_\ell$ is a cycle of length $\ell$ and $S_{n,k}=K_k\vee \overline{K_{n-k}}$, the join graph of a complete graph of order $k$ and an empty graph on $n-k$ vertices, and $S_{n,k}^+$ is the graph obtained from $S_{n,k}$ by adding an edge in the independent set of $S_{n,k}$. %This can be vie as spectral version of Erdös and Sós conjecture. In this paper, a weaker version of Nikiforov's conjecture is considered, we prove that for a given integer $k\ge 2$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ (or $μ(G)\ge μ(S_{n,k}^+))$ %$C_{2k+1}$ or $C_{2k+2}$(or $C_{2k+2}$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$$S_{n,k}$ ( or $S_{n,k}^+$) is the unique extremal graph with maximum radius among all of the graphs of order $n$ and contains a cycle $C_{\ell}$ with $\ell \geq 2k+1$ (or $C_{\ell}$ with $\ell \geq 2k+2$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$. These results also imply a result of Nikiforov given in [Theorem 2, The spectral radius of graphs without paths and cycles of specified length, LAA, 2010].

math.CO↗