Calculating the Rotor Between Conformal Objects

Abstract: In this paper we will address the problem of recovering covariant transformations between objects—specifically; lines, planes, circles, spheres and point pairs. Using the covariant language of conformal geometric algebra (CGA), we will derive such transformations in a very simple manner. In CGA, rotations, translations, dilations and inversions can be written as a single rotor, which is itself an element of the algebra. We will show that the rotor which takes a line to a line (or plane to a plane etc) can easily be formed and we will investigate the nature of the rotors formed in this way. If we can recover the rotor between one object and another of the same type, a useable metric which tells us how close one line (plane etc) is to another, can be a function of how close this rotor is to the identity. Using these ideas, we find that we can define metrics for a number of common problems, specifically recovering the transformation between sets of noisy objects

A 1d Up Approach to Conformal Geometric Algebra: Applications in Line Fitting and Quantum Mechanics

Funder: University of CambridgeAbstract: We discuss an alternative approach to the conformal geometric algebra (CGA) in which just a single extra dimension is necessary, as compared to the two normally used. This is made possible by working in a constant curvature background space, rather than the usual Euclidean space. A possible benefit, which is explored here, is that it is possible to define cost functions for geometric object matching in computer vision that are fully covariant, in particular invariant under both rotations and translations, unlike the cost functions which have been used in CGA so far. An algorithm is given for application of this method to the problem of matching sets of lines, which replaces the standard matrix singular value decomposition, by computations wholly in Geometric Algebra terms, and which may itself be of interest in more general settings. Secondly, we consider a further perhaps surprising application of the 1d up approach, which is to the context of a recent paper by Joy Christian published by the Royal Society, which has made strong claims about Bell’s Theorem in quantum mechanics, and its relation to the sphere S7 and the exceptional group E8, and proposed a new associative version of the division algebra normally thought to require the octonians. We show that what is being discussed by Christian is mathematically the same as our 1d up approach to 3d geometry, but that after the removal of some incorrect mathematical assertions, the results he proves in the first part of the paper, and bases the application to Bell’s Theorem on, amount to no more than the statement that the combination of two rotors from the Clifford Algebra Cl(4, 0) is also a rotor

A 1d Up Approach to Conformal Geometric Algebra: Applications in Line Fitting and Quantum Mechanics

Funder: University of CambridgeAbstract: We discuss an alternative approach to the conformal geometric algebra (CGA) in which just a single extra dimension is necessary, as compared to the two normally used. This is made possible by working in a constant curvature background space, rather than the usual Euclidean space. A possible benefit, which is explored here, is that it is possible to define cost functions for geometric object matching in computer vision that are fully covariant, in particular invariant under both rotations and translations, unlike the cost functions which have been used in CGA so far. An algorithm is given for application of this method to the problem of matching sets of lines, which replaces the standard matrix singular value decomposition, by computations wholly in Geometric Algebra terms, and which may itself be of interest in more general settings. Secondly, we consider a further perhaps surprising application of the 1d up approach, which is to the context of a recent paper by Joy Christian published by the Royal Society, which has made strong claims about Bell’s Theorem in quantum mechanics, and its relation to the sphere S7 and the exceptional group E8, and proposed a new associative version of the division algebra normally thought to require the octonians. We show that what is being discussed by Christian is mathematically the same as our 1d up approach to 3d geometry, but that after the removal of some incorrect mathematical assertions, the results he proves in the first part of the paper, and bases the application to Bell’s Theorem on, amount to no more than the statement that the combination of two rotors from the Clifford Algebra Cl(4, 0) is also a rotor

Articulating Space: Geometric Algebra for Parametric Design -- Symmetry, Kinematics, and Curvature

To advance the use of geometric algebra in practice, we develop computational methods for parameterizing spatial structures with the conformal model. Three discrete parameterizations – symmetric, kinematic, and curvilinear – are employed to generate space groups, linkage mechanisms, and rationalized surfaces. In the process we illustrate techniques that directly benefit from the underlying mathematics, and demonstrate how they might be applied to various scenarios. Each technique engages the versor – as opposed to matrix – representation of transformations, which allows for structure-preserving operations on geometric primitives. This covariant methodology facilitates constructive design through geometric reasoning: incidence and movement are expressed in terms of spatial variables such as lines, circles and spheres. In addition to providing a toolset for generating forms and transformations in computer graphics, the resulting expressions could be used in the design and fabrication of machine parts, tensegrity systems, robot manipulators, deployable structures, and freeform architectures. Building upon existing algorithms, these methods participate in the advancement of geometric thinking, developing an intuitive spatial articulation that can be creatively applied across disciplines, ranging from time-based media to mechanical and structural engineering, or reformulated in higher dimensions

Polar decomposition of complexified quaternions and octonions

We present a hitherto unknown polar representation of complexified quaternions (also known as biquaternions), also applicable to complexified octonions. The complexified quaternion is factored into the product of two exponentials, one trigonometric or circular, and one hyperbolic. The trigonometric exponential is a real quaternion, the hyperbolic exponential has a real scalar part and imaginary vector part. This factorisation is shown to be isomorphic to the polar decomposition of linear algebra

Ray-Tracing Objects and Novel Surface Representations in CGA

© Springer Nature Switzerland AG 2019. Conformal Geometric Algebra (CGA) provides a unified representation of both geometric primitives and conformal transformations, and as such holds great promise in the field of computer graphics [1–3]. In this paper we implement a simple ray tracer in CGA with a Blinn-Phong lighting model and use it to examine ray intersections with surfaces generated from interpolating between objects [7]. An analytical method for finding the normal line to these interpolated surfaces is described. The expression is closely related to the concept of surface principal curvature from differential geometry and provides a novel way of describing the curvature of evolving surfaces