Showing 1–50 of 88 results for author: Van Tuyl, A

Comparing the $\mathrm{v}$-number and $h$-polynomials of edge ideals

Authors: Kamalesh Saha, Adam Van Tuyl

Abstract: In this paper, we compare the $\mathrm{v}$-numbers and the degree of the $h$-polynomials associated with edge ideals of connected graphs. We prove that the $\mathrm{v}$-number can be arbitrarily larger or smaller than the degree of the $h$-polynomial for the edge ideal of a connected graph. We also establish that for any pair of positive integers $(v,d)$ with $v \leq d$, there exists a connected g… ▽ More In this paper, we compare the $\mathrm{v}$-numbers and the degree of the $h$-polynomials associated with edge ideals of connected graphs. We prove that the $\mathrm{v}$-number can be arbitrarily larger or smaller than the degree of the $h$-polynomial for the edge ideal of a connected graph. We also establish that for any pair of positive integers $(v,d)$ with $v \leq d$, there exists a connected graph $H(v,d)$ with the $\mathrm{v}$-number equal to $v$ and the degree of $h$-polynomial equal to $d$. Additionally, we show that the sum of the $\mathrm{v}$-number and the degree of the $h$-polynomial is bounded above by $n$, the number of vertices of $G$, and we classify all graphs for which this sum is exactly $n$. Finally, we show that all thirteen possible inequalities among the three invariants, the $\mathrm{v}$-number, the degree of the $h$-polynomial, and the Castelnuovo-Mumford regularity, can occur in the case of edge ideals of connected graphs. Many of these examples rely on a minimal example of a graph whose $\mathrm{v}$-number is more than the degree of its $h$-polynomial. Using a computer search, we show that there are exactly two such graphs on 11 vertices and 25 edges, and no smaller example on fewer vertices, or 11 vertices and less than 25 edges. △ Less

Submitted 8 July, 2025; originally announced July 2025.

Comments: 25 pages, 11 figures. Comments are welcome

MSC Class: 05E40; 13D02; 13D40; 13F55; 05C69

Sign patterns which require or allow the strong multiplicity property

Authors: Abhilash Saha, Leona Tilis, Kevin N. Vander Meulen, Adam Van Tuyl

Abstract: We initiate a study of sign patterns that require or allow the non-symmetric strong multiplicity property (nSMP). We show that all cycle patterns require the nSMP, regardless of the number of nonzero diagonal entries. We present a class of Hessenberg patterns that require the nSMP. We characterize which star sign patterns require, which allow, and which do not allow the nSMP. We show that if a pat… ▽ More We initiate a study of sign patterns that require or allow the non-symmetric strong multiplicity property (nSMP). We show that all cycle patterns require the nSMP, regardless of the number of nonzero diagonal entries. We present a class of Hessenberg patterns that require the nSMP. We characterize which star sign patterns require, which allow, and which do not allow the nSMP. We show that if a pattern requires distinct eigenvalues, then it requires the nSMP. Further, we characterize the patterns that allow the nSMP as being precisely the set of patterns that allow distinct eigenvalues, a property that corresponds to a simple feature of the associated digraph. We also characterize the sign patterns of order at most three according to whether they require, allow, or do not allow the nSMP. △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: 17 pages; comments welcomed

The $h$-vectors of toric ideals of odd cycle compositions revisited

Authors: Kieran Bhaskara, Adam Van Tuyl, Sasha Zotine

Abstract: Let $G$ be a graph consisting of $s$ odd cycles that all share a common vertex. Bhaskara, Higashitani, and Shibu Deepthi recently computed the $h$-polynomial for the quotient ring $R/I_G$, where $I_G$ is the toric ideal of $G$, in terms of the number and sizes of odd cycles in the graph. The purpose of this note is to prove the stronger result that these toric ideals are geometrically vertex decom… ▽ More Let $G$ be a graph consisting of $s$ odd cycles that all share a common vertex. Bhaskara, Higashitani, and Shibu Deepthi recently computed the $h$-polynomial for the quotient ring $R/I_G$, where $I_G$ is the toric ideal of $G$, in terms of the number and sizes of odd cycles in the graph. The purpose of this note is to prove the stronger result that these toric ideals are geometrically vertex decomposable, which allows us to deduce the result of Bhaskara, Higashitani, and Shibu Deepthi about the $h$-polyhomial as a corollary. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 9 pages, comments welcome

MSC Class: 13D02; 13D40; 13P10; 13F65; 14M25; 05E40

Levelable graphs

Authors: Kieran Bhaskara, Michael Y. C. Chong, Takayuki Hibi, Naveena Ragunathan, Adam Van Tuyl

Abstract: We study a family of positive weighted well-covered graphs, which we call levelable graphs, that are related to a construction of level artinian rings in commutative algebra. A graph $G$ is levelable if there exists a weight function with positive integer values on the vertices of $G$ such that $G$ is well-covered with respect to this weight function. That is, the sum of the weights in any maximal… ▽ More We study a family of positive weighted well-covered graphs, which we call levelable graphs, that are related to a construction of level artinian rings in commutative algebra. A graph $G$ is levelable if there exists a weight function with positive integer values on the vertices of $G$ such that $G$ is well-covered with respect to this weight function. That is, the sum of the weights in any maximal independent set of vertices of $G$ is the same. We describe some of the basic properties of levelable graphs and classify the levelable graphs for some families of graphs, e.g., trees, cubic circulants, Cameron--Walker graphs. We also explain the connection between levelable graphs and a class of level artinian rings. Applying a result of Brown and Nowakowski about weighted well-covered graphs, we show that for most graphs, their edge ideals are not Cohen--Macaulay. △ Less

Submitted 11 April, 2025; v1 submitted 2 April, 2025; originally announced April 2025.

Comments: 22 pages; minor typos corrected

MSC Class: 05C69; 05E40; 13E10

Spheres and balls as independence complexes

Authors: Susan M. Cooper, Sara Faridi, Thiago Holleben, Lisa Nicklasson, Adam Van Tuyl

Abstract: The terms "whiskering", and more generally "grafting", refer to adding generators to any monomial ideal to make the resulting ideal Cohen-Macaulay. We investigate the independence complexes of simplicial complexes that are constructed through a whiskering or grafting process, and we show that these independence complexes are (generalized) Bier balls. More specifically, the independence complexes a… ▽ More The terms "whiskering", and more generally "grafting", refer to adding generators to any monomial ideal to make the resulting ideal Cohen-Macaulay. We investigate the independence complexes of simplicial complexes that are constructed through a whiskering or grafting process, and we show that these independence complexes are (generalized) Bier balls. More specifically, the independence complexes are either homeomorphic to a ball or a sphere. In a related direction, we classify when the independence complexes of very well-covered graphs are homeomorphic to balls or spheres. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Comments: Comments are welcome

MSC Class: 05E45; 13F55; 05C69

A classification of van der Waerden complexes with linear resolution

Authors: Takayuki Hibi, Adam Van Tuyl

Abstract: In 2017, Ehrenborg, Govindaiah, Park, and Readdy defined the van der Waerden complex ${\tt vdW}(n,k)$ to be the simplicial complex whose facets correspond to all the arithmetic sequences on the set $\{1,\ldots,n\}$ of a fixed length $k$. To complement a classification of the Cohen--Macaulay van der Waerden complexes obtained by Hooper and Van Tuyl in 2019, a classification of van der Waerden compl… ▽ More In 2017, Ehrenborg, Govindaiah, Park, and Readdy defined the van der Waerden complex ${\tt vdW}(n,k)$ to be the simplicial complex whose facets correspond to all the arithmetic sequences on the set $\{1,\ldots,n\}$ of a fixed length $k$. To complement a classification of the Cohen--Macaulay van der Waerden complexes obtained by Hooper and Van Tuyl in 2019, a classification of van der Waerden complexes with linear resolution is presented. Furthermore, we show that the Stanley--Reisner ring of a Cohen--Macaulay van der Waerden complex is level. △ Less

