Comment on They are watching

• dyen49k@kbin.social ⁨1⁩ ⁨year⁩ ago

  Incorrect. You can construct an isomorphism between the even subalgebra of the 2D geometric algebra Cl(2) and the complex numbers that maps 1 to the unit scalar and i to the pseudoscalar: https://link.springer.com/article/10.1007/BF01883676

  source

  • biddy@feddit.nl ⁨1⁩ ⁨year⁩ ago

    Are you interested in proving me wrong, or figuring out the right answer? If you actually read that article instead of just the title, you would have noticed at the end it says

    This leads us to say a few words about the widely held opinion that, because complex numbers are fundamental to quantum mechanics, it is desirable to “complexify” every bit of physics, including spacetime itself. It will be apparent that we disagree with this view, and hope earnestly that it is quite wrong, and that complex numbers (as mystical uninterpreted scalars) will prove to be unnecessary even in quantum mechanics

    They literally say that “complex numbers are fundamental to quantum mechanics”. In other fields of physics complex numbers are just a convenient tool, but in quantum mechanics they are(as far as we know) fundamental, even if the author hopes that to be proved wrong at some point.

    You seem like you know a bit about alternatives to complex numbers in other areas of physics, so it would be interesting to have a further conversation, as long as you stop being so defensive.

    Complex numbers seem to be used either as 2d vectors or as representation of waves/circles in exponentials, is there an alternative that combines both of those uses?

    source

    • dyen49k@kbin.social ⁨1⁩ ⁨year⁩ ago

      Yep, there's an alternative, i.e. equivalent mathematical formulation that does everything complex numbers do: the geometric algebra introduced in the article I posted earlier.

      The fundamental object of GA is the "multivector", which is essentially a sum of scalars, vectors, bivectors and higher grade elements. For instance, you could take the unit x-vector and add it onto some number, say 2, to get the multivector M = 2 + e_x. (To be precise, the space of multivectors is the direct sum over the n-th wedge of the base vector space, n = 0 to dim V).
      Another important concept is k-vectors, which are essentially k-dimensional volume elements. For instance, a bivector is an area with a direction, and a trivector is a volume with a direction (in 3D there is only one possible "direction" for the volume, but in 4D spacetime volumes itself can be oriented like surfaces can be in 3D).

      Then, you introduce the "geometric product" for two vectors a and b:
      ab = a·b + a ∧ b
      where a · b is the normal scalar product between the two vectors, and a ∧ b is the wedge product between them. The wedge product essentially is the plane spanned by the two vectors, and is antisymmetric (a ∧ b = - b ∧ a, because the orientation of the plane is reversed when exchanging the vector). For instance, the unit bivector in the x-y plane is given by
      B_xy = e_x e_y = e_x ∧ e_y
      Notice how the scalar product part of the geometric product is zero, and only the wedge (i.e. bivector part) remains

      In 3D, there are four types ("grades") of objects: scalars, vectors, bivectors (also known as 3D pseudovectors) and trivectors (or also known as 3D pseudoscalars). It's already a very rich subject and has many advantages over classical vector calculus, but for replacing complex numbers, we're mainly concerned with the 2D case.

      In the 2D case, there are three types of objects: Scalars, 2D vectors, and bivectors/2D pseudoscalars. There is only one possible orientation for a 2D plane in 2D, so we just denote a bivector with area A as B = A I, where I = e_x ∧ e_y is the only unit bivector/2D pseudoscalar.

      A nice thing we notice about the I is that it squares to -1 with the geometric product:
      I^2 = (e_x ∧ e_y)^2 = (e_x e_y)^2 = e_x e_y e_x e_y = - e_x e_y e_y e_x = -e_x e_x = -1
      The first step works because the scalar product part between e_x and e_y is zero. The second step is just writing out the square. The third step is e_y e_x = e_y ∧ e_x = - e_x ∧ e_y = -e_x e_y, which again works because e_x · e_y = 0. We see that the 2d pseudoscalar I behaves just like the "classic" imaginary unit i.

      Because the geometric product is associative, and commutative if only scalars and bivectors are involved, the geometric notion of scalars and 2D pseudoscalars can fully replace the notion of complex numbers by making the substitution a + bi -> a + bI.

      If you want to learn more about GA, I can recommend Doran, Lasenby: Geometric Algebra for Physicsists :)

      source