A Geometric-Numeric Algorithm for Absolute Factorization

of Multivariate Polynomials
Robert M. Corless Andre Galligo Ilias S. Kotsireas Stephen M. Watt

The Ontario Research Centre for Computer Algebra

University of Western Ontario, London ON, N6A 5B7 Canada

Laboratoire de Mathematiques,

Universite de Nice-Sophia Antipolis,

Parc Valrose, Nice 06108 Cedex 2, France
Department

of Physics & Computing, Wilfrid Laurier University,

75 University Avenue West, Waterloo ON, N2L 3C5 Canada

ABSTRACT

 


 
  %/

->
-?
-/
+-&
 
  %-,& 
  @ %+/&    
   

 
   
  
     


 A  
 %+& 
 %:& B

  


  
  
        


 
 1  9    @ 8 


     
 
     


8      @  
  

   
     
   

  1 19    
  



 

  
 


   



   C(
 )$

8D

   
   
  


 

     


    
    
     
 

    
    


  #   

    
     
  

 
 $ 
   $ 
   


     
    

  

   
A 
 
 

 


 $ 


$ 
  

  $



1.


$  

   
  
       

  
  
    
 
  

 
    

%&



#
 

$ 
 
    



    

2          

 

 
 


       




 




  
  



@  )

    

INTRODUCTION

  
 

  
 
 $   
  
 

"

@

     
  C
    


  

 
 D

#
  

  
#
  
  $


 
  

  

         






2     
 
 
   
 

 $



      %->&

%-?&
%+-&
%-&
%.&

'       
   

  #  
 #
        


       
 
 

 
  
 




 
  
   
  
 


   %->&

  
 
     


  
  


         %.&

    
 

