For questions about the quaternions: a noncommutative four dimensional division algebra over the real numbers.

learn more… | top users | synonyms

6
votes
0answers
404 views

Using Padé approximants for the quaternion exponential

On a lark, I wanted to know if one can use Padé approximants to compute the exponential $\exp(z)$ of a quaternion $z=a+b\mathbf{i}+c\mathbf{j}+d\mathbf{k}$. Since Mathematica has a package meant for ...
5
votes
0answers
31 views

Can Euler's formula be extended to Octonions and higher Cayley-Dickson algebras that are non-associative?

Although question is pretty self explanatory, I know that $e^{i\theta}=\cos\theta+i\sin\theta$ and $i$ can be replaced by a unit pure quaternion (which is a root of $-1$ like $i$). Can we do the same ...
5
votes
0answers
163 views

Riemann Zeta function, quaternions and physics

Disclaimer: This question is rather vague, and thus probably not suitable for Mathoverflow, so I prefer to ask it here. I'm sorry if it doesn't meet the standards of this site. Several years ago, I ...
4
votes
0answers
54 views

Hamilton's letter to his son

I'm looking for a better reference on this letter from Hamilton to his son where he wrote about his discovering on Quaternions. I'd like to read, if it is possible, a scanned version of the letter. ...
3
votes
0answers
127 views

Tensor product of the spaces of quaternions and complex numbers

Let $ \mathbb{H} $ be the ring of quaternions and make the vector space $A = \mathbb{H} \otimes \mathbb{C}$ into a ring by defining $$(a \otimes w)(b \otimes z) = (ab \otimes wz) $$ for $a,b ...
3
votes
0answers
118 views

Fractal derivative of complex order and beyond

Is there some precise definition of "complex (fractal) order derivative" for all complex number? I am aware of the Riemann-Liouville fractional definition given here: Complex derivative but I would ...
3
votes
0answers
114 views

The geometry of $\operatorname{PSO}(4)$ and the quaternions

Question: Given a twist of the projective space, how do I find unit quaternions that represent it? Backgroud and what do I mean: Following Conway & Smith's On Quaternions and Octonions, every ...
2
votes
0answers
32 views

Exponential Function of Quaternion - Derivation

