English
Related papers

Related papers: Module Border Bases

200 papers

Modular composition is the problem of computing the coefficient vector of the polynomial $f(g(x)) \bmod h(x)$, given as input the coefficient vectors of univariate polynomials $f$, $g$, and $h$ over an underlying field $\mathbb{F}$. While…

Computational Complexity · Computer Science 2026-01-29 Robert Andrews , Mrinal Kumar , Shanthanu S. Rai

It is proposed the algorithm that find a basis of the ideal and a basis of the space of all root functionals by using the extension operation for bounded root functionals, when the number of polynomials is equal to the number of variables,…

Algebraic Geometry · Mathematics 2008-06-01 Timur R. Seifullin

This article provides a comprehensive exploration of submodular maximization problems, focusing on those subject to uniform and partition matroids. Crucial for a wide array of applications in fields ranging from computer science to systems…

Data Structures and Algorithms · Computer Science 2025-01-03 Solmaz S. Kia

We provide a new combinatorial approach to study the minimal free resolutions of edge ideals, that is, quadratic square-free monomial ideals. With this method we can recover most of the known results on resolutions of edge ideals with…

Commutative Algebra · Mathematics 2007-05-23 Huy Tai Ha , Adam Van Tuyl

Parametric Gr\"obner bases have been studied for more than 15 years and are now a further developed subject. Here we propose a general study of parametric standard bases, that is with local orders. We mainly focus on the commutative case…

Commutative Algebra · Mathematics 2007-05-23 Rouchdi Bahloul

Generalized Heisenberg algebras $\H(f)$ for any polynomial $f(h)\in\C[h]$ have been used to explain various physical systems and many physical phenomena for the last 20 years. In this paper, we first obtain the center of $\H(f)$, and the…

Mathematical Physics · Physics 2015-10-14 Rencai Lu , Kaiming Zhao

Solving a polynomial system, or computing an associated Gr\"obner basis, has been a fundamental task in computational algebra. However, it is also known for its notorious doubly exponential time complexity in the number of variables in the…

Commutative Algebra · Mathematics 2024-11-07 Hiroshi Kera , Yuki Ishihara , Yuta Kambe , Tristan Vaccon , Kazuhiro Yokoyama

The paper addresses parametric inequality systems described by polynomial functions in finite dimensions, where state-dependent infinite parameter sets are given by finitely many polynomial inequalities and equalities. Such systems can be…

Optimization and Control · Mathematics 2015-09-15 G. Li , B. S. Mordukhovich , T. T. A. Nghia , T. S. Pham

We show how multiplier ideals can be used to obtain uniform multiplicative bounds for certain families of ideals on a smooth complex algebraic variety. In particular we prove a quick but rather surprising result about symbolic powers of…

Algebraic Geometry · Mathematics 2009-10-31 Lawrence Ein , Robert Lazarsfeld , Karen E. Smith

We introduce the notion of the boundary motive of a scheme X over a perfect field. By definition, it measures the difference between the motive X and the motive with compact support of X. We develop three tools to compute the boundary…

Algebraic Geometry · Mathematics 2007-05-23 J. Wildeshaus

Solving polynomial systems arising from applications is frequently made easier by the structure of the systems. Weighted homogeneity (or quasi-homogeneity) is one example of such a structure: given a system of weights…

Symbolic Computation · Computer Science 2015-12-22 Jean-Charles Faugère , Mohab Safey El Din , Thibaut Verron

This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.

Commutative Algebra · Mathematics 2023-06-19 Deepak Kapur , Paliath Narendran

It has been shown previously that a large class of monomial maps equivariant under the action of an infinite symmetric group have finitely generated kernels up to the symmetric action. We prove that these symmetric toric ideals also have…

Commutative Algebra · Mathematics 2016-04-29 Robert Krone

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

In this paper, we introduce the notion of Auslander modules, inspired from Auslander's zero-divisor conjecture (theorem) and give some interesting results for these modules. We also investigate torsion-free modules.

Commutative Algebra · Mathematics 2018-01-26 Peyman Nasehpour

Let $R = k[x_1, \dotsc , x_n]$ denote the standard graded polynomial ring over a field $k$. We study certain classes of equigenerated monomial ideals with the property that the so-called complementary ideal has no linear relations on the…

Commutative Algebra · Mathematics 2022-01-27 Keller VandeBogert

Based on the partition of parameter space, two algorithms for computing the rational univariate representation of zero-dimensional ideals with parameters are presented in the paper. Unlike the rational univariate representation of…

Symbolic Computation · Computer Science 2024-07-25 Dingkang Wang , Jingjing Wei , Fanghui Xiao , Xiaopeng Zheng

Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order…

Symbolic Computation · Computer Science 2022-05-17 Jérémy Berthomieu , Vincent Neiger , Mohab Safey El Din

Tropical ideals are a class of ideals in the tropical polynomial semiring that combinatorially abstracts the possible collections of supports of all polynomials in an ideal over a field. We study zero-dimensional tropical ideals I with…

Combinatorics · Mathematics 2021-02-23 Nicholas Anderson , Felipe Rincón

Let $f_1,\ldots,f_m$ be elements in a quotient $R^n / N$ which has finite dimension as a $K$-vector space, where $R = K[X_1,\ldots,X_r]$ and $N$ is an $R$-submodule of $R^n$. We address the problem of computing a Gr\"obner basis of the…

Symbolic Computation · Computer Science 2020-06-05 Simone Naldi , Vincent Neiger