Overview of Total Least-Squares Methods

Total Page:16

File Type:pdf, Size:1020Kb

Overview of Total Least-Squares Methods ARTICLE IN PRESS Signal Processing 87 (2007) 2283–2302 www.elsevier.com/locate/sigpro Overview of total least-squares methods Ivan Markovskya,Ã, Sabine Van Huffelb aSchool of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK bKatholieke Universiteit Leuven, ESAT-SCD/SISTA, Kasteelpark Arenberg 10 B– 3001 Leuven, Belgium Received 28 September 2006; received in revised form 30 March 2007; accepted 3 April 2007 Available online 14 April 2007 Abstract We review the development and extensions of the classical total least-squares method and describe algorithms for its generalization to weighted and structured approximation problems. In the generic case, the classical total least-squares problem has a unique solution, which is given in analytic form in terms of the singular value decomposition of the data matrix. The weighted and structured total least-squares problems have no such analytic solution and are currently solved numerically by local optimization methods. We explain how special structure of the weight matrix and the data matrix can be exploited for efficient cost function and first derivative computation. This allows to obtain computationally efficient solution methods. The total least-squares family of methods has a wide range of applications in system theory, signal processing, and computer algebra. We describe the applications for deconvolution, linear prediction, and errors-in- variables system identification. r 2007 Elsevier B.V. All rights reserved. Keywords: Total least squares; Orthogonal regression; Errors-in-variables model; Deconvolution; Linear prediction; System identification b 1. Introduction The least-squares approximation X ls is obtained as a solution of the optimization problem The total least-squares method was introduced by b Golub and Van Loan [1,2] as a solution technique fX ls; DBlsg:¼ arg min kDBkF for an overdetermined system of equations AX B, X;DB where A 2 RmÂn and B 2 RmÂd are the given data subject to AX ¼ B þ DB. ðLSÞ and X 2 RnÂd is unknown. With m4n, typically there is no exact solution for X, so that an The rationale behind this approximation method is approximate one is sought for. The total least- to correct the right-hand side B as little as possible in the Frobenius norm sense, so that the corrected squares method is a natural generalization of the b b least-squares approximation method when the data system of equations AX ¼ B, B:¼B þ DB has an exact solution. Under the condition that vec A is in both A and B is perturbed. b full column rank, the unique solution X ls ¼ ðA>AÞÀ1A>B of the optimally corrected system of b b ÃCorresponding author. equations AX ¼ Bls, Bls:¼B þ DBls is by definition E-mail addresses: [email protected] (I. Markovsky), the least-squares approximate solution of the [email protected] (S. Van Huffel). original incompatible system of equations. 0165-1684/$ - see front matter r 2007 Elsevier B.V. All rights reserved. doi:10.1016/j.sigpro.2007.04.004 ARTICLE IN PRESS 2284 I. Markovsky, S. Van Huffel / Signal Processing 87 (2007) 2283–2302 Nomenclature B Rnþd a static model in Rnþd L linear static model class R and Rþ the set of real numbers and non- B 2 Ln linear static model of dimension at most negative real numbers n, i.e., a subspace (in Rnþd ) of dimension :¼ and :3 left-hand side is defined by the right- at most n hand side X, R, P parameters of input/output, kernel, and ¼: and 3: right-hand side is defined by the left- image representations hand side Bi=oðXÞ input/output representation, see (I/O vec column-wise vectorization of a matrix repr) in Section 3.1.3 C, DC, Cb data, correction, and approximation col spanðPÞ image representation, i.e., the space matrices spanned by the columns of P C ¼½AB input/output partitioning of the data kerðRÞ kernel representation, i.e., the right null > c1; ...; cm observations, ½c1 ÁÁÁ cm¼C space of R a c ¼ colða; bÞ the column vector c ¼½b The definition of the total least-squares method is ‘‘true data’’, X¯ is the ‘‘true’’ value of the parameter motivated by the asymmetry of the least-squares X, and A~, B~ consist of ‘‘measurement noise’’. method: B is corrected while A is not. Provided that Our first aim is to review the development and both A and B are given data, it is reasonable to treat generalizations of the total least-squares method. them symmetrically. The classical total least-squares We start in Section 2 with an overview of the problem looks for the minimal (in the Frobenius classical total least-squares method. Section 2.1 norm sense) corrections DA and DB on the given gives historical notes that relate the total least- data A and B that make the corrected system of squares method to work on consistent estimation in equations AXb ¼ Bb, Ab:¼A þ DA, Bb:¼B þ DB solva- the EIV model. Section 2.2 presents the solution of ble, i.e., the total least-squares problem and the resulting basic computational algorithm. Some properties, b fX tls; DAtls; DBtlsg:¼ arg min k½DA DBkF generalizations, and applications of the total least- X;DA;DB squares method are stated in Sections 2.3–2.5. subject to ðA þ DAÞX ¼ B þ DB. ðTLS1Þ Our second aim is to present an alternative b formulation of the total least-squares problem as a The total least-squares approximate solution X tls matrix low rank approximation problem for X is a solution of the optimally corrected b b b b b b Ctls:¼ arg min kC À Ck subject to rankðCÞpn, system of equations AtlsX ¼ Btls, Atls:¼A þ DAtls, b F b C Btls:¼B þ DBtls. (TLS2) The least-squares approximation is statistically motivated as a maximum likelihood estimator in a which in some respects, described in detail later, has linear regression model under standard assumptions advantages over the classical one. With C ¼½AB, (zero mean, normally distributed residual with a the classical total least-squares problem (TLS1) is covariance matrix that is a multiple of the identity). generically equivalent to the matrix low rank Similarly, the total least-squares approximation is a approximation problem (TLS2), however, in maximum likelihood estimator in the errors-in- certain exceptional cases, known in the literature variables model as non-generic total least-squares problems, (TLS1) fails to have a solution, while (TLS2) always has a A ¼ A¯ þ A~; B ¼ B¯ þ B~ there exists an solution. The following example illustrates the geometry ¯ nÂd ¯ ¯ ¯ X 2 R such that AX ¼ B ðEIVÞ behind the least-squares and total least-squares approximations. under the assumption that vec ð½A~ B~Þ is a zero mean, normally distributed random vector with a Example 1 (Geometry of the least-squares and total covariance matrix that is a multiple of the identity. least-squares methods). Consider a data matrix In the errors-in-variables (EIV) model, A¯ , B¯ are the C ¼½ab with m ¼ 20 rows and n þ d ¼ 2 columns. ARTICLE IN PRESS I. Markovsky, S. Van Huffel / Signal Processing 87 (2007) 2283–2302 2285 Least squares fit Total least squares fit 1 1 0.5 0.5 0 0 i i b b -0.5 -0.5 -1 -1 -1.5 -1.5 -2 -1.5 -1 -0.5 0 0.5 1 1.5 -2 -1.5 -1 -0.5 0 0.5 1 1.5 a i ai Fig. 1. Least-squares and total least-squares fits of a set of m ¼ 20 data points in the plane. —data points ½ai bi, —approximations b b ½abi bi, solid line—fitting model abxb ¼ b, dashed lines—approximation errors. b b The data are visualized in the plane: the rows ½ai bi In (TLS1) the constraint AX ¼ B represents the b of C correspond to the circles in Fig. 1. Finding an rank constraint rankðCÞpn, via the implication approximate solution xb of the incompatible system nÂd b b of equations ax b amounts to fitting the data there exists an X 2 R such that AX ¼ B b b b b points by a non-vertical line passing through the ) rankðCÞpn; where C:¼½A B. origin. (The vertical line cannot be represented by an x 2 R.) The cases when the best fitting line Note, however, that the reverse implication does not happens to be vertical correspond to non-generic hold in general. This lack of equivalence is the problems. reason for the existence of non-generic total least- Alternatively, finding a rank-1 approximation Cb squares problems. Problem (TLS1) is non-generic b of the given matrix C (refer to problem (TLS2)) when the rank deficiency of Ctls (an optimal amounts to fitting the data points ½ai bi by points solution of (TLS2)) cannot be expressed as existence b b b b nÂd ½abi bi (corresponding to the rows of C) that lie on a of linear relations AX ¼ B for some X 2 R .In line passing through the origin. Note that now we Section 3.1, we give an interpretation of the linear do not exclude an approximation by the vertical system of equations AXb ¼ Bb as an input/output line, because approximation points lying on a representation of a linear static model. vertical line define a rank deficient matrix Cb and Apart from AXb ¼ Bb with Cb ¼½Ab Bb, there are problem (TLS2) does not impose further restrictions numerous other ways to represent the rank con- b b b on the solution. straint rankðCÞpn. For example, AX ¼ B with The least-squares and total least-squares CbP ¼½Ab Bb, where P is an arbitrary permutation methods assess the fitting accuracy in different matrix, i.e., in (TLS2) we can choose to express any ways: the least-squares method minimizes the sum d columns of Cb as a linear combination of the of the squared vertical distances from the data remaining columns in order to ensure rank defi- points to the fitting line, while the total least- ciency of Cb.
Recommended publications
  • Least-Squares Fitting of Circles and Ellipses∗
    Least-Squares Fitting of Circles and Ellipses∗ Walter Gander Gene H. Golub Rolf Strebel Dedicated to Ake˚ Bj¨orck on the occasion of his 60th birthday. Abstract Fitting circles and ellipses to given points in the plane is a problem that arises in many application areas, e.g. computer graphics [1], coordinate metrol- ogy [2], petroleum engineering [11], statistics [7]. In the past, algorithms have been given which fit circles and ellipses in some least squares sense without minimizing the geometric distance to the given points [1], [6]. In this paper we present several algorithms which compute the ellipse for which the sum of the squares of the distances to the given points is minimal. These algorithms are compared with classical simple and iterative methods. Circles and ellipses may be represented algebraically i.e. by an equation of the form F(x) = 0. If a point is on the curve then its coordinates x are a zero of the function F. Alternatively, curves may be represented in parametric form, which is well suited for minimizing the sum of the squares of the distances. 1 Preliminaries and Introduction Ellipses, for which the sum of the squares of the distances to the given points is minimal will be referred to as \best fit” or \geometric fit", and the algorithms will be called \geometric". Determining the parameters of the algebraic equation F (x)=0intheleast squares sense will be denoted by \algebraic fit" and the algorithms will be called \algebraic". We will use the well known Gauss-Newton method to solve the nonlinear least T squares problem (cf.
    [Show full text]
  • Lesson 4 – Instrumental Variables
    Ph.D. IN ENGINEERING AND Advanced methods for system APPLIED SCIENCES identification Ph.D. course Lesson 4: Instrumental variables TEACHER Mirko Mazzoleni PLACE University of Bergamo Outline 1. Introduction to error-in-variables problems 2. Least Squares revised 3. The instrumental variable method 4. Estimate an ARX model from ARMAX generated data 5. Application study: the VRFT approach for direct data driven control 6. Conclusions 2 /44 Outline 1. Introduction to error-in-variables problems 2. Least Squares revised 3. The instrumental variable method 4. Estimate an ARX model from ARMAX generated data 5. Application study: the VRFT approach for direct data driven control 6. Conclusions 3 /44 Introduction Many different solutions have been presented for system identification of linear dynamic systems from noise-corrupted output measurements On the other hand, estimation of the parameters for linear dynamic systems when also the input is affected by noise is recognized as a more difficult problem Representations where errors or measurement noises are present on both inputs and outputs are usually called Errors-in-Variables (EIV) models In case of static systems, errors-in-variables representations are closely related to other well-known topics such as latent variables models and factor models 4 /44 Introduction Errors-in-variables models can be motivated in several situations: • modeling of the dynamics between the noise-free input and noise-free output. The reason can be to have a better understanding of the underlying relations (e.g. in econometrics), rather than to make a good prediction from noisy data • when the user lacks enough information to classify the available signals into inputs and outputs and prefer to use a “symmetric” system model.
    [Show full text]
  • Overview of Total Least Squares Methods
    Overview of total least squares methods ,1 2 Ivan Markovsky∗ and Sabine Van Huffel 1 — School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK, [email protected] 2 — Katholieke Universiteit Leuven, ESAT-SCD/SISTA, Kasteelpark Arenberg 10 B–3001 Leuven, Belgium, [email protected] Abstract We review the development and extensions of the classical total least squares method and describe algorithms for its generalization to weighted and structured approximation problems. In the generic case, the classical total least squares problem has a unique solution, which is given in analytic form in terms of the singular value de- composition of the data matrix. The weighted and structured total least squares problems have no such analytic solution and are currently solved numerically by local optimization methods. We explain how special structure of the weight matrix and the data matrix can be exploited for efficient cost function and first derivative computation. This allows to obtain computationally efficient solution methods. The total least squares family of methods has a wide range of applications in system theory, signal processing, and computer algebra. We describe the applications for deconvolution, linear prediction, and errors-in-variables system identification. Keywords: Total least squares; Orthogonal regression; Errors-in-variables model; Deconvolution; Linear pre- diction; System identification. 1 Introduction The total least squares method was introduced by Golub and Van Loan [25, 27] as a solution technique for an overde- termined system of equations AX B, where A Rm n and B Rm d are the given data and X Rn d is unknown.
    [Show full text]
  • Uncorrected Proof
    Annals of Operations Research 124, 69–79, 2003 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. 1 1 2 2 3 3 4 Multiple Neutral Data Fitting 4 5 5 6 6 CHRIS TOFALLIS [email protected] 7 7 Deptament of Stats, Econ, Accounting and Management Systems, Business School, 8 University of Hertfordshire, UK 8 9 9 10 10 11 Abstract. A method is proposed for estimating the relationship between a number of variables; this differs 11 12 from regression where the emphasis is on predicting one of the variables. Regression assumes that only 12 13 one of the variables has error or natural variability, whereas our technique does not make this assumption; 13 instead, it treats all variables in the same way and produces models which are units invariant – this is 14 important for ensuring physically meaningful relationships. It is thus superior to orthogonal regression in 14 15 that it does not suffer from being scale-dependent. We show that the solution to the estimation problem is 15 16 a unique and global optimum. For two variables the method has appeared under different names in various 16 17 disciplines, with two Nobel laureates having published work on it. 17 18 18 Keywords: functional relation, data fitting, regression, model fitting 19 19 20 20 21 Introduction 21 22 22 23 23 24 The method of regression is undoubtedly one of the most widely used quantitative meth- 24 25 ods in both the natural and social sciences. For most users of the technique the term is 25 26 taken to refer to the fitting of a function to data by means of the least squares criterion.
    [Show full text]
  • ROBUST SOLUTIONS to LEAST-SQUARES PROBLEMS with UNCERTAIN DATA ∗ ´ LAURENT EL GHAOUI† and HERVE LEBRET† Abstract
    SIAM J. MATRIX ANAL. APPL. c 1997 Society for Industrial and Applied Mathematics Vol. 18, No. 4, pp. 1035–1064, October 1997 015 ROBUST SOLUTIONS TO LEAST-SQUARES PROBLEMS WITH UNCERTAIN DATA ∗ ´ LAURENT EL GHAOUI† AND HERVE LEBRET† Abstract. We consider least-squares problems where the coefficient matrices A, b are unknown but bounded. We minimize the worst-case residual error using (convex) second-order cone program- ming, yielding an algorithm with complexity similar to one singular value decomposition of A. The method can be interpreted as a Tikhonov regularization procedure, with the advantage that it pro- vides an exact bound on the robustness of solution and a rigorous way to compute the regularization parameter. When the perturbation has a known (e.g., Toeplitz) structure, the same problem can be solved in polynomial-time using semidefinite programming (SDP). We also consider the case when A, b are rational functions of an unknown-but-bounded perturbation vector. We show how to mini- mize (via SDP) upper bounds on the optimal worst-case residual. We provide numerical examples, including one from robust identification and one from robust interpolation. Key words. least-squares problems, uncertainty, robustness, second-order cone programming, semidefinite programming, ill-conditioned problem, regularization, robust identification, robust in- terpolation AMS subject classifications. 15A06, 65F10, 65F35, 65K10, 65Y20 PII. S0895479896298130 Notation. For a matrix X, X denotes the largest singular value and X F k k k k the Frobenius norm. If x is a vector, maxi xi is denoted by x . For a matrix A, | | k k∞ A† denotes the Moore–Penrose pseudoinverse of A.
    [Show full text]
  • Thesis Would Not Be Possible
    SYMMETRIC AND TRIMMED SOLUTIONS OF SIMPLE LINEAR REGRESSION by Chao Cheng A Dissertation Presented to the FACULTY OF THE GRADUATE SCHOOL UNIVERSITY OF SOUTHERN CALIFORNIA In Partial Fulfillment of the Requirements for the Degree MASTER OF SCIENCE (STATISTICS) December 2006 Copyright 2006 Chao Cheng Dedication to my grandmother to my parents ii Acknowledgments First and foremost, I would like to thank my advisor, Dr. Lei Li, for his patience and guidance during my graduate study. Without his constant support and encouragement, the completion of the thesis would not be possible. I feel privileged to have had the opportunity to work closely and learn from him. I am very grateful to Dr. Larry Goldstein and Dr. Jianfeng Zhang, in the Depart- ment of Mathematics, for their most valuable help in writing this thesis. Most of my knowledge about linear regression is learned from Dr. Larry Goldstein’s classes. I would also like to thank Dr. Xiaotu Ma, Dr. Rui Jiang, Dr. Ming Li, Huanying Ge, and all the past and current members in our research group for their suggestions and recommendations. I greatly benefit from the discussion and collaboration with them. Finally, I would like to thank my little sister and my parents for their love, support and encouragement. I would also like to thank my grandmother, who passed away in 2002, soon after I began my study in USC. I feel sorry that I did not accompany her in her last minute. This thesis is dedicated to her. iii Table of Contents Dedication ii Acknowledgments iii List of Tables vi List of Figures vii Abstract 1 Chapter 1: INTRODUCTION 2 1.1 Simple linear regression model .
    [Show full text]
  • Total Least Squares Regression in Input Sparsity Time
    Total Least Squares Regression in Input Sparsity Time Huaian Diao Zhao Song Northeast Normal University & KLAS of MOE University of Washington [email protected] [email protected] David P. Woodruff Xin Yang Carnegie Mellon University University of Washington [email protected] [email protected] Abstract In the total least squares problem, one is given an m n matrix A, and an m d × × matrix B, and one seeks to “correct” both A and B, obtaining matrices A and B, so that there exists an X satisfying the equation AX = B. Typically the problem is overconstrained, meaning that m max(n, d). The cost of the solutionb A,bB 2 2 b b is given by A A F + B B F . We give an algorithm for finding a solution k − k k − k 2 b2 b X to the linear system AX = B for which the cost A A F + B B F is at most a multiplicativeb (1 + )bfactor times the optimalk − cost,k up tok an− additivek error η that may be an arbitrarilyb b small function of n. Importantly,b our runningb time is O(nnz(A) + nnz(B)) + poly(n/) d, where for a matrix C, nnz(C) denotes its number of non-zero entries. Importantly,· our running time does not directlye depend on the large parameter m. As total least squares regression is known to be solvable via low rank approximation, a natural approach is to invoke fast algorithms for approximate low rank approximation, obtaining matrices A and B from this low rank approximation, and then solving for X so that AX = B.
    [Show full text]
  • A Bayesian Approach to Nonlinear Parameter Identification for Rigid
    A Bayesian Approach to Nonlinear Parameter Identification for Rigid Body Dynamics Jo-Anne Ting∗, Michael Mistry∗, Jan Peters∗, Stefan Schaal∗† and Jun Nakanishi†‡ ∗Computer Science, University of Southern California, Los Angeles, CA, 90089-2520 †ATR Computational Neuroscience Labs, Kyoto 619-0288, Japan ‡ICORP, Japan Science and Technology Agency Kyoto 619-0288, Japan Email: {joanneti, mmistry, jrpeters, sschaal}@usc.edu, [email protected] Abstract— For robots of increasing complexity such as hu- robots such as humanoid robots have significant additional manoid robots, conventional identification of rigid body dynamics nonlinear dynamics beyond the rigid body dynamics model, models based on CAD data and actuator models becomes due to actuator dynamics, routing of cables, use of protective difficult and inaccurate due to the large number of additional nonlinear effects in these systems, e.g., stemming from stiff shells and other sources. In such cases, instead of trying to wires, hydraulic hoses, protective shells, skin, etc. Data driven explicitly model all possible nonlinear effects in the robot, parameter estimation offers an alternative model identification empirical system identification methods appear to be more method, but it is often burdened by various other problems, useful. Under the assumption that a rigid body dynamics such as significant noise in all measured or inferred variables (RBD) model is sufficient to capture the entire robot dynamics, of the robot. The danger of physically inconsistent results also exists due to unmodeled nonlinearities or insufficiently rich data. this problem is theoretically straightforward as all unknown In this paper, we address all these problems by developing a parameters of the robot such as mass, center of mass and Bayesian parameter identification method that can automatically inertial parameters appear linearly in the rigid body dynamics detect noise in both input and output data for the regression equations [3].
    [Show full text]
  • Orthogonal Decomposition of Left Ventricular Remodeling in Myocardial Infarction
    Touro Scholar Office of the esidentPr Publications and Research Office of the esidentPr 2017 Orthogonal Decomposition of Left Ventricular Remodeling in Myocardial Infarction Xingyu Zhang Pau Medrano-Gracia Bharath Ambale-Venkatesh David A. Bluemke Brett R. Cowan See next page for additional authors Follow this and additional works at: https://touroscholar.touro.edu/president_pubs Part of the Cardiovascular Diseases Commons, and the Disease Modeling Commons Recommended Citation Zhang, X., Medrano-Gracia, P., Ambale-Venkatesh, B., Bluemke, D. A., Cowan, B. R., Finn, J. P., . Kadish, A. H. (2017). Orthogonal decomposition of left ventricular remodeling in myocardial infarction. GigaScience, 6(3), 1-15. This Article is brought to you for free and open access by the Office of the President at Touro Scholar. It has been accepted for inclusion in Office of the President Publications and Research by an authorized administrator of Touro Scholar. For more information, please contact [email protected]. Authors Xingyu Zhang, Pau Medrano-Gracia, Bharath Ambale-Venkatesh, David A. Bluemke, Brett R. Cowan, J. Paul Finn, and Alan H. Kadish This article is available at Touro Scholar: https://touroscholar.touro.edu/president_pubs/162 GigaScience, 6, 2017, 1–15 doi: 10.1093/gigascience/gix005 Advance Access Publication Date: 6 February 2017 Research RESEARCH Orthogonal decomposition of left ventricular remodeling in myocardial infarction Xingyu Zhang1, Pau Medrano-Gracia1, Bharath Ambale-Venkatesh2, David A. Bluemke3,BrettRCowan1,J.PaulFinn4, Alan
    [Show full text]
  • Tikhonov Regularization for Weighted Total Least Squares Problems✩
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Applied Mathematics Letters 20 (2007) 82–87 www.elsevier.com/locate/aml Tikhonov regularization for weighted total least squares problems✩ Yimin Wei a,b,∗, Naimin Zhangc, Michael K. Ngd, Wei Xue a School of Mathematical Sciences, Fudan University, Shanghai 200433, PR China b Key Laboratory of Mathematics for Nonlinear Sciences (Fudan University), Ministry of Education, PR China c Mathematics and Information Science College, Wenzhou University, Wenzhou 325035, PR China d Department of Mathematics, Hong Kong Baptist University, Kowloon Tong, Hong Kong e Department of Computing and Software, McMaster University, Hamilton, Ont., Canada L8S 4L7 Received 15 August 2003; received in revised form 15 January 2006; accepted 1 March 2006 Abstract In this work, we study and analyze the regularized weighted total least squares (RWTLS) formulation. Our regularization of the weighted total least squares problem is based on the Tikhonov regularization. Numerical examples are presented to demonstrate the effectiveness of the RWTLS method. c 2006 Elsevier Ltd. All rights reserved. Keywords: Tikhonov regularization; Total least squares; Weighted regularized total least squares; Matrix differentiation; Lagrange multiplier 1. Introduction In this work, we study the regularized weighted total least squares (RWTLS) formulation. Our regularization of the weighted total least squares problem is based on the Tikhonov regularization [1]. For the total least squares (TLS) problem [2], the truncation approach has already been studied by Fierro et al. [3]. In [4], Golub et al. has considered the Tikhonov regularization approach for TLS problems. They derived a new regularization method in which stabilization enters the formulation in a natural way, and that is able to produce regularized solutions with superior properties for certain problems in which the perturbations are large.
    [Show full text]
  • A Gauss--Newton Iteration for Total Least Squares Problems
    A GAUSS–NEWTON ITERATION FOR TOTAL LEAST SQUARES PROBLEMS ∗ DARIO FASINO† AND ANTONIO FAZZI‡ Abstract. The Total Least Squares solution of an overdetermined, approximate linear equation Ax ≈ b minimizes a nonlinear function which characterizes the backward error. We show that a globally convergent variant of the Gauss–Newton iteration can be tailored to compute that solution. At each iteration, the proposed method requires the solution of an ordinary least squares problem where the matrix A is perturbed by a rank-one term. Key words. Total Least Squares, Gauss–Newton method AMS subject classifications. 65F20 1. Introduction. The Total Least Squares (TLS) problem is a well known tech- nique for solving overdetermined linear systems of equations Ax b, A Rm×n, b Rm (m>n), ≈ ∈ ∈ in which both the matrix A and the right hand side b are affected by errors. We consider the following classical definition of TLS problem, see e.g., [4, 13]. Definition 1.1 (TLS problem). The Total Least Squares problem with data A Rm×n and b Rm, with m n, is ∈ ∈ ≥ min (E f) F, subject to b + f Im(A + E), (1.1) E,f k | k ∈ where E Rm×n and f Rm. Given a matrix (E¯ f¯) that attains the minimum in (1.1), any∈x Rn such that∈ | ∈ (A + E¯)x = b + f¯ is called a solution of the Total Least Squares problem (1.1). Here and in what follows, F denotes the Frobenius matrix norm, while (E f) denotes the m (n +1) matrixk·k whose first n columns are the ones of E, and the last| column is the vector× f.
    [Show full text]
  • Appendix D: Nonlinear Least Squares for Data Fitting
    Appendix D Nonlinear Least Squares Data Fitting D.1 Introduction A nonlinear least squares problem is an unconstrained minimization problem of the form m 2 minimize f(x)= fi(x) , x i=1 where the objective function is defined in terms of auxiliary functions { fi }.It is called “least squares” because we are minimizing the sum of squares of these functions. Looked at in this way, it is just another example of unconstrained min- imization, leading one to ask why it should be studied as a separate topic. There are several reasons. In the context of data fitting, the auxiliary functions { fi } are not arbitrary nonlinear functions. They correspond to the residuals in a data fitting problem (see m Chapter 1). For example, suppose that we had collected data { (ti,yi) }i=1 consist- ing of the size of a population of antelope at various times. Here ti corresponds to the time at which the population yi was counted. Suppose we had the data ti :12458 yi :3461120 where the times are measured in years and the populations are measured in hun- dreds. It is common to model populations using exponential models, and so we might hope that x2ti yi ≈ x1e for appropriate choices of the parameters x1 and x2. A model of this type is illus- trated in Figure D.1. If least squares were used to select the parameters (see Section 1.5) then we would solve 5 x2ti 2 minimize f(x1,x2)= (x1e − yi) x1,x2 i=1 743 744 Appendix D. Nonlinear Least Squares Data Fitting 20 y 18 16 14 12 10 8 6 4 2 0 0 1 2 3 4 5 6 7 8 9 10 t Figure D.1.
    [Show full text]