Submitted 4 March, 2025; originally announced March 2025.

Comments: 5 pages; comments welcomed

Partial Betti splittings with applications to binomial edge ideals

Authors: A. V. Jayanthan, Aniketh Sivakumar, Adam Van Tuyl

Abstract: We introduce the notion of a partial Betti splitting of a homogeneous ideal, generalizing the notion of a Betti splitting first given by Francisco, Hà, and Van Tuyl. Given a homogeneous ideal $I$ and two ideals $J$ and $K$ such that $I = J+K$, a partial Betti splitting of $I$ relates some of the graded Betti of $I$ with those of $J, K$, and $J\cap K$. As an application, we focus on the partial Bet… ▽ More We introduce the notion of a partial Betti splitting of a homogeneous ideal, generalizing the notion of a Betti splitting first given by Francisco, Hà, and Van Tuyl. Given a homogeneous ideal $I$ and two ideals $J$ and $K$ such that $I = J+K$, a partial Betti splitting of $I$ relates some of the graded Betti of $I$ with those of $J, K$, and $J\cap K$. As an application, we focus on the partial Betti splittings of binomial edge ideals. Using this new technique, we generalize results of Saeedi Madani and Kiani related to binomial edge ideals with cut edges, we describe a partial Betti splitting for all binomial edge ideals, and we compute the total second Betti number of binomial edge ideals of trees. △ Less

Submitted 5 December, 2024; originally announced December 2024.

Comments: 26 pages

Simplicial complexes with many facets are vertex decomposable

Authors: Anton Dochtermann, Ritika Nair, Jay Schweig, Adam Van Tuyl, Russ Woodroofe

Abstract: Suppose $Δ$ is a pure simplicial complex on $n$ vertices having dimension $d$ and let $c = n-d-1$ be its codimension in the simplex. Terai and Yoshida proved that if the number of facets of $Δ$ is at least $\binom{n}{c}-2c+1$, then $Δ$ is Cohen-Macaulay. We improve this result by showing that these hypotheses imply the stronger condition that $Δ$ is vertex decomposable. We give examples to show th… ▽ More Suppose $Δ$ is a pure simplicial complex on $n$ vertices having dimension $d$ and let $c = n-d-1$ be its codimension in the simplex. Terai and Yoshida proved that if the number of facets of $Δ$ is at least $\binom{n}{c}-2c+1$, then $Δ$ is Cohen-Macaulay. We improve this result by showing that these hypotheses imply the stronger condition that $Δ$ is vertex decomposable. We give examples to show that this bound is optimal, and that the conclusion cannot be strengthened to the class of matroids or shifted complexes. We explore an application to Simon's Conjecture and discuss connections to other results from the literature. △ Less

Submitted 26 October, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: In this version, included a connection to geometric vertex decomposability in the end. Modified the statement of Lemma 3.3, and proof of Theorem 1, along with other minor changes. Set to appear in the Electronic Journal of Combinatorics

MSC Class: 05E40; 05E45; 13F55

Journal ref: Electron. J. Combin. 31 (2024), no. 4, P4.34

Conditions for Virtually Cohen--Macaulay Simplicial Complexes

Authors: Jay Yang, Adam Van Tuyl

Abstract: A simplicial complex $Δ$ is a virtually Cohen-Macaulay simplicial complex if its associated Stanley-Reisner ring $S$ has a virtual resolution, as defined by Berkesch, Erman, and Smith, of length ${\rm codim}(S)$. We provide a sufficient condition on $Δ$ to be a virtually Cohen-Macaulay simplicial complex. We also introduce virtually shellable simplicial complexes, a generalization of shellable sim… ▽ More A simplicial complex $Δ$ is a virtually Cohen-Macaulay simplicial complex if its associated Stanley-Reisner ring $S$ has a virtual resolution, as defined by Berkesch, Erman, and Smith, of length ${\rm codim}(S)$. We provide a sufficient condition on $Δ$ to be a virtually Cohen-Macaulay simplicial complex. We also introduce virtually shellable simplicial complexes, a generalization of shellable simplicial complexes. Virtually shellable complexes have the property that they are virtually Cohen-Macaulay, generalizing the well-known fact that shellable simplicial complexes are Cohen-Macaulay. △ Less

Submitted 8 December, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Three invariants of geometrically vertex decomposable ideals

Authors: Thai Thanh Nguyen, Jenna Rajchgot, Adam Van Tuyl

Abstract: We study three invariants of geometrically vertex decomposable ideals: the Castelnuovo-Mumford regularity, the multiplicity, and the $a$-invariant. We show that these invariants can be computed recursively using the ideals that appear in the geometric vertex decomposition process. As an application, we prove that the $a$-invariant of a geometrically vertex decomposable ideal is non-positive. We al… ▽ More We study three invariants of geometrically vertex decomposable ideals: the Castelnuovo-Mumford regularity, the multiplicity, and the $a$-invariant. We show that these invariants can be computed recursively using the ideals that appear in the geometric vertex decomposition process. As an application, we prove that the $a$-invariant of a geometrically vertex decomposable ideal is non-positive. We also recover some previously known results in the literature including a formula for the regularity of the Stanley--Reisner ideal of a pure vertex decomposable simplicial complex, and proofs that some well-known families of ideals are Hilbertian. Finally, we apply our recursions to the study of toric ideals of bipartite graphs. Included among our results on this topic is a new proof for a known bound on the $a$-invariant of a toric ideal of a bipartite graph. △ Less

Submitted 14 November, 2023; originally announced November 2023.

MSC Class: 13P10; 14M25; 05E40

Journal ref: Pacific J. Math. 333 (2024) 357-390

Fröberg's Theorem, vertex splittability and higher independence complexes

Authors: Priyavrat Deshpande, Amit Roy, Anurag Singh, Adam Van Tuyl

Abstract: A celebrated theorem of Fröberg gives a complete combinatorial classification of quadratic square-free monomial ideals with a linear resolution. A generalization of this theorem to higher degree square-free monomial ideals is an active area of research. The existence of a linear resolution of such ideals often depends on the field over which the polynomial ring is defined. Hence, it is too much to… ▽ More A celebrated theorem of Fröberg gives a complete combinatorial classification of quadratic square-free monomial ideals with a linear resolution. A generalization of this theorem to higher degree square-free monomial ideals is an active area of research. The existence of a linear resolution of such ideals often depends on the field over which the polynomial ring is defined. Hence, it is too much to expect that in the higher degree case a linear resolution can be identified purely using a combinatorial feature of an associated combinatorial structure. However, some classes of ideals having linear resolutions have been identified using combinatorial structures. In the present paper, we use the notion of $r$-independence to construct an $r$-uniform hypergraph from the given graph. We then show that when the underlying graph is co-chordal, the corresponding edge ideal is vertex splittable, a condition stronger than having a linear resolution. We use this result to explicitly compute graded Betti numbers for various graph classes. Finally, we give a different proof for the existence of a linear resolution using the topological notion of $r$-collapsibility. △ Less

Submitted 11 March, 2024; v1 submitted 4 November, 2023; originally announced November 2023.

Comments: Final version. Accepted for publication in Journal of Commutative Algebra

MSC Class: 13F55; 05E45

The weak Lefschetz property of whiskered graphs

Authors: Susan M. Cooper, Sara Faridi, Thiago Holleben, Lisa Nicklasson, Adam Van Tuyl

