Abstract:A cofactor representation of an ideal element, that is, a representation in terms of the generators, can be considered as a certificate for ideal membership. Such a representation is typically not unique, and some can be a lot more complicated than others. In this work, we consider the problem of computing sparsest cofactor representations, i.e., representations with a minimal number of terms, of a given element in a polynomial ideal. While we focus on the more general case of noncommutative polynomials, all results also apply to the commutative setting. We show that the problem of computing cofactor representations with a bounded number of terms is decidable and NP-complete. Moreover, we provide a practical algorithm for computing sparse (not necessarily optimal) representations by translating the problem into a linear optimization problem and by exploiting properties of signature-based Gröbner basis algorithms. We show that for a certain class of ideals, representations computed by this method are actually optimal, and we present experimental data illustrating that it can lead to noticeably sparser cofactor representations.

From Ideal Membership Problem for polynomial rings to Dehn Functions of Metabelian Groups

Weak commutativity, virtually nilpotent groups, and Dehn functions

The weak Lefschetz property and mixed multiplicities of monomial ideals

Primary ideals and their differential equations

The Ideal of Vanishing Polynomials and the Ring of Polynomial Functions

Dehn function and asymptotic cones of Abels' group

On Dehn functions for family of polycyclic groups

A semigroup with linearithmic Dehn function

Absorbing ideals: a survey on $ω$-stable groups

Deformed Laurent series rings and completions of the Weyl division ring

The membership problem for polynomial ideals in terms of residue currents

LWE from non-commutative group rings

On generalized deformation problems

Metabelian groups with quadratic Dehn function and Baumslag-Solitar groups

Ideal factoriality, semistar operations, and quasiprincipal Ideals

Ideal Membership Problem for Boolean Minority and Dual Discriminator

On the central value of Rankin $L$-functions for self-dual algebraic representations of linear groups over totally real fields

Short proofs of ideal membership

Dehn functions of coabelian subgroups of direct products of groups

ON THE MAXIMAL IDEALS OF NON-ZERO-SYMMETRIC NEAR-RINGS AND OF COMPOSITION ALGEBRAS OF POLYNOMIAL FUNCTIONS ON Ω-GROUPS