Algebraic numbers I Based on Burnikel, Fleischer, Mehlhorn, Schirra article: A Strong and Easily Computable Separation Bound for Arithmetic Expressions.

Slides:



Advertisements
Similar presentations
The Rational Zero Theorem
Advertisements

Introduction to Algorithms Quicksort
Splash Screen.
Splash Screen.
Induction and recursion
ECIV 201 Computational Methods for Civil Engineers Richard P. Ray, Ph.D., P.E. Error Analysis.
INTEGRALS 5. INTEGRALS We saw in Section 5.1 that a limit of the form arises when we compute an area.  We also saw that it arises when we try to find.
Zeros of Polynomial Functions
APPLICATIONS OF DIFFERENTIATION 4. In Sections 2.2 and 2.4, we investigated infinite limits and vertical asymptotes.  There, we let x approach a number.
2.5 Zeros of Polynomial Functions
Upper and Lower Bounds for Roots
Zeros of Polynomial Functions
LIAL HORNSBY SCHNEIDER
HAWKES LEARNING SYSTEMS math courseware specialists Copyright © 2011 Hawkes Learning Systems. All rights reserved. Hawkes Learning Systems: College Algebra.
Induction and recursion
Chapter 4 – Polynomials and Rational Functions
The Rational Zero Theorem
The Fundamental Theorem of Algebra And Zeros of Polynomials
1 Preliminaries Precalculus Review I Precalculus Review II
Continuity ( Section 1.8) Alex Karassev. Definition A function f is continuous at a number a if Thus, we can use direct substitution to compute the limit.
Basic Concepts of Algebra
By: Hector L Contreras SSGT / USMC
Chapter 1 Equations, Inequalities, and Mathematical Models
Mathematics Review Exponents Logarithms Series Modular arithmetic Proofs.
Chapter 8. Section 8. 1 Section Summary Introduction Modeling with Recurrence Relations Fibonacci Numbers The Tower of Hanoi Counting Problems Algorithms.
LIMITS AND DERIVATIVES 2. In Sections 2.2 and 2.4, we investigated infinite limits and vertical asymptotes.  There, we let x approach a number.  The.
Chapter P Prerequisites: Fundamental Concepts of Algebra P.4: Polynomials.
Analysis of Algorithms
College Algebra Sixth Edition James Stewart Lothar Redlin Saleem Watson.
Copyright © 2014, 2010 Pearson Education, Inc. Chapter 2 Polynomials and Rational Functions Copyright © 2014, 2010 Pearson Education, Inc.
SECTION 3.5 REAL ZEROS OF A POLYNOMIAL FUNCTION REAL ZEROS OF A POLYNOMIAL FUNCTION.
Precalculus Complex Zeros V. J. Motto. Introduction We have already seen that an nth-degree polynomial can have at most n real zeros. In the complex number.
Round-off Errors and Computer Arithmetic. The arithmetic performed by a calculator or computer is different from the arithmetic in algebra and calculus.
Copyright © Cengage Learning. All rights reserved. 4 Quadratic Functions.
Copyright © 2013, 2009, 2005 Pearson Education, Inc. 1 3 Polynomial and Rational Functions Copyright © 2013, 2009, 2005 Pearson Education, Inc.
Using Technology to Approximate Roots of Polynomial Equations.
Key Concept 1. Example 1 Leading Coefficient Equal to 1 A. List all possible rational zeros of f (x) = x 3 – 3x 2 – 2x + 4. Then determine which, if any,
4.5: More on Zeros of Polynomial Functions The Upper and Lower Bound Theorem helps us rule out many of a polynomial equation's possible rational roots.
1 C ollege A lgebra polynomial and Rational Functions (Chapter3) L:16 1 University of Palestine IT-College.
Lecture 3 Numerical Analysis. Solution of Non-Linear Equations Chapter 2.
TH EDITION LIAL HORNSBY SCHNEIDER COLLEGE ALGEBRA.
Real Zeros of Polynomial Functions
Slide Copyright © 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley.
3.4 Zeros of Polynomial Functions. The Fundamental Theorem of Algebra If f(x) is a polynomial of degree n, where n>0, then f has at least one zero in.
1 Floating Point Operations - Part II. Multiplication Do unsigned multiplication on the mantissas including the hidden bits Do unsigned multiplication.
Zeros of Polynomials 2.5.
Introduction Synthetic division, along with your knowledge of end behavior and turning points, can be used to identify the x-intercepts of a polynomial.
Sullivan PreCalculus Section 3.6 Real Zeros of a Polynomial Function Objectives Use the Remainder and Factor Theorems Use Descartes’ Rule of Signs Use.
Sullivan Algebra and Trigonometry: Section 5.2 Objectives Use the Remainder and Factor Theorems Use Descartes’ Rule of Signs Use the Rational Zeros Theorem.
Date: 2.4 Real Zeros of Polynomial Functions
The Rational Zero Theorem The Rational Zero Theorem gives a list of possible rational zeros of a polynomial function. Equivalently, the theorem gives all.
1 © 2010 Pearson Education, Inc. All rights reserved © 2010 Pearson Education, Inc. All rights reserved Chapter 3 Polynomial and Rational Functions.
Advanced Engineering Mathematics, 7 th Edition Peter V. O’Neil © 2012 Cengage Learning Engineering. All Rights Reserved. CHAPTER 4 Series Solutions.
College Algebra Sixth Edition James Stewart Lothar Redlin Saleem Watson.
1 What happens to the location estimator if we minimize with a power other that 2? Robert J. Blodgett Statistic Seminar - March 13, 2008.
Precalculus Fifth Edition Mathematics for Calculus James Stewart Lothar Redlin Saleem Watson.
3.3 Dividing Polynomials.
Trigonometric Identities
Copyright © 2013, 2009, 2005 Pearson Education, Inc.
Splash Screen.
Sullivan Algebra and Trigonometry: Section 5
Zeros of Polynomial Functions
3.3 Dividing Polynomials.
Splash Screen.
Enumerating Distances Using Spanners of Bounded Degree
Splash Screen.
The Fundamental Theorem of Algebra And Zeros of Polynomials
Continuity Alex Karassev.
Find (x3 + 2x2 – 5x – 6) ÷ (x – 2) using synthetic division.
Presentation transcript:

