A Grbner Free Alternative for Polynomial System Solving

Grgoire Lecerf

Laboratoire GAGE, cole polytechnique

Algorithms Seminar

July 5, 1999

[summary by ric Schost]

A properly typeset version of this document is available in postscript and in pdf.

If some fonts do not look right on your screen, this might be fixed by configuring your browser (see the documentation here).

Let f1,...,fn and g be polynomials in Q[x1,...,xn], such that the system f1=...=fn=0 and g 0 has only a finite number of solutions. Following a long series of theoretical papers, G. Lecerf, M. Giusti and B. Salvy propose a new algorithm to obtain a geometric resolution of the zero-set of the system. This algorithm is valid under the hypothesis that the system f1,...,fn forms a reduced, regular sequence outside V(g). This talk presents the complexity of the algorithm, details some crucial steps and finally compares the implementation in Magma called Kronecker1 to other available softwares. It is based on [3].

1   Introduction

The algorithm presented here is devoted to the resolution of zero-dimensional systems. For a zero-dimensional variety V, a geometric resolution consists in the following elements: such that { q(u)=0, xi=wi(u)/q'(u) } is a description of the points of V.

The algorithm presented by G. Lecerf lies in the continuation of earlier, theoretical work by the TERA group [1, 2] that gave algorithms to obtain geometric resolutions of reduced, regular systems.

The present work inherits the specifics of these papers: the algorithm takes into account the evaluation properties of the input system and can work outside a given hypersurface. It also includes refinements that simplify previous algorithms and improve their complexity. Finally, note that it is a probabilistic algorithm. The author proposes an implementation in Magma called Kronecker that validates this approach.

In the specific case of zero-dimensional systems, a geometric resolution also bears the name Rational Univariate Representation, following F. Rouillier's denomination. In [8], he gives an algorithm to compute this object that relies on the precomputation of a Grbner basis. This computation is avoided here, whence the title.

The presentation is organized as follows. First, a rough sketch of the resolution algorithm is given. The complexity of this algorithm is then stated in terms of some suitably defined quantities. The most relevant steps of the resolution are detailed. The implementation is compared with implementations of Grbner bases and Rational Univariate Representation (Gb by J.-C. Faugre, RealSolving by F. Rouillier), and of Grbner bases in Magma.

2   Outlook of the Algorithm

Vi will denote V(f1,...,fi)\ V(g).

The input system f1,...,fn must form a regular, reduced sequence outside V(g), that is: These polynomials will be evaluated on many objects, so they are thought (and given) as Straight-Line Programs.

The output of the algorithm is a geometric resolution of Vn.

Sketch of the Algorithm
The algorithm is an iterative intersection process. It works the following way:
Why a Generic Change of Variables?
The algorithm heavily relies on specializations and unspecializations of variables, so that we need generic enough coordinates. Thus, the linear change of variables must ensure that all the intermediate varieties Vi are in Noether position, that their fiber above x1,...,xn-i=0 is reduced and that the first dependent variable xn-i+1 is a separating (primitive) element for this fiber.

Are There SLP's Left ?
The rough algorithm shown above handles only zero- and one-dimensional varieties, as the reader will easily check, with the consequence that all computations are performed on uni- or bi-variate polynomials, which are not represented by SLP's. This follows the deforestation technique introduced in [9] and already used in [4]. Only the input polynomials are coded as SLP's, as they are evaluated on various data throughout the resolution.

Probabilistic Aspects
The algorithm is probabilistic. The success relies on a lucky prime number p and a lucky linear change of coordinates. The unlucky change of coordinates are enclosed in a strict algebraic subset of GL(n).

The algorithm is not Las Vegas. Still, we can test whether the solution it outputs satisfies the input system. If it does, we might only miss some of the solutions. In the special case when the output contains P deg(fi) solutions, we know we have all of them.

3   Complexity

The quantities that appear in the complexity are of two kinds. First, the syntactic complexity of the input system: The complexity also depends on some parameters that are intrinsic to the varieties Vi: The following theorem establishes the time-complexity of the whole resolution process. As usual, the term Olog(X) indicates a complexity of X up to logarithmic factors. The constant W is related to the complexity of linear algebra operations over a commutative ring. Note that W < 3 is valid on a field. On a ring, we may take W 4, using Berkowitz' algorithm.
Theorem 1   The time-complexity of the modular computations is
) O
( (dd)2 ) .
The time necessary to lift the integers is
) O

