• ### Edge ideals of oriented graphs(1805.04167)

May 10, 2018 math.AC
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the underlying graph of $\mathcal{D}$ is a bipartite graph. When $I(\mathcal{D})$ fails to be Cohen-Macaulay, we give an instance where $I(\mathcal{D})$ is shown to be sequentially Cohen-Macaulay.
• ### Symbolic powers of edge ideals of graphs(1805.03428)

May 9, 2018 math.AC
Let $G$ be a graph and let $I = I(G)$ be its edge ideal. When $G$ is unicyclic, we give a decomposition of symbolic powers of $I$ in terms of its ordinary powers. This allows us to explicitly compute the Waldschmidt constant, the resurgence number, and the symbolic defect for $I$. When $G$ is an odd cycle, we explicitly compute the regularity of $I^{(s)}$ for all $s \in \mathbb{N}$. In doing so, we also give a natural lower bound for the regularity function $\text{reg } I^{(s)}$, for $s \in \mathbb{N}$, for an arbitrary graph $G$.
• ### Regularity of powers of edge ideals: from local properties to global bounds(1805.01434)

May 7, 2018 math.CO, math.AC
Let $I = I(G)$ be the edge ideal of a graph $G$. We give various general upper bounds for the regularity function $\text{ reg } I^s$, for $s \ge 1$, addressing a conjecture made by the authors and Alilooee. When $G$ is a gap-free graph and locally of regularity 2, we show that $\text{ reg } I^s = 2s$ for all $s \ge 2$. This is a slightly weaker version of a conjecture of Nevo and Peeva. Our method is to investigate the regularity function $\text{ reg }I^s$, for $s \ge 1$, via local information of $I$.
• ### Regularity of Edge Ideals and Their Powers(1712.00887)

March 11, 2018 math.CO, math.AC
We survey recent studies on the Castelnuovo-Mumford regularity of edge ideals of graphs and their powers. Our focus is on bounds and exact values of $\text{ reg } I(G)$ and the asymptotic linear function $\text{ reg } I(G)^q$, for $q \geq 1,$ in terms of combinatorial data of the given graph $G.$
• ### Depth and regularity modulo a principal ideal(1706.09675)

Jan. 29, 2018 math.CO, math.AG, math.AC
We study the relationship between depth and regularity of a homogeneous ideal I and those of (I,f) and I:f, where f is a linear form or a monomial. Our results has several interesting consequences on depth and regularity of edge ideals of hypegraphs and of powers of ideals.
• ### Algebraic properties of toric rings of graphs(1703.08270)

July 12, 2017 math.AC
Let $G = (V,E)$ be a simple graph. We investigate the Cohen-Macaulayness and algebraic invariants, such as the Castelnuovo-Mumford regularity and the projective dimension, of the toric ring $k[G]$ via those of toric rings associated to induced subgraphs of $G$.
• ### Symbolic powers of sums of ideals(1702.01766)

April 16, 2019 math.AG, math.AC
Let $I$ and $J$ be nonzero ideals in two Noetherian algebras $A$ and $B$ over a field $k$. Let $I+J$ denote the ideal generated by $I$ and $J$ in $A\otimes_k B$. We prove the following expansion for the symbolic powers: $$(I+J)^{(n)} = \sum_{i+j = n} I^{(i)} J^{(j)}.$$ If $A$ and $B$ are polynomial rings and if chara$(k) = 0$ or if $I$ and $J$ are monomial ideals, we give exact formulas for the depth and the Castelnuovo-Mumford regularity of $(I+J)^{(n)}$, which depend on the interplay between the symbolic powers of $I$ and $J$. The proof involves a result of independent interest which states that under the above assumption, the induced map Tor$_i^A(k,I^{(n)}) \to$ Tor$_i^A(k,I^{(n-1)})$ is zero for all $i \ge 0$, $n \ge 0$. We also investigate other properties and invariants of $(I+J)^{(n)}$ such as the equality between ordinary and symbolic powers, the Waldschmidt constant and the Cohen-Macaulayness.
• ### Results on the regularity of square-free monomial ideals(1301.6779)

Nov. 16, 2016 math.CO, math.AC
In a 2008 paper, the first author and Van Tuyl proved that the regularity of the edge ideal of a graph G is at most one greater than the matching number of G. In this note, we provide a generalization of this result to any square-free monomial ideal. We define a 2-collage in a simple hypergraph to be a collection of edges with the property that for any edge E of the hypergraph, there exists an edge F in the collage such that |E \ F| < 2. The Castelnuovo-Mumford regularity of the edge ideal of a simple hypergraph is bounded above by a multiple of the minimum size of a 2-collage. We also give a recursive formula to compute the regularity of a vertex-decomposable hypergraph. Finally, we show that regularity in the graph case is bounded by a certain statistic based on maximal packings of nondegenerate star subgraphs.
• ### Symbolic Powers of Monomial Ideals(1309.5082)

