Geometric Algebra Dr Chris Doran ARM Research 7. Conformal Geometric Algebra.

Slides:



Advertisements
Similar presentations
Epipolar Geometry.
Advertisements

Chapter 4 Euclidean Vector Spaces
Invariants (continued).
1 A camera is modeled as a map from a space pt (X,Y,Z) to a pixel (u,v) by ‘homogeneous coordinates’ have been used to ‘treat’ translations ‘multiplicatively’
Primitives Behaviour at infinity HZ 2.2 Projective DLT alg Invariants
Recovery of affine and metric properties from images in 2D Projective space Ko Dae-Won.
Projective Geometry- 3D
GEOMETRY Chapter 3: Angle Pairs, Lines and Planes
Recovering metric and affine properties from images
1 Geometrical Transformation 2 Outline General Transform 3D Objects Quaternion & 3D Track Ball.
Chapter 5 Orthogonality
Multiple View Geometry Projective Geometry & Transformations of 2D Vladimir Nedović Intelligent Systems Lab Amsterdam (ISLA) Informatics Institute,
Chapter 4.1 Mathematical Concepts. 2 Applied Trigonometry Trigonometric functions Defined using right triangle  x y h.
1 Basic geometric concepts to understand Affine, Euclidean geometries (inhomogeneous coordinates) projective geometry (homogeneous coordinates) plane at.
Multiple View Geometry Marc Pollefeys University of North Carolina at Chapel Hill Modified by Philippos Mordohai.
Projective 2D & 3D geometry course 2
Projective geometry- 2D Acknowledgements Marc Pollefeys: for allowing the use of his excellent slides on this topic
Ch. 2: Rigid Body Motions and Homogeneous Transforms
CSCE 590E Spring 2007 Basic Math By Jijun Tang. Applied Trigonometry Trigonometric functions  Defined using right triangle  x y h.
Multiple View Geometry Marc Pollefeys University of North Carolina at Chapel Hill Modified by Philippos Mordohai.
Projective Geometry and Camera model Class 2
Math for CSLecture 11 Mathematical Methods for Computer Science Lecture 1.
Vectors.
VECTORS AND THE GEOMETRY OF SPACE Vectors VECTORS AND THE GEOMETRY OF SPACE In this section, we will learn about: Vectors and their applications.
VECTORS AND THE GEOMETRY OF SPACE 12. VECTORS AND THE GEOMETRY OF SPACE So far, we have added two vectors and multiplied a vector by a scalar.
Linear Algebra Review By Tim K. Marks UCSD Borrows heavily from: Jana Kosecka Virginia de Sa (UCSD) Cogsci 108F Linear.
University of Texas at Austin CS395T - Advanced Image Synthesis Spring 2006 Don Fussell Orthogonal Functions and Fourier Series.
ME451 Kinematics and Dynamics of Machine Systems Review of Matrix Algebra – 2.2 September 13, 2011 Dan Negrut University of Wisconsin-Madison © Dan Negrut,
Classical Mechanics and Special Relativity with GA Suprit Singh.
Foundations of Computer Graphics (Fall 2012) CS 184, Lecture 2: Review of Basic Math
Lecture 11 Stereo Reconstruction I Lecture 11 Stereo Reconstruction I Mata kuliah: T Computer Vision Tahun: 2010.
Math Primer for CG Ref: Interactive Computer Graphics, Chap. 4, E. Angel.
Kansas State University Department of Computing and Information Sciences CIS 736: Computer Graphics Monday, 26 January 2004 William H. Hsu Department of.
ME451 Kinematics and Dynamics of Machine Systems Review of Linear Algebra 2.1 through 2.4 Th, Sept. 08 © Dan Negrut, 2011 ME451, UW-Madison TexPoint fonts.
Copyright © Cengage Learning. All rights reserved. 12 Vectors and the Geometry of Space.
CHAPTER FIVE Orthogonality Why orthogonal? Least square problem Accuracy of Numerical computation.
Geometry CSC 2141 Introduction to Computer Graphics.
Kansas State University Department of Computing and Information Sciences CIS 736: Computer Graphics Wednesday, January 19, 2000 William H. Hsu Department.
CS 480/680 Computer Graphics Representation Dr. Frederick C Harris, Jr. Fall 2012.
CS 480/680 Computer Graphics Transformations Dr. Frederick C Harris, Jr.
Autonomous Navigation for Flying Robots Lecture 2.2: 2D Geometry
University of Texas at Austin CS384G - Computer Graphics Fall 2008 Don Fussell Orthogonal Functions and Fourier Series.
Mathematics for Graphics. 1 Objectives Introduce the elements of geometry  Scalars  Vectors  Points Develop mathematical operations among them in a.
Transformations Jehee Lee Seoul National University.
Vectors and the Geometry of Space 9. Vectors 9.2.
Copyright © Cengage Learning. All rights reserved. 12 Vectors and the Geometry of Space.
KINEMATICS of a ROLLING BALL Wayne Lawton Department of Mathematics National University of Singapore Lecture based on my student’s MSc.
ME451 Kinematics and Dynamics of Machine Systems Review of Linear Algebra 2.1 through 2.4 Tu, Sept. 07 © Dan Negrut, 2009 ME451, UW-Madison TexPoint fonts.
Geometry: Similar Triangles. MA.912.G.2.6 Use coordinate geometry to prove properties of congruent, regular and similar polygons, and to perform transformations.
Copyright © Cengage Learning. All rights reserved. Vectors in Two and Three Dimensions.
Elementary Linear Algebra Anton & Rorres, 9th Edition
Background Mathematics Aaron Bloomfield CS 445: Introduction to Graphics Fall 2006.
Geometric Algebra 4. Algebraic Foundations and 4D Dr Chris Doran
Geometric Algebra Dr Chris Doran ARM Research 2. Geometric Algebra in 3 Dimensions.
Two-Dimensional Geometric Transformations ch5. 참조 Subjects : Basic Transformations Homogeneous Coordinates Composite Transformations Other Transformations.
Geometric Algebra Dr Chris Doran ARM Research 3. Applications to 3D dynamics.
Affine Geometry.
CSCE 552 Fall 2012 Math By Jijun Tang. Applied Trigonometry Trigonometric functions  Defined using right triangle  x y h.
1 Overview Introduction to projective geometry 1 view geometry (calibration, …) 2-view geometry (stereo, motion, …) 3- and N-view geometry Autocalibration.
Computer Graphics I, Fall 2010 Transformations.
1 Angel: Interactive Computer Graphics 4E © Addison-Wesley 2005 Transformations Ed Angel Professor of Computer Science, Electrical and Computer Engineering,
Graphics Graphics Korea University kucg.korea.ac.kr Mathematics for Computer Graphics 고려대학교 컴퓨터 그래픽스 연구실.
Geometric Algebra 8. Conformal Geometric Algebra Dr Chris Doran
Geometric Algebra 9. Unification Dr Chris Doran ARM Research.
CSE 167 [Win 17], Lecture 2: Review of Basic Math Ravi Ramamoorthi
3. Transformation
Mobile Robot Kinematics
CS Visual Recognition Projective Geometry Projective Geometry is a mathematical framework describing image formation by perspective camera. Under.
Congruence Transformations
Presentation transcript:

