Algorithms for Matrix Functions and Their Frechet Derivatives and Condition Numbers

Total Page:16

File Type:pdf, Size:1020Kb

Algorithms for Matrix Functions and Their Frechet Derivatives and Condition Numbers Algorithms for Matrix Functions and their Frechet Derivatives and Condition Numbers Relton, S. D. 2014 MIMS EPrint: 2014.55 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports available from: http://eprints.maths.manchester.ac.uk/ And by contacting: The MIMS Secretary School of Mathematics The University of Manchester Manchester, M13 9PL, UK ISSN 1749-9097 THE UNIVERSITY OF MANCHESTER - APPROVED ELECTRONICALLY GENERATED THESIS/DISSERTATION COVER-PAGE Electronic identifier: 13526 Date of electronic submission: 24/10/2014 The University of Manchester makes unrestricted examined electronic theses and dissertations freely available for download and reading online via Manchester eScholar at http://www.manchester.ac.uk/escholar. This print version of my thesis/dissertation is a TRUE and ACCURATE REPRESENTATION of the electronic version submitted to the University of Manchester's institutional repository, Manchester eScholar. Approved electronically generated cover-page version 1.0 ALGORITHMS FOR MATRIX FUNCTIONS AND THEIR FRECHET´ DERIVATIVES AND CONDITION NUMBERS A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences 2014 Samuel David Relton School of Mathematics Contents List of Tables5 List of Figures6 Abstract9 Declaration 10 Copyright Statement 11 Acknowledgements 12 Publications 13 1 Introduction 14 1.1 Matrix functions.............................. 17 1.2 Fr´echet derivatives............................. 20 1.3 Condition numbers............................. 21 1.4 Forwards and backward errors....................... 23 2 New Algorithms for Computing the Matrix Cosine and Sine Sepa- rately or Simultaneously 25 2.1 Introduction................................. 25 2.2 Backward error analysis for the sine and cosine............. 28 2.2.1 Pad´eapproximants of matrix sine................. 28 2.2.2 Pad´eapproximants of matrix cosine................ 30 2.2.3 Exploiting Pad´eapproximants of the exponential........ 31 2.2.4 Backward error propagation in multiple angle formulas..... 33 2 2.3 Recomputing the cosine and sine of 2 × 2 matrices........... 34 2.4 Algorithm for the matrix cosine...................... 35 2.5 Algorithm for the matrix sine....................... 40 2.6 Algorithm for simultaneous computation of the matrix cosine and sine. 44 2.7 Numerical experiments........................... 48 2.7.1 Matrix cosine............................ 50 2.7.2 Matrix sine............................. 51 2.7.3 Matrix cosine and sine....................... 52 2.7.4 Triangular matrices......................... 52 2.7.5 Wave discretization problem.................... 53 2.8 Evaluating rational approximants with the Paterson{Stockmeyer method 54 3 Algorithms for the Matrix Logarithm, its Fr´echet Derivative, and Condition Number 65 3.1 Introduction................................. 65 3.2 Basic algorithm............................... 66 3.3 Backward error analysis.......................... 67 3.4 Condition number estimation....................... 71 3.5 Complex algorithm............................. 71 3.6 Real algorithm............................... 73 3.7 Comparison with existing methods.................... 75 3.7.1 Methods to compute the logarithm................ 75 3.7.2 Methods to compute the Fr´echet derivative............ 76 3.8 Numerical experiments........................... 77 3.8.1 Real versus complex arithmetic for evaluating the logarithm.. 78 3.8.2 Fr´echet derivative evaluation.................... 80 3.8.3 Condition number estimation................... 83 4 Higher Order Fr´echet Derivatives of Matrix Functions and the Level- 2 Condition Number 85 4.1 Introduction................................. 85 4.2 Higher order derivatives.......................... 86 4.3 Existence and computation of higher Fr´echet derivatives........ 88 3 4.4 Kronecker forms of higher Fr´echet derivatives.............. 92 4.5 The level-2 condition number of a matrix function............ 95 4.5.1 Matrix exponential......................... 97 4.5.2 Matrix inverse............................ 100 4.5.3 Hermitian matrices......................... 102 4.5.4 Numerical experiments....................... 103 4.6 The necessity of the conditions in Theorem 4.3.5............. 105 5 Estimating the Condition Number of the Fr´echet Derivative of a Matrix Function 107 5.1 Introduction................................. 107 5.2 The condition number of the Fr´echet derivative............. 109 5.3 Maximizing the second Fr´echet derivative................. 113 5.4 An algorithm for estimating the relative condition number....... 117 5.5 Numerical experiments........................... 119 5.5.1 Condition number of Fr´echet derivative of matrix logarithm.. 121 5.5.2 Condition number of Fr´echet derivative of matrix power.... 122 5.5.3 An ill conditioned Fr´echet derivative............... 123 5.6 Continued proof of Theorem 5.3.3..................... 124 6 Conclusions 129 Bibliography 132 Index 143 4 List of Tables 2.4.1 The number of matrix multiplications π(cm(X)) required to evaluate cm(X), values of θm, values of p to be considered, and an upper bound κm for the condition number of the denominator polynomial of cm (and sm) for αp(X) ≤ θm.......................... 36 2.5.1 The number of matrix multiplications π(·) required to evaluate rm(x), values of βm in (2.2.6), values of p to be considered, and an upper bound κm for the condition number of the denominator polynomial of rm for αp(X) ≤ βm.................................. 41 2.6.1 Number of matrix multiplications πm required to evaluate both cm and sm....................................... 44 2.8.1 The number of matrix multiplications required to form cm(X) by ex- plicit computation of the powers and by the Paterson{Stockmeyer scheme. 55 3.3.1 Maximal values θm of αp(X) such that the bound in (3.3.2) for k∆Xk=kXk does not exceed u.............................. 68 3.3.2 Maximal values βm of kXk such that the bound in (3.3.5) for k∆Ek=kEk does not exceed u.............................. 70 3.8.1 Run times in seconds for Fortran implementations of iss schur real and iss schur complex on random, full n × n matrices......... 80 5 List of Figures 1.3.1 Illustration showing the sensitivity of a matrix function f........ 21 2.2.1 The boundary of the region within which jrm(x)j ≤ 1, where rm(x) is the [m=m] Pad´eapproximant to the sine function, for m = 1; 3; 5; 7.. 29 2.2.2 The boundary of the region within which jrm(x)j ≤ 1, where rm(x) is the [m=m] Pad´eapproximant to the cosine function, for m = 2; 4; 6; 8. 31 2.7.1 The forward and backward errors of competing algorithms for the ma- trix cosine, for full matrices. The first four plots are for the transformation- free version of Algorithm 2.4.2, whereas for the remaining four plots an initial Schur decomposition is used. The results are ordered by decreas- ing condition number............................ 56 2.7.2 The forward and backward errors of competing algorithms for the ma- trix sine, for full matrices. The first four plots are for the transformation- free version of Algorithm 2.5.2, whereas for the remaining four plots an initial Schur decomposition is used. The results are ordered by decreas- ing condition number............................ 57 2.7.3 The maximum forward and backward errors of competing algorithms for the matrix cosine and sine, for full matrices. The first four plots are for the transformation-free version of Algorithm 2.6.2, while an initial Schur decomposition is used for the lower four plots. The results are ordered by decreasing condition number.................. 58 6 2.7.4 Cost plots for the experiments in sections 2.7.1, 2.7.2, and 2.7.3. The first row shows the cost of computing the matrix cosine whilst the second and third rows show the cost of computing the matrix sine and both functions together. The left column corresponds to the transformation- free versions of our new algorithms, whilst the right corresponds to an initial Schur decomposition. All plots are ordered by decreasing cost of our new algorithms.............................. 59 2.7.5 Forward and backward errors of competing algorithms for the matrix cosine for triangular matrices. The results are ordered by decreasing condition number............................... 60 2.7.6 The forward and backward errors of competing algorithms for the ma- trix sine for triangular matrices. The results are ordered by decreasing condition number............................... 61 2.7.7 The maximum forward and backward errors of competing algorithms for the matrix cosine and sine, for triangular matrices. The results are ordered by decreasing condition number.................. 62 2.7.8 Cost plots for all the algorithms run on triangular matrices. All plots are ordered by decreasing cost of our new algorithms........... 63 2.7.9 Forward errors of cosm new and costay for the matrix (2.7.7) that arises from the semidiscretization of a nonlinear wave equation with parameter α. The matrix becomes increasingly nonnormal as n increases...... 64 3.8.1 Normwise relative errors in computing the logarithm........... 78 3.8.2 Performance profile for the data in Figure 3.8.1.............. 78 3.8.3 Performance profile for the accuracy of the logarithm algorithms on full matrices.................................... 79 3.8.4 Normwise relative errors in computing Llog(A; E)............. 81 3.8.5 Performance profile for the data in Figure 3.8.4.............. 82 3.8.6 Performance profile
Recommended publications
  • Block Kronecker Products and the Vecb Operator* CORE View
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Block Kronecker Products and the vecb Operator* Ruud H. Koning Department of Economics University of Groningen P.O. Box 800 9700 AV, Groningen, The Netherlands Heinz Neudecker+ Department of Actuarial Sciences and Econometrics University of Amsterdam Jodenbreestraat 23 1011 NH, Amsterdam, The Netherlands and Tom Wansbeek Department of Economics University of Groningen P.O. Box 800 9700 AV, Groningen, The Netherlands Submitted hv Richard Rrualdi ABSTRACT This paper is concerned with two generalizations of the Kronecker product and two related generalizations of the vet operator. It is demonstrated that they pairwise match two different kinds of matrix partition, viz. the balanced and unbalanced ones. Relevant properties are supplied and proved. A related concept, the so-called tilde transform of a balanced block matrix, is also studied. The results are illustrated with various statistical applications of the five concepts studied. *Comments of an anonymous referee are gratefully acknowledged. ‘This work was started while the second author was at the Indian Statistiral Institute, New Delhi. LINEAR ALGEBRA AND ITS APPLICATIONS 149:165-184 (1991) 165 0 Elsevier Science Publishing Co., Inc., 1991 655 Avenue of the Americas, New York, NY 10010 0024-3795/91/$3.50 166 R. H. KONING, H. NEUDECKER, AND T. WANSBEEK INTRODUCTION Almost twenty years ago Singh [7] and Tracy and Singh [9] introduced a generalization of the Kronecker product A@B. They used varying notation for this new product, viz. A @ B and A &3B. Recently, Hyland and Collins [l] studied the-same product under rather restrictive order conditions.
    [Show full text]
  • Genius Manual I
    Genius Manual i Genius Manual Genius Manual ii Copyright © 1997-2016 Jiríˇ (George) Lebl Copyright © 2004 Kai Willadsen Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License (GFDL), Version 1.1 or any later version published by the Free Software Foundation with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. You can find a copy of the GFDL at this link or in the file COPYING-DOCS distributed with this manual. This manual is part of a collection of GNOME manuals distributed under the GFDL. If you want to distribute this manual separately from the collection, you can do so by adding a copy of the license to the manual, as described in section 6 of the license. Many of the names used by companies to distinguish their products and services are claimed as trademarks. Where those names appear in any GNOME documentation, and the members of the GNOME Documentation Project are made aware of those trademarks, then the names are in capital letters or initial capital letters. DOCUMENT AND MODIFIED VERSIONS OF THE DOCUMENT ARE PROVIDED UNDER THE TERMS OF THE GNU FREE DOCUMENTATION LICENSE WITH THE FURTHER UNDERSTANDING THAT: 1. DOCUMENT IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, WITHOUT LIMITATION, WARRANTIES THAT THE DOCUMENT OR MODIFIED VERSION OF THE DOCUMENT IS FREE OF DEFECTS MERCHANTABLE, FIT FOR A PARTICULAR PURPOSE OR NON-INFRINGING. THE ENTIRE RISK AS TO THE QUALITY, ACCURACY, AND PERFORMANCE OF THE DOCUMENT OR MODIFIED VERSION OF THE DOCUMENT IS WITH YOU.
    [Show full text]
  • Package 'Fastmatrix'
    Package ‘fastmatrix’ May 8, 2021 Type Package Title Fast Computation of some Matrices Useful in Statistics Version 0.3-819 Date 2021-05-07 Author Felipe Osorio [aut, cre] (<https://orcid.org/0000-0002-4675-5201>), Alonso Ogueda [aut] Maintainer Felipe Osorio <[email protected]> Description Small set of functions to fast computation of some matrices and operations useful in statistics and econometrics. Currently, there are functions for efficient computation of duplication, commutation and symmetrizer matrices with minimal storage requirements. Some commonly used matrix decompositions (LU and LDL), basic matrix operations (for instance, Hadamard, Kronecker products and the Sherman-Morrison formula) and iterative solvers for linear systems are also available. In addition, the package includes a number of common statistical procedures such as the sweep operator, weighted mean and covariance matrix using an online algorithm, linear regression (using Cholesky, QR, SVD, sweep operator and conjugate gradients methods), ridge regression (with optimal selection of the ridge parameter considering the GCV procedure), functions to compute the multivariate skewness, kurtosis, Mahalanobis distance (checking the positive defineteness) and the Wilson-Hilferty transformation of chi squared variables. Furthermore, the package provides interfaces to C code callable by another C code from other R packages. Depends R(>= 3.5.0) License GPL-3 URL https://faosorios.github.io/fastmatrix/ NeedsCompilation yes LazyLoad yes Repository CRAN Date/Publication 2021-05-08 08:10:06 UTC R topics documented: array.mult . .3 1 2 R topics documented: asSymmetric . .4 bracket.prod . .5 cg ..............................................6 comm.info . .7 comm.prod . .8 commutation . .9 cov.MSSD . 10 cov.weighted .
    [Show full text]
  • Dynamics of Correlation Structure in Stock Market
    Entropy 2014, 16, 455-470; doi:10.3390/e16010455 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Article Dynamics of Correlation Structure in Stock Market Maman Abdurachman Djauhari * and Siew Lee Gan Department of Mathematical Sciences, Faculty of Science, Universiti Teknologi Malaysia, 81310 UTM Skudai, Johor Bahru, Johor Darul Takzim, Malaysia; E-Mail: [email protected] * Author to whom correspondence should be addressed; E-Mail: [email protected]; Tel.: +60-017-520-0795; Fax: +60-07-556-6162. Received: 24 September 2013; in revised form: 19 December 2013 / Accepted: 24 December 2013 / Published: 6 January 2014 Abstract: In this paper a correction factor for Jennrich’s statistic is introduced in order to be able not only to test the stability of correlation structure, but also to identify the time windows where the instability occurs. If Jennrich’s statistic is only to test the stability of correlation structure along predetermined non-overlapping time windows, the corrected statistic provides us with the history of correlation structure dynamics from time window to time window. A graphical representation will be provided to visualize that history. This information is necessary to make further analysis about, for example, the change of topological properties of minimal spanning tree. An example using NYSE data will illustrate its advantages. Keywords: Mahalanobis square distance; multivariate normal distribution; network topology; Pearson correlation coefficient; random matrix PACS Codes: 89.65.Gh; 89.75.Fb 1. Introduction Correlation structure among stocks in a given portfolio is a complex structure represented numerically in the form of a symmetric matrix where all diagonal elements are equal to 1 and the off-diagonals are the correlations of two different stocks.
    [Show full text]
  • The Jacobian of the Exponential Function
    TI 2020-035/III Tinbergen Institute Discussion Paper The Jacobian of the exponential function Jan R. Magnus1 Henk G.J. Pijls2 Enrique Sentana3 1 Department of Econometrics and Data Science, Vrije Universiteit Amsterdam and Tinbergen Institute, 2 Korteweg-de Vries Institute for Mathematics, University of Amsterdam 3 CEMFI, Madrid Tinbergen Institute is the graduate school and research institute in economics of Erasmus University Rotterdam, the University of Amsterdam and Vrije Universiteit Amsterdam. Contact: [email protected] More TI discussion papers can be downloaded at https://www.tinbergen.nl Tinbergen Institute has two locations: Tinbergen Institute Amsterdam Gustav Mahlerplein 117 1082 MS Amsterdam The Netherlands Tel.: +31(0)20 598 4580 Tinbergen Institute Rotterdam Burg. Oudlaan 50 3062 PA Rotterdam The Netherlands Tel.: +31(0)10 408 8900 The Jacobian of the exponential function June 16, 2020 Jan R. Magnus Department of Econometrics and Data Science, Vrije Universiteit Amsterdam and Tinbergen Institute Henk G. J. Pijls Korteweg-de Vries Institute for Mathematics, University of Amsterdam Enrique Sentana CEMFI Abstract: We derive closed-form expressions for the Jacobian of the matrix exponential function for both diagonalizable and defective matrices. The re- sults are applied to two cases of interest in macroeconometrics: a continuous- time macro model and the parametrization of rotation matrices governing impulse response functions in structural vector autoregressions. JEL Classification: C65, C32, C63. Keywords: Matrix differential calculus, Orthogonal matrix, Continuous-time Markov chain, Ornstein-Uhlenbeck process. Corresponding author: Enrique Sentana, CEMFI, Casado del Alisal 5, 28014 Madrid, Spain. E-mail: [email protected] Declarations of interest: None. 1 1 Introduction The exponential function ex is one of the most important functions in math- ematics.
    [Show full text]
  • Right Semi-Tensor Product for Matrices Over a Commutative Semiring
    Journal of Informatics and Mathematical Sciences Vol. 12, No. 1, pp. 1–14, 2020 ISSN 0975-5748 (online); 0974-875X (print) Published by RGN Publications http://www.rgnpublications.com DOI: 10.26713/jims.v12i1.1088 Research Article Right Semi-Tensor Product for Matrices Over a Commutative Semiring Pattrawut Chansangiam Department of Mathematics, Faculty of Science, King Mongkut’s Institute of Technology Ladkrabang, Bangkok 10520, Thailand [email protected] Abstract. This paper generalizes the right semi-tensor product for real matrices to that for matrices over an arbitrary commutative semiring, and investigates its properties. This product is defined for any pair of matrices satisfying the matching-dimension condition. In particular, the usual matrix product and the scalar multiplication are its special cases. The right semi-tensor product turns out to be an associative bilinear map that is compatible with the transposition and the inversion. The product also satisfies certain identity-like properties and preserves some structural properties of matrices. We can convert between the right semi-tensor product of two matrices and the left semi-tensor product using commutation matrices. Moreover, certain vectorizations of the usual product of matrices can be written in terms of the right semi-tensor product. Keywords. Right semi-tensor product; Kronecker product; Commutative semiring; Vector operator; Commutation matrix MSC. 15A69; 15B33; 16Y60 Received: March 17, 2019 Accepted: August 16, 2019 Copyright © 2020 Pattrawut Chansangiam. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
    [Show full text]
  • Package 'Matrixcalc'
    Package ‘matrixcalc’ July 28, 2021 Version 1.0-5 Date 2021-07-27 Title Collection of Functions for Matrix Calculations Author Frederick Novomestky <[email protected]> Maintainer S. Thomas Kelly <[email protected]> Depends R (>= 2.0.1) Description A collection of functions to support matrix calculations for probability, econometric and numerical analysis. There are additional functions that are comparable to APL functions which are useful for actuarial models such as pension mathematics. This package is used for teaching and research purposes at the Department of Finance and Risk Engineering, New York University, Polytechnic Institute, Brooklyn, NY 11201. Horn, R.A. (1990) Matrix Analysis. ISBN 978-0521386326. Lancaster, P. (1969) Theory of Matrices. ISBN 978-0124355507. Lay, D.C. (1995) Linear Algebra: And Its Applications. ISBN 978-0201845563. License GPL (>= 2) Repository CRAN Date/Publication 2021-07-28 08:00:02 UTC NeedsCompilation no R topics documented: commutation.matrix . .3 creation.matrix . .4 D.matrix . .5 direct.prod . .6 direct.sum . .7 duplication.matrix . .8 E.matrices . .9 elimination.matrix . 10 entrywise.norm . 11 1 2 R topics documented: fibonacci.matrix . 12 frobenius.matrix . 13 frobenius.norm . 14 frobenius.prod . 15 H.matrices . 17 hadamard.prod . 18 hankel.matrix . 19 hilbert.matrix . 20 hilbert.schmidt.norm . 21 inf.norm . 22 is.diagonal.matrix . 23 is.idempotent.matrix . 24 is.indefinite . 25 is.negative.definite . 26 is.negative.semi.definite . 28 is.non.singular.matrix . 29 is.positive.definite . 31 is.positive.semi.definite . 32 is.singular.matrix . 34 is.skew.symmetric.matrix . 35 is.square.matrix . 36 is.symmetric.matrix .
    [Show full text]
  • The Jacobian of the Exponential Function
    A Service of Leibniz-Informationszentrum econstor Wirtschaft Leibniz Information Centre Make Your Publications Visible. zbw for Economics Magnus, Jan R.; Pijls, Henk G.J.; Sentana, Enrique Working Paper The Jacobian of the exponential function Tinbergen Institute Discussion Paper, No. TI 2020-035/III Provided in Cooperation with: Tinbergen Institute, Amsterdam and Rotterdam Suggested Citation: Magnus, Jan R.; Pijls, Henk G.J.; Sentana, Enrique (2020) : The Jacobian of the exponential function, Tinbergen Institute Discussion Paper, No. TI 2020-035/III, Tinbergen Institute, Amsterdam and Rotterdam This Version is available at: http://hdl.handle.net/10419/220072 Standard-Nutzungsbedingungen: Terms of use: Die Dokumente auf EconStor dürfen zu eigenen wissenschaftlichen Documents in EconStor may be saved and copied for your Zwecken und zum Privatgebrauch gespeichert und kopiert werden. personal and scholarly purposes. Sie dürfen die Dokumente nicht für öffentliche oder kommerzielle You are not to copy documents for public or commercial Zwecke vervielfältigen, öffentlich ausstellen, öffentlich zugänglich purposes, to exhibit the documents publicly, to make them machen, vertreiben oder anderweitig nutzen. publicly available on the internet, or to distribute or otherwise use the documents in public. Sofern die Verfasser die Dokumente unter Open-Content-Lizenzen (insbesondere CC-Lizenzen) zur Verfügung gestellt haben sollten, If the documents have been made available under an Open gelten abweichend von diesen Nutzungsbedingungen die in der dort Content Licence (especially Creative Commons Licences), you genannten Lizenz gewährten Nutzungsrechte. may exercise further usage rights as specified in the indicated licence. www.econstor.eu TI 2020-035/III Tinbergen Institute Discussion Paper The Jacobian of the exponential function Jan R.
    [Show full text]
  • Graph Notation for Arrays
    Graph Notation for Arrays Hans G. Ehrbar Economics Department, University of Utah 1645 Campus Center Drive Salt Lake City, UT 84112-9300 U.S.A. +1 801 581 7797 [email protected] July 24, 2000 Abstract avoided in the applied sciences because of the dif- ficulties to write them on a two-dimensional sheet A graph-theoretical notation for array concatenation of paper. The following symbolic notation makes represents arrays as bubbles with arms sticking out, the structure of arrays explicit without writing them each arm with a specified number of “fingers.” Bub- down element by element. It is hoped that this makes bles with one arm are vectors, with two arms ma- arrays easier to understand, and that this notation trices, etc. Arrays can only hold hands, i.e., “con- leads to simple high-level user interfaces for pro- tract” along a given pair of arms, if the arms have gramming languages manipulating arrays. the same number of fingers. There are three array concatenations: outer product, contraction, and di- rect sum. Special arrays are the unit vectors and the 2 Informal Survey of the Notation diagonal array, which is the branching point of sev- eral arms. Outer products and contractions are inde- Each array is symbolized by a rectangular tile with pendent of the order in which they are performed and arms sticking out, similar to a molecule. Tiles with distributive with respect to the direct sum. Examples one arm are vectors, those with two arms matrices, are given where this notation clarifies mathematical those with more arms are arrays of higher rank (or proofs.
    [Show full text]
  • Matrix Polynomials and Their Lower Rank Approximations
    Matrix Polynomials and their Lower Rank Approximations by Joseph Haraldson A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in Computer Science Waterloo, Ontario, Canada, 2019 c Joseph Haraldson 2019 Examining Committee Membership The following served on the Examining Committee for this thesis. The decision of the Examining Committee is by majority vote. External Examiner: Lihong Zhi Professor, Mathematics Mechanization Research Center Institute of Systems Science, Academy of Mathematics and System Sciences Academia Sinica Supervisor(s): Mark Giesbrecht Professor, School of Computer Science, University of Waterloo George Labahn Professor, School of Computer Science, University of Waterloo Internal-External Member: Stephen Vavasis Professor, Dept. of Combinatorics and Optimization, University of Waterloo Other Member(s): Eric Schost Associate Professor, School of Computer Science, University of Waterloo Other Member(s): Yuying Li Professor, School of Computer Science, University of Waterloo ii I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. iii Abstract This thesis is a wide ranging work on computing a \lower-rank" approximation of a matrix polynomial using second-order non-linear optimization techniques. Two notions of rank are investigated. The first is the rank as the number of linearly independent rows or columns, which is the classical definition. The other notion considered is the lowest rank of a matrix polynomial when evaluated at a complex number, or the McCoy rank.
    [Show full text]
  • On Long-Run Covariance Matrix Estimation with the Truncated Flat
    On Long-Run Covariance Matrix Estimation with the Truncated Flat Kernel Chang-Ching Lina, Shinichi Sakatab∗ a Institute of Economics, Academia Sinica, 128, Sec.2 Academia Rd., Nangang, Taipei 115, Taiwan, Republic of China b Department of Economics, University of British Columbia, 997-1873 East Mall, Vancouver, BC V6T 1Z1, Canada March 31, 2008 Despite its large sample efficiency, the truncated flat (TF) kernel estimator of long-run covariance matrices is seldom used, because it lacks the guaranteed positive semidefiniteness and sometimes performs poorly in small samples, compared to other familiar kernel estimators. This paper proposes simple modifications to the TF estimator to enforce the positive definiteness without sacrificing the large sample efficiency and make the estimator more reliable in small samples through better utilization of the bias- variance tradeoff. We study the large sample properties of the modified TF estimators and verify their improved small-sample performances by Monte Carlo simulations. Keywords: Heteroskedasticity autocorrelation-consistent covariance matrix estimator; hypothe- sis testing; M-estimation; generalized method-of-moments estimation; positive semidefinite matrices; semidefinite programming. ∗Tel: +1-604-822-5360; fax: 1+604-822-5915. Email addresses: [email protected] (C. Lin), [email protected] (S. Sakata). 1 1 Introduction In assessing the accuracy of an extremum estimator or making a statistical inference on unknown parameter values based on an extremum estimator using time series data, it is often necessary to estimate a long-run covariance matrix. The long-run covariance matrix is typically estimated by a kernel estimator that is the weighted average of estimated autocovariance matrices with weights determined by a kernel function and the bandwidth for it.
    [Show full text]
  • Signal Processing, IEEE Transactions On
    UC Riverside UC Riverside Previously Published Works Title Fast subspace tracking and neural network learning by a novel information criterion Permalink https://escholarship.org/uc/item/85h2b369 Journal IEEE Transactions on Signal Processing, 46(7) ISSN 1053-587X Authors Miao, Yongfeng Hua, Yingbo Publication Date 1998-07-01 Peer reviewed eScholarship.org Powered by the California Digital Library University of California IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 7, JULY 1998 1967 Fast Subspace Tracking and Neural Network Learning by a Novel Information Criterion Yongfeng Miao and Yingbo Hua, Senior Member, IEEE Abstract— We introduce a novel information criterion (NIC) to be globally convergent since the global minimum of the for searching for the optimum weights of a two-layer linear MSE is only achieved by the principal subspace, and all neural network (NN). The NIC exhibits a single global maximum the other stationary points of the MSE are saddle points. attained if and only if the weights span the (desired) principal subspace of a covariance matrix. The other stationary points of The MSE criterion has also led to many other algorithms, the NIC are (unstable) saddle points. We develop an adaptive which include the projection approximation subspace tracking algorithm based on the NIC for estimating and tracking the (PAST) algorithm [16], the conjugate gradient method [17], principal subspace of a vector sequence. The NIC algorithm and the Gauss–Newton method [18]. It is clear that a properly provides a fast on-line learning of the optimum weights for the chosen criterion is a very important part in developing any two-layer linear NN.
    [Show full text]