This complexity improves upon earlier results. The papers [1] gave algorithms with complexity L(ndd h h)O(1). More recently, [5] refines these algorithms, so that the power of d that appears is 3.

The following three sections detail the iterative step of the modular resolution, and in particular: The minimal polynomial of a resolution will always be noted q (or q~, Q,...). The situation is slightly more complicated regarding parametrizations. The reader should be aware that a resolution can bear many forms, depending on the choice of the denominator of the parametrization. The so-called ``Kronecker'' form has the derivative of the minimal polynomial as denominator; the associated parametrization will be noted w. The polynomial parametrization (i.e., with denominator 1) will be noted v.

It is always possible to go from one type of parametrization to another one, by inverting the denominator modulo the minimal polynomial. This will often be done, without further notice.

4   Lifting

We enter the i-th step with a resolution of the variety Vi specialized at x1,...,xn-i=0, which is a zero-dimensional set. The lifting step ``unspecializes'' the last free variable xn-i and thus builds a resolution of the one-dimensional set Vi specialized at x1,...,xn-i-1=0, which will be called a lifted curve.

A geometric resolution modulo p of Vi at x1,...,xn-i=0, with primitive element xn-i+1:

xn-i+1 =vn-i+1(xn-i+1),

xn = vn(xn-i+1).

The lifted curve is represented as a parametrized version of the previous representation, where now both the minimal polynomial and the parametrizations have coefficients in Z / pZ[xn-i]. The minimal polynomial and the parametrizations in Kronecker form have total degree less than the degree of q.

xn-i+1 =Vn-i+1(xn-i,xn-i+1),

xn =Vn(xn-i,xn-i+1).
How Does it Work?
The core of the routine is a global Newton iteration, which is summarized in the following scheme.
f(v)=0 + O(xn-i) mod q,

xn-i+1 =vn-i+1(xn-i+1),

xn = vn(xn-i+1).
Global Newton
(xn-i,xn-i+1)=0 + O(xn-i2),
)=0 + O(xn-i2) mod


This makes sense, since at the beginning of the i-th step, the system can be seen as polynomials over Z/pZ[xn-i] for which we have a resolution modulo I=(xn-i). A global Newton iteration enables to compute a resolution to the precision I2, and, by successive applications, to any I2k. The bound on the degrees in the Kronecker form indicates the number of steps to perform. Let's detail the first pass.

The point is to consider that we are given a representation modulo I of an underlying resolution over the ring Z/pZ[xn-i]. This resolution has a separating element T which is xn-i+1 modulo I, and such that f(xn-i,v(T))=0 + O(xn-i) modulo q(T)---recall that this only means that the input is a resolution for the specialization xn-i=0.

First, an iteration of the classical Newton iterator yields new parametrizations V that satisfy f(xn-i,V(T))=0 + O(xn-i2) modulo q(T). This is not satisfying yet, for we seek expressions that involve xn-i, not T. The trick is to see that the new parametrization of xn-i+1 is xn-i+1=T+xn-iD(T)+O(xn-i2), for some polynomial D with coefficients in Z/pZ, according to the remark above. Furthermore, xn-iD(T) is xn-iD(xn-i+1) modulo I2 (this is a first-order expansion). The corresponding substitution T xn-i+1-xn-iD(xn-i+1) thus yields the desired resolution modulo I2.

5   Intersection

We go back to the description of a step of the iterative resolution process. This second part consists in intersecting Vi specialized at x1,...,xn-i-1=0 with the hypersurface defined by fi+1.

The output of the lifting step and fi+1

A geometric resolution of Vi V(fi+1) at x1,...,xn-i-1=0 with xn-i as primitive element.

To this effect, we perform the following linear change of variables: xn-i=X-txn-i+1. The corresponding minimal polynomial and parametrizations are noted Qt(X,xn-i+1) and Vt(X,xn-i+1). This idea naturally leads to what we called Kronecker parametrizations, and is already to be found in his papers.