The equation for the exponential function of a quaternion $q = a + b i + c j + dk$ is supposed to be $$e^{q} = e^a (\cos(\sqrt{b^2+c^2+d^2})+\frac{(b i + c j + dk)}{\sqrt{b^2+c^2+d^2}} ...
2
votes
0answers
31 views

Inner product space or Hilbert space of Quaternionic Functions

In what ways can you define an inner product, $<f,g>$, to create an inner product space or Hilbert space on the set of quaternionic functions $f:\mathbb{H} \rightarrow \mathbb{H}$?
2
votes
0answers
38 views

Does Shor's algorithm work for noncommutitive or nonassociative algebras?

Shor's algorithm is said to solve the hidden subgroup problem for finite Abelian groups, at least according to the Wikipedia article I read. This means that it can be used to solve factoring or ...
2
votes
0answers
34 views

Computing a particular finite set of quaternion matrices.

Let $B = \left(\frac{-1,-11}{\mathbb{Q}}\right)$ be a choice of quaternion algebra ramifying at $11$ and consider the maximal order ...
2
votes
0answers
124 views

Understanding quaternions and axis angle representations

I have a sensor that gives me a quaternion. I convert the quaternion to an axis-angle representation using http://www.euclideanspace.com/maths/geometry/rotations/conversions/quaternionToAngle/. When I ...
2
votes
0answers
326 views

4d rotations and quaternions

I have a question about 4d rotation: I programmed a little 4d game and I used the classical hyper-sphere coordinates, to rotate a vector. It works, but it has some problems :( (just for clarity I ...
1
vote
0answers
22 views

One more question about mapping quaternionic matrices into real matrices

Real matrices that lie in the image of the inclusion homomorphism $\rho_n: M_n(\mathbb C) \to M_{2n}(\mathbb R)$ are called complex linear. It is easy to see that a real matrix is complex linear if ...
1
vote
0answers
36 views

A corollary of Niven

Please proof corollary of Niven: For $a \in D\backslash R$, the equation ${t^n} = a$ has exactly $n$ solutions in $D$, all of which lie in $R\left( a \right)$, in there $R$ is a real-closed field and ...
1
vote
0answers
29 views

3D Extension of a Fun Geometric Series Puzzle

After being inspired by this question, and in particular Semiclassical's excellent response and generalisation, I thought of another generalisation to a 3-dimensional plane.: Suppose you start at ...
1
vote
0answers
35 views

Explaining Spin(3)

I’m going to discuss the action of Spin(3) on Euclidean vectors. This thing has several alternative names: “versors”/“rotation quaternions”, “quaternionic adjoint representation”, “quaternion action ...
1
vote
0answers
32 views

Cross product uniqueness

I have following relationship between vectors $A_1'(t)=\psi(t)\times A_1(t) \tag1$ $A_2'(t)=\psi(t)\times A_2(t) \tag2$ $A_3'(t)=\psi(t)\times A_3(t) \tag3$ Given Data " ' " means derivative ...
1
vote
0answers
19 views

Strong Approximation for adelic quaternionic groups

Let $H$ be a definite quaternion algebra defined over $\mathbb{Q}$, unramified at $p$, and ramified at $\infty$. Denote by $D$ the multiplicative group $H^\times$ divided by its center. In this ...
1
vote
0answers
7 views

Find path between two attitudes subject to body rate constraints

Here's my problem. I have an initial orientation and angular velocity of a body and a final orientation and velocity occurring at a specified time in the future. I have control over how input ...
1
vote
0answers
47 views

can quaternions be expressed in terms of tensor products?

QUESTIONS does this arithmetic check out? if so, is there a geometric interpretation? note: my aim was to try to find a very simple but non-trivial example which might help me begin to understand ...
1
vote
0answers
38 views

Identifying $\mathbb H^n$ with $\mathbb C^{2n}$

Let $X \in M_n(\mathbb H)$ (Hermetian field). It is possible to make $\mathbb H^n$ into a $2n$-dimensional vector space over $\mathbb C$, for example, by embedding $\mathbb C$ into $\mathbb H$ as ...
1
vote
0answers
49 views

Prove that $Q$ is a group under quaternion multiplication

Consider the subset $Q$ of the quaternions defined by $$Q=\{1,-1,i,-i,j,-j,k,-k\}.$$ Show that $Q$ is a group under quaternion multiplication. I know to prove something's a group, you must show ...
1
vote
0answers
194 views

Transform a vector to global frame and ignore rotation about one axis or Full tilt compensated magnetometer

Good day everyone. I would like to lock the rotation about one specified axis. For example, let`s imagine that we have a quaternion which desribes the orientation of our rigid body relative to the ...
1
vote
0answers
61 views

Integral elements with predescribed properties in quaternion orders

In the course of doing some calculations I have found myself wanting to answer the following question: Let $D/\mathbb{Q}$ be a quaternion algebra ramified at a prime $p$ and at $\infty$ and let ...
1
vote
0answers
43 views

Plücker coordinates of the Clifford parallels

Let $$q=\cos\theta+(x_q\textbf{i}+y_q\textbf{j}+z_q\textbf{k})\sin\theta$$ be a unit quaternion parameterised by $\theta\in\mathbb{R}$, where $(x_q,y_q,z_q)$ is fixed and $x_q^2+y_q^2+z_q^2=1$, and ...
1
vote
0answers
102 views

Indefinite quaternion algebra over Q

Let $D$ be an indefinite quaternion algebra over $\Bbb Q$. We have a chosen isomorphism $\iota \colon D \otimes_{\Bbb Q} {\Bbb R} \cong {\mathrm{M}}_2({\Bbb R})$. Q: If we choose another isomorphism ...
1
vote
0answers
59 views

Dual quaternion derivation

I'd like to derivate a dual quaternion \begin{align} \hat{q}&=(1 + \frac{1}{2}\epsilon\vec{t})q \end{align} where \begin{align} q &= e^\vec{w} , \\\vec{w}&=(0, w_1,w_2,w_3)^t ...
1
vote
0answers
47 views

How stable is my quaternion interpolation?

after some experimentation to optimize slerp I found that finding the middle between quaternion is rather cheap (for $t=0.5$) in particular: (with $\theta$ the angle between $q_1$ and $q_1$) ...
1
vote
0answers
49 views

Quaternion Hermitian diagonalization

How do I go about diagonalizing such a matrix. For example let $D$ be the quaternion algebra over $\mathbb{Q}$ with $i^2 = -1, j^2 = -11$ and take the matrix: $A = \begin{pmatrix} 11 & -j-3k \\ ...
1
vote
0answers
86 views

Quaternion barycentric interpolation

Let's say that i have a set of quaternions, each representing a 3-angle orientation. And with each quaternion is associated a real value (let's say a speed value for explanation's sake). Now with an ...
1
vote
0answers
38 views

“adding” numbers $\in\mathbb{U\left(2\right)}\times \mathbb{R}^+_0$

Let a unitary number be one that corresponds to a matrix of the form: $$\left( \begin{array}{cc} w+i x & y+i z \\ -e^{i p} (y-i z) & e^{i p} (w-i x) \end{array} \right)$$ This is analogous to ...
1
vote
0answers
51 views

Optimimal rotation using non-linear conjugate gradient

The problem I'd like to ask is the following : let $M_1$ and $M_2$ two rigid bodies with a quadratic constraint function $f$ attached to its grid points. $M_2$ is always kept static while $M_1$ can be ...
1
vote
0answers
177 views

How is the Quaternion multiplication derived?

Quaternion multiplication seems suspiciously similar to the cross product. How is it derived? Here is a description of the multiplication: Let $Q_1$ and $Q_2$ be two quaternions, which are defined, ...
1
vote
0answers
208 views

Quaternions in olympiad 3d geometry

It's known that we can use complex numbers to solve some 2d problems easier than synthetic methods. But, what do you think about using complex numbers in 3d geometry? I've found extend of complex ...
1
vote
0answers
373 views

How to convert Yaw, Pitch, Roll and Acceleration value to cartesian system?

I am having readings of Yaw, pitch, Roll, Rotation matrix, Quaternion and Acceleration. These reading are taken with frequency of 20 (per second). They are collected from the mobile device which is ...
1
vote
0answers
77 views

Polynomial function from $S^3$ to $S^3$ and quaternions

I am searching the polynomial functions from $S^3$ to $S^3$. We say $g$ is a polynomial function from $S^3$ to $S^3$, if there exists $f_1,f_2,f_3,f_4 \in \mathbb{R}[X_1,X_2,X_3,X_4]$ and ...
1
vote
0answers
170 views

Handedness Convention for Pauli Matrices/Quaternions as rotations in 3-space

Its a fairly standard result that one can represent rotations in 3-space with unit quaternions (or pauli matrices which can be mapped to the unit-quaternions). Working through a related quantum ...
1
vote
0answers
2k views

Compute Altitude and Azimuth using either Quaternions or Rotation Matrix or Roll, Pitch and Yaw component

I am struck with a mathematical problem. I want to convert the iPhone device's attitude information which is available in one of the following forms: Quaternion Rotation Matrix Roll, Pitch and Yaw ...
0
votes
0answers
17 views

Finding $J$ such that this diagram commutes

I did this exercise here and need someone to check if my work is correct: Is it possible to find a matrix $J\in M_{2n}(\mathbb C)$ such that the following diagram commutes? $$\begin{array} \mathbb ...
0
votes
0answers
22 views

Basis for quaternionic functions

We know that the set of functions $\{1,\cos x, \sin x, \cos 2x, \sin 2x, ... \; | \,x \in \mathbb{R} \}$ is a basis in the space $L^2_\mathbb{R}[-\pi,\pi]$ . Given a quaternion $z \in \mathbb{H}$ ...
0
votes
0answers
12 views

Unexpected Asymmetry in Tate-Bryan angles extracted from perturbed Quaternion

I’ve checked some references and the following MATLAB code seems to be correct for converting a quaternion to body roll, pitch, and yaw Tait-Bryan angles respectively. ...
0
votes
0answers
23 views

Maximal and prime ideals of quaternions with integer coefficients

Let $R = \mathbb{Z} + \mathbb{Z}i + \mathbb{Z}j + \mathbb{Z}k$, the subring of $\mathbb{H}$ consisting of quaternions with integer coefficients. An exercise in Goodearl and Warfield's An Introduction ...
0
votes
0answers
33 views

3D rotation by a complex angle around a complex axis.

Context In electromagnetism, it is common to meet complex angles. Snell's law can produce them (with metals and/or total internal reflection), and when we plug them into Fresnel's equations, the ...
0
votes
0answers
41 views

Rotating Frames on Curve

We are describing a curve with a moving frame. Figure 1 says about the definition of curve Figure 1 Specifications and Proprieties of the curve We can make a rotation 3D Matrix $R(s)_{3 ...
0
votes
0answers
27 views

Quaternion - An equivalent form

Given Data in the problem I have rotation matrices represented by a quaternion $q(t)$ and we are aware of axis of rotation at each point as $\psi(t)$ and angle of rotation $\theta(t)$. I have a ...
0
votes
0answers
20 views

Quaternion Integration - And conversion to 3D matrix

I have a rotation matrix let us say $R(t)$ and its quaternion $q(t)$. We know already how to convert a quaternion to rotation matrix. Now if I want find $\int R(t) \ dt \tag1 $ can we do that in ...
0
votes
0answers
25 views

Conversion of a matrix differential equation for rotation to quaternions

Specifications and Data We have a 3D rotation function $R(t)_{3\times 3}$ and function ${K(t)}_{3\times 3}$, a matrix-valued function that gives skew symmetric matrices as outputs. It has the ...
0
votes
0answers
47 views

Quaternions- Rotation Matrix Derivative

Given Data and Specifications in Question If $q(t)$ represnts the position vector as result of rotation with an angular veclocity $\omega(t)$ in quaternion , then you can make the relationship ...
0
votes
0answers
24 views

Translating Quaternion rotation from one frame of reference to another.

I have been having issues getting around this for quite a few days. I will appreciate any input or advice. I have a sphere (A) with an applied axis rotation of lets say -45 degrees around the Z-axis. ...