Geometric Image Transformations
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
EXAM QUESTIONS (Part Two)
Created by T. Madas MATRICES EXAM QUESTIONS (Part Two) Created by T. Madas Created by T. Madas Question 1 (**) Find the eigenvalues and the corresponding eigenvectors of the following 2× 2 matrix. 7 6 A = . 6 2 2 3 λ= −2, u = α , λ=11, u = β −3 2 Question 2 (**) A transformation in three dimensional space is defined by the following 3× 3 matrix, where x is a scalar constant. 2− 2 4 C =5x − 2 2 . −1 3 x Show that C is non singular for all values of x . FP1-N , proof Created by T. Madas Created by T. Madas Question 3 (**) The 2× 2 matrix A is given below. 1 8 A = . 8− 11 a) Find the eigenvalues of A . b) Determine an eigenvector for each of the corresponding eigenvalues of A . c) Find a 2× 2 matrix P , so that λ1 0 PT AP = , 0 λ2 where λ1 and λ2 are the eigenvalues of A , with λ1< λ 2 . 1 2 1 2 5 5 λ1= −15, λ 2 = 5 , u= , v = , P = − 2 1 − 2 1 5 5 Created by T. Madas Created by T. Madas Question 4 (**) Describe fully the transformation given by the following 3× 3 matrix. 0.28− 0.96 0 0.96 0.28 0 . 0 0 1 rotation in the z axis, anticlockwise, by arcsin() 0.96 Question 5 (**) A transformation in three dimensional space is defined by the following 3× 3 matrix, where k is a scalar constant. 1− 2 k A = k 2 0 . 2 3 1 Show that the transformation defined by A can be inverted for all values of k . -
Efficient Learning of Simplices
Efficient Learning of Simplices Joseph Anderson Navin Goyal Computer Science and Engineering Microsoft Research India Ohio State University [email protected] [email protected] Luis Rademacher Computer Science and Engineering Ohio State University [email protected] Abstract We show an efficient algorithm for the following problem: Given uniformly random points from an arbitrary n-dimensional simplex, estimate the simplex. The size of the sample and the number of arithmetic operations of our algorithm are polynomial in n. This answers a question of Frieze, Jerrum and Kannan [FJK96]. Our result can also be interpreted as efficiently learning the intersection of n + 1 half-spaces in Rn in the model where the intersection is bounded and we are given polynomially many uniform samples from it. Our proof uses the local search technique from Independent Component Analysis (ICA), also used by [FJK96]. Unlike these previous algorithms, which were based on analyzing the fourth moment, ours is based on the third moment. We also show a direct connection between the problem of learning a simplex and ICA: a simple randomized reduction to ICA from the problem of learning a simplex. The connection is based on a known representation of the uniform measure on a sim- plex. Similar representations lead to a reduction from the problem of learning an affine arXiv:1211.2227v3 [cs.LG] 6 Jun 2013 transformation of an n-dimensional ℓp ball to ICA. 1 Introduction We are given uniformly random samples from an unknown convex body in Rn, how many samples are needed to approximately reconstruct the body? It seems intuitively clear, at least for n = 2, 3, that if we are given sufficiently many such samples then we can reconstruct (or learn) the body with very little error. -
Two-Dimensional Geometric Transformations
Two-Dimensional Geometric Transformations 1 Basic Two-Dimensional Geometric Transformations 2 Matrix Representations and Homogeneous Coordinates 3 Inverse Transformations 4 Two-Dimensional Composite Transformations 5 Other Two-Dimensional Transformations 6 Raster Methods for Geometric Transformations 7 OpenGL Raster Transformations 8 Transformations between Two-Dimensional Coordinate Systems 9 OpenGL Functions for Two-Dimensional Geometric Transformations 10 OpenGL Geometric-Transformation o far, we have seen how we can describe a scene in Programming Examples S 11 Summary terms of graphics primitives, such as line segments and fill areas, and the attributes associated with these primitives. Also, we have explored the scan-line algorithms for displaying output primitives on a raster device. Now, we take a look at transformation operations that we can apply to objects to reposition or resize them. These operations are also used in the viewing routines that convert a world-coordinate scene description to a display for an output device. In addition, they are used in a variety of other applications, such as computer-aided design (CAD) and computer animation. An architect, for example, creates a layout by arranging the orientation and size of the component parts of a design, and a computer animator develops a video sequence by moving the “camera” position or the objects in a scene along specified paths. Operations that are applied to the geometric description of an object to change its position, orientation, or size are called geometric transformations. Sometimes geometric transformations are also referred to as modeling transformations, but some graphics packages make a From Chapter 7 of Computer Graphics with OpenGL®, Fourth Edition, Donald Hearn, M. -
Feature Matching and Heat Flow in Centro-Affine Geometry
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 16 (2020), 093, 22 pages Feature Matching and Heat Flow in Centro-Affine Geometry Peter J. OLVER y, Changzheng QU z and Yun YANG x y School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA E-mail: [email protected] URL: http://www.math.umn.edu/~olver/ z School of Mathematics and Statistics, Ningbo University, Ningbo 315211, P.R. China E-mail: [email protected] x Department of Mathematics, Northeastern University, Shenyang, 110819, P.R. China E-mail: [email protected] Received April 02, 2020, in final form September 14, 2020; Published online September 29, 2020 https://doi.org/10.3842/SIGMA.2020.093 Abstract. In this paper, we study the differential invariants and the invariant heat flow in centro-affine geometry, proving that the latter is equivalent to the inviscid Burgers' equa- tion. Furthermore, we apply the centro-affine invariants to develop an invariant algorithm to match features of objects appearing in images. We show that the resulting algorithm com- pares favorably with the widely applied scale-invariant feature transform (SIFT), speeded up robust features (SURF), and affine-SIFT (ASIFT) methods. Key words: centro-affine geometry; equivariant moving frames; heat flow; inviscid Burgers' equation; differential invariant; edge matching 2020 Mathematics Subject Classification: 53A15; 53A55 1 Introduction The main objective in this paper is to study differential invariants and invariant curve flows { in particular the heat flow { in centro-affine geometry. In addition, we will present some basic applications to feature matching in camera images of three-dimensional objects, comparing our method with other popular algorithms. -
Geometric Transformation Techniques for Digital I~Iages: a Survey
GEOMETRIC TRANSFORMATION TECHNIQUES FOR DIGITAL I~IAGES: A SURVEY George Walberg Department of Computer Science Columbia University New York, NY 10027 [email protected] December 1988 Technical Report CUCS-390-88 ABSTRACT This survey presents a wide collection of algorithms for the geometric transformation of digital images. Efficient image transformation algorithms are critically important to the remote sensing, medical imaging, computer vision, and computer graphics communities. We review the growth of this field and compare all the described algorithms. Since this subject is interdisci plinary, emphasis is placed on the unification of the terminology, motivation, and contributions of each technique to yield a single coherent framework. This paper attempts to serve a dual role as a survey and a tutorial. It is comprehensive in scope and detailed in style. The primary focus centers on the three components that comprise all geometric transformations: spatial transformations, resampling, and antialiasing. In addition, considerable attention is directed to the dramatic progress made in the development of separable algorithms. The text is supplemented with numerous examples and an extensive bibliography. This work was supponed in part by NSF grant CDR-84-21402. 6.5.1 Pyramids 68 6.5.2 Summed-Area Tables 70 6.6 FREQUENCY CLAMPING 71 6.7 ANTIALIASED LINES AND TEXT 71 6.8 DISCUSSION 72 SECTION 7 SEPARABLE GEOMETRIC TRANSFORMATION ALGORITHMS 7.1 INTRODUCTION 73 7.1.1 Forward Mapping 73 7.1.2 Inverse Mapping 73 7.1.3 Separable Mapping 74 7.2 2-PASS TRANSFORMS 75 7.2.1 Catmull and Smith, 1980 75 7.2.1.1 First Pass 75 7.2.1.2 Second Pass 75 7.2.1.3 2-Pass Algorithm 77 7.2.1.4 An Example: Rotation 77 7.2.1.5 Bottleneck Problem 78 7.2.1.6 Foldover Problem 79 7.2.2 Fraser, Schowengerdt, and Briggs, 1985 80 7.2.3 Fant, 1986 81 7.2.4 Smith, 1987 82 7.3 ROTATION 83 7.3.1 Braccini and Marino, 1980 83 7.3.2 Weiman, 1980 84 7.3.3 Paeth, 1986/ Tanaka. -
Paraperspective ≡ Affine
International Journal of Computer Vision, 19(2): 169–180, 1996. Paraperspective ´ Affine Ronen Basri Dept. of Applied Math The Weizmann Institute of Science Rehovot 76100, Israel [email protected] Abstract It is shown that the set of all paraperspective images with arbitrary reference point and the set of all affine images of a 3-D object are identical. Consequently, all uncali- brated paraperspective images of an object can be constructed from a 3-D model of the object by applying an affine transformation to the model, and every affine image of the object represents some uncalibrated paraperspective image of the object. It follows that the paraperspective images of an object can be expressed as linear combinations of any two non-degenerate images of the object. When the image position of the reference point is given the parameters of the affine transformation (and, likewise, the coefficients of the linear combinations) satisfy two quadratic constraints. Conversely, when the values of parameters are given the image position of the reference point is determined by solving a bi-quadratic equation. Key words: affine transformations, calibration, linear combinations, paraperspective projec- tion, 3-D object recognition. 1 Introduction It is shown below that given an object O ½ R3, the set of all images of O obtained by applying a rigid transformation followed by a paraperspective projection with arbitrary reference point and the set of all images of O obtained by applying a 3-D affine transformation followed by an orthographic projection are identical. Consequently, all paraperspective images of an object can be constructed from a 3-D model of the object by applying an affine transformation to the model, and every affine image of the object represents some paraperspective image of the object. -
Transformation Groups in Non-Riemannian Geometry Charles Frances
Transformation groups in non-Riemannian geometry Charles Frances To cite this version: Charles Frances. Transformation groups in non-Riemannian geometry. Sophus Lie and Felix Klein: The Erlangen Program and Its Impact in Mathematics and Physics, European Mathematical Society Publishing House, pp.191-216, 2015, 10.4171/148-1/7. hal-03195050 HAL Id: hal-03195050 https://hal.archives-ouvertes.fr/hal-03195050 Submitted on 10 Apr 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Transformation groups in non-Riemannian geometry Charles Frances Laboratoire de Math´ematiques,Universit´eParis-Sud 91405 ORSAY Cedex, France email: [email protected] 2000 Mathematics Subject Classification: 22F50, 53C05, 53C10, 53C50. Keywords: Transformation groups, rigid geometric structures, Cartan geometries. Contents 1 Introduction . 2 2 Rigid geometric structures . 5 2.1 Cartan geometries . 5 2.1.1 Classical examples of Cartan geometries . 7 2.1.2 Rigidity of Cartan geometries . 8 2.2 G-structures . 9 3 The conformal group of a Riemannian manifold . 12 3.1 The theorem of Obata and Ferrand . 12 3.2 Ideas of the proof of the Ferrand-Obata theorem . 13 3.3 Generalizations to rank one parabolic geometries . -
Geometric Transformation of Finite Element Methods: Theory and Applications
GEOMETRIC TRANSFORMATION OF FINITE ELEMENT METHODS: THEORY AND APPLICATIONS MICHAEL HOLST AND MARTIN LICHT Abstract. We present a new technique to apply finite element methods to partial differential equations over curved domains. A change of variables along a coordinate transformation satisfying only low regularity assumptions can translate a Poisson problem over a curved physical domain to a Poisson prob- lem over a polyhedral parametric domain. This greatly simplifies both the geo- metric setting and the practical implementation, at the cost of having globally rough non-trivial coefficients and data in the parametric Poisson problem. Our main result is that a recently developed broken Bramble-Hilbert lemma is key in harnessing regularity in the physical problem to prove higher-order finite el- ement convergence rates for the parametric problem. Numerical experiments are given which confirm the predictions of our theory. 1. Introduction The computational theory of partial differential equations has been in a paradoxi- cal situation from its very inception: partial differential equations over domains with curved boundaries are of theoretical and practical interest, but numerical methods are generally conceived only for polyhedral domains. Overcoming this geomet- ric gap continues to inspire much ongoing research in computational mathematics for treating partial differential equations with geometric features. Computational methods for partial differential equations over curved domains commonly adhere to the philosophy of approximating the physical domain of the partial differential equation by a parametric domain. We mention isoparametric finite element meth- ods [2], surface finite element methods [10, 8, 3], or isogeometric analysis [14] as examples, which describe the parametric domain by a polyhedral mesh whose cells are piecewise distorted to approximate the physical domain closely or exactly. -
MATH 9 HOMEWORK ASSIGNMENT GIVEN on FEBRUARY 3, 2019. CIRCLE INVERSION Circle Inversion Circle Inversion (Or Simply Inversion) I
MATH 9 HOMEWORK ASSIGNMENT GIVEN ON FEBRUARY 3, 2019. CIRCLE INVERSION Circle inversion Circle inversion (or simply inversion) is a geometric transformation of the plane. One can think of the inversion as of reflection with respect to a circle which is analogous to a reflection with respect to a straight line. See wikipedia article on Inversive geometry. Definition of inversion Definition. Given a circle S with the center at point O and having a radius R consider the transformation of the plane taking each point P to a point P 0 such that (i) the image P 0 belongs to a ray OP (ii) the distance jOP 0j satisfies jOP j · jOP 0j = R2. Remark. Strictly speaking the inversion is the transformation not of the whole plane but a plane without point O. The point O does not have an image. It is convenient to think of an “infinitely remote" point O0 added to a euclidian plane so that O and O0 are mapped to each other by the inversion. Basic properties of inversion We formulated and proved some basic properties of the inversion. The most important properties are that the inversion • maps circles and straight lines onto circles and straight lines • preserves angles These properties are stated as homework problems below. Try to prove them indepen- dently. In the following we denote the center of inversion as O, the circle of inversion as S and we use prime to denote the images of various objects under inversion. Classwork Problems The properties presented in problems 1-3 are almost obvious. -
Geometric Transformations
Chapter 4 Geometric transformations • geometric transformations deal with “moving pixels around” !Fig. 4.1 Fig. 4.1: Some examples for geometric transformations: Rotations, mirroring, distortion, map projection. – shift – rotation – scaling – other distortions • Note: pixels of a digital image must be in a regular (Cartesian, equidistant) grid – i.e., pixel coordinates must be integer 22 Chapter 4. Geometric transformations • BUT: transformation might cause pixels to end up in a different grid – non-integer pixel coordinates !Fig. 4.2 Fig. 4.2: Pixels of rotated image (red) are between the positions of the original pixels (blue) – in other words, they have non-integer pixel coordinates. ) interpolation needed to get new pixels in a new regular grid with integer coordinates ) Geometric transformation of digital images = two separate operations: 1. spatial transformation: rotation, shift, scaling etc. 2. grey-level interpolation: f (x;y) : input image (original image) g(x;y) : output image (resulting image after transformation) x,y: integers (pixel coordinates) g(x;y) = f (x0;y0) = f (a(x;y);b(x;y)) (4.1) i.e., x0 = a(x;y) (4.2) y0 = b(x;y) (4.3) 4.1 Grey level interpolation “Grey level” = pixel value There are two ways to solve the interpolation problem: 1. forward-mapping approach (pixel carry-over): V0.9.93, April 19, 2017 page 23 Melsheimer/Spreen Digital Image Processing Summer 2017 • if a pixel from input image f maps to non-integer coordinates (between four integer pixel positions): divide its grey-level among these four pixels !Fig. 4.3 Fig. 4.3: Pixel carry-over (from Castleman, 1996, Fig. -
Article Which He Wrote for the five-Volume Entsik- Lopedia Elementarnoy Matematiki
A CURIOUS GEOMETRIC TRANSFORMATION NIKOLAI IVANOV BELUHOV Abstract. An expansion is a little-known geometric transformation which maps directed circles to directed circles. We explore the applications of ex- pansion to the solution of various problems in geometry by elementary means. In his book Geometricheskie Preobrazovaniya, Isaac Moiseevich Yaglom de- scribes one curious geometric transformation called expansion 1. A few years after coming across this transformation, the author of the present paper was rather surprised to discover that it leads to quite appealing geometrical solutions of a number of problems otherwise very difficult to treat by elementary means. Most of these originated in Japanese sangaku – wooden votive tablets which Japanese mathematicians of the Edo period painted with the beautiful and extraordinary theorems they discovered and then hung in Buddhist temples and Shinto shrines. Researching the available literature prior to compiling this paper brought an- other surprise: that expansion was not mentioned in almost any other books on geometry. Only two references were uncovered – one more book by I. M. Ya- glom [7] and an encyclopedia article which he wrote for the five-volume Entsik- lopedia Elementarnoy Matematiki. Therefore, we begin our presentation with an informal introduction to expan- sion and the geometry of cycles and rays. 1. Introduction We call an oriented circle a cycle. Whenever a circle k of radius R is oriented positively (i.e., counterclockwise), we label the resulting cycle k+ and say that it is of radius R. Whenever k is oriented negatively (i.e., clockwise), we label the resulting cycle k− and say that it is of radius R. -
Lecture 16: Planar Homographies Robert Collins CSE486, Penn State Motivation: Points on Planar Surface
Robert Collins CSE486, Penn State Lecture 16: Planar Homographies Robert Collins CSE486, Penn State Motivation: Points on Planar Surface y x Robert Collins CSE486, Penn State Review : Forward Projection World Camera Film Pixel Coords Coords Coords Coords U X x u M M V ext Y proj y Maff v W Z U X Mint u V Y v W Z U M u V m11 m12 m13 m14 v W m21 m22 m23 m24 m31 m31 m33 m34 Robert Collins CSE486, PennWorld State to Camera Transformation PC PW W Y X U R Z C V Rotate to Translate by - C align axes (align origins) PC = R ( PW - C ) = R PW + T Robert Collins CSE486, Penn State Perspective Matrix Equation X (Camera Coordinates) x = f Z Y X y = f x' f 0 0 0 Z Y y' = 0 f 0 0 Z z' 0 0 1 0 1 p = M int ⋅ PC Robert Collins CSE486, Penn State Film to Pixel Coords 2D affine transformation from film coords (x,y) to pixel coordinates (u,v): X u’ a11 a12xa'13 f 0 0 0 Y v’ a21 a22 ya'23 = 0 f 0 0 w’ Z 0 0z1' 0 0 1 0 1 Maff Mproj u = Mint PC = Maff Mproj PC Robert Collins CSE486, Penn StateProjection of Points on Planar Surface Perspective projection y Film coordinates x Point on plane Rotation + Translation Robert Collins CSE486, Penn State Projection of Planar Points Robert Collins CSE486, Penn StateProjection of Planar Points (cont) Homography H (planar projective transformation) Robert Collins CSE486, Penn StateProjection of Planar Points (cont) Homography H (planar projective transformation) Punchline: For planar surfaces, 3D to 2D perspective projection reduces to a 2D to 2D transformation.