-
A New Conjecture and Upper Bound on the Castelnuovo--Mumford Regularity of Binomial Edge Ideals
Authors:
Adam LaClair
Abstract:
A famous theorem of Kalai and Meshulam is that $\mathrm{reg}(I + J) \leq \mathrm{reg}(I) + \mathrm{reg}(J) -1$ for any squarefree monomial ideals $I$ and $J$. This result was subsequently extended by Herzog to the case where $I$ and $J$ are any monomial ideals. In this paper we conjecture that the Castelnuovo--Mumford regularity is subadditive on binomial edge ideals. Specifically, we propose that…
▽ More
A famous theorem of Kalai and Meshulam is that $\mathrm{reg}(I + J) \leq \mathrm{reg}(I) + \mathrm{reg}(J) -1$ for any squarefree monomial ideals $I$ and $J$. This result was subsequently extended by Herzog to the case where $I$ and $J$ are any monomial ideals. In this paper we conjecture that the Castelnuovo--Mumford regularity is subadditive on binomial edge ideals. Specifically, we propose that $\mathrm{reg}(J_{G}) \leq \mathrm{reg}(J_{H_{1}}) + \mathrm{reg}(J_{H_{2}}) -1$ whenever $G$, $H_{1}$, and $H_{2}$ are graphs satisfying $E(G) = E(H_{1}) \cup E(H_{2})$ and $J_{\ast}$ is the associated binomial edge ideal. We prove a special case of this conjecture which strengthens the celebrated theorem of Malayeri--Madani--Kiani that $\mathrm{reg}(J_{G})$ is bounded above by the minimal number of maximal cliques covering the edges of the graph $G$. From this special case we obtain a new upper bound for $\mathrm{reg}(J_{G})$, namely that $\mathrm{reg}(J_{G}) \leq \mathrm{ht}(J_{G}) +1$. Our upper bound gives an analogue of the well-known result that $\mathrm{reg}(I(G)) \leq \mathrm{ht}(I(G)) +1$ where $I(G)$ is the edge ideal of the graph $G$. We additionally prove that this conjecture holds for graphs admitting a combinatorial description for its Castelnuovo--Mumford regularity, that is for closed graphs, bipartite graphs with $J_{G}$ Cohen--Macaulay, and block graphs. Finally, we give examples to show that our new upper bound is incomparable with Malayeri--Madani--Kiani's upper bound for $\mathrm{reg}(J_{G})$ given by the size of a maximal clique disjoint set of edges.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
The MatrixSchubert package for Macaulay2
Authors:
Ayah Almousa,
Sean Grate,
Daoji Huang,
Patricia Klein,
Adam LaClair,
Yuyuan Luo,
Joseph McDonough
Abstract:
We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for quickly computing homological invariants of such varieties, finding the components of an ASM variety, and checking if a union of matrix Schubert varieties is an A…
▽ More
We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for quickly computing homological invariants of such varieties, finding the components of an ASM variety, and checking if a union of matrix Schubert varieties is an ASM variety.
△ Less
Submitted 12 December, 2023; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Combinatorics of Castelnuovo-Mumford Regularity of Binomial Edge Ideals
Authors:
Adam LaClair
Abstract:
Since the introduction of binomial edge ideals $J_{G}$ by Herzog et al. and independently Ohtani, there has been significant interest in relating algebraic invariants of the binomial edge ideal with combinatorial invariants of the underlying graph $G$. Here, we take up a question considered by Herzog and Rinaldo regarding Castelnuovo--Mumford regularity of block graphs. To this end, we introduce a…
▽ More
Since the introduction of binomial edge ideals $J_{G}$ by Herzog et al. and independently Ohtani, there has been significant interest in relating algebraic invariants of the binomial edge ideal with combinatorial invariants of the underlying graph $G$. Here, we take up a question considered by Herzog and Rinaldo regarding Castelnuovo--Mumford regularity of block graphs. To this end, we introduce a new invariant $ν(G)$ associated to any simple graph $G$, defined as the size of a particularly nice induced maximal matching of $\text{in}_{\text{lex}}(J_{G})$. We investigate the question of expressing $ν(G)$ in terms of the combinatorics of $G$. We prove that $ν(G)$ is the maximal total length of a certain collection of induced paths within $G$. We prove that for any graph $G$, $ν(G) \leq \text{reg}(J_{G})-1$, and that the length of a longest induced path of $G$ is less than or equal to $ν(G)$; this refines an inequality of Matsuda and Murai. We then investigate the question: when is $ν(G) = \text{reg}(J_{G})-1$? We prove that equality holds when $G$ is closed; this gives a new characterization of a result of Ene and Zarojanu, and when $G$ is bipartite and $J_{G}$ is Cohen-Macaulay; this gives a new characterization of a result of Jayanathan and Kumar. For a block graph $G$ we prove that $ν(G)$ admits a combinatorial characterization independent of any auxiliary choices, and we prove that $ν(G) = \text{reg}(J_{G})-1$. This gives $\text{reg}(J_{G})$ a combinatorial interpretation for block graphs, and thus answers the question of Herzog and Rinaldo.
△ Less
Submitted 15 November, 2023; v1 submitted 18 July, 2023;
originally announced July 2023.
-
Invariants of Binomial Edge Ideals via Linear Programs
Authors:
Adam LaClair
Abstract:
We associate to every graph a linear program for packings of vertex disjoint paths. We show that the optimal primal and dual values of the corresponding integer program are the binomial grade and height of the binomial edge ideal of the graph. We deduce from this a new combinatorial characterization of graphs of König type and use it to show that all trees are of König type.
The log canonical th…
▽ More
We associate to every graph a linear program for packings of vertex disjoint paths. We show that the optimal primal and dual values of the corresponding integer program are the binomial grade and height of the binomial edge ideal of the graph. We deduce from this a new combinatorial characterization of graphs of König type and use it to show that all trees are of König type.
The log canonical threshold and the F-threshold are important invariants associated to the singularities of a variety in characteristic $0$ and characteristic $p$. We show that the optimal value of the linear program (computed over the rationals) agrees with both the F-threshold and the log canonical threshold of the binomial edge ideal if the graph is a block graph or of König type. We conjecture that this linear program computes the log canonical threshold of the binomial edge ideal of any graph.
Our results resemble theorems on monomial ideals arising from hypergraphs due to Howald and others.
△ Less
Submitted 16 June, 2023; v1 submitted 26 April, 2023;
originally announced April 2023.