-
Octonion associators
Authors:
Stephen J. Sangwine
Abstract:
The algebra of octonions is non-associative (as well as non-commutative). This makes it very difficult to derive algebraic results, and to perform computation with octonions. Given a product of more than two octonions, in general, the order of evaluation of the product (placement of parentheses) affects the result. Inspired by the concept of the commutator $[x,y]= x^{-1}y^{-1}xy$ we show that an a…
▽ More
The algebra of octonions is non-associative (as well as non-commutative). This makes it very difficult to derive algebraic results, and to perform computation with octonions. Given a product of more than two octonions, in general, the order of evaluation of the product (placement of parentheses) affects the result. Inspired by the concept of the commutator $[x,y]= x^{-1}y^{-1}xy$ we show that an associator can be defined that multiplies the result from one evaluation order to give the result from a different evaluation order. For example, for the case of three arbitrary octonions $x$, $y$ and $z$ we have $((xy)z)a = x(yz)$, where $a$ is the associator in this case. For completeness, we include other definitions of the commutator, $[x,y]=xy-yx$ and associator $[x,y,z]=(xy)z-x(yz)$, which are well known, although not particularly useful as algebraic tools. We conclude the paper by showing how to extend the concept of the multiplicative associator to products of four or more octonions, where the number of evaluation orders is greater than two.
△ Less
Submitted 25 September, 2015;
originally announced September 2015.
-
Connecting spatial and frequency domains for the quaternion Fourier transform
Authors:
Hendrik De Bie,
Nele De Schepper,
Todd A. Ell,
Klaus Rubrecht,
Stephen J. Sangwine
Abstract:
The quaternion Fourier transform (qFT) is an important tool in multi-dimensional data analysis, in particular for the study of color images. An important problem when applying the qFT is the mismatch between the spatial and frequency domains: the convolution of two quaternion signals does not map to the pointwise product of their qFT images. The recently defined `Mustard' convolution behaves nicel…
▽ More
The quaternion Fourier transform (qFT) is an important tool in multi-dimensional data analysis, in particular for the study of color images. An important problem when applying the qFT is the mismatch between the spatial and frequency domains: the convolution of two quaternion signals does not map to the pointwise product of their qFT images. The recently defined `Mustard' convolution behaves nicely in the frequency domain, but complicates the corresponding spatial domain analysis.
The present paper analyses in detail the correspondence between classical convolution and the new Mustard convolution. In particular, an expression is derived that allows one to write classical convolution as a finite linear combination of suitable Mustard convolutions. This result is expected to play a major role in the further development of quaternion image processing, as it yields a formula for the qFT spectrum of the classical convolution.
△ Less
Submitted 23 June, 2015;
originally announced June 2015.
-
On harmonic analysis of vector-valued signals
Authors:
Stephen J. Sangwine
Abstract:
A vector-valued signal in N dimensions is a signal whose value at any time instant is an N-dimensional vector, that is, an element of $\mathbb{R}^N$. The sum of an arbitrary number of such signals of the same frequency is shown to trace an ellipse in N-dimensional space, that is, to be confined to a plane. The parameters of the ellipse (major and minor axes, represented by N-dimensional vectors; a…
▽ More
A vector-valued signal in N dimensions is a signal whose value at any time instant is an N-dimensional vector, that is, an element of $\mathbb{R}^N$. The sum of an arbitrary number of such signals of the same frequency is shown to trace an ellipse in N-dimensional space, that is, to be confined to a plane. The parameters of the ellipse (major and minor axes, represented by N-dimensional vectors; and phase) are obtained algebraically in terms of the directions of oscillation of the constituent signals, and their phases. It is shown that the major axis of the ellipse can always be determined algebraically. That is, a vector, whose value can be computed algebraically (without decisions or comparisons of magnitude) from parameters of the constituent signals, always represents the major axis of the ellipse. The ramifications of this result for the processing and Fourier analysis of signals with vector values or samples are discussed, with reference to the definition of Fourier transforms, particularly discrete Fourier transforms, such as have been defined in several hypercomplex algebras, including Clifford algebras. The treatment in the paper, however, is entirely based on signals with values in $\mathbb{R}^N$. Although the paper is written in terms of vector signals (which are taken to include images and volumetric images), the analysis clearly also applies to a superposition of simple harmonic motions in N dimensions.
△ Less
Submitted 10 August, 2015; v1 submitted 9 April, 2014;
originally announced April 2014.
-
The Orthogonal 2D Planes Split of Quaternions and Steerable Quaternion Fourier Transformations
Authors:
Eckhard Hitzer,
Stephen J. Sangwine
Abstract:
The two-sided quaternionic Fourier transformation (QFT) was introduced in \cite{Ell:1993} for the analysis of 2D linear time-invariant partial-differential systems. In further theoretical investigations \cite{10.1007/s00006-007-0037-8, EH:DirUP_QFT} a special split of quaternions was introduced, then called $\pm$split. In the current \change{chapter} we analyze this split further, interpret it geo…
▽ More
The two-sided quaternionic Fourier transformation (QFT) was introduced in \cite{Ell:1993} for the analysis of 2D linear time-invariant partial-differential systems. In further theoretical investigations \cite{10.1007/s00006-007-0037-8, EH:DirUP_QFT} a special split of quaternions was introduced, then called $\pm$split. In the current \change{chapter} we analyze this split further, interpret it geometrically as \change{an} \emph{orthogonal 2D planes split} (OPS), and generalize it to a freely steerable split of $\H$ into two orthogonal 2D analysis planes. The new general form of the OPS split allows us to find new geometric interpretations for the action of the QFT on the signal. The second major result of this work is a variety of \emph{new steerable forms} of the QFT, their geometric interpretation, and for each form\change{,} OPS split theorems, which allow fast and efficient numerical implementation with standard FFT software.
△ Less
Submitted 10 June, 2013;
originally announced June 2013.
-
Instantaneous frequency and amplitude of complex signals based on quaternion Fourier transform
Authors:
Nicolas Le Bihan,
Stephen J. Sangwine,
Todd A. Ell
Abstract:
The ideas of instantaneous amplitude and phase are well understood for signals with real-valued samples, based on the analytic signal which is a complex signal with one-sided Fourier transform. We extend these ideas to signals with complex-valued samples, using a quaternion-valued equivalent of the analytic signal obtained from a one-sided quaternion Fourier transform which we refer to as the hype…
▽ More
The ideas of instantaneous amplitude and phase are well understood for signals with real-valued samples, based on the analytic signal which is a complex signal with one-sided Fourier transform. We extend these ideas to signals with complex-valued samples, using a quaternion-valued equivalent of the analytic signal obtained from a one-sided quaternion Fourier transform which we refer to as the hypercomplex representation of the complex signal. We present the necessary properties of the quaternion Fourier transform, particularly its symmetries in the frequency domain and formulae for convolution and the quaternion Fourier transform of the Hilbert transform. The hypercomplex representation may be interpreted as an ordered pair of complex signals or as a quaternion signal. We discuss its derivation and properties and show that its quaternion Fourier transform is one-sided. It is shown how to derive from the hypercomplex representation a complex envelope and a phase.
A classical result in the case of real signals is that an amplitude modulated signal may be analysed into its envelope and carrier using the analytic signal provided that the modulating signal has frequency content not overlapping with that of the carrier. We show that this idea extends to the complex case, provided that the complex signal modulates an orthonormal complex exponential. Orthonormal complex modulation can be represented mathematically by a polar representation of quaternions previously derived by the authors. As in the classical case, there is a restriction of non-overlapping frequency content between the modulating complex signal and the orthonormal complex exponential. We show that, under these conditions, modulation in the time domain is equivalent to a frequency shift in the quaternion Fourier domain. Examples are presented to demonstrate these concepts.
△ Less
Submitted 7 August, 2012;
originally announced August 2012.
-
The hyperanalytic signal
Authors:
Nicolas Le Bihan,
Stephen J. Sangwine
Abstract:
The concept of the analytic signal is extended from the case of a real signal with a complex analytic signal to a complex signal with a hypercomplex analytic signal (which we call a hyperanalytic signal) The hyperanalytic signal may be interpreted as an ordered pair of complex signals or as a quaternion signal. The hyperanalytic signal contains a complex orthogonal signal and we show how to obtain…
▽ More
The concept of the analytic signal is extended from the case of a real signal with a complex analytic signal to a complex signal with a hypercomplex analytic signal (which we call a hyperanalytic signal) The hyperanalytic signal may be interpreted as an ordered pair of complex signals or as a quaternion signal. The hyperanalytic signal contains a complex orthogonal signal and we show how to obtain this by three methods: a pair of classical Hilbert transforms; a complex Fourier transform; and a quaternion Fourier transform. It is shown how to derive from the hyperanalytic signal a complex envelope and phase using a polar quaternion representation previously introduced by the authors. The complex modulation of a real sinusoidal carrier is shown to generalize the modulation properties of the classical analytic signal. The paper extends the ideas of properness to deterministic complex signals using the hyperanalytic signal. A signal example is presented, with its orthogonal signal, and its complex envelope and phase.
△ Less
Submitted 24 June, 2010;
originally announced June 2010.
-
Complex and Hypercomplex Discrete Fourier Transforms Based on Matrix Exponential Form of Euler's Formula
Authors:
Stephen J. Sangwine,
Todd A. Ell
Abstract:
We show that the discrete complex, and numerous hypercomplex, Fourier transforms defined and used so far by a number of researchers can be unified into a single framework based on a matrix exponential version of Euler's formula $e^{jθ}=\cosθ+j\sinθ$, and a matrix root of -1 isomorphic to the imaginary root $j$. The transforms thus defined can be computed using standard matrix multiplications and a…
▽ More
We show that the discrete complex, and numerous hypercomplex, Fourier transforms defined and used so far by a number of researchers can be unified into a single framework based on a matrix exponential version of Euler's formula $e^{jθ}=\cosθ+j\sinθ$, and a matrix root of -1 isomorphic to the imaginary root $j$. The transforms thus defined can be computed using standard matrix multiplications and additions with no hypercomplex code, the complex or hypercomplex algebra being represented by the form of the matrix root of -1, so that the matrix multiplications are equivalent to multiplications in the appropriate algebra. We present examples from the complex, quaternion and biquaternion algebras, and from Clifford algebras Cl1,1 and Cl2,0. The significance of this result is both in the theoretical unification, and also in the scope it affords for insight into the structure of the various transforms, since the formulation is such a simple generalization of the classic complex case. It also shows that hypercomplex discrete Fourier transforms may be computed using standard matrix arithmetic packages without the need for a hypercomplex library, which is of importance in providing a reference implementation for verifying implementations based on hypercomplex code.
△ Less
Submitted 4 July, 2011; v1 submitted 25 January, 2010;
originally announced January 2010.
-
Fundamental representations and algebraic properties of biquaternions or complexified quaternions
Authors:
Stephen J. Sangwine,
Todd A. Ell,
Nicolas Le Bihan
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 ma…
▽ More
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.
△ Less
Submitted 1 January, 2010;
originally announced January 2010.
-
Determination of the biquaternion divisors of zero, including the idempotents and nilpotents
Authors:
Stephen J. Sangwine,
Daniel Alfsmann
Abstract:
The biquaternion (complexified quaternion) algebra contains idempotents (elements whose square remains unchanged) and nilpotents (elements whose square vanishes). It also contains divisors of zero (elements with vanishing norm). The idempotents and nilpotents are subsets of the divisors of zero. These facts have been reported in the literature, but remain obscure through not being gathered toget…
▽ More
The biquaternion (complexified quaternion) algebra contains idempotents (elements whose square remains unchanged) and nilpotents (elements whose square vanishes). It also contains divisors of zero (elements with vanishing norm). The idempotents and nilpotents are subsets of the divisors of zero. These facts have been reported in the literature, but remain obscure through not being gathered together using modern notation and terminology. Explicit formulae for finding all the idempotents, nilpotents and divisors of zero appear not to be available in the literature, and we rectify this with the present paper. Using several different representations for biquaternions, we present simple formulae for the idempotents, nilpotents and divisors of zero, and we show that the complex components of a biquaternion divisor of zero must have a sum of squares that vanishes, and that this condition is equivalent to two conditions on the inner product of the real and imaginary parts of the biquaternion, and the equality of the norms of the real and imaginary parts. We give numerical examples of nilpotents, idempotents and other divisors of zero. Finally, we conclude with a statement about the composition of the set of biquaternion divisors of zero, and its subsets, the idempotents and the nilpotents.
△ Less
Submitted 5 December, 2008;
originally announced December 2008.
-
Quaternion polar representation with a complex modulus and complex argument inspired by the Cayley-Dickson form
Authors:
Stephen J. Sangwine,
Nicolas Le Bihan
Abstract:
We present a new polar representation of quaternions inspired by the Cayley-Dickson representation. In this new polar representation, a quaternion is represented by a pair of complex numbers as in the Cayley-Dickson form, but here these two complex numbers are a complex 'modulus' and a complex 'argument'. As in the Cayley-Dickson form, the two complex numbers are in the same complex plane (using…
▽ More
We present a new polar representation of quaternions inspired by the Cayley-Dickson representation. In this new polar representation, a quaternion is represented by a pair of complex numbers as in the Cayley-Dickson form, but here these two complex numbers are a complex 'modulus' and a complex 'argument'. As in the Cayley-Dickson form, the two complex numbers are in the same complex plane (using the same complex root of -1), but the complex phase is multiplied by a different complex root of -1 in the exponential function. We show how to calculate the amplitude and phase from an arbitrary quaternion in Cartesian form.
△ Less
Submitted 22 February, 2008; v1 submitted 6 February, 2008;
originally announced February 2008.
-
Canonic form of linear quaternion functions
Authors:
Stephen J. Sangwine
Abstract:
The general linear quaternion function of degree one is a sum of terms with quaternion coefficients on the left and right. The paper considers the canonic form of such a function, and builds on the recent work of Todd Ell, who has shown that any such function may be represented using at most four quaternion coefficients. In this paper, a new and simple method is presented for obtaining these coe…
▽ More
The general linear quaternion function of degree one is a sum of terms with quaternion coefficients on the left and right. The paper considers the canonic form of such a function, and builds on the recent work of Todd Ell, who has shown that any such function may be represented using at most four quaternion coefficients. In this paper, a new and simple method is presented for obtaining these coefficients numerically using a matrix approach which also gives an alternative proof of the canonic forms.
△ Less
Submitted 18 January, 2008;
originally announced January 2008.
-
Fast complexified quaternion Fourier transform
Authors:
Salem Said,
Nicolas Le Bihan,
Stephen J. Sangwine
Abstract:
A discrete complexified quaternion Fourier transform is introduced. This is a generalization of the discrete quaternion Fourier transform to the case where either or both of the signal/image and the transform kernel are complex quaternion-valued. It is shown how to compute the transform using four standard complex Fourier transforms and the properties of the transform are briefly discussed.
A discrete complexified quaternion Fourier transform is introduced. This is a generalization of the discrete quaternion Fourier transform to the case where either or both of the signal/image and the transform kernel are complex quaternion-valued. It is shown how to compute the transform using four standard complex Fourier transforms and the properties of the transform are briefly discussed.
△ Less
Submitted 24 March, 2006;
originally announced March 2006.
-
Quaternion Singular Value Decomposition based on Bidiagonalization to a Real Matrix using Quaternion Householder Transformations
Authors:
Stephen J. Sangwine,
Nicolas Le Bihan
Abstract:
We present a practical and efficient means to compute the singular value decomposition (svd) of a quaternion matrix A based on bidiagonalization of A to a real bidiagonal matrix B using quaternionic Householder transformations. Computation of the svd of B using an existing subroutine library such as lapack provides the singular values of A. The singular vectors of A are obtained trivially from t…
▽ More
We present a practical and efficient means to compute the singular value decomposition (svd) of a quaternion matrix A based on bidiagonalization of A to a real bidiagonal matrix B using quaternionic Householder transformations. Computation of the svd of B using an existing subroutine library such as lapack provides the singular values of A. The singular vectors of A are obtained trivially from the product of the Householder transformations and the real singular vectors of B. We show in the paper that left and right quaternionic Householder transformations are different because of the noncommutative multiplication of quaternions and we present formulae for computing the Householder vector and matrix in each case.
△ Less
Submitted 10 March, 2006;
originally announced March 2006.
-
Biquaternion (complexified quaternion) roots of -1
Authors:
Stephen J. Sangwine
Abstract:
The roots of -1 in the set of biquaternions (quaternions with complex components, or complex numbers with quaternion real and imaginary parts) are studied and it is shown that there is an infinite number of non-trivial complexified quaternion roots (and two degenerate solutions which are the complex imaginary operator and the set of unit pure real quaternions). The non-trivial roots are shown to…
▽ More
The roots of -1 in the set of biquaternions (quaternions with complex components, or complex numbers with quaternion real and imaginary parts) are studied and it is shown that there is an infinite number of non-trivial complexified quaternion roots (and two degenerate solutions which are the complex imaginary operator and the set of unit pure real quaternions). The non-trivial roots are shown to consist of complex numbers with perpendicular pure quaternion real and imaginary parts. The moduli of the two perpendicular pure quaternions are expressible by a single parameter via a hyperbolic trigonometric identity.
△ Less
Submitted 10 June, 2005;
originally announced June 2005.
-
Quaternion Involutions
Authors:
Todd A. Ell,
Stephen J. Sangwine
Abstract:
An involution is usually defined as a mapping that is its own inverse. In this paper, we study quaternion involutions that have the additional properties of distribution over addition and multiplication. We review formal axioms for such involutions, and we show that the quaternions have an infinite number of involutions. We show that the conjugate of a quaternion may be expressed using three mut…
▽ More
An involution is usually defined as a mapping that is its own inverse. In this paper, we study quaternion involutions that have the additional properties of distribution over addition and multiplication. We review formal axioms for such involutions, and we show that the quaternions have an infinite number of involutions. We show that the conjugate of a quaternion may be expressed using three mutually perpendicular involutions. We also show that any set of three mutually perpendicular quaternion involutions is closed under composition. Finally, we show that projection of a vector or quaternion can be expressed concisely using involutions.
△ Less
Submitted 2 June, 2005;
originally announced June 2005.
