Powers of Edge Ideals of Graphs with Minimal Cellular Resolutions

Trung Chau,Tài Huy Hà,Aryaman Maithani

2024-04-06

Abstract:Let $G$ be a connected graph and let $I(G)$ denote its edge ideal. We classify when $I(G)^n$, for $n \ge 1$, admits a minimal Lyubeznik resolution. We also give a characterization for when $I(G)^n$ is bridge-friendly, which, in turn, implies that $I(G)^n$ has a minimal Barile-Macchia cellular resolution.

Commutative Algebra

What problem does this paper attempt to address?

Minimal Free Resolutions of Edge Ideals of Edge-Weighted Complete Bipartite Graphs

Bethany Kubik,Denise Rangel Tracy,Keri Ann Sather-Wagstaff

2024-06-30

Abstract:We explicitly describe cellular minimal free resolutions of certain classes of edge ideals of weighted complete bipartite graphs based on a construction of Visscher. Specifically, we show that Visscher's construction minimally resolves all edge ideals of undirected vertex-weighted complete bipartite graphs, and we characterize the edge-weighted complete bipartite graphs whose edge ideals are minimally resolved by Visscher's construction.

Commutative Algebra
Minimal Cellular Resolutions of Path Ideals

Trung Chau,Selvi Kara,Kyle Wang

2024-04-13

Abstract:In this paper, we prove that the path ideals of both paths and cycles have minimal cellular resolutions. Specifically, these minimal free resolutions coincide with the Barile-Macchia resolutions for paths, and their generalized counterparts for cycles. Furthermore, we identify edge ideals of cycles as a class of ideals that lack a minimal Barile-Macchia resolution, yet have a minimal generalized Barile-Macchia resolution.

Commutative Algebra,Combinatorics
Gapfree graphs and powers of edge ideals with linear quotients

Nursel Erey,Sara Faridi,Tài Huy Hà,Takayuki Hibi,Selvi Kara,Susan Morey

2024-12-09

Abstract:Let $G$ be a gapfree graph and let $I(G)$ be its edge ideal. An open conjecture of Nevo and Peeva states that $I(G)^q$ has a linear resolution for $q\gg 0$. We investigate a stronger conjecture that if $I(G)^q$ has linear quotients for some integer $q$, then $I(G)^{q+1}$ also has linear quotients. We give a partial solution to this conjecture. It is known that if $G$ does not contain a cricket, a diamond, or a $C_4$, then $I(G)^q$ has a linear resolution for $q \geq 2$. We construct a family of gapfree graphs $G$ containing cricket, diamond, $C_4$ and $C_5$ as induced subgraphs of $G$ for which $I(G)^q$ has linear quotients for $q \ge 2$.

Commutative Algebra,Combinatorics
Powers of Edge Ideals with Linear Quotients

Etan Basser,Rachel Diethorn,Robert Miranda,Mario Stinson-Maas

2024-12-05

Abstract:We prove that the powers of an edge ideal with linear quotients must also have linear quotients by employing a novel, easily implementable ordering of the minimal generators. As a consequence, we give explicit formulas for the projective dimension and Betti numbers of the edge ideals of whisker graphs. We also prove that second and higher powers of the edge ideals of anticycles admit linear quotient orderings, thus resolving an open question of Hoefel and Whieldon in the affirmative.

Commutative Algebra
Some Bounds for the Regularity of the Edge Ideals and Their Powers in a Certain Class of Graphs

Tom Ashitha,Thangaraj Asir,Do Trong Hoang,Mohammad Reza Pournaki

DOI: https://doi.org/10.1556/012.2023.04298

2024-01-29

Studia Scientiarum Mathematicarum Hungarica

Abstract:Let n ≥ 2 be an integer. The graph is obtained by letting all the elements of {0, ... , n − 1} to be the vertices and defining distinct vertices x and y to be adjacent if and only if gcd(x + y, n) ≠ 1. In this paper, we give some bounds for the Castelnuovo–Mumford regularity of the edge ideals and their powers for .

mathematics
On the minimal (edge) connectivity of graphs and its applications to power graphs of finite groups

Parveen,Manisha,Jitender Kumar

2024-08-20

