Hacker News new | ask | show | jobs
by cherryteastain 1 day ago
Not a fan of the article. It resorts to ad hominem attacks like

> GA had gotten a bad reputation because of its tendency to attract bad mathematicians and full-on crackpots. Hestenes honestly sounds like one a lot of the time, and I’m not really sure whether he is or isn’t. It makes sense, really.

> GA ended up appealing to a lot of fringes: people who only had undergraduate degrees, people who had dropped out of PhDs, people with PhDs from unrigorous programs, people who had been good at math but were perhaps going a bit senile, random passerbies from engineering or computer programming, run-of-the-mill circle-squarers, people who had a bone to pick with establishment mathematics and felt like all dissenting views were being unfairly suppressed

> It didn’t help that a lot of the texts by the actually-competent GA people, like the Cambridge group, tended to say things that sounded and still sound kind of crackpotty as well.

After reading the article, the main "case against geometric algebra" I could find in there was that the author does not like the people using/doing research in geometric algebra, such as the ostensibly failed academics from a Cambridge research group [1] which the article links to.

I was expecting in the "An Actual Case Against GA" section that the author would demonstrate something like "Geometric Product actually does not work if you apply it to xyz domain". Rather, the section just ended up being mostly about the type of bikeshedding you see about naming of variables in programming.

There is I guess merit to the core "there is no good general interpretation or usage for the geometric product or mixed-grade multivectors" thesis of the article but calling other academics crackpots really subtracts from that message.

[1] https://corde.phy.cam.ac.uk/

8 comments

I think this is unfair to the article.

Those paragraphs are in the background section, clearly labeled as "this is what other people think", and are followed with a high effort explanation of (presumably) the substance of the theory and why the author considers some of their ideas to be good and others to just increase the confusion.

The technical arguments are less like variable naming discussions and more like arguments against teaching logic circuit design with only nand (without naming the and/or/not operators) or using untyped lamba calculus (with Church numerals, e.g. `3 := λf.λx.f (f (f x))`) to do calculations on numbers.

At the least, the five bolded statements summarizing 5 of the 7 highly technical arguments should count as substantial claims.

Of course, having learned of the subject only from the author, it's hard to know whether it's a good representation of GA or a strawman, but the theory that he teaches as GA indeed seems quite flawed as a tool for thought.

I meant it more as an assessment of the state of affairs, not as an ad hominem (I have no opinion about the people at all). IMO the crackpottery is impossible to ignore, and if you don't talk about it everyone feels like they're going crazy. It's a very widely-noticed thing that is distinct and bizarre compared to other parts of math.
Crackpot really has connotations like "flat earther" and "aliens built the pyramids". It's one thing to say "I believe GA proponents' claims regarding the usefulness of the geometric product are overstated". It's another to say "GA proponents are crackpots".
Well, I said "sound kind of crackpotty", not "are crackpots", about the reputable writers. My point (ish) is that I would really like it if the non-crackpot GA writers would try a lot harder not to sound like crackpots! It is a real issue. I've never seen writing in any other field of math which so frequently strays into sounding unhinged. (Referring mostly to Hestenes + the Cambridge group here.)
Only tangenially relevant, but the exagerrated differentiation of universities, and levels of education (e.g. PhD vs. not) has always been bothering me. I only have experience in a different field (CS), and yes, those things can be indicators, but I've experienced so many outliers in both directions to know that degrees need to be taken with more than just a grain of salt.
This differentiation is amplified in (pure) mathematics, where two different subfields can have essentially zero overlap*, making peer review and general QA difficult to scale.

* Physical sciences also have a lot of diversity, but at least you can go to their labs and see their equipment, reagents, data, etc cetera.

Yes, this is essentially because mathematics is such an old science and goes very deep into branches. That's btw also why getting a certain degree is much harder there than in any other fields I've seen (did a bunch of courses at university in various fields, and the diff between e.g. pure math and psychology is almost comical).
you might want to read this post by a GA researcher: https://terathon.com/blog/poor-foundations-ga.html

especially the part about duals -- made me feel like I was going crazy when I was trying to figure out degenerate metrics: every source deals with it in a slightly different (often sloppy) way; you're sure it all must be possible to resolve and get something beautiful and consistent, but not while you're trying to apply it to a specific problem you need to solve

