Accurate Computations with Totally Nonnegative Matrices

We consider the problem of performing accurate computations with rectangular $(m\times n)$ totally nonnegative matrices. The matrices under consideration have the property of having a unique representation as products of nonnegative bidiagonal matrices. Given that representation, one can compute the inverse, LDU decomposition, eigenvalues, and SVD of a totally nonnegative matrix to high relative accuracy in $\mathcal{O}(\max(m^3,n^3))$ time—much more accurately than conventional algorithms that ignore that structure. The contribution of this paper is to show that the high relative accuracy is preserved by operations that preserve the total nonnegativity—taking a product, re-signed inverse (when $m=n$), converse, Schur complement, or submatrix of a totally nonnegative matrix, any of which costs at most $\mathcal{O}(\max(m^3,n^3))$. In other words, the class of totally nonnegative matrices for which we can do numerical linear algebra very accurately in $\mathcal{O}(\max(m^3,n^3))$ time (namely, those for which we have a product representation via nonnegative bidiagonals) is closed under the operations listed above.

[1]  James Demmel,et al.  Accurate and efficient evaluation of Schur and Jack functions , 2005, Math. Comput..

[2]  Juan Manuel Peña,et al.  Total positivity and Neville elimination , 1992 .

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

[4]  J. Demmel,et al.  Computing the Singular Value Decomposition with High Relative Accuracy , 1997 .

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

[6]  Peter Lancaster,et al.  The theory of matrices , 1969 .

[7]  James Demmel,et al.  Accurate Singular Values of Bidiagonal Matrices , 1990, SIAM J. Sci. Comput..

[8]  Francesco Brenti,et al.  Combinatorics and Total Positivity , 1995, J. Comb. Theory A.

[9]  G. Gladwell Total positivity and the QR algorithm , 1998 .

[10]  B. Parlett,et al.  Accurate singular values and differential qd algorithms , 1994 .

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

[12]  Juan Manuel Peña,et al.  Total positivity, QR factorization, and Neville elimination , 1993 .

[13]  Halil Oruç,et al.  Explicit factorization of the Vandermonde matrix , 2000 .

[14]  Guido D. Salvucci,et al.  Ieee standard for binary floating-point arithmetic , 1985 .

[15]  J. M. Peña,et al.  On Factorizations of Totally Positive Matrices , 1996 .

[16]  H. Van de Vel,et al.  Numerical treatment of a generalized Vandermonde system of equations , 1977 .

[17]  T. Kailath,et al.  A fast parallel Björck–Pereyra-type algorithm for solving Cauchy linear equations , 1999 .

[18]  F. Gantmacher,et al.  Oscillation matrices and kernels and small vibrations of mechanical systems , 1961 .

[19]  F. R. Gantmakher The Theory of Matrices , 1984 .

[20]  James Demmel,et al.  The Accurate and Efficient Solution of a Totally Positive Generalized Vandermonde Linear System , 2005, SIAM J. Matrix Anal. Appl..

[21]  Ana Marco,et al.  A fast and accurate algorithm for solving Bernstein–Vandermonde linear systems , 2007 .

[22]  Charles A. Micchelli,et al.  Total positivity and its applications , 1996 .

[23]  Sergey Fomin,et al.  Total positivity : tests and parametrizations , 2018 .

[24]  Juan Manuel Peña,et al.  Fast algorithms of Bjo¨rck-Pereyra type for solving Cauchy-Vandermonde linear systems , 1998 .

[25]  K. I. Gross,et al.  Total positivity, spherical series, and hypergeometric functions of matrix argu ment , 1989 .

[26]  Juan Manuel Peña,et al.  Corner cutting algorithms and totally positive matrices , 1994 .

[27]  Shaun M. Fallat Bidiagonal Factorizations of Totally Nonnegative Matrices , 2001, Am. Math. Mon..

[28]  Plamen Koev,et al.  Accurate Eigenvalues and SVDs of Totally Nonnegative Matrices , 2005, SIAM J. Matrix Anal. Appl..

[29]  A. Whitney,et al.  A reduction theorem for totally positive matrices , 1952 .

[30]  Juan Manuel Peña,et al.  Factorizations of Cauchy-Vandermonde matrices , 1998 .