Abstract:In an earlier work, finite groups whose power graphs are minimally edge connected have been classified. In this article, first we obtain a necessary and sufficient condition for an arbitrary graph to be minimally edge connected. Consequently, we characterize finite groups whose enhanced power graphs and order superpower graphs, respectively, are minimally edge connected. Moreover, for a finite non-cyclic group $G$, we prove that $G$ is an elementary abelian $2$-group if and only if its enhanced power graph is minimally connected. Also, we show that $G$ is a finite $p$-group if and only if its order superpower graph is minimally connected. Finally, we characterize all the finite nilpotent groups such that the minimum degree and the vertex connectivity of their order superpower graphs are equal.

Group Theory,Combinatorics
An upper bound for the regularity of powers of edge ideals

Jürgen Herzog,Takayuki Hibi

DOI: https://doi.org/10.48550/arXiv.1810.06308

2018-10-15

Abstract:For a finite simple graph $G$ we give an upper bound for the regularity of the powers of the edge ideal $I(G)$.

Commutative Algebra
Minimal cellular resolutions of powers of matching field ideals

Oliver Clarke,Fatemeh Mohammadi

2024-11-01

Abstract:We study a family of monomial ideals, called block diagonal matching field ideals, which arise as monomial Gröbner degenerations of determinantal ideals. Our focus is on the minimal free resolutions of these ideals and all of their powers. Initially, we establish their linear quotient property and compute their Betti numbers, illustrating that their minimal free resolution is supported on a regular CW complex. Our proof relies on the results of Herzog and Takayama, demonstrating that ideals with a linear quotient property have a minimal free resolution, and on the construction by Dochtermann and Mohammadi of cellular realizations of these resolutions. We begin by proving the linear quotient property for each power of such an ideal. Subsequently, we show that their corresponding decomposition map is regular, resulting in a minimal cellular resolution. Finally, we demonstrate that distinct decomposition maps lead to different cellular complexes with the same face numbers.

Commutative Algebra,Combinatorics
Associated primes of powers of edge ideals

Jose Martinez-Bernal,Susan Morey,Rafael H. Villarreal

DOI: https://doi.org/10.48550/arXiv.1103.0992

2011-05-20

Abstract:Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i, where "intcl" denotes integral closure and I(i) denotes the i-th power of I. We show that for edge ideals their corresponding stable sets are equal. To show our main result we use a classical result of Berge from matching theory and certain notions from combinatorial optimization.

Commutative Algebra,Combinatorics
Binomial edge ideals with pure resolutions

Dariush Kiani,Sara Saeedi Madani

DOI: https://doi.org/10.48550/arXiv.1401.4817

2014-01-20

Abstract:We characterize all graphs whose binomial edge ideals have pure resolutions. Moreover, we introduce a new switching of graphs which does not change some algebraic invariants of graphs, and using this, we study the linear strand of the binomial edge ideals for some classes of graphs. Also, we pose a conjecture on the linear strand of such ideals for every graph.

Combinatorics,Commutative Algebra
Powers of generalized binomial edge ideals of path graphs

Yi-Huang Shen,Guangjun Zhu

DOI: https://doi.org/10.1142/s0218196724500292

2024-07-20

International Journal of Algebra and Computation

Abstract:International Journal of Algebra and Computation, Ahead of Print. In this paper, we study the powers of the generalized binomial edge ideal [math] of a path graph [math]. We explicitly compute their regularities and determine the limit of their depths. We also show that these ordinary powers coincide with their symbolic powers. Additionally, we study the Rees algebra and the special fiber ring of [math] utilizing Sagbi basis theory. In particular, we obtain precise formulas for the regularity of these blowup algebras.

mathematics
Normally torsion-free edge ideals of weighted oriented graphs

Gonzalo Grisalde,Jose Martinez-Bernal,Rafael H. Villarreal

DOI: https://doi.org/10.1080/00927872.2023.2270058

2023-10-08

