A simple proof of the non-uniform Kahn-Kalai conjecture
本文给出非均匀 Kahn-Kalai 猜想的一个简单证明,适用于非均匀乘积测度,对接近 1 的采样概率给出近最优界,并得到 $p_c \leq 4q_c \log_2(7\ell)$ 的干净界。
2023-06-21 math.CO
On the counterexamples to Borsuk's conjecture by Kahn and Kalai
在他们1993年发表的著名论文的结论中,杰夫·卡恩和吉尔·卡莱特别写道:“我们的构造表明,博苏克猜想对d = 1,325和对任何d > 2014都是错误的。但是,正如Bernulf Weiszbach在他2000年的论文中所说的那样,一个简单的计算(对于上流社会的袖珍计算器来说只有几个步骤)表明,对于d=1325,这种说法是不正确的。威廉·克雷奇默(得克萨斯大学)给我发来了他对卡恩和卡莱论文的评论,特别指出在计算中使用的公式的推导忽略了某个方面,这样就错过了从公式中删除最后一个减半的机会,并确实提供了一个证明,即某个点集是1325维的反例(以及所有更高的维度,直到1560)。这篇更新的文章仔细研究了这个推导,给出了一个自己的,更详细和正式的版本,提供了改进/更正的公式,并包含一些进一步的结论。
2018-10-11 math.CO math.MG
When do the Kahn-Kalai Bounds Provide Nontrivial Information?
本文探讨了 Kahn-Kalai 界(即 Park-Pham 定理)何时能提供非平凡信息,给出了上界小于 1 的若干必要条件和充分条件,并证明了极小元素数量与覆盖大小须无限增长的强必要条件。
2025-03-06 math.CO
A counterexample to the DeMarco-Kahn Upper Tail Conjecture
给定一个固定的图H,在二项随机图G_{n,p}中,H的拷贝数X_H至少是其均值的两倍的概率(指数小)是多少?自20世纪90年代中期以来,这个所谓的臭名昭著的上尾问题一直是集中不平等的一个具有挑战性的测试平台。在2011年,DeMarco和Kahn提出了一个有趣的猜想:当ε>0时,\Pr(X_H \ge(1+ε)\E X_H)的指数衰减率。我们表明,这个上尾猜想是假的,通过展示一个无限的家庭的图违反了约束。
2019-06-03 math.CO math.PR
On Kahn's flow conjecture
Mathematical Institute, University of Oxford(牛津大学数学研究所)
本文证明了Kahn的流猜想,该猜想是Chvátal关于下集最大相交子族猜想的强化形式,解决了该领域的核心问题。
2026-09-22 math.CO
Kalai's conjecture in $r$-partite $r$-graphs
Kalai证明了:每一个边数大于$\frac{t-1}{r} {n \choose r-1}$的$n$ -顶点$r$ -一致超图都包含所有具有一定大小$t$的紧$r$ -树.证明了关于$r$ -部$r$ -一致超图的Kalai猜想.我们的结果是渐近最好的可能,以取代长期$\frac{t-1}{r}$与长期$\frac{t-r+1}{r}$。我们应用我们的主要结果在图中显示的上界的Turán数的树。
2019-12-24 math.CO
Kalai's $3^{d}$ conjecture for unconditional and locally anti-blocking polytopes
本文证明Kalai的$3^d$猜想在无条件与局部反阻塞多胞形两类特例中成立,且最小值恰由Hanner多胞形取得。
2024-04-21 cs.DM math.CO math.MG
Kalai's flag conjecture for locally anti-blocking polytopes
该研究针对局部反块多面体类证明了Kalai完全旗猜想,同时明确了等号成立的充要条件为该多面体是(广义)Hanner多面体,推进了多面体组合学相关研究。
2025-10-30 math.CO math.MG
On a conjecture by Kalai
证明了二次生成的单项理想满足Eisenbud,Green和Harris的一个猜想.特别地,通过证明旗Cohen-Macaulay单纯复形的$h$ -向量是Cohen-Macaulay平衡单纯复形的$h$ -向量,部分回答了Kalai的一个猜想.
2012-12-15 math.AC math.CO
Proof of the Kalai-Meshulam conjecture
设$G$是一个图,$f_G$是$(-1)^{|A|}$在所有稳定集$A$上的和.如果$G$是长度可被3整除的循环,则为$f_G= \pm 2$。出于拓扑考虑,G. Kalai和R. Meshulam猜想:如果图$G$的诱导圈的长度都不能被3整除,则$|f_G|\le 1$ .我们证明了这个猜想。
2018-09-28 math.CO
Subword Complexes and Kalai's Conjecture on Reconstruction of Spheres
多面体理论中的一个著名定理指出,单纯多面体的组合类型完全由它的面脊图决定。这一著名的结果在1987年被Blind和Mani证明,通过使用同调论的拓扑工具的非构造性证明。不久之后,卡莱给出了一个优雅的建设性证明。在他们的论文中,Blind和Mani询问他们的结果是否可以扩展到单纯球,Kalai在2009年给出了肯定的答案。在本文中,我们证明了Kalai猜想在Knutson和Miller的球形子字复形的特殊情况下成立。这类单纯球面是在考克斯特群的背景下产生的,并且被证明是多面体。相反,并非所有流形都是可重构的。我们给出了两个明确的例子,即环面和射影平面。
2022-06-30 math.CO
On Kalai's conjectures concerning centrally symmetric polytopes
Kalai在1989年提出了中心对称凸多胞体的面数强度递增的三个定理A、B、C。最弱的猜想A被称为"$3^d$ -猜想“。众所周知,这三种结构在尺寸d \leq 3中保持不变。我们发现,在4维只有猜想A和B是有效的,而猜想C失败。此外,我们表明,在所有尺寸d \geq 5的结构B和C失败。
2007-09-30 math.CO math.MG
On the topological Kalai-Meshulam conjecture
Chudnovsky,Scott,Seymour和Spirkl最近证明了Kalai和Meshulam的一个猜想,即一个没有长度可被3整除的诱导圈的图的独立复形的约化欧拉示性数在{-1,0,1}中。戈蒂埃早些时候已经证明,假设没有周期的长度,诱导或不。Kalai和Meshulam还提出了一个更强的拓扑猜想,即总贝蒂数在{0,1}中。为此,我们证明了一个更强的声明,在相同的设置戈蒂埃:独立复合体是可收缩的或同伦等价的领域。我们推测,它也适用于一般的设置。
2020-09-23 math.AT math.CO math.GT
On Kahn's basis conjecture
1991年,卡恩提出了以下猜想。对于任何$n$维向量空间$V$和$V$的$n^2$碱基的任何$n\times n$阵列,可以从这些碱基中的每一个中选择代表向量,使得来自每行的代表形成基,并且来自每列的代表也形成基.罗塔基猜想可以被看作是卡恩猜想的一个特例,其中对于每一列,该列中的所有基都是相同的。最近,作者表明,在设置罗塔的基础猜想,它是可能的,以找到合适的代表在$\left(1/2-o\left(1\right)\right)n$的行。在这个同伴注意到,我们给我们的论点,概括这一结果的设置卡恩猜想略有修改。我们的结果也适用于更一般的设置拟阵。
2018-10-17 math.CO
A note on Kalai's $3^d$ Conjecture
本文研究了 Kalai 于 1989 年提出的关于中心对称 $d$ 维凸多胞体至少有 $3^d$ 个面的猜想,并在存在 $d$ 个法向量正交的超平面使得该多胞体关于它们均对称的条件下证明了该猜想成立。
2023-08-05 math.CO math.DG
Tverberg cores and Kalai's cascade conjecture
Baruch College, City University of New York(纽约市立大学巴鲁克学院)
本文研究了Kalai级联猜想的拓扑类比,证明了在特定条件下,删除任意t个顶点后仍存在r-Tverberg点,并验证了有限点集的级联猜想。
2026-05-20 math.AT math.CO
Edge-isoperimetric inequalities and influences
我们给出了一个组合证明的结果Kahn,Kalai,和Linial,其中指出,每一个平衡的布尔函数的$n$维布尔立方体有一个变量的影响,至少欧米茄(\frac{log n}{n})。证明的方法,然后用于恢复额外的等周结果的立方体,改进的常数。本文还对最佳常数作了一些说明,并讨论了它们可能的含义
2005-12-29 math.CO
Proof of the Kahn Saks Conjecture
University of Southern California(南加州大学)
本文证明了 Kahn-Saks 猜想:当偏序集宽度足够大时,平衡系数可任意接近 1/2,并给出更强的结构定理,指出大宽度迫使出现近似均匀或几乎固定的序构型。
2026-09-28 cs.DM math.CO
Influential coalitions for Boolean Functions
我们改进了Kahn,Kalai和Linial在80年代后期关于布尔函数存在有影响力的大联盟的结果,并且我们给出了反例(Benny Chor等人)也是在80年代后期,通过展示相对于函数的期望,大联盟的影响出乎意料地小的函数。新的上界和下界之间的巨大差距为进一步的研究留下了很大的空间。
2014-09-10 math.CO
Towards a Proof of the Fourier--Entropy Conjecture?
The total influence of a function is a central notion in analysis of Boolean functions, and characterizing functions that have small total influence is one of the most fundamental questions associated with it. The KKL theorem and the Friedgut junta theorem give a strong characterization of such functions whenever the bound on the total influence is $o(\log n)$ . However, both results become useless when the total influence of the function is $ω(\log n)$ . The only case in which this logarithmic barrier has been broken for an interesting class of functions was proved by Bourgain and Kalai, who …
2020-05-07 cs.DM math.CO
Some remarks on hypergraph matching and the Füredi-Kahn-Seymour conjecture
本文研究Füredi-Kahn-Seymour猜想,证明其对秩3超图成立,并给出迭代舍入算法的改进界,优于基线保证。
2022-03-08 cs.DS math.CO
Kalai's Conjecture for Tight Trees
University of Illinois, Chicago(伊利诺伊大学芝加哥分校);University of California, San Diego(加州大学圣地亚哥分校)
本文证明了对紧树 $T$,不含 $T$ 的 $r$-一致超图的边数受其影子约束,确立了 Kalai 猜想($r=2$ 时为 Erdős-Sós 猜想),证明由 GPT-6 Astra 给出,并推广至超图情形。
2026-09-09 math.CO
A second moment proof of the spread lemma
本文涉及一个著名的结果,我们称之为“扩展引理”,它建立了在一个随机集中存在(具有高概率)一个所需的结构。传播引理是最近两个著名结果的核心:(a)Alweiss,Lovett,Wu和Zhang(2019)对Erdens-Rado向日葵猜想的改进边界;(b)Frankston,Kahn,Narayanan和Park(2019)对分数Kahn-Kalai猜想的证明。虽然引理最初是通过精细的计数论证证明的(后来又得到了改进),但通过香农的无噪声编码定理(Rao,2019)以及香农熵界的操纵(Tao,2020)也给出了替代证明。在本说明中,我们提出了一个新的证明的传播引理,利用明确的重铸证明的语言贝叶斯统计推断。我们表明,从这个角度来看,在一个简单的和原则性的概率的方式进行证明,导致截断二阶矩计算得出结论的证明。该证明也可以被视为Achlioptas和Coga-Oghlan(2008)在随机约束满足问题研究中引入的“种植技巧”的演示。
2022-10-10 cs.DM math.CO math.PR
Hypergraphs not containing a tight tree with a bounded trunk ~II: 3-trees with a trunk of size 2
一个紧$r$树$T$是一个$r$-均匀超图,它有一个边序$e_1, e_2, \dots, e_t$,使得对于每个$i\geq 2$,$e_i$有一个顶点$v_i$不属于任何先前的边,并且对于某些$j<i$,$e_i-v_i$包含在$e_j$中. Kalai在1984年证明了:每一个具有多于$\frac{t-1}{r}\binom{n}{r-1}$条边的$n$-顶点$r$-一致超图都包含每一个具有$t$条边的紧$r$-树$T$.紧$r$树$T$的主干$T'$是$T$的紧子树$T'$,使得$V(T)\setminus V(T')$中的顶点是$T$中的叶子。Kalai猜想在1987年被证明是紧$r$-树的树干尺寸为1。在以前的文件中,我们证明了一个渐近版本的卡莱猜想的所有紧$r$-树,有界大小的树干。在本文中,我们继续工作,以建立确切的形式卡莱猜想的所有紧$3$-树,至少$20$边缘,有一个树干的大小为2。
2019-02-01 math.CO
Hypergraphs not containing a tight tree with a bounded trunk
一个$r$ -一致超图是一个紧$r$ -树,如果它的边可以排序,使得每一条边$e$都包含一个不属于任何前面边的顶点$v$,并且集合$e-v$位于某个前面边中. Kalai [Kalai]的一个猜想,推广了树的Erdens-Sós猜想,断言如果$T$是一个有$t$边的紧$r$ -树,而$G$是一个不包含$T$副本的$n$ -顶点$r$ -一致超图,则$G$至多有$\frac{t-1}{r}\binom{n}{r-1}$边。紧$r$树$T$的主干$T'$是紧子树,使得$T-T'$的每条边在$T'$的某条边中具有$r-1$顶点,并且在$T'$外部具有顶点。对于$r\ge 3$,这个猜想已被证明的唯一非平凡紧$r$ -树族是树干长度为1的$r$ -树族.我们的主要结果是一个渐近版本的Kalai猜想的所有紧树$T$有界的树干大小。这是从我们关于无$T$的$r$ -均匀超图$G$的大小的上界根据其阴影的大小得出的。对于至多有四条边的紧$r$ -树,我们也给出了Kalai猜想的一个简短证明.特别地,对于$3$ -一致超图,我们关于长度为$4$的紧路的结果蕴涵了Katona [Katona]的交阴影定理。
2017-12-12 math.CO
Reconstructing simplicial polytopes from their graphs and affine $2$-stresses
Kalai在1994年的一个猜想假定,对于任意的$2\leq k\leq \lfloor d/2 \rfloor$,单纯$d$ -多面体$P$的组合类型由$P$的$(k-1)$ -骨架(作为抽象单纯复形给出)以及$P$上的仿射$k$ -应力空间唯一确定。我们建立了这个猜想的第一个非平凡的情况,即$k=2$的情况。我们还证明了对于一般的$k$,Kalai猜想对$k$ -邻域多面体类成立.
2022-04-27 math.CO
Homomorphisms from the torus
我们提出了一个详细的概率和结构分析的一组加权同态从离散环面$\mathbb{Z}_m^n$,其中$m$是甚至,任何固定的图形:我们表明,相应的概率分布,这样的同态是接近的分布建设性地定义为一定的随机扰动的一些占主导地位的阶段。这有几个后果,包括解决方案(在一个强的形式),以插图的Engbers和高尔文和猜想的卡恩和公园。特殊情况包括独立集的数量和$\mathbb{Z}_m^n$(特别是离散超立方体)的正确$q$染色的数量的尖锐渐近性。我们给出了进一步的应用程序的高度函数和(广义)的秩函数的离散超立方体的研究和反驳的一个猜想Kahn和Lawrenz。对于证明,我们结合统计物理,熵和图形容器的方法,并利用等周和代数性质的环面。
2020-12-31 math.CO math.PR
Forbidden vector-valued intersections
我们解决了一个广义形式的猜想Kalai动机的尝试,以提高Borsuk的问题的界限。这个猜想可以粗略地理解为要求一个类似于Frankl-Rödl禁止相交定理的东西,其中集合相交是向量值的。我们发现,向量世界是丰富的令人惊讶的方式:特别是,卡莱的猜想是假的,但我们证明了一个更正的声明,基本上是最好的可能性,并适用于一个相当更一般的设置。我们的方法包括使用最大熵测度,VC维数,相依随机选择和一个新的积测度相关不等式。
2017-06-12 math.CO
Edge-colouring graphs with local list sizes
本研究针对图的边着色问题,将Kahn关于列表着色猜想渐近成立的定理推广至局部情形,同时给出线性$k$-均匀超图、对应着色等相关推广的局部版本,并通过加权结论统一推导所有结果。
2023-11-08 math.CO
Gorenstein rings through face rings of manifolds
研究了无边界同调流形模一般参数系的面环。计算了它的脚柱,并证明了这个环的一个特殊商是Gorenstein。这一事实是用来证明领域$g$ -猜想意味着其深远的推广(由于卡莱)流形的所有枚举后果。对于具有余维为2的面且其链包含多个顶点的同调流形,建立了Kalai流形$g$ -猜想的一个特例.
2008-06-05 math.AC math.CO
A Generalized Information-Theoretic Approach for Bounding the Number of Independent Sets in Bipartite Graphs
本文研究了用度分布表示的图中独立集个数的上界问题。对于二部正则图,Kahn(2001)利用信息论方法建立了一个紧的上界,他还建立了一般图的上界.最近Sah et al.(2019)使用不涉及信息论的不同技术证明了他的极限。这项工作的主要贡献是扩展卡恩的信息理论证明技术来处理不规则的二部图。特别是,当二部图的一侧是规则的,但另一侧可能是不规则的时,扩展的基于熵的证明技术产生了与Kahn(2001)和Sah等人(2019)证明的相同的边界。
2021-03-31 cs.IT math.CO math.IT
Affine stresses: the partition of unity and Kalai's reconstruction conjectures
本文提出了Kalai重构猜想的高维推广,证明了仿射$i$-应力空间在特定条件下决定仿射$1$-应力空间,并建立了仿射应力的单位分解定理。
2024-03-22 math.CO
A note on Borsuk's problem in Minkowski spaces
本文研究 Minkowski 空间中的 Borsuk 问题,指出 Kahn–Kalai 的反例构造可推广至所有 $\ell_p$ 空间,且其划分下界随 $p$ 增大而增强。
2023-07-19 math.CO math.MG
Transitive graphs in counterexamples to Karp's conjecture
卡普指出,所有非平凡单调图的性质都是回避的。这是证明了n一个素数的权力,和n=6,其中n是图的顶点数,由卡恩,萨克斯,和Sturtevant。我们给出了一个完整的描述,其中传递图包含在一个可能的反例时,n=10。
2005-12-17 math.AT math.CO
Face vectors of flag complexes
证明了Kalai和Eckhoff关于任意旗形复形的面向量也是某个平衡复形的面向量的猜想。
2006-05-26 math.CO
Second-order bounds on correlations between increasing families
Harris相关不等式指出布尔超立方体上的任何两个单调函数是正相关的。Talagrand \cite{Talcorr}开始了一系列的工作,以寻找定量版本的这一事实,提供了一个下界的相关性方面的影响的职能。一个著名的猜想Chvátal \cite{Chvatal}被Friedgut,Kahn,Kalai和Keller \cite{FKKK}发现等价于某种加强塔拉格兰德的界限,当其中一个函数是对映函数时成立(因此是$g(x) = 1-g(-x)$)。出于这一猜想,我们加强了一些这些界限的估计,也涉及到二阶傅里叶系数的功能。特别是,我们表明,由于Talagrand和由于凯勒,Mossel和森\cite{KMS14}的界限,对数因子可以取代其平方根时的功能是对映的。我们的证明遵循一个不同的路线比在文献中,并在高斯设置进行分析。
2019-12-25 math.CO math.FA math.PR
On the h-vectors of Cohen-Macaulay Flag Complexes
本文从Kalai的一个未发表的猜想和Eisenbud,Green和Harris的一个猜想出发,研究了Cohen-Macaulay的h-向量、旗单纯复形和单纯复形的面向量的若干问题。
2011-09-16 math.AC math.CO
The Number of Independent Sets in a Regular Graph
证明了n-顶点d-正则图的独立集个数至多为(2^{d+1} - 1)^{N/2d},其中对于完全d-正则二部图的不交并,该界是尖锐的.这解决了Alon在1991年和Kahn在2001年提出的一个猜想。Kahn证明了当图被假定为二部图时的界。我们给出了一个简短的证明,减少了一般情况下的二分的情况。我们的方法也适用于加权泛化,即,正则图的独立多项式的一个上界。
2009-09-18 math.CO
Evasiveness of Graph Properties and Topological Fixed-Point Theorems
许多图形属性(例如,连通性,包含一个完整的子图)是已知的难以检查。在决策树模型中,算法的成本是由它查询的图中的边的数量来衡量的。R.卡普在20世纪70年代初推测,所有单调图属性都是回避的--也就是说,任何计算单调图属性的算法都必须在最坏的情况下检查所有边。这个猜想还没有得到证实,但已经取得了很大的进展。从1984年Kahn,Saks和Sturtevant的工作开始,拓扑方法被应用于证明Karp猜想的部分结果。本文是这些拓扑方法的教程。我给一个完全独立的帐户的中央证明文件的卡恩,萨克斯,和Sturtevant,没有先验知识的拓扑假设。我还简要地回顾了一些关于回避的最新研究结果。
2013-06-07 cs.CC math.AT math.CO
Non-Vertex-Balanced Factors in Random Graphs
本文证明了Johansson,Kahn和Vu \cite{JKV}关于随机图\gnp中存在$H$因子的门限函数的猜想的一部分.我们证明了所猜测的门限函数对于任何未被其最稠密子图覆盖的图$H$都是正确的。我们还证明了\cite{JKV}的主要结果推广到多重图,有向图和多部模型。
2013-04-10 math.CO
The maximum number of complete subgraphs in a graph with given maximum degree
涉及图的子结构计数的极值问题在图论中有着悠久的历史。例如,根据Kahn-Zhao定理,$d$ -正则图中$n$顶点上的独立集的个数至多为$(2^{d+1}-1)^{n/2d}$。Galvin将正则性约束放宽到最小度条件,证明了对于$n\geq 2d$,具有$δ(G)\geq d$的图中的独立集的数目至多是$K_{d,n-d}$中的独立集的数目。本文给出了$d$ -正则图中独立集个数的一个下界,它反映了Kahn-Zhao定理中的上界.本文的主要结果是Galvin猜想的一个加强形式的证明,也包括$n\leq 2d$的情形。我们发现从$\complement{G}$的角度来解决这个问题是很方便的。换句话说,我们给出了一个图$G$在$n$顶点上的完全子图个数的上界,该上界对$Δ(G)\leq r$和$n$都有效。
2013-06-07 math.CO
Counting independent sets in regular hypergraphs
在顶点为$n$的$d$-正则$r$ -一致超图中,哪一个具有最多的独立集?虽然图的类似问题(最初由格兰维尔提出)现在已经很好地理解了,但甚至不清楚正确的一般猜想应该是什么;我们的目标是提出这样的概括。借贷的信任,我们的猜想,我们验证它的类内的“准二部”超图(广义的二部图,似乎自然在这种情况下)通过采用熵的方法卡恩。
2020-02-23 math.CO
A proof of the Upper Matching Conjecture for large graphs
我们证明了Friedland、Krop和Markström的“上匹配猜想”以及Kahn关于正则图中独立集的类似猜想对于所有足够大的图都是度的函数。也就是说,对于每一个$d$和每一个足够大的$n$可被$2d$整除,完全$d$ -正则二部图的$n/(2d)$副本的并集最大化了$n$顶点上的所有$d$-正则图上的每个$k$的独立集和大小为$k$的匹配的数量。为了证明这一点,我们利用集团展开的统计物理自旋模型的正则系综,我们给出了一些进一步的应用,这种方法的最大化和最小化的独立集的数量和匹配的给定大小的正则图给定的最小围长。
2021-07-29 math.CO
A proof of Chvátal's conjecture via a sharp correlation inequality
Nankai University(南开大学);Institute for Basic Science (IBS)(基础科学研究院);Shandong University(山东大学)
本文通过证明一个尖锐的相关不等式,证明了Chvátal关于遗传族最大相交子族为星的猜想,并给出了其相关性表述。
2026-09-17 math.CO math.FA math.PR
Closing the Random Graph Gap in Tuza's Conjecture Through the Online Triangle Packing Process
Zsolt Tuza的一个长期存在的猜想断言三角形覆盖数$τ(G)$至多是三角形填充数$ν(G)$的两倍,其中三角形堆积数$ν(G)$是$G$中边不相交三角形集合的最大尺寸,三角形覆盖数$τ(G)$是与所有三角形相交的边集合的最小尺寸。在本文中,我们证明了Tuza的猜想成立的Erdens-Rényi随机图$G(n,m)$的所有范围的$m$,关闭了以前已知的差距。(最近,这一结果也被Jeff Kahn和Jinyoung Park独立证明。我们采用一个随机贪婪的过程,称为在线三角包装过程中产生的三角包装$G(n,m)$和分析这个过程中使用的微分方程方法。
2020-07-08 math.CO
Examples and counterexamples for Perles' conjecture
d维简单凸多胞体的组合结构可以从其抽象图中重建[Blind & Mani 1987,Kalai 1988]。然而,没有多项式/有效的算法是已知的这个任务,虽然多项式检查证书的正确重建被发现[Joswig,Kaibel和Koerner 2000]。一个强得多的证明将由M. Perles:“简单d-多面体的图的小面子图恰好是所有(d-1)-正则的、连通的、诱导的、非分离的子图”[Perles 1970]。我们给出了例子的有效性Perles猜想:特别是,它适用于循环多面体的循环,并为堆叠多面体的循环。另一方面,我们确定了一个拓扑障碍,必须存在于任何反例Perles猜想,因此,开始与修改的“Bing的房子”,我们构建明确的4维反例。
2001-07-19 math.CO
Variance vs. range for linear extensions, and balancing extensions in posets of bounded width
本研究证明Kahn-Saks关于大宽度偏序集存在平衡元素对的猜想,可推广至仅存在大量与某元素不可比元素的情况,还借此简化证明了Young图排序概率相关结果及其高维推广。
2025-10-30 math.CO
The number of independent sets in an irregular graph
在解决Kahn猜想(2001)的基础上,证明了无孤立点图$G$中独立集个数$i(G)$的上界:\[ i(G) \le \prod_{uv \in E(G)} i(K_{d_u,d_v})^{1/(d_u d_v)}, \]其中$d_u$是$G$中点$u$的度.当$G$是完全二部图的不交并时,出现相等。Kahn和Zhao以前证明了正则图的不等式。我们还证明了一个类似的紧下界:\[ i(G) \ge \prod_{v \in V(G)} i(K_{d_v+1})^{1/(d_v + 1)}, \]的平等发生$G$一个不相交的联盟的集团。更一般地说,我们证明了这些数量的加权版本的界限,即,独立集多项式,或者等价地,在图上具有给定逸度的硬核模型的分拆函数。
2019-01-28 math.CO
The homotopy type of the independence complex of graphs with no induced cycles of length divisible by $3$
我们证明了Engström的猜想,没有诱导圈长度可被$3$整除的图的独立复形是可收缩的或同伦等价于一个球。我们的结果加强了Zhang和Wu的一个结果,验证了Kalai和Meshulam的一个猜想,即这样的图的独立复形的总贝蒂数至多为$1$ . Chudnovsky、Scott、Seymour和Spirkl证明了一个较弱的猜想,他们证明了在这样的图中,偶数大小的独立集的个数减去奇数大小的独立集的个数的值为$0$、$1$或$-1$。
2022-03-08 math.AT math.CO
A new method for enumerating independent sets of a fixed size in general graphs
我们开发了一种新的方法,枚举独立的一个固定大小的一般图集,我们用这种方法表明,猜想Engbers和Galvin持有的所有,但许多图。我们也用我们的方法证明了Kahn猜想的特殊情况。此外,我们表明,我们的方法是特别有用的计算一般正则图和摩尔图的小尺寸的独立集的数量,我们认为,它可以用于在许多其他情况下,当处理有许多结构限制的图形。
2014-12-29 math.CO
A Geometric Lower Bound Theorem
本文解决了Kalai关于单形多面体对凸体的逼近论与这些多面体及其复曲面簇的面数和本原贝蒂数之间的关系的一个猜想。证明使用了更高的和弦概念。进一步,对于C^2-凸体,给出了逼近多面体的g数的渐近紧下界,即它们与凸体的Hausdorff距离.
2016-02-17 math.CO math.MG
Induced subgraphs of graphs with large chromatic number. X. Holes of specific residue
图论中的大量研究涉及到大色数图的诱导子图,特别是哪些诱导圈必出现。在本文中,我们统一和大量推广的结果,从以前的一些文件,表明,对每一个正整数k,每个图具有大的色数包含一个大的完全子图或诱导圈的所有长度模k。作为应用,我们证明了Kalai和Meshulam在20世纪90年代提出的将图的色数与其独立复形的同调联系起来的两个定理.
2018-12-04 math.CO
Sharp thresholds for spanning regular subgraphs
本文证明了 $G(n,p)$ 中出现 Hamilton 圈平方的锐阈值,并求出了与固定 $d$-正则图同构的支撑子图阈值的精确渐近性,证实了相关猜想。
2025-06-25 math.CO
Simultaneous edge-colourings
本研究推广Vizing定理,针对同时为多个图边着色的问题,给出了渐近最优的颜色数界,解决了相关猜想,并扩展到列表设置。
2024-11-06 math.CO