On union-closed families with prescribed number of $k$-sets
New Uzbekistan University(新乌兹别克斯坦大学)
本文研究并封闭族中大小至少为 n 的成员最小数量问题,证明 Leck--Roberts--Simpson 加权猜想在多个条带和条件下成立,并给出充分界。
2026-09-11 math.CO
Linear independence over naturally-ordered semirings with applications to dimension arguments in extremal combinatorics
本文研究具有差异并集性质的子集族最大规模问题,通过引入差序半环及其半模线性独立性定义,证明其具有与向量空间相同的极大性且可高效检测,从而扩展了极值组合学中的维数论证并直接解答了相关问题。
2024-09-20 math.CO math.RA
On the number of union-free families
一个集合族是无并集的,如果族中没有三个不同的集合使得其中两个集合的并集等于第三个集合。Kleitman证明了每一个无并集的族的规模至多为$(1+o(1))\binom{n}{n/2}$。后来,Burosch-Demetrovics-Katona-Kleitman-Sapozhenko要求的数字$α(n)$这样的家庭,他们证明,$2^{\binom{n}{n/2}}\leq α(n) \leq 2^{2\sqrt{2}\binom{n}{n/2}(1+o(1))}$。他们证明,常数$2\sqrt{2}$可以从右手边的指数中删除。我们证明了他们的猜想制定一个新的容器型定理的根超图。
2016-01-14 math.CO
Tight Chromatic Upper Bound for {3 Times K1, {2 Times K1 + (K2 UNION K1)}-free Graphs
寻找(3倍K1)-free图的χ的最优上界问题仍然是一个开放的、相当困难的问题。Choudum等人证明了{3 Times K1,{2 Times K1 +(K2 UNION K1)}-free图的χ的上界为2ω.我们通过证明如果G是{3 Times K1,{2 Times K1 +(K2 UNION K1)}-free的,则当ω不等于5时,χ小于或等于3ω除以2,当ω = 5时,χ小于或等于8,其中ω是G中最大团的大小.我们也给出了极值图的例子。
2015-04-26 math.CO
Union-Free Families of Subsets
本文讨论了集合$[n] = \{ 1, 2, ..., n\}$中有多少个非空子集可以被选择,使得没有一个被选择的子集是其他一些被选择的子集的并集的问题。设$M(n)$为我们可以选择的子集的最大数量。我们构建了一系列这样的家庭,这导致了$M(n)$的下界。我们还给出了$M(n)$的上界。最后,我们对$M(n)$下界的紧性提出了几点说明。
2015-10-31 math.CO
Sharp asymptotic bounds for uniform union-free hypergraphs
Research Center for Mathematics and Interdisciplinary Sciences, Shandong University(山东大学数学交叉科学研究中心);Extremal Combinatorics and Probability Group (ECOPRO), Institute for Basic Science (IBS)(韩国基础科学研究院极值组合与概率组);Frontiers Science Center for Nonlinear Expectations, Ministry of Education(教育部非线性期望前沿科学中心)
本文研究了统一自由超图的极限函数,确定了在几乎所有t≥3和r≥3的情况下,U_t(n,r)的渐进行为,扩展了该极值函数的理解。
2026-07-31 math.CO
Extremal graphs for disjoint union of stars and paths
School of Mathematics and Statistics, Shandong University of Technology(山东理工大学数学与统计学院)
本文针对足够大的n,刻画了F为路与星不交并时n阶边数最多的F-无图,推广了已有相关研究结果。
2026-08-18 math.CO
Non-Crossing Perfect Matchings and Triangle-Free Geometric Graphs
我们研究的极值型问题所产生的问题:什么是边不相交的非交叉完美匹配的最大数量的一组S的2n个点在平面上,使他们的工会是一个三角形的几何图?我们通过考虑S的四种不同情况来处理这个问题。特别地,在一般位置上,我们得到了(i)在一般位置上存在n个边不交的非交叉完美匹配且其并为极大无三角形几何图的充分条件,以及(ii)边不交的非交叉完美匹配且其并为无三角形几何图的个数的下界.
2017-09-13 math.CO
Cliques in the union of $C_4$-free graphs
设$B$和$R$是两个顶点集为$V$的简单图,$G(B,R)$是顶点集为$V$的简单图,其中两个顶点相邻,如果它们在$B$和$R$中的至少一个中相邻。证明了:如果$B$和$R$是同一顶点集$V$上的两个$C_4$ -free图,且$G(B,R)$是完全图,则在$B$和$R$中存在一个$B$-团$X$,一个$R$-团$Y$和一个团$Z$,使得$V=X\cup Y\cup Z$ .此外,如果$x\in Z$,则$x$是$G(B,R)$中某个双$C_5$的顶点之一。特别地,如果$G(B,R)$也不包含双$C_5$,则$V$服从。本文证明了:如果$B$和$R$是$C_4$ -free图,则有$ω(G(B,R))\leq ω(B)+ω(R)+\frac{1}{2}\min(ω(B),ω(R))$和$ω(G(B,R))\leq ω(B)+ω(R)+ω(H(B,R))$,其中$H(B,R)$是顶点集为$V$的简单图,如果两个顶点在$B$和$R$中相邻,则它们是相邻的.
2015-11-27 math.CO
Validity of Borodin & Kostochka Conjecture for a Class of Graphs
Borodin和Kostochka证明了:如果图的最大度大于或等于9,则图的色数小于或等于ω的最大值和最大度减1.本文证明了这个猜想对于{P3 UNION K1}-free图和{K2 UNION complement of K2}-free图是成立的。
2017-05-09 math.CO
Fast Decoding of Union-free Codes
无并集码和析取码是两种组合结构,用于非自适应分组测试,通过执行最小测试次数$t$,在$n$样本中找到一组$d$缺陷元素。已知无并集码具有更大的速率,而析取码提供更有效的解码算法。在本文中,我们介绍了一个新的非自适应群测试与快速解码的代码。这些码的码率比析取码的码率大,而译码算法的复杂度与析取码相同。此外,我们推导出一个下界的情况下,$d=2$缺陷,这是显着优于析取代码的界限,几乎一样好的工会自由码的界限的新代码的速度。
2022-01-12 cs.IT math.CO math.IT
Maximal Symmetric Difference-Free Families of Subsets of $[n]$
在\cite{FF}中研究了$[n]=\{1,... n\}$子集的无并集族。本文给出了$[n]$的极大无{ \it对称差}子集族的一个完整刻画.
2010-10-13 math.CO
Linear $χ$-binding functions for $\{P_3\cup P_2, gem\}$-free graphs
本文研究了 $(P_3\cup P_2)$-free 图的线性子族,证明了 $\{P_3\cup P_2,gem\}$-free 图类允许 $f=2ω$ 作为线性 $χ$-结合函数,并给出了最优结合函数的下界及紧性示例。
2023-05-19 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
An Upper Bound on the Sizes of Multiset-Union-Free Families
设$\mathcal{F}_1$和$\mathcal{F}_2$是一个$n$ -元集合的两个子集族.如果对于任何$A,B\in \mathcal{F}_1$和$C,D\in \mathcal{F}_2$,多集$A\uplus C$和$B\uplus D$不同,除非$A = B$和$C= D$都不同,我们说$\mathcal{F}_1$和$\mathcal{F}_2$是无多集并的。本文给出了多集并自由对的最大尺寸的一个新的上界,改进了Urbanke和Li的一个结果。
2014-12-29 cs.DM cs.IT math.CO
Extremal graphs for disjoint union of vertex-critical graphs
该研究刻画了同色数顶点临界图不交并在存在真序条件下的n阶边数最多的禁图结构,解决了Xiao与Zamora提出的奇轮不交并极图猜想。
2025-02-21 math.CO
Maximum number of sum-free colorings in finite abelian groups
有限阿贝尔群$G$的子集$A$的$r$ -着色称为无和,如果它不诱导单色Schur三元组,即,三元组元素$a,b,c\in A$与$a+b=c$。我们研究了$G$的子集所允许的最大无和$r$ -着色数$κ_{r,G}$,并且我们的结果显示了$κ_{r,G}$与$G$的最大无和集之间的密切关系.给定一个足够大的$I$型阿贝尔群$G$,即,$|G|$有一个素因子$q$和$q\equiv 2\pmod 3$。对于$r=2,3$,我们证明了一个子集$A\subset G$达到$κ_{r,G}$当且仅当$A$是$G$的最大和自由集。对于偶数阶$G$,结果扩展到$r=4,5$,其中只有当$G$具有唯一的最大和自由集时,该现象才持续。相反,如果$G$中的最大自由和集不是唯一的,则$A$达到$κ_{r,G}$当且仅当它是两个最大自由和集的并集(在$r=4$的情况下)和三个(“独立”)最大自由和集的并集(在$r=5$的情况下)。我们的方法依赖于所谓的容器方法,并可以扩展到更大的$r$的情况下$G$是偶数阶,并包含足够多的最大和自由集。
2017-10-23 math.CO
A note on two orthogonal totally $C_4$-free one-factorizations of complete graphs
完全图$K_n$的一对正交一因子分解$\mathcal{F}$和$\mathcal{G}$是完全无$C_4$的,如果对任何$F,G\in\mathcal{F}\cup\mathcal{G}$,并$F\cup G$不包含长度为4的圈.本文证明了如果$q\equiv3$(mod 4)是$q\geq11$的素数幂,则存在$K_{q+1}$的一对正交的完全无$C_4$的一因子分解.
2020-07-17 math.CO
Planar Turán number of disjoint union of $C_3$ and $C_5$
本文研究平面图中禁止 $C_3$ 与 $C_5$ 不交并时的最大边数问题,确定了平面 Turán 数 $ex_{\mathcal{P}}(n,C_3\cup C_5)=\lfloor\frac{8n-13}{3}\rfloor$,并在 $n$ 充分大时刻画了极图结构。
2025-07-22 math.CO
Hadwiger's Conjecture for $\{\text{co-claw}, \text{co-gem}\}$-free graphs and $\{\text{fork}, \text{antifork}\}$-free graphs
Princeton University(普林斯顿大学);Monash University(蒙纳士大学)
本文证明了哈德维格猜想对 $\{\text{co-claw}, \text{co-gem}\}$-自由图和 $\{\text{fork}, \text{antifork}\}$-自由图成立,并给出了更强的结构结果。
2026-05-27 math.CO
Asymptotically sharp bounds for cancellative and union-free hypergraphs
本文研究了 $t$-可消去与 $t$-并自由超图的最大边数,利用超图装填框架与新颖计数论证,将 $C_{2(t-1)}(n,tk)$ 和 $U_{t+1}(n,tk)$ 的渐近性确定到低阶项,得到了渐近紧致界。
2024-11-12 math.CO
Sumsets as unions of sumsets of subsets
令$S$和$T$是$\mathbf{F}_q^n$的子集。我们证明了存在$S$的子集$S'$和$T$的子集$T'$,使得$S+T$是$S+T'$和$S'+T$的并集,其中$|S'| + |T'|$被具有$c < q$的$c^n$包围。证明依赖于Croot-Lev-Pach和Ellenberg-Gijswijt关于帽集问题的方法,以及Meshulam关于低秩矩阵线性空间的结果。结果是作者和其他人最近关于(单色和多色)和自由集的界的适度推广。
2017-09-07 math.CO math.NT
On the size of identifying codes in triangle-free graphs
在无向图$G$中,一个子集$C\subseteq V(G)$,使得$C$是$G$的支配集,并且$V(G)$中的每个顶点都被来自$C$的一个不同的顶点子集支配,称为$G$的标识码。识别码的概念是由Karpovsky,Chakrabarty和Levitin在1998年提出的。对于给定的可识别图$G$,令$\M(G)$是$G$中的识别码的最小基数。本文证明了:对于任意连通可识别无三角形图$G$,$n$上的顶点具有最大度$Δ\geq 3$,$\M(G)\le n-\tfrac{n}{Δ+o(Δ)}$ .这个界限是渐近紧的常数,由于各种类别的图,包括$(Δ-1)$ -ary树,这是已知的有其最小识别码的大小$n-\tfrac{n}{Δ-1+o(1)}$。我们还提供了改进的限制性的无三角形图的子族的界限,并猜想存在一些常数$c$,使得界$\M(G)\le n-\tfrac{n}Δ+c$保持任何非平凡的连接可识别图$G$。
2012-06-29 cs.DM math.CO
Hamiltonicity of 3-tough $(K_2 \cup 3K_1)$-free graphs
Chvátal在1973年证明了存在一些常数$t$使得所有至少有三个顶点的$t$ -tough图都是Hamilton图。虽然这个猜想已经在一些特殊的图类中得到了证明,但它在一般情况下仍然是开放的。我们称一个图是$(K_2 \cup 3K_1)$ -free的,如果它不包含同构于$K_2 \cup 3K_1$的诱导子图,其中$K_2 \cup 3K_1$是一条边和三个孤立点的不交并.本文证明了每一个至少有三个顶点的3-tough $(K_2 \cup 3K_1)$ -free图都是Hamilton图。
2021-06-13 math.CO
Structure and enumeration of (3+1)-free posets (extended abstract)
一个偏序集是(3+1)-free的,如果它不包含长度为3和1的链的不交并作为导出子偏序集。这些偏序集是Stanley和Stembridge的(3+1)-free猜想的主题。最近,Lewis和Zhang列举了\emph{graded}(3+1)-free偏序集,但直到现在一般的计数问题仍然是开放的.通过对二部图的分解,我们得到了所有的(3+1)-free偏序集,并得到了顶点为标号和非标号的(3+1)-free偏序集的生成函数.
2013-05-07 math.CO
Interlacing Families IV: Bipartite Ramanujan Graphs of All Sizes
我们证明了存在任何度和顶点数的二部Ramanujan图。该证明基于分析随机完美匹配的联合的期望特征多项式,并且涉及三个成分:(1)一个正则图与另一个正则图的随机置换之和的期望特征多项式的公式,(2)证明了这个期望多项式是实根的,并且在这个和中考虑的多项式族是交错族,(3)随机完美匹配并的期望特征多项式的根的强界,利用我们最近引入的有限自由卷积的框架建立。
2015-05-29 math.CO
On some extremal and probabilistic questions for tree posets
本文研究树形偏序集 $P$(哈斯图为树且半径≤2)的极值与随机问题,证明 $P$-自由族数量为 $2^{(1+o(1))La(n,P)}$,证实相关猜想并推广随机Sperner定理,同时提出稳健包含的一般猜想。
2023-12-21 math.CO
Dimension-Free Bounds for the Union-Closed Sets Conjecture
本文进一步改进 Gilmer 的信息论方法,为 union-closed sets conjecture 推导出优化形式的新界,通过给出辅助随机变量的基数界使 Sawin 的隐式改进可计算,数值评估得到约 0.38234 的界。
2023-05-05 cs.IT math.CO math.IT
N-graphs, modular Sidon and sum-free sets, and partition identities
使用一个新的图形表示分区,作者获得了一个家庭的分区身份与分区成不同的部分的算术级数,或者,更一般地说,与分区成不同的部分的一组,这是一个有限的工会的等差数列与模块化的和免费西顿集。划分单位也构造与模块和自由集的集合。
2000-02-22 math.CO math.NT
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
The fundamental group of a locally finite graph with ends: a hyperfinite approach
端紧化|Γ|局部有限图的拓扑是图与其端点的并,并赋予适当的拓扑。我们证明了π_1(|Γ|)嵌入到一个具有超无穷多个生成元的非标准自由群中,即嵌入生成的自由群的超积中,并且通过嵌入到自由群的逆极限中构造因子,恢复了Diestel和Sprüssel的一个结果.
2012-03-29 math.CO math.GT math.LO