The Core Conjecture of Hilton and Zhao II: a Proof
具有最大度$Δ$的简单图$G$是过满的,如果$|E(G)|>Δ\lfloor |V(G)|/2\rfloor$ . $G$的核心,记作$G_Δ$,是$G$的由其度$Δ$的顶点导出的子图。显然,如果$G$过满,则$G$的色指数等于$Δ+1$。相反,Hilton和Zhao在1996年证明了:如果$G$是一个简单连通图,且具有$Δ\ge 3$和$Δ(G_Δ)\le 2$,则$χ'(G)=Δ+1$暗示$G$是过满的或$G=P^*$,其中$P^*$是从Petersen图中删除一个顶点得到的. Cariolaro和Cariolaro在2003年解决了基础案例$Δ=3$,Cranston和Rabern在2019年证明了下一个案例$Δ=4$。本文对所有的$Δ\ge 4$给出了这个猜想的一个证明。
2021-08-10 math.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-29 math.CO
Invertibility of the 3-core of Erdos Renyi Graphs with Growing Degree
设$A \in \mathbb{R}^{n \times n}$是Erdens-Rényi图$G(n, d/n)$对于$d = ω(1)$和$d \leq 3\log(n)$的邻接矩阵.我们表明,$n$走向无穷大,概率去$1$,邻接矩阵的$3$核心的$G(n, d/n)$是可逆的。
2022-01-21 math.CO math.PR
Proof of the Core Conjecture of Hilton and Zhao
设$G$是一个简单图,其度为$Δ$的最大值.如果是$|E(G)|>Δ\lfloor |V(G)|/2\rfloor$,我们称之为$G$ \emph{overfull}。$G$的\emph{core},记作$G_Δ$,是$G$的由其度$Δ$的顶点导出的子图。Vizing的一个经典结果表明,$G$的色指数$χ'(G)$是$Δ$或$Δ+1$。确定一般图的色指数是NP-完全的。但是,如果$G$过满,则$χ'(G)=Δ+1$。Hilton和Zhao在1996年证明了:如果$G$是一个简单连通图,且有$Δ\ge 3$和$Δ(G_Δ)\le 2$,则有$χ'(G)=Δ+1$当且仅当$G$是过满图或$G=P^*$,其中$P^*$是从Petersen图中删除一个顶点得到的.如果这个猜想成立,则给出了一种计算满足条件的图$G$的$χ'(G)$的简便方法.该猜想的进展缓慢:仅在2003年和2017年分别证实了$Δ=3,4$。本文对所有的$Δ\ge 4$证明了这个猜想.
2020-04-01 math.CO
Small Cores in 3-uniform Hypergraphs
本文的主要结果是:对任意的$c>0$,且对足够大的$n$,如果3-一致超图的边数至少为$cn^2$,则在至多15个顶点上存在核(最小度至少为2的子图)。我们猜想我们的结果是不尖锐的,15可以用9代替。这样的改进似乎是遥不可及的,因为它将意味着布朗,埃尔德\H os和Sós的一个长期猜想的以下情况:如果没有9个顶点的集合跨越至少6条边的3-一致超图,那么它是稀疏的。
2016-06-20 math.CO
The core in random hypergraphs and local weak convergence
本文研究了随机$r$ -一致超图$H_r(n,p)$的$k$ -核,定义为最小度的最大导出子超图$k$,其中$k$是$r\geq 3$的顶点.我们考虑$k\geq 2$和$p=d/n^{r-1}$的情况下,每个顶点有固定的平均度$d>0$。我们推导出一个多类型的分支过程,描述的局部结构的$k$核心连同地幔,即顶点外的核心。
2017-11-12 math.CO math.PR
A simple solution to the k-core problem
研究了具有给定度序列的n阶随机(多)图的k-核。我们让n趋于无穷大。然后,在度序列的一些正则性条件下,我们给出了度序列的渐近形状的条件,这意味着有很高的概率k-核是空的,以及其他条件,这意味着有很高的概率k-核是非空的,其顶点和边集的大小满足大数定律;在适当的假设下,这是仅有的两种可能性。特别地,我们恢复了Pittel,Spencer和Wormald关于G(n,p)和G(n,m)中k-核的存在性和大小的结果.我们的方法是基于独立随机变量的经验分布的性质,并导致简单的证明。
2005-08-24 math.CO math.PR
On expectations and variances in the hard-core model on bounded degree graphs
本文在有界度图上研究硬核模型,给出基于顶点度数的占据比例紧下界,并界定独立集大小的方差,进而在无三角形图中推进相关猜想,有望改进 Ramsey 数界并揭示稀疏随机图中的算法障碍。
2025-09-18 cs.DM math.CO
On percolation in random graphs with given vertex degrees
研究了由给定顶点度的随机图随机删除顶点或边而得到的随机图。一个简单的技巧爆炸顶点,而不是删除它们,使我们能够从已知的结果与给定的顶点度的随机图的结果。这被用来研究巨分支的存在性和k-核的存在性。作为后者的一种变体,我们还研究了随机正则图中的自举渗流。我们得到了已知结果的简单新证明和新结果。一个有趣的特征是,对于某些度序列,k-核有几个甚至无穷多个相变。
2008-04-10 math.CO math.PR
On the robustness of random k-cores
一个图的k-核心是它的最小度至少为k的极大子图。在本文中,我们解决了k核的鲁棒性问题。给定一个k-核,随机均匀地移除一条边并找到它的新k-核。我们感兴趣的是从原始k核中删除多少个顶点来找到新的顶点。这可以看作是原始k核的鲁棒性的度量。我们证明了,如果初始k-核是从具有n个顶点和m条边的k-核中均匀随机选择的,则其鲁棒性本质上取决于其平均度c。我们证明,如果c收敛到k,那么新的k-核是空的概率为1+o(1)。我们定义了一个常数c(k)′,使得当k+ ε < c < c(k ε ′-ε)时,新的k-核是空的,概率远离零,如果c > c(k ε ′ + ε,ε = ω(n^{-1/4}),psi(n)> 0且c有界,则新k-核具有小于n-h(n)个顶点的概率变为零,对于每个h(n)= omega(1/psi)。
2012-09-11 cs.DM math.CO
Glauber dynamics for the hard-core model on bounded-degree $H$-free graphs
Queen Mary, University of London(伦敦大学玛丽女王学院)
研究了在排除特定图H作为诱导子图的bounded-degree图上,硬核模型的Glauber动力学混合时间,证明当H为细分爪时混合时间为O(n log n),并探讨了其他H情况下的指数级混合时间。
2025-06-16 cs.DS math.CO math.PR
Counting strongly connected $(k_1,k_2)$-directed cores
考虑$[N]$上所有具有$M$条边的有向图的集合,其最小入度和最小出度分别至少为$k_1$和$k_2$。对于$k:=\min\{k_1,k_2\}\ge 2$和$M/N>\max\{k_1,k_2\}$,$M=Θ(N)$,我们证明了在这些有向图中,$k$ -强连通有向图的分数是$1-O\bigl(N^{-(k-1)})$ .在前面的Dan Poole的研究中,我们发现了随机有向图$D(n,m=[cn])$中产生巨型$(k_1,k_2)$ -核的一个锐边密度阈值$c^*(k_1,k_2)$。结合这些主张,对于概率为$1-O\bigl(N^{-(k-1)})$的$c>c^*(k_1,k_2)$,巨$(k_1,k_2)$ -核存在并且是$k$ -强连通的。
2016-09-01 math.CO math.PR
Birth of a giant $(k_1,k_2)$-core in the random digraph
有向图的$(k_1,k_2)$ -核是最小入度至少为$k_1$、最小出度至少为$k_2$的最大子有向图。对于$\max\{k_1, k_2\} \geq 2$,我们建立了阈值边密度$c^*=c^*(k_1,k_2)$的存在性,使得随机有向图$D(n,m)$在具有$m$边的顶点集$[n]$上,如果$m/n> c^*$,则渐近几乎必然有一个巨大的$(k_1,k_2)$ -核,如果$m/n<c^*$,则没有$(k_1,k_2)$ -核.具体地说,表示$\text{P}(\text{Poisson}(z)\ge k)$的$p_k(z)$,我们证明了$c^*=\min\limits_{z_1,z_2}\max\left\{\tfrac{z_1}{p_{k_1}(z_1)p_{k_2-1}(z_2)}; \tfrac{z_2}{p_{k_1-1}(z_1)p_{k_2}(z_2)}\right\}$。
2016-08-17 math.CO math.PR
How does the core sit inside the mantle?
随机图$G(n,p)$的最小度$k$的最大子图定义为$k$ -核,它已被广泛研究.在一篇具有里程碑意义的论文中,Pittel、Wormald和Spencer [JCTB 67(1996)111- 151]确定了出现大面积$k$核的阈值$d_k$。在这里,我们推导出一个多类型的高尔顿-沃森分支过程,精确地描述了如何$k$核心嵌入到随机图的任何$k\geq3$和任何固定的平均度$d=np>d_k$。这概括了先前的结果,例如,$k$内核的内部结构。
2015-03-31 cs.DM math.CO math.PR
Singularity of the k-core of a random graph
本文证明了对于常数 $k\ge 3$ 和 $λ>0$,极稀疏 Erdős--Rényi 随机图 $G(n,λ/n)$ 的 $k$-核通常是非奇异的,解决了 Vu 在2014年提出的猜想,其核心技术是提取高度顶点以提升秩。
2024-03-26 math.CO math.PR
Large $p$-core $p'$-partitions and walks on the additive residue graph
本文研究了既没有可被$p$整除的部分也没有可被$p$整除的钩长度的划分,称为$p$ -核心$p'$ -划分.我们发现,最大的$p$ -核心$p'$ -分区对应于最长的步行与顶点$\{0, 1, \ldots, p-1\}$和标记的边定义通过添加模$p$的图。我们还展示了一个明确的家庭大$p$ -核心$p'$ -分区,给出了一个下界的大小最大的这样的分区是相同程度的上界发现的McSpirit和小野。
2022-11-29 math.CO math.NT
Random planar maps and graphs with minimum degree two and three
我们找到精确的渐近估计的数量的平面地图和图形的条件上的最低程度,和这些类的随机图的性质。特别地,我们证明了随机可平面图的最大树的大小是c log(n)阶的,对于一个显式常数c。这些结果为随机可平面图的结构提供了新的信息。
2018-06-10 math.CO math.PR
Asymptotic size of the Karp-Sipser Core in Configuration Model
本文研究任意度分布配置模型中Karp-Sipser核的渐近规模,通过分析单模Galton-Watson树上的叶子移除动力学,结合增强版Warning Propagation与Node Labeling Propagation,证明了核规模收敛于一个显式不动点方程。
2025-08-26 cs.DM math.CO math.PR
Cover time of a random graph with a degree sequence II: Allowing vertices of degree two
研究了从顶点集为$[n]$且度序列为$\mathbf{d}=(d_i)_{i=1}^n$的图集中随机一致选取的图的覆盖时间。在以前的工作中,渐近覆盖时间是在$\mathbf{d}$上的一些假设下得到的,最重要的是对于所有$i$的$d_i\geq 3$。这里我们用$d_i\geq 2$代替这个假设。作为推论,我们建立了$\mathcal{G}(n,p)$新兴巨分支的2-核的渐近覆盖时间。
2014-06-04 math.CO math.PR
Random Graphs with Prescribed $K$-Core Sequences: A New Null Model for Network Analysis
在分析大规模网络数据时,一个基本的操作是将观察到的现象与零模型提供的预测进行比较:当我们在一个真实网络族中发现一个有趣的结构时,重要的是要问这种结构是否也可能出现在具有与真实网络相似特征的随机网络中。网络分析中的一个长期挑战是网络的合理空模型相对稀缺;可以说最常见的模型是配置模型,它以图$G$开始,并产生一个与$G$具有相同节点度的随机图。这导致了一种非常弱的零模型,因为固定节点度并不能保持网络的许多关键属性,包括其子图的结构。在这一挑战的指导下,我们提出了一个新的家庭网络空模型上操作的$k$核心分解。对于图$G$,$k$ -core是它的最小度的最大子图$k$ ;并且$G$中的节点$v$的core数是最大的$k$,使得$v$属于$G$的$k$ -core.我们提供了第一个有效的抽样算法来解决以下基本的组合问题:给定一个图$G$,产生一个随机图几乎均匀地从所有的图与$G$相同的核心数序列。这就提供了将观测网络$G$与具有相同核数的随机图进行比较的机会,这种比较保留了$G$结构的某些方面,而这些方面没有被更局部的度量(如度序列)捕获。我们说明了这种基于核心的空模型在网络分析中的一些基本任务上的能力,包括网络图案的枚举。
2021-02-24 cs.DS cs.SI math.CO
Lozenge tilings of hexagons with removed core and satellites
我们认为,从120度旋转不变的六边形通过删除核心和三个相等的卫星(所有等边三角形),使所得到的区域是垂直对称和120度旋转不变的区域,并给出简单的产品公式的菱形平铺的数量。我们描述了一种新的方法来证明这些公式,并给出了一个说明性的特殊情况下的全部细节。作为一个副产品,我们也能够在不同的方向推广这种特殊情况,通过找到一个20年前由Ciucu,Eisenkölbl,Krattenthaler和Zare提出的公式的自然对应物,直到现在才被注意到。原问题的一般情况将在以后的论文中讨论。然后,我们得出了孔的相关性,这是本研究的原始动机的后果。
2019-10-30 math-ph math.CO math.MP
Absence of zeros implies strong spatial mixing
本文证明硬核模型配分函数无复零点蕴含强空间混合,并推广至无爪图与图同态测度。
2023-05-15 cs.DM math.CO math.PR
Improved Inapproximability Results for Counting Independent Sets in the Hard-Core Model
研究了最大度Delta图的独立集个数的近似计数的计算复杂性。更一般地,对于输入图G=(V,E)和活动lambda>0,我们感兴趣的是量Z_G(lambda),其被定义为独立集I的和,加权为w(I)= lambda^ |I|。在统计物理学中,Z_G(lambda)是硬核模型的配分函数,硬核模型是一种理想化的气体模型,其中粒子具有不可忽略的尺寸。最近,一个有趣的相变被证明是发生的复杂性近似的配分函数。Weitz证明了当Delta为常数且lambda< lambda_c(Tree_Delta):=(Delta-1)^(Delta-1)/(Delta-2)^Delta时,任何最大度Delta的图的配分函数的FPAS。数量lambda_c(Tree_Delta)是在度为Delta的无限正则树上的所谓唯一性阈值的临界点。在另一方面,Sly证明了对于lambda_c(Tree_Delta)< lambda < lambda_c(Tree_Delta)+lambda(Delta)不存在有效的(随机的)近似算法,除非NP=RP,对于某个函数lambda(Delta)>0。我们删除了Sly的结果为Delta不等于4和5的假设中的上界,也就是说,我们表明,不存在有效的随机近似算法的所有lambda>lambda_c(Tree_Delta)的Delta=3和Delta>= 6。Sly的不可逼近性结果使用了…
2012-12-11 cs.CC cs.DM math.CO
Vertex connectivity of the nonzero nonunit core of the comaximal graph of $\mathbb Z_n$
School of Mathematics and Statistics, Shandong University of Technology(山东理工大学数学与统计学院)
本文解决了一个关于非零非单位余类诱导子图G₂的连通度问题,通过中国剩余定理将问题转化为非空真子集的不交图,并推导出连通度公式及算法。
2026-05-02 cs.DM math.CO math.GR
Percolation on hypergraphs and the hard-core model
本文通过凸松弛优化方法证明了两类最大度受限的k-均匀超图的点渗流阈值紧界,并结合分歧渗流改进硬核模型的唯一性阈值,进而为高效近似计数与采样算法提出新的计算阈值猜想。
2023-09-21 cs.DS math.CO math.PR
Homomorphic-core phase transition threshold in Erdős--Rényi random graphs
University of Helsinki(赫尔辛基大学)
该研究确定了Erdős–Rényi随机图成为同态核的相变阈值,推导了子图同构问题的紧ETH下界。
2026-08-26 cs.CC cs.DM cs.DS