Algebraic numbers I Based on Burnikel, Fleischer, Mehlhorn, Schirra article: A Strong and Easily Computable Separation Bound for Arithmetic Expressions Involving Radicals. Algorithmica 27: (2000)

Timeline 1.Introduction and Definitions. 2.Theorems and it proofs. 3.Applications. 4.[Expressions involving divisions]. 5.[More tight results]. 6.[Comparison to previous works].

Introduction – The Problem. The evaluation of a test in a computer program frequently amounts to determining the sign of an arithmetic expression, e.g., If p, q, and r are points in the plane, then Determines whether p is at least as close to r as q.

Introduction (cont.) While using finite data types, one is prone to get errors. In The Question: 'Is the expression's value bigger than 0, equal to 0 or less then 0 ?'. Because of precision problems with finite data types the above question may lead to wrong answers if the expression's value is very close to 0.

Definition – Separation bound. Definition: Sep(E) – separation bound of expression E: For an expression E having value ξ = val(E), a separation bound sep(E) is a positive real number with the property that: ξ ≠ 0 →|ξ| ≥ sep(E). Thus, |ξ| < sep(E) → ξ = 0.

Introduction (cont.) A more robust way to ask and answer this question (about the sign of E) is: Find sep(E). Compute an approximation A of ξ, with | A - ξ | < sep(E)/2, by evaluating E with float with sufficient mantissa length. If |A| ≥ sep(E)/2 that ξ has the same sign as A. else ξ = 0.

So The Problem is to find easy computable separation bound!

Definitions E – expression, with value ξ. We can look at E as a directed acyclic graph (dag) whose source nodes are labeled by integers and whose internal nodes are labeled by operators like +, -, *, / and. E is division-free if it contains no /.

DAG Example.

Recursive definition of U(E),L(E). E = U(E)/L(E); U(E),L(E) are division-free.