Abstract: We consider Artinian level algebras arising from the whiskering of a graph. Employing a result by Dao-Nair we show that multiplication by a general linear form has maximal rank in degrees 1 and $n-1$ when the characteristic is not two, where $n$ is the number of vertices in the graph. Moreover, the multiplication is injective in degrees $<n/2$ when the characteristic is zero, following a proof by… ▽ More We consider Artinian level algebras arising from the whiskering of a graph. Employing a result by Dao-Nair we show that multiplication by a general linear form has maximal rank in degrees 1 and $n-1$ when the characteristic is not two, where $n$ is the number of vertices in the graph. Moreover, the multiplication is injective in degrees $<n/2$ when the characteristic is zero, following a proof by Hausel. Our result in the characteristic zero case is optimal in the sense that there are whiskered graphs for which the multiplication maps in all intermediate degrees $n/2,\ldots,n-2$ of the associated Artinian algebras fail to have maximal rank, and consequently, the weak Lefschetz property. △ Less

Submitted 2 October, 2023; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: 13 pages; revised version improves the main result (Cor. 3.2)

MSC Class: 13E10; 13F20; 13F55; 05E45

Down-left graphs and a connection to toric ideals of graphs

Authors: Jennifer Biermann, Beth Anne Castellano, Marcella Manivel, Eden Petrucelli, Adam Van Tuyl

Abstract: We introduce a family of graphs, which we call down-left graphs, and study their combinatorial and algebraic properties. We show that members of this family are well-covered, $C_5$-free, and vertex decomposable. By applying a result of Hà-Woodroofe and Moradi--Khosh-Ahang, the (Castelnuovo-Mumford) regularity of the associated edge ideals is the induced matching number of the graph. As an applicat… ▽ More We introduce a family of graphs, which we call down-left graphs, and study their combinatorial and algebraic properties. We show that members of this family are well-covered, $C_5$-free, and vertex decomposable. By applying a result of Hà-Woodroofe and Moradi--Khosh-Ahang, the (Castelnuovo-Mumford) regularity of the associated edge ideals is the induced matching number of the graph. As an application, we give a combinatorial interpretation for the regularity of the toric ideals of chordal bipartite graphs that are $(K_{3,3} \setminus e)$-free. △ Less

Submitted 15 May, 2023; v1 submitted 27 April, 2023; originally announced April 2023.

MSC Class: 13F55 (Primary) 13D02; 13H02; 14M25 (Secondary)

Journal ref: Involve 18 (2025) 437-458

Comparing invariants of toric ideals of bipartite graphs

Authors: Kieran Bhaskara, Adam Van Tuyl

Abstract: Let $G$ be a finite simple graph and let $I_G$ denote its associated toric ideal in the polynomial ring $R$. For each integer $n\geq 2$, we completely determine all the possible values for the tuple $({\rm reg}(R/I_G), {\rm deg}(h_{R/I_G}(t)),{\rm pdim}(R/I_G), {\rm depth}(R/I_G),\dim(R/I_G))$ when $G$ is a connected bipartite graph on $n$ vertices. Let $G$ be a finite simple graph and let $I_G$ denote its associated toric ideal in the polynomial ring $R$. For each integer $n\geq 2$, we completely determine all the possible values for the tuple $({\rm reg}(R/I_G), {\rm deg}(h_{R/I_G}(t)),{\rm pdim}(R/I_G), {\rm depth}(R/I_G),\dim(R/I_G))$ when $G$ is a connected bipartite graph on $n$ vertices. △ Less

Submitted 1 April, 2023; v1 submitted 26 March, 2023; originally announced March 2023.

Comments: 14 pages, updated references and added Remark 2.12, comments welcome

MSC Class: 13D02 (Primary) 13P10; 13D40; 14M25; 05E40 (Secondary)

Journal ref: Proc. Amer. Math. Soc. Ser. B 10 (2023), 219-232

Condition Numbers of Hessenberg Companion Matrices

Authors: Michael Cox, Kevin N. Vander Meulen, Adam Van Tuyl, Joseph Voskamp

Abstract: The Fiedler matrices are a large class of companion matrices that include the well-known Frobenius companion matrix. The Fiedler matrices are part of a larger class of companion matrices that can be characterized with a Hessenberg form. In this paper, we demonstrate that the Hessenberg form of the Fiedler companion matrices provides a straight-forward way to compare the condition numbers of these… ▽ More The Fiedler matrices are a large class of companion matrices that include the well-known Frobenius companion matrix. The Fiedler matrices are part of a larger class of companion matrices that can be characterized with a Hessenberg form. In this paper, we demonstrate that the Hessenberg form of the Fiedler companion matrices provides a straight-forward way to compare the condition numbers of these matrices. We also show that there are other companion matrices which can provide a much smaller condition number than any Fiedler companion matrix. We finish by exploring the condition number of a class of matrices obtained from perturbing a Frobenius companion matrix while preserving the characteristic polynomial. △ Less

Submitted 30 January, 2023; originally announced January 2023.

Comments: 16 pages; comments welcomed

MSC Class: 15A12; 15B99

Hadamard Products and Binomial Ideals

Authors: Büşra Atar, Kieran Bhaskara, Adrian Cook, Sergio Da Silva, Megumi Harada, Jenna Rajchgot, Adam Van Tuyl, Runyue Wang, Jay Yang

Abstract: We study the Hadamard product of two varieties $V$ and $W$, with particular attention to the situation when one or both of $V$ and $W$ is a binomial variety. The main result of this paper shows that when $V$ and $W$ are both binomial varieties, and the binomials that define $V$ and $W$ have the same binomial exponents, then the defining equations of $V \star W$ can be computed explicitly and direc… ▽ More We study the Hadamard product of two varieties $V$ and $W$, with particular attention to the situation when one or both of $V$ and $W$ is a binomial variety. The main result of this paper shows that when $V$ and $W$ are both binomial varieties, and the binomials that define $V$ and $W$ have the same binomial exponents, then the defining equations of $V \star W$ can be computed explicitly and directly from the defining equations of $V$ and $W$. This result recovers known results about Hadamard products of binomial hypersurfaces and toric varieties. Moreover, as an application of our main result, we describe a relationship between the Hadamard product of the toric ideal $I_G$ of a graph $G$ and the toric ideal $I_H$ of a subgraph $H$ of $G$. We also derive results about algebraic invariants of Hadamard products: assuming $V$ and $W$ are binomial with the same exponents, we show that $\text{deg}(V\star W) = \text{deg}(V)=\text{deg}(W)$ and $\dim(V\star W) = \dim(V)=\dim(W)$. Finally, given any (not necessarily binomial) projective variety $V$ and a point $p \in \mathbb{P}^n \setminus \mathbb{V}(x_0x_1\cdots x_n)$, subject to some additional minor hypotheses, we find an explicit binomial variety that describes all the points $q$ that satisfy $p \star V = q\star V$. △ Less

Submitted 25 November, 2022; originally announced November 2022.

Comments: 24 pages, comments welcome

MSC Class: 13F65; 14N05; 14M99

The GeometricDecomposability package for Macaulay2

Authors: Mike Cummings, Adam Van Tuyl

Abstract: Using the geometric vertex decomposition property first defined by Knutson, Miller, and Yong, a recursive definition for geometrically vertex decomposable ideals was given by Klein and Rajchgot. We introduce the Macaulay2 package GeometricDecomposability which provides a suite of tools to experiment and test the geometric vertex decomposability property of an ideal. Using the geometric vertex decomposition property first defined by Knutson, Miller, and Yong, a recursive definition for geometrically vertex decomposable ideals was given by Klein and Rajchgot. We introduce the Macaulay2 package GeometricDecomposability which provides a suite of tools to experiment and test the geometric vertex decomposability property of an ideal. △ Less

Submitted 26 January, 2024; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: 8 pages; revised version; to appear JSAG

Journal ref: J. Softw. Alg. Geom. 14 (2024) 41-50

Geometric vertex decomposition and liaison for toric ideals of graphs

Authors: Mike Cummings, Sergio Da Silva, Jenna Rajchgot, Adam Van Tuyl

