Constraints on mapping the Lounesto’s classes

The so-called Lounesto’s classification engenders six distinct classes of spinors, divided into two sectors: one composed by regular spinors (single-helicity spinors) and the other composed by singular spinors (comprising dual-helicity spinors). In the present essay we develop a mechanism to fully define the right class within the Lounesto’s classification a spinor belongs to, without necessity to evaluate the 16 bilinear forms. The analysis lies in the following criteria: a judicious inspection of the phases factor present in both spinor’s components. Thus, the machinery developed here works for both regular and singular spinors. Taking advantage of the present algorithm, we analyse, under certain conditions, the possibility to transmute between the six classes.


Introduction
Spinors comprises of mathematical and also physical objects, responsible to describe matter, and may be defined in several different fashions. Within the context of the Clifford's algebra, the spinors are defined to be elements of a left minimal ideal, whereas in the context of group theory we say that the spinors are carriers of the fundamental representation of the group [1,2]. The first fundamental aspect related with spinors is that a single given spinor cannot be experienced or even detected. Surely, by the Lorentz group compositions laws related to spinors do not recover the original state when a 2π rotation are performed on a single spinor. Hereupon, up to our knowledge, a given single spinor cannot be/or represent a physical observable. Nevertheless, even the composite of given mathematical quantities are directly associated to physical observables, thus, the importance of the bilinear covariants (bilinear forms). A algorithm to right define the bilinear forms, thus, recast into define an appropriate dual a e-mail: rodolforogerio@unifei.edu.br structure for a given spinor and, then, compute all the bilinear covariants associated to them.
The well-known Lounesto's classification [2] is a comprehensive and exhaustive algorithm that based on the bilinears covariants associated to a given spinor, embraces the possibility of a vast diversity of spinors. Such classification is divided into two sectors: one comprises of regular and the other singular spinors. The Lounesto classification is categorized by six distinct classes and there is nothing that preclude that each class have subclasses. The possibility of finding more classes has not been ruled out in [3], however, to the best of our knowledge, the physical interpretation of the spinors that may occupy these new classes is still quite complicated, at least so far, no entity harbouring these classes was, in fact, found or even defined. However, mathematically this was shown to be valid as an extension of Lounesto's classification.
The path followed by Lounesto is to classify spinors according with the physical information encoded in the spinors -not alluding to dynamic, helicity or any other attribute. In this sense, it is possible to accommodate in the aforementioned classification the Dirac, Majorana and Weyl spinors. The regular classes encompass the Dirac spinors and also single-helicity spinors, which do not necessarily satisfy the Dirac's dynamic, whereas singular classes are conditioned to embrace flag-dipole spinors [4,5], Majorana (flagpole) spinors and Weyl spinors, filling in classes 4, 5 and 6 respectively. As we shall see in the scope of the present work, flag-dipole and flag-pole spinors are known to carry a very similar structure, the main difference between them lies on the phases parameters. A curious fact that should be mentioned is related to the Weyl's spinors (class 6), due to its peculiarities [6], it is possible to map any class into class 6, however, the opposite is not true. The Weyl spinors are taken to belong to a univocal class within the Lounesto's classification. The whole path to be followed in this manuscript is based on the canonical form, we not deal with the second quantization (quantum fields) and will not allude to them either.
The paper is organized as it follows: in the next section we set the spinors notation and introduce the Lounesto's classification. In Sect. 3 we define a general single-helicity spinor and analyse all the possible phases combinations, displayed in a table, making explicit the restrictions to a spinor to belong to a determined class. Taking advantage of the previous results, in Sect. 4, we develop an analogous protocol, however, now for dual-helicity spinors. Thus, in Sect. 5 we look towards to establish a link between both sectors of the Lounesto's classification besides analyse the possibility to map the classes. Finally, we conclude.

Elementary review
This section is reserved for a brief review on the introductory elements that are necessary for the study carried out in the scope of this paper.

