On the Sizes of K-Edge-maximal R-Uniform Hypergraphs
Tian Ying-zhi,Lai Hong-Jian,Meng Ji-xiang,Xu Li-qiong
DOI: https://doi.org/10.1007/s10255-022-1095-3
2020-01-01
Discussiones Mathematicae Graph Theory
Abstract:Let H = (V, E) be a hypergraph, where V is a set of vertices and E is a set of non-empty subsets of V called edges. If all edges of H have the same cardinality r, then H is an r-uniform hypergraph; if E consists of all r-subsets of V, then H is a complete r-uniform hypergraph, denoted by $$K_n^r$$ , where n = |V|. A hypergraph H′ = (V′, E′) is called a subhypergraph of H = (V, E) if V′ ⊆ V and E′ ⊆ E. The edge-connectivity of a hypergraph H is the cardinality of a minimum edge set F ⊆ E such that H − F is not connected, where H − F = (V, E F). An r-uniform hypergraph H = (V, E) is k-edge-maximal if every subhypergraph of H has edge-connectivity at most k, but for any edge $$e \in E \left({K_n^r} \right)\backslash E\left(H \right),\,H + e$$ contains at least one subhypergraph with edge-connectivity at least k + 1. Let k and r be integers with k ≥ 2 and r ≥ 2, and let t = t(k, r) be the largest integer such that $$\left({\matrix{{t - 1} \cr {r - 1} \cr}} \right) \le k$$ . That is, t is the integer satisfying $$\left({\matrix{{t - 1} \cr {r - 1} \cr}} \right) \le k < \left({\matrix{t \cr {r - 1} \cr}} \right)$$ . We prove that if H is an r-uniform k-edge-maximal hypergraph such that $$n = \left| {V\left(H \right)} \right| \ge t$$ , then (i) $$\left| {E\left(H \right)} \right| \le \left({\matrix{t \cr r \cr}} \right) + \left({n - t} \right)k$$ , and this bound is best possible. (ii) $$\left| {E\left(H \right)} \right| \ge \left({n - 1} \right)k - \left({\left({t - 1} \right)k - \left({\matrix{t \cr r \cr}} \right)} \right)\left\lfloor {{n \over t}} \right\rfloor $$ , and this bound is best possible.