Abstract: The geometric vertex decomposability property for polynomial ideals is an ideal-theoretic generalization of the vertex decomposability property for simplicial complexes. Indeed, a homogeneous geometrically vertex decomposable ideal is radical and Cohen-Macaulay, and is in the Gorenstein liaison class of a complete intersection (glicci). In this paper, we initiate an investigation into when the tor… ▽ More The geometric vertex decomposability property for polynomial ideals is an ideal-theoretic generalization of the vertex decomposability property for simplicial complexes. Indeed, a homogeneous geometrically vertex decomposable ideal is radical and Cohen-Macaulay, and is in the Gorenstein liaison class of a complete intersection (glicci). In this paper, we initiate an investigation into when the toric ideal $I_G$ of a finite simple graph $G$ is geometrically vertex decomposable. We first show how geometric vertex decomposability behaves under tensor products, which allows us to restrict to connected graphs. We then describe a graph operation that preserves geometric vertex decomposability, thus allowing us to build many graphs whose corresponding toric ideals are geometrically vertex decomposable. Using work of Constantinescu and Gorla, we prove that toric ideals of bipartite graphs are geometrically vertex decomposable. We also propose a conjecture that all toric ideals of graphs with a square-free degeneration with respect to a lexicographic order are geometrically vertex decomposable. As evidence, we prove the conjecture in the case that the universal Gröbner basis of $I_G$ is a set of quadratic binomials. We also prove that some other families of graphs have the property that $I_G$ is glicci. △ Less

Submitted 17 August, 2023; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: 37 pages; in this revised version, Section 7 has been removed due to an error in the example found in previous versions

MSC Class: 13P10; 14M25; 05E40; 13C04

Journal ref: Algebraic Combinatorics, Vol. 6 (2023), No. 4, p. 965-997

Powers of componentwise linear ideals: The Herzog--Hibi--Ohsugi Conjecture and related problems

Authors: Huy Tai Ha, Adam Van Tuyl

Abstract: In 1999 Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal $I$ is componentwise linear if for all non-negative integers $d$, the ideal generated by the homogeneous elements of degree $d$ in $I$ has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen-Macaulay for the corre… ▽ More In 1999 Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal $I$ is componentwise linear if for all non-negative integers $d$, the ideal generated by the homogeneous elements of degree $d$ in $I$ has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen-Macaulay for the corresponding simplicial complexes. In general, the property of being componentwise linear is not preserved by taking powers. In 2011, Herzog, Hibi, and Ohsugi conjectured that if $I$ is the cover ideal of a chordal graph, then $I^s$ is componentwise linear for all $s \geq 1$. We survey some of the basic properties of componentwise linear ideals, and then specialize to the progress on the Herzog-Hibi-Ohsugi conjecture during the last decade. We also survey the related problem of determining when the symbolic powers of a cover ideal are componentwise linear. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: 27 pages; comments welcome

Virtual resolutions of points in $\mathbb{P}^1 \times \mathbb{P}^1$

Authors: Megumi Harada, Maryam Nowroozi, Adam Van Tuyl

Abstract: We explore explicit virtual resolutions, as introduced by Berkesch, Erman, and Smith, for ideals of sets of points in $\mathbb{P}^1 \times \mathbb{P}^1$. Specifically, we describe a virtual resolution for a sufficiently general set of points $X$ in $\mathbb{P}^1 \times \mathbb{P}^1$ that only depends on $|X|$. We also improve an existence result of Berkesch, Erman, and Smith in the special case of… ▽ More We explore explicit virtual resolutions, as introduced by Berkesch, Erman, and Smith, for ideals of sets of points in $\mathbb{P}^1 \times \mathbb{P}^1$. Specifically, we describe a virtual resolution for a sufficiently general set of points $X$ in $\mathbb{P}^1 \times \mathbb{P}^1$ that only depends on $|X|$. We also improve an existence result of Berkesch, Erman, and Smith in the special case of points in $\mathbb{P}^1 \times \mathbb{P}^1$; more precisely, we give an effective bound for their construction that gives a virtual resolution of length two for any set of points in $\mathbb{P}^1 \times \mathbb{P}^1$. △ Less

Submitted 12 April, 2022; v1 submitted 4 June, 2021; originally announced June 2021.

Comments: 19 pages

MSC Class: Primary: 13D02; Secondary: 14M05; 14M25

On the Waldschmidt constant of square-free principal Borel ideals

Authors: Eduardo Camps Moreno, Craig Kohne, Eliseo Sarmiento, Adam Van Tuyl

Abstract: Fix a square-free monomial $m \in S = \mathbb{K}[x_1,\ldots,x_n]$. The square-free principal Borel ideal generated by $m$, denoted ${\rm sfBorel}(m)$, is the ideal generated by all the square-free monomials that can be obtained via Borel moves from the monomial $m$. We give upper and lower bounds for the Waldschmidt constant of ${\rm sfBorel}(m)$ in terms of the support of $m$, and in some cases,… ▽ More Fix a square-free monomial $m \in S = \mathbb{K}[x_1,\ldots,x_n]$. The square-free principal Borel ideal generated by $m$, denoted ${\rm sfBorel}(m)$, is the ideal generated by all the square-free monomials that can be obtained via Borel moves from the monomial $m$. We give upper and lower bounds for the Waldschmidt constant of ${\rm sfBorel}(m)$ in terms of the support of $m$, and in some cases, exact values. For any rational $\frac{a}{b} \geq 1$, we show that there exists a square-free principal Borel ideal with Waldschmidt constant equal to $\frac{a}{b}$. △ Less

Submitted 15 May, 2021; originally announced May 2021.

Comments: 13 pages

MSC Class: 13F20; 13F55

Powers of Principal $Q$-Borel ideals

Authors: Eduardo Camps Moreno, Craig Kohne, Eliseo Sarmiento, Adam Van Tuyl

Abstract: Fix a poset $Q$ on $\{x_1,\ldots,x_n\}$. A $Q$-Borel monomial ideal $I \subseteq \mathbb{K}[x_1,\ldots,x_n]$ is a monomial ideal whose monomials are closed under the Borel-like moves induced by $Q$. A monomial ideal $I$ is a principal $Q$-Borel ideal, denoted $I=Q(m)$, if there is a monomial $m$ such that all the minimal generators of $I$ can be obtained via $Q$-Borel moves from $m$. In this paper… ▽ More Fix a poset $Q$ on $\{x_1,\ldots,x_n\}$. A $Q$-Borel monomial ideal $I \subseteq \mathbb{K}[x_1,\ldots,x_n]$ is a monomial ideal whose monomials are closed under the Borel-like moves induced by $Q$. A monomial ideal $I$ is a principal $Q$-Borel ideal, denoted $I=Q(m)$, if there is a monomial $m$ such that all the minimal generators of $I$ can be obtained via $Q$-Borel moves from $m$. In this paper we study powers of principal $Q$-Borel ideals. Among our results, we show that all powers of $Q(m)$ agree with their symbolic powers, and that the ideal $Q(m)$ satisfies the persistence property for associated primes. We also compute the analytic spread of $Q(m)$ in terms of the poset $Q$. △ Less

Submitted 16 August, 2021; v1 submitted 26 October, 2020; originally announced October 2020.

Well-covered Token Graphs

Authors: F. M. Abdelmalek, Esther Vander Meulen, Kevin N. Vander Meulen, Adam Van Tuyl

