3D Rotations: Parameter Computation and Lie Algebra based Optimization

Description

3D rotation analysis is widely encountered in everyday problems thanks to the development of computers. Sensing 3D using cameras and sensors, analyzing and modeling 3D for computer vision and computer graphics, and controlling and simulating robot motion all require 3D rotation computation. This book focuses on the computational analysis of 3D rotation, rather than classical motion analysis. It regards noise as random variables and models their probability distributions. It also pursues statistically optimal computation for maximizing the expected accuracy, as is typical of nonlinear optimization. All concepts are illustrated using computer vision applications as examples. Mathematically, the set of all 3D rotations forms a group denoted by SO(3). Exploiting this group property, we obtain an optimal solution analytical or numerically, depending on the problem. Our numerical scheme, which we call the "Lie algebra method," is based on the Lie group structure of SO(3). This book also proposes computing projects for readers who want to code the theories presented in this book, describing necessary 3D simulation setting as well as providing real GPS 3D measurement data. To help readers not very familiar with abstract mathematics, a brief overview of quaternion algebra, matrix analysis, Lie groups, and Lie algebras is provided as Appendix at the end of the volume. Cover Half Title Title Page Copyright Page Contents Preface Chapter 1: Introduction 1.1 3D ROTATIONS 1.2 ESTIMATION OF ROTATION 1.3 DERIVATIVE-BASED OPTIMIZATION 1.4 RELIABILITY EVALUATION OF ROTATION COMPUTATION 1.5 COMPUTING PROJECTS 1.6 RELATED TOPICS OF MATHEMATICS Chapter 2: Geometry of Rotation 2.1 3D ROTATION 2.2 ORTHOGONAL MATRICES AND ROTATION MATRICES 2.3 EULER’S THEOREM 2.4 AXIAL ROTATIONS 2.5 SUPPLEMENTAL NOTE 2.6 EXERCISES Chapter 3: Parameters of Rotation 3.1 ROLL, PITCH, YAW 3.2 COORDINATE SYSTEM ROTATION 3.3 EULER ANGLES 3.4 RODRIGUES FORMULA 3.5 QUATERNION REPRESENTATION 3.6 SUPPLEMENTAL NOTES 3.7 EXERCISES Chapter 4: Estimation of Rotation I: Isotropic Noise 4.1 ESTIMATING ROTATION 4.2 LEAST SQUARES AND MAXIMUM LIKELIHOOD 4.3 SOLUTION BY SINGULAR VALUE DECOMPOSITION 4.4 SOLUTION BY QUATERNION REPRESENTATION 4.5 OPTIMAL CORRECTION OF ROTATION 4.6 SUPPLEMENTAL NOTE 4.7 EXERCISES Chapter 5: Estimation of Rotation II: Anisotropic Noise 5.1 ANISOTROPIC GAUSSIAN DISTRIBUTIONS 5.2 ROTATION ESTIMATION BY MAXIMUM LIKELIHOOD 5.3 ROTATION ESTIMATION BY QUATERNION REPRESENTATION 5.4 OPTIMIZATION BY FNS 5.5 METHOD OF HOMOGENEOUS CONSTRAINTS 5.6 SUPPLEMENTAL NOTE 5.7 EXERCISES Chapter 6: Derivative-based Optimization: Lie Algebra Method 6.1 DERIVATIVE-BASED OPTIMIZATION 6.2 SMALL ROTATIONS AND ANGULAR VELOCITY 6.3 EXPONENTIAL EXPRESSION OF ROTATION 6.4 LIE ALGEBRA OF INFINITESIMAL ROTATIONS 6.5 OPTIMIZATION OF ROTATION 6.6 ROTATION ESTIMATION BY MAXIMUM LIKELIHOOD 6.7 FUNDAMENTAL MATRIX COMPUTATION 6.8 BUNDLE ADJUSTMENT 6.9 SUPPLEMENTAL NOTES 6.10 EXERCISES Chapter 7: Reliability of Rotation Computation 7.1 ERROR EVALUATION FOR ROTATION 7.2 ACCURACY OF MAXIMUM LIKELIHOOD 7.3 THEORETICAL ACCURACY BOUND 7.4 KCR LOWER BOUND 7.5 SUPPLEMENTAL NOTES 7.6 EXERCISES Chapter 8: Computing Projects 8.1 STEREO VISION EXPERIMENT 8.2 OPTIMAL CORRECTION OF STEREO IMAGES 8.3 TRIANGULATION OF STEREO IMAGES 8.4 COVARIANCE EVALUATION OF STEREO RECONSTRUCTION 8.5 LAND MOVEMENT COMPUTATION USING REAL GPS DATA 8.6 SUPPLEMENTAL NOTES 8.7 EXERCISES Appendix A: Hamilton’s Quaternion Algebra A.1 QUATERNIONS A.2 QUATERNION ALGEBRA A.3 CONJUGATE, NORM, AND INVERSE A.4 QUATERNION REPRESENTATION OF ROTATIONS A.5 COMPOSITION OF ROTATIONS A.6 TOPOLOGY OF ROTATIONS A.7 INFINITESIMAL ROTATIONS A.8 REPRESENTATION OF GROUP OF ROTATIONS A.9 STEREOGRAPHIC PROJECTION Appendix B: Topics of Linear Algebra B.1 LINEAR MAPPING AND BASIS B.2 PROJECTION MATRICES B.3 PROJECTION ONTO A LINE AND A PLANE B.4 EIGENVALUES AND SINGULAR VALUE DECOMPOSITION B.5 MATRIX REPRESENTATION OF SPECTRAL DECOMPOSITION B.6 SINGULAR VALUES AND SINGULAR VALUE DECOMPOSITION B.7 COLUMN AND ROW DOMAINS Appendix C: Lie Groups and Lie Algebras C.1 GROUPS C.2 MAPPINGS AND GROUPS OF TRANSFORMATION C.3 TOPOLOGY C.4 MAPPINGS OF TOPOLOGICAL SPACES C.5 MANIFOLDS C.6 LIE GROUPS C.7 LIE ALGEBRAS C.8 LIE ALGEBRAS OF LIE GROUPS Answers Bibliography Index