English
Related papers

Related papers: Pruned cellular free resolutions of monomial ideal…

200 papers

The Taylor resolution is almost never minimal for powers of monomial ideals, even in the square-free case. In this paper we introduce a smaller resolution for each power of any square-free monomial ideal, which depends only on the number of…

Commutative Algebra · Mathematics 2024-02-29 Susan M. Cooper , Sabine El Khoury , Sara Faridi , Sarah Mayes-Tang , Susan Morey , Liana M. Sega , Sandra Spiroff

For any toric ideal $I$ in a polynomial ring $S$, we provide a combinatorial description of a free resolution of the integral closure of the $S$-module $S/I$. These new complexes arise from an extension of Bayer--Sturmfels' theory of…

Commutative Algebra · Mathematics 2025-12-22 Christine Berkesch , Lauren Cranton Heller , Gregory G. Smith , Jay Yang

It is known that the chain complex of a simplex on $q$ vertices can be used to construct a free resolution of any ideal generated by $q$ monomials, and as a direct result, the Betti numbers always have binomial upper bounds, given by the…

Commutative Algebra · Mathematics 2025-05-14 Louis Bu , Sara Faridi , Iresha Madduwe Hewalage , Thiago Holleben , Hasan Mahmood , Dharm Veer , Kyle Wang , Scott Wesley

Inspired by the works of Forman on discrete Morse theory, which is a combinatorial adaptation to cell complexes of classical Morse theory on manifolds, we introduce a discrete analogue of the stratified Morse theory of Goresky and…

Computational Geometry · Computer Science 2019-11-12 Kevin Knudson , Bei Wang

We introduce the combinatorial Lyubeznik resolution of monomial ideals. We prove that this resolution is isomorphic to the usual Lyubezbnik resolution. As an application, we give a combinatorial method to determine if an ideal is a…

Commutative Algebra · Mathematics 2017-08-25 Luis A. Dupont , Daniel G. Mendoza , Miriam Rodríguez

One can iteratively obtain a free resolution of any monomial ideal $I$ by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal…

Commutative Algebra · Mathematics 2015-10-12 Anton Dochtermann , Fatemeh Mohammadi

Cellular resolutions are a technique for constructing resolutions of monomial ideals by giving a cell complex labeled by monomials, or more generally, by monomial modules. This \verb|Macaulay2| package allows us to work with cellular…

Commutative Algebra · Mathematics 2023-07-18 Aleksandra Sobieska , Jay Yang

We construct a (shellable) polyhedral cell complex that supports a minimal free resolution of a Borel fixed ideal, which is minimally generated (in the Borel sense) by just one monomial in S=k[x_1,x_2,...,x_n]; this includes the case of…

Commutative Algebra · Mathematics 2007-05-23 Achilleas Sinefakopoulos

Forman's Discrete Morse theory is studied from an algebraic viewpoint. Analogous to independent work of Emil Skoeldberg we show that this theory can be extended to chain complexes of free modules over a ring. We provide three applications…

Commutative Algebra · Mathematics 2016-09-07 Michael Joellenbeck , Volkmar Welker

In this paper we describe an efficient involutive algorithm for constructing Groebner bases of polynomial ideals. The algorithm is based on the concept of involutive monomial division which restricts the conventional division in a certain…

Commutative Algebra · Mathematics 2007-05-23 Vladimir P. Gerdt

For a monomial ideal $I$, let $G(I)$ be its minimal set of monomial generators. If there is a total order on $G(I)$ such that the corresponding Lyubeznik resolution of $I$ is a minimal free resolution of $I$, then $I$ is called a Lyubeznik…

Commutative Algebra · Mathematics 2013-12-03 Jin Guo , Tongsuo Wu , Houyi Yu

Given multigraded free resolutions of two monomial ideals we construct a multigraded free resolution of the sum of the two ideals.

Commutative Algebra · Mathematics 2007-05-23 Juergen Herzog

Structured pruning is an effective approach for compressing large pre-trained neural networks without significantly affecting their performance. However, most current structured pruning methods do not provide any performance guarantees, and…

Machine Learning · Computer Science 2023-02-14 Marwa El Halabi , Suraj Srinivas , Simon Lacoste-Julien

1) We introduce random discrete Morse theory as a computational scheme to measure the complicatedness of a triangulation. The idea is to try to quantify the frequence of discrete Morse matchings with a certain number of critical cells. Our…

Computational Geometry · Computer Science 2014-04-21 Bruno Benedetti , Frank H. Lutz

Without any restrictions on the base field, we compute the hull and prove a conjecture of Eisenbud and Sturmfels giving an unmixed decomposition of a cellular binomial ideal. Over an algebraically closed field, we further obtain an explicit…

Commutative Algebra · Mathematics 2017-05-17 Zekiye Sahin Eser , Laura Felicia Matusevich

We define the Buchberger resolution, which is a graded free resolution of a monomial ideal in a polynomial ring. Its construction uses a generalization of the Buchberger graph and encodes much of the combinatorics of the Buchberger…

Commutative Algebra · Mathematics 2014-09-12 Anda Olteanu , Volkmar Welker

Given a squarefree monomial ideal $I$ of a polynomial ring $Q$, we show that if the minimal free resolution $\mathbb{F}$ of $Q/I$ admits the structure of a differential graded (dg) algebra, then so does any ``pruning" of $\mathbb{F}$. In…

Commutative Algebra · Mathematics 2026-05-07 Hugh Geller , Desiree Martin , Henry Potts-Rubin

We develop a probabilistic algorithm for computing elimination ideals of likelihood equations, which is for larger models by far more efficient than directly computing Groebner bases or the interpolation method proposed in the first…

Symbolic Computation · Computer Science 2018-10-15 Xiaoxian Tang , Timo De Wolff , Rukai Zhao

Let $Q=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ with the standard $N^n$-grading. Let $\phi$ be a morphism of finite free $N^n$-graded $Q$-modules. We translate to this setting several notions and constructions that appear…

Commutative Algebra · Mathematics 2007-05-23 H. Charalambous , A. Tchernev

Optimal Morse matchings reveal essential structures of cell complexes which lead to powerful tools to study discrete geometrical objects, in particular discrete 3-manifolds. However, such matchings are known to be NP-hard to compute on…

Computational Geometry · Computer Science 2018-10-24 Benjamin A. Burton , Thomas Lewiner , João Paixão , Jonathan Spreer