arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2409.20535math.CO
收藏

余度条件下3-图中的El-Zahar型定理

An El-Zahar Type Theorem in $3$-graphs under Codegree Condition

Yangyang Cheng, Mengjiao Rao, Guanghui Wang, Yuqi Zhao

AI总结:

该研究在3-图领域证明了满足最小余度条件的3-图必包含指定顶点不交松圈构成的生成子超图,度条件近似紧,推广了已有松哈密顿圈与松圈因子相关结果。

摘要:

3-均匀松圈(记为$C_t$)是一个含$t$个顶点的3-图,其顶点可按环形排列,使得每条超边由三个连续顶点构成,且任意两条相邻超边恰好共享一个顶点。$C_t$的长度为其超边的数量。我们证明,对任意$η>0$,存在$n_0=n_0(η)$,使得对所有$n\neq n_0$,以下结论成立:设$\text{C}$是由顶点不交的松圈$C_{n_1}, C_{n_2}, \text{…}, C_{n_r}$组成的3-图,满足$\text{∑}_{i=1}^{r}n_i=n$;设$k$为$\text{C}$中长度为奇数的松圈的数量。若$\text{H}$是一个$n$顶点的3-图,且最小余度至少为$(n+2k)/4+ηn$,则$\text{H}$包含$\text{C}$作为生成子超图。该度条件是近似紧的。这一结果推广了Kühn和Osthus关于3-图中松哈密顿圈的结论,以及Mycroft关于3-图中松圈因子的结论。我们的证明依赖于正则性引理,以及第一作者与Staden近期提出的横截爆破引理。

英文摘要:

A $3$-uniform loose cycle, denoted by $C_t$, is a $3$-graph on $t$ vertices whose vertices can be arranged cyclically so that each hyperedge consists of three consecutive vertices, and any two consecutive hyperedges share exactly one vertex. The length of $C_t$ is the number of its hyperedges. We prove that for any $η>0$, there exists an $n_0=n_0(η)$ such that for any $n\geq n_0$ the following holds. Let $\mathcal{C}$ be a $3$-graph consisting of vertex-disjoint loose cycles $C_{n_1}, C_{n_2}, \ldots, C_{n_r}$ such that $\sum_{i=1}^{r}n_i=n$. Let $k$ be the number of loose cycles with odd lengths in $\mathcal{C}$. If $\mathcal{H}$ is a $3$-graph on $n$ vertices with minimum codegree at least $(n+2k)/4+ηn$, then $\mathcal{H}$ contains $\mathcal{C}$ as a spanning subhypergraph. The degree condition is approximately tight. This generalizes the result of Kühn and Osthus for loose Hamilton cycle and the result of Mycroft for loose cycle factors in $3$-graphs. Our proof relies on the regularity lemma and a transversal blow-up lemma recently developed by the first author and Staden.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