Visible to Intel only — GUID: GUID-09B9990A-FFC2-4A09-8DF7-BE749DB2082E
Visible to Intel only — GUID: GUID-09B9990A-FFC2-4A09-8DF7-BE749DB2082E
?larrv2
Computes the eigenvectors of the tridiagonal matrix T = L*D*LT given L, D and the eigenvalues of L*D*LT.
Syntax
call slarrv2( n, vl, vu, d, l, pivmin, isplit, m, dol, dou, needil, neediu, minrgp, rtol1, rtol2, w, werr, wgap, iblock, indexw, gers, sdiam, z, ldz, isuppz, work, iwork, vstart, finish, maxcls, ndepth, parity, zoffset, info )
call dlarrv2( n, vl, vu, d, l, pivmin, isplit, m, dol, dou, needil, neediu, minrgp, rtol1, rtol2, w, werr, wgap, iblock, indexw, gers, sdiam, z, ldz, isuppz, work, iwork, vstart, finish, maxcls, ndepth, parity, zoffset, info )
Description
?larrv2 computes the eigenvectors of the tridiagonal matrix T = LDLT given L, D and approximations to the eigenvalues of LDLT. The input eigenvalues should have been computed by larre2a or by previous calls to ?larrv2.
The major difference between the parallel and the sequential construction of the representation tree is that in the parallel case, not all eigenvalues of a given cluster might be computed locally. Other processors might "own" and refine part of an eigenvalue cluster. This is crucial for scalability. Thus there might be communication necessary before the current level of the representation tree can be parsed.
Please note:
The calling sequence has two additional integer parameters, dol and dou, that should satisfy m≥dou≥dol≥1. These parameters are only relevant when both eigenvalues and eigenvectors are computed (stegr2b parameter jobz = 'V'). ?larrv2 only computes the eigenvectors corresponding to eigenvalues dol through dou in w. (That is, instead of computing the eigenvectors belonging to w(1) through w(m), only the eigenvectors belonging to eigenvalues w(dol) through w(dou) are computed. In this case, only the eigenvalues dol:dou are guaranteed to be accurately refined to all figures by Rayleigh-Quotient iteration.
The additional arguments vstart, finish, ndepth, parity, zoffset are included as a thread-safe implementation equivalent to save variables. These variables store details about the local representation tree which is computed layerwise. For scalability reasons, eigenvalues belonging to the locally relevant representation tree might be computed on other processors. These need to be communicated before the inspection of the RRRs can proceed on any given layer. Note that only when the variable finish is true, the computation has ended. All eigenpairs between dol and dou have been computed. m is set to dou - dol + 1.
?larrv2 needs more workspace in z than the sequential slarrv. It is used to store the conformal embedding of the local representation tree.
Product and Performance Information |
---|
Performance varies by use, configuration and other factors. Learn more at www.Intel.com/PerformanceIndex. Notice revision #20201201 |
Input Parameters
- n
-
INTEGER
The order of the matrix. n≥ 0.
- vl, vu
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Lower and upper bounds of the interval that contains the desired eigenvalues. vl < vu. Needed to compute gaps on the left or right end of the extremal eigenvalues in the desired range. vu is currently not used but kept as parameter in case needed.
- d
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Array of size n
The n diagonal elements of the diagonal matrix d. On exit, d is overwritten.
- l
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Array of size n
The (n-1) subdiagonal elements of the unit bidiagonal matrix L are in elements 1 to n-1 of l (if the matrix is not split.) At the end of each block is stored the corresponding shift as given by ?larre. On exit, l is overwritten.
- pivmin
-
DOUBLE PRECISION
The minimum pivot allowed in the sturm sequence.
- isplit
-
INTEGER
Array of size n
The splitting points, at which T breaks up into blocks. The first block consists of rows/columns 1 to isplit( 1 ), the second of rows/columns isplit( 1 ) + 1 through isplit( 2 ), etc.
- m
-
INTEGER
The total number of input eigenvalues. 0 ≤m≤n.
- dol, dou
-
INTEGER
If you want to compute only selected eigenvectors from all the eigenvalues supplied, you can specify an index range dol:dou. Or else the setting dol=1, dou=m should be applied. Note that dol and dou refer to the order in which the eigenvalues are stored in w. If you want to compute only selected eigenpairs, the columns dol-1 to dou+1 of the eigenvector space z contain the computed eigenvectors. All other columns of z are set to zero.
If dol > 1, then z(:,dol-1-zoffset) is used.
If dou < m, then z(:,dou+1-zoffset) is used.
- needil, neediu
-
INTEGER
Describe which are the left and right outermost eigenvalues that still need to be included in the computation. These indices indicate whether eigenvalues from other processors are needed to correctly compute the conformally embedded representation tree.
When dol≤needil≤neediu≤dou, all required eigenvalues are local to the processor and no communication is required to compute its part of the representation tree.
- minrgp
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
The minimum relative gap threshold to decide whether an eigenvalue or a cluster boundary is reached.
- rtol1, rtol2
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Parameters for bisection. An interval [left,right] has converged if right-left < max( rtol1*gap, rtol2*max(|left|,|right|) )
- w
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Array of size n
The first m elements of w contain the approximate eigenvalues for which eigenvectors are to be computed. The eigenvalues should be grouped by split-off block and ordered from smallest to largest within the block. (The output array w from ?stegr2a is expected here.) Furthermore, they are with respect to the shift of the corresponding root representation for their block.
- werr
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Array of size n
The first m elements contain the semiwidth of the uncertainty interval of the corresponding eigenvalue in w.
- wgap
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Array of size n
The separation from the right neighbor eigenvalue in w.
- iblock
-
INTEGERArray of size n
The indices of the blocks (submatrices) associated with the corresponding eigenvalues in w; iblock(i)=1 if eigenvalue w(i) belongs to the first block from the top, iblock(i)=2 if w(i) belongs to the second block, and so on.
- indexw
-
INTEGERArray of size n
The indices of the eigenvalues within each block (submatrix). For example: indexw(i)= 10 and iblock(i)=2 imply that the i-th eigenvalue w(i) is the 10th eigenvalue in block 2.
- gers
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Array of size 2*n
The n Gerschgorin intervals (the i-th Gerschgorin interval is (gers(2*i-1), gers(2*i))). The Gerschgorin intervals should be computed from the original unshifted matrix.
Not used but kept as parameter for possible future use.
- sdiam
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Array of size n
The spectral diameters for all unreduced blocks.
- ldz
-
INTEGER
The leading dimension of the array z. ldz≥ 1, and if stegr2b parameter jobz = 'V', ldz≥ max(1,n).
- work
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
(workspace) array of size 12*n
- iwork
-
(workspace) INTEGERArray of size 7*n
- vstart
-
LOGICAL
.TRUE. on initialization, set to .FALSE. afterwards.
- finish
-
LOGICAL
A flag that indicates whether all eigenpairs have been computed.
- maxcls
-
INTEGER
The largest cluster worked on by this processor in the representation tree.
- ndepth
-
INTEGER
The current depth of the representation tree. Set to zero on initial pass, changed when the deeper levels of the representation tree are generated.
- parity
-
INTEGER
An internal parameter needed for the storage of the clusters on the current level of the representation tree.
- zoffset
-
INTEGER
Offset for storing the eigenpairs when z is distributed in 1D-cyclic fashion.
OUTPUT Parameters
- needil, neediu
- w
-
Unshifted eigenvalues for which eigenvectors have already been computed.
- werr
-
Contains refined values of its input approximations.
- wgap
-
Contains refined values of its input approximations. Very small gaps are changed.
- z
-
REAL for slarrv2
DOUBLE PRECISION for dlarrv2
Array, dimension (ldz, max(1,m) )
If info = 0, the first m columns of z contain the orthonormal eigenvectors of the matrix T corresponding to the input eigenvalues, with the i-th column of z holding the eigenvector associated with w(i).
In the distributed version, only a subset of columns is accessed, see dol, dou, and zoffset.
- isuppz
-
INTEGER
Array of size 2*max(1,m)
The support of the eigenvectors in z, i.e., the indices indicating the non-zero elements in z. The i-th eigenvector is non-zero only in elements isuppz( 2*i-1 ) through isuppz( 2*i ).
- vstart
-
.TRUE. on initialization, set to .FALSE. afterwards.
- finish
-
A flag that indicates whether all eigenpairs have been computed.
- maxcls
-
The largest cluster worked on by this processor in the representation tree.
- ndepth
-
The current depth of the representation tree. Set to zero on initial pass, changed when the deeper levels of the representation tree are generated.
- parity
-
An internal parameter needed for the storage of the clusters on the current level of the representation tree.
- info
-
INTEGER
= 0: successful exit
> 0: A problem occured in ?larrv2.
< 0: One of the called subroutines signaled an internal problem.
Needs inspection of the corresponding parameter info for further information.
=-1: Problem in ?larrb2 when refining a child's eigenvalues.
=-2: Problem in ?larrf2 when computing the RRR of a child. When a child is inside a tight cluster, it can be difficult to find an RRR. A partial remedy from the user's point of view is to make the parameter minrgp smaller and recompile. However, as the orthogonality of the computed vectors is proportional to 1/minrgp, be aware that decreasing minrgp might be reduce precision.
=-3: Problem in ?larrb2 when refining a single eigenvalue after the Rayleigh correction was rejected.
= 5: The Rayleigh Quotient Iteration failed to converge to full accuracy.