Least Squares Methods for System Identification of Structured Models

Total Page:16

File Type:pdf, Size:1020Kb

Least Squares Methods for System Identification of Structured Models Least Squares Methods for System Identification of Structured Models MIGUEL GALRINHO Licentiate Thesis Stockholm, Sweden 2016 KTH School of Electrical Engineering TRITA-EE 2016:115 Automatic Control Lab ISSN 1653-5146 SE-100 44 Stockholm ISBN 978-91-7729-066-7 SWEDEN Akademisk avhandling som med tillstånd av Kungliga Tekniska högskolan framlägges till offentlig granskning för avläggande av teknologie licenciatexamen i reglerteknik fredagen den 9 september 2016 klockan 10.15 i sal Q2 Kungliga Tekniska högskolan, Osquldas väg 10, Stockholm. © Miguel Galrinho, September 2016. All rights reserved. Tryck: Universitetsservice US AB Abstract The purpose of system identification is to build mathematical models for dynam- ical systems from experimental data. With the current increase in complexity of engineering systems, an important challenge is to develop accurate and computa- tionally efficient algorithms. For estimation of parametric models, the prediction error method (PEM) is a benchmark in the field. When the noise is Gaussian and a quadratic cost function is used, PEM provides asymptotically efficient estimates if the model orders are correct. A disadvantage with PEM is that, in general, it requires minimizing a non-convex function. Alternative methods are then needed to provide initialization points for the optimization. Two important classes of such methods are subspace and instrumental variables. Other methods, such as Steiglitz-McBride, use iterative least squares to avoid the non-convexity of PEM. This thesis focuses on this class of methods, with the purpose of addressing common limitations in existing algorithms and suggesting more accurate and computationally efficient ones. In particular, the proposed methods first estimate a high order non-parametric model and then reduce this estimate to a model of lower order by iteratively applying least squares. Two methods are proposed. First, the weighted null-space fitting (WNSF) uses iterative weighted least squares to reduce the high order model to a parametric model of interest. Second, the model order reduction Steiglitz-McBride (MORSM) uses pre-filtering and Steiglitz-McBride to estimate a parametric model of the plant. The asymptotic properties of the methods are studied, which show that one iteration provides asymptotically efficient estimates. We also discuss two extensions for this type of methods: transient estimation and estimation of unstable systems. Simulation studies provide promising results regarding accuracy and convergence properties in comparison with PEM. Sammanfattning Syftet med systemidentifiering är att bygga matematiska modeller av dynamiska system från observerade data. Dagens alltmer komplexa tekniska system har gjort att behovet av att utveckla noggranna och beräkningseffektiva algoritmer ökat. För skattning av parametriska modeller är prediktionsfelsmetoden (PEM) en standardmetod inom området. När störningen är Gaussisk, och en kvadratisk kost- nadsfunktion används, är prediktionsfelsmetodens skattningar asymptotiskt effektiva om modellens ordningstal är korrekta. En nackdel med denna metod är att den ofta kräver att en icke-konvex funktion minimeras. I detta fall behövs alternativa metoder för att hitta initieringspunkter åt optimeringen. Två viktiga klasser av dessa är subspace-metoder och instrumentvariabelmetoder. Andra metoder, såsom Steiglitz-McBride, använder minstakvadratmetoden iter- ativt för att undvika prediktionsfelsmetodens icke-konvexitet. Denna avhandling fokuserar på denna klass av metoder, med syftet att gå igenom begränsningar med befintliga metoder samt att föreslå noggrannare och beräkningseffektivare algorit- mer. De föreslagna metoderna skattar först en icke-parametrisk modell av högt ordningstal, för att sedan reducera denna skattning till en lägre ordningens modell genom iterativ användning av minstakvadratmetoden. Två metoder föreslås. Den första, viktad nollrumsanpassning (WNSF), an- vänder en viktad variant av minstakvadratmedoten för att reducera den icke- parametriska modellen till den parametriska modellen av intresse. Den andra, modellordningsreduktions-Steiglitz-McBride (MORSM), använder förfiltrering och Steiglitz-McBride för att skatta en parametrisk modell. Metodernas asymptotiska egenskaper studeras, vilket visar att en iteration ger asymptotiskt effektiva skat- tningar. Dessutom diskuteras två utvidgningar av denna klass av metoder: tran- sientskattning och skattning av instabila system. Simuleringar visar på lovande resultat med avseende på noggrannhet och kon- vergensegenskaper jämfört med PEM. Contents Acknowledgements ix Abbreviations x Notation xi 1 Introduction 1 1.1 Motivation . 3 1.2 Outline and Contributions . 5 2 Background 9 2.1 System Description . 9 2.2 Models . 11 2.3 Identification Methods . 14 3 Asymptotic Properties of the Least Squares Method 37 3.1 Definitions and Assumptions . 38 3.2 Convergence Results . 41 3.3 Variance Results . 42 4 Weighted Null-Space Fitting 43 4.1 Problem Statement . 43 4.2 Motivation . 44 4.3 The Algorithm . 48 4.4 Asymptotic Properties . 55 4.5 Simulation Examples . 56 4.6 Comparison with Explicit ML Optimization . 61 4.7 Conclusions . 64 4.A Consistency of Step 2 . 65 4.B Consistency of Step 3 . 70 4.C Asymptotic Distribution and Covariance of Step 3 . 75 5 Model Order Reduction Steiglitz-McBride 81 vi Contents vii 5.1 Problem Statement . 82 5.2 Motivation . 82 5.3 Open Loop . 86 5.4 Closed Loop . 90 5.5 Comparison to WNSF . 92 5.6 Simulation Examples . 94 5.7 Conclusions . 100 6 Transient Estimation with Unstructured Models 103 6.1 Problem Statement . 104 6.2 Estimating the Transient . 105 6.3 WNSF with Transient Estimation . 106 6.4 Generalizations . 109 6.5 Simulation Example . 113 6.6 Conclusions . 115 7 ARX Modeling of Unstable Box-Jenkins Systems 117 7.1 Problem Statement . 118 7.2 The ARX Minimizer of a Stable BJ Model . 119 7.3 The ARX Minimizer of an Unstable BJ Model . 121 7.4 Practical Aspects . 124 7.5 Examples . 125 7.6 PEM with Unstable Predictors . 128 7.7 WNSF with Unstable Predictors . 131 7.8 Conclusions . 138 8 Conclusions and Future Research Directions 141 Bibliography 145 Acknowledgements This thesis has been influenced by many people who should be acknowledged for their contributions. I would like to thank Håkan, my main supervisor, for giving me this opportunity and guiding me in accomplishing it. I would also like to thank Cristian, my co- supervisor, for having his door always open to discuss whatever questions arise; and Bo, for having provided me with some of his previous work, which has helped me much in understanding my own. I would like to thank everyone at the department of Automatic Control and the System Identification group for pleasurable company and interesting discussions. In particular, I would like to thank those who have reviewed parts of this thesis: Henrik (for being the official reviewer), Patricio (for his availability and eye for detail), Riccardo (for knowing the Chicago Manual of Style better than me), Niklas (for contributing directly by being a co-author in several papers), and Linnea (for the help in translating the abstract). Last but not least, I would like to thank my friends and family who have given me all their support during these challenging and fascinating years. Miguel Galrinho Stockholm, August 2016. ix Abbreviations ARMAX autoregressive moving average with exogeneous input ARX autoregressive with exogeneous input BJ Box-Jenkins BJSM Box-Jenkins Steiglitz-McBride FIR finite impulse response MIMO multi-input multi-output MISO multi-input single-output ML maximum likelihood MORSM model order reduction Steiglitz-McBride OE output-error PDF probability density function PEM prediction error method SISO single-input single-output WNSF weighted null-space fitting w.p.1 with probability one xi Notation n 2 x l2 norm of the vector x—that is, x k 1 xk , with x an n 1 vector ¼ = YAY induced Euclidean norm ofY theY ∶= matrix∑ S SA—that is, × A supx Ax x , x 0 Y Y Ex mathematical expectation of the random vector x ¯ Y Y ∶= ¯Y Y ~ Y Y 1 ≠N Ex defined by Ex lim t 1 Ext N N x f the function x tends to zero= at a rate not slower than f , as N N ∶N= →∞ ∑ N N , w.p.1 1 = O( ) 1 q backward shift operator, q xt xt 1 → ∞ A− transpose of A − = − cov⊺ x covariance matrix of x Ascov x asymptotic covariance matrix of x ( ) As a, R asymptotic normal distribution with mean a and covariance R ( ) C any bounded constant, which need not be the same in different N ( ) expressions det A determinant of A R set of real numbers Rn set of n-dimensional column vectors with real entries definition n,m X q Toeplitz matrix of size n m (m n) with zeros above the ∶= main diagonal and whose first column is x0 xn 1 , where T ( ( )) X q x q k × ≤ ⊺ k 0 k − ∞ − [ ⋯ ] ( ) = ∑ = xiii Chapter 1 Introduction Creating models to describe physical phenomena is the core of science. Models are representations of the object of study. As such, they are not true descriptions of the real world, but abstractions that attempt to explain how some object behaves. Models can provide insight and understanding about the object being studied and make predictions about its behavior. Also, their accuracy can be tested through their ability to make predictions, but their usefulness depends as well on the simplicity and propensity to give insight and understanding. It is thus natural that the same object may have different models, none being true or false, but each having different points of interest and ranges of applicability. A classical example is Newton’s universal law of gravitation and Einstein’s general theory of relativity, which are both models for the force of gravity. However, while Newton’s theory is sufficient to send a spaceship to Mars, general relativity would be unnecessarily complex for that purpose; on the other hand, it is required to explain certain anomalies in the orbit of Mercury, due to the strong influence of the Sun’s gravitational field. System identification is about using experimental data to build mathematical models for dynamical systems. A system is a process where different variables interact, producing observable signals, which are called outputs.
Recommended publications
  • Instrumental Regression in Partially Linear Models
    10-167 Research Group: Econometrics and Statistics September, 2009 Instrumental Regression in Partially Linear Models JEAN-PIERRE FLORENS, JAN JOHANNES AND SEBASTIEN VAN BELLEGEM INSTRUMENTAL REGRESSION IN PARTIALLY LINEAR MODELS∗ Jean-Pierre Florens1 Jan Johannes2 Sebastien´ Van Bellegem3 First version: January 24, 2008. This version: September 10, 2009 Abstract We consider the semiparametric regression Xtβ+φ(Z) where β and φ( ) are unknown · slope coefficient vector and function, and where the variables (X,Z) are endogeneous. We propose necessary and sufficient conditions for the identification of the parameters in the presence of instrumental variables. We also focus on the estimation of β. An incorrect parameterization of φ may generally lead to an inconsistent estimator of β, whereas even consistent nonparametric estimators for φ imply a slow rate of convergence of the estimator of β. An additional complication is that the solution of the equation necessitates the inversion of a compact operator that has to be estimated nonparametri- cally. In general this inversion is not stable, thus the estimation of β is ill-posed. In this paper, a √n-consistent estimator for β is derived under mild assumptions. One of these assumptions is given by the so-called source condition that is explicitly interprated in the paper. Finally we show that the estimator achieves the semiparametric efficiency bound, even if the model is heteroscedastic. Monte Carlo simulations demonstrate the reasonable performance of the estimation procedure on finite samples. Keywords: Partially linear model, semiparametric regression, instrumental variables, endo- geneity, ill-posed inverse problem, Tikhonov regularization, root-N consistent estimation, semiparametric efficiency bound JEL classifications: Primary C14; secondary C30 ∗We are grateful to R.
    [Show full text]
  • And Approximately Correct: Estimating Mixed Demand Systems
    A Service of Leibniz-Informationszentrum econstor Wirtschaft Leibniz Information Centre Make Your Publications Visible. zbw for Economics Salanié, Bernard; Wolak, Frank A. Working Paper Fast, "robust", and approximately correct: Estimating mixed demand systems cemmap working paper, No. CWP64/18 Provided in Cooperation with: Institute for Fiscal Studies (IFS), London Suggested Citation: Salanié, Bernard; Wolak, Frank A. (2018) : Fast, "robust", and approximately correct: Estimating mixed demand systems, cemmap working paper, No. CWP64/18, Centre for Microdata Methods and Practice (cemmap), London, http://dx.doi.org/10.1920/wp.cem.2018.6418 This Version is available at: http://hdl.handle.net/10419/189813 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 Fast, "robust", and approximately correct: estimating mixed demand systems Bernard Salanié Frank A.
    [Show full text]
  • Efficiency Gains by Modifying GMM Estimation in Linear Models Under Heteroskedasticity
    Discussion Paper: 2014/06 Efficiency Gains by Modifying GMM Estimation in Linear Models under Heteroskedasticity Jan F. Kiviet and Qu Feng www.ase.uva.nl/uva-econometrics Amsterdam School of Economics Department of Economics & Econometrics Valckenierstraat 65-67 1018 XE AMSTERDAM The Netherlands E¢ ciency Gains by Modifying GMM Estimation in Linear Models under Heteroskedasticity Jan F. Kiviet and Qu Fengy Version of 1 May, 2016z JEL-code: C01, C13, C26. Keywords: e¢ ciency, generalized method of moments, instrument strength, heteroskedasticity, conditional moment assumptions Abstract While coping with nonsphericality of the disturbances, standard GMM su¤ers from a blind spot for exploiting the most e¤ective instruments when these are ob- tained directly from unconditional rather than conditional moment assumptions. For instance, standard GMM counteracts that exogenous regressors are used as their own optimal instruments. This is easily seen after transmuting GMM for linear models into IV in terms of transformed variables. It is demonstrated that modi…ed GMM (MGMM), exploiting straight-forward modi…cations of the instru- ments, can achieve substantial e¢ ciency gains and bias reductions, even under mild heteroskedasticity. A feasible MGMM implementation and its standard error estimates are examined and compared with standard GMM and IV for a range of typical models for cross-section data, both by simulation and by empirical illus- tration. Emeritus Professor of Econometrics, Amsterdam School of Economics, University of Amsterdam, PO Box 15867, 1001 NJ Amsterdam, The Netherlands ([email protected]). This paper was written while I was enjoying hospitality as Visting Professor at the Division of Economics, School of Humanities and Social Sciences, Nanyang Technological University, Singapore.
    [Show full text]
  • Sparse Models and Methods for Optimal Instruments with an Application to Eminent Domain
    Sparse Models and Methods for Optimal Instruments With an Application to Eminent Domain The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Belloni, A. et al. “Sparse Models and Methods for Optimal Instruments With an Application to Eminent Domain.” Econometrica 80.6 (2012): 2369–2429. As Published http://dx.doi.org/10.3982/ecta9626 Publisher Econometric Society Version Author's final manuscript Citable link http://hdl.handle.net/1721.1/82627 Terms of Use Creative Commons Attribution-Noncommercial-Share Alike 3.0 Detailed Terms http://creativecommons.org/licenses/by-nc-sa/3.0/ SPARSE MODELS AND METHODS FOR OPTIMAL INSTRUMENTS WITH AN APPLICATION TO EMINENT DOMAIN A. BELLONI, D. CHEN, V. CHERNOZHUKOV, AND C. HANSEN Abstract. We develop results for the use of Lasso and Post-Lasso methods to form first-stage predictions and estimate optimal instruments in linear instrumental variables (IV) models with many instruments, p. Our results apply even when p is much larger than the sample size, n. We show that the IV estimator based on using Lasso or Post-Lasso in the first stage is root-n consistent and asymptotically normal when the first-stage is approximately sparse; i.e. when the conditional expectation of the endogenous variables given the instruments can be well- approximated by a relatively small set of variables whose identities may be unknown. We also show the estimator is semi-parametrically efficient when the structural error is homoscedastic. Notably our results allow for imperfect model selection, and do not rely upon the unrealistic "beta-min" conditions that are widely used to establish validity of inference following model selection.
    [Show full text]
  • Strengthening Weak Instruments by Modeling Compliance∗
    Strengthening Weak Instruments by Modeling Compliance∗ Marc Ratkovicy Yuki Shiraitoz November 25, 2014 Abstract Instrumental variable estimation is a long-established means of reducing endogeneity bias in regression coefficients. Researchers commonly confront two problems when conducting an IV analysis: the instrument may be only weakly predictive of the endogenous variable, and the estimates are valid only for observations that comply with the instrument. We introduce Complier Instrumental Variable (CIV) estimation, a method for estimating who complies with the instrument. CIV uses these compliance probabilities to strengthen the instrument through up-weighting estimated compliers. As compliance is latent, we model each observation's density as a mixture between that of a complier and a non-complier. We derive a Gibbs sampler and Expectation Conditional Maximization algorithm for estimating the CIV model. A set of simulations shows that CIV performs favorably relative to several existing alternative methods, particularly in the presence of small sample sizes and weak instruments. We then illustrate CIV on data from a prominent study estimating the effect of property rights on growth. We show how CIV can strengthen the instrument and generate more reliable results. We also show how characterizing the compliers can help cast insight into the underlying political dynamic. ∗We thank Kosuke Imai, John Londregan, Luke Keele, Jacob Montgomery, Scott Abramson, Michael Barber, Graeme Blair, Kentaro Hirose, In Song Kim, Alex Ruder, Carlos Velasco Rivera, Jaquilyn Waddell Boie, Meredith Wilf, and participants of Princeton Political Methodology Seminar for useful comments. yAssistant Professor, Department of Politics, Princeton University, Princeton NJ 08544. Phone: 608{658{9665, Email: [email protected], URL: http://www.princeton.edu/∼ratkovic zPh.D.
    [Show full text]
  • Valid Post-Selection and Post-Regularization Inference: an Elementary, General Approach
    Valid Post-Selection and Post-Regularization Inference: An Elementary, General Approach VICTOR CHERNOZHUKOV, CHRISTIAN HANSEN, AND MARTIN SPINDLER Abstract. We present an expository, general analysis of valid post-selection or post-regularization inference about a low-dimensional target parameter in the presence of a very high-dimensional nuisance parameter that is estimated using selection or regularization methods. Our analysis provides a set of high-level conditions under which inference for the low-dimensional parameter based on testing or point estimation methods will be regular despite selection or regularization biases occurring in the estimation of the high-dimensional nuisance parameter. The results may be applied to establish uniform validity of post-selection or post-regularization inference procedures for low-dimensional target parameters over large classes of models. The high-level conditions allow one to clearly see the types of structure needed to achieve valid post-regularization inference and encompass many existing results. A key element of the structure we employ and discuss in detail is the use of so-called orthogonal or \immunized" estimating equations that are locally insensitive to small mistakes in estimation of the high-dimensional nuisance parameter. As an illustration, we use the high-level conditions to provide readily verifiable sufficient conditions for a class of affine-quadratic models that include the usual linear model and linear instrumental variables model as special cases. As a further application and illustration, we use these results to provide an analysis of post-selection inference in a linear instrumental variables model with many regressors and many instruments. We conclude with a review of other developments in post- selection inference and note that many of the developments can be viewed as special cases of the general encompassing framework of orthogonal estimating equations provided in this paper.
    [Show full text]
  • Demand Estimation with High-Dimensional Product Characteristics
    DEMAND ESTIMATION WITH HIGH-DIMENSIONAL PRODUCT CHARACTERISTICS Benjamin J. Gillena, Matthew Shuma and Hyungsik Roger Moonb aDepartment of Economics, California Institute of Technology, Pasadena, CA, USA b Department of Economics, University of SouthernPublishing California, LA, USA ABSTRACT Group Structural models of demand founded on the classic work of Berry, Levinsohn, and Pakes (1995) link variation in aggregate market shares for a product to the influence of product attributes on heterogeneous con- sumer tastes. We consider implementing these models in settings with complicated productsEmerald where consumer preferences for product attributes are sparse, that is, where a small proportion of a high-dimensional pro- duct characteristics(C) influence consumer tastes. We propose a multistep estimator to efficiently perform uniform inference. Our estimator employs a penalized pre-estimation model specification stage to consis- tently estimate nonlinear features of the BLP model. We then perform selection via a Triple-LASSO for explanatory controls, treatment Bayesian Model Comparison Advances in Econometrics, Volume 34, 301À323 Copyright r 2014 by Emerald Group Publishing Limited All rights of reproduction in any form reserved ISSN: 0731-9053/doi:10.1108/S0731-905320140000034020 301 302 BENJAMIN J. GILLEN ET AL. selection controls, and instrument selection. After selecting variables, we use an unpenalized GMM estimator for inference. Monte Carlo simula- tions verify the performance of these estimators. Keywords: BLP demand model; high-dimensional
    [Show full text]
  • GMM Estimation and Testing
    GMM Estimation and Testing Whitney Newey October 2007 Cite as: Whitney Newey, course materials for 14.385 Nonlinear Econometric Analysis, Fall 2007. MIT OpenCourseWare (http://ocw.mit.edu), Massachusetts Institute of Technology. Downloaded on [DD Month YYYY]. Idea: Estimate parameters by setting sample moments to be close to population counterpart. Definitions: β : p 1 parameter vector, with true value β . × 0 g (β)=g (w ,β):m 1 vector of functions of ith data observation w and paramet i i × i Model (or moment restriction): E[gi(β0)] = 0. Definitions: n def gˆ(β) = gi(β)/n : Sample averages. iX=1 Aˆ : m m positive semi-definite matrix. × GMM ESTIMATOR: ˆ β =argmingˆ(β)0Aˆgˆ(β). β Cite as: Whitney Newey, course materials for 14.385 Nonlinear Econometric Analysis, Fall 2007. MIT OpenCourseWare (http://ocw.mit.edu), Massachusetts Institute of Technology. Downloaded on [DD Month YYYY]. GMM ESTIMATOR: ˆ β =argmingˆ(β)0Aˆgˆ(β). β Interpretation: Choosing βˆ so sample moments are close to zero. For g = g Agˆ , same as minimizing gˆ(β) 0 . k kAˆ 0 k − kAˆ q When m = p,theβ ˆ with gˆ(βˆ)=0will be the GMM estimator for any Aˆ When m>p then Aˆ matters. Methodo f MomentsisSpecial Case: j Moments : E[y ]=hj(β0), (1 j p), ≤ ≤p Specify moment functions : g (β)=(y h1(β),...,y hp(β)) , i i − i − 0 Estimator :ˆg(βˆ)=0same as yj = h (βˆ), (1 j p). j ≤ ≤ Cite as: Whitney Newey, course materials for 14.385 Nonlinear Econometric Analysis, Fall 2007. MIT OpenCourseWare (http://ocw.mit.edu), Massachusetts Institute of Technology.
    [Show full text]
  • Nber Working Paper Series Identification And
    NBER WORKING PAPER SERIES IDENTIFICATION AND INFERENCE WITH MANY INVALID INSTRUMENTS Michal Kolesár Raj Chetty John N. Friedman Edward L. Glaeser Guido W. Imbens Working Paper 17519 http://www.nber.org/papers/w17519 NATIONAL BUREAU OF ECONOMIC RESEARCH 1050 Massachusetts Avenue Cambridge, MA 02138 October 2011 We thank the National Science Foundation for financial support. The views expressed herein are those of the authors and do not necessarily reflect the views of the National Bureau of Economic Research. NBER working papers are circulated for discussion and comment purposes. They have not been peer- reviewed or been subject to the review by the NBER Board of Directors that accompanies official NBER publications. © 2011 by Michal Kolesár, Raj Chetty, John N. Friedman, Edward L. Glaeser, and Guido W. Imbens. All rights reserved. Short sections of text, not to exceed two paragraphs, may be quoted without explicit permission provided that full credit, including © notice, is given to the source. Identification and Inference with Many Invalid Instruments Michal Kolesár, Raj Chetty, John N. Friedman, Edward L. Glaeser, and Guido W. Imbens NBER Working Paper No. 17519 October 2011 JEL No. C01,C2,C26,C36 ABSTRACT We analyze linear models with a single endogenous regressor in the presence of many instrumental variables. We weaken a key assumption typically made in this literature by allowing all the instruments to have direct effects on the outcome. We consider restrictions on these direct effects that allow for point identification of the effect of interest. The setup leads to new insights concerning the properties of conventional estimators, novel identification strategies, and new estimators to exploit those strategies.
    [Show full text]
  • Identification and Inference with Many Invalid Instruments
    Identification and Inference with Many Invalid Instruments∗ Michal Koles´ary Raj Chettyz John Friedmanx Edward Glaeser{ Guido W. Imbensk September 2014 Abstract We study estimation and inference in settings where the interest is in the effect of a po- tentially endogenous regressor on some outcome. To address the endogeneity we exploit the presence of additional variables. Like conventional instrumental variables, these variables are correlated with the endogenous regressor. However, unlike conventional instrumental variables, they also have direct effects on the outcome, and thus are \invalid" instruments. Our novel identifying assumption is that the direct effects of these invalid instruments are uncorrelated with the effects of the instruments on the endogenous regressor. We show that in this case the limited-information-maximum-likelihood (liml) estimator is no longer consistent, but that a modification of the bias-corrected two-stage-least-squares (tsls) estimator is consistent. We also show that conventional tests for over-identifying restrictions, adapted to the many instruments setting, can be used to test for the presence of these direct effects. We recommend that empirical researchers carry out such tests and compare estimates based on liml and the modified version of bias-corrected tsls. We illustrate in the context of two applications that such practice can be illuminating, and that our novel identifying assumption has substantive empirical content. Keywords: Instrumental Variables, Misspecification, Many Instruments, Two-Stage-Least- Squares, Limited-Information-Maximum-Likelihood. ∗Financial support for this research was generously provided through NSF grants 0820361 and 0961707. We are grateful for comments by participants in the econometrics lunch seminar at Harvard University, the Harvard-MIT Econometrics seminar, the NBER 2011 Summer Institute, the Oslo 2011 Econometric Society meeting, and in particular for discussions with Gary Chamberlain and Jim Stock, and comments by Caroline Hoxby and Tiemen Woutersen.
    [Show full text]
  • Two-Step Estimation, Optimal Moment Conditions, and Sample Selection Models
    HB31 DEWEY .M415 working paper department of economics TWO-STEP ESTIMATION, OPTIMAL MOMENT CONDITIONS, AND SAMPLE SELECTION MODELS Whitney K. Newey James L. Powell No. 99-06 February, 1999 massachusetts institute of technology 50 memorial drive Cambridge, mass. 02139 WORKING PAPER DEPARTMENT OF ECONOMICS TWO-STEP ESTIMATION, OPTIMAL MOMENT CONDITIONS, AND SAMPLE SELECTION MODELS Whitney K. Newey James L. Powell No. 99-06 February, 1999 MASSACHUSETTS INSTITUTE OF TECHNOLOGY 50 MEMORIAL DRIVE CAMBRIDGE, MASS. 02142 TWO-STEP ESTIMATION, OPTIMAL MOMENT CONDITIONS, AND SAMPLE SELECTION MODELS by Whitney K. Newey Department of Economics MIT and James L. Powell Department of Economics UC Berkeley January, 1992 Revised, December 1998 Abstract: Two step estimators with a nonparametric first step are important, particularly for sample selection models where the first step is estimation of the propensity score. In this paper we consider the efficiency of such estimators. We characterize the efficient moment condition for a given first step nonparametric estimator. We also show how it is possible to approximately attain efficiency by combining many moment conditions. In addition we find that the efficient moment condition often leads to an estimator that attains the semiparametric efficiency bound. As illustrations we consider models with expectations and semiparametric minimum distance estimation. JEL Classification: CIO, C21 Keywords: Efficiency, Two-Step Estimation, Sample Selection Models, Semiparametric Estimation, Department of Economics, MIT, Cambridge, MA 02139; (617) 253-6420 (Work); (617) 253-1330 (Fax); [email protected] (email). The NSF provided financial support for the research for this project. Digitized by the Internet Archive in 2011 with funding from Boston Library Consortium Member Libraries http://www.archive.org/details/twostepestimatioOOnewe 1.
    [Show full text]
  • GENERALIZED METHOD of MOMENTS Whitney K
    GENERALIZED METHOD OF MOMENTS Whitney K. Newey MIT October 2007 THE GMM ESTIMATOR: The idea is to choose estimates of the parameters by setting sample moments to be close to population counterparts. To describe the underlying moment model and the GMM estimator, let β denote a p 1 parameter vector, × wi a data observation with i =1, ..., n, where n is the sample size. Let gi(β)=g (wi,β) be a m 1 vector of functions of the data and parameters. The GMM estimator is based × on a model where, for the true parameter value β0 the moment conditions E[gi(β0)] = 0 are satisfied. The estimator is formed by choosing β so that the sample average of gi(β)isc loset o its zero population value. Let n def 1 gˆ(β) = gi(β) n i=1 X denote the sample average of gi(β). Let Aˆ denote an m m positive semi-definite matrix. × The GMM estimator is given by βˆ =argm ingˆ(β)0Aˆgˆ(β). β That is βˆ is the parameter vector that minimizes the quadratic form gˆ(β)0Aˆgˆ(β). The GMM estimator chooses βˆ so thesampleaverageg ˆ(β) is close to zero. To see ˆ ˆ this let g A ˆ = g0Ag,whichi sa w elld efined norm as long as A is positive definite. k k q Then since taking the square root is a strictly monotonic transformation, and since the minimand of a function does not change after it is transformed, we also have βˆ =argm in gˆ(β) 0 ˆ.
    [Show full text]