Sunflowers and $L$-intersecting families
令$f(k,r,s)$代表最小数,使得如果$\cal F$是任意的$k$-均匀,$L$-交集系统,其中$|L|=s$,并且$\cal F$具有多于$f(k,r,s)$的元素,则$\cal F$包含具有$r$花瓣的向日葵。我们给出了$f(k,3,s)$的一个上界。设$g(k,r,\ell)$是使任何多于$g(k,r,\ell)$集合的$k$-均匀、$\ell$-相交集合系统包含一个有$r$花瓣的向日葵的最小数.我们还给出了$g(k,r,\ell)$的一个上界。
2016-01-19 math.CO
A comment on Intersecting Families of Permutations
Ellis,Friedgut和Pilpel证明了对于足够大的$n$,一个$t$ -相交的置换族至多包含$(n-t)!$置换.他们的主要定理还指出,等式只对$t$ -陪集成立。我们表明,他们的证明极值家庭的特征是错误的。然而,表征来自埃利斯的一篇论文,正如埃利斯,弗里德古特和皮尔佩尔已经提到的那样。
2017-06-30 math.CO
Uniformly cross intersecting families
令$\mathcal{A}$和$\matchcal{B}$表示$n$元素集的两个子集族.对$(\mathcal{A},\mathcal{B})$被称为$\ell$ -交叉相交,当且仅当对于所有$A\in\mathcal{A}$和$B\in\mathcal{B}$都是$|A\cap B| = \ell$。用$P_\ell(n)$表示所有这些对上的$|\mathcal{A}||\mathcal{B}|$的最大值。$P_\ell(n)$最著名的上界是$Θ(2^n)$,由Frankl和Rödl提出。对于下界,Ahlswede、Cai和Zhang证明了,对于所有的$n \geq 2\ell$,用$|\mathcal{A}||\mathcal{B}| = \binom{2\ell}{\ell}2^{n-2\ell}=Θ(2^n/\sqrt{\ell})$构造一个$\ell$ -交叉相交对$(\mathcal{A},\mathcal{B})$,并证明这是最好的可能。因此,Sgall询问$P_\ell(n)$是否会随着$\ell$而减少。在本文中,我们证实了Ahlswede等人的上述猜想。对于任何足够大的$\ell$,这意味着一个肯定的回答,以及上述问题的Sgall。通过分析$\mathbb{R}$上的$\mathcal{A},\mathcal{B}$的特征向量的线性空间,证明了存在某些$\ell…
2006-08-07 math.CO
An Erdős-Ko-Rado theorem for subset partitions
$k\ell$ -子集分区或$(k,\ell)$ -子分区是$n$ -集合的$k\ell$ -子集,该集合被划分为$\ell$不同的类,每个类的大小为$k$ .两个$(k,\ell)$ -子分区被称为$t$ -相交,如果它们至少有共同的$t$类。本文证明了$(k,\ell)$ -子划分相交族的一个Erdens-Ko-Rado定理。我们发现,$n \geq k\ell$,$\ell \geq 2$和$k \geq 3$,最大的$1$交叉的家庭包含最多$\frac{1}{(\ell-1)!}\binom{n-k}{k}\binom{n-2k}{k}\cdots\binom{n-(\ell-1)k}{k}$ $(k,\ell)$ -子分区,这个界限是唯一达到的家庭的$(k,\ell)$ -子分区与一个共同的固定类,称为\emph{canonical intersecting family of $(k,\ell)$-subpartitions}。此外,假设$n$相对于$k,\ell$和$t$足够大,则最大的$t$交叉族是包含$t$固定类的公共集合的$(k,\ell)$子分区族.
2013-11-27 math.CO
Size and structure of large $(s,t)$-union intersecting families
一个集合族$\F$称为交的,如果$\F$中的任何两个集合有非空交。著名的Erd{ \H o}s-Ko-Rado定理确定了$n$ -集$X$上的最大相交$k$ -集族的大小和结构。$(s,t)$ -并集相交族是$n$ -集合$X$上的$k$ -集合族,使得对于这个族中的任何$A_1,\ldots,A_{s+t}$,$\left(\cup_{i=1}^sA_i\right)\cap\left(\cup_{i=1}^t A_{i+s}\right)\neq \varnothing.$令$\ell(\F)$是$\F$中的集合的最小数目,使得通过移除它们得到的子族是相交的.本文对足够大的$n$,刻画了$(s,t)$ -具有最大可能尺寸的并集相交族和$\ell(\F)\geq s+β$的尺寸和结构.这使我们能够找出一些大的和最大的$(s,t)$ -并集相交的家庭的大小和结构。我们的结果是Erd{ \H o}s-Ko-Rado定理的一些最近推广的非平凡扩展,例如Han和Kohayakawa定理2017,它发现了第三大相交族的结构,Kostochka和Mubayi定理2017,以及最近的Kupavskii定理2018,其两个结果都确定了$i$的$k$第十大交叉家族的大小和结构-设置为$i\leq k+1$。特别是,我们证明了一个Hilton-Milner型稳定性定理对$(1,t)$ -union相…
2019-09-06 math.CO
Intersecting families of discrete structures are typically trivial
交叉结构的研究是极值组合学的核心。如果$\mathcal{F}$中的任何两个排列在某些$t$索引上一致,则排列族$\mathcal{F} \subset S_n$是\emph{$t$-intersecting},如果$\mathcal{F}$中的所有排列在相同的$t$索引上一致,则排列族是\emph{trivial}。一个$k$ -一致超图是\emph{$t$-intersecting},如果它的任意两条边有共同的$t$顶点,如果它的所有边共享相同的$t$顶点,则它是\emph{trivial}.基本问题是确定相交族可以有多大。Ellis,Friedgut和Pilpel证明了对于$n$相对于$t$足够大,在$S_n$中最大的$t$相交族是平凡族.经典的Erdens-Ko-Rado定理表明,当$n$较大时,最大的$t$ -相交$k$ -一致超图也是平凡的.我们确定的\emph{typical}结构的$t$ -相交的家庭,扩展这些结果表明,几乎所有的相交家庭是平凡的。我们还获得了这些极值结果的稀疏类似物,表明它们在随机设置中成立。我们的证明使用Bollobás集对不等式来限制最大相交族的数量,然后可以将其与已知的稳定性定理相结合。对于向量空间,我们也得到了类似的结果。
2015-01-09 math.CO
An Erdős-Ko-Rado theorem for multisets
设$k$和$m$为正整数。如果来自$\{1,..., m \}$的$k$ -多重集的集合中的每对多重集都相交,则该集合是相交的。我们证明了,对于$m \geq k+1$,最大的这样的集合的大小是$\binom{m+k-2}{k-1}$,当$m > k+1$,只有一个集合的所有$k$ -多集包含一个固定的元素将达到这个界限。还给出了$m \leq k$的$k$ -多集的最大相交集的大小和结构.
2011-11-18 math.CO
Uniqueness for 2-Intersecting Families of Permutations and Perfect Matchings
Technion — Israel Institute of Technology(以色列理工学院)
本文刻画了所有n≥2时{1,2,…,n}的最大2-相交排列族和完全图K_{2n}的最大2-相交完美匹配族。
2026-06-17 math.CO
An Extension of the Erdős-Ko-Rado Theorem to uniform set partitions
$(k,\ell)$分区是具有每个大小为$k$的$\ell$块的集合分区。如果在$P$中存在块$P_{i}$并且在$Q$中存在块$Q_{j}$使得$\left| P_{i} \cap Q_{j} \right|\geq t$,则两个均匀集划分$P$和$Q$被称为部分$t$相交。本文证明了部分$2$ -相交$(k,\ell)$ -划分的Erdens-Ko-Rado定理的一个版本。特别是,我们表明$\ell$足够大,所有的$(k,\ell)$分区,其中一个块包含一个固定的对的集合是最大的2部分相交的$(k,\ell)$分区。对于$k=3$,我们证明了这个结果对所有$\ell$都成立。
2021-08-17 math.CO
Intersecting families of sets and permutations: a survey
如果$\mathcal{A}$中的任何两个集合至少有$t$公共元素,则集合族$\mathcal{A}$称为\emph{$t$-intersecting}。极值集合论中的一个中心问题是确定给定族$\mathcal{F}$的最大$t$相交子族的大小或结构。本文综述了各种重要的$\mathcal{F}$族$\mathcal{F}$,即幂集、幂集水平、遗传族、符号集族、标号集族和置换族的已知结果、结构和未解决的问题。我们还提供了一些已知结果的扩展和后果。
2011-06-30 math.CO
On the largest degrees in intersecting hypergraphs
Taiyuan University of Technology(太原理工大学)
针对n>2k情形下的相交k-图,本文强化了Huang和Zhao关于度的已有结论,给出了第2k+1大度、第二及第三大度的上界,并证明了多个同类最优结果。
2025-11-19 math.CO
Non-trivial $t$-intersecting families for the distance-regular graphs of bilinear forms
设$V$是有限域上的$(n+\ell)$维向量空间,$W$是$V$的固定的$\ell$维子空间.写${V\brack n,0}$为满足$\dim(U\cap W)=0$的$V$的所有$n$维子空间$U$的集合。如果所有$A,B\in\mathcal{F}$都有$\dim(A\cap B)\geq t$,则族$\mathcal{F}\subseteq{V\brack n,0}$是$t$-相交的。如果$\dim(\cap_{F\in\mathcal{F}}F)<t$是$t$-相交族$\mathcal{F}\subseteq{V\brack n,0}$,则称为非平凡族.本文描述了大尺寸的非平凡${V\brack n,0}$的$t$-相交族的结构。特别地,我们给出了具有最大尺寸的非平凡$t$-相交族的结构,推广了${V\brack n,0}$的Hilton-Milner定理。
2021-03-20 math.CO
On $\ell$-weakly cross $t$-intersecting families for sets and vector spaces
Suzhou Polytechnic University(苏州职业大学);Soochow University(苏州大学)
本文研究了集合和向量空间中的$\ell$-弱交叉$t$-相交族,给出了集合版本定理的另一种证明,并证明了子空间版本中族大小乘积的上界。
2026-05-22 math.CO
Simple Algebraic Proofs of Uniqueness for Erdős-Ko-Rado Theorems
我们给出了几个Erdens-Ko-Rado结果的唯一性的简单代数证明,即,经典相交族是唯一最大的相交族。使用这些技术,我们的特点是最大的部分2相交的家庭完美超匹配,解决最近的猜想Meagher,Shirazi,和史蒂文斯。
2022-01-08 cs.DM math.CO
Counting $t$-wise $L$-intersecting cliques with prescribed intersection sizes
Department of Mathematical Sciences, Tsinghua University(清华大学数学科学系)
本文研究 $t$-wise $L$-相交 $r$-团的最大数目,证明非等差情形下为 $o(n^{|L|})$,等差情形下给出渐近公式,推广了 Helliar 和 Liu 的结果。
2026-09-22 math.CO
On cross-2-intersecting families
本文在$n\u22653.38\u2113$且$\u2113\u2265k\u22652$的条件下,确定了交叉2相交族的规模乘积上界及极值族结构,推广了Tokushige的相关结果,为非平凡情形极值结构的推导提供了便利。
2025-03-20 math.CO
On a weaker notion of cross $t$-intersecting families
Nankai University(南开大学);Jiangsu Normal University(江苏师范大学);KAIST(韩国科学技术院);Institute for Basic Science (IBS)(基础科学研究院)
该研究证明了在特定交叠条件下,两个族的大小乘积的上界,并扩展了Pyber关于交叉1-交叠族的定理。
2026-01-28 math.CO
On the number of maximal intersecting k-uniform families and further applications of Tuza's set pair method
研究了表示最大$k$ -一致相交族$F\subseteq \binom{[n]}{k}$个数的函数$M(n,k)$.改进Balogh等人关于$M(n,k)$的一个界,通过证明对于任何固定的$k$,$M(n,k) =n^{Θ(\binom{2k}{k})}$成立,确定了$\log M(n,k)$的数量级.我们的证明是基于Tuza的集对方法。其主要思想是约束相交系统的最大可能点集的大小。我们还介绍和研究了一些相关的函数和参数。
2015-03-12 math.CO
On nontrivial cross-2-intersecting families
School of Mathematics and Statistics, Ningbo University(宁波大学数学与统计学院);Department of Mathematics, Soochow University(苏州大学数学系)
本文研究了非平凡交叉2-交集族的上界,并确定了达到此上界的极值族,解决了He等人最近结果中的最后一个未解决情况。
2026-07-15 math.CO
A hypergraph Turán theorem via lagrangians of intersecting families
设$\mc{K}_{3,3}^3$是具有15个顶点$\{x_i, y_i: 1 \le i \le 3\}$和$\{z_{ij}: 1 \le i,j \le 3\}$以及11条边$\{x_1, x_2, x_3\}$、$\{y_1, y_2, y_3\}$和$\{\{x_i, y_j, z_{ij}\}: 1 \le i,j \le 3\}$的3-图。我们证明了对于大$n$,$n$顶点上唯一的最大无$\mc{K}_{3,3}^3$ 3-图是5个顶点上完全3-图的平衡爆破。我们的证明使用的稳定性方法和结果的拉格朗日相交的家庭,有独立的利益。
2013-07-31 math.CO
Intersection theorems for multisets
设$k$、$t$和$m$为正整数。$k$ -$[m]$的多集是来自集合$\{1,...,m\}$的$k$整数的集合,其中整数可以出现多次。利用图同态和相交和$t$ -相交$k$ -集系统的现有定理,证明了$k$ -集的相交和$t$ -相交族的新结果.这些结果包括一个多集版本的Hilton-Milner定理和一个定理给出的规模和结构的最大$t$交叉家庭的$k$ -多集的$m$ -集时,$m \leq 2k-t$。
2015-05-26 math.CO
On regular 3-wise intersecting families
埃利斯和第三作者表明,验证了一个猜想的弗兰克尔,任何$3$明智的交叉家庭的子集$\{1,2,\dots,n\}$承认一个传递自同构群具有基数$o(2^n)$,而建设的弗兰克尔表明,同样的结论不需要举行下较弱的约束是经常性的。通过对Cameron,Frankl和Kantor在1989年提出的一个问题的讨论,我们证明了允许传递自同构群的限制可以大大放宽:我们证明了任何正则且递增的$\{1,2,\dots,n\}$的子集的$3$ -wise相交族都有基数$o(2^n)$ .
2017-12-27 math.CO
Intersecting Families of Perfect Matchings
$K_{2n}$的完美匹配族是$t$ - $intersecting$,如果任何两个成员共享$t$或多个边。我们证明了任何$t \in \mathbb{N}$,每一个$t$交叉家庭的完美匹配的大小不大于$(2(n-t) - 1)!!$足够大的$n$,并平等保持当且仅当家庭是由所有完美匹配,包含一个固定的一组$t$不相交的边缘。这是Godsil和Meagher猜想的渐近版本,可以看作是Ellis,Friedgut和Pilpel证明的Deza-Frankl猜想的非二分类似物。
2018-11-15 math.CO
On $t$-intersecting Hypergraphs with Minimum Positive Codegrees
对于超图$\mathcal{H}$,定义最小正余度$δ_i^+(\mathcal{H})$为最大整数$k$,使得包含在$\mathcal{H}$的至少一条边中的每个$i$ -集至少包含在$k$的边中.对于$1\le s\le k,t$和$t\le r$,我们证明了:对于$n$ -顶点$t$ -相交$r$ -图$\mathcal{H}$与$δ_{r-s}^+(\mathcal{H})>{k-1\choose s}$,唯一的边数最多的超图是由每条边组成的超图$\mathcal{H}$,只要$n$足够大,每条边至少在$k-s+t$的一组$2k-2s+t$中相交.这推广了Balogh、Lemons和Palmer的工作,他们为$s=t=1$证明了这一点,以及当$k=s$。
2021-10-20 math.CO
Intersecting Families of Spanning Trees
本文研究完全图K_n中t-相交生成树族的最大规模,证明在n≥C(log n)t时,极值族为包含固定t条独立边的所有树,t=1时还包括星形族。
2025-07-25 math.CO
A new intersection condition in extremal set theory
University, Budapest, Hungary
本文研究了极值集合论中(3,2,ℓ)-交集族的最大规模问题,给出了均匀和非均匀情况下的上界及构造方法。
2025-11-24 math.CO
Erdős-Ko-Rado for random hypergraphs: asymptotics and stability
研究随机$k$ -一致超图$\mathcal{H}^k(n,p)$的Erdens-Ko-Rado定理的渐近形式.对于$2 \leq k(n) \leq n/2$,记为$N=\binom{n}k$和$D=\binom{n-k}k$。我们证明了当概率趋于1时,$n\to\infty$的最大相交子超图的大小为$(1+o(1))p\frac kn N$,对于任何$p\gg \frac nk\ln^2\!\left(\frac nk\right)D^{-1}$。$p$上的这个下限对于$k=Θ(n)$是渐近最佳可能的。对于这个范围的$k$和$p$,我们也能够显示稳定性。当$k = o(n)$。在这种情况下,$p$的下限几乎是最优的。进一步地,对于小区间$D^{-1}\ll p \leq (n/k)^{1-\varepsilon}D^{-1}$,$\mathcal{H}^k(n,p)$的最大相交子超图的大小为$Θ(\ln (pD)N D^{-1})$,条件是$k \gg \sqrt{n \ln n}$。加上以前的工作Balogh,Bohman和Mubayi,这些结果解决了最大的交叉家庭在$\mathcal{H}^k(n,p)$的渐近大小,基本上所有的值$p$和$k$。
2017-04-25 math.CO
Intersection theorems for uniform subfamilies of hereditary families
本文研究遗传族均匀子族的交问题,改进了Borg猜想中相交与t-相交情形下n的界,证明满足特定n的下界时遗传族第k层的最大t-相交子族为含固定t元集的集合族,并给出稳定性结果。
2023-11-03 math.CO
On the product of cross-intersecting families with maximal covering number
Shanghai Center for Mathematical Sciences(上海数学中心);Fudan University(复旦大学);Rényi Institute(雷尼研究所)
本文研究了交叉相交族对的最大乘积,其中一族是覆盖数为ℓ的k-图,另一族是覆盖数为k的ℓ-图,并给出了精确值及渐近行为。
2026-06-01 math.CO
On the maximum number of points in a maximal intersecting family of finite sets
保罗·埃尔德什和拉斯洛·洛瓦兹在一篇具有里程碑意义的文章中证明,对于任何正整数$k$,直到同构,只有1000个最大相交的$k-$集族(最大$k-$团)。因此,他们提出的问题,确定或估计的最大数目$N(k)$的点,在这样的家庭。并通过实例证明了$N(k)\geq2k-2+\frac{1}{2}\binom{2k-2}{k-1}$ .很久以后,Zsolt Tuza通过证明渐近$N(k)$至多是这个下界的$4$倍,证明了这个界在乘法常数下是最佳可能的。在本文中,我们通过证明渐近$N(k)$最多是$3$倍的Erdens-Lovász下界来减少上界之间的差距。从推测上说,本文得到的显式上界只是下界的两倍。
2014-02-28 math.CO
Structure and properties of large intersecting families
如果一个$n$ -元素集的任何两个子集相交,我们说这个$k$ -子集族是相交的。本文研究了大交族的性质和结构。我们证明了一个结论性的版本Frankl定理相交的家庭有界的最大程度。这个定理,连同它的推广到交叉相交的家庭,加强了由弗兰克尔,弗兰克尔和Tokushige,Kupavskii和Zakharov和其他人得到的结果。我们研究了大相交族的结构,得到了一些非常一般的结构定理,推广了Han和Kohayakawa,以及Kostochka和Mubayi的结果。我们还得到了70年代提出的相交族的一些经典问题的推广。本文推广了Frankl的一个旧结果,在该结果中,他确定了$n>n_0(k)$的覆盖数为$3$的最大相交$k$ -集族的规模和结构.对于$n>Ck$,我们得到了相同的结果,其中$C$是一个绝对常数。最后,我们得到一个类似的扩展以下问题的Erd \H OS,罗斯柴尔德和Szémeredi:什么是最大的交叉家庭,其中没有元素包含在超过一个$c$ -比例的集合,为不同的值$c$。
2018-10-01 cs.DM math.CO
Stability for Intersecting Families of Perfect Matchings
$K_{2n}$的完美匹配族是$intersecting$,如果它的任何两个成员有一个共同的边。已知如果$\mathcal{F}$是$K_{2n}$的相交完美匹配族,则$|\mathcal{F}| \leq (2n-3)!!$,如果等式成立,则$\mathcal{F} = \mathcal{F}_{ij}$,其中$ \mathcal{F}_{ij}$是包含某些固定边$ij$的$K_{2n}$的所有完美匹配族。本文证明了极值族是稳定的,即对任何$ε\in (0,1/\sqrt{e})$和$n > n(ε)$,任何大于$(1 - 1/\sqrt{e} + ε)(2n-3)!!$的完美匹配的相交族都包含在$\mathcal{F}_{ij}$中.证明使用Gelfand对$(S_{2n},S_2 \wr S_n)$以及Ellis的等周方法。
2018-08-10 math.CO
Intersecting integer partitions: star bounds and counterexamples at every scale
Technische Universität Ilmenau(埃尔福特工业大学);Technische Hochschule Rosenheim(罗森海姆应用技术大学)
本文研究整数分拆的最大t-相交族,证明在n≥Ak^3时典范t-星最大,并构造了Borg猜想在各尺度的反例。
2026-10-27 math.CO math.NT
On $r$-wise $t$-intersecting uniform families
本文研究 r-wise t-相交 k 元子集族,证明当 n≥(2.5t)^{1/(r-1)}(k-t)+k 且 r≥3 时完全 t-星最大,并证明指数 1/(r-1) 最优,显著改进了 Balogh 和 Linz 的结果。
2024-09-28 math.CO
Exact extremal non-trivial cross-intersecting families
本文研究两个交叉相交的k元与ℓ元子集族乘积规模的第二极值问题,在排除已知极值族后给出两种精确上界及唯一极值结构,并建立尺寸敏感不等式,同时恢复Frankl和Kupavskii的主要结果。
2024-11-25 math.CO
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-17 math.CO
A note on the maximum diversity of intersecting families in the symmetric group
Taiyuan University of Technology(太原理工大学);Southern University of Science and Technology(南方科技大学)
本文利用spread approximation方法证明,对于n≥500,对称群中交集族的多样性最大为(n-3)(n-3)!。
2026-01-01 math.CO
Intersecting families with covering number $3$
Moscow Institute of Physics and Technology(莫斯科物理技术学院);Saint-Petersburg State University(圣彼得堡国立大学);Innopolis University(伊诺波利斯大学)
本文研究了覆盖数为3的相交族,确定了当k≥100且n>2k时,相同族在最大相交族问题中的极值性。
2025-11-25 cs.DM math.CO
Non-uniform Cross-intersecting Families
本文针对非均匀交叉相交族,在$n\geq k_1+k_2$的条件下确定了其族大小和的最大值,推广了Shi等人的相关结果并刻画了极族。
2024-11-27 math.CO
$3$-setwise intersecting families of the symmetric group
给定两个正整数$n\geq 3$和$t\leq n$,如果排列$σ,π\in \operatorname{Sym}(n)$在$\{1,2,\ldots,n\}$的$t$-子集上一致(按集),则它们是$t$-集相交的。如果$\mathcal{F}$的任意两个排列是$t$ -集相交的,则族$\mathcal{F} \subset \operatorname{Sym}(n)$是$t$ -集相交的. Ellis [Journal of Combinatorial Theory,Series A,119(4),825--849,2012]阐明,如果$t\leq n$和$\mathcal{F} \subset \operatorname{Sym}(n)$是$t$ -按集相交族,则仅当$\mathcal{F}$是$\{1,2,\ldots,n\}$的$t$ -子集的按集稳定子的陪集时,$|\mathcal{F}|\leq t!(n-t)!$和等式才成立。本文证明了若$n\geq 11$和$\mathcal{F}$是$3$ -集交的,则有$|\mathcal{F}|\leq 6(n-3)!$ .证明了$3$ -集相交族的特征向量存在于$\operatorname{Sym}(n)$的置换模作用于$\{1,2,\ldots,n\}$的$3$ -子集的特征空间之和中.
2021-09-03 math.CO
Maximal 3-wise Intersecting Families with Minimum Size: the Odd Case
一个基集上的$\mathcal{F}$族$\{1,2,\ldots, n\}$是最大$k$交的,如果$\mathcal{F}$中的每个$k$集的集合都有非空交,并且在保持这个性质的情况下,没有其他集合可以添加到$\mathcal{F}$中. Erdés和Kleitman要求最大$k$ -wise相交族的最小尺寸。作为对Henrik、Lund、Tompkins和Tran早期工作的补充,他们回答了$k=3$和大偶数$n$的这个问题,我们回答了$k=3$和大奇数$n$的这个问题。我们证明了唯一极小族是通过将基集划分为两个大小几乎相等的集合$A$和$B$,并取由$A$和$B$的所有真超集组成的族而得到的.我们证明的一个关键因素是Ellis和Sudakov关于所谓的$2$ -发电机组系统的稳定性结果。
2022-06-29 math.CO
A Note on Large H-Intersecting Families
如果对任何$G_1,G_2 \in F$,交$G_1 \cap G_2$包含一个三角形,则在一个固定的$n$顶点集上的图族$F$称为三角形相交的。更一般地,对于固定图$H$,如果$F$中的任何两个图的交集包含与$H$同构的子图,则族$F$是$H$ -相交的。在[D. Ellis,Y. Filmus和E. Friedgut,三角相交图族,J. Eur。14(2012),pp. 841- 885],Ellis,Filmus和Friedgut证明了Simonovits和Sós的一个36年前的猜想,即三角形相交族的最大尺寸是$(1/8)2^{n(n-1)/2}$。此外,他们证明了一个$p$偏向的推广,声明对于任何$p \leq 1/2$,我们有$μ_{p}(F)\le p^{3}$,其中$μ_{p}(F)$是随机图$G(n,p)$属于$F$的概率。在同一篇论文中,Ellis等人证明了他们的有偏定理的断言也适用于$1/2 < p \le 3/4$,更一般地说,对于任何非$t$可着色图$H$和任何$H$相交族$F$,我们对所有$p \leq (2t-1)/(2t)$都有$μ_{p}(F)\le p^{t(t+1)/2}$.本文对任意固定的$H$和任意$p>1/2$构造了一个$H$ -相交的图族$F$,使得$μ_{p}(F)\ge 1-e^{-n^{2}/C}$,其中$C$只依赖于$H$和$p$…
2018-10-12 math.CO math.PR
Erdős--Ko--Rado theorems in $\ell_2$-norm for three finite spaces
School of Mathematics, Nanjing University(南京大学数学系);School of Mathematical Sciences, Hebei Normal University(河北师范大学数学科学学院)
研究有限向量空间、仿射空间和衰减空间中相交族超图的共度数平方和 $\mathrm{co}_2(\mathcal{F})$ 的极值问题,通过发展关联矩阵谱技术,建立了这三个有限空间中 $\ell_2$-范数下的 Erdős--Ko--Rado 定理。
2026-08-03 math.CO
The complete nontrivial-intersection theorem for vector spaces
Beijing Normal University(北京师范大学)
本文确定了有限域上向量空间中满足$k\geq t+2$和$n\geq 2k+1$的最大非平凡$t$-交族,从而建立了完全非平凡交定理。
2026-10-06 math.CO
Nearly Erdős-Ko-Rado theorems
Department of Mathematics, Taiyuan University of Technology(太原理工大学数学系)
本文研究了在较弱条件下 $t$-相交家庭的最大大小问题,并改进了 Erdős-Ko-Rado 定理的相关结论。
2026-01-11 math.CO
$K_4$-intersecting families of graphs
Ellis、Filmus和Friedgut证明了Simonovits和Sós的一个古老猜想,证明了$n$顶点上的三角形相交图族的最大尺寸至多为$2^{\binom{n}{2} - 3}$,并且对于包含某个固定三角形的图族是相等的。他们强调,他们的结果扩展到交叉交叉的家庭,以及$K_t$交叉的家庭。我们证明了$t \in \{3,4\}$的这些结构,表明如果$\mathcal F_1$和$\mathcal F_2$是$n$标记顶点上的图族,使得对于任何$G_1 \in \mathcal F_1$和$G_2 \in \mathcal F_2$,$G_1 \cap G_2$包含$K_t$,则$\lvert \mathcal F_1 \rvert \lvert \mathcal F_2 \rvert \le 4^{\binom{n}{2} - \binom{t}{2}}$具有相等性当且仅当$\mathcal F_1 = \mathcal F_2$由包含某些固定$K_t$的所有图组成。我们还建立了稳定性结果。更一般地说,“$G_1 \cap G_2$包含一个$K_t$“可以被替换为“$G_1$和$G_2$同意一个非$(t-1)$可着色图.”"
2021-04-01 math.CO
The maximum product of sizes of cross-intersecting families
我们说集合$A$ $t$ -与集合$B$相交,如果$A$和$B$至少有$t$公共元素。两个集合族$\mathcal{A}$和$\mathcal{B}$称为交叉- $t$ -相交,如果$\mathcal{A}$ $t$ -中的每个集合与$\mathcal{B}$中的每个集合相交.如果$\mathcal{S}$中的集合有$t$公共元素,则家族$\mathcal{F}$的一个子类$\mathcal{S}$称为$t$ -star of $\mathcal{F}$。令$l(\mathcal{F},t)$表示$\mathcal{F}$的最大$t$ -星的大小。我们称$\mathcal{F}$为$(\leq r)$族,如果$\mathcal{F}$中的每个集合至多有$r$元素.我们确定一个函数$c : \mathbb{N}^3 \rightarrow \mathbb{N}$,使得以下成立。如果$\mathcal{A}$是具有$l(\mathcal{F},t) \geq c(r,s,t)l(\mathcal{F},t+1)$的$(\leq r)$ -家族$\mathcal{F}$的亚家族,$\mathcal{B}$是具有$l(\mathcal{G},t) \geq c(r,s,t)l(\mathcal{G},t+1)$的$(\leq s)$ -家族$\mathcal{G}$的亚家族,并且$\mat…
2016-05-27 math.CO
The maximum sum and maximum product of sizes of cross-intersecting families
如果$A$和$B$至少有$t$公共元素,则我们说集合$A$ \emph{$t$-intersects}是集合$B$。一个集合族$\mathcal{A}$称为\emph{$t$-intersecting},如果$\mathcal{A}$中的每个集合$t$ -与$\mathcal{A}$中的任何其他集合相交。家族$\mathcal{A}_1, \mathcal{A}_2, ..., \mathcal{A}_k$被称为\emph{cross-$t$-intersecting},如果对于具有$i \neq j$的$\{1, 2, ..., k\}$中的任何$i$和$j$,$\mathcal{A}_i$ $t$ -中的任何集合与$\mathcal{A}_j$中的任何集合相交。我们证明了,对于任何有限的家庭$\mathcal{F}$,至少有一个集的大小至少$t$,存在一个整数$κ\leq |\mathcal{F}|$,使任何$k \geq κ$,无论是总和和产品的大小的任何$k$交叉$t$相交的子家庭$\mathcal{A}_1, ..., \mathcal{A}_k$(不一定是独特的或非空的)的$\mathcal{F}$是最大的,如果$\mathcal{A}_1 = ... = \mathcal{A}_k = \mathcal{L}$的一些最大的$t$相交的子家庭$\mathcal{L}$的…
2012-12-29 math.CO
Improved bound on symmetric differences of intersecting families
Central South University(中南大学);Shenzhen University(深圳大学)
本文证明了对于 $n\ge 60k^{3/2}$ 且 $k\ge 50$ 的相交族,其对称差族的大小不超过 $\sum_{\ell=0}^{k-1} \binom{n-1}{2\ell}$,并刻画了极值结构为星形族。
2026-06-29 math.CO
Intersection theorems for triangles
给定一个平面上的集合族,如果族中的任何两个集合的内部相交,则我们说族相交。本文研究顶点在给定点集中的相交三角形族。特别是,我们表明,如果一组$P$的$n$点是在凸的位置,那么最大的三角形与$P$中的顶点相交的家庭包含最多$(\frac{1}{4}+o(1))\binom{n}{3}$三角形。
2021-02-18 cs.DM math.CO
Partial covering arrays and a generalized Erdos-Ko-Rado property
经典的Erd \H os-Ko-Rado定理指出,如果$k\le\floor{n/2}$,则$[n]=\{0,1,...,n\}$的最大的成对相交$k$ -子集族的大小为${{n-1}\choose{k-1}}$。满足这种两两相交性质的$k$子集族称为EKR族。我们推广的EKR属性,并提供渐近下界的最大家庭${\cal A}$的$k$ -子集的$[n]$,满足以下属性的大小:对于每个$A,B,C\in{\cal A}$,每个四个集合$A\cap B\cap C;A\cap B\cap C^C; A\cap B^C\cap C; A^C\cap B\cap C$是非空的。这种广义EKR(GEKR)属性的动机,建议推广,并与固定重量3覆盖阵列的比较。我们的技术是概率性的。
2005-12-06 math.CO
Extremal cross $t$-intersecting families under $t$-covering number constraints for vector spaces
Beijing Normal University(北京师范大学)
本文针对有限域上向量空间的交叉t-相交族,在两族各自交空间维数均小于t的约束下,确定了使两族大小乘积取最大值的极值结构。
2026-08-04 math.CO
Erd\H os--Ko--Rado type results for partitions via spread approximations
Moscow Institute of Physics and Technology(莫斯科物理技术学院);St. Petersburg State University(圣彼得堡国立大学);Innopolis University(因诺波利斯大学)
本文针对分拆族的Erdős--Ko--Rado型问题,改进并推广了t-相交分拆族的已有结果,证明了足够大ℓ时分拆为等大ℓ部分的部分t-相交分拆族猜想,均应用传播近似技术。
2025-11-12 cs.DM math.CO
Setwise intersecting families of permutations
一个排列族$A \subset S_n$称为\emph{$t$-set-intersecting},如果对于任意两个排列$σ, π\in A$,存在一个$t$ -集$x$,其图像在两个排列下相同,即$σ(x)=π(x)$ .我们证明了如果$n$足够大依赖于$t$,则$S_n$中最大的$t$ -集相交置换族是$t$ -集的稳定子的陪集. $t=2$的病例由János Körner证实。它可以被看作是在[4]中证明的Deza-Frankl猜想的一个变体。我们的证明使用了与[4]类似的技术,即特征值方法,以及对称群的表示论,但证明的组合部分更难。
2019-12-05 math.CO math.RT