首页/论文/2501.16144

arXiv 2501.161442025-01math.CO

Holroyd-Talbot猜想综述

A Survey of the Holroyd-Talbot Conjecture

Virginia Commonwealth University（弗吉尼亚联邦大学）

Glenn Hurlbert

备注：: Added references to Frankl's work on the best bound for EKR to hold, and to Frankl-Furedi's work on the Complete Intersection Theorem that predated Ahlswede-Khachatrian

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文综述了2005年Holroyd和Talbot提出的Erdős-Ko-Rado定理推广猜想的历史及相关支持结果，该猜想针对图的相交独立集合族的星型最大性展开。

摘要：

若集合族中任意两个成员都有公共元素，则称该集合族是相交的；若集合族中存在某个元素属于族内所有集合，则称该集合族是星型的。给定图G，令μ(G)表示G的最小极大独立集的大小。2005年，Holroyd和Talbot提出了Erdős-Ko-Rado定理的推广猜想：当1≤r≤μ(G)/2时，存在大小最大的相交独立r元集合族，且该集合族为星型。本文介绍了该猜想的历史，并综述了过去20年间支持该猜想的相关结果。

英文摘要：

A family of sets is intersecting if every pair of its members has an element in common. Such a family of sets is called a star if some element is in every set of the family. Given a graph $G$, let $μ(G)$ denote the size of the smallest maximal independent set of $G$. In 2005, Holroyd and Talbot conjectured the following generalization of the Erdős-Ko-Rado Theorem: for $1\le r\le μ(G)/2$, there is a maximum size intersecting family of independent $r$-sets that is a star. In this paper we present the history of this conjecture and survey the results that have supported it over the last 20 years.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

关于稀疏图的Holroyd-Talbot猜想

On the Holroyd-Talbot Conjecture for Sparse Graphs

本文针对稀疏图研究Holroyd-Talbot的Erdős-Ko-Rado型独立集相交族猜想，分别证明了有界平均度图、有界度图及分裂顶点有界的树在对应r的阶数条件下，存在最大规模的星型独立r-集相交族。

2023-10-09math.CO

单纯复形的Erdos-Ko-Rado定理

Erdos-Ko-Rado theorems for simplicial complexes

最近的一个框架推广的埃尔多-科-拉多定理，由于霍尔罗伊德，斯宾塞和塔尔博特，定义了埃尔多-科-拉多性质的图的独立集。由于图的所有独立集的族形成单纯复形，因此很自然地将Erdos-Ko-Rado性质进一步推广到任意的单纯复形。在单纯复形中工作的一个优点是代数移位的可用性，一个强大的移位（压缩）技术，我们使用它来验证Holroyd和Talbot的猜想在顺序Cohen-Macaulay近锥的情况下。

2010-11-29math.CO

Holmes-Holroyd-Ramirez 循环积猜想的证明

A proof of the Holmes-Holroyd-Ramirez cyclic-product conjecture

University of California, Irvine（加州大学尔湾分校）；Stanford University（斯坦福大学）

本文证明了 Holmes-Holroyd-Ramirez 循环积猜想，即递减正序列的圆对称贪心排列最大化所有连续循环积和。

2026-09-24math.CAmath.COmath.FA

树族的Erdens-Ko-Rado定理

Erdős-Ko-Rado Theorems for a Family of Trees

给定图$G$和整数$r\geq 1$，令$\mathcal{I}^{(r)}(G)$表示$G$的大小为$r$的独立集族。对于$G$的顶点$v$，令$\mathcal{I}^{(r)}_v(G)$表示包含~ $v$的大小为$r$的独立集的族。这个家族被称为$r$ -星，$v$是恒星的中心。如果$\mathcal{I}^{(r)}(G)$的两两相交子族中没有一个大于最大$r$ -星的，并且如果$\mathcal{I}^{(r)}(G)$的每个最大尺寸两两相交子族都是$r$-星，则称$G$是$r$ -EKR的，称$G$是严格$r$ -EKR的.令$μ(G)$表示$G$的最大独立集的最小尺寸。Holroyd和Talbot证明，如果$2r \leq μ(G)$，则$G$是$r$ -EKR，并且如果$2r < μ(G)$，则严格$r$ -EKR。一棵树的一个顶点被指定为根，并且除了根之外没有顶点的度大于2。深度为2的爪是一个伸长的爪，其中每个度为1的顶点与根的距离为2。我们证明了如果$G$是一个深度为2的爪，则$G$是严格的$r$-EKR，如果$2r \leq μ(G)+1$，证实了Holroyd和Talbot对这个族的猜想.我们还表明，如果$G $是一个细长的爪与$n$叶和至少一个叶相邻的根，那么$G$是$r$ -EKR，如果$2r \leq n$。Hurlbert和Kamat已经证实，人们…

