20.05.2014 Views

link to my thesis

link to my thesis

link to my thesis

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

6.4. PROJECTION TO STETTER-STRUCTURE 87<br />

is developed and added as an extension <strong>to</strong> the Jacobi–Davidson implementation. This<br />

sorting method first sorts the list of approximate complex eigenvalues of the matrix<br />

U ∗ AU in increasing order with respect <strong>to</strong> the imaginary part. Then all entries with<br />

an imaginary part below a certain threshold are sorted in increasing order of the real<br />

part. With this sorting method the Jacobi–Davidson methods are made <strong>to</strong> focus on<br />

the desired eigenvalues for this application: the smallest real eigenvalues.<br />

It should be stressed that the use of a threshold for the imaginary part is essential<br />

because of the iterative approach of the solvers. If no thresholding is used then<br />

the solver may not converge <strong>to</strong> a single eigenvalue. For example, suppose that the<br />

two smallest real eigenvalues are λ 1 = −117.6003 and λ 2 = −93.4018. However,<br />

because of the approximate approach of the eigenvalue solvers these values may arise<br />

as ˆλ 1 = −117.6006+2.316×10 −10 i and ˆλ 2 = −93.4012+4.794×10 −11 i resulting in the<br />

ordering (ˆλ 2 , ˆλ 1 ) T if no thresholding is used. In a next iteration these small imaginary<br />

parts might be interchanged resulting in the opposite ordering (ˆλ 1 , ˆλ 2 ) T . Such a<br />

repeated change of target will have its effect on the convergence of the solver. With<br />

thresholding all imaginary parts below the threshold (i.e., 1 × 10 −10 ) are effectively<br />

treated as zero, thereby reducing this switching of the target.<br />

Numerical experiments using this Jacobi–Davidson implementation are described<br />

in Chapter 7.<br />

6.4 Projection <strong>to</strong> Stetter-structure<br />

In the global polynomial optimization of a Minkowski dominated polynomial the<br />

eigenvec<strong>to</strong>rs of the matrices involved exhibit the Stetter structure as described in<br />

Section 3.3. If an approximate eigenpair is found by an iterative eigenvalue solver,<br />

the corresponding approximate eigenvec<strong>to</strong>r will in general not show the precise Stetter<br />

structure. The idea now is <strong>to</strong> project this vec<strong>to</strong>r <strong>to</strong> a nearby Stetter vec<strong>to</strong>r <strong>to</strong><br />

accelerate the convergence <strong>to</strong> a desired accuracy. In this section two such projection<br />

methods are developed <strong>to</strong>gether with procedures <strong>to</strong> integrate this projection step in<strong>to</strong><br />

the Jacobi–Davidson algorithm.<br />

6.4.1 Projecting an approximate eigenvec<strong>to</strong>r<br />

An approximate eigenvec<strong>to</strong>r u =(u 1 ,...,u N ) of size N = m n , where m =2d −<br />

1, exhibits the Stetter structure if it is proportional <strong>to</strong> a vec<strong>to</strong>r of the form v =<br />

(v 1 ,...,v N ) T =(1,x 1 ,x 2 1,...,x m−1<br />

1 ,x 2 ,x 1 x 2 ,x 2 1x 2 ,...,x1 m−1 x 2 ,x 2 2,x 1 x 2 2,x 2 1x 2 2,<br />

..., x m−1<br />

1 x 2 2,...,...,x m−1<br />

1 x m−1<br />

2 ,x 3 ,x 1 x 3 ,...,...,x m−1<br />

1 x m−1<br />

2 ···x m−1<br />

n ) T . See also<br />

Section 4.1. The idea of the projection method in this section is <strong>to</strong> find values in an<br />

approximate eigenvec<strong>to</strong>r u for the quantities x 1 ,x 2 ,...,x n such that the projected<br />

vec<strong>to</strong>r of u, the vec<strong>to</strong>r û, is close <strong>to</strong> a nearby Stetter vec<strong>to</strong>r v.<br />

However, particularly for polynomials with high <strong>to</strong>tal degree, the convergence can<br />

be dominated by higher powers of x 1 ,x 2 ,...,x n if there is an x i with |x i | > 1. On the<br />

other hand, if all x i are of magnitude less than 1, these high powers go <strong>to</strong> zero. This

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!