Jan. 24, 2016 math.CO, math.AC
We investigate symbolic and regular powers of monomial ideals. For a square-free monomial ideal $I$ in $k[x_0, \ldots, x_n]$ we show $I^{t(m+e-1)-e+r)}$ is a subset of $M^{(t-1)(e-1)+r-1}(I^{(m)})^t$ for all positive integers $m$, $t$ and $r$, where $e$ is the big-height of $I$ and $M = (x_0, \ldots, x_n)$. This captures two conjectures ($r=1$ and $r=e$): one of Harbourne-Huneke and one of Bocci-Cooper-Harbourne. We also introduce the symbolic polyhedron of a monomial ideal and use this to explore symbolic powers of non-square-free monomial ideals.
• ### Depth and regularity of powers of sums of ideals(1501.06038)

Jan. 1, 2016 math.AG, math.AC
Given arbitrary homogeneous ideals $I$ and $J$ in polynomial rings $A$ and $B$ over a field $k$, we investigate the depth and the Castelnuovo-Mumford regularity of powers of the sum $I+J$ in $A \otimes_k B$ in terms of those of $I$ and $J$. Our results can be used to study the behavior of the depth and regularity functions of powers of an ideal. For instance, we show that such a depth function can take as its values any infinite non-increasing sequence of non-negative integers.
• ### Betti numbers of subgraphs(1510.04463)

Oct. 15, 2015 math.AC
Let $G$ be a simple graph on $n$ vertices. Let $H$ be either the complete graph $K_m$ or the complete bipartite graph $K_{r,s}$ on a subset of the vertices in $G$. We show that $G$ contains $H$ as a subgraph if and only if $\beta_{i,\alpha}(H) \le \beta_{i,\alpha}(G)$ for all $i \ge 0$ and $\alpha \in \mathbb{Z}^n$. In fact, it suffices to consider only the first syzygy module. In particular, we prove that $\beta_{1,\alpha}(H) \le \beta_{1,\alpha}(G)$ for all $\alpha \in \mathbb{Z}^n$ if and only if $G$ contains a subgraph that is isomorphic to either $H$ or a multipartite graph $K_{2,\dots,2,a,b}$.
• ### Regularity of powers of forests and cycles(1409.0277)

May 11, 2015 math.CO, math.AC
Let G be a graph and let I = I(G) be its edge ideal. In this paper, when G is a forest or a cycle, we explicitly compute the regularity of I^s for all s > 0. In particular, for these classes of graphs, we provide the asymptotic linear function reg(I^s) as s > 0, and the initial value of s starting from which reg(I^s) attains its linear form. We also give new bounds on the regularity of I when G contains a Hamiltonian path and when G is a Hamiltonian graph.
• ### Squarefree monomial ideals that fail the persistence property and non-increasing depth(1405.6809)

Sept. 5, 2014 math.AC
In a recent work, Kaiser, Stehl\'ik and \v{S}krekovski provide a family of critically 3-chromatic graphs whose expansions do not result in critically 4-chromatic graphs, and thus give counterexamples to a conjecture of Francisco, Ha and Van Tuyl. The cover ideal of the smallest member of this family also gives a counterexample to the persistence and non-increasing depth properties. In this paper, we show that the cover ideals of all members of their family of graphs indeed fail to have the persistence and non-increasing depth properties.
• ### Normal 0-1 polytopes(1309.4807)

Sept. 5, 2014 math.CO, math.AC
We study the question of when 0-1 polytopes are normal or, equivalently, having the integer decomposition property. In particular, we shall associate to each 0-1 polytope a labeled hypergraph, and examine the equality between its Ehrhart and polytopal rings via the combinatorial structures of the labeled hypergraph.
• ### Growth of multiplicities of graded families of ideals(1409.0816)

Sept. 2, 2014 math.AG, math.AC
Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d > 0$. Let $I_\bullet = \{I_n\}_{n \in \mathbb{N}}$ be a graded family of $\mathfrak{m}$-primary ideals in $R$. We examine how far off from a polynomial can the length function $\ell_R(R/I_n)$ be asymptotically. More specifically, we show that there exists a constant $\gamma > 0$ such that for all $n \ge 0$, $$\ell_R(R/I_{n+1}) - \ell_R(R/I_n) < \gamma n^{d-1}.$$
• ### Regularity of squarefree monomial ideals(1310.7912)

Nov. 4, 2013 math.AC
We survey a number of recent studies of the Castelnuovo-Mumford regularity of squarefree monomial ideals. Our focus is on bounds and exact values for the regularity in terms of combinatorial data from associated simplicial complexes and/or hypergraphs.
• ### The eventual shape of Betti tables of powers of ideals(1110.0383)

July 1, 2013 math.AG, math.AC
Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as the $t_i$s get large.
• ### Powers of squarefree monomial ideals and combinatorics(1303.6642)

