English
Related papers

Related papers: On the effective membership problem for polynomial…

200 papers

This is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over…

Commutative Algebra · Mathematics 2023-07-20 Kriti Goel , Vivek Mukundan , Sudeshna Roy , J. K. Verma

Proving statements about linear operators expressed in terms of identities often leads to finding elements of certain form in noncommutative polynomial ideals. We illustrate this by examples coming from actual operator statements and…

Symbolic Computation · Computer Science 2023-11-21 Clemens Hofstadler , Clemens G. Raab , Georg Regensburger

We study the ideal generated by polynomials vanishing on a semialgebraic set and propose an algorithm to calculate the generators, which is based on some techniques of the cylindrical algebraic decomposition. By applying these, polynomial…

Optimization and Control · Mathematics 2009-02-14 Yoshiyuki Sekiguchi , Tomoyuki Takenawa , Hayato Waki

We study the nonsymmetric Macdonald polynomials specialized at infinity from various points of view. First, we define a family of modules of the Iwahori algebra whose characters are equal to the nonsymmetric Macdonald polynomials…

Representation Theory · Mathematics 2017-12-11 Evgeny Feigin , Syu Kato , Ievgen Makedonskyi

Let C be a locally Cohen-Macaulay curve in complex projective 3-space. The maximum genus problem predicts the largest possible arithmetic genus g(d,s) that C can achieve assuming that it has degree d and does not lie on surfaces of degree…

Commutative Algebra · Mathematics 2026-05-05 Alessio Sammartano , Enrico Schlesinger

Triangular decomposition is one of the standard ways to represent the radical of a polynomial ideal. A general algorithm for computing such a decomposition was proposed by A. Szanto. In this paper, we give the first complete bounds for the…

Algebraic Geometry · Mathematics 2018-09-18 Eli Amzallag , Gleb Pogudin , Mengxiao Sun , Thieu N. Vo

We explore connections between the approach of solving the rational interpolation problem via resolutions of ideals and syzygies with the standard method provided by the Extended Euclidean Algorithm. As a consequence, we obtain explicit…

Commutative Algebra · Mathematics 2019-10-24 Teresa Cortadellas Benitez , Carlos D'Andrea , Eulalia Montoro

This paper presents some algorithmic techniques to compute explicitly the noetherian operators associated to a class of ideals and modules over a polynomial ring. The procedures we include in this work can be easily encoded in computer…

Commutative Algebra · Mathematics 2010-03-30 A. Damiano , I. Sabadini , D. C. Struppa

This paper exhibits some new examples of the behavior of the Castelnuovo-Mumford regularity of homogeneous ideals in polynomial rings. More precisely, we present new examples of homogenous ideals with large regularity compared to the…

Commutative Algebra · Mathematics 2015-08-18 Keivan Borna , Abolfazl Mohajer

Various questions on Lie ideals of C*-algebras are investigated. They fall roughly under the following topics: relation of Lie ideals to closed two-sided ideals; Lie ideals spanned by special classes of elements such as commutators,…

Operator Algebras · Mathematics 2015-09-25 Leonel Robert

We present a close relationship between matching number, covering numbers and their fractional versions in combinatorial optimization and ordinary powers, integral closures of powers, and symbolic powers of monomial ideals. This…

Commutative Algebra · Mathematics 2021-10-18 Huy Tai Ha , Ngo Viet Trung

These are the notes of my lectures at the 1996 European Congress of Mathematicians. {} Polynomials appear in mathematics frequently, and we all know from experience that low degree polynomials are easier to deal with than high degree ones.…

alg-geom · Mathematics 2008-02-03 János Kollár

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gr\"obner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded…

Commutative Algebra · Mathematics 2020-10-23 Jürgen Herzog , Takayuki Hibi , Somayeh Moradi

Let X be a complete toric variety with homogeneous coordinate ring S. In this article, we compute upper and lower bounds for the codimension in the critical degree of ideals of S generated by dim(X)+1 homogeneous polynomials that don't…

Algebraic Geometry · Mathematics 2007-05-23 David Cox , Alicia Dickenstein

An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in…

Commutative Algebra · Mathematics 2020-11-20 Yairon Cid-Ruiz , Roser Homs , Bernd Sturmfels

We show that for each Banach ideal of homogeneous polynomials, there exists a (necessarily unique) Banach operator ideal compatible with it. Analogously, we prove that any ideal of $n$-homogeneous polynomials belongs to a coherent sequence…

Functional Analysis · Mathematics 2012-01-20 Daniel Carando , Verónica Dimant , Santiago Muro

This paper investigates the doubly exponential ideal membership property of the Mayr-Meyer ideals from the point of view of their associated primes. A doubly-exponential upper bound on the set of associated primes is proved. In the paper a…

Commutative Algebra · Mathematics 2007-05-23 Irena Swanson

We study ideals which are generated by monomials of degree $d$ in the polynomial ring in $n$ variables and which satisfy certain numerical side conditions regarding their exponents. Typical examples of such ideals are the ideals of Veronese…

Commutative Algebra · Mathematics 2020-05-20 Rodica Dinu , Jürgen Herzog , Ayesha Asloob Qureshi

The Ideal Membership Problem (IMP) tests if an input polynomial $f\in \mathbb{F}[x_1,\dots,x_n]$ with coefficients from a field $\mathbb{F}$ belongs to a given ideal $I \subseteq \mathbb{F}[x_1,\dots,x_n]$. It is a well-known fundamental…

Computational Complexity · Computer Science 2020-07-02 Arpitha P. Bharathi , Monaldo Mastrolilli

We prove new upper bounds for the degrees in Hilbert's Nullstellensatz and for the Noether exponent of polynomial ideals in terms of the monomial structure of the polynomials involved. Our bounds improve the previously known bounds in the…

Algebraic Geometry · Mathematics 2019-07-02 Maria Isabel Herrero , Gabriela Jeronimo , Juan Sabia