[論文レビュー] 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 の次数 landscape を分析し、次数層と次数スペクトラムを導入し、予算関数に支配された厳密な最大次数公式を証明します。三角値での極値頂点の分類と、小規模計算プロファイルを提供します。

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.

研究の動機と目的

• G_n の次数に基づく層状分割を次数層 D_d(n) および次数スペクトラム Spec_D(n) で formalize する。
• 最大次数 Delta_n の正確なグローバル公式を導出し、最大サポート原理を証明する。
• n が三角数 T_t のときおよびその近傍（すなわち T_t+1, T_t+2）における極値分割を分類する。
• 次数 landscape と極値形状を illustrate するための小規模 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）。
• 活性ボーナスを制限するために multiset {1,1,2,2,...,r,r} に基づく予算関数 beta_r(s) を導入。
• 最大サポート原理を定義する：最大次数の頂点は 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)}。
• 階段摺り込み perturbation および混成階段摺り込み perturbation を用いて key triangular 区間で極値分割を分類。
• 1 ≤ n ≤ 60 の有限計算を提示し、極値の重複度、形状、スペクトラム、自己共役軸との接触をプロファイル化。

実験結果

リサーチクエスチョン

• RQ1 分割グラフ G_n における全ての 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) は明示的であり、平方–ひがみ threshold ルールに支配され、{1,1,2,2,...,r,r} と重み関数 w(k) によって beta_r(s) が決定される。
• Delta_n の単調性に関する完全なモノトニシティの主張と、n → ∞ に対する漸近形 Delta_n = 2n - Theta(sqrt(n)) を提供。
• 1 ≤ n ≤ 60 の有限の計算プロファイルは極値の重複度（最大で 22 ）、代表的な極値形状、自己共役軸との初期接触データを報告。