Abstract: The $k$-token graph $T_k(G)$ is the graph whose vertices are the $k$-subsets of vertices of a graph $G$, with two vertices of $T_k(G)$ adjacent if their symmetric difference is an edge of $G$. We explore when $T_k(G)$ is a well-covered graph, that is, when all of its maximal independent sets have the same cardinality. For bipartite graphs $G$, we classify when $T_k(G)$ is well-covered. For an arbi… ▽ More The $k$-token graph $T_k(G)$ is the graph whose vertices are the $k$-subsets of vertices of a graph $G$, with two vertices of $T_k(G)$ adjacent if their symmetric difference is an edge of $G$. We explore when $T_k(G)$ is a well-covered graph, that is, when all of its maximal independent sets have the same cardinality. For bipartite graphs $G$, we classify when $T_k(G)$ is well-covered. For an arbitrary graph $G$, we show that if $T_2(G)$ is well-covered, then the girth of $G$ is at most four. We include upper and lower bounds on the independence number of $T_k(G)$, and provide some families of well-covered token graphs. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Comments: 21 pages

MSC Class: 05C69

Homological invariants of Cameron--Walker graphs

Authors: Takayuki Hibi, Hiroju Kanno, Kyouko Kimura, Kazunori Matsuda, Adam Van Tuyl

Abstract: Let $G$ be a finite simple connected graph on $[n]$ and $R = K[x_1, \ldots, x_n]$ the polynomial ring in $n$ variables over a field $K$. The edge ideal of $G$ is the ideal $I(G)$ of $R$ which is generated by those monomials $x_ix_j$ for which $\{i, j\}$ is an edge of $G$. In the present paper, the possible tuples $(n, {\rm depth} (R/I(G)), {\rm reg} (R/I(G)), \dim R/I(G), {\rm deg} \ h(R/I(G)))$,… ▽ More Let $G$ be a finite simple connected graph on $[n]$ and $R = K[x_1, \ldots, x_n]$ the polynomial ring in $n$ variables over a field $K$. The edge ideal of $G$ is the ideal $I(G)$ of $R$ which is generated by those monomials $x_ix_j$ for which $\{i, j\}$ is an edge of $G$. In the present paper, the possible tuples $(n, {\rm depth} (R/I(G)), {\rm reg} (R/I(G)), \dim R/I(G), {\rm deg} \ h(R/I(G)))$, where ${\rm deg} \ h(R/I(G))$ is the degree of the $h$-polynomial of $R/I(G)$, arising from Cameron--Walker graphs on $[n]$ will be completely determined. △ Less

Submitted 11 August, 2020; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 26 pages, 9 figures; revised and corrected

MSC Class: 13D02; 13D40; 05C70; 05E40

The regularity and $h$-polynomial of Cameron-Walker graphs

Authors: Takayuki Hibi, Kyouko Kimura, Kazunori Matsuda, Adam Van Tuyl

Abstract: Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the Castelnuovo-Mumford regularity, and… ▽ More Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the Castelnuovo-Mumford regularity, and $d = {\rm deg} h_{R/I(G)}(t)$, the degree of the $h$-polynomial, as we vary over all the connected graphs on $n$ vertices. In particular, we identify sets $A(n)$ and $B(n)$ such that $A(n) \subseteq \mathcal{RD}(n) \subseteq B(n)$. When we restrict to the family of Cameron-Walker graphs on $n$ vertices, we can completely characterize all the possible $(r,d)$. △ Less

Submitted 16 March, 2020; originally announced March 2020.

Comments: 15 pages; comments welcomed

MSC Class: 13D02; 13D40; 05C70; 05E40

Regularity and h-polynomials of toric ideals of graphs

Authors: Giuseppe Favacchio, Graham Keiper, Adam Van Tuyl

Abstract: For all integers $4 \leq r \leq d$, we show that there exists a finite simple graph $G= G_{r,d}$ with toric ideal $I_G \subset R$ such that $R/I_G$ has (Castelnuovo-Mumford) regularity $r$ and $h$-polynomial of degree $d$. To achieve this goal, we identify a family of graphs such that the graded Betti numbers of the associated toric ideal agree with its initial ideal, and furthermore, this initial… ▽ More For all integers $4 \leq r \leq d$, we show that there exists a finite simple graph $G= G_{r,d}$ with toric ideal $I_G \subset R$ such that $R/I_G$ has (Castelnuovo-Mumford) regularity $r$ and $h$-polynomial of degree $d$. To achieve this goal, we identify a family of graphs such that the graded Betti numbers of the associated toric ideal agree with its initial ideal, and furthermore, this initial ideal has linear quotients. As a corollary, we can recover a result of Hibi, Higashitani, Kimura, and O'Keefe that compares the depth and dimension of toric ideals of graphs. △ Less

Submitted 16 March, 2020; originally announced March 2020.

MSC Class: 13D02; 13P10; 13D40; 14M25; 05E40

Splittings of Toric Ideals

Authors: Giuseppe Favacchio, Johannes Hofscheier, Graham Keiper, Adam Van Tuyl

Abstract: Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional… ▽ More Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional splittings of $I_G$ related to subgraphs of $G$. When there exists a splitting $I = I_1+I_2$ of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of $I$ in terms of the (multi-)graded Betti numbers of $I_1$ and $I_2$. △ Less

Submitted 5 February, 2021; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: 20 pages, 9 figures; v2: error corrected, improved exposition; v3: revision based on comments from the referee

MSC Class: 13D02; 13P10; 14M25; 05E40

The regularity of some families of circulant graphs

Authors: Miguel Eduardo Uribe-Paczka, Adam Van Tuyl

Abstract: We compute the Castelnuovo-Mumford regularity of the edge ideals of two families of circulant graphs, which includes all cubic circulant graphs. A feature of our approach is to combine bounds on the regularity, the projective dimension, and the reduced Euler characteristic to derive an exact value for the regularity. We compute the Castelnuovo-Mumford regularity of the edge ideals of two families of circulant graphs, which includes all cubic circulant graphs. A feature of our approach is to combine bounds on the regularity, the projective dimension, and the reduced Euler characteristic to derive an exact value for the regularity. △ Less

Submitted 14 June, 2019; originally announced June 2019.

Comments: 13 pages; comments welcomed

MSC Class: 13D02; 05C25; 13F55

Journal ref: Mathematics 2019, 7(7), 657

Maximum nullity and zero forcing of circulant graphs

Authors: Linh Duong, Brenda K. Kroschel, Michael Riddell, Kevin N. Vander Meulen, Adam Van Tuyl

Abstract: It is well-known that the zero forcing number of a graph provides a lower bound on the minimum rank of a graph. In this paper we bound and characterize the zero forcing number of certain circulant graphs, including some bipartite circulants, cubic circulants, and circulants which are torus products, to obtain bounds on the minimum rank and the maximum nullity. We also evaluate when the zero forcin… ▽ More It is well-known that the zero forcing number of a graph provides a lower bound on the minimum rank of a graph. In this paper we bound and characterize the zero forcing number of certain circulant graphs, including some bipartite circulants, cubic circulants, and circulants which are torus products, to obtain bounds on the minimum rank and the maximum nullity. We also evaluate when the zero forcing number will give equality. △ Less

Submitted 7 June, 2019; originally announced June 2019.

Comments: 14 pages; comments welcomed

MSC Class: 05C50; 05C75; 05C76; 15A03

Regularity and $h$-polynomials of edge ideals

Authors: Takayuki Hibi, Kazunori Matsuda, Adam Van Tuyl

Abstract: For any two integers $d,r \geq 1$, we show that there exists an edge ideal $I(G)$ such that the ${\rm reg}\left(R/I(G)\right)$, the Castelnuovo-Mumford regularity of $R/I(G)$, is $r$, and ${\rm deg} (h_{R/I(G)}(t))$, the degree of the $h$-polynomial of $R/I(G)$, is $d$. Additionally, if $G$ is a graph on $n$ vertices, we show that ${\rm reg}\left(R/I(G)\right) + {\rm deg} (h_{R/I(G)}(t)) \leq n$. For any two integers $d,r \geq 1$, we show that there exists an edge ideal $I(G)$ such that the ${\rm reg}\left(R/I(G)\right)$, the Castelnuovo-Mumford regularity of $R/I(G)$, is $r$, and ${\rm deg} (h_{R/I(G)}(t))$, the degree of the $h$-polynomial of $R/I(G)$, is $d$. Additionally, if $G$ is a graph on $n$ vertices, we show that ${\rm reg}\left(R/I(G)\right) + {\rm deg} (h_{R/I(G)}(t)) \leq n$. △ Less