Abstract:Let $I=I(D)$ be the edge ideal of a weighted oriented graph $D$, let $G$ be the underlying graph of $D$, and let $I^{(n)}$ be the $n$-th symbolic power of $I$ defined using the minimal primes of $I$. We prove that $I^2=I^{(2)}$ if and only if (i) every vertex of $D$ with weight greater than $1$ is a sink and (ii) $G$ has no triangles. As a consequence, using a result of Mandal and Pradhan, and the classification of normally torsion-free edge ideals of graphs, it follows that $I^n=I^{(n)}$ for all $n\geq 1$ if and only if (a) every vertex of $D$ with weight greater than $1$ is a sink and (b) $G$ is bipartite. If $I$ has no embedded primes, conditions (a) and (b) classify when $I$ is normally torsion-free. Using polyhedral geometry and integral closure, we give necessary conditions for the equality of ordinary and symbolic powers of monomial ideals with a minimal irreducible decomposition. Then, we classify when the Alexander dual of the edge ideal of a weighted oriented graph is normally torsion-free.

Commutative Algebra
Linear quotients of connected ideals of graphs

H. Ananthnarayan,Omkar Javadekar,Aryaman Maithani

2024-01-02

Abstract:As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For trees, we show that $\operatorname{J}_{t}$ has a linear resolution iff the tree is $t$-gap-free, and that this is equivalent to having linear quotients. We then show that if $G$ is any gap-free and $t$-claw-free graph, then $\operatorname{J}_{t}(G)$ has linear quotients and hence, linear resolution.

Commutative Algebra,Combinatorics
Barile–Macchia resolutions

Trung Chau,Selvi Kara

DOI: https://doi.org/10.1007/s10801-023-01293-9

2024-02-07

Journal of Algebraic Combinatorics

Abstract:We construct cellular resolutions for monomial ideals via discrete Morse theory. In particular, we develop an algorithm to create homogeneous acyclic matchings and we call the cellular resolutions induced from these matchings Barile–Macchia resolutions. These resolutions are minimal for edge ideals of weighted oriented forests and (most) cycles. As a result, we provide recursive formulas for graded Betti numbers and projective dimension. Furthermore, we compare Barile–Macchia resolutions to those created by Batzies and Welker and some well-known simplicial resolutions. Under certain assumptions, whenever the above resolutions are minimal, so are Barile–Macchia resolutions.

mathematics
On the $\mathrm{v}$-number of binomial edge ideals of some classes of graphs

Deblina Dey,A. V. Jayanthan,Kamalesh Saha

2024-05-24

Abstract:Let $G$ be a finite simple graph, and $J_G$ denote the binomial edge ideal of $G$. In this article, we first compute the $\mathrm{v}$-number of binomial edge ideals corresponding to Cohen-Macaulay closed graphs. As a consequence, we obtain the $\mathrm{v}$-number for paths. For cycle and binary tree graphs, we obtain a sharp upper bound for $\mathrm{v}(J_G)$ using the number of vertices of the graph. We characterize all connected graphs $G$ with $\mathrm{v}(J_G) = 2$. We show that for a given pair $(k,m), k\leq m$, there exists a graph $G$ with an associated monomial edge ideal $I$ having $\mathrm{v}$-number equal to $k$ and regularity $m$. If $2k \leq m$, then there exists a binomial edge ideal with $\mathrm{v}$-number $k$ and regularity $m$. Finally, we compute $\mathrm{v}$-number of powers of binomial edge ideals with linear resolution, thus proving a conjecture on the $\mathrm{v}$-number of powers of a graded ideal having linear powers, for the class of binomial edge ideals.

Commutative Algebra
Properties of symbolic powers of edge ideals of weighted oriented graphs

Mousumi Mandal,Dipak Kumar Pradhan

2023-06-15

Abstract:Let $D$ be a weighted oriented graph and $I(D)$ be its edge ideal. We provide one method to find all the minimal generators of $ I_{\subseteq C} $, where $ C $ is a maximal strong vertex cover of $D$ and $ I_{\subseteq C} $ is the intersections of irreducible ideals associated to the strong vertex covers contained in $C$. If $ D^{\prime} $ is an induced digraph of $D$, under certain condition on the strong vertex covers of $ D^{\prime} $ and $D$, we show that $ {I(D^{\prime})}^{(s)} \neq {I(D^{\prime})}^s $ for some $s \geq 2$ implies $ {I(D)}^{(s)} \neq {I(D)}^s $. We characterize all the maximal strong vertex covers of $D$ such that at most one edge is oriented into each of its vertex and $w(x) \geq 2$ if $°_D(x)\geq 2 $ for all $x \in V(D)$. If $ D $ is a weighted rooted tree with degree of root is $ 1 $ and $ w(x) \geq 2 $ when $ °_D(x) \geq 2 $ for all $ x \in V(D) $, we show that $ {I(D)}^{(s)} = {I(D)}^s $ for all $s \geq 2$