It does starts to sound a bit like chortling about what a weird asshole Semmelweis is. ISTR to recall that US students of linguistics were slow to adopt the International Phonetic Alphabet because it North America it had become associated with elocutionists, and no proper academic linguist wanted to look like an elocutionist grubby.
The geometric product is transform composition.

TRANSFORM COMPOSITION!

(sorry, it's not your fault or even his that you didn't know this - GA textbooks should have it as the first thing they teach but they don't)

I completely agree, incidentally... And I have come to see this more clearly since writing the article, in part due to talking to you. Maybe I should update it accordingly. I've been meaning to write a followup where I explain this viewpoint but have had trouble finding the mental energy for it.
Ah! If you do it would probably would need to be a followup rather than addendum
Well, I think my points in the parent article here do stand (I'm aware that you do not). The fact that there is a good interpretation of the geometric product in some cases does not obviate the fact that everyone's writing crappy intuitive things about it. Anyway it has always been my stance that there is a _good_ version of GA, and people need to figure out what it is and write about that instead of bloviating about how good the current version is. Treating the GP as a composition of operators is a start, but it's not the whole picture --- why do operators compose in that particular way? why are these your operators in the first place? My hunch is that GA is really a subset of a larger and more intuitive algebra that has very obvious answers to these questions, probably from a representation-theory perspective.

(I meant to do this followup soon after the first article but I've been been having a lot of difficulty focusing / constant brain fog for the past few years so it's been on the to-do list instead; part of the problem is that to do it right I need to go read and digest everyone's different treatises / expositions on GA ... and that has felt taxing, to say the least.)

Very sorry to hear about the brain fog, that's rough. Best of luck getting through it.

> in some cases

What cases do you have in mind?

> why are these your operators in the first place?

This is a perfectly reasonable question but I want to point out that it's a bit philosophical and not the kind of thing physics undergrads tend to enjoy hearing about. For example Clifford algebras like matrix algebras are associative algebras over commutative fields (real or complex numbers) - why? Why does the universe like that? I can hazard guesses but it's mostly above my paygrade, possibly above anyone's paygrade. But if it's to be asked of GA it should be asked of matrices too, I'm sure you can agree.

There's something that distinguishes Clifford algebras from matrix algebras. They start from the assumption that vectors anticommute when they're orthogonal. That's easy to explain. It says that if A and B are orthogonal vectors then A->B is the opposite (negation) of B->A.

Aside from those the last thing is that you say your basis vectors have a certain "metric" on them. There's deep philosophical questions about why the universe cares so much about metrics, but they're not at all specific to Clifford Algebra.

Personally I find that very intuitive, much more intuitive than any other tensor algebra I'm aware of.

Is that linear composition or affine?
Can do either! If your multivectors represent linear transformations then their products will also be linear transformations. If they're affine transformations then their products will be affine transformations. Euclidean, conformal, etc!
> I could find in there was that the author does not like the people using/doing research in geometric algebra

The start of the article makes a specific technical claims:

> Hestenes’ Geometric Product is not a very good operation and we should not be rewriting all of geometry in terms of it

Later he explains why:

> there is no good general interpretation or usage for the geometric product or mixed-grade multivectors

How is the geometric product any less motivated than any other notation? Ultimately the value of a notation is how easy it makes it to work and think. I'm not sure if GA achieves that or not, but what's the harm in trying a new approach?

AFAIK nobody is proposing to replace all of geometry with GA, only 3+1 spacetime.

Author doesn't argue against the idea of choosing a new notation, he makes very detailed arguments about why this specific new notation is clumsy to work with.
Yes but my point is that their argument is undermined by the extreme clumsiness of standard mathematical physics notation. I don't believe GA is the best possible notation for physics but it could be a stepping stone. We need more people who explore such things rather than more people who call each other crackpots.
Author is not calling them crackpots, and _is_ strongly advocating for some of their new notation, and explicitly encouraging readers to find better notation where he dnsagrees with theirs.
I’m just refuting the claim that the article only focuses on ad hominem arguments.
He's distressingly wrong about this, the geometric product is transform composition

(Apologies to folks who have seen me repeat this a million times; but it's very important folks be aware of it)

> After reading the article, the main "case against geometric algebra" I could find in there was that the author does not like the people using/doing research in geometric algebra

Mathematics is a social activity. The research cultures of different branches matter.

Which is why articles like this are obnoxious