Quaternion Differentiation (2012)(fgiesen.wordpress.com)
fgiesen.wordpress.com
Quaternion Differentiation (2012)
https://fgiesen.wordpress.com/2012/08/24/quaternion-differentiation/
13 comments
> I think we should pass a hacker news law via referendum (that's a thing, right? It should be!) that any article mentioning quaternions must also generalize to Octonions ….
Given how much weirder octonions are than quaternions, I think that's mainly a recipe for not learning the most interesting things about quaternions. I'd rather hear about the connections between octonions and exceptional groups on one hand, and let quaternions be good at what they're good at on the other hand, and let the twain meet only as circumstances dictate.
Given how much weirder octonions are than quaternions, I think that's mainly a recipe for not learning the most interesting things about quaternions. I'd rather hear about the connections between octonions and exceptional groups on one hand, and let quaternions be good at what they're good at on the other hand, and let the twain meet only as circumstances dictate.
Why octonions though? Quaternions are nice and simple, octonions are much stranger. Still hoping we find interesting uses for them sometime.
(B) Would exclude this article so I think it's a bad rule.
The “differentiation” in the title turns out to be derivative of a quarternion-valued function with respect to a scalar parameter.
But, I wonder if you math folks know of a definition of derivative of a quarternionic function with respect to quarternionic variable, generalizing the Cauchy-Riemann definition [1] of complex differentiation?
[1] https://en.m.wikipedia.org/wiki/Cauchy%E2%80%93Riemann_equat...
But, I wonder if you math folks know of a definition of derivative of a quarternionic function with respect to quarternionic variable, generalizing the Cauchy-Riemann definition [1] of complex differentiation?
[1] https://en.m.wikipedia.org/wiki/Cauchy%E2%80%93Riemann_equat...
In Wirtinger calculus (https://en.m.wikipedia.org/wiki/Wirtinger_derivatives) you consider a complex variable and its conjugate as independent. This simplifies a lot of things e.g. Cauchy Riemann becomes just df/dz* = 0.
TensorFlow works this way, jax instead differentiates real and imaginary parts.
I wonder if there is a version for quaternions now.
TensorFlow works this way, jax instead differentiates real and imaginary parts.
I wonder if there is a version for quaternions now.
The problem with generalizing this to quarternions is that the conjugation operation for quaternions can be expressed using arithmetic operations on the quaternion:
q* = -0.5(q + iqi + jqj + kqk)
So the analogy to complex analysis where we'd talk of z and z as independent doesn't work anymore - since we can write q* as an 'analytic' function of q.
It's not surprising you'd need something different though, since (q, q*) is only two variables and quaternions are 4-dimensional. I don't know a lot about quaternions, but Penrose introduces them in The Road to Reality and says (roughly) "yeah, they don't have the nice analytic-function properties that complex numbers have" and seems to kinda leave it at that. If anyone knows more and wants to reduce my ignorance, I'd be grateful.
q* = -0.5(q + iqi + jqj + kqk)
So the analogy to complex analysis where we'd talk of z and z as independent doesn't work anymore - since we can write q* as an 'analytic' function of q.
It's not surprising you'd need something different though, since (q, q*) is only two variables and quaternions are 4-dimensional. I don't know a lot about quaternions, but Penrose introduces them in The Road to Reality and says (roughly) "yeah, they don't have the nice analytic-function properties that complex numbers have" and seems to kinda leave it at that. If anyone knows more and wants to reduce my ignorance, I'd be grateful.
I think some of the stars for your complex conjugates fell foul of HN formatting:
https://news.ycombinator.com/formatdoc
https://news.ycombinator.com/formatdoc
The Cauchy-Riemann equations just say that the derivative (as a map of 2-vectors) acts as a complex multiplication (treating 2-vectors as complex numbers). For quaternions you would say it acts as quaternion multiplication I guess. But since quaternions aren't commutative, you would also have to say if it's acting as a left or a right multiplication...
In the "Multivector Derivative" section you may plug in an arbitrary multivector function of your liking:
https://en.wikipedia.org/wiki/Geometric_calculus
https://en.wikipedia.org/wiki/Geometric_calculus
[deleted]
The general theory of this differentiation process is given here: https://en.wikipedia.org/wiki/Exponential_map_(Lie_theory)
B) I think we should pass a hacker news law via referendum (that's a thing, right? It should be!) that any article mentioning quaternions must also generalize to Octonions, or at least gesture in that vague direction to pay respect. As the first paper I found on Octonion Differentiation says best:
https://arxiv.org/pdf/1003.2620 FWIW the octonion answer seems to be much more dependent on what kind of analysis you're doing. AKA "it's complicated"