[논문 리뷰] Generalized binomial edge ideals of whisker graphs via an extension of generalized corona products

J Anuvinda, Ranjana Mehta외 1명|arXiv (Cornell University)|2026. 02. 07.

Commutative Algebra and Its Applications인용 수 0

한 줄 요약

이 논문은 일반화된 코로나 곱을 포함하는 광범위한 그래프 클래스를 확장하여 일반화된 이항 엣지 아이덴티의 깊이, 정규성, 및 Cohen–Macaulay 성질을 연구하고, 깊이 공식, 정밀한 깊이 하한, 그리고 Cohen–Macaulay 분류를 제공한다.

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.

연구 동기 및 목표

• 일반화된 코로나 곱에서 얻은 광범위한 그래프에 대해 일반화된 이항 엣지 아이덴티 연구를 동기 부여하고 확장한다.
• 위스커 그래프를 포함하는 하위집합에 대한 깊이 하한 및 정확한 깊이 공식을 도출한다.
• gap-free 기반 그래프에서 정확한 정규성을 결정하고, 정규성에 대한 예리한 상한을 제시한다.
• 확장된 클래스 내에서 Cohen–Macaulay 이항 엣지 아이덴티의 조합적 분류를 제공한다.

제안 방법

• 일반화 코로나 곱 프레임워크를 도입하고 형식화하며 위스커 및 코로나 구성의 범위를 넓히는 두 그래프 클래스 G1과 G2를 제시한다.
• G2에 속하는 D에 대해 J_{K_m, D}의 깊이 하한을 도출하고 특정 부속 그래프의 깊이가 알려진 하위집합 G'에 대해 정확한 깊이 공식을 입증한다.
• G1 그래프의 정규성에 대한 상한을 유도 매칭 수 im(G)을 이용해 설정하고 gap-free 그래프 위의 위스커 그래프에 대해 Gröbner 기저 기법으로 정확한 정규성을 입증한다.
• G2의 그래프에 대해 코헨–맥코레이 분류를 입증하고 J_D가 코헨–맥코레이가 되기 위한 동치 조건을 제시한다.

실험 결과

연구 질문

• RQ1 확장된 클래스 G2의 그래프에 대한 일반화된 이항 엣지 아이덴티의 날카로운 깊이 하한은 무엇인가?
• RQ2 G2의 중요한 하위집합 G', 위스커 그래프를 포함하여 깊이 공식을 언제 정확하게 얻을 수 있는가?
• RQ3 G1의 그래프에 대해 일반화된 이항 엣지 아이덴티의 정규성에 대한 상한은 얼마나 되며, 이 경계가 예리한가(예: gap-free 기반 그래프)?
• RQ4 확장된 프레임워크 내에서 Cohen–Macaulay 일반화된 이항 엣지 아이덴티를 어떻게 분류하고, 어떤 구성으로 새로운 Cohen–Macaulay 예를 얻을 수 있는가?

주요 결과

• 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).
• gap-free 기본 그래프 G의 경우 reg(R/J_{W(G)}) = |V(G)| + 1이다.
• 코헨–맥코레이 분류가 주어지며: J_D가 코헨–맥코레이이려면 G가 완전하고, 각 H_i가 연결되어 있으며 J_{H_i}가 코헨–맥코레이이고, |S|=|V(G)|일 때 적어도 하나의 H_i가 완전해야 한다.