Submitted 16 October, 2018; originally announced October 2018.

Comments: 10 pages; comments welcomed

MSC Class: 13D02; 13D40; 05C69; 05C70; 05E40

Betti numbers of toric ideals of graphs: A case study

Authors: Federico Galetto, Johannes Hofscheier, Graham Keiper, Craig Kohne, Miguel Eduardo Uribe Paczka, Adam Van Tuyl

Abstract: We compute the graded Betti numbers for the toric ideal of a family of graphs constructed by adjoining a cycle to a complete bipartite graph. The key observation is that this family admits an initial ideal which has linear quotients. As a corollary, we compute the Hilbert series and $h$-vector for all the toric ideals of graphs in this family. We compute the graded Betti numbers for the toric ideal of a family of graphs constructed by adjoining a cycle to a complete bipartite graph. The key observation is that this family admits an initial ideal which has linear quotients. As a corollary, we compute the Hilbert series and $h$-vector for all the toric ideals of graphs in this family. △ Less

Submitted 19 November, 2018; v1 submitted 5 July, 2018; originally announced July 2018.

Comments: 12 pages; revised and corrected; to appear in Journal of Algebra and its Applications

MSC Class: 13D02; 13P10; 14M25; 05E40

Journal ref: J. Algebra Appl. 18 (2019), no. 12, 1950226, 14 pp

Hilbert functions of schemes of double and reduced points

Authors: Enrico Carlini, Maria Virginia Catalisano, Elena Guardo, Adam Van Tuyl

Abstract: It remains an open problem to classify the Hilbert functions of double points in $\mathbb{P}^2$. Given a valid Hilbert function $H$ of a zero-dimensional scheme in $\mathbb{P}^2$, we show how to construct a set of fat points $Z \subseteq \mathbb{P}^2$ of double and reduced points such that $H_Z$, the Hilbert function of $Z$, is the same as $H$. In other words, we show that any valid Hilbert functi… ▽ More It remains an open problem to classify the Hilbert functions of double points in $\mathbb{P}^2$. Given a valid Hilbert function $H$ of a zero-dimensional scheme in $\mathbb{P}^2$, we show how to construct a set of fat points $Z \subseteq \mathbb{P}^2$ of double and reduced points such that $H_Z$, the Hilbert function of $Z$, is the same as $H$. In other words, we show that any valid Hilbert function $H$ of a zero-dimensional scheme is the Hilbert function of a set of a positive number of double points and some reduced points. For some families of valid Hilbert functions, we are also able to show that $H$ is the Hilbert function of only double points. In addition, we give necessary and sufficient conditions for the Hilbert function of a scheme of a double points, or double points plus one additional reduced point, to be the Hilbert function of points with support on a star configuration of lines. △ Less

Submitted 18 June, 2019; v1 submitted 26 April, 2018; originally announced April 2018.

Comments: 22 pages; more detail added and small corrections throughout. This version to appear in Journal of Pure and Applied Algebra

MSC Class: 14M05; 13D40; 13H15; 14N20

Newton complementary duals of $f$-ideals

Authors: Samuel Budd, Adam Van Tuyl

Abstract: A square-free monomial ideal $I$ of $k[x_1,\ldots,x_n]$ is said to be an $f$-ideal if the facet complex and non-face complex associated with $I$ have the same $f$-vector. We show that $I$ is an $f$-ideal if and only if its Newton complementary dual $\widehat{I}$ is also an $f$-ideal. Because of this duality, previous results about some classes of $f$-ideals can be extended to a much larger class o… ▽ More A square-free monomial ideal $I$ of $k[x_1,\ldots,x_n]$ is said to be an $f$-ideal if the facet complex and non-face complex associated with $I$ have the same $f$-vector. We show that $I$ is an $f$-ideal if and only if its Newton complementary dual $\widehat{I}$ is also an $f$-ideal. Because of this duality, previous results about some classes of $f$-ideals can be extended to a much larger class of $f$-ideals. An interesting by-product of our work is an alternative formulation of the Kruskal-Katona theorem for $f$-vectors of simplicial complexes. △ Less

Submitted 4 September, 2018; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 11 pages; revised and corrected; to appear in Canadian Mathematical Bulletin

Journal ref: Can. Math. Bull. 62 (2019) 231-241

Hadamard Star Configurations

Authors: Enrico Carlini, Maria Virginia Catalisano, Elena Guardo, Adam Van Tuyl

Abstract: Bocci, Carlini, and Kileel have shown that the square-free Hadamard product of a finite set of points $Z$ that all lie on a line $\ell$ in $\mathbb{P}^n$ produces a star configuration of codimension $n$. In this paper we introduce a construction using the Hadamard product to construct star configurations of codimension $c$. In the case that $c = n= 2$, our construction produces the star configurat… ▽ More Bocci, Carlini, and Kileel have shown that the square-free Hadamard product of a finite set of points $Z$ that all lie on a line $\ell$ in $\mathbb{P}^n$ produces a star configuration of codimension $n$. In this paper we introduce a construction using the Hadamard product to construct star configurations of codimension $c$. In the case that $c = n= 2$, our construction produces the star configurations of Bocci, Carlini, and Kileel. We will call any star configuration that can be constructed using our approach a Hadamard star configuration. Our main result is a classification of Hadamard star configurations. △ Less

Submitted 14 January, 2018; originally announced January 2018.

Comments: 10 pages; comments welcome

MSC Class: 14T05; 14M99

A note on the van der Waerden complex

Authors: Becky Hooper, Adam Van Tuyl

Abstract: Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable. Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable. △ Less

Submitted 24 July, 2017; originally announced July 2017.

Comments: 7 pages

MSC Class: 05E45; 13F55

Distinguishing $\Bbbk$-configurations

Authors: Federico Galetto, Yong-Su Shin, Adam Van Tuyl

Abstract: A $\Bbbk$-configuration is a set of points $\mathbb{X}$ in $\mathbb{P}^2$ that satisfies a number of geometric conditions. Associated to a $\Bbbk$-configuration is a sequence $(d_1,\ldots,d_s)$ of positive integers, called its type, which encodes many of its homological invariants. We distinguish $\Bbbk$-configurations by counting the number of lines that contain $d_s$ points of $\mathbb{X}$. In p… ▽ More A $\Bbbk$-configuration is a set of points $\mathbb{X}$ in $\mathbb{P}^2$ that satisfies a number of geometric conditions. Associated to a $\Bbbk$-configuration is a sequence $(d_1,\ldots,d_s)$ of positive integers, called its type, which encodes many of its homological invariants. We distinguish $\Bbbk$-configurations by counting the number of lines that contain $d_s$ points of $\mathbb{X}$. In particular, we show that for all integers $m \gg 0$, the number of such lines is precisely the value of $Δ\mathbf{H}_{m\mathbb{X}}(m d_s -1)$. Here, $Δ\mathbf{H}_{m\mathbb{X}}(-)$ is the first difference of the Hilbert function of the fat points of multiplicity $m$ supported on $\mathbb{X}$. △ Less

Submitted 15 February, 2018; v1 submitted 25 May, 2017; originally announced May 2017.

Comments: Revised version of paper; most changes minor except the proof of Lemma 4.1 which has been rewritten; to appear in Illinois Journal of Mathematics

MSC Class: 13D40; 14M05

Refined Inertia of Matrix Patterns

Authors: Jonathan Earl, Kevin N. Vander Meulen, Adam Van Tuyl

