Domain Decomposition for Stochastic Optimal Control

This work proposes a method for solving linear stochastic optimal control (SOC) problems using sum of squares and semidefinite programming. Previous work had used polynomial optimization to approximate the value function, requiring a high polynomial degree to capture local phenomena. To improve the scalability of the method to problems of interest, a domain decomposition scheme is presented. By using local approximations, lower degree polynomials become sufficient, and both local and global properties of the value function are captured. The domain of the problem is split into a non-overlapping partition, with added constraints ensuring $C^1$ continuity. The Alternating Direction Method of Multipliers (ADMM) is used to optimize over each domain in parallel and ensure convergence on the boundaries of the partitions. This results in improved conditioning of the problem and allows for much larger and more complex problems to be addressed with improved performance.Comment: 8 pages. Accepted to CDC 201

Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation

We consider the problem of certifying an inequality of the form $f(x)\geq 0$, $\forall x\in K$, where $f$ is a multivariate transcendental function, and $K$ is a compact semialgebraic set. We introduce a certification method, combining semialgebraic optimization and max-plus approximation. We assume that $f$ is given by a syntaxic tree, the constituents of which involve semialgebraic operations as well as some transcendental functions like $\cos$, $\sin$, $\exp$, etc. We bound some of these constituents by suprema or infima of quadratic forms (max-plus approximation method, initially introduced in optimal control), leading to semialgebraic optimization problems which we solve by semidefinite relaxations. The max-plus approximation is iteratively refined and combined with branch and bound techniques to reduce the relaxation gap. Illustrative examples of application of this algorithm are provided, explaining how we solved tight inequalities issued from the Flyspeck project (one of the main purposes of which is to certify numerical inequalities used in the proof of the Kepler conjecture by Thomas Hales).Comment: 7 pages, 3 figures, 3 tables, Appears in the Proceedings of the European Control Conference ECC'13, July 17-19, 2013, Zurich, pp. 2244--2250, copyright EUCA 201

Moment Restriction-based Econometric Methods: An Overview

Moment restriction-based econometric modelling is a broad class which includes the parametric, semiparametric and nonparametric approaches. Moments and conditional moments themselves are nonparametric quantities. If a model is specified in part up to some finite dimensional parameters, this will provide semiparametric estimates or tests. If we use the score to construct moment restrictions to estimate finite dimensional parameters, this yields maximum likelihood (ML) estimates. Semiparametric or nonparametric settings based on moment restrictions have been the main concern in the literature, and comprise the most important and interesting topics. The purpose of this special issue on “Moment Restriction-based Econometric Methods†is to highlight some areas in which novel econometric methods have contributed significantly to the analysis of moment restrictions, specifically asymptotic theory for nonparametric regression with spatial data, a control variate method for stationary processes, method of moments estimation and identifiability of semiparametric nonlinear errors-in-variables models, properties of the CUE estimator and a modification with moments, finite sample properties of alternative estimators of coefficients in a structural equation with many instruments, instrumental variable estimation in the presence of many moment conditions, estimation of conditional moment restrictions without assuming parameter identifiability in the implied unconditional moments, moment-based estimation of smooth transition regression models with endogenous variables, a consistent nonparametric test for nonlinear causality, and linear programming-based estimators in simple linear regression.robustness;testing;estimation;model misspecification;moment restrictions;parametric;semiparametric and nonparametric methods

Moment Restriction-based Econometric Methods: An Overview

Moment restriction-based econometric modelling is a broad class which includes the parametric, semiparametric and nonparametric approaches. Moments and conditional moments themselves are nonparametric quantities. If a model is specified in part up to some finite dimensional parameters, this will provide semiparametric estimates or tests. If we use the score to construct moment restrictions to estimate finite dimensional parameters, this yields maximum likelihood (ML) estimates. Semiparametric or nonparametric settings based on moment restrictions have been the main concern in the literature, and comprise the most important and interesting topics. The purpose of this special issue on “Moment Restriction-based Econometric Methods” is to highlight some areas in which novel econometric methods have contributed significantly to the analysis of moment restrictions, specifically asymptotic theory for nonparametric regression with spatial data, a control variate method for stationary processes, method of moments estimation and identifiability of semiparametric nonlinear errors-in-variables models, properties of the CUE estimator and a modification with moments, finite sample properties of alternative estimators of coefficients in a structural equation with many instruments, instrumental variable estimation in the presence of many moment conditions, estimation of conditional moment restrictions without assuming parameter identifiability in the implied unconditional moments, moment-based estimation of smooth transition regression models with endogenous variables, a consistent nonparametric test for nonlinear causality, and linear programming-based estimators in simple linear regression.Moment restrictions; Parametric; semiparametric and nonparametric methods; Estimation; Testing; Robustness; Model misspecification