arXiv 1707.035562017-07math.COcs.DM

随机图k-核的核锻造与局部极限定理

Core forging and local limit theorems for the k-core of random graphs

Amin Coja-Oghlan, Oliver Cooley, Mihyun Kang, Kathrin Skubch

摘要：

我们建立了Erdos-Renyi图的k-核的阶数、大小以及其它参数的多元局部极限定理。的证明是基于一种新的方法来的k-核心问题，取代了细致的分析剥离过程中的生成模型的图形与一个给定的顺序和大小的核心。生成模型，这是由警告传播消息传递算法的启发，有利于直接研究的核心及其与地幔的连接的属性，因此应该在其本身的权利感兴趣。

英文摘要：

We establish a multivariate local limit theorem for the order and size as well as several other parameters of the k-core of the Erdos-Renyi graph. The proof is based on a novel approach to the k-core problem that replaces the meticulous analysis of the peeling process by a generative model of graphs with a core of a given order and size. The generative model, which is inspired by the Warning Propagation message passing algorithm, facilitates the direct study of properties of the core and its connections with the mantle and should therefore be of interest in its own right.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

关于分拆核的一个定理

A theorem on the cores of partitions

如果s和t是互素的正整数，我们证明了t-核划分的s-核也是t-核划分

2008-01-31math.CO

关于分拆的一个孙子剩余定理

A Chinese Remainder Theorem for Partitions

令$s,t$为自然数，并固定$s$ -核心分区$σ$和$t$ -核心分区$τ$。输入$d=\gcd(s,t)$和$m= lcm(s,t)$，并输入$N_{σ, τ}(k)$，表示长度不大于$k$的$m$ -core分区数，其$s$ -core为$σ$，$t$ -core为$τ$。我们证明了对于$k$大，$N_{σ, τ}(k)$是周期$m$和次数$\frac{1}{d}(s-d)(t-d)$的拟多项式.

2022-01-29math.CO

核心分区成不同的部分和一个类似的欧拉定理

Core partitions into distinct parts and an analog of Euler's theorem

Anderson的一个优美结果的一个特例证明了$(s,s+1)$ -核划分的个数是有限的，并且由Catalan数$C_s$给出。Amdeberhan最近证实，划分为不同部分的$(s,s+1)$核心分区的数量等于斐波那契数$F_{s+1}$。我们证明了这一猜想枚举，更一般地说，$(s,ds-1)$核心分区到不同的部分。我们通过将它们与嵌套的无孪生集的某些元组相关联来做到这一点。作为我们的结果的副产品，我们得到了一个双射分区成不同的部分和分区成奇数部分，这保持了周长（即，最大的部分加上部分的数量减去$1$）。欧拉定理的这个简单但奇怪的类比似乎在关于划分的文献中找不到。

2016-01-26math.COmath.NT

关于巨分支阶数和k-核的中心极限定理的简短证明

A short proof of a central limit theorem for the order of the giant component and $k$-core

Institute of Science and Technology Austria（奥地利科学技术研究所）；School of Mathematics, University of Birmingham（伯明翰大学数学学院）；Institute of Discrete Mathematics, Graz University of Technology（格拉茨工业大学离散数学研究所）；Department of Mathematics, London School of Economics（伦敦政治经济学院数学系）

研究用新简单方法证图参数中心极限定理，利用埃弗龙 - 斯坦因不等式，经边重采样稳定性组合分析，给出稀疏随机图巨分支阶数和k-核中心极限定理简短证明。

2026-07-15math.COmath.PR

带限制的同时核与Zaleski和Zeilberger问题

Simultaneous cores with restrictions and a question of Zaleski and Zeilberger

重要提示：这篇论文比我通常提交的要粗糙得多，也不完全完整，尽管主要的定理和证明应该不难理解。考虑到英国大学正在进行的罢工，我可能需要一段时间才能完成我满意的工作，同时，我分享过初稿的人希望能够参考它。因此，我以目前的形式上传它，稍后会更新它。本文的主要新结果是计算了具有奇数部分的（n，n+1）-核划分的个数，回答了Zaleski和Zeilberger的一个问题，并对OEIS做出了慈善性的贡献。在此过程中，我们证明了一个一般定理，给出了（n，n+1）-核心部分的递归，其最小部分和连续部分的差异被限制在任意集合M中。这个定理统一了许多已知的关于（n，n+1）-核划分的限制性结果。最后，我们讨论的一般定理，跟踪最大的一部分，部分的数量和大小的分区，以及一些情况下，相同的方法工作在更一般的同步核的扩展。

2018-02-26math.CO

核心分区的一般化

A generalisation of core partitions

假设$s$和$t$是互质的自然数。Olsson的一个定理说，一个$s$ -core分区的$t$ -core也是一个$s$ -core。我们推广了这个定理，证明了一个划分$λ$的$t$ -核的$s$ -权至多是$λ$的$s$ -权.然后，我们考虑一组$\mathcal C_{s:t}$的分区的平等持有，我们称之为$[s{:}t]$ -核心，这组有有趣的结构，我们希望它将是未来研究的主题。我们表明，一组$[s{:}t]$ -核心是一个联盟的许多轨道的行动的Coxeter群的类型$\tilde A_{s-1}\times\tilde A_{t-1}$上的分区。我们还考虑了用指定的$s$ -core和$t$ -core构造$[s{:}t]$-core的问题。

