[pflats]

I'm a pure math dude at heart, even if I don't get to do it much any more.

Two years ago, my wife asked me, "If you had to get a math equation tattooed on your body, what would it be?" I answered, "i^2 = j^2 = k^2 = ijk = -1".

I felt a brief flush of anger when I saw this headline.

This is an extraordinarily good article that should be read by pretty much anyone doing graphics programming.

[s_dev]

https://en.wikipedia.org/wiki/Broom_Bridge

You're like this Irish bridge that has the notation inscribed on it as well.

I would like to own an OpenGL kettle with the expression on it.

[jchallis]

Friesland (formerly part of Melitta) sells the kettle for about 37 euro. If you have a way to add the messaging, you are well on your way.

https://frieslandversand.de/teekanne-1-4l-weiss-utah-teapot

[kleer001]

Hahaha! That reminds me of the time I couldn't recall the name for "leaf blower" and called them an "air rake".

If anyone's curious the story is here: https://en.wikipedia.org/wiki/Utah_teapot

[andybak]

> I would like to own an OpenGL kettle

Do you mean the Utah Teapot?

[s_dev]

Yes -- I don't even know why I had the word kettle in my head.

[war1025]

I knew what you meant and didn't even consider that it was the wrong name, for what it's worth.

Kettle and teapot are synonyms as far as I'm concerned.

[bmn__]

These are different equipment.

A kettle is used for heating water. In earlier times, it was made out of metal and put onto a heat source (fire, stovetop). Nowadays it is almost entirely displaced by the electric kettle, which is commonly made out of plastic and contains a metal heating plate or spiral on the inside.

A teapot is a ceramic pitcher where you put the boiling water and tea leaves to brew the tea.

[scott_s]

Earlier-time kettles may be more common than you think.

[jfengel]

Kettles go on the stove (or have a built in heater), and are used for boiling water.

You pour the boiling water into a teapot, usually made of ceramic, which holds the tea leaves.

Not that it's important, but now ya know.

[DonHopkins]

They're both called black.

https://en.wiktionary.org/wiki/pot,_meet_kettle

https://en.wiktionary.org/wiki/pot_calling_the_kettle_black#...

[bregma]

When I visited Dublin that was the one spot I absolutely had to visit. For some folks it was the Temple Bar, for others the James Joyce trail. For me, it was the plaque on the Broombridge and the Trinity College Library.

[chadcmulligan]

If you ever happen to be near a Siggraph the render man guys hand out little walking Utah teapots - a tradition going back many years apparently. Worth the price of admission :-)

[CountHackulus]

I explicitly made a detour when I was in Dublin to take a picture of it the plaque on that bridge. Worth it.

[Isamu]

Any idea why the name Hamilton appears to be deliberately defaced on the inscription?

[xg15]

> I answered, "i^2 = j^2 = k^2 = ijk = -1".

Could you explain why? For someone without a math background, it seems indeed like a pretty arbitrary thing to define.

