[論文レビュー] Spectral radius of $2$-dimensional simplicial complexes with given Betti number

Chuan-Ming She, Yi-Zheng Fan+1 more|arXiv (Cornell University)|Jan 13, 2026

Graph theory and applications被引用数 0

ひとこと要約

この論文は、与えられた第二ベッチ数を持つ2次元単体複体の符号なしラプラス演算子スペクトル半径の漸近公式を導出し、β2 = 1 または 2 において最大半径を達成する極値構造を特徴づける。

ABSTRACT

In this paper we establish an asymptotic formula for the signless Laplacian spectral radius of a $2$-dimensional simplicial complex with given $2$-th Betti number. Furthermore, we characterize the $2$-dimensional simplicial complex that achieves the maximum signless Laplacian spectral radius among all-dimensional simplicial complex with the $2$-th Betti number equal to $1$ or $2$.

研究の動機と目的

• 2次ベッチ数が所定の simplicial complex の符号なしラプラス演算子スペクトル半径に関する極値問題を動機づけ、研究する。
• 大きな n に対して、(r-1)-番目ベッチ数が与えられた r-複体とする場合の最大面数を決定する。
• 2次元の場合（r=2）における符号なしラプラス演算子スペクトル半径の漸近公式を得る。
• β2 = 1 または 2 のときスペクトル半径の最大を達成する2-複体を特徴づける。

提案手法

• β2 を固定した n 個の頂点上の純粋な2次元単体複体として2D複体をモデル化する。
• Perron–Frobenius 理論を用いて up-符号なしラプラス作用素 Q1^{up}(K) の上界を導出・適用する。
• 極値構造を同定するために基本的な穴構造と tented 複体 T_n^{2} および T_n^{2,t} を導入・活用する。
• 構造補題（最大の面数、経路連結性、面の包含性など）を利用して極値複体を制約する。
• 大きな n に対する漸近的表現 q1(K) = 2n - 3 + 9t/n^3 + O(1/n^4) を導出する。
• 特別な場合を証明する：t=1 および t=2 について、唯一の極値複体 T_n^{2,1} および T_n^{2,2} を同定する。

実験結果

リサーチクエスチョン

• RQ1 n 個の頂点を持つ純粋な2複体で β2(K) = t が与えられたときの最大の面数はいくらか。
• RQ2 n が大きくなるとき β2(K)=t を持つ2複体の符号なしラプラス演算子スペクトル半径 q1(K) の漸近値はどうなるか。
• RQ3 K(n,2,t) の中でどの2次元複体が符号なしラプラス演算子スペクトル半径を最大にするか。
• RQ4 最大スペクトル半径を達成する極値複体は tented 構成 T_n^{2,t} のようなものに対応するか。
• RQ5 特に小さな t（特に t=1 または t=2）の正確な極値構造は何か。

主な発見

• 十分に大きな n に対して、K(n,2,t) の中で最大の符号なしラプラス演算子スペクトル半径は T_n^{2,t} によって達成される。
• 最大のスペクトル半径は q1(K) = 2n - 3 + 9t/n^3 + O(1/n^4) を満たす。
• β2(K) = 1 の場合、極値複体は唯一で T_n^{2,1}。
• β2(K) = 2 の場合、極値複体は唯一で T_n^{2,2}（大きな n のとき）。
• 一般的な予測として、0 ≤ t ≤ n-3 に対して T_n^{2,t} が q1(K) を最大化するとする仮説があり、t=2 で確認される。