Bivector
Bivector
  • 27
  • 214 249
GAME2023 Prequel
GAME2023 - Geometric Algebra Mini Event.
"The Prequel"
The minimal algebraic introduction you need to follow the GAME2023 talks.
Be sure to subscribe - remaining talks soon!
00:00 Introduction.
00:39 What is Geometric Algebra?
02:04 New Numbers - Why care?
06:31 New Numbers - What are they?
10:39 New Numbers - How do I use them?
21:56 Cayley Tables!
25:10 Spacetime Algebra.
28:06 Spacetime Split & Maxwell's Equation.
33:13 PGA.
38:09 Recap!
Переглядів: 3 684

Відео

SIGGRAPH 2022 - Geometric Algebra
Переглядів 10 тис.Рік тому
The SIGGRAPH 2022 course on Geometric Algebra. by Alyn Rockwood and Dietmar Hildenbrand
PGA Ep 1 : The Reflection Menace
Переглядів 19 тис.2 роки тому
Episode 1 of 6 of the SIBGRAPI2021 tutorial on Projective Geometric Algebra. All the details in the writeup at bivector.net/PGADYN.html All demos and implementation details at enki.ws/ganja.js/examples/pga_dyn.html
PGA Ep 3 : Revenge of Infinity
Переглядів 7 тис.2 роки тому
Episode 3 of 6 of the SIBGRAPI2021 tutorial on Projective Geometric Algebra All the details in the writeup at bivector.net/PGADYN.html All demos and implementation details at enki.ws/ganja.js/examples/pga_dyn.html
PGA Ep 4 : The Forque Awakens
Переглядів 6 тис.2 роки тому
Episode 4 of 6 of the SIBGRAPI2021 tutorial on Projective Geometric Algebra All the details in the writeup at bivector.net/PGADYN.html
PGA Ep 5 : A new Hope I
Переглядів 4,6 тис.2 роки тому
Episode 5 of 6 of the SIBGRAPI2021 tutorial on Projective Geometric Algebra All the details in the writeup at bivector.net/PGADYN.html All demos and implementation details at enki.ws/ganja.js/examples/pga_dyn.html
PGA Ep 2 : Attack of the mirrors
Переглядів 9 тис.2 роки тому
Episode 2 of 6 of the SIBGRAPI2021 tutorial on Projective Geometric Algebra All the details in the writeup at bivector.net/PGADYN.html All demos and implementation details at enki.ws/ganja.js/examples/pga_dyn.html
PGA Ep 6 : A new Hope II
Переглядів 3,7 тис.2 роки тому
Episode 6 of 6 of the SIBGRAPI2021 tutorial on Projective Geometric Algebra All the details in the writeup at bivector.net/PGADYN.html All demos and implementation details at enki.ws/ganja.js/examples/pga_dyn.html
AGACSE2021 Vaclav Zatloukal
Переглядів 5522 роки тому
Shape Gauges and rotating blades - new variables for fundamental interactions?
AGACSE2021 Dmitry Shirokov
Переглядів 6042 роки тому
On Lie groups defining automorphisms that leave invariant fundamental subspaces of geometric algebra.
AGACSE2021 Jaroslav Hrdina - GA in control theory
Переглядів 8952 роки тому
Geometric algebras in mathematics control theory
AGACSE2021 Soheil Sarabandi - The 4D nearest rotation matrix problem
Переглядів 6032 роки тому
The 4D nearest rotation matrix problem.
AGACSE2021 Federico Thomas
Переглядів 4122 роки тому
A Spectral Decomposition approach to the robust conversion of 4D Rotation matrices to double quaternions.
AGACSE2021 Martin Roelfs - Graded Symmetry Groups
Переглядів 1,6 тис.2 роки тому
Graded Symmetry Groups - Plane and Simple. Find the paper here: www.researchgate.net/publication/353116859_Graded_Symmetry_Groups_Plane_and_Simple.
AGACSE2021 Joan Lasenby - GA approach to orthogonal transformations in signal and image processing.
Переглядів 2,1 тис.2 роки тому
AGACSE2021 Joan Lasenby - GA approach to orthogonal transformations in signal and image processing.
AGACSE2021 Anna Derevianko
Переглядів 7342 роки тому
AGACSE2021 Anna Derevianko
AGACSE2021 Eric Wieser - Adapting Matrix Algorithms for Multivectors
Переглядів 1,1 тис.2 роки тому
AGACSE2021 Eric Wieser - Adapting Matrix Algorithms for Multivectors
AGACSE2021 Anthony Lasenby - Fundamental Forces
Переглядів 3,1 тис.2 роки тому
AGACSE2021 Anthony Lasenby - Fundamental Forces
GAME2020 2. Hugo Hadfield, Eric Wieser. Robots, Ganja & Screw Theory (new audio!)
Переглядів 3,2 тис.2 роки тому
GAME2020 2. Hugo Hadfield, Eric Wieser. Robots, Ganja & Screw Theory (new audio!)
GAME2020 - 1. Dr. Leo Dorst. Get Real! (new audio!)
Переглядів 5 тис.2 роки тому
GAME2020 - 1. Dr. Leo Dorst. Get Real! (new audio!)
GAME2020 3. Professor Anthony Lasenby. A new language for physics. (new audio!)
Переглядів 27 тис.2 роки тому
GAME2020 3. Professor Anthony Lasenby. A new language for physics. (new audio!)
Paper Trailer Graded Symmetry Groups
Переглядів 8712 роки тому
Paper Trailer Graded Symmetry Groups
Dr Leo Dorst' Keynote talk at CGI2020
Переглядів 9 тис.3 роки тому
Dr Leo Dorst' Keynote talk at CGI2020
GAME2020 0. Steven De Keninck. Dual Quaternions Demystified
Переглядів 13 тис.3 роки тому
GAME2020 0. Steven De Keninck. Dual Quaternions Demystified
GAME2020 5. Dr. Dietmar Hildenbrand Workshop GAALOPWEB
Переглядів 1,7 тис.3 роки тому
GAME2020 5. Dr. Dietmar Hildenbrand Workshop GAALOPWEB
GAME2020 4. Dr. Vincent Nozick Geometric Neurons
Переглядів 4,9 тис.3 роки тому
GAME2020 4. Dr. Vincent Nozick Geometric Neurons
Siggraph2019 Geometric Algebra
Переглядів 76 тис.4 роки тому
Siggraph2019 Geometric Algebra

