Abstract:In the last decade, the approximate basis computation of vanishing ideals has been studied extensively in computational algebra and data-driven applications such as machine learning. However, symbolic computation and the dependency on term order remain essential gaps between the two fields. In this study, we present the first $\textit{monomial-agnostic}$ basis computation, which works fully numerically with proper normalization and without term order. This is realized by gradient normalization, a newly proposed data-dependent normalization that normalizes a polynomial with the magnitude of gradients at given points. The data-dependent nature of gradient normalization brings various significant advantages: i) efficient resolution of the spurious vanishing problem, the scale-variance issue of approximately vanishing polynomials, without accessing coefficients of terms, ii) scaling-consistent basis computation, ensuring that input scaling does not lead to an essential change in the output, and iii) robustness against input perturbations, where the upper bound of error is determined only by the magnitude of the perturbations. Existing studies did not achieve any of these. As further applications of gradient information, we propose a monomial-agnostic basis reduction method and a regularization method to manage positive-dimensional ideals.

Reduced normal form of local integral bases

Integral Basis for quartic Kummer extensions over $\mathbb{Z}[ι]$

A normal form for bases of finite-dimensional vector spaces

Normal Bases on Galois Ring Extensions.

Local Normal Forms of Noncommutative Functions

On n-universal quadratic forms over dyadic local fields

Invertible bases and root vectors for analytic matrix-valued functions

A Formalization of Complete Discrete Valuation Rings and Local Fields

Normal Bases on Galois Ring Extensions

Hermite Reduction for D-finite Functions via Integral Bases

Normal integral bases of Lehmer's cyclic quintic fields

Local-global principles for multinorm tori over semi-global fields

Generalizations of the primitive and normal basis theorems

Noncommutative Gröbner Bases over Rings

On Generalised Albert Forms over Discretely Valued Fields

Gröbner--Shirshov bases for commutative dialgebras

Essential Normality - a Unified Approach in Terms of Local Decompositions

Fast computation of integral bases

Topics In Normal Bases Of Finite Fields

Monomial-agnostic computation of vanishing ideals

DISCRIMINANT and integral basis OF $\mathbb{Q}(\sqrt[12]{a})$