Computational Determination of the Dirac-Theory Adjunctator

A number of particle properties stem from the use of γ0 as adjunctator (Bargmann-Pauli) in the Dirac theory (spin alignment, Dirac current, etc.). The early motivations for accepting γ0 as adjunctator were representation-dependent, mildly bearing relation to the actual conditions forcing γ0 as adjunctator. Representation-independent approaches to the physical predictions of the Dirac equation are somewhat new, here presented as being the reasons for γ0 as adjunctator of the Dirac theory, together with the essential role of the latter in the physical aspects of the theory.


Introduction
The definition of the Dirac operators (, ⃗ ) as  0 (1, ⃗ ), satisfying [  ,  ] ] + = 2 ] ⋅ 1, that is, a Clifford algebra C 1,3 (), does not include any information on how adjoint operators are constructed.In representation-dependent form, as matrices, the adjoints are constructed as (  † ) , = (  ) * , ; however, such representation-dependent solutions also include representation-specific artifacts, often nonphysical.The importance of presenting properties in representation-independent form, stemming from minimal information in the abstract definition of the foundations, thus cannot be emphasized enough.
The adjunctator (algebra element that constructs the adjoint) is present in a number of particle properties (current definition, spin alignment, etc.).In Dirac theory, this is the Bargmann-Pauli [1][2][3] adjunctator  0 and its unicity is crucial to knowing that the physical quantities used are well defined.
The initial demand in determining how the adjoint is constructed for ( 0 , ⃗ ) was from the Dirac-1928 equation itself as follows: where E is the energy, H the Hamiltonian, (, ⃗ ) Dirac's initial matrices, and  the system's wave function.Since E = E † it seemed natural to ask that H = H † .This is rather ad-hoc, all that the above relation has to offer being Im{⟨H † − H⟩  } = 0.
Leaving such "physics" arguments behind, the real aspects can be now explored.Little attention was given to this topic; however Pauli [3] did have interest in it at the time.His arguments though representation dependent (with one minor inaccuracy) offer the only explanation to date on this topic.The only representation-independent study [4,5] is about the unicity of the adjunctator together with a pleiad of related studies [6,7].
In the Dirac algebra (of the   matrices), the adjoint operators form another representation of the same algebra, as the arguments of Pauli [3] show the following: ( The two representations are thus related through a similarity transformation B termed adjunctator or hermitiser [1,2], with the following properties: The reasons for the consecrated B =  0 must thus lie in the mathematical foundations of the bispinor space and cannot be collected from the Lagrangian conditions already using  0 as adjunctator, other ad hoc conditions (shown in the Advances in High Energy Physics beginning), or representation-specific arguments leading to generalisations not pertinent to the problem.The representation-independent conditions applicable are (i) self-adjointness: any X 2 = 1 has real eigenvalues; hence X = X † .For example, X =   ,  0 ,  5 , and so forth; (ii) positive definiteness: for any X, its norm squared ‖X‖ 2 = ⟨X | X⟩ ≥ 0; hence B must be such that X † X ≥ 0, ∀X.
Respectively they are the mathematical translation of understanding the scalar-product.The early arguments of Pauli [3] relied on counting representation-dependent anti-/symmetric matrices.This eludes the above two conditions and leads to one minor misconclusion on B.

Structure of the Scalar Product
It is useful thus to define with the trivial action of complex conjugation on scalars and a generalisation of this on operators as follows: (iv) ΓΓ = ΓΓ; that is, ΓΓ is standard; (v) X + Y = X + Y; With this notation, it is easier to understand the action of B as follows: and to further discover the adjunctator: The operator B is comprised of a standard and antistandard part: B = R + C, where both R and C are standard.Therefore B = B translates to R − C = R + C, which takes into account that  =   +   and also in view of property (vi) becomes.
Respectively, the determinant must vanish (which for || = 1, the case at hand, actually does).The condition from ( 5) is that R ∼ C, or B = R where  is a unit complex number relevant only for aesthetical purposes as follows: The only effect of  is that of choice: with  = 1, B † = B, with  = , B † = −B, with  =  /2 , B † =   B-therefore  can be chosen 1, hence B standard and B † = B.The property of significance is that the adjunctator is, up to a unit complex multiplier, standard.The arguments in [3] of counting symmetric and antisymmetric matrices, though reaching the same conclusion, forbid B † = −B which, as shown above, could have served equally well.

Self-Adjoint Operators
The simplest proof from this point on is by looking at the generators of the Dirac algebra-( ⃗ , ⃗ ), where ⃗  =  0 ⃗  5 and ⃗  = ( 5 , − 0  5 ,  0 ); the two sets defining two isomorphic halves of the space [8] are shown as follows: The two halves of the space admit various other representations, such as (1 −  5 ) ⃗ /2 and (1 +  5 ) ⃗ /2; however, the one presented is the most convenient for the task at hand.The endomorphism between the two halves is The two halves seem identical; however from the adjunctation point of view they differ as follows: For  = ⃗  ⃗ , in order that  †  ≥ 0, it is evident that ⃗  = 0, leaving  = scalar + LIN{ ⃗ }.For the second half of the space, similar arguments follow, only that in this case the   's are not similar to the   's.Further restricting generality, assume ⃗  =  ⃗  3 ; then The role of ⃗  = 0 in the first half transfers here to  = 0.It can be seen that  =  3 performs ⃗  † = ⃗  and ⃗  † = ⃗ , which for any operator in the space satisfies  †  ≥ 0.
Let X =  0  0 be an operation with the same properties as X, mainly just complex conjugating the coefficients in a sum of operators.If A = B 0 , then  † = A XA −1 and as assumed, hinted by the fact that   and   squared are unity and have real eigenvalues.This implies that and in turn All these exemplifications point to the asymmetry-with respect to adjunctation-of the two halves of the space and to the fact that  3 =  0 may be the Bargmann-Pauli adjunctator.

Positive Definiteness of 𝑋 † 𝑋
A more involved argument is that B should be such that  †  is positive definite for any ; that is: A XA −1  ≥ 0, which is the matrix version of understanding the scalar product.Since ( ⃗ , ⃗ ) have the same properties, and the arbitrariness of  imposes equal constraints on both, that is, any property holding for ( ⃗ , ⃗ ) must also hold for ( ⃗ , ⃗ ), it follows that A is symmetric in ( ⃗ , ⃗ ) as follows: In the above, ⃗  and   are unjustifiable anisotropies; hence ⃗  = 0 and   =  , ; therefore A reduces to A=⋅1+S, with where   = ( ⃗ , ⃗ ) and   = ( ⃗ , ⃗ ), S playing the gobetween role: S  =   S and   S = S  .Let   =   =  + S; then (15) (using S = S) becomes Expanding the above, where the imaginary boxed terms disappear for  = 0; hence A ∼ 1 and B =  0 (qed).Note that the expectation values of S = 1+ ⃗  ⋅ ⃗  can be 1/4 and 7/4, stemming from the product of two independent 1/2 angular momenta.
In general form (without the anisotropy argument), the proof ends annihilating all ⃗  and nondiagonal   coefficients for the same reason above: the existence of imaginary terms in a relation that needs to be real and positive.
The unicity issue has been addressed by direct construction, although proof in this respect can be found in [4,5].
Another aspect of interest is the possibility of using the bar in place of (adjunctation) † on the helicity-positive subspace as follows: In this case, B = CC>0, the C operator taking the in-between bearing role of  0 .Evidently, any operator satisfying SS = 1 invaries the new scalar product of ( | ).The particularity of this context is that any C satisfies the scalar product and norm conditions (i.e., absolutely arbitrary scalar product), leading from the physics point of view to arbitrary many Lorentz invariant conserved currents.

Dirac Currents
Another interesting aspect is that two Lorentz invariant quantities which include charge density ⟨⟩ = |()| 2 can be defined: B  and B   5 .Of these two, only the former is conserved: It is clear that if the adjunctator B is not unique, more than one such conserved Lorentz invariant quantity can be defined.The transformation properties under space-, time-, and space-time inversion for   = ⟨ 0   ⟩  are   () where U †  =−U  , U †  =−U  and U †  =U  were evidently included.The notation  μ refers to  ]  ] .Above,   is not an operator, but rather the product:   = ⟨⟩  ⋅ ⟨k  ⟩  .Its transformation properties seem to differ from textbook electrodynamics by the minus sign.This comes from the fact that charge density is better defined as a pseudoscalar under both space-and time-inversion [9][10][11][12].Incidentally, this also solves the problem of not finding a representation-independent charge-conjugation operator C, since time reversal does this automatically for all currents, without the need of a specific charge-conjugation operator for each current in its own space.

Conclusion
It has been shown in representation-independent form that the adjunctator for the Dirac space is the  0 matrix.This is an important result, as the adjunctator enters the definition of the Dirac current and multiple adjunctators would imply the possibility of defining multiple currents, which, incidentally, is possible for the positive helicity subspace.
As the adjunctator plays also the role of parity transformation, its unicity is essential to the theory.Furthermore, together with time inversion, it defines complete coordinate inversion, which reverses all currents-without the need for a charge-conjugation operator.The latter is impossible to define in representation-independent form, which in itself is a statement over why it does not exist and why it is important to have representation-independent results.