We compute A:=Resultantxn-i+1(Qt,fi+1(X-txn-i+1,Vt)) at order O(t2), that we shall write A=A0+tA1+O(t2). As A(xn-i+txn-i+1) =0, it follows that the eliminating polynomial of xn-i is A0 and that the the parametrization of xn-i+1 is -A1(xn-i)/A0'(xn-i).

6   Cleaning Step

This is the last part of each iteration, that consists in removing the unwanted components lying in V(g).

A resolution of Vi V(fi+1) at x1,...,xn-i-1=0 as produced by the intersection routine.

A resolution of Vi+1 at x1,...,xn-i-1=0.

The computation is straightforward: compute the gcd p of q and g(v) and replace q by q/p to obtain a new resolution.

7   Experimental Results

The algorithm is implemented in Magma, in a package called Kronecker. It has been compared with existing softwares, namely Gb, RealSolving and Magma on different examples. All computations were done on the MEDICIS machines (http://www.medicis.polytechnique.fr).

n h Kronecker Gb Grevlex + Real Solving
4 4 6 s 0.5s +0.5s
4 8 8 s 1s + 1.3s
4 16 11s 2.5s + 3.7s
4 32 21s 7s + 9.3s
5 4 36s 5s + 18s
5 8 50s 17s + 57s
5 16 88s 65s + 180s
5 32 208s 244s + 592s
6 4 260s 209s + >317s
6 8 412s 773s +
6 16 875s 2999s +
6 32 2312s 5652s +

Table 1:

The first series of examples consists in n generic polynomials of degree 2, with coefficients of h decimal digits, for various n and h. The systems have then full degree D=2n. This example aims at illustrating the good behaviour of Kronecker regarding the growth of the coefficients. The timings are given in Table 1. The computations were performed on a Compaq Alpha EV6, 500 MHz, 128 Mb.

The second example (Table 2) is inspired by the Kruppa equations. It consists in 7 equations in 7 variables with integers coefficients of size 18, each equation is a product of two linear forms minus a constant coefficient. The computations were performed on a DEC Alpha EV56, 400 Mhz, OSF/1 4.0b, 1024 Mb.

Kronecker Magma Grevlex
5h 13.6h

Table 2:


Giusti (M.), Hgele (K.), Heintz (J.), Morais (J. E.), Montaa (J. L.), and Pardo (L. M.). -- Lower bounds for Diophantine approximation. Journal of Pure and Applied Algebra, vol. 117/118, 1997, pp. 277--317. -- Proceedings MEGA'96.

Giusti (M.), Heintz (J.), Morais (J. E.), Morgenstern (J.), and Pardo (L. M.). -- Straight-line programs in geometric elimination theory. Journal of Pure and Applied Algebra, vol. 124, 1998, pp. 101--146.

Giusti (M.), Lecerf (G.), and Salvy (B.). -- A Grbner free alternative for polynomial system solving. In Proceedings FOCM'99. -- 1999.

Giusti (Marc), Hgele (Klemens), Lecerf (Grgoire), Marchand (Jol), and Salvy (Bruno). -- Computing the Dimension of a Projective Variety: the Projective Noether Maple Package. -- Research report n°3224, Institut National de Recherche en Informatique et en Automatique, July 1997.

Heintz (J.), Matera (G.), and Waissbein (A.). -- On the time-space complexity of geometric elimination procedures. -- 1999. Manuscript of Universidad Favaloro, Buenos Aires, Argentina.

Kronecker (L.). -- Grundzge einer arithmetischen Theorie der algebraischen Grssen. Journal fr die reine und angewandte Mathematik, vol. 92, 1882, pp. 1--122.

Macaulay (F. S.). -- The Algebraic Theory of Modular Systems. -- Cambridge University Press, 1916.

Rouillier (F.). -- Algorithmes efficaces pour l'tude des zros rels des systmes polynomiaux. -- PhD thesis, Universit de Rennes I, may 1996.

Wadler (P.). -- Deforestation: transforming programs to eliminate trees. Theoretical Computer Science, vol. 73, 1990, pp. 231--248. -- Special issue of selected papers from 2nd ESOP.

See also the Kronecker homepage: http://www.gage.polytechnique.fr/~lecerf/software/kronecker

This document was translated from LATEX by HEVEA.