2014-05-12math.CO

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

广义合作博弈的斯卡夫定理

On Scarf's theorem for Generalized Cooperative Games

HSE University（高等经济大学）；Higher School of Mathematics, MIPT（莫斯科物理技术学院高等数学学院）；University of Texas Rio Grande Valley（德克萨斯大学里奥格兰德河谷分校）

本文研究非转移效用合作博弈的推广模型，引入核心与分数核心概念，证明分数核心非空等价于相关覆盖同伦非平凡，进而得到广义合作博弈的斯卡夫型定理。

2026-07-30math.CO

置换的适当集合、三元组的填充和Ramsey定理

Suitable sets of permutations, packings of triples, and Ramsey's theorem

如果在至少一个置换中每个符号在其他$t-1$的每个子集之前，则$\{1,2,\ldots,v\}$的一组$N$置换是$t$适合的。极值问题的确定最小尺寸$N$等集为给定的$v$和$t$是主题的经典研究由Dushnik在1950年和斯宾塞在1971年。Colbourn最近引入了合适的核心的概念作为等价对象的合适的置换集，并研究了确定最大的$v=\text{SCN}(t,N)$，使得一个合适的核心存在于给定的$t$和$N$的对偶问题。Chan和Jedwab证明，当$N=\lfloor\frac{t+1}{2}\rfloor\lceil\frac{t+1}{2}\rceil+l$，SCN $(t,N)$的值是渐近$\lfloor\frac{t}{2}\rfloor+2$，如果$l$是一个固定的整数。在本文中，我们改进了这一结果表明，这也是正确的，当$l=O(\ln t)$使用拉姆齐理论。当$v$大于$\lfloor\frac{t}{2}\rfloor+2$时，我们利用三元组填充给出了新的显式核构造，利用扩展Ramsey染色给出了新的随机核构造.

2018-08-08math.CO

有界核心划分与博雷-韦-博特定理

Bounded core partitions and Borel-Weil-Bott

University of Oregon（俄勒冈大学）

本文基于博雷-韦-博特定理，通过分析分解，提出两种计算相关Hodge数的公式，并引入新的整数钩积统计量和半标准 Young表，改进了Hodge数正性的已有界限。

2026-05-08math.AGmath.CO

可视团、三次容器和密集果园核心

Visibility cliques, cubic containers, and dense orchard cores

University of Toronto（多伦多大学）

本文研究了平面点集中的可视团和线性结构，证明了三次容器定理并结合Green-Tao定理，得出点集在无共线点时存在大可视团的结论，同时给出了密集果园核心引理和一个阻断例子。

2026-04-30math.COmath.MG

关于大树宽图的排除子结构定理

On the excluded minor structure theorem for graphs of large treewidth

在罗伯逊-西摩图子式理论的核心是一个强大的结构定理，它捕捉到，对于任何固定的图H，所有不包含H作为子式的图的共同结构特征。罗伯逊和西摩证明了这个定理的几个版本，每个版本都强调了在证明他们理论的主要结果（图小定理）的相应阶段所需的一些特定方面。我们证明了这个结构定理的一个新版本：一个旨在结合最大的适用性与最小的技术ado，这可能会作为一个规范的版本，为未来的应用程序在更广泛的领域图未成年人理论。我们的证明偏离了一个简单的版本证明明确罗伯逊和西摩。然后，它使用传统方法和新技术的组合，以获得其他版本的一些更微妙的功能，以及进一步有用的属性，大大简化了证明。

2011-12-12math.CO

随机四边形剖分及其核的联合收敛性

Joint convergence of random quadrangulations and their cores

证明了对于Gromov-Hausdorff-Prokhorov拓扑，一个均匀四边形，它的最大2-连通块和它的最大简单块在分布上联合收敛到同一个布朗映射。首先，我们推导出一个局部极限定理的渐近最大块大小，扩展的结果在\cite{BFSS}。随机四边形剖分的悬垂子映射的直径界直接导致格罗莫夫-豪斯多夫收敛。为了将收敛扩展到Gromov-Hausdorff-Prokhorov拓扑，我们证明了可交换的“一致渐近可忽略”的质量附件在极限下只会产生确定性的质量度量。

2016-04-28math.COmath.PR

同态复形与k-核

Homomorphism Complexes and k-Cores

证明了图同态复形Hom（$G,K_m$）的拓扑连通度至少为$m-D(G)-2$，其中$\displaystyle D(G)=\max_{H\subseteq G}δ(H)$ .这是Cukić和Kozlov定理的一个强推广，其中$D(G)$被最大度$Δ(G)$取代。将色数的图论界$\displaystyleχ(G)\leq D(G)+1$推广为$\displaystyleχ(G)=\min\{ m:\text{Hom}(G,K_m)\neq\varnothing\}$ .此外，我们使用这个结果来检查同调相变的随机多面体复合物Hom $(G(n,p),K_m)$时，$p=c/n$为一个固定的常数$c > 0$。

