factoring bivariate lacunary polynomials without heights
play

Factoring bivariate lacunary polynomials without heights Bruno - PowerPoint PPT Presentation

Factoring bivariate lacunary polynomials without heights Bruno Grenet ENS Lyon Joint work with Arkadev Chattophyay Pascal Koiran TIFR, Mumbai ENS Lyon Natacha Portier Yann Strozecki ENS Lyon U. Versailles Palindromic Dagstuhl


  1. Factoring bivariate lacunary polynomials without heights Bruno Grenet ´ ENS Lyon Joint work with Arkadev Chattophyay Pascal Koiran ´ TIFR, Mumbai ENS Lyon Natacha Portier Yann Strozecki ´ ENS Lyon U. Versailles Palindromic Dagstuhl Seminar 13031: Computational Counting January 16. 2013

  2. Representation of Univariate Polynomials P ( X ) = X 10 − 4 X 8 + 8 X 7 + 5 X 3 + 1 Representations ◮ Dense: [1 , 0 , − 4 , 8 , 0 , 0 , 0 , 5 , 0 , 0 , 1] ◮ Sparse: � � (10 : 1) , (8 : − 4) , (7 : 8) , (3 : 5) , (0 : 1) Factoring bivariate lacunary polynomials without heights 2 / 22 �

  3. Representation of Multivariate Polynomials P ( X , Y , Z ) = X 2 Y 3 Z 5 − 4 X 3 Y 3 Z 2 + 8 X 5 Z 2 + 5 XYZ + 1 Representations ◮ Dense: [1 , . . . , − 4 , . . . , 8 , . . . , 5 , . . . , 1] ◮ Lacunary (supersparse): � � (2 , 3 , 5 : 1) , (3 , 3 , 2 : − 4) , (5 , 0 , 2 : 8) , (1 , 1 , 1 : 5) , (0 : 1) Factoring bivariate lacunary polynomials without heights 2 / 22 �

  4. Size of the lacunary representation Definition k � a j X α 1 j · · · X α nj P ( X 1 , . . . , X n ) = n 1 j =1 k � = ⇒ size( P ) = size( a j ) + log( α 1 j ) + · · · + log( α nj ) j =1 Factoring bivariate lacunary polynomials without heights 3 / 22 �

  5. Factorization of lacunary polynomials − X 6 − X 2 Y + X 5 Y + XY 2 − X 4 YZ − Y 2 Z + X 4 Z 2 + YZ 2 Factoring bivariate lacunary polynomials without heights 4 / 22 �

  6. Factorization of lacunary polynomials − X 6 − X 2 Y + X 5 Y + XY 2 − X 4 YZ − Y 2 Z + X 4 Z 2 + YZ 2 = ( X − Y + Z )( X 4 + Y )( Z − X ) Factoring bivariate lacunary polynomials without heights 4 / 22 �

  7. Factorization of lacunary polynomials − X 6 − X 2 Y + X 5 Y + XY 2 − X 4 YZ − Y 2 Z + X 4 Z 2 + YZ 2 = ( X − Y + Z )( X 4 + Y )( Z − X ) Factorization of a polynomial P Find F 1 , . . . , F t s.t. P = F 1 × · · · × F t Factoring bivariate lacunary polynomials without heights 4 / 22 �

  8. Factorization of lacunary polynomials − X 6 − X 2 Y + X 5 Y + XY 2 − X 4 YZ − Y 2 Z + X 4 Z 2 + YZ 2 = ( X − Y + Z )( X 4 + Y )( Z − X ) Factorization of a polynomial P Find F 1 , . . . , F t s.t. P = F 1 × · · · × F t Proposition A lacunary polynomial can have exponentially many factors . = ⇒ restriction to finding some factors Factoring bivariate lacunary polynomials without heights 4 / 22 �

  9. Factorization of sparse univariate polynomials k k � � a j X α j P ( X ) = size( P ) = size( a j ) + log( α j ) j =1 j =1 Factoring bivariate lacunary polynomials without heights 5 / 22 �

  10. Factorization of sparse univariate polynomials k k � � a j X α j P ( X ) = size( P ) = size( a j ) + log( α j ) j =1 j =1 Theorem (Cucker-Koiran-Smale’98) Polynomial-time algorithm to find integer roots if a j ∈ Z . Factoring bivariate lacunary polynomials without heights 5 / 22 �

  11. Factorization of sparse univariate polynomials k k � � a j X α j P ( X ) = size( P ) = size( a j ) + log( α j ) j =1 j =1 Theorem (Cucker-Koiran-Smale’98) Polynomial-time algorithm to find integer roots if a j ∈ Z . Theorem (Lenstra’99) Polynomial-time algorithm to find factors of degree ≤ d if a j ∈ K , where K is an algebraic number field. Factoring bivariate lacunary polynomials without heights 5 / 22 �

  12. Factorization of lacunary polynomials Theorem (Kaltofen-Koiran’05) Polynomial-time algorithm to find linear factors of bivariate la- cunary polynomials over Q . Factoring bivariate lacunary polynomials without heights 6 / 22 �

  13. Factorization of lacunary polynomials Theorem (Kaltofen-Koiran’05) Polynomial-time algorithm to find linear factors of bivariate la- cunary polynomials over Q . Theorem (Kaltofen-Koiran’06) Polynomial-time algorithm to find low-degree factors of multi- variate lacunary polynomials over algebraic number fields. Factoring bivariate lacunary polynomials without heights 6 / 22 �

  14. Common ideas Gap Theorem ℓ k � � a j X α j Y β j a j X α j Y β j P = + j =1 j = ℓ +1 � �� � � �� � P 0 P 1 with α 1 ≤ α 2 ≤ · · · ≤ α k . Factoring bivariate lacunary polynomials without heights 7 / 22 �

  15. Common ideas Gap Theorem ℓ k � � a j X α j Y β j a j X α j Y β j P = + j =1 j = ℓ +1 � �� � � �� � P 0 P 1 with α 1 ≤ α 2 ≤ · · · ≤ α k . Suppose that α ℓ +1 − α ℓ > gap( P ) Factoring bivariate lacunary polynomials without heights 7 / 22 �

  16. Common ideas Gap Theorem ℓ k � � a j X α j Y β j a j X α j Y β j P = + j =1 j = ℓ +1 � �� � � �� � P 0 P 1 with α 1 ≤ α 2 ≤ · · · ≤ α k . Suppose that α ℓ +1 − α ℓ > gap( P ) , then F divides P iff F divides both P 0 and P 1 . Factoring bivariate lacunary polynomials without heights 7 / 22 �

  17. Common ideas Gap Theorem ℓ k � � a j X α j Y β j a j X α j Y β j P = + j =1 j = ℓ +1 � �� � � �� � P 0 P 1 with α 1 ≤ α 2 ≤ · · · ≤ α k . Suppose that α ℓ +1 − α ℓ > gap( P ) , then F divides P iff F divides both P 0 and P 1 . gap( P ) : function of the algebraic height of P . Factoring bivariate lacunary polynomials without heights 7 / 22 �

  18. Common algorithmic idea ◮ Recursively apply the Gap Theorem: P = X α 1 P 1 + · · · + X α t P s with deg( P t ) ≤ gap( P ) Factoring bivariate lacunary polynomials without heights 8 / 22 �

  19. Common algorithmic idea ◮ Recursively apply the Gap Theorem: P = X α 1 P 1 + · · · + X α t P s with deg( P t ) ≤ gap( P ) ◮ Factor out P 1 , . . . , P t using a dense factorization algorithm Factoring bivariate lacunary polynomials without heights 8 / 22 �

  20. Common algorithmic idea ◮ Recursively apply the Gap Theorem: P = X α 1 P 1 + · · · + X α t P s with deg( P t ) ≤ gap( P ) ◮ Factor out P 1 , . . . , P t using a dense factorization algorithm ◮ Refinements: Factoring bivariate lacunary polynomials without heights 8 / 22 �

  21. Common algorithmic idea ◮ Recursively apply the Gap Theorem: P = X α 1 P 1 + · · · + X α t P s with deg( P t ) ≤ gap( P ) ◮ Factor out P 1 , . . . , P t using a dense factorization algorithm ◮ Refinements: • Factor out the gcd of the P t ’s Factoring bivariate lacunary polynomials without heights 8 / 22 �

  22. Common algorithmic idea ◮ Recursively apply the Gap Theorem: P = X α 1 P 1 + · · · + X α t P s with deg( P t ) ≤ gap( P ) ◮ Factor out P 1 , . . . , P t using a dense factorization algorithm ◮ Refinements: • Factor out the gcd of the P t ’s • Factor out only one P t & check which factors are common to the other P t ’s Factoring bivariate lacunary polynomials without heights 8 / 22 �

  23. Common algorithmic idea ◮ Recursively apply the Gap Theorem: P = X α 1 P 1 + · · · + X α t P s with deg( P t ) ≤ gap( P ) ◮ Factor out P 1 , . . . , P t using a dense factorization algorithm ◮ Refinements: • Factor out the gcd of the P t ’s • Factor out only one P t & check which factors are common to the other P t ’s • . . . Factoring bivariate lacunary polynomials without heights 8 / 22 �

  24. Results Theorem Polynomial time algorithm to find multilinear factors of bivariate lacunary polynomials over algebraic number fields. Factoring bivariate lacunary polynomials without heights 9 / 22 �

  25. Results Theorem Polynomial time algorithm to find multilinear factors of bivariate lacunary polynomials over algebraic number fields. ◮ Linear factors of bivariate lacunary polynomials [Kaltofen-Koiran’05] Factoring bivariate lacunary polynomials without heights 9 / 22 �

  26. Results Theorem Polynomial time algorithm to find multilinear factors of bivariate lacunary polynomials over algebraic number fields. ◮ Linear factors of bivariate lacunary polynomials [Kaltofen-Koiran’05] ◮ gap( P ) independent of the height Factoring bivariate lacunary polynomials without heights 9 / 22 �

  27. Results Theorem Polynomial time algorithm to find multilinear factors of bivariate lacunary polynomials over algebraic number fields. ◮ Linear factors of bivariate lacunary polynomials [Kaltofen-Koiran’05] ◮ gap( P ) independent of the height � More elementary algorithms Factoring bivariate lacunary polynomials without heights 9 / 22 �

  28. Results Theorem Polynomial time algorithm to find multilinear factors of bivariate lacunary polynomials over algebraic number fields. ◮ Linear factors of bivariate lacunary polynomials [Kaltofen-Koiran’05] ◮ gap( P ) independent of the height � More elementary algorithms � Gap Theorem valid over any field of characteristic 0 Factoring bivariate lacunary polynomials without heights 9 / 22 �

  29. Results Theorem Polynomial time algorithm to find multilinear factors of bivariate lacunary polynomials over algebraic number fields. ◮ Linear factors of bivariate lacunary polynomials [Kaltofen-Koiran’05] ◮ gap( P ) independent of the height � More elementary algorithms � Gap Theorem valid over any field of characteristic 0 ◮ Extension to multilinear factors Factoring bivariate lacunary polynomials without heights 9 / 22 �

Recommend


More recommend