(I can understand the idea behind complex numbers and how the multiplication rules followed from the desire to define the square root of a negative number - however, so far, I don't get the motivation of introducing even more "special" elements)

[jjoonathan]

> the multiplication rules followed from the desire to define the square root of a negative number

That's a bit reductionist. You don't just get the square root of a negative number, you get the Fundamental Theorem of Algebra (an Nth degree polynomial has N roots), which is a mathematical power tool if ever there was one.

Complex numbers dramatically simplify a bunch of proofs in linear algebra, give us tons of nifty integration techniques in complex analysis (the techniques are relevant for real numbers, they just use C), provide a representation of 2D rotations that can be manipulated using the rules of algebra (this is the most relevant to the thread), and give physicists, electrical engineers, and signal processing people an abstraction to represent oscillations (energy sloshing between two buckets = two elements of a complex number, which you can then do algebra with). They're a workhorse.

Quaternions are an attempt to do that in 3D. The dot and cross product of vector calculus are other pieces of those efforts. Unfortunately, vector calculus escaped the "math lab" before it was complete and got written into other fields and engineering books, so even though the underlying concepts were eventually sorted out (it's called Geometric Algebra), everybody just uses the half-baked abstractions (quaternions, dot product, cross product) which are Good Enough. It's a perfect example of "worse is better" affecting something other than software engineering.

[SkyBelow]

>Quaternions are an attempt to do that in 3D.

I guess the question is, why does it then stop. Why not a 4D alternative. Or if you look at it going by scalars needed in a single value, it goes from 1 to 2 to 4. Why not 8 or 16 (or some other growth)? Why does it stop there?

Also, is there as easy of a problem to understand introducing the 3D technique (be it quarternions or be it Gemoetric Algebra) that works as well as using sqrt(-1) for imaginary numbers?

[nilkn]

It can be generalized, but doing so requires some subtlety. The naive approach (the Cayley-Dickson construction) can be repeated ad infinitum, but it doesn't continue to yield useful results for representing geometric interactions like rotations in high dimensions.

Thankfully, this is a solved problem. The correct generalized structure for doing geometry is called a Clifford algebra. For n-space and any nonnegative integers p,q satisfying p+q=n, there is a corresponding real Clifford algebra Cl(R,p,q). Cl(R,0,1) turns out to be isomorphic to C (the complex numbers), and Cl(R,0,2) is a four-dimensional algebra that turns out to be isomorphic to Q (the quaternions).

This is actually not that surprising, because the signature (p,q) more or less means the algebra is built by adjoining p generators that square to +1 and q generators that square to -1 in the base field. This is formalized by taking a quotient of the tensor algebra of the field. You might wonder though why we have (p,q) = (0,2) for the quaternions. That's because if the two generators that square to -1 are i and j, then we can build the third as k = ij, so we get it for free.

A real Clifford algebra is known as a geometric algebra, and these give rise to objects called rotors. Rotations in an arbitrarily high-dimensional space can then be written as conjugation by a rotor.

[lanstin]

You can't get the associative property in higher dimensions. There is something called octonions (which is not associative but has some similar tho weaker properties) https://en.wikipedia.org/wiki/Octonion There is a sequence of such structures, but after the Octonions you get non-zero numbers that multiply to zero: https://en.wikipedia.org/wiki/Cayley%E2%80%93Dickson_constru...

[jjoonathan]

> I guess the question is, why does it then stop. Why not a 4D alternative.

It doesn't stop. That's what motivated geometric algebra, which works in any dimension. Quaternions are a sub-algebra of geometric algebra. They represent 3D rotations, which makes them interesting in their own right.

Asterisk: I believe there's a sign convention issue in mapping between quaternions and the even subalgebra of the 3D geometric algebra, so they aren't identical, just isomorphic.

> Also, is there as easy of a problem to understand introducing the 3D technique (be it quarternions or be it Gemoetric Algebra) that works as well as using sqrt(-1) for imaginary numbers?

That's an extraordinarily high bar. I don't believe anything reaches it. Part of the problem is that complex numbers are one of the most successful concepts in all of mathematics. The other part of the problem is that most of the useful facets of geometric algebra escaped the field of abstract mathematics under their own name before the unifying structure was discovered. The dot and cross product, quaternions, differential forms and the general Stokes' theorem are all examples. The remaining value proposition of geometric algebra lies mostly in getting rid of minor annoyances that come from this half-baked nature of traditional vector calculus tools:

* Cross products break in more than 3 dimensions and they break if you reflect them (see: pseudovectors). Bivectors have no such issues. They represent rotations in any dimension, reflected or not.

* Vector algebra with dot and cross products involves memorizing lots of new identities and applying creativity to work around the absence of division, while geometric algebra just has division and the same bunch of algebra tricks you already know. The geometric product isn't commutative, so it isn't perfect in this sense, but learning to deal with non-commutative algebra is a much more fundamentally useful thing than learning a bunch of 3D-specific identities.

* Dot and Cross with one argument fixed "destroy information" mapping from their input to their output. If you put them into an equation, the equation does not fully constrain the free vector, so you are often going to need more than one equation to represent any single geometric concept. Not so with geometric algebra. Many concepts map to a single equation. Including Maxwell's Equation (I use the singular intentionally)!

[uryga]

> geometric algebra just has division

do you have a good reference for this? i've looked into GA bit but don't remember seeing anything like this. e.g. what would dividing a bivector by a vector mean?

[jjoonathan]

Here's a Math StackExchange thread that gives the procedure I'm familiar with: https://math.stackexchange.com/questions/443555/calculating-...

[nitrogen]

I still haven't wrapped my head around quaternions, but 3Blue1Brown on Youtube has a good series of videos justifying and explaining the complex numbers and quaternions in terms not of sqrt(-1) but of transformations of space.

[gugagore]

I think the answer to that question is that it doesn't "stop", but I'll try to offer a reason that isn't "octonions exist", but instead goes in a different direction.

Geometric Algebra can capture the structure of both complex numbers and quaternions, and also the structure of the dot products, cross products, and the different kinds of vectors that arise from those operations.

To be clear, matrix multiplication can also capture the structure of complex numbers [1] and quaternions [2]. There might also be a concise reference to matrix representations of some geometric algebras, but I didn't find one. So matrices are kind of one way to not "stop at 3D", but the structure is almost too uniform (which on one hand makes it too general, and on the other hand makes it not general enough), I'd say). Sure, with a matrix you can represent rotations in 4D, but you still need to operate on vectors only. Geometric algebra, if it does have a matrix representation, gives names to special kinds of matrices and special kinds of vectors.

[1] https://en.wikipedia.org/wiki/Complex_number#Matrix_represen... and [2] https://en.wikipedia.org/wiki/Quaternion#Matrix_representati...

[JackFr]

8 https://en.wikipedia.org/wiki/Octonion

16 https://en.wikipedia.org/wiki/Sedenion

32 https://arxiv.org/pdf/0907.2047.pdf <- Trigintaduonions

[nilkn]

By the Frobenius theorem, there are only three possible structures for a real finite-dimensional associative division algebra. Those structures correspond to the real numbers, the complex numbers, and what are called the quaternions. So essentially the above definition is not arbitrary because it's the only other possible way (besides R and C) to get that sort of algebraic system. Of course, this is not obvious at all. C famously is algebraically closed as a field, which makes it a ripe playground for much of topology, algebraic geometry, and analysis. There are some nonobvious generalizations of algebraic closure for the quaternions. (Naively, the quaternions are not algebraically closed in the classic sense because, evidently, ix + xi - j has no root.)

As for why one might want to consider such a noncommutative division algebra in the first place, the answer I suppose is just that it manages to pop up in a variety of areas in mathematics. We've already seen the connection with rotations in 3-space (the topic of this post). Here's another. The 3-sphere (that is, a sphere in 4-dimensional space whose surface is itself 3-dimensional) can be realized as the multiplicative group of unit quaternions spanned by {1,i,j,k}. Consider the circle H = {cos(theta) + i * sin(theta)} for real values of theta; H is a subset of the 3-sphere. If r is any unit quaternion, then the coset rH is another circle. But given a subgroup H of any group G, the left cosets of H in G form a partition of G. Therefore, these circles just described form a partition of all of the 3-sphere (the Hopf fibration).

Speaking of rotations, the involvement of quaternions should not be surprising. Indeed, complex numbers are intimately involved in rotations in 2-space (multiplication by a unit complex number e^(i*theta) corresponds to rotation about the origin by theta). Quaternions can similarly express rotations in 3-space, but one cannot just left- or right-multiply but must instead use conjugation. In general, one can generalize this using the techniques of geometric algebra.

[JackFr]

When I took abstract algebra as an undergrad, we did a brief bit on the quaternions. Bursting with curiosity I asked the professor if 8 and 16 dimensional structures existed. "Of course! But just as you lose commutivity with Q, when you go to the octonions, you lose associativity, and the sedonions lack "alternativity" (had to look that up -- I didn't remember) and they're basically algebraic novelties with out any application."

[bonzini]

Right, but while the Cayley-Dickson construction mostly provides novelties (though I remember reading something about octonions and string theory[1]), Clifford algebras are derived differently; they are isomorphic to complex numbers and quaternions for two and three base vectors respectively, but they produce something else after quaternion. This "something different" can be used to represent, you guessed it, reflections and rotations in a 4D space. Because they are not obtained from the Cayley-Dickson construction they are not division algebras, however.

[1] https://www.quantamagazine.org/the-octonion-math-that-could-...

[BlueTemplar]

That amazing graphic !

[jfengel]

As other replies have said, the math is kind of important. The idea of a tattoo harkens to the story of the discovery of quaternions: Rowan Hamilton was out for a walk in Dublin, trying to figure out how to generalize complex numbers. He was walking under a bridge when he came up with that equation, and carved the equation on the bridge.

His carving, if it ever existed, is gone. But there is a plaque on the bridge commemorating the event. It reads:

Here as he walked by on the 16th of October 1843 Sir William Rowan Hamilton in a flash of genius discovered the fundamental formula for quaternion multiplication i² = j² = k² = ijk = −1 & cut it on a stone of this bridge.

[GlenTheMachine]

My PhD advisor was a stickler for citing original sources. Really, really original sources. He made me cite some papers written by Lagrange in the 17th century in French, when neither he nor I nor nearly anyone else who would ever read my dissertation could speak French.

I got to the point where I needed to cite an original source for the quaternion equations, so I cited the bridge.

He got the message.

[kens]

For a summary of William Rowan Hamilton's life (including the bridge story), see this amazingly clever video based on the song from Hamilton: https://www.youtube.com/watch?v=SZXHoWwBcDc

[chadcmulligan]

There's also a great book "A History of Vector Analysis: The Evolution of the Idea of a Vectorial System" by Crowe which covers vectors from Complex numbers to Gibbs vectors and includes Hamilton and the competitor at the time Grassman Algebra, both the basis for geometric algebra.

Its one of the only maths history books I couldn't put down.

[pflats]

Thanks for writing this. It was indeed a large part of why I like it. I added more detail in a reply to the parent post.

https://news.ycombinator.com/item?id=22204995

[pflats]

I got busy, so I wanna say thanks to everyone who tagged in for me. So many great answers. I'll link a few that speak the most to my own feelings.

Why do I like it? I am, as klodolph notes [1], a dyed-in-the-wool algebraist. It's where I find the most beauty and joy in mathematics.

[1] https://news.ycombinator.com/item?id=22202606

This invention/discovery is a fundamental development in abstract algebra, not a terminal one. Quaternions are just a jumping-off point, and I've always found the Caley-Dickenson construction that pauldraper explains[2] absolutely beautiful.

[2] https://news.ycombinator.com/item?id=22202513

Why would I want it specifically as a tattoo? jfengel points out the special history of that specific equation[3]: it was (allegedly) carved into a bridge in Dublin when Hamilton stumbled onto it, but the carving is gone. Kinda fitting to give it new permanence.

[3] https://news.ycombinator.com/item?id=22202513

So, putting it all together: it's a fundamental development in abstract algebra, which is my jam. It's could have been permanently inscribed in a bridge, but that's been lost to time, so giving it new permanency seems fitting.

Also, it's practical. My first thought was actually the Cayley table for the Klein four-group[4], but that would be a lot harder to get tattooed in a nice visible way. How I went from there to Hamilton's quaternion equation is left as an exercise to the reader. (If you're new to Cayley tables, they're just fancy times tables. Replace "e" with 1.)

[4] https://en.wikipedia.org/wiki/Klein_four-group#Presentations

[davidgl]

I'm not a mathematician, but I think it's about extending the idea of a scalar and a single rotation (Complex numbers) into a scalar + 3 rotations (Quaternions). The idea can be extended further to a scalar with 7 rotations - https://en.wikipedia.org/wiki/Octonion, but no further, for reasons I don't understand.

[paulddraper]

You can actually go as far as you want to with the Cayley–Dickson construction [1] of algebras.

1. Complex numbers have associativity and communitivity of multiplication. (That is, (ab)c=a(bc) and ab=ba).

2. Quaternions have associativity but not communitivity.

3. Octonions have neither.

4. Sedenions [2], trigintaduonions, and not associative, commutative, nor even alternative [3]. (Alternative is associative specifically when the middle value is equal to one of the other's; i.e. a(ab)=(aa)b.)

[1] https://en.wikipedia.org/wiki/Cayley%E2%80%93Dickson_constru...

[2] https://en.wikipedia.org/wiki/Sedenion

[3] https://en.wikipedia.org/wiki/Alternative_algebra

[pflats]

Thanks for writing this! I referenced it in a reply upthread for why I like the equation.

https://news.ycombinator.com/item?id=22204995

[QuesnayJr]

You lose the ability to divide after the octonions.

[Koshkin]

See, for example, https://math.stackexchange.com/questions/911807/what-is-the-...

[tzs]

It's nice to see something other than e^(ᴨi)=-1.

If I had to get a math tattoo, I think I'd go for lim n→∞ Q_n^(1/n) = e^(ᴨ^2/(12 log 2)).

That comes from a theorem proved by Khinchin and Lévy. Khinchin proved that for almost all real numbers if you take the sequence of convergents of their continued fraction expansion, {P_1/Q_1, P_2/Q_2, ...}, then the sequence {Q_1, Q_2^(1/2), Q_3^(1/3), ...} approaches a limit, which is the same limit for almost all real numbers. Then Lévy determined the value of that limit, which is now called either Lévy's constant or the Khinchin–Lévy constant.

If not that, then this (in standard math notation rather than the verbose notation I'm using here):

Line 1: Let H_n = sum i=1 to n 1/n

Line 2: Hypothesis: sum d|n d < H_n + e^H_n log(H_n) for all n > 1

That's neat because that hypothesis is true if and only if the Riemann hypothesis [1] is true [2].

The Riemann hypothesis is a conjecture about complex numbers, and is widely considered to be the most important unsolved problem in pure mathematics. That it turns out to be equivalent to a such a simple conjecture involving just integers and a couple real functions from pre-calculus is a surprise.

[1] https://en.wikipedia.org/wiki/Riemann_hypothesis

[2] https://arxiv.org/abs/math/0008177

[BlueTemplar]

I'm curious about that "almost all" ?

[SamReidHughes]

All but a set with measure zero, in this case.

[BlueTemplar]

Why just not say "non-zero" then ?

[tzs]

"non-zero" is not the same as a "all but a set of measure zero". Here's what "measure zero" means:

A set S of real numbers has measure zero if for any positive ε no matter how small, there exists a countable set of intervals such that (1) every element of S is in at least one of the intervals, and (2) the total length of the intervals is < ε.

For example, let S be the set of positive integers, {1, 2, 3, ...}. Proof: consider the set of intervals {I_1, I_2, I_3, ...}, where I_n is the interval [n-ε/2^(n+2), n+ε/2^(n+2)]. Every member of S is contained in one of these intervals.

The length of I_n is ε/2^(n+1). The length of all the intervals is ε(1/4 + 1/8 + 1/16 + ...) = ε/2 which is < ε.

Thus S, the set of positive integers, has measure zero.

A similar argument works for any countable set of real numbers, such as the rational numbers or the algebraic numbers, and so something that was true everywhere except at rational numbers would by true for "almost all" real numbers.

[logfromblammo]

Mine would be the Fano plane mnemonic for octonion multiplication, using two curves of constant width instead of the triangle and the circle. That's got the quaternions covered with the inside curve.

It can go next to the skeletal formula for benzaldehyde on my imaginary nerd canvas.

[BlueTemplar]

Brilliant !

[DonHopkins]

Then you could dress up for Halloween as Broome Bridge!

[pastrami_panda]

I love quaternions, but I have to ask: you'd rather have that formula than Euler's identity tattooed?

[klodolph]

Today, mathematicians in the most general sense divide into algebraists and analysts. Tattooing Euler’s identity identifies you as a member of the analyst tribe, you live and breathe limits, sequences, and measures. A tattoo of Hamilton’s i^2 = j^2 = k^2 = ijk = -1 would identify you as a member of the algebraist tribe, who lives and breathes commutators, cohomologies, and quotients.

[pflats]

Thanks for writing this! It's spot on. I referenced it in a post upthread[1].

[1] https://news.ycombinator.com/item?id=22204995

[FisDugthop]

As another algebraist (category theory and computational complexity), this makes a lot of sense. Euler's identity is capricious and Euclidean to me, and far from the most beautiful equation, although it is still remarkably elegant. I don't have any tattoos, but I might consider some categorical diagram; I don't know how I'd pick just one! Perhaps there is some cool way to draw the Snake Lemma with a realistic-looking snake.

[uryga]

> I don't know how I'd pick just one!

picking one up to unique isomorphism should be good enough ;)

[jayshua]

I’d probably go with “e^pi*i = -1”. Kinda cliched, but I really love that equation.

[Mathnerd314]

Then you would have worry about the tau-ists: https://tauday.com/tau-manifesto

[jayshua]

lol. I'm actually one of them. "e^tau*i=0" is my preferred form. I don't tend to bring it up because we're a little crazy and I don't want to draw attention to myself.

[evozer]

shouldn't it be e^tau*i = 1 if tau is 2pi?

[jayshua]

Oops, typo. You're right. You could also write "e^tau*i = 1 + 0" to relate the "5 most important numbers in math" but that form always seemed a bit forced to me.

[nybble41]

If you write "-1 * e^(tau * i) + 1 = 0" you can reasonably claim to relate six important numbers: -1, e, tau, i, 1, and 0. IMHO that looks a bit less forced than the version with "1 + 0", though of course it's not the simplest form. (I mean, that "+ 0" could have been inserted almost anywhere...)

[pizza]

Someone once showed me this "big brain" version of the equation: ceil[e] - floor[pi] = 0 :)

[BlueTemplar]

What ?

And Euler's formula is about rotations in a 2D plane and the way complex exponentiation describes it.

This looks like it loses important information ?

[pizza]

Oh yeah, it's definitely just a stupid joke equation. Probably only funny to anybody who's seen Euler's equation a thousand times.

[BlueTemplar]

Oh, lol, ok, I didn't get it because I was searching for something less stupid ! XD

[Koshkin]

Or, better yet, e^pi*i + 1 = 0. (My personal preference is E = mc^2.)

[klodolph]

Why not E^2 = m_0^2 c^4 + p^2 c^2?

[jtolmar]

I'd probably pick the normal-normal conjugate prior, in precision form.

[Koshkin]

She probably hoped for a different answer.

[tudelo]

No, I bet this was exactly the answer they were looking for. After all, it was love at first sight.