Definitions u(E), l(E) – nonnegative real numbers. The numbers u(E) and l (E) are bounds on the absolute values of U(E) and L(E) respectively, obtained by replacing every subtraction in E by an addition. Note that u(U(E)) = u(E) and u(L(E)) = l (E) and l (E) = 1, for division-free expressions. Note that U(E) and L(E) works on DAG, and u(E) and l (E) on integers.

Recursive definition of u(E), l(E)

Definition - Algebraic Number. Definition: The number ξ = val(E) is algebraic, i.e., there is a polynomial pєZ(X), such that p(ξ) = 0. Definition: Among the polynomials in Z(X) having root ξ there exists a unique irreducible polynomial m ξ, called the minimal polynomial of ξ.

Algebraic Number (cont.) Definition : The degree of ξ, deg(ξ) is the degree of the minimal polynomial of ξ, m ξ. Definition: If E involves r radical nodes of indices k 1, …,k r. Than define: And D(E) ≥ deg(ξ).

Symmetric Functions. Definition: Let p be a polynomial in t 1 ;..t n ; with coefficients in R, R is a commutative ring with unity. p symmetric if for any permutation π, we have:

Elementary Symmetric functions. Definition : Let elementary symmetric functions (ESF) in t 1,…,t n.

THEOREM 1 – Symmetric Function. Let R be a commutative ring with unity. Than for any p, symmetric polynomial in t 1,..t n. with coefficients in R, there exist a unique polynomial q with coefficients in R such that:

Proof. By induction on the number n of variables and on the total degree m of p. For n = 1, Suppose for n-1 variables, and prove it by induction on m = deg(ξ). Suppose m ≠ 0 and that for all degrees < m it performs.

Let define: Then by induction on n exist q’ such that: And σ 1 …σ n-1 are ESF in t 1..t n-1. And deg(q) ≤ m. Define: The total degree of p 1 is at most m. Since It follows that t n divides p 1.

Let p 2 such that Since p 1 is symmetric (by its definition) For all possible permutations. Therefore p 1 is divisible by t 1,…,t n. So it is divisible by their product (suppose that t i is algebraic independent). Then there exist p 3 such that:

Note that deg(p 3 ) = deg(p 1 ) – n ≤ m-n < m. By induction on m exist q 3 such that: And finally we get: And we can define q:

THEOREM 2. Let p a and p b, be polynomials with integral coefficients. Then for every operation in {+, -,*}, the has integral coefficients as well.

Proof. We use the Theorem 1 on the polynomial: it is symmetric in α 1,…α n and in β 1,…,β m. (By definition of f ). Since f symmetric in β 1,…,β m there is a polynomial g such that:

Proof (cont.) And since g is symmetric in α 1,…α n, We can apply the theorem once more. We get h such that: We have, by definition of p a and p b and of ESF. By assumption, a i and b j all are integral, so h is a polynomial in X with integral coefficients. Hence f(X) = p A op B (X) has integral coefficients.

THEOREM 3. There exists a polynomial such that For all roots e i of p E (X).

Proof. We use induction on the structure of E. 1.If E is an integer constant a, then use polynomial p E (X) = X – a. 2.If E = A op B. op in {+,-.*} Then by induction exist p A (X) and p B (X).

And the roots is val(A) and val(B). Than we define p E (X) = p A op B (X). By Theorem 2, p A op B (X) has int. coefficients, and val(E) = val(A) op val(B) is root of p A op B (X) by definition. By induction: |α| ≤ u(A) and |β| ≤ u(B). If op={+,-}, than the roots are bounded by: If op=*, Than:

If E =, than we set where ζ k is a (complex) primitive k-th root of unity. In this case which concludes the induction step and thus finishes the proof.

THEOREM 4 – Separation Bound. If E is a division-free expression, whose value val(E) = ξ is nonzero, then

Proof. The upper bound is obvious. Let’s proof it for the lower bound. In the last theorem we constructed a polynomial with root val(E) = ξ. Since every integral polynomial having root ξ, is divided by the minimal polynomial Both polynomials have leading coefficient 1, and the roots of, are among the roots of.