Notation, spinors and spinorial components
To obtain an explicit form of a given ψ( p μ ) spinor we first call out attention for the rest spinors, ψ(k μ ). For an arbitrary momentum ( p μ ), we have the following condition where the ψ(k μ ) rest frame spinor is a direct sum of the (1/2, 0) and (0, 1/2) Weyl spinor, which usually is defined as note that we define the k μ rest frame momentum as moreover, the general four-momentum (in spherical coordinates) Thus, the boost operator is defined as follows this yields cosh ϕ = E/m, sinh ϕ = p/m withφ =p. Thus, such momentum parametrization allow us to defined the right-hand and left-hand components, in the rest-frame referential, under inspection of the helicity operator it directly provide σ ·p φ ± (k μ ) = ±φ ± (k μ ). (6) wherep stands for the spacial components of the parametrization in (4) and σ stands for the Pauli matrix. Thus, the positive helicity component is given by and the negative helicity reads 1 Such components may be related to each other if one make use of the Wigner's time-reversal operator given operator holds the following properties 2 = −1 and −1 = − . As firstly noticed on Chapter 1 of Ref. [7], it allows one to write As remarked in Ref. [8], the presence of the factor ϑ in (7) and (8) becomes necessary to set up the framework of eigenspinors of parity or charge conjugation operators or eigenspinors of parity operator. One can verify that under a rotation by an angle ϑ the Dirac spinors pick up a global sign e ±iϑ/2 , depending on the related helicity. However, this only happens for eigenspinors of parity operator. For the eigenspinors of charge conjugation operator, the phases factor must be ϑ 1 = 0 and ϑ 2 = π [9]. Thus, this judicious combination of ϑ 1 and ϑ 2 ensure locality for field -further details can be found in [8].

