DeepAI AI Chat
Log In Sign Up

On the Annihilator Ideal of an Inverse Form. A Simplification

05/09/2018
by   Graham H. Norton, et al.
The University of Queensland
0

We simplify an earlier paper of the same title by not using syzygy polynomials and by not using a trichotomy of inverse forms. Let be a field and =[x^-1,z^-1] denote Macaulay's [x,z] module of inverse polynomials; here z and z^-1 are homogenising variables. An inverse form F∈ has a homogeneous annihilator ideal, _F . In an earlier paper we inductively constructed an ordered pair (f_1 , f_2) of forms in [x,z] which generate _F. We used syzygy polynomials to show that the intermediate forms give a minimal grlex Groebner basis, which can be efficiently reduced. We give a significantly shorter proof that the intermediate forms are a minimal grlex Groebner basis for _F . We also simplify our proof that either F is already reduced or a monomial of f_1 can be reduced by f_2 . The algorithm that computes f_1 ,f_2 yields a variant of the Berlekamp-Massey algorithm which does not use the last 'length change' approach of Massey. These new proofs avoid the three separate cases, 'triples' and the technical factorisation of intermediate 'essential' forms. We also show that f_1,f_2 is a maximal regular sequence for _F , so that _F is a complete intersection.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/20/2017

On the Annihilator Ideal of an Inverse Form

Let K be a field. We simplify and extend work of Althaler & Dür on finit...
04/30/2023

On Rueppel's Linear Complexity Conjecture

Rueppel's conjecture on the linear complexity of the first n terms of th...
05/09/2017

Improved Computation of Involutive Bases

In this paper, we describe improved algorithms to compute Janet and Pomm...
03/17/2020

An Algorithm for Computing a Minimal Comprehensive Gröbner Basis of a Parametric Polynomial System

An algorithm to generate a minimal comprehensive Gröbner basis of a par...
08/19/2020

On CCZ-equivalence of the inverse function

The inverse function x ↦ x^-1 on 𝔽_2^n is one of the most studied functi...
03/21/2018

Groebner bases of reaction networks with intermediate species

In this work we consider the computation of Groebner bases of the steady...