Geometric Algebra Dr Chris Doran ARM Research 7. Conformal Geometric Algebra

Motivation L7 S2 Projective geometry showed that there is considerable value in treating points as vectors Key to this is a homogeneous viewpoint where scaling does not change the geometric meaning attached to an object We would also like to have a direct interpretation for the inner product of two vectors This would be the distance between points Can we satisfy all of these demands in one algebra?

Inner product and distance L7 S3 Suppose X and Y represent points Would like Quadratic on grounds of units Immediate consequence: Represent points with null vectors Borrow this idea from relativity Key idea was missed in 19 th century Also need to consider homogeneity Idea from projective geometry is to introduce a point at infinity:

Inner product and distance L7 S4 Natural Euclidean definition is But both X and Y are null, so As an obvious check, look at the distance to the point at infinity We have a concept of distance in a homogeneous representation Need to see if this matches our Euclidean concept of distance.

Origin and coordinates L7 S5 Pick out a preferred point to represent the origin Look at the displacement vector Would like a basis vector containing this, but orthogonal to C Add back in some amount of n Get this as our basis vector:

Origin and coordinates L7 S6 Now have Write as is negative Euclidean vector from origin Historical convention is to write

Is this Euclidean geometry? L7 S7 Look at the inner product of two Euclidean vectors Checks out as we require The inner product is the standard Euclidean inner product Can introduce an orthonormal basis

