real solving on algebraic systems of small dimension
play

Real Solving on Algebraic Systems of Small Dimension Masters Thesis - PowerPoint PPT Presentation

Real Solving on Algebraic Systems of Small Dimension Masters Thesis Presentation Dimitrios I. Diochnos University of Athens March 8, 2007 D. I. Diochnos (Univ. of Athens, Q ) Real Solving on Bivariate Algebraic Systems Mar 07


  1. Real Solving on Algebraic Systems of Small Dimension Master’s Thesis Presentation Dimitrios I. Diochnos University of Athens March 8, 2007 D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 1 / 66

  2. Outline Introduction 1 Results in Univariate Polynomials 2 Results in Bivariate Polynomials 3 Real Solving on Bivariate Systems 4 5 Applications 6 Implementation D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 2 / 66

  3. Outline Introduction 1 Results in Univariate Polynomials 2 Results in Bivariate Polynomials 3 Real Solving on Bivariate Systems 4 5 Applications 6 Implementation D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 3 / 66

  4. Notation and Conventions Complexity: � O B implies that we are ignoring (poly-)logarithmic factors. ◮ Length function: L () ◮ Given ν ∈ Z , L ( ν ) implies the bitsize of integer ν. ◮ Given A ∈ Z [ x ] L ( A ) implies the maximum bitsize of the coefficients. D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 4 / 66

  5. Notation and Conventions Complexity: � O B implies that we are ignoring (poly-)logarithmic factors. ◮ Length function: L () ◮ Given ν ∈ Z , L ( ν ) implies the bitsize of integer ν. ◮ Given A ∈ Z [ x ] L ( A ) implies the maximum bitsize of the coefficients. D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 4 / 66

  6. Operations on Lists. Sign Variations: Given a list of signs compute sign-swaps. Ignore zeros. Example VAR ([+ , + , − , 0 , − , 0 , 0 , +]) = 2 Intermediate Points: Given a list of (sorted) rational numbers compute rationals in between. Compute two more bounding rationals for the entire sequence. D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 5 / 66

  7. Operations on Lists. Sign Variations: Given a list of signs compute sign-swaps. Ignore zeros. Example VAR ([+ , + , − , 0 , − , 0 , 0 , +]) = 2 Intermediate Points: Given a list of (sorted) rational numbers compute rationals in between. Compute two more bounding rationals for the entire sequence. D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 5 / 66

  8. Polynomial GCD Computation Euclid’s Algorithm. ◮ Works fine when F , G ∈ Q [ x ] . What if we want to work in Z [ x ] ? ◮ Pseudo -divisions are required. k · F = Q · G + λ · R where F , G , Q , R ∈ Z [ x ] and k , λ ∈ Z . Pseudo-Euclidean:  ( lead ( G ) δ + 1 , 1 ) ( k , λ ) =  R = rem ( F , G )  Q = quo ( F , G ) D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 6 / 66

  9. Polynomial GCD Computation Euclid’s Algorithm. ◮ Works fine when F , G ∈ Q [ x ] . What if we want to work in Z [ x ] ? ◮ Pseudo -divisions are required. k · F = Q · G + λ · R where F , G , Q , R ∈ Z [ x ] and k , λ ∈ Z . Pseudo-Euclidean:  ( lead ( G ) δ + 1 , 1 ) ( k , λ ) =  R = rem ( F , G )  Q = quo ( F , G ) D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 6 / 66

  10. Polynomial GCD Computation Euclid’s Algorithm. ◮ Works fine when F , G ∈ Q [ x ] . What if we want to work in Z [ x ] ? ◮ Pseudo -divisions are required. k · F = Q · G + λ · R where F , G , Q , R ∈ Z [ x ] and k , λ ∈ Z . Pseudo-Euclidean:  ( lead ( G ) δ + 1 , 1 ) ( k , λ ) =  R = rem ( F , G )  Q = quo ( F , G ) D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 6 / 66

  11. Sturm Sequences and Signed PRSs. Corollary Every sequence ( A i ) = ( A , A ′ , . . . ) where λ i A i = k i A i − 2 + A i − 1 Q i − 1 where k i , λ i ∈ R , k i λ i < 0 and A 1 = A square-free is a Sturm sequence in [ I l , I R ] where A ( I L ) A ( I R ) � = 0 . D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 7 / 66

  12. Definitions on Signed PRSs. λ i A i = k i A i − 2 + A i − 1 Q i − 1 √ 2 ) i ) ⇒ Impractical. Pseudo-Euclidean: L ( A i ) = O (( 1 + Primitive-Part: 8 ( lead ( A i − 1 ) δ i + 1 , content ( prem ( A i , A i − 1 ))) < ( k i , λ i ) = A i = rem ( λ i A i − 2 , A i − 1 ) / k i : Q i = quo ( λ i A i − 2 , A i − 1 ) Time Bound: e O B ( p 2 q 2 τ ) . Output Bound: L ( A i ) = O ( p τ ) . SubResultant: ˘ A i = prem ( A i − 2 , A i − 1 ) / lead ( A i − 2 ) Time Bound: e O B ( p 2 q τ ) . Output Bound: L ( A i ) = O ( p τ ) . Sturm-Habicht: Similar to SubResultant sequences. D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 8 / 66

  13. Example on PRSs. Given: f = x 8 + x 6 − 3 x 4 − 3 x 3 + 8 x 2 + 2 x − 5 g = 3 x 6 + 5 x 4 − 4 x 2 − 9 x + 21 Euclidean: 15 x 4 − 3 x 2 + 9 15795 x 2 + 30375 x − 59535 1254542875143750 x − 1654608338437500 − 12593338795500743100931141992187500 Primitive Part: 5 x 4 − x 2 + 3 13 x 2 + 25 x − 49 4663 x − 6150 − 1 SubResultant: 15 x 4 − 3 x 2 + 9 65 x 2 + 125 x − 245 9326 x − 12300 − 260708 D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 9 / 66

  14. Outline Introduction 1 Results in Univariate Polynomials 2 Bounds Real Algebraic Numbers Solving in One Variable Results in Bivariate Polynomials 3 Real Solving on Bivariate Systems 4 Applications 5 6 Implementation D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 10 / 66

  15. Bounding Roots Let ̺ ∈ C be a root of the polynomial A ( x ) = a d x d + · · · + a 1 x + a 0 . Cauchy, Mignotte: 1 + max {| a 0 | , | a 1 | , . . . , | a d − 1 |} | ̺ | ≤ | a d | � � � � � d | a d − 1 | d | a d − 2 | d | a d − 3 | d | a 0 | 3 d | ̺ | ≤ max , , , . . . , | a d | | a d | | a d | | a d | Zassenhaus: �� � � � � � a k � � d − k | ̺ | ≤ 2 · max � � a d k Complexity: � O B ( d τ ) . D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 11 / 66

  16. Real Algebraic Numbers Definition: Let A ∈ Z [ x ] . Each ̺ ∈ R such that A ( ̺ ) = 0 is a Real Algebraic Number and we will write ̺ ∈ R alg . Representation: Isolating Intervals. ̺ ∼ = [ square-free ( A ) , [ I L , I R ] ] such that I L , I R ∈ Q , I L ≤ ̺ ≤ I R and ̺ unique root in interval [ I L , I R ] . Basic Operations: Sign-At. Comparison. D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 12 / 66

  17. Real Algebraic Numbers Definition: Let A ∈ Z [ x ] . Each ̺ ∈ R such that A ( ̺ ) = 0 is a Real Algebraic Number and we will write ̺ ∈ R alg . Representation: Isolating Intervals. ̺ ∼ = [ square-free ( A ) , [ I L , I R ] ] such that I L , I R ∈ Q , I L ≤ ̺ ≤ I R and ̺ unique root in interval [ I L , I R ] . Basic Operations: Sign-At. Comparison. D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 12 / 66

  18. Real Algebraic Numbers Definition: Let A ∈ Z [ x ] . Each ̺ ∈ R such that A ( ̺ ) = 0 is a Real Algebraic Number and we will write ̺ ∈ R alg . Representation: Isolating Intervals. ̺ ∼ = [ square-free ( A ) , [ I L , I R ] ] such that I L , I R ∈ Q , I L ≤ ̺ ≤ I R and ̺ unique root in interval [ I L , I R ] . Basic Operations: Sign-At. Comparison. D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 12 / 66

  19. Polynomial Evaluation at a R alg point. Input: α = [ A , [ L , R ]] and f ∈ R [ x ] ; A , f square-free Output: sign ( f ( α )) Compute SubResultant sequence. 1 Evaluate on endpoints. 2 Yield result with Sign-Variations. 3 Complexity: � O B ( pq τ + p min { p , q } 2 τ ) . D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 13 / 66

  20. Comparison between R alg numbers. Input: α = [ A , [ L , R ]] and β = [ B , [ L , R ]] Output: Decide α ≤ β. Idea: Compute S IGN -A T ( A ( β )) . Note: We know the sign of A ′ ( α ) . Complexity: � O B ( pq τ + p min { p , q } 2 τ ) . D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 14 / 66

  21. Solving in One Variable Input: A ∈ Z [ x ] , square-free. Output: A list S of intervals that contain the real roots of A . Subdivision Method. Complexity: [Emiris,Mourrain,Tsigaridas - 2006] O B ( p 6 + p 4 τ 2 ) (+ multiplicities) Time: � Output: O ( p τ ) D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 15 / 66

  22. Outline Introduction 1 Results in Univariate Polynomials 2 Results in Bivariate Polynomials 3 Extensions. Resultant Real Solving on Bivariate Systems 4 Applications 5 Implementation 6 D. I. Diochnos (Univ. of Athens, µ Q λ ∀ ) Real Solving on Bivariate Algebraic Systems Mar ’07 16 / 66

Recommend


More recommend