Isometric and induced path partitions: a new upper bound and a characterization of some extremal graphs
Charles University(查理大学);Indian Institute of Technology Dharwad(印度理工学院达瓦德分校);Universidad de Chile(智利大学)
研究图的等距路径划分数和导出路径划分数,证明连通图满足\(\text{indpp}(G) \leq \text{ipp}(G) \leq |V(G)| - \nu(G)\),并刻画了达到上界的极值图的结构特征。
2026-07-21 math.CO
Set partitions, tableaux, and subspace profiles under regular diagonal matrices
本研究引入一族以整数划分为索引的一元多项式,其在不同取值下可对应集合划分、标准表等组合对象计数,还可用于表示第二类q-Stirling数,部分情形下与已知组合多项式一致。
2024-09-16 math.CO
Irreducible subcube partitions
本文研究紧致不可约子立方体划分的极值性质,包括最小规模、权重、最大点数等,并探讨齐次划分的存在性及推广情形,提出相关猜想。
2026-09-09 math.CO
Heden's bound on the tail of a vector space partition
$\mathbb{F}_q^v$的向量空间划分是子空间的集合,使得每个非零向量包含在唯一元素中。在子情形下,我们改进了Heden关于向量空间划分中最小出现维数的元素个数的一个下界。为此,我们引入了$\mathbb{F}_q^v$中$k$ -子空间的$q^r$ -可除集的概念.通过几何论证,我们得到了这些对象的不存在性结果,从而推广了Heden的结果.
2018-05-09 math.CO
Covering arrays on graphs: qualitative independence graphs and extremal set partition theory
本文主要研究覆盖数组的推广,覆盖数组在图上的推广。Z_k^n中的两个向量v,w是定性独立的,如果对Z_k x Z_k中的所有序偶(a,b),向量中存在位置i,其中(a,b)=(v_i,w_i)。覆盖数组是一个具有任何一对行是定性独立的性质的数组。图的覆盖数组是指图的每个顶点都有一行的数组,且具有这样的性质:对应于邻顶点的任意两行是定性独立的。在覆盖数组中添加图结构使得使用图论的方法来研究这些设计成为可能。在这篇论文中,我们定义了一类图,称为定性独立图。一个图有给定参数的覆盖阵列,当且仅当存在从该图到一个特定的定性独立图的同态。定性独立图中的团与覆盖数组有关,独立集与相交划分系统有关。已知最优二元覆盖阵列的确切大小可以使用Sperner定理和Erdos-Ko-Rado定理来确定。由于一般覆盖阵列的行对应于集合划分,我们给出了Sperner定理和Erdos-Ko-Rado定理在集合划分系统中的推广。我们还考虑了一般定性独立图的一个子图,称为一致定性独立图。我们给出了这些图中的几个图的谱,并猜想它们是一个关联图。我们还给出了一个新的覆盖阵列的结构,它产生了许多新的最佳覆盖阵列的大小的上界。
2007-01-19 math.CO
Extremal Uniquely Resolvable Multisets
对于正整数$n$和$m$,考虑$[m]$的非空子集的多集,使得存在这些子集到$[m]$的$n$分区的\textit{unique}分区。我们研究了这样的多集的最大可能大小$g(n,m)$。我们专注于政权$n \leq 2^{m-1}-1$和显示,$g(n,m) \geq Ω(\frac{nm}{\log_2 n})$。当$n = 2^{cm}$为任何$c \in (0,1)$,这个下限简化为$Ω(\frac{n}{c})$,我们显示了一个匹配的上限$g(n,m) \leq O(\frac{n}{c}\log_2(\frac{1}{c}))$,这是最佳的$\log_2(\frac{1}{c})$的一个因素。我们也计算$g(n,m)$时,$n \geq 2^{m-1} - O(2^{\frac{m}{2}})$。
2022-08-31 math.CO
Freiman's theorem in finite fields via extremal set theory
利用极值集合论中的各种结果(用加法组合学的语言解释),我们证明了F_2 ^n中Freiman定理的一个渐近尖锐的版本:如果F_2 ^n中的A是一个集合,|A + A| <= K |A|则A包含在大小为2^{2K + O(\sqrt{K} \log K)} |A|的子空间中;除了O(\sqrt{K} \log K)错误,这是最好的可能。如果我们另外假设A是一个下集,那么我们也可以通过O(K^{46})个大小至多为|A|的坐标子空间的平移来覆盖A,从而在这种情况下验证了所谓的多项式Freiman-Ruzsa猜想。争论中的一个共同主题是压缩技术的使用。这些在极值集合论中早已熟悉,但在加法组合学文献中很少使用。
2007-03-22 math.CO math.NT
Spectral radius and clique partitions of graphs
我们给出了一个图的团划分的大小和总大小的下界,根据其谱半径和最小度,并推导出一个谱上界的最大数目的边不相交$t$ -团。达到界的极图分别是Steiner $2$ -设计的块图和具有$K_t$ -分解的正则图。
2021-11-04 math.CO
The de Bruijn-Erdos Theorem for hypergraphs
修复整数$n \ge r \ge 2$。${[n] \choose r}$的团划分是真子集$A_1, A_2, ..., A_t \subset [n]$的集合,使得$\bigcup_i{A_i \choose r}$是${[n] \choose r}$的划分。团划分与设计理论、编码理论、射影几何和极值组合学有关。令$\cp(n,r)$表示${[n] \choose r}$的团划分的最小大小。de Bruijn和Erd \H os的一个经典定理指出,$\cp(n, 2) = n$和也决定了极值位形。本文研究了$\cp(n,r)$,一般地证明了对于每个固定的$r \geq 3$,\[\cp(n,r) \geq (1 + o(1))n^{r/2} \quad \quad {as}n \to \infty.\].我们猜想了$\cp(n,r) = (1 + o(1))n^{r/2}$,并通过对无穷多个$n$给出了${[n] \choose 3}$的最优团划分的一个特征,证明了这个猜想对$r = 3$的很强意义.当$n = q^2 + 1$和$q$是素数幂时,我们证明了\[ \cp(n,3) = n\sqrt{n-1} \],并刻画了这些团划分的等价性.当$n = q^2 + q + r - 1$满足时,我们给出了一个绝对下界$\cp(n,r) \geq {n \choose r}/{q +…
2010-06-28 math.CO
Invariant synchrony subspaces of sets of matrices
通过根据等价关系使向量的某些分量相等来定义R^n的同步子空间。在给定的一组方阵下不变的同步子空间形成一个格。这些不变同步子空间的应用包括在图论的许多领域中使用的图的顶点的公平和几乎公平分区,耦合细胞网络的平衡和外平衡分区,以及Cayley图的陪集分区。我们研究了不变同步子空间的基本性质,并给出了许多应用实例。我们还提出了我们所谓的分裂和CIR算法找到不变的同步子空间的格。我们的理论和算法进一步推广到非方阵。这导致了战术分解的概念,研究其在设计理论中的应用。
2020-02-18 math.CO math.DS
Affine vector space partitions
本文研究仿射向量空间划分,确定小参数下的最小大小并枚举等价类,同时给出任意域大小的参数化构造。
2023-10-14 math.CO
The extremal function for structured sparse minors
令$c(H)$为最小值,对于该最小值,$e(G)/|G|\geq c(H)$暗示$H$是$G$的子式。我们展示了一个新的上界$c(H)$,这提高了以前的边界的图形与顶点分区,其中一些对的部分有更多的边缘比其他的-例如一个完全二部图与少量的边缘放置在一个类。我们还显示了几乎所有这样的图的紧匹配下界。我们应用这些结果来显示$c(K_{ft/\log t,t}) = (0.638\dotsc+o_{f}(1))t\sqrt{f}$,对于$f = o(\log t) = ω(1)$。
2021-10-15 math.CO
Partition-free families of sets
令$m(n)$表示不包含两个不相交集合及其并集的子集族的最大大小。1968年,Kleitman证明了$m(n) = {n\choose m+1}+\ldots +{n\choose 2m+1}$如果$n=3m+1$。证明了Kleitman的猜想,对$n=3m$和$n=3m+2$建立了同样的等式,并确定了所有的极值族.与$n=3m+1$的情形不同,极值族不是唯一的。这是我们的证明相对困难的一个貌似合理的原因。我们也彻底解决了几个家庭的问题。
2017-06-01 cs.DM math.CO
Edge-colorings of graphs avoiding complete graphs with a prescribed coloring
给定图$F$和整数$r \ge 2$,$F$的边集的划分$\widehat{F}$至多分成$r$类,以及图$G$,定义$c_{r, \widehat{F}}(G)$为$G$的边的$r$ -着色的数目,所述$G$的边不包含$F$的副本,使得由着色引起的边划分与$F$的边同构。我们认为$\widehat{F}$是应该避免的着色模式。主要的问题是,对于一个足够大的$n$,找到(极值)图$G$ $n$顶点最大化$c_{r, \widehat{F}}(G)$。这个问题推广了Erd{ \H o}s和Rothschild的问题,他们最初询问了不包含单色团的着色的数量(这等价于$F$是团并且分区$\widehat{F}$包含单个类的情况)。本文利用Hölder不等式和Zykov对称化证明了:对于任何$r \geq 2$,$k \geq 3$和团$K_k$的任何模式$\widehat{K_k}$,存在一个完全多部图是极值图.此外,如果模式$\widehat{K_k}$至少有两个类,除了两个非常小的模式(在三个或四个顶点上),每个极值图必须是一个完全多部图。在$r=3$和$\widehat{F}$是彩虹三角形的情况下(即,其中$F=K_3$和每个部分是单点的),我们证明了一个极图必须是几乎完全图.仍然为$r=3$,我们扩展了Alon,Balogh,Keevash和Sudakov的单色模式的结果,一些模…
2016-05-27 math.CO
Cross-intersection theorems for uniform partitions of finite sets
本文研究有限集 c-均匀划分中的交叉 t-相交族,证明乘积型极值结果,并刻画规模和最大的族,由此得到均匀集合划分的 EKR 与 Hilton-Milner 型定理。
2025-09-26 math.CO
On split graphs with four distinct eigenvalues
众所周知,直径$d$的图至少具有$d+1$特征值。我们称一个图为\emph{$d$-extremal},如果它的直径为$d$,特征值恰好为$d+1$。这类图已被许多作者深入研究。许多注意力已经投入到研究的图是极值关于这个关系:\emph{i.e}有直径$d$和确切$d+1$不同的特征值。一个图称为\emph{split},如果它的顶点集可以划分为一个团和一个独立集.这样的图的直径至多为$3$。我们得到了连通二度$3$ -极分裂图的一个完全分类。我们还展示了如何构建某些家庭的非bidegreed $3$ -极值分裂图。
2014-05-14 math.CO
An extremal problem on potentially $K_{p,1,1}$-graphic sequences
序列$S$是潜在$K_{p,1,1}$图形的,如果它有一个实现包含一个$K_{p,1,1}$作为子图,其中$K_{p,1,1}$是一个完全的3部图,其分区大小为$p,1,1$。令$σ(K_{p,1,1}, n)$表示使得每个具有$σ(S)\geq σ(K_{p,1,1}, n)$的$n$项图形序列$S$潜在地是$K_{p,1,1}$图形的最小度和。本文证明了$σ(K_{p,1,1}, n)\geq 2[((p+1)(n-1)+2)/2]$对于$n \geq p+2.$我们猜想等式对于$n \geq 2p+4.$成立我们证明了这个猜想对于$p=3$成立.
2006-07-07 math.CO
A common generalization of hypercube partitions and ovoids in polar spaces
本文定义统一极空间卵形体与超立方体子立方体划分的广义卵形体,并证明大秩极空间中不存在由 $k$-空间构成的此类结构。
2024-01-19 math.CO
Extremal properties for dissections of convex 3-polytopes
凸d-多面体的剖分是将多面体划分为顶点在多面体的顶点之间的d-单形。三角剖分是具有附加性质的剖分,其所有单形的集合形成单纯复形。剖分的大小是它所包含的d-单形的数量。本文比较了最大三角剖分与最大剖分。我们还表现出较低和上界的3-多面体的解剖的大小和分析极值大小的三角形为特定的非单纯多面体:棱镜,反棱镜,阿基米德固体,和组合d-立方体。
2000-12-18 math.CO math.MG
Combinatorial constructions of Schubert subspace codes
Université de Rennes(雷恩大学);University of Naples Federico II(那不勒斯费德里科二世大学);University of Zurich(苏黎世大学)
研究舒伯特子空间码,给出两类构造方法,一类利用环境空间直和分解等,另一类通过域约简,可在极值距离情况构造最大规模码,还证明了相关必要条件,恢复了已知构造。
2026-07-10 cs.IT math.CO math.IT