Optimization by Direct Search in Matrix Computations

A direct search method attempts to maximize a function f l R using function values only. Many questions about the stability and accuracy of algorithms in matrix computations can be expressed in terms of the maximum value ofsome easily computable function f. For a variety of algorithms it is shown that direct search is capable of revealing instability or poor performance, even when such failure is difficult to discover using theoretical analysis or numerical tests with random or nonrandom data. Informative numerical examples generated by direct search provide the impetus for further analysis and improvement of an algorithm. The direct search methods used are the method of alternating directions and the multi-directional search method of Dennis and Torczon. The problems examined include the reliability of matrix condition number estimators and the stability of Strassen's fast matrix inversion method. I. Introduction. Is AlgorithmX numerically stable? How large can the growth factor be for Gaussian elimination with pivoting strategy P? By how much can con- dition estimator C underestimate the condition number of a matrix? These types of questions are fundamental in the analysis of algorithms in matrix computations. Usually, one attempts to answer such questions by a combination of theoretical anal- ysis and numerical experiments with random and nonrandom data. In this work we show that a third approach can be a valuable supplement to the first two: phrase the question as an optimization problem and apply a direct search method. A direct search method for the problem

[1]  James Hardy Wilkinson,et al.  Error Analysis of Direct Methods of Matrix Inversion , 1961, JACM.

[2]  John A. Nelder,et al.  A Simplex Method for Function Minimization , 1965, Comput. J..

[3]  J. L. Rigal,et al.  On the Compatibility of a Given Solution With the Data of a Linear System , 1967, JACM.

[4]  V. Strassen Gaussian elimination is not optimal , 1969 .

[5]  Å. Björck,et al.  Solution of Vandermonde Systems of Equations , 1970 .

[6]  Å. Björck,et al.  Algorithms for confluent Vandermonde systems , 1973 .

[7]  Webb Miller Software for Roundoff Analysis , 1975, TOMS.

[8]  M. J. D. Powell,et al.  A View of Unconstrained Minimization Algorithms that Do Not Require Derivatives , 1975, TOMS.

[9]  W. Squire,et al.  Solving Nonlinear Vandermonde Systems , 1975, Comput. J..

[10]  G. Stewart,et al.  A Stable Variant of the Secant Method for Solving Nonlinear Equations , 1976 .

[11]  M. B. Denton,et al.  Performance of the Super Modified Simplex , 1977 .

[12]  David L. Spooner,et al.  Software for roundoff analysis, II , 1978, TOMS.

[13]  J. H. Wilkinson,et al.  AN ESTIMATE FOR THE CONDITION NUMBER OF A MATRIX , 1979 .

[14]  Webb Miller,et al.  Software for Roundoff Analysis of Matrix Algorithms , 1980 .

[15]  A. K. Cline,et al.  Generalizing the LINPACK Condition Estimator , 1981 .

[16]  G. Golub,et al.  The block decomposition of a vandermonde matrix and its applications , 1981 .

[17]  A. K. Cline,et al.  A Set of Counter-Examples to Three Condition Number Estimators , 1983 .

[18]  John A. Wisniewski,et al.  Algorithm 594: Software for Relative Error Analysis , 1983, TOMS.

[19]  Discrete Chebyshev Approximation by Interpolating Rationals , 1984 .

[20]  Jack J. Dongarra,et al.  Distribution of mathematical software via electronic mail , 1985, SGNM.

[21]  Ed Anderson,et al.  LAPACK Users' Guide , 1995 .

[22]  Nicholas J. Highham A survey of condition number estimation for triangular matrices , 1987 .

[23]  C. Loan On estimating the condition of eigenvalues and eigenvectors , 1987 .

[24]  Distribution of mathematical software via electronic mail , 1987, CACM.

[25]  Nicholas J. Higham,et al.  Error analysis of the Björck-Pereyra algorithms for solving Vandermonde systems , 1987 .

[26]  Arthur Wouk,et al.  New computing environments : microcomputers in large-scale computing , 1987 .

[27]  Nicholas J. Higham,et al.  FORTRAN codes for estimating the one-norm of a real or complex matrix, with applications to condition estimation , 1988, TOMS.

[28]  David H. Bailey,et al.  A Strassen-Newton algorithm for high-speed parallelizable matrix inversion , 1988, Proceedings. SUPERCOMPUTING '88.

[29]  Nicholas J. Higham,et al.  Fast Solution of Vandermonde-Like Systems Involving Orthogonal Polynomials , 1988 .

[30]  V. J. Torczoit,et al.  Multidirectional search: a direct search algorithm for parallel machines , 1989 .

[31]  N. Higham,et al.  Large growth factors in Gaussian elimination with pivoting , 1989 .

[32]  John E. Dennis,et al.  Multidirectional search: a direct search algorithm for parallel machines , 1989 .

[33]  Nicholas J. Higham,et al.  Stability analysis of algorithms for solving confluent Vandermonde-like systems , 1990 .

[34]  T. Rowan Functional stability analysis of numerical algorithms , 1990 .

[35]  Errors and Perturbations in Vandermonde Systems , 1990 .

[36]  Nicholas J. Higham,et al.  Experience with a Matrix Norm Estimator , 1990, SIAM J. Sci. Comput..

[37]  M. C. Berenbaum,et al.  Direct search methods in the optimisation of cancer chemotherapy regimens. , 1990, British Journal of Cancer.

[38]  C. Bischof Incremental condition estimation , 1990 .

[39]  Leslie V. Foster The Probability of Large Diagonal Elements in the QR Factorization , 1990, SIAM J. Sci. Comput..

[40]  John E. Dennis,et al.  Direct Search Methods on Parallel Machines , 1991, SIAM J. Optim..

[41]  Lawrence F. Shampine,et al.  Reliable solution of special event location problems for ODEs , 1991, TOMS.

[42]  Philip E. Gill,et al.  Numerical Linear Algebra and Optimization , 1991 .

[43]  Shirley Dex,et al.  JR 旅客販売総合システム(マルス)における運用及び管理について , 1991 .

[44]  N. Gould On growth in Gaussian elimination with complete pivoting , 1991 .

[45]  Virginia Torczon,et al.  On the Convergence of the Multidirectional Search Algorithm , 1991, SIAM J. Optim..

[46]  James Demmel,et al.  Stability of block algorithms with fast level-3 BLAS , 1992, TOMS.

[47]  Robert J. Plemmons,et al.  Fast Adaptive Condition Estimation , 1992, SIAM J. Matrix Anal. Appl..

[48]  Nicholas J. Higham Stability of a Method for Multiplying Complex Matrices with Three Real Matrix Multiplications , 1992, SIAM J. Matrix Anal. Appl..

[49]  Christian H. Bischof,et al.  Adaptive Condition Estimation for Rank-One Updates of QR Factorizations , 1992, SIAM J. Matrix Anal. Appl..

[50]  N. Higham,et al.  Stability of methods for matrix inversion , 1992 .

[51]  Nicholas J. Higham,et al.  The Accuracy of Floating Point Summation , 1993, SIAM J. Sci. Comput..