English
Related papers

Related papers: Computing all border bases for ideals of points

200 papers

This paper describes a Buchberger-style algorithm to compute a Groebner basis of a polynomial ideal, allowing for a selection strategy based on "signatures". We explain how three recent algorithms can be viewed as different strategies for…

Commutative Algebra · Mathematics 2011-06-14 Christian Eder , John Perry

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

It is usually assumed that a quantum computation is performed by applying gates in a specific order. One can relax this assumption by allowing a control quantum system to switch the order in which the gates are applied. This provides a more…

Quantum Physics · Physics 2020-06-11 Mateus Araújo , Fabio Costa , Časlav Brukner

Prime-based ordering which is proved to be admissible, is the encoding of indeterminates in power-products with prime numbers and ordering them by using the natural number order. Using Eiffel, four versions of Buchberger's improved…

Software Engineering · Computer Science 2009-01-29 Peter Horan , John Carminati

For a quiver $Q$, we define a path algebra $KQ$ as a span of all the paths of positive length. We study left (respective right) sided ideals and their Gr\"{o}bner bases. We introduce the two-sided ideals, two-sided division algorithm for…

Rings and Algebras · Mathematics 2023-06-13 Daniel K. Waweru , Damian M Maingi

Given a finite order ideal $\mathcal O$ in the polynomial ring $K[x_1,\dots, x_n]$ over a field $K$, let $\partial \mathcal O$ be the border of $\mathcal O$ and $\mathcal P_{\mathcal O}$ the Pommaret basis of the ideal generated by the…

Commutative Algebra · Mathematics 2021-04-29 Cristina Bertone , Francesca Cioffi

Solving multihomogeneous systems, as a wide range of structured algebraic systems occurring frequently in practical problems, is of first importance. Experimentally, solving these systems with Gr\"obner bases algorithms seems to be easier…

Symbolic Computation · Computer Science 2010-02-24 Jean-Charles Faugère , Mohab Safey El Din , Pierre-Jean Spaenlehauer

Computing the critical points of a polynomial function $q\in\mathbb Q[X_1,\ldots,X_n]$ restricted to the vanishing locus $V\subset\mathbb R^n$ of polynomials $f_1,\ldots, f_p\in\mathbb Q[X_1,\ldots, X_n]$ is of first importance in several…

Symbolic Computation · Computer Science 2014-05-26 Pierre-Jean Spaenlehauer

It is shown that any set of nonzero monomial prime ideals can be realized as the stable set of associated prime ideals of a monomial ideal. Moreover, an algorithm is given to compute the stable set of associated prime ideals of a monomial…

Commutative Algebra · Mathematics 2011-10-12 Shamila Bayati , Jürgen Herzog , Giancarlo Rinaldo

We associate to every proof structure in multiplicative linear logic an ideal which represents the logical content of the proof as polynomial equations. We show how cut-elimination in multiplicative proof nets corresponds to instances of…

Logic · Mathematics 2022-07-25 Daniel Murfet , William Troiani

First Order Bayesian Optimization (FOBO) is a sample efficient sequential approach to find the global maxima of an expensive-to-evaluate black-box objective function by suitably querying for the function and its gradient evaluations. Such…

Machine Learning · Computer Science 2023-06-21 Utkarsh Prakash , Aryan Chollera , Kushagra Khatwani , Prabuchandran K. J. , Tejas Bodas

The filtering-clustering models, including trend filtering and convex clustering, have become an important source of ideas and modeling tools in machine learning and related fields. The statistical guarantee of optimal solutions in these…

Machine Learning · Statistics 2022-01-26 Nhat Ho , Tianyi Lin , Michael I. Jordan

Border basis detection (BBD) is described as follows: given a set of generators of an ideal, decide whether that set of generators is a border basis of the ideal with respect to some order ideal. The motivation for this problem comes from a…

Computational Complexity · Computer Science 2010-11-30 Prabhanjan V. Ananth , Ambedkar Dukkipati

What can be (machine) learned about the complexity of Buchberger's algorithm? Given a system of polynomials, Buchberger's algorithm computes a Gr\"obner basis of the ideal these polynomials generate using an iterative procedure based on…

Commutative Algebra · Mathematics 2023-06-07 Jelena Mojsilović , Dylan Peifer , Sonja Petrović

We give the generating function for the index of integer lattice points, relative to a finite order ideal. The index is an important concept in the theory of border bases, an alternative to Gr\"obner bases. Equivalently, we explicitly solve…

Combinatorics · Mathematics 2025-03-04 Jan Snellman

Motivated by applications to the theory of error-correcting codes, we give methods for computing a generating set for the ideal generated by $\beta$-graded polynomials vanishing on certain subsets of a simplicial complete toric variety $X$…

Algebraic Geometry · Mathematics 2025-06-02 Mesut Şahin

We study an inductive method of computing initial ideals and Gr\"obner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in…

Commutative Algebra · Mathematics 2026-01-28 Eric Marberg , Brendan Pawlowski

We consider ideals involving the maximal minors of a polynomial matrix. For example, those arising in the computation of the critical values of a polynomial restricted to a variety for polynomial optimisation. Gr\"obner bases are a…

Commutative Algebra · Mathematics 2022-03-21 Alin Bostan , Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din

In an earlier paper (https://doi.org/10.1137/21M1393315), the Switch Point Algorithm was developed for solving optimal control problems whose solutions are either singular or bang-bang or both singular and bang-bang, and which possess a…

Optimization and Control · Mathematics 2025-02-11 William W. Hager

The main topic of the paper is the construction of various explicit flat families of border bases. To begin with, we cover the punctual Hilbert scheme Hilb^\mu(A^n) by border basis schemes and work out the base changes. This enables us to…

Commutative Algebra · Mathematics 2010-04-08 Martin Kreuzer , Lorenzo Robbiano