English
Related papers

Related papers: Dimension-Dependent Upper Bounds for Grobner Bases

200 papers

We study some algebraic invariants of $t$-spread ideals, $t\ge 1$, such as the projective dimension and the Castelnuovo-Mumford regularity, by means of well-known graded resolutions. We state upper bounds for these invariants and,…

Commutative Algebra · Mathematics 2024-03-28 Luca Amata , Marilena Crupi , Antonino Ficarra

We study bounds for the Castelnuovo-Mumford regularity of homogeneous ideals in a polynomial ring in terms of the number of variables and the degree of the generators. In particular our aim is to give a positive answer to a question posed…

Commutative Algebra · Mathematics 2007-05-23 Giulio Caviglia , Enrico Sbarra

Previous work by Mora and Sala provides the reduced Groebner basis of the ideal formed by the elementary symmetric polynomials in $n$ variables of degrees $k=1,\dots,n$, $\langle e_{1,n}(x), \dots, e_{n,n}(x) \rangle$. Haglund, Rhoades, and…

Combinatorics · Mathematics 2021-10-18 AJ Bu

We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on the degrees of the input polynomials but also on an additional parameter called the {\it geometric degree of the…

alg-geom · Mathematics 2008-02-03 Martin Sombra

Border bases can be considered to be the natural extension of Gr\"obner bases that have several advantages. Unfortunately, to date the classical border basis algorithm relies on (degree-compatible) term orderings and implicitly on reduced…

Commutative Algebra · Mathematics 2010-02-05 Gábor Braun , Sebastian Pokutta

We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division…

Commutative Algebra · Mathematics 2008-06-04 Kei-ichiro Iima , Yuji Yoshino

An upper bound for the Castelnuovo-Mumford regularity of the associated graded module of an one-dimension module is given in term of its Hilbert coeffcients. It is also investigated when the bound is attained.

Commutative Algebra · Mathematics 2014-01-15 Le Xuan Dung

When M is a finitely generated graded module over a standard graded algebra S and I is an ideal of S, it is known from work of Cutkosky, Herzog, Kodiyalam, R\"omer, Trung and Wang that the Castelnuovo-Mumford regularity of I^mM has the form…

Commutative Algebra · Mathematics 2010-12-07 David Eisenbud , Bernd Ulrich

In this paper, we study first the relationship between Pommaret bases and Hilbert series. Given a finite Pommaret basis, we derive new explicit formulas for the Hilbert series and for the degree of the ideal generated by it which exhibit…

Algebraic Geometry · Mathematics 2018-10-01 Bentolhoda Binaei , Amir Hashemi , Werner M. Seiler

In this paper we study and relate several invariants connected to the solving degree of a polynomial system. This provides a rigorous framework for estimating the complexity of solving a system of polynomial equations via Groebner bases…

Cryptography and Security · Computer Science 2022-06-02 Alessio Caminata , Elisa Gorla

We give a criterion for a collection of polynomials to be a universal Gr\"{o}bner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give…

Algebraic Geometry · Mathematics 2024-11-27 Daoji Huang , Matt Larson

The purpose of this paper is to give a simple geometric construction of ideals whose Castelnuovo-Mumford regularity is large compared to the generating degree. Moreover, our ideals have the property that the Castelnuovo-Mumford regularity…

Algebraic Geometry · Mathematics 2014-03-11 Brooke Ullery

We prove a doubly exponential bound for the Castelnuovo-Mumford regularity of prime ideals defining varieties with polynomial parametrisation.

Commutative Algebra · Mathematics 2022-02-17 Francesca Cioffi , Aldo Conca

In this article we extend a previous definition of Castelnuovo-Mumford regularity for modules over an algebra graded by a finitely generated abelian group. Our notion of regularity is based on Maclagan and Smith's definition, and is…

Commutative Algebra · Mathematics 2012-04-06 Nicolás Botbol , Marc Chardin

We present a new upper bound for the orders of derivatives in the Rosenfeld-Groebner algorithm. This algorithm computes a regular decomposition of a radical differential ideal in the ring of differential polynomials over a differential…

Commutative Algebra · Mathematics 2020-11-17 Richard Gustavson , Alexey Ovchinnikov , Gleb Pogudin

We consider several notions of genericity appearing in algebraic geometry and commutative algebra. Special emphasis is put on various stability notions which are defined in a combinatorial manner and for which a number of equivalent…

Symbolic Computation · Computer Science 2017-05-09 Amir Hashemi , Michael Schweinfurter , Werner M. Seiler

In 2016 Ananyan and Hochster proved Stillman's conjecture by showing the existence of a uniform upper bound on the length of an $R_\eta$-sequence containing fixed $n$ forms of degree at most $d$ in polynomial rings over a field. This result…

Commutative Algebra · Mathematics 2026-05-28 Giulio Caviglia , Yihui Liang , Cheng Meng

Castelnuovo-Mumford regularity is a measure of algebraic complexity of an ideal. Regularity of monomial ideals can be investigated combinatorially. We use a simple graph decomposition and results from structural graph theory to prove,…

Commutative Algebra · Mathematics 2020-07-07 Grigoriy Blekherman , Jaewoo Jung

We obtain upper bounds, independent of the ambient dimension, for the number of realizable zero-nonzero patterns and (over ordered fields) sign conditions of a finite family of polynomials $\mathcal P$ restricted to an algebraic subset $V$…

Combinatorics · Mathematics 2026-01-05 Saugata Basu , Laxmi Parida

We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree $d$, over any global field. In particular, we focus on the affine hypersurface situation by…

Number Theory · Mathematics 2025-12-05 Raf Cluckers , Pierre Dèbes , Yotam I. Hendel , Kien Huu Nguyen , Floris Vermeulen