(  
   )* 
  ( +,,-.//-+

 

E@ 
     

  (
 
 )

 
 0  1
  1


 2
  0  
 3 
 1
 4



)(50  6
  0   7 40 (12


 
 8


   
    

   


   
 
 
%+-&
  
  


 

 
/ #    

  
 
. #   

    

      


 
   

%-?&
%-:&
%/&
%->&

Permission to make digital or hard copies of all or part of this work for
personal or classroom use is granted without fee provided that copies are
not made or distributed for profit or commercial advantage, and that copies
bear this notice and the full citation on the first page. To copy otherwise, to
republish, to post on servers or to redistribute to lists, requires prior specific
permission and/or a fee.
ISSAC 2002, July 7-10, 2002, Lille, France
 +,,,


918

-/:--.:.; ,+; ,,,<

   
 $ 
%-?&

  

   


    $

 

 $  
  
  
   @
  
  
       

9  
 
    
   $


 
   
    

=/,,

.<


 +-     
 
%  &     
          
%  &
 
       
%& 
      
 
!
    ! 

 $ 
   $
    F   


 
   

  
  $




 
     

E


        
 
  
((91G,-

  J  
   J J  
 
 
     %  &  
%  &    
                 


!


 
     

 


 
  
 
   %++& 


   


         

 
   (   
    
    %+.
+.&

9 
E
            


:
    H 
    

 

?     
   $  
  
     ?   

2.2 Statements



6

2. REDUCTIONS AND STATEMENTS

2.1 Preparation

%  &

  
 E   
  

 

%  &

 

 





 #     

 
 
 
 



   
 E     


 

- 4
    $


       
 


 
  




%&

   


 J 


J


 
 
  

%
 &   
 

  

%
& 8 
   
  
 
 

K 
! 
J
J
J



 
 

  J    


  

     
  $




 

!


 @ 

  
 
   

    


   

 


 #
 


   
 





 
  



  H 
 




 
  

 

 
    

 
  

     

   

!

     

      
  



  



  J 
   


  

    C  D  $ 
N

JN


  ( 
 


      
  
         




4
 
 


 

 
 





     
 

     

2.3 Reduction to the approximate problem

 
  @ 
    @  

 $       $    

 




      




%->& 6

%  &    
 9  
   


  J  
   
  
 
 
 
  J J  
 J  

  

   
    
 
  

  
 
 9     


 
 
 
%&  

  
  
 

  

   

$  

  ! , 
  


 ( 

  
 
 
  

%
 & 
  J  
 
J  
   

 
  
 


8   
  
  

4  CD 


 
 

 
  
 



  

 

J




 
 





 ! -

   
 C
 D 
 
   


  
   
 

M  



+  

 
     

6

!

 

%  &

 !
J  J  A 

%& 

+ 4
 
 

      
   

 
 

7 

  
  


         K 
 B
 
 9

  
 K   
  

L %+<&

%&


    
 
     

I 
  B     

 


 
  #
 $ 
   
 $

     
   
 
  
  #

  
7


  

  
  %->& 6   

!


4  



     

   

  

 
   








  
  
 


   !

.:





 

9   

       
 


  

  
7
 
  
 

 
  
  
 #
  $

 

  
 






  
E
      8 B    

 


 
 
$ 
 
     

 $ 
  
  
 
 
 

      


   #


 

@  E     


   



       
  
  
 

     590 M5 %-.& 








  @
   7



 
  
 

 
 


 
  
 



  
   
    



  
     
%->&  

4 

  

   
  #



    B G      9 


$



M         
 

     
$


  
 



#


9  

   

%++&

4
  $    
 $




     
   $ 



    ,

3.



 .-         

 

%  &          
%& 
  
  
!
 

! !" 

 !  
      !
 "  

     
 

      
        
    
   " 
  
              " 
     
 
         

MONODROMY

3.1 Definition
 #      
 
 

 
 
  $@ 
9  M   


%-+& 

%+>&

     
 E

   
 
  3
    



     

A  
     7




$   
   #  
   

  6 N     

   
   
 
  
 

4. EFFECT OF A PERTURBATION

   

    $

 #  
    







  

$   N 1
  
  %, -&
 N       , !  - !
 
4
   
    
     

  N
    
  #  
    


 
 
        
6



 !

 



  
    



N

  

  

9

     
 

     



I 
  
  

   
 7





  

#   ! 0!   
 

3#    ! 3#   3#    0!    

3
  N

 
 
#
       


N

$   
  
   


 
   

  

)     
   


 +      

  

 7 


    #



#
   



   




N!N

N

9    
   


  
 
  
B 

 
  #     


 


  
 
   #

 



  
 
   
 
N

3.2 Connectedness results



N

      $ #

 




  
 
  
 $
 
  


   
         

 

  N
  



4.1 A simple case

$   


       

I  
      


 

N $
 

       
   


 #   
   
  


 #


 
   #  (  
   


   #






JN

 

  
       C D  

  
 
   #      

           $ 
@

  


 ! -

   
      

  
 

   
! - 



, 
 -

 ! -         !


 
      
  !

    !



 9  
      $



!
  !

        

7

   

 


 

  

    
    



   

        



 
    
   


  
   

 
  


 - 


9   

 
 

 


     #    
    


  $


! -,,
     -, 
 


   

 
  -,
 
   # 

 &

  
 





   
  
  

  

  
    # 



 
  E

 

 N

.?

  
 !  
 J
 #


N    


,

1
 

  
N

$ %% -

JN

  
 J $

   
 
 C
 
D




 


 E
    
   

  

  
        

  7
    


     
   # 

  
 

     


 

$   C D
$ J$ 

$




 
 ! -     

- 
  ! - -  # #
  J N

 
 !
-     
 & ! -  - J $ 


 & ! - - J $  & 
 &       

  
 
   
 $
   
   
 ! - 
     
 

 # #
 

  

 

     



5.1 Triplets and zero-sum relations

4 
    
 

%
 & 
 
   


    


 . 
     


       
  
     
 
  !       

! -

  $ 
       
  

  !       


 

 
     #

   


B   
 
    
 

  !       

   
  
   # 

  $

  $         C D

    @ @  


         
 
 

         #  
   
   

Metric analysis
  
    
  
 
   

! -,,
  
#  
3#   

 0!   

 
 /- # 
"         
"       $

 
 4 $ 


  .  3

 
   


 2 @G 
E %-&


  

 
  -,


   
 C  D 



   

  

!

J


   

 
    
   
   



        

>

  

  

J

   J    J   

!

   ! $

4.2 General case

 
  

    

  



 J  ! ,


     

 
 
 
 





  

 
 
 
   7



    H 
   

     

        . 
   E



      
 9

 &  
 
     
 E  

    . 




  

 
 
    

   
   
  
  

 
 
  





$ 
 I       

  !   J 
J (  

 $  


I  
    


 
 

 

    

   

   


     

     

        

    





  $     

0


 
 2 @G 
E 

   

 -

)
 
)
 

 


     
 
  #  '

        

 


   
      


 
  
 
 
  
    




 
        
    
 )


 


! J( A

B  E   
   


 

        
      


   
 

 
  

 



J


 


! J( A



J



 


!

!,

J( 


  
 
     
.



  

  
 

 E

    @ 
   @
  


 


 2     
      

F
 
  
     $

  

 ! 
$   ,


 @    

! +
 




$

 



     
    
   


  
       

#


  
     
   
  



   ( 
$
      

    
%-?&

%-:&
%/&
%->&

  ! ,
   
  


(   

    
    
  

5.2 Path following on a grid

 
  
     '     

 N



 . 
 
   
 #  
$  

 
  
  


 #   ! '
 


   
   
   
 #    
     
 
  


5.

A SIMPLE CONSERVATION LAW

 

 
  
'   
   7

    

     
     
  N



  N 
' 

 N   #

 


,




  
   
  




N
 
  






(     
  #

  



N

I 
 


 '
 
    



0  
 
 
  

 
      
       

    


  
J   
J   


!

5.4 Factors in an approximate setting

 

          $  





 

 

 
!








    @
  
    
  
%->& 


    .-
 %++&

    

      
  $



B  C 
D 
   


 

 




      $  @
   


('3 (
 ' 3 

 


  



&

N 
      


  
  +  
      


  

   

   $ 


$ 

@


    
  $

 
 

   #

 

 




   

     #
 

 

      
  $ 

@

 
         

     ,  - 
  


  



   

  
 
  @
 

              
   
         
  
         !     

 

  
   @


    !   + , .
 

   

     


 

0 
0   




)$

   

   

 


   
  





.  
/

N

&

! +

 

 

   @
   $    
 
 $

N  



   
    
 
    


(  

$  
 
 #

 




@
  
  
%-?&

  
$
   
    #   




6. A MARCHING ALGORITHM



    
   



  

    

   

$    

    
 
C
 
D

  

    
%.&

   
$  
    

6.1 Numerical Parameterization

 
  

%.&  #
    
      

 
       

  

     



  
 #
  
 #
 


     

  
 


 
  
 
 

      
  
 
  
   

O ! 
O  

5.3 Factors in an exact setting



 


-



$    


   
 -  


 



   

  

-

  

 
#



  

 

  #$

1 
 

B  

1 ! ,

6.2 Heuristic on the condition number


  
    # 
  
 
  


 

$ 
 
 
   

!    
  

   


   

         ! - 0       

  



      

 
     %.& B

   

- 

       - 


   
$   
  
     


  
 
 
 @
 

 ,  -

  
E
     
 
 

 
       

 @
    



 

   
   
  $

 

  

@  7
     
%.&



  

O ! !


              



 
   


 
  
!
 

  -         
  
 

 &
  &


 O J  O ! ,
 ! ,




  1
   $      !



           $ 

   
 

      



 #
  E


  $
 

! ,

9 
%.&  H 
       



   

 @      
  #



  
         
  


 

 


   #
 

      
  
 
 

 #

 
         

#
 

 
   


 

!

 
 
 
 
 



  
 


-




0


 

   

  

+

          

    

 #
  #   


 


    


   9 
%.&

H 


     $ 
 O

 



1  
       

   # 
         
 
$   
   , 

 

   

   


   
 
 
   1
 



  
E 
       

 
   





     8

 , 
  -   
 


 1
 &

 
  


 

     

  

   
 
    
 


,

23)( @ %+,&

  


7.

 1  

COMBINATION OF TOOLS

  


    @
 


1    


   


    $

 
   


  
     @




0


   
      
    



  
    
 

 . 
 / 

 ,  -  #
     



    
   

  



 

   
 
   

 

 )$
   
 
@    

7.1 Size of the matrix


 
$
   #    
   # 


 

  1
        

   
 
    
    @

    


 
   

 
      

 $




       

 # 


 @  

-


 !

2 

 $

 
  $

 
 



  



 1     

    $





  

&


  $ 
 


 $



 @  $ 
 

 
    

  
         $

   

9  # 
    @

     





        






    


9. AN EXAMPLE


 !





 
  
 
     ?  


 
     



  

  $    $
      

  
     


7.2 Precision
I   
  

    
 
        
 

&

&

 
  

 
  
  $


&



! +

  @
 

  




       

    :
 J :
  
   J >
 
 -,

 

 
  $  @
 




   
   
 
     

   J .   .
  J .
    /


J 
  

 

9   


J N

  # 
   



   

 
    

 


 % -,

J.

 
  

  

     7
    




 
  

   
 J /
   --

  J /
 
J 
 

     

       
 




  
  ->

 
   J :

J >   -,

$

J.

(  
   

  
-,

  J 
  J :
 +,
 J .   ->
J <  .

->

    

    
  ('3  



  
 $  @


   

 
   
 

 


8.



4 @   

 


  
 
   


ALGORITHM, THE DIFFERENT STEPS

0
    
 

 

J :
 
 /

  J 
 
  J

.

  

! ,
  $&

 #     # 
 

! ,

  %

  

 8 


 

   


$ 1

 ! ,

 $   
   

 #  , !



   

#
  
     7 


   
      

  



 ! %--+<<>?>  /,??/:.2 --+<<>?> J /,??/:.2

->/-><+  -,.?:,>.2 ->/-><+ J -,.?:,>.2

*   
       H 


+</.-.:  ->-:,.?2 +</.-.: J ->-:,.?2

 
 
#
      

 

  I  


   
   

  
 #  ,

 7



 
      

.+?,../ ::,+.:++  --,:/:-2 ::,+.:++ J --,:/:-2 &

+

  
    .  

          4
  

. ! , , , , -

! - - - , ,

      
  
 #
  

, , , - ,




  #      

 
 .  (

 $ 
 
  
     


 

   
       
  

 
  
 $   $   

 
  






 
   

  .


     

  

  (  
    



 ?  

 
 
 $



      .      




!  
   ?
 
   +    , 
   ,

  
 ?      
   J   
#




$

 
  
  

( 

   
    $  
  

    7   


 

.

I  
     
 



  
   
 



 
   
 

$

9  ? 


  $



 >:+.+<
  /.+:<

 -.>>/
J   .>>/

-!

 
   
 
  2
   


 
 / 
->/-><+  -,.?:,>.2 

+!


   #   





J .-->.  -->-/-2 
 
+.+<:/> J <?+//-??2 

+

->/-><+ J -,.?:,>.2 

J >:+.+<:,

.+?,../

.!

-+<<>?> J /,??/:.2

2
J  J ->:+.+<:  +.+.,:+:2

+ .+.,:+: 


J .-->. J -->-/2 
 
+.+<:/>  <?+//-??2 

-

+

+</.-.:  ->-:,.?2 ::,+.:++ J --,:/:-2 

2
J  J ->:+.+<: J +.+.,:+:2

J >:+.+<:, J + .+.,:+: 

-+<<>?>  /,??/:.2

 #  @       $ 

-

+</.-.: J ->-:,.?2 ::,+.:++  --,:/:-2 

(  


! ? 
  ! /   

 & ! -,     
 4    
  

  
  
!  $ 
 

     . 
 

 %& ! %./3!4
! ,-2   /0!
&A

@  ! %,- -+ -?&

      
    4 

    
$  - 

     . 
  ! -<,</++,  -,?/:>.?2



  .-->.?,  -->-/-2 A


J -,,,,,,,  +</<-+</-,  2 J -,,,,,,, J -,

2
 
    $ 
    

 


./?,:.,> J -.,>??.><?2

 !  J >:+.+<:,  .-->.?, J -->-/-2 

  

     -  .,  

 

 
    
 

       -,


J  J -  #    
  4

4 ! >:+.+<:,.:
4 ! >//<-+.-: 9
  





- !  J 4
 J 4  -
J +4
J  J +4 J -

9
  
@  $ 
 
 

%&

:/?/-/>>-, J --.>?.:<<.2

 J - 

   

-

10. CONCLUSION

(  
  
  



  
       

1 

 9        
 
  

- ? -<,</++,

! , -

J- +

J- ?




 
 

- ,?/:>.? 

  $





  
       


   7
   

  $ 
  




$ 
     $   


  F

  
        

   

  
   
%->&   @

! -:>+-,<? J - :>?,:<?


  

 
   
 
 

    
 
  
  

-./?,:.,> J -.,>??.><?2 



 
      
  

  

- + :/?/-/>>-, J - -.>?.:<<. 

  
  
      ( 


     

 (    #  
 


     -,, 

 
4  
   
  

 
 

(        
     $



        


   

-, 
 
     $  @



 
 
 
   
  
  

.

  


 
     
   

%  (  
)      *   &    +  
% ,! 5 

 (  
(  



 B   
   
 

9  1 

-.<-+
918 5  +,,-

%>& M
9 
 0
3

    
  

C 
 D  



  

2
  @      


  
     

 9


   

    
     ,!    
P (  1 

%<& M
9 
 0
3

    

   



    
    
   

    


         
    
    !   5  1965 -?:-
61(

%:& B

P 
 (@

8

   

      
  $

     F  $ 
  
   
  

  
      
 

--/
 ->+:

     
  

 
   
 


$
 
7  

    

%?& R
)


 
    

  
   

%-,& R
)

     
  
  


+?.-.
6   
1  (
/:.
( 




  
 
      


I 

-??+

   

 
  
         

%--& R
)

 
   
 
 
   

%-+& 8   3

    @
 

  
   

*  

   4  

1   8
B   *
 
-?//

   
  
  
 
  

 

 
     
  

%-.& 590 M5 ;;  ;

 
     

%       
  
 
 Q @
9  5 
-?>,

%-& 2 @ 9 8

9
  
 

  
   

 
  
 
    
 
  

2  ! 3   *   

 

 1
 
>>
-+.-.< -?:/

    F     
    
 




'
     -./01-..-

69 G?+ 5 


( 5
I 
-??+



             

 
     

 

#       

  

P(1  -
-?:/
 /<S><

 $ 
 
    

    $ 

%        


 
53 
*
 6 
-??<

%-/& 0
P 4

  
      


     

   2
   
     
    @ 
  

%>&

%          


             

%->& 0
3


 %<&    
  
   



 %+-&

P
  (  1  +,,-

11. ACKNOWLEDGEMENT

2        
  '4,)       53

%-<& 0
3

  @  
 
 
  9 M

  " $

   *
  


*
   
4 

+,,,


2
  *

2 



 


6


2
  1
  
   
 +,,- 
 

2
  0  1 
1  9    2


 
      !  
     
   
   P
P
 9 8 :

%-:& (@  (@ 8 R 8 (@ 8

  0  1
   1  9  B  @

 
@ *

2 
 20119   

-??-

 .
 ./<.</

12. REFERENCES

 
P # 
  
   !     
((91G:?

%-& I77 1 1

 P M  0

  5  !  '

 
#   &   6 % +   5 

%-?& (@ 

5 

-?:?
 :-?,


 (  
(  
 9 

1 

+:+?-
918 5  +,,-

%+& 1
96 
 M   3 Q

%       !  
      
    
 -?:.
%.& 1  08 M  8

*   7  ' 
 8)2  '  % !  2!   P 1 

%+,& ( 
 64 1  08

T 9 8 +,,, -+/

 .-,

 B7 8 R 

 #  & ! 

  '
  
((91G+,,- 5 


(

 (8

  1  9 
5
 )  %   %   '
 
%
   *   ,  5   

%+-& (  9P '  P 


6


1

P +,,-
 :/?+

      

  $ 
    
( 98 P 1  +, -??-



92 1
 
 
)  

C9


%& 3 3

9  M    1
  

5 

1 
D
 +?<.-/
R 9 

-
 -+-
%/& M
9 



(

5 
+,,-

     
  

 !  
   5 

 (  
( 

%++& (  9P '  P 


  1

%
             
   
  
    


  +,,-


 9  1 

+-<++
918 5 
-??<



%+.& (  9P

'  P 


  1

5  , 
  1   *
  5 
-???

%+/& P 
 M

 P M  

#     )   %   %  
'
  %
 
+,,-
  
   

%+>&



  

%+& (  9P
'  P 


@ 0P

   ! 
5 

*
 

5 
-?/, 5 

    A  -.
  1

%+<& L
0 )

(              

  
        ( 98

2  ! 
   

I

R 9  5 
R



   


 
 
  

P
 
   9


.: +,,-
+,++S+,>


  +- -??.

/