Summary of idea L7 S8 Represent the Euclidean point x by null vectors Normalised form has Basis vectors are Distance is given by the inner product Null vectors

1D conformal GA L7 S9 Simple example in 1D Basis algebra is NB pseudoscalar squares to +1

Transformations L7 S10 Any rotor that leaves n invariant must leave distance invariant Rotations around the origin work simply Remaining generators that commute with n are of the form

Null generators L7 S11 Taylor series terminates after two terms Since Conformal representation of the translated point

Dilations L7 S12 Suppose we want to dilate about the origin Have Generate this part via a rotor, then use homogeneity Define Rotor to perform a dilation To dilate about an arbitrary point replace origin with conformal representation of the point

Unification L7 S13 In conformal geometric algebra we can use rotors to perform translations and dilations, as well as rotations Results proved at one point can be translated and rotated to any point

Geometric primitives L7 S14 Find that bivectors don’t represent lines. They represent point pairs. Look at Point aPoint bPoint at infinity Points along the line satisfy This is the line

Lines as trivectors L7 S15 Suppose we took any three points, do we still get a line? Need null vectors in this space Up to scale find The outer product of 3 points represents the circle through all 3 points. Lines are special cases of circles where the circle include the point at infinity

Circles L7 S16 Everything in the conformal GA is oriented Objects can be rescaled, but you mustn’t change their sign! Important for intersection tests Radius from magnitude. Metric quantities in homogenous framework If the three points lie in a line then Lines are circles with infinite radius All related to inversive geometry

4-vectors L7 S17 4 points define a sphere or a plane If the points are co-planar find So P is a plane iff Note if L is a line and A is a point, the plane formed by the line and the point is Unit sphere is Radius of the sphere is

5D representation of 3D space L7 S18 ObjectGradeDimensionInterpretation Scalar01Scalar values Vector15Points (null), dual to spheres and planes. Bivector210Point pairs, generators of Euclidean transformations, dilations. Trivectors310Lines and circles 4-vectors45Planes and spheres Pseudoscalar51Volume factor, duality generators

Angles and inversion L7 S19 Angle between two lines that meet at a point or point pair Works for straight lines and circles! All rotors leave angles invariant – generate the conformal group Reflect the conformal vector in e The is the result of inverting space in the origin. Can translate to invert about any point – conformal transformations

Reflection L7 S plane is represented by In the planeOut of the plane So if L is a line through the origin The reflected line is But we can translate this result around and the formula does not change Reflects any line in any plane, without finding the point of intersection

Intersection L7 S21 Use same idea of the meet operator Duality still provided by the appropriate pseudoscalar (technically needs the join) Example – 2 lines in a plane 2 points of intersection 1 point of intersection 0 points of intersection

Intersection L7 S22 Circle / line and sphere / plane 2 points of intersection 1 point of intersection 0 points of intersection All cases covered in a single application of the geometric product Orientation tracks which point intersects on way in and way out In line / plane case, one of the points is at infinity

Intersection L7 S23 Plane / sphere and a plane / sphere intersect in a line or circle Norm of L determines whether or not it exists. If we normalise a plane P and sphere S to -1 can also test for intersection Sphere above plane Sphere and plane intersect Sphere below plane

Resources L7 S24 geometry.mrao.cam.ac. uk @chrisjldoran #geometricalgebra github.com/ga