Bayesian Inference for the Errors-In-Variables Model

Total Page:16

File Type:pdf, Size:1020Kb

Bayesian Inference for the Errors-In-Variables Model Bayesian inference for the Errors-In-Variables model XING FANG1,2, BOFENG LI3, HAMZA ALKHATIB4, WENXIAN ZENG1* AND YIBIN YAO1 1 School of Geodesy and Geomatics, Wuhan University, China ([email protected]) 2 School of Earth Science, Ohio State University, USA 3 College of Surveying and Geo-Informatics, Tongji University, Shanghai, China 4 Geodetic Institute, Leibniz University Hannover, Germany * Corresponding author Received: December 26, 2015; Revised: June 5, 2016; Accepted: June 28, 2016 ABSTRACT We discuss the Bayesian inference based on the Errors-In-Variables (EIV) model. The proposed estimators are developed not only for the unknown parameters but also for the variance factor with or without prior information. The proposed Total Least-Squares (TLS) estimators of the unknown parameter are deemed as the quasi Least-Squares (LS) and quasi maximum a posterior (MAP) solution. In addition, the variance factor of the EIV model is proven to be always smaller than the variance factor of the traditional linear model. A numerical example demonstrates the performance of the proposed solutions. Ke ywo rd s: Errors-In-Variables, Total Least-Squares, Bayesian inference, quasi solution, Maximum Likelihood, noninformative prior, informative prior 1. INTRODUCTION The method of least-squares (LS), which was developed by C.F. Gauss and A.M. Legendre in nineteenth century (Stigler, 1986), has been widely applied to solve an overdetermined system. In spite of its wide use, however, the principle hypothesis of the coefficient matrix within the mathematical model is not necessarily true in all cases in geodesy. A popular type of models with an uncertain coefficient matrix is known in the literature as Errors-In-Variables (EIV) models. In 1980 Total Least-Squares (TLS) is introduced by Golub and van Loan (1980) in the field of numerical analysis. TLS is nowadays frequently utilized as a standard terminology of the estimation method sets for adjusting the EIV model in science and engineering fields, respectively. The EIV model is now attached the high importance in the geodetic data processing, since within the model the random errors of all measured data are rigorously regarded. In typical geodetic problems, e.g., regression and transformation, the random errors of the measured data contained in the design matrix should be properly taken into consideration. Therefore, the Gauss-Markov model (GMM) is improper for treating such cases any more rigorously. Stud. Geophys. Geod., 61 (2017), 3552, DOI: 10.1007/s11200-015-6107-9 35 © 2017 Inst. Geophys. CAS, Prague X. Fang et al. Recently, the investigation on adjusting the EIV model has been also exhibited by quite a number of publications in geodesy. Usually, the adjustment of EIV model without linearization is called TLS. The most frequent approaches include the closed form solution in terms of the singular value decomposition (SVD) of the data matrix (e.g., Teunissen, 1988; Felus, 2004; Akyilmaz, 2007; Schaffrin and Felus, 2008; Grafarend and Awange, 2012), reformulation of the TLS problem as a constrained minimization optimization problem (e.g., Schaffrin and Wieser, 2008; Xu et al., 2012; Snow, 2012; Li et al., 2013; Fang, 2014a), the iterative LS solution by properly treating the weight matrix (e.g., Amiri-Simkooei and Jazaeri, 2012, 2013) and transformation of the TLS problem into an unconstrained optimization problem (Xu et al., 2012; Fang, 2011, 2013, 2014b, 2015). All these methods provide the identical TLS solution and guarantee the (weighted) orthogonality when, and only when the design matrix within the EIV model contains only linear terms of random errors. Being an alternative to these TLS methods, the iteratively linearized Gauss Helmert model (GHM) method proposed by Pope (1972) can also solve the (weighted) TLS problem. Xu (2016) analyzed how random errors in the design matrix influence the variance components within the EIV model. Although a significant number of publications as mentioned above has been presented to adjust the EIV model, they are all based on the assumption that only the first and second moments of errors are available. In fact, most of the methods are indeed optimal/proper in case of normal distribution although the distribution information is not explicitly used. However, when the errors are not normally distributed, these methods are not proper anymore. The earliest studies in Bayesian EIV models can be found in Lindley and El Sayyad (1968) and Zellner (1971). Later, the investigation on adjusting the EIV model from the Bayesian perspective instead of from the frequentist point of view has been presented by a number of publications in different disciplines: e.g., Bauwens and Lubrano (1999) in economics, Florens et al. (1974), Polasek (1995), Reilly and Patino-Lea (1981), Bolfarine and Rodrigues (2007) and Huang (2010) in statistics, Dellaportas and Stephens (1995) in biometrics. However, parameter estimation methods proposed in the aforementioned publications were based on a simplified functional model (e.g, regression model) and the special stochastic information, i.e. the dispersion matrix is given in a special structure. Therefore, we will propose the Bayesian approach to handle the EIV model with general stochastic information. As a result, the prior information about the parameter vector as well as the variance factor can be fully considered in the Bayesian inference for suitable solution of the EIV model. Furthermore, the estimated variance component will be proven to be always smaller than that in the LS estimation. The objectives of this contribution are as follows. Firstly, the EIV model is formulated with the known probability density function (PDF); as a case study, the normal distribution is assumed. Secondly, the formulae of the maximum likelihood estimator (MLE) and maximum a posteriori estimator (MAPE) are derived to solve the model with the noninformative and informative prior density function of parameters under the conditions of known and unknown variance factor, respectively. Furthermore, it is proven that the estimate of the variance factor estimated by the (marginal) maximum likelihood method proposed is always smaller than the traditional estimate of the variance factor in the framework of the LS method. At the next step, a simulated example is presented. Finally, some concluding remarks and further work are given. 36 Stud. Geophys. Geod., 61 (2017) Bayesian inference for the Errors-In-Variables model 2. THE FORMULATION OF THE ERRORS-IN-VARIABLES MODEL It is well-known that the LS estimation is the best linear unbiased estimation when the design matrix is free of noise and the expectation of the random errors in the traditional observation vector equals zero. This kind of estimation has frequently been applied in the GMM for the error adjustment. In contrast, an EIV model is a model similar to GMM except for the elements of the design matrix that are contaminated by random errors. Consequently, the observation equation of the EIV model can be expressed as yv=y AVA ξ , (1) where the column full rank n m matrix A affected by random errors and the conventional observation vector y have the correction matrix VA and vector vy. Vector is a vector of unknowns. With all error-affected variables as observations, the observations can be expressed as an extended vector vec A l , (2) y where ‘vec’ denotes the operator that stacks one column of a matrix underneath the previous one. The corresponding extended uncertainty vector v and the stochastic properties of the uncertainties can be characterized as follows: vecVA vA 0 v , v , Σll , (3) vy vy 0 where 1 22Q0AA P0AA Σll 00= 0Qyy 0Pyy is the dispersion matrix of the extended observation vector, matrices QAA and Qyy are the 2 symmetric and positive definite cofactor matrices for vA and vy, vA vecVA , and 0 is the variance factor. PAA and Pyy are the symmetric and positive definite weight matrices for vA and vy. In this paper, the vectors vA and vy are assumed independent. In order to adjust the model, the objective function in the sense of weighted TLS criterion reads TT vvvvAAAAPP y yyy min . (4) Stud. Geophys. Geod., 61 (2017) 37 X. Fang et al. 3. THE MAXIMUM LIKELIHOOD ESTIMATOR FOR THE EIV MODEL As the common assumption, the (vectorized) model matrix A and observation vector y 2 are here assumed to be normally distributed. Provided that 0 is known, the distributions are given as follows 2 2 y UUQAAy,,ξξ N 0 y , vecAUAAA N vec U , 0 QA , (5) 2 where U A denotes the expectation of the coefficient matrix. Here, the variance factor 0 for all measured quantities is modeled to be identical (see Schaffrin and Felus, 2008; Shen et al., 2010). Modeling of the different variance components of design matrix A and the conventional observation vector y leads to the issue of the variance components estimation within the EIV model (Amiri-Simkooei, 2013; Xu and Liu, 2014). With the distribution in Eq. (5), the likelihood function is given as T 1vecUUP0AA vec exp llAA 2 2 UUξξ0Pyy 0 AA L l |,ξ U . (6) A n 2 12 2det Σll Conveniently, working with the logarithm of the likelihood function (6) instead of the exponential function yields lnL l |ξ , UA T 11vecUU vec n (7) ll AAΣΣ1 ln 2 ln det . ll ll 222UUAAξξ In order to obtain the maximum of the log-likelihood function of Eq. (7), two partial derivatives with respect to the unknown parameter vector and the (vectorized) model matrix UA should be analytically derived. The first-order derivative of Eq. (7) with respect to the parameter vector reads: lnL l |ξ , U A ξ T vecUU vec l AAΣ1 l ll UUAAξξ (8) ξ T 12y UPAyyAξ y Uξ UPT Uξ y . 22Ayy A 00 ξ 38 Stud. Geophys. Geod., 61 (2017) Bayesian inference for the Errors-In-Variables model The first derivative of Eq.
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]