Why Quarks are Different from Leptons – An Explanation by a Fermionic Substructure of Leptons and Quarks
H. Stumpf Institute of Theoretical Physics, University Tuebingen, Germany Reprint requests to Prof. H. S.; E-mail: [email protected]
Z. Naturforsch. 59a, 750 – 764 (2004); received August 14, 2004
To explain the difference between leptons and quarks, it is assumed that electroweak gauge bosons, leptons and quarks are composites of elementary fermionic constituents denoted by partons (not to be identified with quarks) or subfermions, respectively. The dynamical law of these constituents is assumed to be given by a relativistically invariant nonlinear spinor field theory with local interaction, canonical quantization, selfregularization and probability interpretation. According to the general requirements of field operator algebraic theory, this model is formulated in algebraic Schroedinger representation referred to generating functionals in functional state spaces. The derivation of the corresponding effective dynamics for the composite particles is studied by the construction of a map between the spinor field state functionals and the state functionals of the effective theory for gauge bosons, leptons and quarks. A closer examination of this map shows that it is then and then only selfconsistent if certain boundary conditions are satisfied. The latter enforce in the case of electroweak symmetry breaking the difference between lepton and quark states. This difference can be analytically expressed as conditions to be imposed on the wave functions of these composite particles and leads ultimately to the introduction and interpretation of color for quarks, i.e., the characteristic of their strong interaction.
Key words: Substructure of Quarks and Leptons; Effective Dynamics; Difference of Leptons and Quarks.
1. Introduction At present the general tendency prevails to embed the standard model into theories with grand unifica- In the standard model of elementary particle physics tion, supersymmetry, superstrings, etc., see [1]. But to leptons and quarks are assumed to constitute the solve the above problem we prefer the compositeness fermionic part of its basic particle set, i.e. in this model hypothesis as a possible approach of model building. leptons and quarks are considered to be the ultimate While the former model building leads to an en- fermionic constituents of matter without substructure. largement of symmetries and (or) dimensions, etc., the In spite of the enormous success of this model with latter approach should lead to a simplification of the respect to the experimental verification, it raises a lot of basic particle set and of the interactions. Thus from an theoretically and experimentally unsolved questions, economic point of view the compositeness hypothesis see [1], Sect. 3.10, [2], Sect. 5.7, [3], Sect. 12, and is very attractive. Nevertheless, before starting a the- these have led to further alternative model building oretical discussion one should have a look on experi- since several decades, see [1]. ments. Does there exist any experimental hint in favour One of these unsolved problems is the existence of of this hypothesis? lepton and quark families, or more simply: Why quarks In high energy physics deep inelastic scattering pro- are different from leptons and why do they exist in gen- cesses of photons by photons and similarly of quarks erations? by photons seem to provide signals of composite- If one tries to answer these special questions, one ness of the photons themselves, [4 – 6], as well as is confronted with the basic problem by which kind of the quarks, [7 – 9]. In addition an unexpected con- of model the standard model should be replaced, be- firmation of compositeness comes from the study of cause within the standard model itself one cannot find superfluids with an enormous variety of experimen- any reason for the difference of leptons and quarks and tal facts and analogies to high energy physics and their replication. even cosmology, [10]. We consider these facts as a
0932–0784 / 04 / 1100–0750 $ 06.00 c 2004 Verlag der Zeitschrift f¨ur Naturforschung, T¨ubingen · http://znaturforsch.com H. Stumpf · Why Quarks are Different from Leptons 751 justification of theoretical research in compositeness models cited in [15], because the mathematical for- models. mulation and evaluation is different from previous at- In the past decades such a model was developed tempts in this field. which we use as a suitable candidate to treat quanti- In previous attempts, see [15], the difference be- tatively the substructure of elementary particles. This tween leptons and quarks was generally explained by model is based on a relativistically invariant nonlin- attributing to quarks special algebraic and group the- ear spinor field theory with local interaction, canoni- oretical degrees of freedom, whereas in the case un- cal quantization, selfregularization and probability in- der consideration we start with a globally invariant terpretation. It can be considered as the quantum field SU(2) ⊗ U(1) spinor theory, and the difference be- theoretic generalization of de Broglie’s theory of fu- tween leptons and quarks is generated by the dynamics sion, [11], and as a mathematical realization and phys- of the model itself. Being composite particles, the ef- ical modification of Heisenberg’s approach, [12], and fective dynamics of leptons, quarks and gauge bosons is expounded in [13, 14]. will be studied. In this case the consistence of the map- Its basic particle set consists of partons (not to be ping from the basic parton theory to the corresponding identified with quarks) or subfermions, respectively, effective theory imposes subsidiary conditions which which are assumed to be the elements of the substruc- enforce the difference between lepton and quark states ture of the elementary particles of the standard model. and hence offers an explanation of the difference of In this model the formation of additional new partonic leptons and quarks themselves. bound states is not excluded, where the latter can act as Thus, before discussing the latter problem we first additional “elementary particles” in the corresponding develop the formal proofs for the derivation of the ef- effective theory replacing the standard model. fective dynamics of these composite particles and, sub- In analyzing the problem why quarks are different sequently, based on the results of these investigations, from leptons, we refer to this model. In particular, we can treat the actual problem in the last section. in its simplest version the electroweak gauge bosons are assumed to be two-parton bound states, while the 2. Algebraic Representation of the Spinor Field fermion families are assumed to arise from three par- ton bound states. The latter assumptions are made in The algebraic representation is the basic formula- several compositeness models, [15]. Among other au- tion of the spinor field model and the starting point for thors, the three fermion substructure of leptons and its evaluation. In order to avoid lengthy deductions we quarks was proposed by Harari [16] and Shupe [17]. give only some basic formulas of this formalism and But apart from this assumption our model has no- refer for details to [13, 14, 18]. The corresponding La- thing in common with the Harari-Shupe model or other grangian density reads, see [14], Eq. (2.52)
3 −1 ¯ µ L(x):= λi ψAαi(x)(iγ ∂µ − mi)αβδABψBβi(x) i=1 (1) 1 2 3 − h h ¯ ( ) ( ) ¯ ( ) ( ) 2g δABδCDvαβvγδ ψAαi x ψBβj x ψCγk x ψDδl x h=1 i,j,k,l=1 with v1 := 1 and v2 := iγ5. The field operators are To obtain a uniform transformation property with re- assumed to be Dirac spinors with index α =1, 2, 3, 4 spect to Lorentz transformations, the adjoint spinors and additional isospin with index A =1, 2 as well as are replaced by formally charge conjugated spinors, auxiliary fields with index i =1, 2, 3 for nonperturba- which are defined by tive regularization. The algebra of the field operators is c ¯ ψ (x)=CαβψAβi(x), (3) defined by the anticommutators Aαi and the index Λ is introduced by [ + (r ) (r )] = (r−r) ψAαi ,t ψBβj ,t + λiδij δABδαβδ (2) ( ); =1 ( )= ψAαi x Λ ψAΛαi x c ( ); =2 . (4) resulting from canonical quantization. All other anti- ψAαi x Λ commutators vanish. Then the set of indices is defined by Z := (A, Λ, α, i). 752 H. Stumpf · Why Quarks are Different from Leptons
The operator formulation of the theory by means bra with corresponding duals ∂I := ∂Z (r) which sat- of (1) and (2) cannot be evaluated without further isfy the anticommutation relations preparation. In order to obtain definite results from this theory a state space is needed in which the dynamical [jI , ∂I ]=δZZ δ(r − r ), (8) equations can be formulated. This is achieved by the use of the algebraic Schroedinger representation. For while all other anticommutators vanish. ∂ |0 =0 a detailed discussion we refer to [13, 14, 18]. Here we With I f the basis vectors for the generat- present only the results and definitions. ing functional states can be defined. The latter are not To ensure transparency of the formalism we use the allowed to be confused with creation and annihilation symbolic notation operators of particles in physical state spaces, because generating functionals are formal tools for a compact | (ψI1 ...ψIn ):=ψZ1 (r1,t) ...ψZn (rn,t) (5) algebraic representation of the states a : To each state |a in the physical state space we associate a functional with Ik := (Zk, rk,t). Then in the algebraic Schroe- state |A(j; a) in the corresponding functional space. dinger representation a state |a is characterized by the The map is biunique, and the symmetries of the orig- set of matrix elements inal theory are conserved. Nevertheless this map does not induce any equivalence of the kind indicated above. ( ):=0|A( )| =1 ∞ τn a ψI1 ...ψIn a ,n ... , (6) For details see [13, 14]. In order to find a dynamical equation for the func- A where means antisymmetrization in I1 ...In. tional states, we apply to the operator products (5) the By means of this definition the calculation of an Heisenberg formula eigenstate |a is transferred to the calculation of the set of matrix elements (6) which characterize this state. ∂ i A(ψI ...ψI )=[A(ψI ...ψI ),H]−, For a compact formulation of this method, generating ∂t 1 n 1 n (9) functionals are introduced, and the set (6) is replaced n =1...∞, by the functional state where H is the Hamiltonian of the system under con- ∞ n i sideration. |A(j; a) := τn(I1 ...In|a)jI ...jI |0f , n! 1 n If |0 as well as |a are assumed to be eigenstates of n=1 I1...In (7) H, then between both states the matrix elements of (9) can be formed, and subsequent evaluation leads to the := (r) where jI jZ are the generators of a CAR-alge- functional equation, see [13, 14]
a E0 |A(j; a) =[KI1I2 jI1 ∂I2 − WI1 I2I3I4 jI1 (∂I4 ∂I3 ∂I2 + AI4J1 AI3J2 jJ1 jJ2 ∂I2 )]|A(j; a) (10) a with E0 = Ea − E0 and summation convention for I, etc. The symbols which are used in (10) are defined by the following relations: := 0 ( k∂ − ) KI1I2 iDI1I D k m II2 (11) with µ := µ (r − r ) := (r − r ) DI1I2 iγα1α2 δA1A2 δΛ1Λ2 δi1i2 δ 1 2 ,mI1I2 mi1 δα1α2 δA1A2 δΛ1Λ2 δi1i2 δ 1 2 , (12) and := − 0 WI1I2I3I4 iDI1I VII2I3I4 (13) with 2 := h ( h ) (r − r ) (r − r ) (r − r ) VI1I2I3I4 gλi1 Bi2i3i4 vα1α2 δA1A2 δΛ1Λ2 v C α3 α4 δA3A4 δΛ31δΛ42δ 1 2 δ 1 3 δ 1 4 , h=1
Bi2i3i4 := 1,i2,i3,i4 =1, 2, 3 (14) H. Stumpf · Why Quarks are Different from Leptons 753 and the anticommutator matrices := ( 0) 1 (r − r ) AI1I2 λi1 Cγ α1α2 δA1A2 σΛ1Λ2 δi1i2 δ 1 2 . (15)
So far this functional equation holds for any algebraic representation. A special representation can be selected by specifying the corresponding vacuum. This can be achieved by the introduction of normal ordered functionals. Using the summation convention for I they are defined by
∞ 1 in |F(j; a) := exp[ jI FI I jI ]|A(j; a) =: ϕn(I1 ...In|a)jI ...jI |0f , 2 1 1 2 2 ! 1 n (16) n=1 n where the two-point function
FI1I2 := 0|A{ψZ1 (r1,t)ψZ2 (r2,t)}|0 (17) contains an information about the groundstate and thus fixes the representation. The normal ordered functional equation then reads
a E0 |F(j; a) = HF (j, ∂)|F(j; a) (18) with
HF (j, ∂):=jI1 KI1I2 ∂I2 + WI1I2I3I4 [jI1 ∂I4 ∂I3 ∂I2 − 3FI4K jI1 jK ∂I3 ∂I2 +(3FI4K1 FI3 K2 1 1 (19) + AI K AI K )jI jK jK ∂I − (FI K FI K + AI K AI K )FI K jI jK jK jK ]. 4 4 1 3 2 1 1 2 2 4 1 3 2 4 4 1 3 2 2 3 1 1 2 3
Equation (19) is the algebraic Schroedinger repre- Then one will ask whether in consequence of this sentation of the spinorfield Lagrangian (1), written in procedure relativistic covariance is completely lost. In functional space with a fixed algebraic state space. perturbation theory this is not the case, because the With respect to the physical interpretation of this for- equivalence of the Hamilton formalism and the covari- malism two comments have to be added: ant formulation can be shown. A similar result can be i) The algebraic Schroedinger representation is the obtained for the composite particle theory in algebraic formulation of the Hamilton formalism for quantum Schroedinger representation: The corresponding effec- fields independently of perturbation theory. Neverthe- tive theories for composite particle reactions can be co- less, for the justification of this procedure the findings variantly formulated too. of perturbation theory are indispensible. ii) In general, in the literature spinor field models, From the perturbation theory one learns that during like the NJL-model in nuclear physics, are considered the time interval where mutual interactions between as effective, low energy theories. If spinor field models the particles take place, these particles cannot be kept are to play a more fundamental role, they need a special on their mass shell. This means that in order to get preparation to suppress divergencies. In the case under nontrivial interactions one is not allowed to enforce the consideration this preparation is expressed by the in- particles on their mass shell all the time. troduction of auxiliary fields with constants λi in (1), The formal treatment of perturbation theory starts (2) and (14), (15), which are designed to generate a with the Schroedinger picture, i. e., the Hamilton nonperturbative intrinsic regularization of the theory. formalism which explicitly avoids the on shell fix- This regularization is closely connected with the ing of particle masses. Hence, if this treatment probability interpretation of the theory. As the λ i are of the perturbation theory is extended to the case indefinite, an indefinite state space of the auxiliary of composite particle interactions, the use of the fields results. Hence these auxiliary fields are unob- Hamilton operator leads to the formalism introduced servable, and a special definition of a corresponding above. physical state space is needed. This definition is iden- 754 H. Stumpf · Why Quarks are Different from Leptons tical with the intrinsic regularization prescription and the ordinary Schroedinger equation in Fock space, and leads in turn to probability conservation in physical the corresponding equation is defined by the functional state space. Furthermore it can be shown that the latter equation (18), (19) in functional space. property can be transferred to the corresponding effec- A transformation of the latter functional equation tive theories themselves. For details we refer [18]. to describe fermion pairs leads to a corresponding bosonic functional equation in algebraic Schroedinger 3. Bosonization in Functional Space representation. For this case, exact mapping theorems were derived in [21, 22] and [23]. In [23] the functional With respect to an application in section 5, we first mapping formalism was formulated in close analogy to treat the simple case of collective modes where bound ordinary bosonization in Fock space. states are represented by fermion pairs. In nuclear In the algebraic Schroedinger representation the physics this treatment has a long history, [19, 20], and central formula which defines the map into the boson in solid state physics it is applied in numerous ver- representation was originally given by the expansion, sions. Following [19] we shortly give the central for- see [13, 14], mulas of the conventional method of approach, which afterwards will be modified to treat the problem under ϕn(I1 ...I2n|a)= consideration. 1 {I1I2 I2n−1I2n} (24) Let $(k1 ...kn)C ...C , (2n)! k1 kn + + + + k1...kn | f = |0f n aβ1 aβ2 ...aβ2n−1 aβ2n (20) where the wave functions C II are single time func- be an even numbered fermion state in fermionic Fock k + tions which result from fully covariant wave func- space with creation operators aβ and the correspond- tions ϕk(x1,x2) by formation of the symmetric limit ing Fock vacuum |0f , see [19] Eqs. (2.5), (2.6), and t1 → t, t2 → t, and by separation into parts which de- let scribe the wave functions of collective variables. So the II + + wave functions C reflect in their structure their rel- |nB = b ...b |0B (21) k {β1β2 β2n−1β2n} ativistic origin by containing the relativistic deforma- be the corresponding bosonic Fock space with creation tions, but no genuine energy eigenvalue equation can + be derived for them. In addition the state space of the operators bαα and the corresponding Fock vacuum |0B auxiliary fields is indefinite, see Section 2. , where the brackets in (21) mean antisymmetriza- ∗ tion ≡A, see [19], Eqs. (2.1), (2.3). Then the operator From these facts it follows that in general Ck is not the dual of Ck. In contrast to the Fock space mapping ∞ 1 + + methods in nuclear physics, it is thus necessary to in- U := bα α ...bα α k n! 1 2 2n−1 2n (22) troduce dual states RII , where both types of states are n=0 α1...α2n assumed to be antisymmetric functions |0Bf0|aα1 aα2 ...aα2n−1 aα2n II I I k k Ck = −Ck ; RII = −RI I , (25) transforms the fermion state (20) into the boson state (21), see [19], Eq. (2.4), i. e. and where the relations
|nB = NU|nf , (23) I1I2 k = k Ck RI1I2 δk , (26) I I where N is an appropriate normalization factor, and 1 2 where the exponential in [19], (2.4), is represented by 1 I1 I2 k I1 I2 I1 I2 Ck RI I = (δI δI − δI δI ) (27) its power series expansion. 1 2 2 1 2 2 1 If the formulas (21) – (23) are systematically eval- k uated, then Schroedinger equations in fermionic Fock have to be satisfied by definition, provided the wave space can be transformed into Schroedinger equations functions {Ck} are a complete set of antisymmetric in bosonic Fock space. functions in (I1,I2)-space. In the case under consideration the algebraic In order to show the equivalence of both sides of Schroedinger representation of the spinor field replaces (24), we study the inversion of (24) by multiplying H. Stumpf · Why Quarks are Different from Leptons 755 (24) with the corresponding duals and summing over which leaves the boson state (33) invariant: I1 ...I2n. Using here and in the following the summa- P|F( | )=|F( | ) tion convention for k, I, etc., this gives b a b a . (36) Therefore, by the definition (16) of the fermion func- k1 kn R ...R ϕ(I1 ...I2n|a)=˜$(k1 ...kn|a) I1I2 I2n−1I2n tional state, by the definition of the mapping rela- (28) tion (32) and the definition of the boson functional state (33) a bijective map between (16) and (33) is es- with tablished.
k1...kn It remains the task to transform the eigenvalue equa- $˜(k1 ...kn|a)=Sk ...k $(k1 ...kn|a), (29) 1 n tion (18) for the fermion state (16) into a corresponding where eigenvalue equation for the boson state (33). The first step must be to replace the mapping defi- 1 k1...kn k1 kn nition in configuration space (32) by a corresponding Sk ...k = RI I ...RI I 1 n (2n)! 1 2 2n−1 2n mapping definition in functional space. I1...I2n By generalizing relation (22) the following defini- {I1I2 I2n−1I2n } · C ...Ck . tion was introduced by Kerschner [23]: k1 n ∞ f 1 (30) T (b, ∂ ):= bk ...bk |0B ! 1 n n=1 n (37) f f The latter tensors have the projector properties · k1 kn 0|∂ ∂ RI1I2 ...RI2n−1I2n f I1 ... I2n , k ...k j ...j k ...k S 1 n S 1 n = S 1 n . (31) j1...jn l1...ln l1...ln which leads in analogy to (23) to the mapping defini- From this it has to be concluded that a bijective map- tion f ping for the functions appearing in (24) can only be |F(b|a) = T (b, ∂ )|F(j|a), (38) achieved if (24) is replaced by, see [21, 23]: 1 and owing to the general definition of duals (26), (27) ϕn(I1 ...I2n|a)= $˜(k1 ...kn|a) the inverse relation of (38) reads (2n)! (32) b |F(j|a) = S(j, ∂ )|F(b|a) (39) · {I1I2 I2n−1I2n } Ck1 ...Ckn . with Then according to (31) formula (28) is indeed the in- ∞ verse of (32). b 1 S(j, ∂ ):= jI ...jI |0f (2 )! 1 2n In the next step we define the generating functional n=1 n (40) state for bosons by I1 I2 I2n−1I2n b b · B0|∂ ∂ Ck1 ...Ckn kn ... k1 . ∞ 1 |F(b|a) = $˜(k1 ...kn|a)bk ...bk |0B In contrast to nuclear physics the inverse operator of T ! 1 n (33) n=1 n is not its Hermitean conjugate, but (40). For these operators the following relation can be de- with the functional creation operators bk and the func- rived, [23]: |0 ∂b tional Fock vacuum B, where with the duals k of f b bk the commutation relations T (b, ∂ )S(j, ∂ )=P (41) b [bk, ∂k ]− = δkk (34) and S( ∂b)T ( ∂f )=1( ∂f ) are postulated, while all other commutators vanish. j, b, j, . (42) Furthermore, for later use we define the projector Using these relations, equation (18) can be mapped ∞ into equation 1 b b P = |0 l1...ln 0|∂ ∂ bl1 ...bln BSl ...l B l ... l , (35) a b ! 1 n n 1 |F( | ) = H ( ∂ )|F( | ) n=1 n E0 b a B b, b a (43) 756 H. Stumpf · Why Quarks are Different from Leptons for the boson functional states (33) with and
b f f b f f f b f HB ( ∂ )=T ( ∂ )HF ( ∂ )S( ∂ ) KI b, b, j, j, . (44) T (b, ∂ )∂I ∂K = Ck ∂kT (b, ∂ ) (46) To evaluate (44), the commutator between T and H F has to be derived. This can be achieved by the combi- and repeated application. Similar commutator relations nation of two special commutation relations, [23]: were evaluated and applied in nuclear physics, [19], Eqs. (2,7), (2,8), etc. f k f f T (b, ∂ )jI =2RIKbkT (b, ∂ )∂K (45) For the case under consideration one obtains
a kk b k ll kll b b kk ll E0 |F(b|a) := {K bk∂k + Q (bk + Γkk blbl ∂k )+W1 bk∂l ∂l + W2 (bk + Γkk blbl ∂k )∂k