Abstract: We explore how the combinatorial arrangement of prescribed zeros in a matrix affects the possible eigenvalues that the matrix can obtain. We demonstrate that there are inertially arbitrary patterns having a digraph with no 2-cycle, unlike what happens for nonzero patterns. We develop a class of patterns that are refined inertially arbitrary but not spectrally arbitrary, making use of the property… ▽ More We explore how the combinatorial arrangement of prescribed zeros in a matrix affects the possible eigenvalues that the matrix can obtain. We demonstrate that there are inertially arbitrary patterns having a digraph with no 2-cycle, unlike what happens for nonzero patterns. We develop a class of patterns that are refined inertially arbitrary but not spectrally arbitrary, making use of the property of a properly signed nest. We include a characterization of the inertially arbitrary and refined inertially arbitrary patterns of order three, as well as the patterns of order four with the least number of nonzero entries. △ Less

Submitted 24 November, 2016; originally announced November 2016.

MSC Class: 15A18; 15A29; 15B35

The symbolic defect of an ideal

Authors: Federico Galetto, Anthony V. Geramita, Yong-Su Shin, Adam Van Tuyl

Abstract: Let $I$ be a homogeneous ideal of $\Bbbk[x_0,\ldots,x_n]$. To compare $I^{(m)}$, the $m$-th symbolic power of $I$, with $I^m$, the regular $m$-th power, we introduce the $m$-th symbolic defect of $I$, denoted $\operatorname{sdefect}(I,m)$. Precisely, $\operatorname{sdefect}(I,m)$ is the minimal number of generators of the $R$-module $I^{(m)}/I^m$, or equivalently, the minimal number of generators… ▽ More Let $I$ be a homogeneous ideal of $\Bbbk[x_0,\ldots,x_n]$. To compare $I^{(m)}$, the $m$-th symbolic power of $I$, with $I^m$, the regular $m$-th power, we introduce the $m$-th symbolic defect of $I$, denoted $\operatorname{sdefect}(I,m)$. Precisely, $\operatorname{sdefect}(I,m)$ is the minimal number of generators of the $R$-module $I^{(m)}/I^m$, or equivalently, the minimal number of generators one must add to $I^m$ to make $I^{(m)}$. In this paper, we take the first step towards understanding the symbolic defect by considering the case that $I$ is either the defining ideal of a star configuration or the ideal associated to a finite set of points in $\mathbb{P}^2$. We are specifically interested in identifying ideals $I$ with $\operatorname{sdefect}(I,2) = 1$. △ Less

Submitted 9 October, 2018; v1 submitted 1 October, 2016; originally announced October 2016.

Comments: To appear in Journal of Pure and Applied Algebra; revised at referees' suggestion. Fixed typos and clarified writing, included additional references, shortened proof of Thm 6.3

MSC Class: 13A15; 14M05

Shedding vertices of vertex decomposable graphs

Authors: Jonathan Baker, Kevin N. Vander Meulen, Adam Van Tuyl

Abstract: We focus our attention on well-covered graphs that are vertex decomposable. We show that for many known families of these vertex decomposable graphs, the set of shedding vertices forms a dominating set. We then construct three new infinite families of well-covered graphs, none of which have this property. We use these results to provide a minimal counterexample to a conjecture of Villarreal regard… ▽ More We focus our attention on well-covered graphs that are vertex decomposable. We show that for many known families of these vertex decomposable graphs, the set of shedding vertices forms a dominating set. We then construct three new infinite families of well-covered graphs, none of which have this property. We use these results to provide a minimal counterexample to a conjecture of Villarreal regarding Cohen-Macaulay graphs. △ Less

Submitted 28 August, 2018; v1 submitted 14 June, 2016; originally announced June 2016.

Comments: 23 pages; the content of the paper has been re-organized. This version will appear in Discrete Mathematics

Symbolic powers of codimension two Cohen-Macaulay ideals

Authors: Susan Cooper, Giuliana Fatabbi, Elena Guardo, Anna Lorenzini, Juan Migliore, Uwe Nagel, Alexandra Seceleanu, Justyna Szpond, Adam Van Tuyl

Abstract: Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$, and let $I_X^{(m)}$ denote its $m$-th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$. We survey what is known about this problem when $X$ is locally a complete intersection, and in particular, we review the classification of when… ▽ More Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$, and let $I_X^{(m)}$ denote its $m$-th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$. We survey what is known about this problem when $X$ is locally a complete intersection, and in particular, we review the classification of when $I_X^{(m)} = I_X^m$ for all $m \geq 1$. We then discuss how one might weaken these hypotheses, but still obtain equality between the symbolic and ordinary powers. Finally, we show that this classification allows one to: (1) simplify known results about symbolic powers of ideals of points in $\mathbb{P}^1 \times \mathbb{P}^1$; (2) verify a conjecture of Guardo, Harbourne, and Van Tuyl, and (3) provide additional evidence to a conjecture of Römer. △ Less

Submitted 11 May, 2020; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: This project was started at the Mathematisches Forschungsinstitut Oberwolfach (MFO) as part of the mini-workshop "Ideals of Linear Subspaces, Their Symbolic Powers and Waring Problems" held in February 2015. Final version of paper; to appear in Communications in Algebra

Bounds on the regularity of toric ideals of graphs

Authors: Jennifer Biermann, Augustine O'Keefe, Adam Van Tuyl

Abstract: Let $G$ be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal $I_G$ associated to $G$ in terms of the sizes and number of induced complete bipartite graphs in $G$. When $G$ is a chordal bipartite graph, we find an upper bound for the regularity of $I_G$ in terms of the size of the bipartition of $G$. We also give a new proof for the graded Betti… ▽ More Let $G$ be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal $I_G$ associated to $G$ in terms of the sizes and number of induced complete bipartite graphs in $G$. When $G$ is a chordal bipartite graph, we find an upper bound for the regularity of $I_G$ in terms of the size of the bipartition of $G$. We also give a new proof for the graded Betti numbers of the toric ideal associated to the complete bipartite graph $K_{2,n}$. △ Less

Submitted 23 May, 2016; originally announced May 2016.

Comments: 17 pages

The Waldschmidt constant for squarefree monomial ideals

Authors: Cristiano Bocci, Susan Cooper, Elena Guardo, Brian Harbourne, Mike Janssen, Uwe Nagel, Alexandra Seceleanu, Adam Van Tuyl, Thanh Vu

Abstract: Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constr… ▽ More Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constructed from the primary decomposition of $I$. Moreover, expressing $\widehatα(I)$ as the solution to a linear program enables us to prove a Chudnovsky-like lower bound on $\widehatα(I)$, thus verifying a conjecture of Cooper-Embree-Hà-Hoefel for monomial ideals in the squarefree case. As an application, we compute the Waldschmidt constant and the resurgence for some families of squarefree monomial ideals. For example, we determine both constants for unions of general linear subspaces of $\mathbb{P}^n$ with few components compared to $n$, and we find the Waldschmidt constant for the Stanley-Reisner ideal of a uniform matroid. △ Less

Submitted 25 May, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 26 pages. This project was started at the Mathematisches Forschungsinstitut Oberwolfach (MFO) as part of the mini-workshop "Ideals of Linear Subspaces, Their Symbolic Powers and Waring Problems" held in February 2015. Comments are welcome. Revised version corrects some typos, updates the references, and clarifies some hypotheses. To appear in the Journal of Algebraic Combinatorics

MSC Class: Primary 13F20; Secondary 13A02; 14N05

Shellability, vertex decomposability, and lexicographical products of graphs

Authors: Kevin N. Vander Meulen, Adam Van Tuyl

Abstract: We investigate when the independence complex of $G[H]$, the lexicographical product of two graphs $G$ and $H$, is either vertex decomposable or shellable. As an application, we construct an infinite family of graphs with the property that every graph in this family has the property that the independence complex of each graph is shellable, but not vertex decomposable. We investigate when the independence complex of $G[H]$, the lexicographical product of two graphs $G$ and $H$, is either vertex decomposable or shellable. As an application, we construct an infinite family of graphs with the property that every graph in this family has the property that the independence complex of each graph is shellable, but not vertex decomposable. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 6 pages