The Lounesto's classification
Let ψ be an arbitrary spinor field, belonging to a section of the vector bundle P Spin e 1,3 (M) × ρ C 4 , where ρ stands for the entire representation space D (1/2,0) ⊕ D (0,1/2) . The usual bilinear covariants associated to ψ reads where γ 0123 := γ 5 = −iγ 0 γ 1 γ 2 γ 3 and γ μν := γ μ γ ν . Denoting by η μν the Minkowski metric, the set {1, γ I } (where I ∈ {μ, μν, μνρ, 5} is a composed index) is a basis for the Minkowski spacetime M(4, C) satisfying γ μ γ ν + γ ν γ μ = 2η μν 1, andψ = ψ † γ 0 stands for the adjoint spinor with respect to the Dirac dual. Yet, the elements {θ μ } are the dual basis of a given inertial frame In the Dirac's theory, the above bilinear covariants are interpreted respectively as the mass of the particle (σ ), the pseudo-scalar (ω) relevant for parity-coupling, the current of probability (J), the direction of the electron spin (K), and the probability density of the intrinsic electromagnetic moment (S) associated to the electron. In general grounds, it is always expected to associate such bilinear structures to physical observables.
So, the algebraic constraints presented in (11)-(15) reduce the possibilities of (only) six different spinor classes (for which J is always non-null 2 ), known as Lounesto's Classification [2]: 2 Interesting enough, by construction, the vector J is always non-null due to the fact that at least one of its components depends exclusively of the sum of the square modulo of the phases factor -regardless of whether the class is regular or singular. Nonetheless, the same can not be asserted for the axial vector K .
with classes 1, 2 and 3 satisfying K, S = 0. The spinors belonging to the first three classes are called regular spinors while classes 4, 5 and 6 are labelled as singular spinors [11,12]. Spinors describing fermions in field theory are called Dirac spinors, and they may belong to classes 1, 2 or 3, i.e., all Dirac spinors are necessarily regular ones.
As it was shown in Ref. [13], due to the contrasting adjoint structure of the Elko spinors [9], it is extremely necessary to rethink the physical interpretation carried by Lounesto's classification. Quite recently a more general treatment and interpretation for the bilinear forms carrying an adjoint structure, which differs from the Dirac's one, was performed [14]. Such analyse takes into account both charged and uncharged particles, in this vein, it is possible to fully understand the bilinear forms as it follows: σ still standing for the invariant length. The four-vector J represents the electric current density for charged particles, whereas for neutral particles it may be understood as the effective electromagnetic current four-vector [15], the bilinear form K shall be related with the spin-alignment due to a coupling with matter-or electromagnetic-field. And finally, the bi-vector S is related to the electromagnetic momentum density for charged particles, for neutral particles case it may correspond to the spindensity momentum or may represent spin-precession (spinoscillation) in the presence of a matter or a electromagnetic field [16-18, and references therein]. The interpretation of the bilinear ω is less clear, however, when combined into the FPK identity (16), it can be interpreted as probability density for regular spinors [2,[19][20][21][22], also some authors claim that such amount gives us clues of spinor behavior under C PT symmetry [2]. Nonetheless, for the general classification as developed in [14], the physical interpretation of the bilinear ω is not clear.

Part 1: further investigations on the regular spinors
Consider a single-helicity spinor, which can be described in the Weyl representation as follows where in its algebraic form reads where a, b, c, d ∈ C and the phases factors α and β ∈ C which will be further determined. The only requirement under the phases factors, comes from the orthonormal relation (invariant norm), and it stands for |α| 2 + |β| 2 ∝ m, in which m stands for the mass of a particle, being a real number.
Up two possibilities, first we impose to the spinor (21) to carry a positive single helicity, where we have used the plus sign in Eq. (6), thus, we obtain the following relations [23] b = a sin θ 1 + cos θ e iφ and d = c sin θ 1 + cos θ e iφ .
Under the conditions above, we can write the positive helicity spinor as where the lower index stand for helicity of the right-hand and left-hand components, respectively. Analogously, for a negative single helicity spinor, taking into account the negative sign in Eq. (6), we define and then, the negative helicity spinor reads A parenthetic remark, the above single-helicity spinors do not necessarily fulfil the Dirac dynamics. Once imposed the Dirac dynamics automatically parity operation must play the central role connecting the representation spaces [24][25][26]. However, here, for the proposal of the paper, taking into account that we are in an abstract framework, so, we do not make assertions related to the dynamic. With the relations (7) and (8) at hands, one may write the introduced single-helicity spinors in the following fashion 3 Note that to date we have not alluded to which class of regular spinors these spinors belongs to. Now we apply the mathematical proposal to the above single-helicity spinors. The procedure, then, lies in the analysis of the phases factors α and β, aiming to investigate under what circumstances one is able define the classes that the above spinors belong by an inspection of the restrictions upon its values, note that such a classification procedure does not require us to evaluate the bilinear forms associated with spinor. Thus, the conditions between the phases are displayed in Table 1: where R denotes any real number, C stands for any c-number, Im stands for any purely imaginary number and the symbol "-" means "No Constraint". Imposing to (26) to satisfy the Dirac's equation, automatically the link that arises between the phases is α = β, thus, belonging to class 2.
As an example of the utility of the protocol above, it is possible to correctly classify the single-helicity spinors introduced [26][27][28]. Note that we covered all the regular classes besides class 6. Remarkably enough, as one can see in Ref. [6], class 6 spinors necessarily have or φ R = 0 or φ L = 0, evincing, thus, the impossibility (independent of the choice of the phases) to map class 6 into any other class. We emphasize, however, that a single-helicity spinor can never be regarded as a singular spinor, note that, for the algebraic spinor displayed in (21), the computation of the bilinears σ and ω provides and if one impose to (27) and (28) to be simultaneously null, a contradiction is automatically reached. Note that and R, C or Im 6 -R, C or Im 0 6 -the only way to satisfy both condition is, then, α = 0 or β = 0, trivially leading to class 6 (excluding all the other classes), and the other possibility stands for the phases product to be zero, i.e., αβ * = 0 = α * β, showing, then, an inconsistency and also a non-physical case. Thus, the arguments above reinforce that single-helicity spinors can never fit into singular classes.

Part 2: further investigations on the singular spinors
In this section, we look towards define dual-helicity spinors. Such a task is accomplished by using a very similar procedure as previously performed for singular-helicity spinors. Now, mixing the signs in Eq. (6), then, we have the following con- The requirements above translates into the following set dualhelicity spinors, or in a compact form, The spinors in (31) can be written as An important remark lies in the fact that dual spinors components are always connected via Wigner's time-reversal operator ( ), similar to Elko spinors [8] and Flag-dipole spinors [4]. Now we display the conditions satisfied between the phases to classify dual-helicity spinors within Lounesto's classification (Table 2).
R, C or Im 6 -R, C or Im 0 6 -Thus, we turn explicit the constraints among the phases to define a specific class. Regarding to the class 4 and 5, we lay emphasis on their difference. The distinction among the aforementioned spinors is present on the value of the bilinear form K . Such bilinear form, in general grounds, depends on the subtraction between the modulo of the phases, thus, if |α| 2 = |β| 2 it leads to a spinor to belong to class 5. On the other hand, for a spinor carrying |α| 2 = |β| 2 , it provides K = 0, leading, then, to belong to class 4, as it can easily been checked for the spinors in Refs. [4,5,29].
We highlight an important fact here, dual-helicity spinors, independent of the phases, are automatically singular spinors and can not never be classified as regular spinors.

Connecting the Lounesto's regular and singular sectors
So far we have shown how to identify the class of a given regular or singular spinor just by the phase analysis, without invoking the computation of the bilinear forms. The next step, is to show how to connect both sectors of the Lounesto's classification Single-helicity sector.
Given what has already been discussed in the previous sections, we will abstain from the analysis of the class 6 for obvious reasons. Thus our focus lies in the classes comprised between 1 to 5. Have seen, that Lounesto's encompasses single-and dual-helicity spinors, the only way to connect both sectors is transmuting the spinor's helicity. Such task is easily accomplished via Wigner's time-reversal operator and algebraic complex conjugation, as shown in Eq. (10). Taking into account such peculiarities, one is able, then, to (re)define the phases as it reads and where we have definedˆ ≡ K, in which K stands for the algebraic complex-conjugation and is defined in (9). Such a redefinition above, allow one to define a more involving operator, which act on spinors. Such operator read Now, let R = {σ R , ω R , J R , K R , S R } be a set of bilinear forms of a given spinor belonging to the regular sector and S = {σ S , ω S , J S , K S , S S } be a set of bilinear forms of a given spinor belonging to the singular sector, the conditions in (35) and (36) together with (37), ensure the following where the lower index R and S stands for regular and singular sectors. Obviously, the inverse procedure indeed exists. Note that, however, to map a single-helicity spinor into a dualhelicity spinor, one may make use of only one of the two relations (35) and (36). Now, taking advantage of (37), if one act on the spinor introduced in (26) easily obtain the same relations presented in (33), connecting the Lounesto's regular sector with the singular sector. Based on the two previous tables, one is able to define the following (Table 3) Note, however, the possibility to map classes 1, 2, 3 into classes 4 and 5. As we shall see, the protocol developed here is in agreement with the previous one performed in [30], where the authors map Dirac spinors into Elko spinors (and vice-versa), showing the possibility to connect both sectors of the Lounesto's classification. Further investigations, but now concerning the dynamics of Dirac and Elko field are taken into account, were performed in [31]. Starting with a fundamental action, representing a mass dimension-transmuting operator between Dirac and Elko spinor fields were performed on the Dirac Lagrangian, in order to lead it into the Elko Lagrangian. Such a programme allow Elko spinors to be incorporated in the Standard Model. Such a possible connection between both sectors show -up to our knowledgean useful tool to understand the underlying properties of the spinors encompassed into the Lounesto's classification.
We purposely omitted, but all classes can be mapped into class 6.

Final remarks
In the present report we introduced a set of single-helicity and dual-helicity spinors on its algebraic form. After defining the eigenstates of the helicity operator, we explicitly defined the spinors in terms of spherical coordinates. Thus, with such spinors at hands, we developed a mechanism which turns possible to right ascertain to what class the spinors belongs within Lounesto's classification, without an exhaustive computation of the bilinear forms. Such a mathematical device is based on the analyses of the arbitrary phases factors, being them real numbers, complex numbers or purely imaginary numbers, thus, we displayed in two tables all the possible combinations among the phases, one table for regular spinors |α| 2 = |β| 2 (|α| 2 = |β| 2 ) C Im 1 C Im 4 (5) |α| 2 = |β| 2 (|α| 2 = |β| 2 ) Im Im 2 Im Im 4 (5) |α| 2 = |β| 2 (|α| 2 = |β| 2 ) Im R 3 I m R 4 (5) |α| 2 = |β| 2 (|α| 2 = |β| 2 ) and the other one for singular spinors. As highlighted above, we emphasize again that Lounesto's classification show a strong dichotomy between the regular sector and the singular sector. By a judicious inspection of the structure of the bilinear forms, one can show the impossibility -given by mathematical inconsistencies -to a given single-helicity spinor belong to the singular sector and we also evinced that dual-helicity spinors can not belong to the regular sector.
We shall finalize making an allusive comment to the results found in Sect. 5, as we can see, the phases factors play the central role in connecting both sectors of the Lounesto's classification, through the study that was developed here, we can also say that a portion of the physical information carried by the spinors is encoded in the phases factor.