Laman

Jordan Algebras Are Neither Natural Nor Essential For Quantum Mechanics

Pascual Jordan was i of the 3-5 truthful founders of quantum mechanics. His contributions lead keep been largely erased from the history books in addition to textbooks because of his Nazi organized religious belief in addition to he hasn't fifty-fifty received a Nobel prize – which I consider completely unfair – but that doesn't hateful that I am ready to worship everything that Hashemite Kingdom of Jordan was obsessed with.

One of these things were Jordan algebras which he proposed every bit the modern right formalization of the "algebra of observables" inwards quantum mechanics inwards 1933. If you're non familiar with those, you lot may expect at the Definition in addition to the get down foreign thing that you lot rapidly notice is that the Hashemite Kingdom of Jordan algebras are non-associative. How tin forcefulness out the multiplication of operators hold upwards non-associative?




In regular quantum mechanics every bit we're learning it, operators obey the associative police for multiplication,\[

(AB)C = A(BC).

\] So inwards these chains of factors, the parentheses don't impact the result. Only the ordering matters which is natural because these operators may hold upwards identified with approximately truthful "operations" acting on the physical arrangement which may hold upwards denoted past times the pure nation \(\ket\psi\), for example. If you lot get down human activity past times \(C\), so past times \(B\), in addition to so past times \(A\), it is the same thing every bit if you lot human activity past times \(C\) in addition to so past times \(AB\) – which is get down past times \(B\) in addition to so \(A\). And it is the same thing every bit if you lot human activity past times \(BC\) – get down past times \(C\) in addition to so past times \(B\) – in addition to so past times \(A\).




Influenza A virus subtype H5N1 disadvantage of this elementary associative multiplication is that the production isn't Hermitian whenever the factors are Hermitian. For example, \(xp\) isn't Hermitian because\[

(xp)^\dagger = p^\dagger x^\dagger = px = xp-i\hbar \neq xp

\] So \(xp\neq (xp)^\dagger\) which way that \(xp\) isn't Hermitian. You may ready this problem, every bit Hashemite Kingdom of Jordan did, if you lot don't consider the elementary multiplication but the symmetrization of it,\[

A\circ B = \frac 12 \zav{ AB + BA }.

\] Formally, you lot could telephone telephone it the "anticommutator" but I personally reserve this special give-and-take alone for the province of affairs when \(A,B\) are Grassmann-odd or at to the lowest degree really analogous to them (tending to anticommute), for illustration approximately combinations of gamma in addition to similar matrices.

If you lot define the Hashemite Kingdom of Jordan \(\circ\) performance every bit above, it volition no longer hold upwards associative:\[

(A\circ B)\circ C \neq A\circ (B\circ C).

\] The left mitt side contains the extra \(BAC/2\) term but the right mitt side doesn't; the right mitt side has the \(ACB/2\) term but the left mitt side doesn't. But the Hashemite Kingdom of Jordan performance is commutative, \(A\circ B = B\circ A\), because the production is symmetrized. It produces the Hermitian production of 2 Hermitian factors, every bit I said, in addition to the associativity of the master copy production guarantees the so-called Hashemite Kingdom of Jordan identity\[

(A\circ B) \circ (A\circ A) = A\circ (B\circ (A\circ A)).

\] Check it. Both sides are equal to\[

\frac xiv (AAAB+AABA+ABAA+BAAA),

\] the symmetrization of \(A^3 B\) where \(B\) appears at all 4 possible places. This Hashemite Kingdom of Jordan identity is clearly less natural than the elementary identity for the associative performance nosotros started with in addition to it's in all probability the simplest identity alongside those that agree for the Hashemite Kingdom of Jordan production in addition to that are analogous to the associative police for the normal product.

Because of this complexity etc., the Hashemite Kingdom of Jordan production wasn't actually adopted in addition to other pioneers of quantum mechanics – in addition to researchers – haven't started to job it on a daily basis. It is non essential. The normal associative production is skilful enough. In fact, the normal production is amend because it allows us to rapidly access or write downwards a greater release of the operators that may hold upwards useful.

I would say that the Hashemite Kingdom of Jordan production is a resultant of "misguided impatience". Hashemite Kingdom of Jordan knew that Hermitian operators are "special" in addition to "more interesting". When nosotros stair out an operator, it's ultimately a Hermitian one. But to job the Hashemite Kingdom of Jordan production alone – in addition to non the full general production – way to demand the Hermiticity for every unmarried intermediate step of the calculation (composition of the operators). And that's only non needed or justified. You may acquire lots of Hermitian operators if you lot only piece of work with an arbitrary functions based on the ordinary product, in addition to you lot accept the Hermitian component division of the resultant at the really end!

So the whole motivation for replacing the normal production with the Hashemite Kingdom of Jordan production seems fallacious to me in addition to it's only non a coincidence that Jordan's construction hasn't perish pop or paramount. Researchers almost never job it. Textbooks don't learn it. They don't lead keep to.