MSC Class: 05E45; 13F55

Independence complexes of well-covered circulant graphs

Authors: Jonathan Earl, Kevin N. Vander Meulen, Adam Van Tuyl

Abstract: We study the independence complexes of families of well-covered circulant graphs discovered by Boros-Gurvich-Milanič, Brown-Hoshino, and Moussi. Because these graphs are well-covered, their independence complexes are pure simplicial complexes. We determine when these pure complexes have extra combinatorial (e.g. vertex decomposable, shellable) or topological (e.g. Cohen-Macaulay, Buchsbaum) struct… ▽ More We study the independence complexes of families of well-covered circulant graphs discovered by Boros-Gurvich-Milanič, Brown-Hoshino, and Moussi. Because these graphs are well-covered, their independence complexes are pure simplicial complexes. We determine when these pure complexes have extra combinatorial (e.g. vertex decomposable, shellable) or topological (e.g. Cohen-Macaulay, Buchsbaum) structure. We also provide a table of all well-covered circulant graphs on 16 or less vertices, and for each such graph, determine if it is vertex decomposable, shellable, Cohen-Macaulay, and/or Buchsbaum. A highlight of this search is an example of a graph whose independence complex is shellable but not vertex decomposable. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 18 pages

MSC Class: 05C75; 05E45; 13F55

On the Hilbert functions of sets of points in P^1 x P^1 x P^1

Authors: Elena Guardo, Adam Van Tuyl

Abstract: Let H_X be the trigraded Hilbert function of a set X of reduced points in P^1 x P^1 x P^1. We show how to extract some geometric information about X from H_X. This note generalizes a similar result of Giuffrida, Maggioni, and Ragusa about sets of points in P^1 x P^1. Let H_X be the trigraded Hilbert function of a set X of reduced points in P^1 x P^1 x P^1. We show how to extract some geometric information about X from H_X. This note generalizes a similar result of Giuffrida, Maggioni, and Ragusa about sets of points in P^1 x P^1. △ Less

Submitted 30 March, 2015; v1 submitted 2 July, 2014; originally announced July 2014.

Comments: 10 pages; corrected version (minor typos and extra detail added); to appear in Math. Proc. Cambridge Philos. Soc

MSC Class: 13D40; 14M99

Journal ref: Math. Proc. Camb. Phil. Soc. 159 (2015) 115-123

Plane curves containing a star configuration

Authors: E. Carlini, E. Guardo, A. Van Tuyl

Abstract: Given a collection of $l$ general lines $\ell_1,\ldots,\ell_{l}$ in $\pr^2$, the star configuration $\XX(l)$ is the set of points constructed from all pairwise intersections of these lines. For each non-negative integer $d$, we compute the dimension of the family of curves of degree $d$ that contain a star configuration. Given a collection of $l$ general lines $\ell_1,\ldots,\ell_{l}$ in $\pr^2$, the star configuration $\XX(l)$ is the set of points constructed from all pairwise intersections of these lines. For each non-negative integer $d$, we compute the dimension of the family of curves of degree $d$ that contain a star configuration. △ Less

Submitted 31 October, 2014; v1 submitted 2 September, 2013; originally announced September 2013.

Comments: 12 pages, revised version

MSC Class: 14M05; 14H50

Generalized cover ideals and the persistence property

Authors: Ashwini Bhat, Jennifer Biermann, Adam Van Tuyl

Abstract: Let $I$ be a square-free monomial ideal in $R = k[x_1,\ldots,x_n]$, and consider the sets of associated primes ${\rm Ass}(I^s)$ for all integers $s \geq 1$. Although it is known that the sets of associated primes of powers of $I$ eventually stabilize, there are few results about the power at which this stabilization occurs (known as the index of stability). We introduce a family of square-free mon… ▽ More Let $I$ be a square-free monomial ideal in $R = k[x_1,\ldots,x_n]$, and consider the sets of associated primes ${\rm Ass}(I^s)$ for all integers $s \geq 1$. Although it is known that the sets of associated primes of powers of $I$ eventually stabilize, there are few results about the power at which this stabilization occurs (known as the index of stability). We introduce a family of square-free monomial ideals that can be associated to a finite simple graph $G$ that generalizes the cover ideal construction. When $G$ is a tree, we explicitly determine ${\rm Ass}(I^s)$ for all $s \geq 1$. As consequences, not only can we compute the index of stability, we can also show that this family of ideals has the persistence property. △ Less

Submitted 17 December, 2013; v1 submitted 21 January, 2013; originally announced January 2013.

Comments: 15 pages; revised version has a new introduction; references updated; to appear in J. Pure. Appl. Algebra

MSC Class: 13F20; 13A15; 05C25

Cohen-Macaulay Circulant Graphs

Authors: Kevin N. Vander Meulen, Adam Van Tuyl, Catriona Watt

Abstract: Let G be the circulant graph C_n(S) with S a subset of {1,2,...,\lfloor n/2 \rfloor}, and let I(G) denote its the edge ideal in the ring R = k[x_1,...,x_n]. We consider the problem of determining when G is Cohen-Macaulay, i.e, R/I(G) is a Cohen-Macaulay ring. Because a Cohen-Macaulay graph G must be well-covered, we focus on known families of well-covered circulant graphs of the form C_n(1,2,...,d… ▽ More Let G be the circulant graph C_n(S) with S a subset of {1,2,...,\lfloor n/2 \rfloor}, and let I(G) denote its the edge ideal in the ring R = k[x_1,...,x_n]. We consider the problem of determining when G is Cohen-Macaulay, i.e, R/I(G) is a Cohen-Macaulay ring. Because a Cohen-Macaulay graph G must be well-covered, we focus on known families of well-covered circulant graphs of the form C_n(1,2,...,d). We also characterize which cubic circulant graphs are Cohen-Macaulay. We end with the observation that even though the well-covered property is preserved under lexicographical products of graphs, this is not true of the Cohen-Macaulay property. △ Less

Submitted 31 October, 2012; originally announced October 2012.

Comments: 14 pages

MSC Class: 13F55; 13H10; 05C75; 05E45

Partial coloring, vertex decomposability, and sequentially Cohen-Macaulay simplicial complexes

Authors: Jennifer Biermann, Christopher A. Francisco, Huy Tài Hà, Adam Van Tuyl

Abstract: 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 $Δ_χ$ from a coloring $χ$ of a subset of the vertices of $Δ$, and give necessary and sufficient conditions for this construction to produc… ▽ More 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 $Δ_χ$ from a coloring $χ$ of a subset of the vertices of $Δ$, 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. △ Less

Submitted 4 November, 2019; v1 submitted 13 September, 2012; originally announced September 2012.

MSC Class: 05E45; 13F55

Fat lines in P^3: powers versus symbolic powers

Authors: Elena Guardo, Brian Harbourne, Adam Van Tuyl

Abstract: We study the symbolic and regular powers of ideals I for a family of special configurations of lines in P^3. For this family, we show that I^(m) = I^m for all integers m if and only if I^(3) = I^3. We use these configurations to answer a question of Huneke that asks whether I^(m) = I^m for all m if equality holds when m equals the big height of the ideal I. We study the symbolic and regular powers of ideals I for a family of special configurations of lines in P^3. For this family, we show that I^(m) = I^m for all integers m if and only if I^(3) = I^3. We use these configurations to answer a question of Huneke that asks whether I^(m) = I^m for all m if equality holds when m equals the big height of the ideal I. △ Less

Submitted 26 August, 2012; originally announced August 2012.

Comments: 10 pages

MSC Class: 13F20; 13A15; 14C20