Hypercomplex Algebras in Digital Signal Processing: Benefits and Drawbacks

Total Page:16

File Type:pdf, Size:1020Kb

Hypercomplex Algebras in Digital Signal Processing: Benefits and Drawbacks 15th European Signal Processing Conference (EUSIPCO 2007), Poznan, Poland, September 3-7, 2007, copyright by EURASIP HYPERCOMPLEX ALGEBRAS IN DIGITAL SIGNAL PROCESSING: BENEFITS AND DRAWBACKS Daniel Alfsmann∗, Heinz G. Göckler∗, Stephen J. Sangwine†, and Todd A. Ell‡ ∗Digital Signal Processing Group †Dept. Electron. Syst. Engineering ‡Goodrich Sensor Systems, Ruhr-Universität Bochum University of Essex, Wivenhoe Park Burnsville, MN 55306, USA 44780 Bochum, Germany Colchester CO4 3SQ, UK email: [email protected] email: [email protected] email: [email protected] ABSTRACT R−,C−,H−algebras and the hyperbolic algebras being investi- This tutorial contribution presents a short historical introduction gated in more detail only most recently [3, 4, 5]. and a survey of hypercomplex algebras in conjunction with some It is a commonplace in mathematics that some or all of the fol- beneficial applications in predominantly time-based digital signal lowing fundamental properties of R and C may vanish in hyper- processing. Potential advantages and shortcomings of hypercom- complex algebras of higher dimension: Commutativity, associativ- plex digital signal processing are discussed. ity and multiplicative inverse. If an algebra is not a division alge- bra, some elements may lack a multiplicative inverse and divisors 1. INTRODUCTION of zero exist with the consequence that the product of two non-zero numbers may vanish . This was thoroughly investigated by WEIER- For a long time, mathematicians have studied various (hypercom- STRASS (1815-97) [6]. plex) algebras as a self-contained discipline. Most recently, physi- cists and engineers have gradually grasped the underlying theories This tutorial presents basic material for the understanding of for a variety of applications in signal and image processing, sig- time-based digital signal processing applying hypercomplex alge- nal and system representation and analysis, computer graphics, etc. bra. To this end, we recall the mainstream use of established CDSP under C (section 2). In section 3, we first give our reasons for tran- This tutorial paper presents an introduction to hypercomplex alge- C bras needed for hypercomplex digital signal processing (HCDSP), scending to higher dimension or other algebras, we present the and discusses the potentials and weaknesses of HCDSP. Note that necessary definitions and representations of hypercomplex algebras pure geometric signal processing is beyond the scope of this paper. for HCDSP and, finally, discuss benefits and drawbacks of HCDSP A basic scientific motivation for the investigation of hyper- in view of a variety of suitable applications. In conclusion, in sec- complex algebras is to extend complex (digital) signal processing tion 4 open issues are presented for future research. (CDSP) to HCDSP. We start our presentation with a short histori- cal survey of the advent of complex numbers and the discovery of 2. ESTABLISHED USE OF COMPLEX ALGEBRA IN hypercomplex algebras referring to [1]. SIGNAL PROCESSING (CDSP) Already during the Renaissance it had been recognised in Italy that the real algebra (R) is algebraically not closed under exponen- Almost all physical signals and (equidistantly) sampled versions tiation, when CARDANO (1501-76) and his competitor FONTANA- thereof are real-valued: s(t),s(k) ∈ R. Nevertheless, a widely used TARTAGLIA (1499-1557) were looking for a general solution of 3rd family of versatile and illustrative integral transforms, LAPLACE-, order equations, nowadays known as Cardanic formulae. To over- z-Transform and some varieties of FOURIER Transform (FT) [7], come this limitation, CARDANO in conjunction with BOMBELLI provide a one-to-one mapping to a physically supported complex (1526-72) first introduced complex numbers (C). GAUSS (1777- frequency domain under C. For instance, the FT discloses the spec- 1855) proposed the illustrative complex plane to represent complex tral content of a signal: ULER numbers in Cartesian and polar coordinates, respectively. E FT (1707-83) contributed a great multitude of widely used complex- s(t), s(k) ∈ R ←→ S( jω), S(e jΩ) ∈ C, (1) valued functional relationships. Moreover, GAUSS proved the fun- where any signal is likewise uniquely represented by its spectrum damental theorem of algebra encompassing the result that the com- jΩ plex algebra (C) is algebraically closed. along the frequency “axis” s := jω = j2π f or z := e , Ω = Another track leads to integral or functional transforms, as in- 2π f / fS, respectively (sampling rate: fS = 1/T ). troduced by LAPLACE (1749-1827), FOURIER (1768-1830) and By interchanging time and frequency in (1), time-frequency du- LAURENT (1813-54), respectively: Real or complex functions of ality [7] suggests the existence of complex signals that possess real one or more independent parameters (time, location, etc.) are (in general complex) spectra. The analytic signal, the most impor- mapped onto a complex variable domain, the frequency or spectral tant class of complex signals, has found a variety of applications domain. It is commonplace that a signal spectrum typically gives predominantly in CDSP: i) Efficient digital baseband processing of much more insight into the nature and properties of a signal than narrow-band bandpass signals with reduced sampling rate [8] (e.g. the original signal. homodyne transceiver and single sideband amplitude modulation), A first step beyond complex algebra (C) was made by HAMIL- ii) spectrally compacted data transmission by combining sequential TON (1805-65) discovering the four-dimensional (4-D) quaternions binary data to higher level complex symbols (Quadrature Ampli- (H) in 1843. Soon after HAMILTON’s publication of the quater- tude Modulation, Orthogonal Frequency Division Multiplex, etc.), nion algebra, his student GRAVES and later CAYLEY (1821-95) iii) most efficient processing of discrete orthogonal transforms, such introduced a first kind of 8-D hypercomplex algebras, the Oc- as DFT and FFT, iv) twofold system parallelisation for sample rate taves/Octonions (O) or Cayley numbers, respectively. Moreover, reduction by two, and v) efficient baseband simulation techniques HAMILTON himself introduced still another 8-D hypercomplex al- based on the complex envelope of the analytic bandpass signal. gebra [2], known as complexified quaternions or biquaternions. A The imaginary part of an analytic signal is given by the kind of generalisation to the n-D case was presented by CLIFFORD HILBERT Transform (HT) of its real part. In general, the HT is (1845-79) emphasising, however, geometrical viewpoints and n- implemented by means of a linear and time-invariant (LTI) digital D rotation. Nevertheless, CLIFFORD algebras include the former system [8], for instance, as an FIR system with (zero-phase) im- ©2007 EURASIP 1322 15th European Signal Processing Conference (EUSIPCO 2007), Poznan, Poland, September 3-7, 2007, copyright by EURASIP pulse response hHT(k) = 2/(kπ) for odd k and 0 elsewhere: whereas multiplication is generally distributive over addition. Obvi- ously, a hypercomplex addition (7) consists of n K-valued additions. FT jΩ jΩ 2 sˆ(k) = hHT(k) ∗s(k) ←→ Sˆ(e ) = − jsgn(sinΩ) · S(e ), (2) A hypercomplex multiplication demands n K-valued multiplica- where (∗) denotes convolution, yielding the digital analytic signal: tions. For instance, the multiplication of two complex numbers, z1 = x1 + iy1, z2 = x2 + iy2,(C is considered as a 2-D hypercom- FT jΩ jΩ plex algebra with K = R and i2 = i2 = −1) according to: s+(k) = s(k) + jsˆ(k) ←→ S+(e ) = S(e )[1+ sgn(sinΩ)]. (3) 2 As a result, the overall spectral bandwidth of any analytic signal z1z2 = x1x2 − y1y2 + i(x1y2 + x2y1), (8) s (k) comprises just half the width of the original real signal s(k), + requires n = 2 real additions and n2 = 4 real multiplications. Of allowing for most of the aforementioned applications exploiting the course, these operations have to be considered when evaluating the potential of unconstrained frequency shifting of analytic signals. computational load of HCDSP. Every associative algebra can be represented by an isomorphic 3. HYPERCOMPLEX ALGEBRAS IN DIGITAL SIGNAL K-valued n× n matrix algebra. For instance, the matrix PROCESSING (HCDSP) q1 −q2 −q3 q4 3.1 Motivation q q −q −q Q = 2 1 4 3 ∈ R4×4 (9) Exploiting the potential of CDSP to advantage, as outlined in sec- q3 q4 q1 q2 tion 2, the following questions related to HCDSP are motivated: −q4 q3 −q2 q1 What are the benefits of HCDSP w.r.t. the above collection of ap- is completely equivalent to the quaternion (5), and all operations plications and beyond? What is the impact on HCDSP, if the un- and properties can likewise be validated with both representations derlying hypercomplex algebra lacks commutativity, associativity, (e.g. that Q is not commutative). However, (9) is highly redundant divisors of zero and/or contains ? Hence, at least the following ba- and therefore computationally inefficient compared to the direct cal- sic system properties, well understood for real and complex DSP culation derived from the algebra’s multiplication table (6). [8], call for thorough investigation in the case of HCDSP: i) LTI An LTI system based on a hypercomplex algebra can always property tightly related to convolution, ii) existence of hypercom- be decomposed either into K-valued basic operations, as in (8), or plex spectral transforms [9], similar to z- and FOURIER Transform, into K-valued subsystems. For the latter, a MIMO (Multiple In- their impact on convolution theorem and the availability of some put Multiple
Recommended publications
  • Arxiv:1001.0240V1 [Math.RA]
    Fundamental representations and algebraic properties of biquaternions or complexified quaternions Stephen J. Sangwine∗ School of Computer Science and Electronic Engineering, University of Essex, Wivenhoe Park, Colchester, CO4 3SQ, United Kingdom. Email: [email protected] Todd A. Ell† 5620 Oak View Court, Savage, MN 55378-4695, USA. Email: [email protected] Nicolas Le Bihan GIPSA-Lab D´epartement Images et Signal 961 Rue de la Houille Blanche, Domaine Universitaire BP 46, 38402 Saint Martin d’H`eres cedex, France. Email: [email protected] October 22, 2018 Abstract The fundamental properties of biquaternions (complexified quaternions) are presented including several different representations, some of them new, and definitions of fundamental operations such as the scalar and vector parts, conjugates, semi-norms, polar forms, and inner and outer products. The notation is consistent throughout, even between representations, providing a clear account of the many ways in which the component parts of a biquaternion may be manipulated algebraically. 1 Introduction It is typical of quaternion formulae that, though they be difficult to find, once found they are immediately verifiable. J. L. Synge (1972) [43, p34] arXiv:1001.0240v1 [math.RA] 1 Jan 2010 The quaternions are relatively well-known but the quaternions with complex components (complexified quaternions, or biquaternions1) are less so. This paper aims to set out the fundamental definitions of biquaternions and some elementary results, which, although elementary, are often not trivial. The emphasis in this paper is on the biquaternions as an applied algebra – that is, a tool for the manipulation ∗This paper was started in 2005 at the Laboratoire des Images et des Signaux (now part of the GIPSA-Lab), Grenoble, France with financial support from the Royal Academy of Engineering of the United Kingdom and the Centre National de la Recherche Scientifique (CNRS).
    [Show full text]
  • Hypercomplex Numbers
    Hypercomplex numbers Johanna R¨am¨o Queen Mary, University of London [email protected] We have gradually expanded the set of numbers we use: first from finger counting to the whole set of positive integers, then to positive rationals, ir- rational reals, negatives and finally to complex numbers. It has not always been easy to accept new numbers. Negative numbers were rejected for cen- turies, and complex numbers, the square roots of negative numbers, were considered impossible. Complex numbers behave like ordinary numbers. You can add, subtract, multiply and divide them, and on top of that, do some nice things which you cannot do with real numbers. Complex numbers are now accepted, and have many important applications in mathematics and physics. Scientists could not live without complex numbers. What if we take the next step? What comes after the complex numbers? Is there a bigger set of numbers that has the same nice properties as the real numbers and the complex numbers? The answer is yes. In fact, there are two (and only two) bigger number systems that resemble real and complex numbers, and their discovery has been almost as dramatic as the discovery of complex numbers was. 1 Complex numbers Complex numbers where discovered in the 15th century when Italian math- ematicians tried to find a general solution to the cubic equation x3 + ax2 + bx + c = 0: At that time, mathematicians did not publish their results but kept them secret. They made their living by challenging each other to public contests of 1 problem solving in which the winner got money and fame.
    [Show full text]
  • Split Quaternions and Spacelike Constant Slope Surfaces in Minkowski 3- Space
    Split Quaternions and Spacelike Constant Slope Surfaces in Minkowski 3- Space Murat Babaarslan and Yusuf Yayli Abstract. A spacelike surface in the Minkowski 3-space is called a constant slope surface if its position vector makes a constant angle with the normal at each point on the surface. These surfaces completely classified in [J. Math. Anal. Appl. 385 (1) (2012) 208-220]. In this study, we give some relations between split quaternions and spacelike constant slope surfaces in Minkowski 3-space. We show that spacelike constant slope surfaces can be reparametrized by using rotation matrices corresponding to unit timelike quaternions with the spacelike vector parts and homothetic motions. Subsequently we give some examples to illustrate our main results. Mathematics Subject Classification (2010). Primary 53A05; Secondary 53A17, 53A35. Key words: Spacelike constant slope surface, split quaternion, homothetic motion. 1. Introduction Quaternions were discovered by Sir William Rowan Hamilton as an extension to the complex number in 1843. The most important property of quaternions is that every unit quaternion represents a rotation and this plays a special role in the study of rotations in three- dimensional spaces. Also quaternions are an efficient way understanding many aspects of physics and kinematics. Many physical laws in classical, relativistic and quantum mechanics can be written nicely using them. Today they are used especially in the area of computer vision, computer graphics, animations, aerospace applications, flight simulators, navigation systems and to solve optimization problems involving the estimation of rigid body transformations. Ozdemir and Ergin [9] showed that a unit timelike quaternion represents a rotation in Minkowski 3-space.
    [Show full text]
  • Quaternion Algebra and Calculus
    Quaternion Algebra and Calculus David Eberly, Geometric Tools, Redmond WA 98052 https://www.geometrictools.com/ This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA. Created: March 2, 1999 Last Modified: August 18, 2010 Contents 1 Quaternion Algebra 2 2 Relationship of Quaternions to Rotations3 3 Quaternion Calculus 5 4 Spherical Linear Interpolation6 5 Spherical Cubic Interpolation7 6 Spline Interpolation of Quaternions8 1 This document provides a mathematical summary of quaternion algebra and calculus and how they relate to rotations and interpolation of rotations. The ideas are based on the article [1]. 1 Quaternion Algebra A quaternion is given by q = w + xi + yj + zk where w, x, y, and z are real numbers. Define qn = wn + xni + ynj + znk (n = 0; 1). Addition and subtraction of quaternions is defined by q0 ± q1 = (w0 + x0i + y0j + z0k) ± (w1 + x1i + y1j + z1k) (1) = (w0 ± w1) + (x0 ± x1)i + (y0 ± y1)j + (z0 ± z1)k: Multiplication for the primitive elements i, j, and k is defined by i2 = j2 = k2 = −1, ij = −ji = k, jk = −kj = i, and ki = −ik = j. Multiplication of quaternions is defined by q0q1 = (w0 + x0i + y0j + z0k)(w1 + x1i + y1j + z1k) = (w0w1 − x0x1 − y0y1 − z0z1)+ (w0x1 + x0w1 + y0z1 − z0y1)i+ (2) (w0y1 − x0z1 + y0w1 + z0x1)j+ (w0z1 + x0y1 − y0x1 + z0w1)k: Multiplication is not commutative in that the products q0q1 and q1q0 are not necessarily equal.
    [Show full text]
  • A Tutorial on Euler Angles and Quaternions
    A Tutorial on Euler Angles and Quaternions Moti Ben-Ari Department of Science Teaching Weizmann Institute of Science http://www.weizmann.ac.il/sci-tea/benari/ Version 2.0.1 c 2014–17 by Moti Ben-Ari. This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/ by-sa/3.0/ or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA. Chapter 1 Introduction You sitting in an airplane at night, watching a movie displayed on the screen attached to the seat in front of you. The airplane gently banks to the left. You may feel the slight acceleration, but you won’t see any change in the position of the movie screen. Both you and the screen are in the same frame of reference, so unless you stand up or make another move, the position and orientation of the screen relative to your position and orientation won’t change. The same is not true with respect to your position and orientation relative to the frame of reference of the earth. The airplane is moving forward at a very high speed and the bank changes your orientation with respect to the earth. The transformation of coordinates (position and orientation) from one frame of reference is a fundamental operation in several areas: flight control of aircraft and rockets, move- ment of manipulators in robotics, and computer graphics. This tutorial introduces the mathematics of rotations using two formalisms: (1) Euler angles are the angles of rotation of a three-dimensional coordinate frame.
    [Show full text]
  • Classification of Left Octonion Modules
    Classification of left octonion modules Qinghai Huo, Yong Li, Guangbin Ren Abstract It is natural to study octonion Hilbert spaces as the recently swift development of the theory of quaternion Hilbert spaces. In order to do this, it is important to study first its algebraic structure, namely, octonion modules. In this article, we provide complete classification of left octonion modules. In contrast to the quaternionic setting, we encounter some new phenomena. That is, a submodule generated by one element m may be the whole module and may be not in the form Om. This motivates us to introduce some new notions such as associative elements, conjugate associative elements, cyclic elements. We can characterize octonion modules in terms of these notions. It turns out that octonions admit two distinct structures of octonion modules, and moreover, the direct sum of their several copies exhaust all octonion modules with finite dimensions. Keywords: Octonion module; associative element; cyclic element; Cℓ7-module. AMS Subject Classifications: 17A05 Contents 1 introduction 1 2 Preliminaries 3 2.1 The algebra of the octonions O .............................. 3 2.2 Universal Clifford algebra . ... 4 3 O-modules 6 4 The structure of left O-moudles 10 4.1 Finite dimensional O-modules............................... 10 4.2 Structure of general left O-modules............................ 13 4.3 Cyclic elements in left O-module ............................. 15 arXiv:1911.08282v2 [math.RA] 21 Nov 2019 1 introduction The theory of quaternion Hilbert spaces brings the classical theory of functional analysis into the non-commutative realm (see [10, 16, 17, 20, 21]). It arises some new notions such as spherical spectrum, which has potential applications in quantum mechanics (see [4, 6]).
    [Show full text]
  • Hypercomplex Numbers and Their Matrix Representations
    Hypercomplex numbers and their matrix representations A short guide for engineers and scientists Herbert E. M¨uller http://herbert-mueller.info/ Abstract Hypercomplex numbers are composite numbers that sometimes allow to simplify computations. In this article, the multiplication table, matrix represen- tation and useful formulas are compiled for eight hypercomplex number systems. 1 Contents 1 Introduction 3 2 Hypercomplex numbers 3 2.1 History and basic properties . 3 2.2 Matrix representations . 4 2.3 Scalar product . 5 2.4 Writing a matrix in a hypercomplex basis . 6 2.5 Interesting formulas . 6 2.6 Real Clifford algebras . 8 ∼ 2.7 Real numbers Cl0;0(R) = R ......................... 10 3 Hypercomplex numbers with 1 generator 10 ∼ 3.1 Bireal numbers Cl1;0(R) = R ⊕ R ...................... 10 ∼ 3.2 Complex numbers Cl0;1(R) = C ....................... 11 4 Hypercomplex numbers with 2 generators 12 ∼ ∼ 4.1 Cockle quaternions Cl2;0(R) = Cl1;1(R) = R(2) . 12 ∼ 4.2 Hamilton quaternions Cl0;2(R) = H ..................... 13 5 Hypercomplex numbers with 3 generators 15 ∼ ∼ 5.1 Hamilton biquaternions Cl3;0(R) = Cl1;2(R) = C(2) . 15 ∼ 5.2 Anonymous-3 Cl2;1(R) = R(2) ⊕ R(2) . 17 ∼ 5.3 Clifford biquaternions Cl0;3 = H ⊕ H .................... 19 6 Hypercomplex numbers with 4 generators 20 ∼ ∼ ∼ 6.1 Space-Time Algebra Cl4;0(R) = Cl1;3(R) = Cl0;4(R) = H(2) . 20 ∼ ∼ 6.2 Anonymous-4 Cl3;1(R) = Cl2;2(R) = R(4) . 21 References 24 A Octave and Matlab demonstration programs 25 A.1 Cockle Quaternions . 25 A.2 Hamilton Bi-Quaternions .
    [Show full text]
  • Working with 3D Rotations
    Working With 3D Rotations Stan Melax Graphics Software Engineer, Intel Human Brain is wired for Spatial Computation Which shape is the same: a) b) c) “I don’t need to ask A childhood IQ test question for directions” Translations Rotations Agenda ● Rotations and Matrices (hopefully review) ● Combining Rotations ● Matrix and Axis Angle ● Challenges of deep Space (of Rotations) ● Quaternions ● Applications Terminology Clarification Preferred usages of various terms: Linear Angular Object Pose Position (point) Orientation A change in Pose Translation (vector) Rotation Rate of change Linear Velocity Spin also: Direction specifies 2 DOF, Orientation specifies all 3 angular DOF. Rotations Trickier than Translations Translations Rotations a then b == b then a x then y != y then x (non-commutative) ● Programming with rotations also more challenging! 2D Rotation θ Rotate [1 0] by θ about origin 1,1 [ cos(θ) sin(θ) ] θ θ sin cos θ 1,0 2D Rotation θ Rotate [0 1] by θ about origin -1,1 0,1 sin θ [-sin(θ) cos(θ)] θ θ cos 2D Rotation of an arbitrary point Rotate about origin by θ = cos θ + sin θ 2D Rotation of an arbitrary point 푥 Rotate 푦 about origin by θ 푥′, 푦′ 푥′ = 푥 cos θ − 푦 sin θ 푦′ = 푥 sin θ + 푦 cos θ 푦 푥 2D Rotation Matrix 푥 Rotate 푦 about origin by θ 푥′, 푦′ 푥′ = 푥 cos θ − 푦 sin θ 푦′ = 푥 sin θ + 푦 cos θ 푦 푥′ cos θ − sin θ 푥 푥 = 푦′ sin θ cos θ 푦 cos θ − sin θ Matrix is rotation by θ sin θ cos θ 2D Orientation 풚 Yellow grid placed over first grid but at angle of θ cos θ − sin θ sin θ cos θ 풙 Columns of the matrix are the directions of the axes.
    [Show full text]
  • Similarity and Consimilarity of Elements in Real Cayley-Dickson Algebras
    SIMILARITY AND CONSIMILARITY OF ELEMENTS IN REAL CAYLEY-DICKSON ALGEBRAS Yongge Tian Department of Mathematics and Statistics Queen’s University Kingston, Ontario, Canada K7L 3N6 e-mail:[email protected] October 30, 2018 Abstract. Similarity and consimilarity of elements in the real quaternion, octonion, and sedenion algebras, as well as in the general real Cayley-Dickson algebras are considered by solving the two fundamental equations ax = xb and ax = xb in these algebras. Some consequences are also presented. AMS mathematics subject classifications: 17A05, 17A35. Key words: quaternions, octonions, sedenions, Cayley-Dickson algebras, equations, similarity, consim- ilarity. 1. Introduction We consider in the article how to establish the concepts of similarity and consimilarity for ele- n arXiv:math-ph/0003031v1 26 Mar 2000 ments in the real quaternion, octonion and sedenion algebras, as well as in the 2 -dimensional real Cayley-Dickson algebras. This consideration is motivated by some recent work on eigen- values and eigenvectors, as well as similarity of matrices over the real quaternion and octonion algebras(see [5] and [18]). In order to establish a set of complete theory on eigenvalues and eigenvectors, as well as similarity of matrices over the quaternion, octonion, sedenion alge- bras, as well as the general real Cayley-Dickson algebras, one must first consider a basic problem— how to characterize similarity of elements in these algebras, which leads us to the work in this article. Throughout , , and denote the real quaternion, octonion, and sedenion algebras, H O S n respectively; n denotes the 2 -dimensional real Cayley-Dickson algebra, and denote A R C the real and complex number fields, respectively.
    [Show full text]
  • Introducing Quaternions to Integer Factorisation
    Journal of Physical Science and Application 5 (2) (2015) 101-107 doi: 10.17265/2159-5348/2015.02.003 D DAVID PUBLISHING Introducing Quaternions to Integer Factorisation HuiKang Tong 4500 Ang Mo Kio Avenue 6, 569843, Singapore Abstract: The key purpose of this paper is to open up the concepts of the sum of four squares and the algebra of quaternions into the attempts of factoring semiprimes, the product of two prime numbers. However, the application of these concepts here has been clumsy, and would be better explored by those with a more rigorous mathematical background. There may be real immediate implications on some RSA numbers that are slightly larger than a perfect square. Key words: Integer factorisation, RSA, quaternions, sum of four squares, euler factorisation method. Nomenclature In Section 3, we extend the Euler factoring method to one using the sum of four squares and the algebra p, q: prime factors n: semiprime pq, the product of two primes of quaternions. We comment on the development of P: quaternion with norm p the mathematics in Section 3.1, and introduce the a, b, c, d: components of a quaternion integral quaternions in Section 3.2, and its relationship 1. Introduction with the sum of four squares in Section 3.3. In Section 3.4, we mention an algorithm to generate the sum of We assume that the reader know the RSA four squares. cryptosystem [1]. Notably, the ability to factorise a In Section 4, we propose the usage of concepts of random and large semiprime n (the product of two the algebra of quaternions into the factorisation of prime numbers p and q) efficiently can completely semiprimes.
    [Show full text]
  • Quaternions: a History of Complex Noncommutative Rotation Groups in Theoretical Physics
    QUATERNIONS: A HISTORY OF COMPLEX NONCOMMUTATIVE ROTATION GROUPS IN THEORETICAL PHYSICS by Johannes C. Familton A thesis submitted in partial fulfillment of the requirements for the degree of Ph.D Columbia University 2015 Approved by ______________________________________________________________________ Chairperson of Supervisory Committee _____________________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ Program Authorized to Offer Degree ___________________________________________________________________ Date _______________________________________________________________________________ COLUMBIA UNIVERSITY QUATERNIONS: A HISTORY OF COMPLEX NONCOMMUTATIVE ROTATION GROUPS IN THEORETICAL PHYSICS By Johannes C. Familton Chairperson of the Supervisory Committee: Dr. Bruce Vogeli and Dr Henry O. Pollak Department of Mathematics Education TABLE OF CONTENTS List of Figures......................................................................................................iv List of Tables .......................................................................................................vi Acknowledgements .......................................................................................... vii Chapter I: Introduction ......................................................................................... 1 A. Need for Study ........................................................................................
    [Show full text]
  • Split Quaternion Matrices
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Repository of the Academy's Library Miskolc Mathematical Notes HU e-ISSN 1787-2413 Vol. 13 (2012), No 2, pp. 223-232 DOI: 10.18514/MMN.2012.364 Split quaternion matrices Yasemin Alagöz, Kür³at Hakan Oral, and Salim Yüce Miskolc Mathematical Notes HU e-ISSN 1787-2413 Vol. 13 (2012), No. 2, pp. 223–232 SPLIT QUATERNION MATRICES YASEMIN ALAGOZ,¨ KURS¸AT¨ HAKAN ORAL, AND SALIM YUCE¨ Received 7 June, 2011 Abstract. In this paper, we consider split quaternions and split quaternion matrices. Firstly, we give some properties of split quaternions. After that we investigate split quaternion matrices using properties of complex matrices. Then we define the complex adjoint matrix of split qua- ternion matrices and we describe some of their properties. Furthermore, we give the definition of q-determinant of split quaternion matrices. 2000 Mathematics Subject Classification: 11R52; 15A33 Keywords: quaternions, split quaternions, matrices of split quaternions 1. INTRODUCTION Sir William Rowan Hamilton introduced the set of quaternions in 1843, which can be represented as H a a0 a1i a2j a3k a0;a1;a2;a3 R Df D C C C W 2 g where i 2 j 2 k2 1 and ijk 1. One can see easily that ij j i k. Thus the setD of quaternionsD D is a skew-field.D Since quaternions are non-commutative,D D they differs from complex numbers .C/ and real numbers .R/. For example, for matrices of quaternions the left eigenvalues and the right eigenvalues must be not the same.
    [Show full text]