Commutative Algebra
The Minimal (Edge) Connectivity of Some Graphs of Finite Groups

Siddharth Malviy,Vipul Kakkar

2024-11-28

Abstract:In this paper, we classify all the finite groups $G$ such that the commuting graph $\Gamma_C(G)$, order-sum graph $\Gamma_{OS}(G)$ and non-inverse graph $\Gamma_{NI}(G)$ are minimally edge connected graphs. We also classify all the finite groups $G$ for that, these graphs are minimally connected. We also classify some groups for that the co-prime graph $\Gamma_{CP}(G)$ has minimal edge connectedness. In final part, we classify all the finite groups $G$ for that co-prime graph $\Gamma_{CP}(G)$ is minimally connected.

Combinatorics
Multidegrees of binomial edge ideals

Jacob Cooper,Ethan Leventhal

2024-05-13

Abstract:Let $G$ be a simple graph with binomial edge ideal $J_G$. We prove how to calculate the multidegree of $J_G$ based on combinatorial properties of $G$. In particular, we study the set $S_{\min}(G)$ defined as the collection of subsets of vertices whose prime ideals have minimum codimension. We provide results which assist in determining $S_{\min}(G)$, then calculate $S_{\min}(G)$ for star, horned complete, barbell, cycle, wheel, and friendship graphs, and use the main result of the paper to obtain the multidegrees of their binomial edge ideals.

Commutative Algebra,Combinatorics
The minimal resolution of a cointerval edge ideal is multiplicative

Emil Sköldberg

DOI: https://doi.org/10.48550/arXiv.1609.07356

2016-09-23

Abstract:We show that the minimal resolution of the quotient of the polynomial algebra over a field by a cointerval edge ideal can be given the structure of a DG-algebra.

Commutative Algebra
Homological Linear Quotients And Edge Ideals Of Graphs

NADIA TAGHIPOUR,SHAMILA BAYATI,FARHAD RAHMATI

DOI: https://doi.org/10.1017/s0004972723001363

2024-01-30

Bulletin of the Australian Mathematical Society

Abstract:It is well known that the edge ideal of a simple graph G has linear quotients if and only if is chordal. We investigate when the property of having linear quotients is inherited by homological shift ideals of an edge ideal. We will see that adding a cluster to the graph when has homological linear quotients results in a graph with the same property. In particular, has homological linear quotients when is a block graph. We also show that adding pinnacles to trees preserves the property of having homological linear quotients for the edge ideal of their complements. Furthermore, has homological linear quotients for every graph G such that is a -minimal chordal graph.

mathematics

Powers of Edge Ideals of Graphs with Minimal Cellular Resolutions

Minimal Free Resolutions of Edge Ideals of Edge-Weighted Complete Bipartite Graphs

Minimal Cellular Resolutions of Path Ideals

Gapfree graphs and powers of edge ideals with linear quotients

Powers of Edge Ideals with Linear Quotients

Some Bounds for the Regularity of the Edge Ideals and Their Powers in a Certain Class of Graphs

On the minimal (edge) connectivity of graphs and its applications to power graphs of finite groups

An upper bound for the regularity of powers of edge ideals

Minimal cellular resolutions of powers of matching field ideals

Associated primes of powers of edge ideals

Binomial edge ideals with pure resolutions

Powers of generalized binomial edge ideals of path graphs

Normally torsion-free edge ideals of weighted oriented graphs

Linear quotients of connected ideals of graphs

Barile–Macchia resolutions

On the $\mathrm{v}$-number of binomial edge ideals of some classes of graphs

Properties of symbolic powers of edge ideals of weighted oriented graphs

The Minimal (Edge) Connectivity of Some Graphs of Finite Groups

Multidegrees of binomial edge ideals

The minimal resolution of a cointerval edge ideal is multiplicative

Homological Linear Quotients And Edge Ideals Of Graphs