2016-04-13math.CO

关于图中独立集的交叉相交族

On cross-intersecting families of independent sets in graphs

令A_1，.，A_k是n元集合的子集族的集合。我们说这个集合是交叉相交的，如果对于任何i，j在[k]中，i不等于j，A在A_i中，B在A_j中，意味着A和B的交集是非空的。本文考虑Hilton的一个定理，它给出了均匀相交子族基数和的一个最佳可能的上界.我们制定一个图论模拟希尔顿的交叉定理，类似于一个开发的Holroyd，斯宾塞和塔尔博特的埃尔多斯-科-拉多定理。特别是，我们建立在Borg和领导者的结果，签署集和证明一个定理的一致交叉相交的子族的独立顶点子集的不相交的联合完全图。我们继续得到一个结果，一类更大的图，即弦图，并提出一个猜想，所有的图。最后，我们证明了这个猜想的循环的n个顶点。

2010-10-05math.CO

分离集的交族

Intersecting Families of Separated Sets

证明了Holroyd和Johnson的一个猜想，即Erdos-Ko-Rado定理的一个类似定理对k-分离集成立.特别是，这决定了由Schrijver确定的Kneser图的顶点临界子图的独立数，即分离集的集合。

2002-11-20math.CO

更多相关论文收起更多论文

关于在多个完全子图的并集中的 $r$-独立集的希尔顿-米勒定理

Hilton-Milner Theorem for the $r$-independent sets in a union of cliques

University of Manitoba（曼尼托巴大学）；University of Regina（里贾纳大学）；University of Lethbridge（莱斯布里奇大学）

本文提出了一种针对多个完全子图并集中的 $r$-独立集的希尔顿-米勒定理，扩展了之前对深度二爪图的研究，验证了Holroyd--Talbot猜想。

2025-11-24math.CO

长为2的路并的Erdens-Ko-Rado定理

An Erdős-Ko-Rado Theorem for unions of length 2 paths

如果集合族中的任何两个集合相交，则集合族是相交的。给定图$G$和整数$r\geq 1$，令$\mathcal{I}^{(r)}(G)$表示$G$的大小为$r$的独立集族。对于$G$的顶点$v$，包含$v$的大小为$r$的独立集族称为$r$ -星。如果没有$ \mathcal{I}^{(r)}(G)$的相交子族大于最大的$r$ -星，则称$G$是$r$ -EKR.令$n$是正整数，并且令$G$由每个长度为2的$n$路径的不相交并集组成。证明了如果$1 \leq r \leq n/2$，则$G$是$r$ -EKR.这肯定了Holroyd和Talbot对这类图的一个长期猜想，并且可以被看作是一个关于符号集的著名定理的类似物，该定理由Deza和Frankl以及Bollobás和Leader使用不同的方法证明。我们的主要方法是一种新的概率扩展的卡托纳的优雅的循环方法，这可能是独立的利益。

2020-08-23math.CO

关于$4$ -和$5$ -色图的Hadwiger猜想的加强

Strengthening Hadwiger's conjecture for $4$- and $5$-chromatic graphs