Nevertheless, the Hashemite Kingdom of Jordan algebras seem at diverse places, commonly "outside the things that are essential for doing physics". They are used past times people who report Hermitian symmetric spaces in addition to triple systems but so far, those things are esoteric mathematics or mathematical physics, non something that physics graduate students would lead keep to learn.

My alone personal pet alongside the algebraic structures that job the Hashemite Kingdom of Jordan production is a representation of the especial Lie grouping \(F_4\). The 52-dimensional Lie grouping may hold upwards represented every bit the automorphism grouping of \(3\times 3\) traceless Hermitian octonionic matrices \(A,B\) equipped with the Hashemite Kingdom of Jordan production \(A\circ B = (AB+BA)/2\). Note that Hermitian octonionic \(3\times 3\) matrices lead keep iii existent numbers on the diagonal (or 2 if nosotros demand the tracelessness – the scalar draw may hold upwards decoupled every bit approximately other irreducible representation) summation 24 components of the iii octonions to a higher house the diagonal (those below are determined past times the Hermiticity).

In total, these traceless Hermitian octonionic matrices lead keep \(24+2=26\) existent parameters or components, precisely the right release for them to transform every bit the primal 26-dimensional representation of \(F_4\). But you lot know, this is non the alone representation of \(F_4\) in addition to non fifty-fifty the alone way to visualize the primal representation in addition to the role of \(F_4\) inwards physics is rather limited. It can't fifty-fifty seem every bit a grand unified grouping because it has no complex representations (because the 26-dimensional primal i nosotros constructed is a existent representation, in addition to all others are so existent every bit well).

So I am absolutely confident that if you lot desire to acquire really far inwards whatsoever form of modern quantum physics (condensed matter, optics, particle physics, string theory, foundations of quantum mechanics), you lot don't fifty-fifty demand to acquire what the Hashemite Kingdom of Jordan algebras are – fifty-fifty though I would claim that you lot lead keep effectively done so if you lot understood the spider web log postal service above.

This claim of mine dramatically contradicts comments past times Florin Moldoveanu who argued that the Hashemite Kingdom of Jordan algebras (plus their relationships to Lie algebras etc.) are primal on quantum mechanics. He wrote things like
The one-to-one map betwixt the Lie algebra in addition to the Hashemite Kingdom of Jordan algebra is known inwards the literature every bit "dynamic correspondence". This has a deep human relationship with Noether theorem...
But everyone who has the Internet may cheque what is the importance of these things in addition to claims inwards the actual scientific literature. Open Google Scholar in addition to search for
"dynamic correspondence" jordan lie (click)
You volition come across that the term "dynamic correspondence" appears inwards 4 papers alone in addition to they were written past times the same Florin Moldoveanu. They lead keep 2,0,1,0 citations, respectively, in addition to alone 2 of them are non self-citations. You may also supplant the describing word "dynamic" past times the to a greater extent than widespread give-and-take "dynamical" – Florin's English linguistic communication isn't quite "standard". You volition observe a few to a greater extent than papers but the top-cited 2 lead keep xiii in addition to fifteen citations, respectively.

To fence that this term is approximately primal deep concept inwards the quantum mechanics literature is for certain ludicrous according to a basic overview of the actual literature. But people similar Moldoveanu are constantly deceiving their readers in addition to sponsors. They desire to intimidate you lot past times references to the literature in addition to consensus in addition to all this materials but if you lot carefully verify their bold statements, you lot volition ever observe that at that topographic point is basically aught of value to dorsum those statements up.

By the way, someone at Math Overflow has asked whether the Hashemite Kingdom of Jordan algebras were actually of import inwards quantum mechanics. He evidently wanted approximately fair in addition to penetrating appraisal such every bit the spider web log postal service above. He or she has gotten a few comments with examples where the Hashemite Kingdom of Jordan algebras seem but none of the answers has actually addressed the key question. Let me attain so briefly again. The respond is No, you lot tin forcefulness out attain virtually whatsoever research, including the deepest in addition to state-of-the-art research, inwards whatsoever champaign of report that relies on quantum mechanics without knowing what Hashemite Kingdom of Jordan algebras are.

You may rewrite Jordan's \(A\circ B\) every bit \((AB+BA)/2\) everywhere in addition to past times doing so, you lot volition acquire rid of all the dependence on Jordan's algebraic jargon, formalism, in addition to identities, without losing whatsoever genuine mathematical or physics insight whose beef goes beyond conventions. To forcefulness yourself to limited ideas using the Hashemite Kingdom of Jordan anticommutator rather than the full general normal production is similar to the business to speak almost physics without using the letter/consonant "p". Can you lot say "ping-pong" land avoiding the contact betwixt your upper in addition to lower lips? Yes, you lot tin forcefulness out insert the finger inwards betwixt the lips in addition to say "ping-pong". Or you lot tin forcefulness out say "table tennis". (Too bad, it doesn't piece of work inwards English linguistic communication because of the "b" inwards "table"; "stolní tenis" plant inwards Czech, however.) Alternatively, you lot may also say that these restrictions are featherbrained in addition to ideas are to a greater extent than naturally formulated with the normal production in addition to with the audio "p".

No comments:

Post a Comment