[论文解读] The Degree Landscape of the Partition Graph: Maximal Degree, Extremal Vertices, and Spectra

Fedor B. Lyudogovskiy|arXiv (Cornell University)|Mar 25, 2026

Graph theory and applications被引用 0

一句话总结

该论文分析分区图 G_n 的度景观，提出度层与度谱，并证明一个由预算函数支配的精确最大度公式。它还对三角值的极值顶点进行分类，并给出一个小规模的计算概要。

ABSTRACT

We study the degree landscape of the partition graph $G_n$, whose vertices are the integer partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts, followed by reordering. Using the previously established local degree formula, we introduce the degree layers $D_d(n)$, the degree spectrum $Spec_D(n)$, and the numerical invariants $Δ_n$, $m_Δ(n)$, and $s(n)$. The main theorem provides an exact formula for the maximal degree. If $$ ρ(n):=\max\{r:T_r\le n\},\qquad T_r=\frac{r(r+1)}{2}, $$ and $$ ν:=n-T_{ρ(n)}, $$ then $$ Δ_n=ρ(n)\bigl(ρ(n)-1\bigr)+β_{ρ(n)}(ν), $$ where $β_r$ is an explicit budget function governed by a square--pronic threshold rule. We also prove that every maximal-degree vertex lies on the maximal-support stratum, and we obtain exact extremal classifications at the levels $n=T_t$, $n=T_t+1$, and $n=T_t+2$. The paper also includes a finite computation on the range $1\le n\le 60$, recording extremal multiplicities, representative extremal shapes, spectrum sizes, selected degree histograms, and first data on contact between the extremal layer and the self-conjugate axis. This computational part is deliberately limited in scope. It is descriptive rather than exhaustive, and is included only as a first numerical profile of the degree landscape.

研究动机与目标

• 通过度层 D_d(n) 与度谱 Spec_D(n)形式化 G_n 的基于度的分层。
• 导出 Delta_n 的全局精确公式并证明最大支持原理。
• 在 n 等于三角数 T_t 及其邻近值（即 T_t+1、T_t+2）处对极值分区进行分类。
• 提供对小 n 的计算概况以说明度景观与极值形状。

提出的方法

• 以本地度公式 deg(lambda)=r(r-1)+sum_i 1_{m_i>1}+sum_i 1_{g_i>1} 作为基础。
• 通过三角质量分解 n = T_r + s 的全局再解释，其中 T_r = r(r+1)/2，s = n - T_r。
• 引入预算函数 beta_r(s)，基于多集合 {1,1,2,2,...,r,r} 以约束活跃奖励。
• 定义最大支持原理：在最大度顶点处具有最大支持大小 rho(n)，当 T_r ≤ n < T_{r+1}。
• 推导 Delta_n 的显式公式：Delta_n = rho(n)(rho(n)-1) + beta_{rho(n)}(nu) 其中 nu = n - T_{rho(n)}。
• 在关键三角区间对极值分区进行阶梯扰动和混合阶梯扰动的分类。
• 给出 1 ≤ n ≤ 60 的有限计算以轮廓化极值重数、形状、谱以及与自共轭轴的初步接触。

实验结果

研究问题

• RQ1 对于所有 n，G_n 的精确最大度 Delta_n 是多少？
• RQ2 分区的度如何在全局尺度上与其支持大小、重复模式和间隙模式相关？
• RQ3 极值分区是否必然落在最大支持的层级上，在三角值 T_t 及其邻近处的形式为何？
• RQ4 度谱 Spec_D(n) 的结构及极值分区的分布（重数）如何？

主要发现

• Delta_n 的精确表达为 Delta_n = rho(n)(rho(n)-1) + beta_{rho(n)}(nu)，其中 rho(n) = max{r: T_r ≤ n} 且 nu = n - T_{rho(n)}。
• 每个最大度顶点都位于最大支持层，即具有支持大小 rho(n)。
• 在 n = T_t、T_t+1、T_t+2 处通过阶梯扰动获得精确的极值分类：在 T_t 时唯一最大化者，在 T_t+1 时有两个最大化者，在 T_t+2 时有一个最大化者。
• 预算函数 beta_r(s) 是明确的，并由平方–棱方界限规则支配，beta_r(s 由多集合 {1,1,2,2,...,r,r} 与权重函数 w(k) 决定。
• 论文给出 Delta_n 的完全单调性陈述，以及渐近形式 Delta_n = 2n - Theta(sqrt(n)) 当 n → ∞。
• 对 1 ≤ n ≤ 60 的有限计算概要报告极值重数（最多 22）、代表性极值形状，以及与自共轭轴的初始接触数据。