Hadwiger著名的着色猜想指出，每个$t$ -色图都包含一个$K_t$ -子图. Holroyd [Bull. London Math.Soc.29，（1997），pp. [139- 144]证明了Hadwiger猜想的以下加强：如果$G$是一个$t$ -色图，且$S \subseteq V(G)$取$G$的每个$t$ -色中的所有颜色，则$G$包含一个根在$S$的$K_t$ -子图.我们证明了这个猜想在第一个开放的情况下，$t=4$。值得注意的是，我们的结果也直接意味着一个更强的版本的Hadwiger猜想的$5$ -色图如下：每个$5$ -色图包含一个$K_5$ -子单支集。事实上，在一个$5$ -顶点临界图中，我们可以指定单点分支集为图的任何顶点。

2022-09-01math.CO

具有Erdős-Ko-Rado性质的非常良覆盖图

Very Well-Covered Graphs with the Erdős-Ko-Rado Property

本文研究非常良覆盖图的Erdős-Ko-Rado性质，证明悬挂完全图在n≥2r时是r-EKR，并确定了悬挂路径图中使r-star达到最大规模的顶点。

2022-03-14math.CO

超图的拉格朗日算子：Frankl-Füredi猜想几乎处处成立

Lagrangians of hypergraphs: The Frankl-Füredi conjecture holds almost everywhere

Frankl和Füredi在1989年证明了所有$m$-一致超图的最大拉格朗日量是由共线序的初始段实现的。特别是，在主要情况下$m=\binom{t}{r}$他们的猜想指出，每个$H\subseteq \mathbb{N}^{(r)}$的大小$\binom{t}{r}$满足\begin{align*} \max \{\sum_{A \in H}\prod_{i\in A} y_i \ \colon \ y_1,y_2,\ldots \geq 0; \sum_{i\in \mathbb{N}} y_i=1 \}&\leq \frac{1}{t^r}\binom{t}{r}. \end{align*}我们证明了上述声明的所有$r\geq 4$和大值的$t$（$r=3$的情况下解决了塔尔博特在2002年）。更一般地说，我们表明，任何$r\geq 4$的弗兰克尔-富雷迪猜想成立时，$\binom{t-1}{r} \leq m \leq \binom{t}{r}- γ_r t^{r-2}$为一个常数$γ_r>0$，从而验证了它的“大多数”$m\in \mathbb{N}$。对于$r=3$，我们改进了Talbot~ \cite{Tb}和Tang，Peng，Zhang，Zhao~ \cite{TPZZ}的结果.

2017-03-13math.COmath.OC

相交族、交叉相交族及Feghali，Johnson和Thomas猜想的一个证明

Intersecting families, cross-intersecting families, and a proof of a conjecture of Feghali, Johnson and Thomas

如果$\mathcal{A}$中的每两个集合相交，则称集合族$\mathcal{A}$相交。如果$\mathcal{A}$中的每个集合与$\mathcal{B}$中的每个集合相交，则两个族$\mathcal{A}$和$\mathcal{B}$被称为交叉相交。对于正整数$n$，设$[n] = \{1, \dots, n\}$和$\mathcal{S}_n = \{A \subseteq [n] \colon 1 \in A\}$。本文推广了Erdens-Ko-Rado定理，证明了如果$\mathcal{A}$和$\mathcal{B}$是$[n]$的子集的非空交叉族，$\mathcal{A}$是交叉的，并且$a_0, a_1, \dots, a_n, b_0, b_1, \dots, b_n$是非负实数，使得对于每个$i \leq n/2$，$a_i + b_i \geq a_{n-i} + b_{n-i}$和$a_{n-i} \geq b_i$，则\[\sum_{A \in \mathcal{A}} a_{|A|} + \sum_{B \in \mathcal{B}} b_{|B|} \leq \sum_{A \in \mathcal{S}_n} a_{|A|} + \sum_{B \in \mathcal{S}_n} b_{|B|}.\]对于图$G$和整数$r$，令${\math…

2017-06-17math.CO

悬挂图构造的EKR型定理

EKR-Type Theorems for Pendant Graph Constructions

Department of Mathematics & Statistics, Villanova University（维拉诺瓦大学数学与统计系）

本文研究悬挂图构造的EKR型定理，给出悬挂完全图及其广义形式的r-EKR证明，并构造反例表明悬挂路径不满足某些EKR性质。

2025-10-25math.CO

关于树中独立集的相交族

On intersecting families of independent sets in trees

一个集合族是相交的，如果它的每一对集合相交。一个星是一个族，在它的每一个集合中都有一些元素（一个中心）。1961年，Erdés、Ko和Rado的经典结果指出，每个与$r\leq n/2$相交的r-集族的大小最多为恒星。我们称图G是r-EKR，如果在G的所有独立r-集的相交族中，最大的是由一个星得到的。2005年Holroyd和Talbot证明了图G对所有$1\leq r\leq μ(G)/2$都是r-EKR，其中$μ(G)$是图G中最小极大独立集的大小.我们在2011年验证了所有包含孤立点的弦图的猜想。对于没有孤立顶点的图，很难确定最大星的中心，这通常是证明它们是EKR所必需的。如果树的最大星出现在它的一片叶子上，那么树就具有叶子属性。我们证明了当$r\leq 4$时，每棵树T都具有叶属性，并且在2017年Borg和其他作者给出了当$r\geq 5$时树族不具有叶属性的例子。树中的分裂顶点是度至少为3的顶点。蜘蛛是一棵只有一个分裂顶点的树。这里我们证明了所有的蜘蛛对所有的$r\leq α(G)$都具有叶子性质，其中$α(G)$是$G$的独立数，并且我们刻画了它的哪些叶子是最大星中心.一棵悬垂树是一棵其每个分裂顶点都与一片叶子相邻的树。这里我们证明了所有的悬挂树对所有的$r\leq α(G)$都有叶子属性。我们还考虑了悬挂树正好有两个分裂顶点，并提供了部分结果的位置上的最大星中心。

2022-02-14math.CO