March 26, 2013 math.CO, math.AC
We survey research relating algebraic properties of powers of squarefree monomial ideals to combinatorial structures. In particular, we describe how to detect important properties of (hyper)graphs by solving ideal membership problems and computing associated primes. This work leads to algebraic characterizations of perfect graphs independent of the Strong Perfect Graph Theorem. In addition, we discuss the equivalence between the Conforti-Cornuejols conjecture from linear programming and the question of when symbolic and ordinary powers of squarefree monomial ideals coincide.
• ### Partial coloring, vertex decomposability, and sequentially Cohen-Macaulay simplicial complexes(1209.3008)

Nov. 4, 2019 math.CO, math.AC
In attempting to understand how combinatorial modifications alter algebraic properties of monomial ideals, several authors have investigated the process of adding "whiskers" to graphs. In this paper, we study a similar construction to build a simplicial complex $\Delta_\chi$ from a coloring $\chi$ of a subset of the vertices of $\Delta$, and give necessary and sufficient conditions for this construction to produce vertex decomposable simplicial complexes. We apply this work to strengthen and give new proofs about sequentially Cohen-Macaulay edge ideals of graphs.
• ### Pure O-sequences and matroid h-vectors(1006.0325)

May 24, 2012 math.CO, math.AC
We study Stanley's long-standing conjecture that the h-vectors of matroid simplicial complexes are pure O-sequences. Our method consists of a new and more abstract approach, which shifts the focus from working on constructing suitable artinian level monomial ideals, as often done in the past, to the study of properties of pure O-sequences. We propose a conjecture on pure O-sequences and settle it in small socle degrees. This allows us to prove Stanley's conjecture for all matroids of rank 3. At the end of the paper, using our method, we discuss a first possible approach to Stanley's conjecture in full generality. Our technical work on pure O-sequences also uses very recent results of the third author and collaborators.
• ### Hilbert functions of double point schemes in P^2(1109.3610)

Sept. 16, 2011 math.AC
We study the question of whether there is a minimum Hilbert functions for double point schemes whose support is $s$ points with the generic Hilbert functions. Previous work shows that the question has an affirmative answer for $s \le 9$ and for $s$ equal to a binomial coefficient number. In this paper, we give evidence in the case when $s$ equals to a binomial coefficient number plus 1, and give an affirmative answer to the question when $s = 11$.
• ### Path ideals of rooted trees and their graded Betti numbers(1008.4829)

June 3, 2011 math.CO, math.AC
Let $\Gamma$ be a rooted tree and let $t$ be a positive integer. We study algebraic invariants and properties of the path ideal generated by monomial corresponding to paths of length $(t-1)$ in $\Gamma$. In particular, we give a recursive formula to compute the graded Betti numbers, a general bound for the regularity, an explicit computation of the linear strand, and we characterize when this path ideal has a linear resolution.
• ### Colorings of hypergraphs, perfect graphs, and associated primes of powers of monomial ideals(0908.1505)

Nov. 2, 2010 math.CO, math.AC
There is a natural one-to-one correspondence between squarefree monomial ideals and finite simple hypergraphs via the cover ideal construction. Let H be a finite simple hypergraph, and let J = J(H) be its cover ideal in a polynomial ring R. We give an explicit description of all associated primes of R/J^s, for any power J^s of J, in terms of the coloring properties of hypergraphs arising from H. We also give an algebraic method for determining the chromatic number of H, proving that it is equivalent to a monomial ideal membership problem involving powers of J. Our work yields two new purely algebraic characterizations of perfect graphs, independent of the Strong Perfect Graph Theorem; the first characterization is in terms of the sets Ass(R/J^s), while the second characterization is in terms of the saturated chain condition for associated primes.
• ### A conjecture on critical graphs and connections to the persistence of associated primes(0911.1978)

April 19, 2010 math.CO, math.AC
We introduce a conjecture about constructing critically (s+1)-chromatic graphs from critically s-chromatic graphs. We then show how this conjecture implies that any unmixed height two square-free monomial ideal I, i.e., the cover ideal of a finite simple graph, has the persistence property, that is, Ass(R/I^s) \subseteq Ass(R/I^{s+1}) for all s >= 1. To support our conjecture, we prove that the statement is true if we also assume that \chi_f(G), the fractional chromatic number of the graph G, satisfies \chi(G) -1 < \chi_f(G) <= \chi(G). We give an algebraic proof of this result.
• ### Asymptotic linearity of regularity and a*-invariant of powers of ideals(0911.5537)

April 6, 2010 math.AG, math.AC
Let X = Proj R be a projective scheme over a field k, and let I be an ideal in R generated by forms of the same degree d. Let Y --> X be the blowing up of X along the subscheme defined by I, and let f: Y --> Z be the projection of Y given by the divisor dH - E, where E is the exceptional divisor of the blowup and H is the pullback of a general hyperplane in X. We investigate how the asymptotic linearity of the regularity and a*-invariant of I^q (for q large) is related to invariants of fibers of f.