КОМЕНТАРІ

  • @drancerd
    @drancerd 7 днів тому

    Y yo que recién estaba aprendiendo los octoniones 😭😭😭

  • @alirajabzadeh8076
    @alirajabzadeh8076 19 днів тому

    I never knew that when I walk in an absolutely strait line, that I am rotating around a point on the surface of the universe

  • @guidosalescalvano9862
    @guidosalescalvano9862 29 днів тому

    What does the aa~a = +- a mean at 20:23 ?

  • @angeldude101
    @angeldude101 2 місяці тому

    I take issue with the choice of operator symbols, which is unfortunate since they seem to have become standard. For starters, the meet is ∧... in lattice theory (and in PGA). It is also very similar to ∩, which is the intersection of sets, and the meet in PGA is very closely related to the intersection of subspaces. It's also the AND operator in boolean logic. So why isn't the symbol used for the set of points contained in one subspace AND another subspace not the same as the one for AND (ie &, which is commonly used as shorthand for "and" even outside of math)? Similarly, ∨ is used for the join, in both lattice theory and PGA, and OR in boolean logic. In a few programming libraries that I've seen, the symbol used for bitwise OR is also often overloaded for the union of sets, which again has a very similar symbol in ∪. The connection between the join and the union is a bit looser than between the meet and the intersection, but I believe it's still relevant. Combine that with De Morgan's Laws where ¬(a ∨ b) = ¬a ∧ ¬b, which is translated into programming languages as !(a | b) = !a & !b, and it's pretty clear that at least the dual uses the right operator. Inner product would just get what's left, ^, which it doesn't have as much in common with as the others, but it's probably the most "xor-y" of the GA operations other than maybe the commutator product. I don't like how ^ was chosen for the meet solely because of its visual resemblance to ∧, when & already has the same meaning as ∧. P.S. The sandwich product doesn't really need its own symbol in my opinion, but if it did get one, really the function call syntax would be best, but overloading _that_ is honestly _cursed._

  • @rotgertesla
    @rotgertesla 2 місяці тому

    32:00 what happens to the electromagnetics potentials? Is the Aharonov-Bohm effect modeled with geometric algebra?

  • @user-be9yv1gz5j
    @user-be9yv1gz5j 2 місяці тому

    where are the notes?

  • @solarion33
    @solarion33 2 місяці тому

    18:30 , so you multiply the 3D vectors component by component(where all the basis vectors square to 1 as those are R^3 vectors) and then use the axiomatic rules you presented first to get what is the sum of a dot product and a cross product ? neat .. in the historic development of the subject of geometric algebra or more generally in Linear Algebra did anybody explore such sums or dot and cross product and their meaning ?

  • @romanavr
    @romanavr 2 місяці тому

    ok, I finally saw GAViewer in usage, much obliged

  • @steffenkarl7967
    @steffenkarl7967 3 місяці тому

    Lovely ❤!!! Heard of geometric algebra two weeks ago. Starting to calm down a little bit. My wife worries I am experiencing mania😊. Thank you so much. Love you guys❤😊❤😊❤😊

  • @AkamiChannel
    @AkamiChannel 3 місяці тому

    My name is still Steven too. Cheers.

  • @VeteranVandal
    @VeteranVandal 4 місяці тому

    Yeah, this mathematical tool is just like a computer compared to a slide ruler. I'm gonna make the steps to leave the slide ruler home and bring geometric algebra with me for the remainder of my physics.

  • @davidhand9721
    @davidhand9721 4 місяці тому

    Transcript? This is absolutely fascinating, but the audio quality and accent prevent me from understanding anything that isn't written on the slides.

  • @kristoferkrus
    @kristoferkrus 4 місяці тому

    28:12 Isn't this formula wrong? Shouldn't it be p = e^alpha_xy e^a_x e^beta_xz e^b_x o? (That is, the factors are correct, but in wrong order) 30:33 The same mistake has been made here; it should be p = e^alpha_xy e^a_x e^beta_xz e^b_x e^gamma_xw e^c_x o.

  • @steffenkarl7967
    @steffenkarl7967 4 місяці тому

    With a plane at Infinity all that is left is its normal vector pointing back at the origin. Pure direction 😊. sweet.

  • @steffenkarl7967
    @steffenkarl7967 4 місяці тому

    Reminds me of Riemann Spheres. Drawing lines to Infinity. How cool.😊❤

  • @APaleDot
    @APaleDot 5 місяців тому

    Bumping up the dimensions and effortlessly getting a 4D physics simulation without rewriting any code is such a flex, lmao

  • @samueldeandrade8535
    @samueldeandrade8535 6 місяців тому

    I just started watching. Loved the accent. Which accent is this, can someone tell me. Great presentation.

    • @bivector
      @bivector 6 місяців тому

      It's Belgian.

  • @christophstadler5133
    @christophstadler5133 6 місяців тому

    Why in 3D PGA the join of a plane with itself is 0 if it retains identical reflections? e1 v e1 = 0? The same of lines in 2D PGA.

  • @alexanderheim9690
    @alexanderheim9690 6 місяців тому

    fantastic video

  • @annaclarafenyo8185
    @annaclarafenyo8185 7 місяців тому

    "Geometric Algebra" is indeed an interesting algebra, but it already exists, and it is called "Clifford Algebra". The renaming is an attempt by another person to plagiarize earlier work, and to claim it as his own. This must be resisted. This is academic misconduct, in this case, unintentional.

    • @bivector
      @bivector 7 місяців тому

      The term Geometric Algebra is due to Clifford himself, see e.g. On the classification of geometric algebras (1882) by W. K. Clifford. The name geometric algebra was brought back by David Hestenes for the same reason that Clifford introduced it: to emphasize the fact that this is the algebra of geometry. Nowadays both terms are in use, although Geometric Algebra tends to be used by those who use an algebra over the real numbers to describe geometrical phenomena, while the term Clifford Algebra tends to be used when referring to more algebraic endeavors, and especially when an algebra is built over fields other than the real numbers.

    • @annaclarafenyo8185
      @annaclarafenyo8185 7 місяців тому

      ​@@bivector Clifford couldn't very well call it "Clifford Algebra", now could he? When you use the earlier name, it is an attempt to erase Clifford's legacy, and an attempt to disguise other literature about the same subject. Clifford Algebra is not some mystical "algebra of geometry", there is no unique thing you can call the "algebra of geometry". Clifford Algebra is the algebra of spinor structures defined on top of geometry. This is part of what is maddening about this development, it pretends that GA captures some fundamental mystical geometric properties of the underlying space, rather than the properties of representations of the rotation group which acts on the space. If you can give me a reason to think of this differently, for example, if there is a nontrivial relation that emerges between some analog of geometric algebra defined over Q_p^n and the "p" of the finite field, that would justify using the name for that case of a finite field. But, as far as I know, and I am not an expert, in ALL the cases, the Clifford Algebra is just an additional structure sitting on top of the space, like a tensor section (tensor field in physics language) or a spinor section (spinor field in physics language), and I don't like shoving stuff into the geometry which is already perfectly well defined as a structure sitting on top of the geometry.

    • @annaclarafenyo8185
      @annaclarafenyo8185 7 місяців тому

      @@bivector Also, I would consider the Moebius strip and Klein bottle perfectly well defined geometries, and also CP2, but I don't see how you define a geometric algebra on those. Geometric algebra is an additional structure which only sometimes exists on manifolds.

    • @ondrejstefik159
      @ondrejstefik159 2 місяці тому

      @@annaclarafenyo8185 study this more before claiming nonsense.

    • @annaclarafenyo8185
      @annaclarafenyo8185 2 місяці тому

      @@ondrejstefik159 I know it better than the inventor.

  • @uwuzote
    @uwuzote 7 місяців тому

    Excellent talk as always!

  • @SomeMrMindism
    @SomeMrMindism 7 місяців тому

    Is there any transformation relatin R_1,3 to R_3,1? Because boosts in special relativity are hyperbolic rotation, so is tantalizing describing our world as an hyperbolic projection

  • @ywenp
    @ywenp 7 місяців тому

    Thanks for the uploads :) Do we have info about when & where the 2024 edition will be?

  • @alphalunamare
    @alphalunamare 7 місяців тому

    12:20 You are saying that e1* e2 can't be Real yet you haven't shown why. Is this an assumption or something I have missed? I can see from 13:05 onwards why you want this to be so. 15:50 you seem to choose ei*ei to be 1 always, and not -1 or 0 why is that? At 17:05 e12 is the 'same' same as what? 32:44 What a magician's trick that is actually true! Marvellous :-) My initial questions reflect my inability to follow the continuity of peoples thoughts, it's always been a pain, but I get it, the magnificence of Geometric Algebra, I just have to join up the dots in my own time 🙂

    • @eldersprig
      @eldersprig 7 місяців тому

      still watching but e12 is the same as e1*e2. Notation.

    • @alphalunamare
      @alphalunamare 7 місяців тому

      @@eldersprig lol I get that ... I thought he was saying that the rhs was the same as something else where that I haven't noticed yet.

    • @alphalunamare
      @alphalunamare 7 місяців тому

      I am know that I ask too many questions to early and in hind sight I can see what folk are getting at, it's just that, like in a lecture class it's like hitting a brick wall and you have to ask .. and then you get a reputation for being a pain in the arse because it wasn't all obvious.

    • @bivector
      @bivector 7 місяців тому

      Thanks for the detailed feedback! (even if some things were resolved later - always good to know what those blocking moments were). Let me respond to the questions either way. 12:20 true - there's actually two options, either e1*e2 = e2*e1 = 0, or e1*e2=-e2*e1, we explore the second option as the first is quite uneventful. 15:50 we're just working through our first examples there so starting with an all positive metric allows us to show you still have elements that square to -1 etc .. 17:05 'e12' is the same as 'e1*e2' - even though we started from two completely different vectors. (re-illustrating the gauge freedoms inherent to the construction of k-vectors) Give yourself some time to let all of it sink in - its quite a departure from the standard approach - even if the algebra is simple, getting used to the new perspective just takes a while! And please do keep the feedback coming - much appreciated.

    • @alphalunamare
      @alphalunamare 7 місяців тому

      @@bivector Thank you for explanations, this is all quite amazing :-)

  • @AMADEOSAM
    @AMADEOSAM 7 місяців тому

    Great work and explanation. Compliments …

  • @Pluralist
    @Pluralist 7 місяців тому

  • @UliTroyo
    @UliTroyo 7 місяців тому

    39:00 It took me a bit to figure out where you were going with this until the '+', haha. Great talk!

  • @alanthayer8797
    @alanthayer8797 7 місяців тому

    THANKS FA DROPPING ANUTHA VIDEO on GA ! Keepm COMIN please !

  • @user-yb5cn3np5q
    @user-yb5cn3np5q 7 місяців тому

    Okay?

  • @nrrgrdn
    @nrrgrdn 8 місяців тому

    I would have liked the video, but the likecount of 321 is too pretty

  • @Klarpimier
    @Klarpimier 8 місяців тому

    How would you code the inertia duality map using the clifford python module

  • @insouciantFox
    @insouciantFox 8 місяців тому

    There is the time before you understand GA and the time after.

  • @AMADEOSAM
    @AMADEOSAM 8 місяців тому

    Very impressive overview, covering all of classical mechanics. Would be great to develop these tools based on special relativity. With the final step towards general relativity. You could build a game where the effects of special relativity become visual. Rotors and motors should integrate effects of time dilatation by relative speed and by a change in acceleration/gravity.

  • @AMADEOSAM
    @AMADEOSAM 8 місяців тому

    Very natural and straightforward way of 3D dynamics. Great

  • @RGD2k
    @RGD2k 8 місяців тому

    argh. Worst baked-in closed-captions ever. eg 'dark chocolate' in place of 'dot product'. Did *noone* proofread these? They're downright disruptive. YT's autoCC aren't much better: 'two vectors control us' in place of 'two vectors can show us'. Admittedly, it does *sound* like he's saying the former, so +1 for the automatic CC.

    • @HylianEvil
      @HylianEvil 8 місяців тому

      The fact that most CCs seem to be auto-generated these days is really a shame. I feel bad for what the hearing impaired have to go through. Siggraph should have the budget to pay for manual CCing.

    • @CliffSedge-nu5fv
      @CliffSedge-nu5fv 5 місяців тому

      What, you don't want to learn a chocolate-based algebra system?

  • @richardneifeld7797
    @richardneifeld7797 9 місяців тому

    Wow. Now I want to see qm, special, and genl relativity defined in PGA. Are there resources anywhere for that?

    • @AkamiChannel
      @AkamiChannel 3 місяці тому

      There's a lot of stuff on STA (spacetime algebra) if you search for it. If you're interested in quantum physics stuff, search for Cohl Furey's work/videos and possibly John Baez. Some Chinese researchers last year published a paper on using the sedenions to build qft.

    • @AkamiChannel
      @AkamiChannel 3 місяці тому

      GR I would also be interested in seeing. Seems doable as GR is just tensor algebra and the electromagnetic field tensor.

    • @richardneifeld7797
      @richardneifeld7797 3 місяці тому

      @@AkamiChannel HR requires tensor calculus, and in a space with intrinsic curvature. Mathematically messy, and beyond my level of competence and bandwidth. Please publish if you hear of anyone exploring PGA for that.

  • @AMADEOSAM
    @AMADEOSAM 10 місяців тому

    Amazing presentation, very illustrative. Would be good if you can make such a step to our 4D space time.

  • @keithdow8327
    @keithdow8327 10 місяців тому

    Thanks!

  • @dullyvampir83
    @dullyvampir83 10 місяців тому

    Just for my basic understanding, we start with areas instead of lines because two lines have three possible cases: Intersect, Parallel and skewed. While areas have only two: Intersect and Parallel, the second one can be "fixed" by saying they intersect in infinity, so two areas always intersect, which makes it very easy to deal with?

  • @AxisAngles
    @AxisAngles 11 місяців тому

    This is all very neat, but I think there's a problem with 23:35. The claim is that you can interpolate in log space. A and B are motors. A*B != B*A log(A*B) != log(B*A) log(A) + log(B) != log(B) + log(A) log(A) + log(B) != log(A) + log(B) But this is a contradiction. So the log of motors is thus not the same as the log of the usual complex and real values. This means that log interpolation, exp((1 - t)*log(A) + t*log(B)) != C^-1*exp((1 - t)*log(C*A) + t*log(C*B)), and thus has more in common with euler angle interpolation than quaternion interpolation. It might be exactly the same as axis angle interpolation (that is the 3D axis angle).

    • @angeldude101
      @angeldude101 2 місяці тому

      This is why "SLERP" to interpolate from A to B is usually defined as (B/A)^t * A = exp(t*log(B/A)) * A. You are correct in that this isn't quite the same as exp(t*log(B) + (1-t)*log(A)), though in practice I have doubts that most people would actually notice. They should have the same end-points, but they'll likely take slightly different paths between them.

  • @wolphramjonny7751
    @wolphramjonny7751 11 місяців тому

    Can you explain spin 1/2 entanglement classically?

    • @schmetterling4477
      @schmetterling4477 11 місяців тому

      It's the consequence of angular momentum conservation in Hilbert space. Not sure how that is supposed to become classical. Hilbert space is still a quantum mechanical construct to describe an infinite ensemble. Such an ensemble is simply not necessary for classical systems. The deceptive part about the quantum mechanics of angular momentum is that it is a finite dimensional Hilbert space, which simplifies a lot of things and makes them look almost classical. If you do an actual experiment, however, then you will see that it's not classical at all. A series of Stern-Gerlach magnets turned by 90 degrees should prove to you very quickly that the number of physical degrees of freedom to explain the separation of one beam into two, then four, then eight etc.. can not be finite if we use classical theory. And it isn't. What people aren't explaining to you in beginner's classes for quantum mechanics is where those "infinite degrees of freedom" originate. They are the loss of knowledge about the state of the vacuum on the forward light cone, which is always in our future, i.e. it is fundamentally unknowable.

    • @wolphramjonny7751
      @wolphramjonny7751 11 місяців тому

      @@schmetterling4477 I am talking of the stern gerlach, where he shows it can be explained by a classical population of particles that align either parallel or antiparallel to B. But I am sure there is no way to do the same (I hope I were wrong) with a pair of entangled particles, that he did not discuss at all.

    • @schmetterling4477
      @schmetterling4477 11 місяців тому

      @@wolphramjonny7751 A classical population does not explain Stern Gerlach. That's the entire point of these experiments. In a classical population the state would be located in entirety in the individual corpuscle, which would require an infinite phase space per corpuscle. That model is unphysical even in classical mechanics because it neglects the back-reaction of the individual corpuscle on the magnetic field. The localization in angular momentum space is, instead, a collective phenomenon of the magnetic field and the electron (or silver atom if you go with the proper experimental details) field. Whatever quantum of angular momentum "the particle" gains, the field loses and vice versa. Since the em field extends to infinity and propagates at the speed of light, we can only tell that the balance of angular momenta is conserved but not where the missing or gained angular momentum of "the particle" went. This is rarely explained properly at the undergrad and layman level. QM is a good example of a near perfect theory that is being taught extremely poorly (I believe only thermodynamics takes the second rank in that category).

    • @Scapeonomics
      @Scapeonomics 7 місяців тому

      @@wolphramjonny7751 Entanglement is simply a really silly way to think about conservation and symmetry.