2016-02-13math.ATmath.CO

$t$-$(Δ+t)$的核心-边缘着色

$t$-cores for $(Δ+t)$-edge-colouring

将核（由最大度顶点导出的子图）的边染色概念推广到$t$ -核（由顶点$v$和$d(v)+μ(v)> Δ+t$导出的子图），并得到了$(Δ+t)$ -边染色的一个充分条件.特别是，我们表明，对于任何$t\geq 0$，如果$t$核心的$G$具有多重性在大多数$t+1$，其边缘的多重性$t+1$诱导多森林，然后$χ'(G) \leq Δ+t$。这扩展了Ore，Fournier，Berge和Fournier以前的工作。一个更强的版本，我们的结果（取代多森林条件的顶点排序条件）推广了一个定理的霍夫曼和罗杰的核心$Δ$ -边列简单图。事实上，我们的界限不仅适用于色指数，但\emph{fan number}的图，一个参数引入Scheide和Stiebitz作为上界的色指数。我们能够给出图$H$的一个精确的特征，使得当$G$以$H$为$t$ -核时，$\mathrm{Fan}(G) \leq Δ(G)+t$.

2018-07-31math.CO

Widom-Rowlinson模型、硬核模型与完全图的极值

The Widom-Rowlinson model, the hard-core model and the extremality of the complete graph

令$H_{\mathrm{WR}}$为$3$顶点上的路径，每个顶点处有一个循环。D. Galvin和E.科恩，W. Perkins和P. Tetali证明了：对于$d$ -正则简单图$G$，若其顶点为$n$，则有$$\hom(G,H_{\mathrm{WR}})\leq \hom(K_{d+1},H_{\mathrm{WR}})^{n/(d+1)}.$$.本文给出了这个定理的一个简短证明，并证明了Cohen，Perkins和Tetali的一个猜想.我们的主要工具是Widom-Rowlinson模型和另一个图上的核心模型之间的简单双射。我们还给出了一个大类的图$H$，我们有$$\hom(G,H)\leq \hom(K_{d+1},H)^{n/(d+1)}.$$特别是，我们证明了上述不等式成立，如果$H$是一条路或一个圈的偶数长度至少$6$在每个顶点的循环。

2017-02-02math.CO

随机图上的分支对策

Component Games on Random Graphs

在图$G$上进行的$\left(1:b\right)$组件博弈中，两个参与者，Maker和Breaker，分别交替地声明$G$的~ $1$和~ $b$先前未声明的边。制造商的目标是最大限度地提高她的图中的最大连接组件的大小，而断路器正试图最小化it. We表明，在二项式随机图的游戏的结果是强烈相关的外观的非空的$(b+2)$ -核心的图形。对于任意整数$k$，一个图的$k$ -核心是它的最小度至少为$k$的最大子图。Pittel、Spencer和Wormald在1996年指出，对于任何$k\ge3$，都存在一个明确定义的常数$c_{k}$，使得$p=c_{k}/n$是$G(n,p)$中$k$ -核心出现的阈值函数。更准确地说，当$c>c_{k}$为常数时，$G(n,c/n)$具有WHP线性大小的$k$ -核心，当$c<c_{k}$为常数时，具有WHP空的$k$ -核心。我们发现，对于任何正常数$b$，当玩$(1:b)$组件游戏$G(n,c/n)$，制造商可以WHP建立一个线性大小的组件，如果$c>c_{b+2}$，而断路器可以WHP防止制造商从建设大于多面体大小的组件，如果$c<c_{b+2}$。对于Breaker的策略，我们证明了一个定理，这可能是独立的利益。计算任何图的$k$核的标准算法是重复删除（“剥离”）度小于$k$的所有顶点，只要这些顶点仍然存在。当$G(n,c/n)$用…

2020-12-17math.COmath.PR

3-随机可平面图的连通核

3-Connected Cores In Random Planar Graphs

大型随机可平面图的结构性质的研究是近年来计算机科学和离散数学中的一个热点研究领域。目前，随机可平面图是一个重要的和具有挑战性的模型，用于评估方法的发展，以研究性质的随机图类的结构侧约束。在本文中，我们专注于随机双连通可平面图的结构有关的3-连通的建筑块，我们称之为核的大小。事实上，我们证明了一个关于随机双连通图的一般定理。如果B_n是从一类B-标号双连通图中随机均匀抽取的图，则我们证明了B_n以概率1-o（1）恰好属于下列范畴之一：（i）B_n中存在唯一的巨核，即存在0 < c < 1使得最大的核包含~ cn个顶点，且每隔一个核至多包含n^a个顶点，其中0 < a < 1;（ii）或B_n的所有核包含O（logn）个顶点。此外，我们还找到了决定B_n所属范畴的临界条件，并给出了1 ~ n之间所有核数的集中结果。作为推论，我们得到了随机双连通可平面图属于（i）类，特别是c = 0.765. a = 2/3。

2009-07-14math.COmath.PR