And for some indices we have Since it is minimal polynomial all. And bounded by u(E). Without loss of generality. Since have integral coefficients, (And for all polynomials)

Weaker lower bound. Let E be a division-free expression with value ξ ≠ 0. Then: And this happens because D(E) > deg(ξ).

Expressions involving divisions Let E be an expression whose value ξ is nonzero. Than, To prove it, apply the bounds of Theorem 4 on U(E) and L(E). Each radical operation of index k i in E generates at most two radical operations of index k i, each of which may appear in U(E) as well as in L(E).

The reason is: And we have And val(E) = val(U(E))/val(L(E)), and u(U(E)) = u(E) and u(L(E)) = l(E).

Cont. And finally we have:

Applications – Find Sign of E. As above, by finding approximation A. An error bound ∆ is initialized to some positive value, ∆ = 1. And an find an approximation À of ξ, | ξ - À | ≤ ∆ using float point with arbitrary- length mantissa. if |À|> ∆, the sign of ξ is equal to sign of À else, |À| ≤ ∆ and hence | ξ | ≤ 2∆. if 2∆ ≤ sep(E), we have ξ = 0. else half ∆ and repeat.

Bit bound. The worst case complexity of the alg. is determined by the separation bound. We need log(1/sep(E)) iterations for computation of À. We call log(1/sep(E)) bit bound. If ξ≠0 we need only log(ξ) precisions. And hence “easy sign tests” are much faster than the worst case.

Find Sign of E – Other way. Compute an interval I ε of length  such that 0 <  < sep(E) and I ε contains E. If 0 is inside I ε, the value of E is smaller than sep(E) and hence E is zero. Otherwise, the sign of E is equal to the sign of the numbers in I ε.

Actual Computation of Separation Bounds. Theorem 4 cannot be applied directly, since it evolves quantities u(E) and l (E), that are in general nonrational algebraic numbers. In article they give two methods to compute slightly weaker separation bounds.

Actual Computation of Separation Bounds (cont.) 1.Computing with floating point numbers with rounding toward larger values. 2.Maintaining integral logarithms of u(E) and l(E).

Use of floating point. Use of IEEE standard 754, result exactly rounded according to the chosen rounding mode. But changing the rounding mode is expensive on some systems. As an alternative one can simply evaluate u(E) and l(E) in double precision floating point arithmetic and multiply each intermediate result by. Underflow does not occur here since we always have u(E) > 1 whenever u(E) is nonzero. In case of overflow, the resulting value of u(E) will be infinity, which is a correct (but meaningless) bound.

Integral logarithms. Recursively compute integers: As define in table:

Cont. The recursive rules for u’(E) and l’(E) do not evolve radical operations. Hence rounding errors are not an issue for computing u’(E) and l’(E).

More tight results. In 2001, the same authors published article and they improved their result. They reached new separation bound: The way they do it, is based on new definition of: u(E) and l(E).

The start point was to change transformation rules. Instead of use the last rule, use: For building division free expression of E 1 and E 2.

New definition of u(E) and l(E).

More tight results. In our case the alg. bit-bound is linear in D(E) for division free expressions. And quadratic for expressions that include divisions. Chee Yap and Chen Li in 2000 found a new separation bound, that is linear for expressions that include divisions too.

Comparison with Previous Work In order to check the practical use of their separation bound. The authors implemented the algorithm that use Integral logarithms approach. And compared it with bounds based on the previous results of Canny and Mignotte. The authors proved that Canny’s polynomial system bounds are always weaker than their.

The Test. The check was based on next test: Let v be the Voronoi vertex having minimal distance to sites s 1, s 2, and s 3 and let s be another site. Is s inside the Voronoi circle of v, i.e., is it nearer to v than the sites s 1, s 2, s 3 ? In the implementation of the incircle test we need compare the squared distance of the sites s 1, s 2, and s 3 to v with the squared distance of s to v.

Result of comparison separation bounds for incircle test. The sites s i can be defined by points or by lines. For example ppl p – mean that v defined by 2 points and line and we test point.