[論文レビュー] Generalized binomial edge ideals of whisker graphs via an extension of generalized corona products

J Anuvinda, Ranjana Mehta+1 more|arXiv (Cornell University)|Feb 7, 2026

Commutative Algebra and Its Applications被引用数 0

ひとこと要約

要約: 論文は、拡張コロナ法の一般化コーヒン・エッジイデアルに対する深さ、正則性、コーエン–マカレい性質を、一般化コロナ積を拡張する広範なグラフクラスを含むウィスカーグラフを含む研究を行い、深さ公式、正則性の下界・上界、コーエン–マカレい分類を提供する。

ABSTRACT

In this paper, we initiate a systematic study of generalized binomial edge ideals of whisker graphs by working within a substantially broader class of graphs. We extend the notion of generalized corona products, and through this enlarged framework, investigate fundamental algebraic invariants such as depth, (Castelnuovo-Mumford) regularity, and the Cohen-Macaulay property. In particular, we establish a sharp lower bound on the depth of generalized binomial edge ideals for our extended class, and further obtain explicit depth formula for a broad subclass of this family, which in turn recovers the depth formula for whisker graphs. We also establish sharp upper bounds for the regularity, and in the case of binomial edge ideals of whisker graphs over gap-free graphs, determine the exact value of the regularity. Finally, for our extended class, we provide a combinatorial classification of all Cohen-Macaulay binomial edge ideals, which in turn yields a new construction of Cohen-Macaulay binomial edge ideals.

研究の動機と目的

• 一般化コロナ積から得られる広範なグラフクラスに対して、一般化ビノミアルエッジイデアルの研究を動機づけ、拡張する。
• ウィスカーグラフを含むサブクラスについて深さの下境界と正確な深さ公式を導出する。
• ギャップフリー基底グラフに対して正則性の鋭い上界を確立し、正確な正則性を示す。
• 拡張クラス内でのコーエン–マカレいビノミアルエッジイデアルの組合せ論的分類を提供する。

提案手法

• 一般化コロナ積の枠組みと、ウィスカーとコロナ構成を広げる2つのグラフクラスG1およびG2を導入・形式化する。
• D ∈ G2 に対する J_{K_m, D} の深さの下界を導出し、付随グラフの深さが既知である特定のサブクラス G' に対して正確な深さ公式を証明する。
• G1 に属するグラフの正規性を、誘導一致数 im(G) を用いて上界を確立し、ギャップフリー基底グラフ上のウィスカーグラフについて Gröbner 基底技法で正確な正則性を証明する。
• G2 に属するグラフのコーエン–マカレい分類を証明し、J_D がコーエン–マカレいである等価条件を示す。

実験結果

リサーチクエスチョン

• RQ1 拡張クラス G2 に属するグラフの一般化ビノミアルエッジイデアルの深さの厳密な下界はいくらか。
• RQ2 G2 内の大きなサブクラス G'（ウィスカーグラフを含む）で深さ公式が厳密になるのはいつか。
• RQ3 G1 のグラフに対する一般化ビノミアルエッジイデアルの正則性の上界はどの程度になり、これらの境界が鋭いのはいつか（例: ギャップフリー基底グラフ）？
• RQ4 拡張フレームワーク内でコーエン–マカレいな一般化ビノミアルエッジイデアルをどのように分類し、新しいコーエン–マカレいの例を生み出す構成は何か。

主な発見

• D ∈ G2 に対する鋭い深さの下界: depth ≥ sum(f(H_i)+d(H_i)) + p − ℓ + (m−1)c(D)。
• 広範なサブクラス G′ について深さは厳密: depth = |V(D)| + (m−1)c(D)。
• 特にウィスカーグラフ W(G) に対して深さは 2|V(G)| + c(G)。
• G1 の正則性の鋭い上界は reg(R/J_{K_m, H}) ≤ (m−1)(|S| + im(G)); ウィスカーグラフでは reg(W(G)) ≤ |V(G)| + im(G)。
• ギャップフリー基底グラフ G に対して reg(R/J_{W(G)}) = |V(G)| + 1。
• コーエン–マカレい分類を与える: J_D がコーエン–マカレいであるのはG が完備であり、各 H_i が連結で J_{H_i} がコーエン–マカレいで、さらに |S| = |V(G)| の場合少なくとも1つの H_i が完備であるとき。
• },
• table_headers:[],
• table_rows:[] } /* 注: テキストには主結果の表が提供されていないため、表フィールドは空のまま */} {
• }
• table_headers:
• table_rows: