2 Cosmolog
2 Cosmolog
2 Cosmolog
Quantum
Field Theory in fractal space-time with negative Hausdorff-
Colombeau dimensions and dark matter nature.
J. Foukzon
Department of mathematics, Israel Institute of Technology, Haifa, Israel
E-mail: jaykovfoukzon@list.ru
E.Menkova
A.Potapov
1.Introduction
1.1.The cosmological constant problem and Quantum
Field Theory in fractal spacetime with negative dimension.
One of the greatest challenges in modern physics is to reconcile general relativity and
elementary particles physics into a unified theory. Perhaps the most dramatic clash
between the two theories lies in the cosmological constant problem [1-6] and in the
problem of the Dark (i.e., non-luminous and non-absorbing) Matter nature is, arguably,
the most widely discussed topic in contemporary particle physics.Naive predictions of
vacuum energy from canonical quantum field theory predict a magnitude so high that the
expansion of the Universe should have accelerated so quickly that no any structure
could have formed. The predicted rate of acceleration resulting from vacuum energy is
famously 120 orders of magnitude larger than what is observed. In order to avoid these
difficultnes mentioned above we assume that:(i) physics of elementary particles
essentially is separated into low/high energy ones, (ii) the standard notion of smooth
spacetime is assumed to be altered at a high energy cutoff scale and a new
treatment based on QFT in a fractal spacetime with negative dimension is used above
that scale . In this paper we argue that Quantum Field Theory in fractal space-time
with negative Hausdorff-Colombeau dimensions [15] gives high-energy cutoff on natural
way.No one knows what dark energy is, but we need it to explain the discovered
accelerated expansion of the Universe. The most elegant and natural solution is to
identify dark energy with the energy of the quantum vacuum predicted by Quantum Field
Theory, but the trouble is that QFT predicts the energy density of the vacuum to be
orders of magnitude larger than the observed dark energy density:
27
de 7. 5 10 kg/m 3 . 1. 1. 1
Recall that it was stressed by Zeldovich [1] that quantum field theory generically
demands that cosmological constant or, let us repeat, what is the same, vacuum energy
is non-vanishing.Summing the zero-point energies of all normal modes of some
quantum field of mass m up to a wave number cut-off /c 2 m, QFT yields [1],[5] a
vacuum energy density
p
vac d3p p2 m2 p4 . 1. 1. 2
0
In order avoid difficultnes mentioned above, in article [1] Zel’dovich has applied
canonical Pauli-Villars regularization [7],[8] and formally has obtained an finite result (his
formulas [1], Eqs. (VIII.12)-(VIII.13) p.228)
eff
vac p vac 1 f 4
ln d c4 , 2. 1. 11
8 8 G
0
where
eff eff eff
2 4
f d f d f d 0. 2. 1. 12
0 0 0
where m (the ultra-violet cut-of ) is taken equal to the proton mass. Zel’dovich notes that
since this estimate exceeds observational bounds by 46 orders of magnitude it is clear
that "...such an estimate has nothing in common with reality".
In his paper [1], Zel’dovich wroted:" Recently A.D. Sakharov proposed a theory of
gravitation, or, more precisely, a justification GR equations based on consideration of
vacuum fluctuations.In this theory, the essential assumption is that there is some
elementary length L or the corresponding limiting momentum p 0 /L. Shorter lengths
or for large impulses theory is not applicable. Sakharov gets the expression of
gravitational constant G through L or p 0 (his formula [1],Eq.(IX.6))
G c3L2 c3 . 2. 1. 14
p 20
This expression has been known since the days of Planck, but it was read "from right
to left": gravity determines the length L and the momentum p 0 . According to Sakharov, L
and p 0 are primary. Substitute Eq.(IX. 6) in the expression Eq.(IX.4) (see [1]), we get
m6c5 , vac
m6c7 . 2. 1. 15
p 20 3 p 20 3
That is expressions that the first members (in the formulas [1],Eqs.(VIII.10)-(VIII. 11))
which are vanishes (with p 0 ).Thus, we can suggest the following interpretation of the
cosmological constant: there is a theory of elementary particles, which would give
(according to the mechanism that has not been revealed at the present time) identically
zero vacuum energy, if this theory were applicable infinitely, up to arbitrarily large
momentum; there is a momentum p 0 , beyond which the theory is nont aplicable; along
with other implications, modifying the theory gives different from zero vacuum energy;
general considerations make it likely that the effect is portional p 0 2 .Clarification of the
question of the existence and magnitude of the cosmological constant will also be of
fundamental importance for the theory of elementary particles".
In contrast with Zel’dovich paper [1] we assume that Poincaré group is deformed at
some fundamental high-energy cutoff [9],[10],[11] in accordance on the basis of the
following deformed Poisson brackets
1 0 0
x ,x x x , p ,p 0,
2. 1. 16
1 0
x ,p p
where μ, , 0, 1, 2, 3, 1, 1, 1, 1 and is a parameter identified as the ratio
between the high-energy cutoff and the light speed. The corresponding to (2.1.16)
momentum transformation reads [11]
p0 up x px up 0 /c 2
p0 1
, px 1
,
1 c 1 p0 up x 1 c 1 p0 up x
2. 1. 17
py pz
py 1
, pz 1
,
1 c 1 p0 up x 1 c 1 p0 up x
and coordinate transformation reads [11]
t ux/c 2 x ut
t 1
,x 1
,
1 c 1 p0 up x 1 c 1 p0 up x
2. 1. 18
y z
y 1
,z 1
,
1 c 1 p0 up x 1 c 1 p0 up x
obtain
p 20 p2
2
m2, p0 l 1, 2. 1. 21
1 l p0
From Eq.(2.1.21) we obtain
m2l 1 m4l2
p0 p2 m2 . 2. 1. 22
1 m2l2 1 m2l2 1 m2l2
The action for a scalar field must be invariant under the deformed Lorentz
transformations.The invariant action reads [10]
ab
S 1 d4x a b m2 2
V . 2. 1. 25
2 1 l 0 2
Thus there is no linear field equation even if V 0.
Remark 2.1.5.Throughout this paper, we use the perturbative expansion
S 1 d 4 x ab a b
m2 2
Ol . 2. 1. 26
2 2
and dealing in Lorentz invariant approximation
1 d 4 x ab a
S b
m2 2
. 2. 1. 27
2 2
since for l 1 the expansion (2.1.26) holds.
one obtains
K p 4 dp
p KF . 2. 2. 2
3 0 p2 2
Remark 2.2.1.Note that the integral in RHS of the Eq.(2.2.1) and the Eq.(2.2.2)
divergent
and ultraviolet cutoff is needed.
Thus in accordance with [1] we set
, p0 KI , p 0 , p , p 0 KF , p 0 , 2. 2. 3
where
p0 p0 p 4 dp
I , p0 p2 2
p 2 dp, F , p 0 , 2. 2. 4
0 0 p2 2
A2h g 2M g 1 O h2 , 2. 2. 9
f 1g
h
Let g be an appropriate continuous function such that: (i) g i fi, i 1, 2, . . . , 2M,
(ii) g 2M 0, g 1 0.
Thus from Eqs.(2.2.6)-(2.2.7) and Eqs.(2.2.9) we obtain
2M
fiI i, p0
i 0 2. 2. 10
2M
2
f I , p0 d A1h f 2M I 2M , p 0 f 1 I 1, p0 Oh
1
and
2M
p fiF i, p0
i 0 2. 2. 11
2M
f F , p0 d A1h f 2M F 2M , p 0 f 1 F 1, p0 O h2 .
1
Definition 2.2.2.We will call the function f as a full continuous Pauli-Villars masses
distribution.
Definition 2.2.3.We define now: (i) discrete distribution f s.m
PV : by formula
s.m s.m
f PV i fi, i 1, 2, . . . , M 2. 2. 12
and we will call it as discrete Pauli-Villars masses distribution of the standard matter
and
(ii) discrete distribution f g.m
PV : by formula
g.m
f PV i fi, i M 1, 2, . . . , 2M 2. 2. 13
and we will call it as discrete Pauli-Villars masses distribution of the ghost matter.
Remark 2.2.4.We rewrite now the Eqs.(2.2.6)-(2.2.7) in the following equivalent form
M 2M
s.m s.m s.m g.m g.m g.m
f PV i I i , p0 f PV ji I j i , p0 2. 2. 14
i 1 ji M 1
and
M 2M
s.m s.m s.m g.m g.m g.m
p f PV i F i , p0 f PV ji F j i , p0 , 2. 2. 15
i 1 ji M 1
where j i i M, i 1 1, 2, . . . , M.
s.m g.m s.m s.m g.m g.m
Remark 2.2.5.We assume now that: (i) i j i , (ii) f PV i f PV ji 1, i.e.,
s.m s.m g.m g.m
f PV i f PV ji . 2. 2. 16
Note that Eq.(2.2.16) meant highly symmetric discrete Pauli-Villars masses
distribution
between standard matter and ghost matter below that scale
Thus from Eqs.(2.2.14)-(2.2.15) and Eqs.(2.2.16) we obtain
M 2M
s.m s.m s.m g.m g.m g.m
f PV i I i , p0 f PV ji I j i , p0
i 1 ji M 1
2. 2. 17
M
s.m s.m g.m g.m
f PV i f PV ji I i, p0
i 1
and
M 2M
s.m s.m s.m g.m g.m g.m
p f PV i F i , p0 f PV ji F j i , p0
i 1 ji M 1
2. 2. 18
M
s.m s.m g.m g.m
f PV i f PV ji F i, p0 .
i 1
and
M
s.m s.m g.m g.m s.m
p f PV i f PV ji F i
i 1 2. 2. 20
eff s.m g.m
f PV f PV F , p0 d ,
1
where obviously
s.m g.m
f PV f PV f PV 0. 2. 2. 21
s.m g.m
Definition 2.2.5.We will call f PV and f PV as continuous Pauli-Villars masses
distribution of the standard matter and ghost matter correspondingly.
Thus finally we obtain
eff
eff , p 0 f PV I , p0 d , 2. 2. 22
1
and
eff
p eff , p 0 f PV F , p0 d , 2. 2. 23
1
In order to calculate eff , p 0 and p eff , p 0 let us evaluate now the following quantities
defined above by Eqs.(2.2.4)
p0 p p0
2 2 2 2 2 2
I , p0 p p dp p p dp p2 p2 2
dp
0 0 p
p p0
2. 2. 24
2 2
p3 1 dp p3 1 dp
p2 p2
0 p
and
p0 p p0
1 p 4 dp 1 p 4 dp 1 p 4 dp
F , p0
3 p2 2 3 p2 2 3 p2 2
0 0 p
p p0 2. 2. 25
1 p 3 dp 1 p 3 dp
,
3 2 3 2
0 1 p 1
p2 p2
eff , p 0
eff eff eff
1 p4 f PV d 1 p2 f PV 2
d C1 1 ln p 0 f PV 4
d
4 0 4 0 8 2. 2. 30
0 0 0
eff eff eff
1 f PV 4
ln d 1 1 f PV 6
d O f PV 8
p 05 .
8 p 20 32
0 0 0
1 p4 f PV d 1 p2 f PV 2
d C2 1 ln p 0 f PV 4
d
12 0 12 0 8 2. 2. 31
0 0 0
eff eff eff
1 f PV 4
ln d 5 1 f PV 6
d O f PV 8
p 05 .
8 p 20 32
0 0 0
2 4
f PV d f PV d f PV d 0. 2. 2. 32
0 0 0
1 4
O p 02 ,
eff , p 0 f PV ln d
8
0
eff
2. 2. 33
p 1 4
O p 02 .
eff , p 0 f PV ln d
8
0
1 f PV 4
ln d ,
eff
8
0
eff
2. 2. 34
p 1 f PV 4
ln d .
eff
8
0
p 1 f PV 4
ln d c4 . 2. 2. 35
eff eff
8 8 G
0
where m 2i /k 2 1, we get
N ai N a i m 2i N 1
k2 2 2
O 3
. 2. 2. 39
i 0 k iϵ i 0 2 i 0
k iϵ k2 iϵ
For a renormalizable theory the maximum supercriticial power of divergence of any
Feinman integral is quadratic, so that the O 1/k 6 terms are ultraviolet finite. The
finiteness of the regulated Feinman integral is then guaranteed by requiring that
N N
a
i 0 i
0, a m2
i 0 i i
0. 2. 2. 40
Remark 2.2.8. Note that in order to obtain renormalized physical quantities canonical
procedure required take the limits lim m i m i , i 1, . . . , N of the regulated Feinman
integral.
Unfortunately under these limits the expansion (2.2.38) obviously breaks down since
the
inequalities m 2i /k 2 1, i 1, . . . , N in the limits lim m i m i , i 1, . . . , N obviously no longer
holds!Thus canonical Pauli-Villars procedure does not make any rigorous
mathematical
sense.In fact that is formal deletion of the divergences by hands.
Remark 2.2.9. In order to avoid these difficultness mentioned above we have choose
Pauli-Villars masses m PV of order m PV /c 2 or m /c 2 and therefore there is no
problems arises with unitarity condition,see section V.
Remark 2.2.10.We claim that such sufficiently larges Pauli-Villars masses m PV
corresponds to a physical ghost particles which formed Dark Matter sector of the
Universe.
Remark 2.2.11.Note that in order to aply modified Pauli-Villars renormalization
mentioned
above (see Remarks 2.2.9-2.2.10) to QFT with Lagrangian , , , we would
replace the Lagrangian , , , by Lagrangian , , , , where [7]:
2 2
x x n
bn n x, PV,n , x x n
cn n x, PV,n , 2. 2. 41
and where commutator for n and anticommutator for n reads
2 2 2
m x, PV,m , n x, PV,n i n x x, PV,n mn ,
2. 2. 42
2 2 2
m x, PV,m , n x, PV,n i nS x x, PV,n mn .
where eff /c p 0 .
For definiteness we have chosen now that
n
O eff cos , n 1 m0 eff
f PV 2. 2. 48
0 eff
where n and
p 40 sin eff p 20 , cos eff 1, 2. 2. 49
where . Note that
eff
n n
1 p4 f PV d eff
p 40 sin
eff
p 20 ,
eff
4 0 4 4
0
eff
1 p2 f PV 2
d
4 0
0
n 1
1 p2 2 2
sin 2 sin 2 cos | 0 eff
eff
p 20 ,
4 3 0 2 2 2. 2. 50
eff
4 ln p 0
ln p 0 f PV d 5
0
3 3 2 2 4 4
24 sin 4 cos 12 sin sin 24 cos | 0 eff
n 3
4 eff
2
ln p 0 .
1 f 4
ln d O n 5
|p eff | | eff | eff ln eff . 2. 2. 53
8
0
p 40 f PV d 0, p 20 f PV 2
d 0, f PV 4
d 0. 2. 2. 54
0 0 0
p 40 f PV d 0, p 2 f PV 2
d 0, f PV 4
d 0. 2. 2. 54
0 0 0
required by Eq.(2.2.16).
There is no candidate in the standard model of particle physics.In what way does dark
matter extend the standard model?
Remark 2.3.1.In order to explain physical nature of dark matter sector we assume that
main part of dark matter,i.e., 23% 4. 6% 18% (see Fig.2.3.3) formed by
supermassive ghost particles vith masess such that mc 2 .
Remark 2.3.2.In order to obtain QFT description of the dark component of matter in
natural way we expand now the standard model of particle physics on a sector of
ghost
particles. QFT in a ghost sector developed in Sect.3.1-3.4 and Sect.4.1-4.8.
2.3.1.The Standard Model of fundamental interactions in
standard matter sector below fundamental high-energy cutoff .
Let’s remind that in the Standard Model (SM) of fundamental interactions besides the
gauge interactions and the quartic interaction of the Higgs fields there are also Yukawa
type interactions of the fermion fields with the Higgs field. These interactions are also
renormalizable and is characterized by the Yukawa coupling constants, one for each
fermion field. The peculiarity of the SM is that the masses of the fields appear as a result
of spontaneous symmetry breaking when the Higgs field develops a vacuum expectation
value. As a result the masses are not independent but are expressed via the coupling
constant multiplied by the vacuum expectation value. Another property of the Standard
Model is that it has the gauge group SU c 3 SU L 2 U Y 1 which is spontaneously
broken to SU c 3 U EM 1 . In the theories with spontaneously broken symmetry,
according to the Goldstone theorem there are massless particles, the goldstone bosons.
The Lagrangian of the Standard Model in standard matter sector consists of the
following three parts:
L s.m. L s.m.
gauge L s.m.
Yukawa L s.m.
Higgs , 2. 3. 1
The gauge part is totally fixed by the requirement of the gauge invariance leaving only
the values of the couplings as free parameters
L s.m. 1 Ga Ga 1 Wi Wi 1B B
gauge
4 4 4
iL D L iQ D Q iE D E 2. 3. 2
iU D U iD D D D H D H,
where the following notation for the covariant derivatives is used
Ga Ga Ga g s f abc G b G c , W i Wi Wi g ijk
Wj Wk ,
g i g
B B B ,D L i Wi i B L ,
2 2
2. 3. 3
g g g
D E ig B E , D Q i i
Wi i B i s aGa Q ,
2 6 2
gs g
D U i2gB i a
Ga U , D D i1gB i s aGa D .
3 2 3 2
The Yukawa part of the Lagrangian which is needed for the generation of the quark
and lepton masses is also chosen in the gauge invariant form and contains arbitrary
Yukawa couplings (we ignore the neutrino masses, for simplicity)
s.m.
L Yukawa yL L E H yD Q D H yU Q U H h. c. , 2. 3. 4
where H i 2 H .At last the Higgs part of the Lagrangian contains the Higgs potential
which is chosen in such a way that the Higgs field acquires the vacuum expectation
value and the potential itself is stable
s.m.
L Higgs V H H 2. m2H H 2. 3. 5
2
Here there are two arbitrary parameters: m 2 and . The ghost fields and the gauge
fixing terms are omitted.The Lagrangian of the SM contains the following set of free
parameters:
(1) 3 gauge couplings g s , g, g , (2) 3 Yukawa matrices y L , y D , y U ,
(3) Higgs coupling constant , (4) Higgs mass parameter m 2 ,
(4) the number of the matter fields (generations).
All particles obtain their masses due to spontaneous breaking of the SU left 2
symmetry group via a nonzero vacuum expectation value (v.e.v.) of the Higgs field
v m .
H , v 2. 3. 6
0
As a result, the gauge group of the SM is spontaneously broken down to
SU c 3 SU L 2 UY 1 SU c 3 U EM 1 . 2. 3. 7
The physical weak intermediate bosons are linear combinations of the gauge ones
W1 iW 2 3
W , Z sin WB cos WW 2. 3. 8
2
with masses
1 gv, mW , g
mW mZ tan W g , 2. 3. 9
2 cos W
while the photon field
3
cos WB sin WW 2. 3. 10
remains massless. The matter fields acquire masses proportional to the corresponding
Yukawa couplings:
Mu y u v, M d y d v, M l y l v, m H 2 m. 2. 3. 11
The mass matrices have to be diagonalized to get the quark and lepton masses. The
explicit mass terms in the Lagrangian are forbidden because they are not SU left 2
symmetric. They would destroy the gauge invariance and, hence, the renormalizability of
the Standard Model. To preserve the gauge invariance we use the mechanism of
spontaneous symmetry breaking which, as was explained above, allows one to get the
renormalizable theory with massive fields.
The Feynman rules in the SM include the ones for QED and QCD with additional new
vertices corresponding to the SU 2 group and the Yukawa interaction, as well as the
vertices with goldstone particles if one works in the renormalizable gauge. We will not
write them down due to their complexity, though the general form is obvious.
Let us consider now the one-loop divergent diagrams in the SM. Besides the familiar
diagrams in QED and QCD discussed below in section IV.5 one has the diagrams
presented in Fig.2.3.5. The diagrams containing the goldstone bosons are omitted. The
calculation of these diagrams is similar to what we have done below in section IV.5.
Therefore, we show only the results for the renormalization constants of the fields and
the coupling constants. They have the form (for the gauge fields we use the Feynman
gauge)
Fig.2.3.5.
Fig.2.3.5.Some divergent one-loop diagrams in the SM. The dotted line denotes the
Higgs
field, the solid line - the quark and lepton fields, and the wavy line - the gauge fields
Remark 2.3.3.In standard sector the renormalization constants of the fields and the
coupling constants reads (see Sect.IV.1-IV.8):
Z 2Q L , g ,g , gs
1 1 1 1 g2 3 g2 4 g2
1 y2 1 y2 ,
16 2 36 4 3 s
2 U 2 D
Z 2u R , g , gs 1 1 12 4 g2
4g2 y 2U ,
16 3 s
9
Z 2d R , g , gs 1 1 12 1g2
4 g2 y 2D ,
16 3 s
9
Z 2L L , , g ,g 1 1 12 3 g2
1g2 1 y2 ,
16 4 4 2 L
Z 2e R 1 1 1 2 g2 y 2L ,
16
Z 2H , g ,g 1 1 1 2 1g2 3 g2 3y 2U 3y 2D y 2L ,
16 2 2
Z 3B , g 1 1 1 2 20 N F 1 N H g 2 U 1 Y boson
16 9 6
Z 3A , e 1 1 1 2 3 32 N F e 2 photon
16 9
Z 3W , g 1 1 1 2 10 1 N F 3N F 1 NH g2 ,
16 3 3 6
Z 3G , g s 1 1 1 2 5 4 N F g 2s ,
16 3
Z g 23 , g s 1 1 1 2 11 4 N F g 2s , 2. 3. 12
16 3
Z g 22 , g 1 1 12 22 4 NF 1 NH g2 ,
16 3 3 6
Zg 2 , g 1 1 1 2 20 N F 1 N H g 2 ,
16 9 6
Z y 2U , g , g , gs
1 1 1 17 g 2 9 g2 8g 2s 9 y2 3 y2 y 2L ,
16 2 12 4 2 U 2 D
Z y 2D , g ,g , gs
1 1 1 5 g2 9 g2 8g 2s 3 y2 9 y2 y 2L ,
16 2 12 4 2 U 2 D
Z y 2L ,g ,g
1 1 1 15 g 2 9 g2 9
y 2L 3y 2U 3y 2D ,
2 4 4 4
16
Z ,g ,g ,
1 1 1 3g2 9 g2 2 3y 2U 3y 2D y 2L 6
2 2 2
16
2 3y 4U 3y 4D y 4L 1
3g4 9 g4 3 g2 g 2 1
,
8 8 4
where, for simplicity, we ignored the mixing between the generations and assumed the
Since the masses of all the particles are equal to the product of the gauge or Yukawa
couplings and the vacuum expectation value of the Higgs field, in the minimal
subtraction scheme the mass ratios are renormalized the same way as the ratio of
couplings. To find the renormalization of the mass itself, one should know how the v.e.v.
is renormalized or find explicitly the mass counter-term from Feynman diagrams. In this
case, one has also to take into account the tad-pole diagrams shown in Fig.2.3.5,
including the diagrams with goldstone bosons. For illustration we present the
renormalization constant of the b-quark mass in the SM
Zmb , g ,g ,
1 1 y 4l y 4q 3 3 y2
1 3 y 2t
16 2 l q 2 4 b 2. 3. 13
2 2 2 4
3 g g 3 g 3Q b Q b T 3b g 2 4g 2s .
16 8
The result for the t-quark can be obtained by replacing b by t. For the light quarks the
Yukawa constants are very small and can be ignored in Eq.(2.3.15).
Remark 2.3.4.In the standard sector the bare Lagrangian reads
L s.m.Bare L s.m.Bare
gauge L s.m.Bare
Yukawa L s.m.Bare
Higgs , 2. 3. 14
with renormalization constants of the fields,coupling constants (2.3.12) and masess
(2.3.13) satisfies the following conditions: (see Sect.IV.1-IV.8)
0 Z s.m.
2Q L , g ,g , gs ,0 Z s.m.
2u R , g , gs ,0 Z s.m.
2d R , g , gs ,
0 Z s.m.
2L L , , g ,g ,0 Z s.m.
2H ,g ,0 Z s.m.
3B ,g ,0 Z s.m.
3A ,e ,
0 Z s.m.
3W ,g ,0 Z s.m.
3G , gs ,0 Z s.m.
g 23 , gs ,0 Z s.m.
g 22 ,g ,
2. 3. 15
0 Z s.m.
g2 ,g ,0 Z s.m.
y2
,g ,g , gs ,0 Z s.m.
y2
,g ,g , gs ,
U D
0 Z s.m.
y 2L
,g ,g ,0 Z s.m.
,g ,g , ,0 Z s.m.
mb ,g ,g , ,
etc.,
for some 0, 1 , see Sec.4.1-4.8.
2.3.2.The Standard Model of fundamental interactions in a ghost
matter sector below fundamental high-energy cutoff .
In the extendended Standard Model of fundamental interactions besides the gauge
interactions and the quartic interaction of the Higgs ghost fields there are also Yukawa
type interactions of the fermion ghost fields with the Higgs ghost field. These interactions
are also renormalizable and is characterized by the Yukawa coupling constants, one for
each fermion field. Another property of the Standard Model is that it has the gauge group
SU c 3 SU L 2 U Y 1 which is spontaneously broken to SU c 3 U EM 1 . In the
theories with spontaneously broken symmetry, according to the Goldstone theorem
there are massless particles, the goldstone ghost bosons.
The Lagrangian of the extendended Standard Model in a ghost sector consists of the
following three parts:
L g.s. L g.s.
gauge L g.s.
Yukawa L g.s.
Higgs , 2. 3. 16
The Lagrangian (2.3.16) is obtained from the Lagrangian (2.3.1) of the Standard Model
as corresponding bare Lagrangian with the renormalization constants of the fields and
the coupling constants given by Eq.(2.3.12).
L g.s. L Bare
gauge L Bare
Yukawa L Bare
Higgs , 2. 3. 17
The gauge part is totally fixed by the requirement of the gauge invariance leaving only
the values of the couplings as free parameters
L g.s. L Bare 1 Ğa Ğa 1 Wi Wi 1B B
gauge
4 4 4
iL D L iQ D Q iĔ D Ĕ 2. 3. 18
iŬ D Ŭ iD D D D H D H,
where we abraviate Ğ a , W i , B , L , Q , Ĕ , Ŭ , H for a short instead
G a,Bare , W i,Bare , B Bare , . . . , H Bare and where the following notations for the covariant
derivatives are used
Ğa Ğa Ğa g s f abc Ğ b Ğ c , W i Wi Wi g ijk
Wj Wk ,
g i g
B B B ,D L i Wi i B L ,
2 2
D Ĕ ig B Ĕ , D Q
g g g 2. 3. 19
i i i
W i B i s aĞa Q ,
2 6 2
g
D Ŭ i2gB i s aĞa Ŭ , D D
3 2
g
i1gB i s aĞa D .
3 2
The Yukawa part of the Lagrangian in a ghost sector, which is needed for the
generation of the ghost quark and ghost lepton masses is also chosen in the gauge
invariant form and contains arbitrary Yukawa couplings (we ignore the neutrino masses,
for simplicity)
L Bare
Yukawa yL L Ĕ H yD Q D H yU Q Ŭ H h. c. , 2. 3. 20
where H i 2 H .At last the ghost Higgs part of the Lagrangian contains the Higgs
potential which is chosen in such a way that the ghost Higgs field acquires the vacuum
expectation value and the potential itself is stable
L Bare
Higgs V Bare m2H H H H 2. 2. 3. 21
2
Here there are two bare parameters m 2 , .
The Lagrangian of the SM in a ghost sector contains the following set of the bare
parameters:
(1) 3 gauge couplings ğ s , ğ, ğ , (2) 3 Yukawa matrices y L , y D , y U ,
(3) Higgs coupling constant , (4) ghost Higgs mass parameter m 2 ,
(4) the number of the ghost matter fields (generations).
All particles obtain their masses due to spontaneous breaking of the SU left 2
symmetry group via a nonzero vacuum expectation value (v.e.v.) of the Higgs field
v m .
H , v 2. 3. 22
0
As a result, the gauge group is spontaneously broken down to
SU c 3 SU L 2 UY 1 SU c 3 U EM 1 . 2. 3. 23
The physical weak intermediate bosons are linear combinations of the gauge ones
Bare
W 1Bare iW 2Bare
W , Z Bare sin WB
Bare
cos WW
3Bare
2. 3. 24
2
with masses
1 ğv, mW ğ
mW mZ , tan W , 2. 3. 25
2 cos W ğ
while the ghost photon field
3
cos WB sin WW 2. 3. 26
remains massless. The matter fields acquire masses proportional to the corresponding
Yukawa couplings:
Mu y u v, M d y d v, M l y l v, m H 2 m. 2. 3. 27
Remark 2.3.5.In a ghost standard sector the bare Lagrangian reads
L g.m.Bare L g.m.Bare
gauge L g.m.Bare
Yukawa L g.m.Bare
Higgs , 2. 3. 28
with renormalization constants of the fields,coupling constants (2.3.12) and masess
(2.3.13) satisfies the following conditions: (see Sect.IV.1-IV.8)
Z g.m.
2Q L , g ,g , gs 0, Z g.m.
2u R ,g , gs 0,
Z g.m.
2d R ,g , gs 0,
Z g.m.
2L L ,,g ,g 0, Z g.m.
2H ,g 0, Z g.m.
3B ,g 0,
Z g.m.
3A ,e 0,
Z g.m.
3W ,g 0, Z g.m.
3G , gs 0, Z g.m.
g2
, gs 0,
3
Z g.m.
g2 ,g 0, 2. 3. 29
2
Z g.m.
g2 ,g 0, Z g.m.
y2
,g ,g , gs 0,
U
Z g.m.
y2 ,g ,g , gs 0,
D
Z g.m.
y2
,g ,g 0, Z g.m. , g ,g , 0,
L
Z g.m.
mb ,g ,g , 0,
etc.,
for some 0, 1 .
Remind that vacuum energy density for free scalar quantum field with a wrong statistic
is:
1 1 4 c p2 2
p 2 dp K p2 2
p 2 dp KI , 2. 3. 30
2 2 3
0 0
one obtains
K p 4 dp
p KF . 2. 3. 32
3 0 p2 2
Remark 2.3.6.Note that the integral in RHS of the Eq.(2.3.30) and in the Eq.(2.3.32)
divergent and ultraviolet cutoff is needed.
Thus in accordance with [1] we set
, p0 K I , p0 , p , p0 K F , p0 , 2. 3. 33
where
p0 p0 p 4 dp
I , p0 p2 2
p 2 dp, F , p 0 , 2. 3. 34
0 0 p2 2
where p 0 /c. For fermionic quantum field with a wrong statistic, similarly one
obtains
, p0 4K I , p 0 , p 4K F , p 0 . 2. 3. 35
Thus from Eqs.(2.3.33)-(2.3.35) by using formally Pauli-Villars regularization [7],[8] and
regularization by high-energy cutoff the expression for free vacuum energy density
reads
2M
fiI i, p0 2. 3. 36
i 0
A2h g 2M g 1 O h2 , 2. 3. 39
f 1g
h
Let g be an appropriate continuous function such that: (i) g i fi, i 1, 2, . . . , 2M,
(ii) g 2M 0, g 1 0.
Thus from Eqs.(2.3.36)-(2.3.37) and Eqs.(2.3.39) we obtain
2M
fiI i, p0
i 0 2. 3. 40
2M
2
f I , p0 d A1h f 2M I 2M , p 0 f 1 I 1, p0 Oh
1
and
2M
p fiF i, p0
i 0 2. 3. 41
2M
f F , p0 d A1h f 2M F 2M , p 0 f 1 F 1, p0 O h2 .
1
Definition 2.3.2.We will call the function f as a full continuous Pauli-Villars masses
distribution.
b.g.m
Definition 2.3.3.We define now: (i) discrete distribution f PV : by formula
b.g.m s.m
f PV i fi, i 1, 2, . . . , M 2. 3. 42
and we will call it as discrete Pauli-Villars masses distribution of the bosonic ghost
matter
and
f.g.m
(ii) discrete distribution f PV : by formula
f.g.m
f PV i fi, i M 1, 2, . . . , 2M 2. 3. 43
and we will call it as discrete Pauli-Villars masses distribution of the fermionic ghost
matter.
Remark 2.3.9.We rewrite now the Eqs.(2.3.36)-(2.3.37) in the following equivalent
form
M 2M
b.g.m s.m b.g.m f.g.m f.g.m f.g.m
f PV i I i , p0 f PV ji I j i , p0 2. 3. 44
i 1 ji M 1
and
M 2M
b.g.m b.g.m b.g.m f.g.m f.g.m f.g.m
p f PV i F i , p0 f PV ji F j i , p0 , 2. 3. 45
i 1 ji M 1
where j i i M, i 1 1, 2, . . . , M.
b.g.m f.g.m
Remark 2.3.10.We assume now that:(i) i ji ,
b.g.m b.g.m f.g.m f.g.m
(ii) f PV i f PV ji 1, i.e.,
b.g.m b.g.m f.g.m f.g.m
f PV i f PV ji . 2. 3. 46
Note that Eq.(2.3.46) meant highly symmetric discrete Pauli-Villars masses
distribution
between bosonic ghost matter and fermionic ghost matter above that scale
Thus from Eqs.(2.3.44)-(2.3.45) and Eqs.(2.3.46) we obtain
M 2M
b.g.m b.g.m b.g.m f.g.m f.g.m f.g.m
f PV i I i , p0 f PV ji I j i , p0
i 1 ji M 1
2. 3. 47
M
b.g.m b.g.m f.g.m f.g.m
f PV i f PV ji I i, p0
i 1
and
M 2M
b.g.m b.g.m b.g.m f.g.m f.g.m f.g.m
p f PV i F i , p0 f PV ji F j i , p0
i 1 ji M 1
2. 3. 48
M
b.g.m b.g.m f.g.m f.g.m
f PV i f PV ji F i, p0 .
i 1
and
M
b.g.m s.m f.g.m f.g.m
p f PV i f PV ji F i, p0
i 1 2. 3. 50
eff b.g.m f.g.m
f PV f PV F , p0 d ,
1
where obviously
b.g.m f.g.m g.m.
f PV f PV f PV 0. 2. 3. 51
Thus finally we obtain
2
1 2 eff g.m.
g.m.
eff , eff , p 0 1
f PV I , p0 d , 2. 3. 52
eff
and
2
1 2 eff g.m.
g.m.
p eff , eff , p 0 1
f PV F , p0 d , 2. 3. 53
eff
1 2 g.m. 1 2 1 2
where eff , eff p 0 . In order to calculate eff , eff , p 0 and p g.m. eff , eff , p 0 let us
evaluate now the following quantities defined above by Eqs.(2.3.34)
p0 p0
2 2 2 p2
I , p0 p p dp p2 1 2
dp 2. 3. 54
0 0
and
p0 p0
1 p 4 dp 1 p4 1
dp
F , p0 , 2. 3. 55
3 p 2 2 3 p2
0 0 1 2
p2 1 p
2
1 p
4
1 p
6
p2 p2 2
p2 1 p2 1 ....
2 2 2 8 4 16 6 2. 3. 56
4 6 8
p2 1 p 1 p 1 p ....
2 8 3 16 5
Note that
1/2
p2 1 p
2
3 p
4
1 2
1 ...
2 2 8 4
1/2
2. 3. 57
p2 p4 1 p
6
3 p
8
p4 1
1 ...
2 2 3 8 5
g.m. 1 2
Note that under assumption (2.3.60) the quantities eff , eff , p 0 and
g.m. 1 2
p eff , eff , p 0 can not contribute in the value of the cosmological constant.
Here the symbol ”::” means that in perturbation theory we drop Feynman diagrams with
loops containing only one vertex. The 0 is usual field with mass m 0 and the
i, i 1, . . . , N is the extra field with mass m i , i 1, . . . , N. It can be shown that in
(3 1)-dimensional theory the introduction of one PV field is sufficient for the ultraviolet
regularization of perturbation theory in . One can show that momentum space
Feynman diagrams in the original theory with Lagrangian density (2.1.1) diverge no
more than quadratically [19]-[20] (beside of vacuum diagrams) shown in Fig.3.1.1.
Fig.3.1.1.One-loop massive vacuum diagram.
If we consider now Feynman diagrams in the theory with Lagrangian density (3.1.2)
we see that propagators of fields 0 and sum up in corresponding diagrams so that we
obtain the following expression which plays the role of regularized propagator
N aj 1 N aj
k2 2 2
, 3. 1. 3
j 0 k 2
m j i0 2
k m 0 i0 j 1 k2 m 2j i0
where k 2 k 20 k 21 k 22 k 23 . Integral corresponding to vacuum diagram is
d4k d4k N aj
4
k2 4
. 3. 1. 4
2 2 j 0 k m 2j i0
2
Then we get
i N a j k 3E
E 2
dk E . 3. 1. 5
8 0 j 0 k 2E m 2j
To do this integral, since it is convergent, we can dealing with regularized integral
i N a j k 3E
, 2
dk E , 3. 1. 6
8 j 0 k2 m 2j
E
d i N a j m 2j k 3E
2
dk E 2
d 0 8 j 0
k 2E m 2j 0 3. 1. 10
i N
2
a j m 2j k E1 dk E 0,
8 j 0
d2 N i N a j m 4j k 3E
j dk E ,
d 2 j 0 4 2 j 0
k 2E m 2j
3
3. 1. 11
ia j m 4j k 3E
j dk E .
4 2 k 2E m 2j
3
Note that
ia j m 4j k 3E ia j m 4j i a j m 2j
j dk E . 3. 1. 12
4 2 0 k 2E m 2j
3
4 2 4 m 2j 16 2
Thus
d N 1 N a j m 2j
j d ln 3. 1. 13
d j 0 0 j 0 16 2
and
N a j m 2j
ln , 3. 1. 14
j 0 16 2
Therefore
a j m 2j N
1
, 0, 3. 1. 15 |
j 0 16 2
Fig.3.1.3
p2 1 d4k . 3. 1. 17
4
2 k 2
m 20 i0 p2 k2 m 20 i0
Regularized Feinman integral (3.1.17) reads
1 N ajd4k
reg p2 4
, 3. 1. 18
2 j 0 k2 m 2j i0 p 2 k 2 m 2j i0
where N 1. To do this integral, since it is convergent, we can Wick rotate [20]. Then we
get
i N ajd4k
reg p2 4
. 3. 1. 19
2 j 0 k2 m 2j p2 k2 m 2j
The integral (3.1.19) can be written as
1
2 i N ajd4k
reg p 4
dx 2
j 0
2 0
k2 p2x 1 x m 2j
3. 1. 20
1
i N a j k 3E dk E
2
dx 2
.
8 j 0
k 2E p x12
x m 2j
0
Note that
1
d
2 2
mj p x 1 x
0
1 3. 1. 26
mj 2p2x 1 x ln m j 2 p 2 x 1 x |0 1
mj 2p2x 1 x 1 ln m j 2 p 2 x 1 x 1
mj 2p2x 1 x ln m j 2 p 2 x 1 x 1.
Thus
1 1
2 i N 1 d
reg p 2
a j dx 2 2
16 j 0 mj p x 1 x
0 0
1
i N 1
2
a j dx m j 2 p 2 x 1 x 1 ln m j 2 p 2 x 1 x 1
16 j 0
0
i N 1
mj 2p2x 1 x ln m j 2 p 2 x 1 x 2
aj
16 j 0
1
i N 1
2
a j dx m j 2 p 2 x 1 x 1 ln m j 2 p 2 x 1 x 1
16 j 0
0 3. 1. 27
2 2 2 2
mj p x 1 x ln m j p x 1 x
1
i dx m 0 2 p 2 x 1 x 1 ln m 0 2 p 2 x 1 x 1
2
16
0
m 02 p 2 x 1 x ln m 0 2 p 2 x 1 x
1
i dx m 1 2 p 2 x 1 x 1 ln m 1 2 p 2 x 1 x 1
2
16
0
m 12 p 2 x 1 x ln m 1 2 p 2 x 1 x .
m 02 p 2 x 1 x ln m 0 2 p 2 x 1 x 3. 1. 28
1
i dx m 1 2 p 2 x 1 x 1 ln m 1 2 p 2 x 1 x 1
2
16
0
m 12 p 2 x 1 x ln m 1 2 p 2 x 1 x .
m 02 p 2 x 1 x ln m 0 2 p 2 x 1 x O m 12 p 2 .
2
Remark 3.1.2.Note that by taking the limit: lim m 1 reg p , m 0 , m 1 from Eq.(3.1.28)
one
obtains instead Eq.(3.1.29) the following purely formal result:
reg p2, m0 lim m 1 reg p2, m0, m1
1
i dx m 0 2 p 2 x 1 x 1 ln m 0 2 p 2 x 1 x 1 3. 1. 30
2
16
0
m 02 p 2 x 1 x ln m 0 2 p 2 x 1 x .
obviously breaks down (see Remark 2.2.8) and therefore the Eq.(3.1.32) is not holds
k2, , m0, m1, . . . , mN
N ai N a i m 2i N 1 3. 1. 32
2 2
O 3
.
i 0 k iϵ i 0 i 0
k2 iϵ k2 iϵ
But therefore the Eq.(3.1.29) also is not holds and Pauli–Villars procedure completely
breaks down.
Remark 3.1.4.It follows from consideration above that we cannot deleted from final
result
Pauli–Villars masses m i , i 1, . . . , N which appeas in Lagrangian density (3.1.1).
Remark 3.1.5. Note that one can dealing instead regularized integral (3.1.21) with the
following Colombeau integral
1
2 i 1/ N a j k 3E dk E
reg p , , 2
dx 2
, 3. 1. 32
8 j 0
k 2E p2x 1 x m 2j
0
0, 1 , see [21]-[26].
so,for large |p|,its integrand behaves like |p| n , whereas for n 4 the integral (3.2.1)
p 2 dp dp
diverges as pn
~ _ . We apply now the momentum
pn 2
-cutoff regularization |p|
0 0
and have to replaced ill defined formal expression (3.2.1) by the well defined Integral
k1, . . . , kn 1, m p, m d 3 p
Tr m p m p k1 . . . n m p . . . kn 1
3. 2. 2
d3p 1 2
2 2
.
|p| m2 p2 i m2 p k1 i . . . m2 p kn 1 i
1
where c 0 1, M 0 m, M i m i, i 1, . . . , n f , p 1,2 p 2
k and
P Mi Tr p1 Mi p2 Mi
3. 2. 7
2 M 2i g p1 p2 p1 p2 g p1 p2 iM i k .
We choose now both the electron mass and that of the auxiliary field M 1 to be positive.
1
Using now the canonical Feynman parametrization M 2i p 21 M 2i p 22
1 1
d M 2i p 21 p 22 p 21 and performing the momentum shift p p 1/2 k we
0
obtain
M k k M M M
k, g 1 k2, im k 2 k2, 3 k2, , 3. 2. 8
k2
where
M ns 1 d3p 1
1 k2, 4ie 2 k 2 c d
i 0 i 0
1 ,
2 3 Q 2i p2
2
M 2ie 2 ns 1 d3p 1
2 k2, m c d
i 0 i 0
,
2 3 Q 2i p2
2
M 2 ie 2 g ns 1 2 3. 2. 9
3 k2, c
i 0 i
I i, I i, ,
3
1 1 d3p 1 2 1 d3p 1
I i, 3 d 3 2
, Ii 2 d ,
0 2 Q i p 2 0 2 3 Q 2i p2
2
Q 2i M 2i 1 k2.
If we carry out the momentum integrations in Eqs.(3.2.9), it is straightforward to arrive at
M 2
3 k 0, as expected by gauge invariance.Let us take now
c1 1, c 2 , c j 0 , j 2, where the parameter can assume any real value except
zero and unity, so that condition given by Eq.(3.2.5.a) is satisfied.From Eqs.(3.2.9) for
instance we find for a sufficiently large value of the parametr :
M
2 k2,
1 1 1 M1
e2 d m e2 d
4 m 0 m 2
1 k 2 1/2 4 m 0 M 21 1 k2
1/2
1 1
3. 2. 10
e2 d M2 e2 d m
4 m 0 M 22 1 k2
1/2 4 m 0 m2 1 k2
1/2
1 M1, 2 M2, ,
where
1 1 M1
1 M1, e2 d ,
4 m 0 M 21 1 k2
1/2
1
3. 2. 11
2 M2, e2 d M2 .
4 m 0 M 22 1 k2
1/2
1
Note that for M 1 , M 2 m from Eq.(3.2.5.b) follows that M 2 M1 1 and therefore
2
from Eq.(3.2.11) for k /M 1 1 we obtain
1 1
1 M1, e2 d
4 m 0
k
2 1/2
1 1
M1 3. 2. 12
2 2 1
e 1 e 2 1 k k 4
d 1 O
4 m 4 m 2 M1 0 M 41
and
1
e2 1 sign 1
2 M2, d
4 m 0
k
2 1/2
1 1
M2
e 2 sign 1 1
4 m 3. 2. 13
2
e 2 sign 1 1
k 1
1
d 1
8 m M1 1 0
O k4 .
1 4
M 41 1
From Eq.(3.2.8) and Eq.(3.2.10)-(3.2.13) we obtain
M
2 k2,
e2 1
m e2 1 e 2 sign 1 1
d
4 m 0 m2 1 k2 1/2 4 m 4 m
e2 1 k
2 1 3. 2. 14
d 1
4 m 2 M1 0
2 1 2
e sign 1 k 1
k4
1
d 1 O .
8 m M1 1 0 M 41
For 1/2 we obtain
M
2 k2,
1
e2 d m 1 e2 1 e2
4 m 0 m 2
1 k 2 1/2 2 4 m 2 4 m
2 1 3. 2. 15
e2 k d 1
16 m M1 0
2 2 1
e k d 1 O k4
16 m M1 0 M 41
For instance for k 0 and 1/2 one obtains
e2 . M
0 3. 2. 16
2
4 m
Remark 3.2.3.Note that when using canonical QFT in order to recover the original
theory
without physical ghost matterthe absolute values of the coefficients i ultimately alwais
go
to infinity i . However under limit: i the inequality (3.2.4) is not holds and
therefore Pauli–Villars procedure completely breaks down!
where 0, 1 .
4n 1
Remark 3.2.6.Note that k1, . . . , kn 1, m G and for any (n-1)-tuple
k 1 , . . . , k n 1 obviously k1, . . . , kn 1, m (see [23]) and any
k1, . . . , kn 1, m are infinite large Colombeau generalized numbers [23],[26].
Remark 3.2.7.The integrand p, k 1 , . . . , k n 1 , m in (3.2.18) for any m m i, can
be
written as
p, k 1 , . . . , k n 1 , m i,
P n p m i, P n 1 p m 2i, P n 2 p . . . m ni, 3. 2. 19
,
P 2n p m 2i, P n 2 p . . . m 2n i,
ns ns 1/
c
i 0 i
k 1 , . . . , k n 1 , m i, p, k 1 , . . . , k n 1 , m i, d 3 p
i 0
1/ 3. 2. 25
1/ 1/
ns
p, k 1 , . . . , k n 1 , m 0 d 3 p i 1
p, k 1 , . . . , k n 1 , m i, d 3 p
0 1/
M 2ie 2 ns 1 1/ d3p 1
2 k2, m c
i 0 i
d ,
0 1/ 2 3 Q 2i, p2
2
M
k2, 2 ie 2 g ns
c I i,
1
I i,
2
,
3
3 i 0 i
3. 2. 29
1 1/ 3
1 d p 1
I i, 3 d ,
0 1/ 2 3 Q 2i, p2
2
1 1/ d3p 1
I i, 2 d ,
0 1/ 2 3 Q 2i, p2
2
1 M 1, , 2 M 2, , ,
where
1 1 M 1,
1 M 1, , e2 d ,
4 m 0 M 21, 1 k2
1/2
3. 2. 31
2 1 M 2,
2 M 2, , e d .
4 m 0 M 22, 1 k2
1/2
1 M 1, ,
2 1/2 3. 2. 32
e2 1
k e2 1
d 1 1 1
4 m 0 M 1, 4 m
and
2 M2,
1 2 1/2
e2 d sign 1 1
1 1 k
4 m 0 M 2,
3. 2. 33
2 1
e sign 1
.
4 m
e2 1 d e2 1 e 2 sign 1 1 3. 2. 34
.
4 0 m2 1 k2 1/2 4 m 4 m
Remark 3.2.9.Note that in order to obtain finite physical result (3.2.33) using infinite
large Pauli-Villars masses M 1, , M 2, \ mentioned above, one needs write
down
a Pauli-Villars Lagrangian density for QED 3 , which works for instance at the 1-loop
level,
as
PV 1 F2
ren ,
4
2 2
i eA eA gh, m 1 F gh , 1 M 1, A gh, 3. 2. 35
4 2
gh
i eA eA gh, M 2, gh
In this way, provided n 2, all 1PI diagrams with more than one loop acquire a
negative degree of divergence by power counting.However, the degree of divergence of
one-loop 1PI diagrams is unchanged by the addition of covariant derivatives.Therefore
the theory is not completely regularized by the simple fact of adding higher covariant
derivatives to the action as for the case of scalar field theories,however, that due to the
regular behaviour of the gluonic propagator the contributions in the effective action to the
ghost two point function and gluon-ghost vertex are finite at one loop. This implies that
one loop divergences exclusively arise in diagrams with only external gluon lines, and
are given by the following product of determinants
1/2
Z div det D det , 3. 3. 4
where
2
1/2 1 d 4 xd 4 yq a x S A,
det D q x exp qb y
2 A x Ab y
a
x 3. 3. 5
1 d4x qa I 2 2 n
qa
2α 0
Since Faddeev-Popov ghost fields only get finite renormalizations at one loop, the
divergences of Z can be written in a gauge invariant way.Recall that one loop
divergences of Yang-Mills theory Z div are formally equal to those of [28]
1/2 L
Z div det D det 0 , 3. 3. 6
with
1/2 L
det 0
2
1 d 4 xd 4 yq a x S A,
Dqx D qx exp qb y 3. 3. 7
2 A x Ab y
a
x
Remark 3.3.2.Note that the that all the determinants in (3.3.6) are explicitly gauge
invariant. This fact can be understood as a consequence of the absence of divergent
radiative corrections to the interaction of Faddeev-Popov ghost fields, which also implies
that the BRST symmetry is only renormalized by finite radiative corrections.
Remark 3.3.3.Note that gauge invariance is not lost when we add mass terms in
(3.3.6).
Then, it seems natural to use these determinants as the Pauli-Villars counterterms
that
subtract divergences at one loop in a gauge invariant way. This is the Slavnov
approach
introduced in Ref.[28] where the Slavnov introduced the following Pauli-Villars
regulator
1/2 2
det m det m2 D 2 det 1/2 L
m 3. 3. 8
with
1/2
det m
2
1 d 4 xd 4 yq a x S A,
Dqx D qx exp qb y 3. 3. 9
2 A x Ab y
a
x
1 m2 2
d 4 xq 2 x .
2
The regularized partition function reads [28]
Z A,
D A x exp S A, 1 d4x Aa I 2 2 n
Aa
2α 0 3. 3. 10
x
s j /2
det D det mj .
j
is, then, free of divergences at one loop provided the s j parameters are chosen so that
1 s
j j
0. 3. 3. 11
Remark 2.2.4.Note that Pauli-Villars conditions do not involve the masses as it is
usually
the case. This is due to gauge invariance and the high derivative terms in the action
that
make finite the terms depending on m.
1/2
The problem is that Pauli-Villars determinants det m do not converge formally to
a
constant, as they should, when the cutoff is removed. In fact, we have that [31]
lim det 1/2 m Dqx D q x exp 1 d 4 xq 2 x . 3. 3. 12
2
x
M PV
2 k2 2 k2
e2 1
m e2 1 e 2 sign 1 1
d
4 m 0 m2 1 k2 1/2 4 m 4 m
e2 1 k
2 1 3. 4. 4
d 1
4 m 2 M PV 0
2 1 2
e sign 1 k 1
k4
1
d 1 O .
8 m M PV 1 0 M 4PV
Fig.3.4.1.
The term of the scattering matrix corresponding to the diagram of Fig.3.4.1a) reads
[8]:
e2 : x nS
c
x y n
D 0c x y y :
3. 4. 5
i: x x y y :
where
x y ie 2 n c
S x y 0
nDc x y . 3. 4. 6
The formal Fourier transform p of the operator (3.4.6) reads
p e2 dkD 0c k n
c
S p k n
4
i2
e2 d4k n p k m
4 2 n, 3. 4. 7
i2 k i p k 2 m2 i
x y 1 exp ip x y p d 4 p,
4
2
where
1 d 4 k exp ip x y
D 0c x y 4
2 k2 i
3. 4. 8
c 1 d4k m p exp ip x y
S x y 4
2 m2 p2 i
So that the integrand in (3.4.7) behaves like |k| 3 the integral (3.4.7) diverges.
Remark 3.4.5.In fact, the causal Green function (3.4.8) of the QED 4 is the classical
Schwartz distribution which is defined on a test smooth functions. It has the δ-function
like
singularities and needs an additional definition for the product of several such
functions at
a single point.The discussed above diagram (see Fig.3.4.1) is precisely this product.
Remark 3.4.6.In his handbook [8] N. N. Bogoliubov argue that a problem of the
ultraviolet
divergences arises exactly from the Schwartz Impossibility Theorem [32].In fact
N. N.Bogoliubov argue that these problems has only purely mathematical
nature.However
this Bogoliubov statement completely wrong but holds from Bogoliubov time until
nowodays.
Remark 3.4.7.In particular N. N. Bogoliubov wroted [8]: "We thus see that the purely
formal rules for dealing with products of causal functions, which we adopted earlier,
lead
to a meaningless result in this case.This is essentially a manifestation of the fact that
we
did not define the product of singular functions as an integrable singular function. In
order
to solve the problem of determining the coefficients of the chronological product
T x1 x 2 as integrable improper functions, we use the method of transition to
the
limit similar to that used in §18 (see [8],§18). In order to do this, we first consider an
auxiliary fictitious case in which the field operator functions satisfy commutation
relations
in which the causal c -functions are replaced by reg c ."
Remark 3.4.8.Recall that classical Schwartz distribution is defined as linear
functionals
on a test smooth functions [32]. Schwartz distributions may be multiplied by real
numbers
and added together, so they form a real vector space. Schwartz distributions may also
be
multiplied by infinitely differentiable functions, but it is not possible to define a product
of
general distributions that extends the usual pointwise product of functions and has the
same algebraic properties. This result was shown by Schwartz (1954), and is usually
referred to as the Schwartz Impossibility Theorem [32].
Remark 3.4.9.Note that:(i) by using linear homomorphism (a) D 0c x 2 D 0c x 2 ;
D 0c x 2 i and (b) S c x 2 Sc x2; Sc x2 i
adapted to the Lorentz invariance of the Schwartz distributions D 0c x 2 and S c x 2
we can embed these distributions into Colombeau algebra G 4x :
D 0c x 2 D 0c x 2 ; 0,1
G 4
x ,
3. 4. 9
Sc x2 Sc x2; 0,1
G 4
x .
and
Sc x y; 1
4
2
1/ 1/ 1/ 1/ m p exp ip x y
0 1 2 3
dk dk dk dk 2 2
1/ 1/ 1/ 1/ m p i 3. 4. 11
1 1/ d4k m p exp ip x y
4
.
2 1/ m2 p2 i
where
1/
p; e2 dkD 0c k; n
S p
c
k; n
4
i2 1/
3. 4. 14
1/ p k m
e2 d4k n
n ,
4 2
i2 1/ k i p k 2 m2 i
Note that in contrast with ill defined formal expressions (3.4.7) the expressions
4
(3.4.14) gives a well defined Colombeau generalized functions: x y; G
4 4
and p; G p . Note that for any p p obviously p; and any
ren p;
1
e2 m2 M 2PV 1 m2 1 p2
d 2m p ln
8 2 m2 p2 M 2PV 2
1 p2 3. 4. 15
0
1
e2 m2 p2
d 2m p ln O .
8 2 m 2
p 2
M 2PV
0
Substituting now D 4 2 in RHS of the Eq.(4.1.2) and transforming back into the
pseudo-Euclidean space we get
2 1 2
i
I p2, m2 I p2, m2; 4 2 4 2
dx . 4. 1. 3
2 0 p2x 1 x m2
The formula (4.1.3) allows one to define the integral I p 2 , m 2 ; D 4 as Colombeau
generalized function (see [21]-[22]) I p 2 , m 2 ; D 4 I p2, m2 0,1
G Dx :
Expanding the denominator of the integrand into the series over , finally we get
I p2, m2; D 4 I p2, m2
i 1
1 p2x 1 x m2
1 dx ln ln 4
16 2
0
2 4. 1. 5
i 1 i 1 p2x 1 x m2
2 2
ln 4 dx ln 2
.
16 16 0
We see that the classical ultraviolet divergence now takes the rigorous mathematical
1
form of the infinite large Colombeau generalized number , see [23].
We present below the main Colombeau integrals needed for the one-loop calculations.
They can be obtained via the analytical continuation from the integer values of D. We
will write them down directly in the pseudo-Euclidean space. First note that
D/2
dDp D/2
i 4. 1. 6
p2 2kp m 2 m2 k2
D/2
and
2
d4p d4 2 p
2 2
i ,
p2 2kp m 2 p2 2kp m 2 2 m2 k2
2
p d4p p d4 2
p k
i ,
2 2 2 2 2 m 2
k 2
p2 2kp m p2 2kp m
p p d4p p p d4 2 p 4. 1. 7
2 2
p 2 2kp m 2 p 2 2kp m 2
2 k k g 1 1
i ,
2 m k2
2 2 2 m 2
k2
1
1
, 0, 1 .
The key formula is (4.1.6). These integrals remain Colombeau generalized functions
from
G 4 and G 4 4
.
In the case of the integral (4.2.3) for m 0 one first has to mentally transform both the
1 2
propagators into coordinate space which, according to (4.2.6), gives the factor 1
,
then multiply the obtained propagators (this gives 1/ x 2 2 2
) and transform the obtained
result back into momentum space that gives the factor 2 2
and the power of
2
momenta 1/ p (the same as in the argument of the last -function). Besides this, each
2
loop contains the factor i . Collecting all together one obtains
2
i 2 i2 d4 2
k
I 1 s, 4 2 2 2
48 2 k p k
2
2 i 2 1 1
48 2 4 2 s 1 1 2 2
4. 2. 6
2 2
i 2
1 1 1
48 4 2 s 1 2 1 2
2 2
i 1 2 E log 4 ln s .
48 16 2
The four-point vertex in the one-loop approximation reads
4, i 1 3 3 3 E
2 2 2
16
2 2 2 4. 2. 7
3 log 4 1
ln s 1 ln 1 ln .
2 2 2 t 2 u
We are interested now in the Colombeau singular parts, i.e.,infinite part in rigorous
Colombeau sense.They are given by Eqs.4.2.7 and 4.2.8
Sing J1 p2, im 2 1 ,
2 2
16 4. 2. 8
Sing 4 s, t, u; i 3 .
2 2
16
Note that the singular parts do not depend on momenta, i.e. their Fourier-transform has
the form of the -function in coordinate space.In order to remove the obtained
Colombeau singularities we add to the Lagrangian (4.2.1) extra terms, the counter-terms
equal to the Colombeau singular parts with the opposite sign (the factor i belongs to the
S-matrix and does not enter into the Lagrangian),namely,
L 1 2 3 4m2. 4. 2. 9
2
16 2 16 2 2 4! 2
These counter-terms correspond to additional vertices shown in Fig.4.2.3.
With account taken of the these new diagrams the expressions for the propagator
(4.2.3) and the vertex (4.2.7) become
J1 p2, i m2 1 log 4 log m 2 / 2 4. 2. 10
E
32 2
and
2 2 2
4, i 3 3 E
3 log 4 1 ln 1 ln 1 ln 4. 2. 11
16 2 2 2 2 s 2 t 2 u
correspondingly.Notice that the obtained expressions have no Colombeau infinities but
contain the dependence on the regularization parameter 2 which was absent in the
initial theory. The appearance of this dependence on a dimensional parameter is
inherent in any regularization and is called the dimensional transmutation,i.e., an
appearance of a new scale in a theory. We write the counter-term in the following way
2
L11 m Z 2
Z 4, 1 4
, 4. 2. 12
2 4!
where for different subtraction schemes one has
Z MS 1 1 , Z MS 1 1 1 E log 4 ,
2 2 2 2
16 16
Z MS 1 3 , Z MS 1 3 3 3 log 4 ,
4,
2 2 4,
2 E 2 4. 2. 13
16 16
2
Z MOM 1 3 3 3 E 3 log 4 3 ln .
4,
2 2 ł2 16 2
The Lagrangian (4.2.1) together with the Colombeau counter-terms (4.2.12) can be
written as
L 1
Z 2, 1 2
Z m2 2
Z 4, 4
L Bare , 4. 2. 14
2 2 4!
where the renormalization Colombeau constants Z and Z 4, are given by
Eqs.(4.2.13) and the renormalization Colombeau constant Z 2, in the one-loop
approximation equals 1,i.e.,
L ren L L1
4. 2. 15
1 Z 2, 2
Z m2 2
Z 4, 4
L Bare ,
2 2 4!
Writing the "bare" Lagrangian in the same form as the initial one but in terms of the
"bare" fields and couplings
1 m 2B, 2 B, 4
L Bare B
2
B B, 4. 2. 16
2 2 4!
where m B, , B, are infinite Colombeau constants, and comparing it with
(4.2.15), we get the connection between the ”bare” and renormalized Colombeau
quantities
B , m 2B, m2 Z , B, Z 4, , 4. 2. 17
1 1
where Z 1 O , Z 4, 1 O positive infinite Colombeau constants.
Equations (4.2.16) and (4.2.17) imply that the one-loop radiative corrections calculated
from the Lagrangian (4.2.16) with parameters chosen according to (4.2.17) and (4.2.13)
are finite.
Remark 4.2.1. Note that: (i) in one-loop approximation the all renormalization
Colombeau
constants are strictly positive:
Z 0, Z 2, 0, Z 4, 0, 4. 2. 18
(ii) it follows from (4.2.18) in one-loop approximation a ghost sector is absent
completely.
4.3.The scalar theory D4 4 in a ghost sector via Colombeau
generalized functions.The two-loop approximation
Consider now the two-loop diagrams.The propagator: In this order of PT there is only
one diagram shown in Fig.4.3.1.
One has to transform each of the propagators into coordinate space, multiply them
and transform back to momentum space. This reduces to writing down the
corresponding transformation factors. Thus
2 2 2
i 2 i 2
J2 p2; 8 4
p2
6 2 p2
1 1 1 1 2
1 1 1 3 3
2
4. 3. 2
2
i 2 p2
2 2
6 16 p2 2 3 1 3 1 2 2
2 2
i p2 1 13 2 ln ,
2 2
24 16 2 p2
where the Euler constant and ln 4 are omitted. The appeared ultraviolet divergence,
the pole in , can be removed via the introduction of the (quasi) local Colombeau
counter-term
L
2 1 Z 2, 1 2
, 4. 3. 3
2
where the wave function renormalization constant Z 2, in the MS scheme is obtained
by taking the infinite large part of the Colombeau integral with the opposite sign
2
Z 2, 1 1 . 4. 3. 4
16 2 24
After that the propagator in the massless case reads
4. 3. 5
2 2
i 1 1 13 2 ln .
p2 24 16 2 2 2 p2
The vertex: In the given order there are two diagrams (remind that in the massless
case the tad-poles equal to zero) shown in Fig.4.3.2.
3
In the same order of one gets additional diagrams presented in Fig.4.3.3.
These diagrams lead to the subtraction of divergences in the subgraphs (left and right)
in the first diagram of Fig.4.3.2. The subtraction of divergent subgraphs (the R-operation
without the last subtraction called the R -operation) looks like
Fig.4.3.4.
where the subgraph surrounded with the dashed line means its singular part, and the
rest of the graph is obtained by shrinking down the singular subgraph to a point. The
result has the following form
R I 21 s;
2 2 2
3
i 1 2 ln s 2 1 2 ln s
4 16 2 2 4. 3. 7
3 2 2
i 1 4 ln 2 s 4 ln s .
4 16 2 2 2
Notice that after the subtractions of subgraphs the Colombeau singular part is local,
i.e. in momentum space does not contain ln p 2 . The terms with the single pole 1/ are
absent since the diagram can be factorized into two diagrams of the lower order. The
contribution of a given diagram to the vertex function equals
Fig.4.3.5.
2
4, i 1 3 12
4 16 2 2 2
2 2 2 2 2 2
4. 3. 8
2 2 2
ln s 4 ln s ln 4 ln ln u 4 ln u
t t
Fig.4.3.6.
(1/48 is the combinatorial coefficient). Since putting one of the momenta equal to zero
we reduced the diagram to the propagator type, we can again use the advocated
method to calculate the massless integral. Therefore
2 2
I 22 p 2 ; i 3 i 2
48 8 4
2
1 1 d4 2
k
1 1 2 2 2 1 2
k p k
2 2
3
i
2 2
48 16 p2
1 1 1 2 1 2 4. 3. 11
1 1 2 2 1 1 2 3
2 2
3
i 1
2 2
48 16 p2 2 2
1 2 1 3
3
i
48 16 2 2
2
1 5 ln /p 2 2 2
2 ln 2 5 ln
2 2 2 p2 p2
As one can see, in this case we again have the second order pole in and,
accordingly, the single pole with the logarithm of momentum. The reason of their
appearance is the presence of the divergent subgraph. Here we again have to look at
the counter-terms of the previous order which eliminate the divergence from the
one-loop subgraph. The subtraction of divergent subgraphs (the R-operation without the
last subtraction) looks like
Fig.4.3.7.
R I 2 s;
2 2 2
3
i 1 1
2 2 2 2
2 16 p 2 1 2 1 3 p2 2
1 2
3
i
2 16 2 2
1 5 ln 2
/p 2 2 2 4. 3. 12
2 ln 2 5 ln
2 2 2 p 2
p 2
2
1 2 ln /p 2 1 ln 2
2 2
2
4 2 ln
2 p2 p2
3 2 2
i 1 1 2 1 ln 2 3 ln .
2 2
2 16 2 2 2 2 p2 p2
Once again, after the subtraction of the divergent subgraph the singular part is local,
i.e. in momentum space does not depend on ln p 2 .The contribution to the vertex function
from this diagram is:
4,
1 2
3 3 1 ln 2
2 2 4. 3. 13
i 2 2 2
12 3 ln
2 16 2 p2 p 2
and, accordingly,
2
3 Z 4, 3 . 4. 3. 14
2 2 2 16 2
Thus, due to (4.2.13) and (4.3.14) in the two-loop approximation the quartic vertex
renormalization constant in the MS scheme reads:
2
Z 4, 1 3 9 3 . 4. 3. 15
16 2 16 2 2 4 2 2
With taking account of the two-loop renormalization of the propagator (4.3.4) one has:
2
Z , Z 4, Z 2, 2 1 39 17 . 4. 3. 16
2 2 12 2 2
16 16 4
The Lagrangian (4.2.1) together with the counter-terms (4.3.13)-(4.3.13) can be written
as
L ren Z 2, 1 2
Z 4, 4
. 4. 3. 17
2 4!
Remark 4.3.1. Note that: (i) if Z 2, 0 the ”bare” Lagrangian reads
L Bare 1 B,
2 1 4
4. 3. 18
2 4! B, B,
and by using ”bare” Lagrangian (4.3.18) we obtain the scalar theory 44 in standard
sector such that that the two-loop radiative corrections calculated from the Lagrangian
(4.3.18) with Colombeau parameters chosen according to (4.3.20),
(ii) if Z 2, 0 the ”bare” Lagrangian reads
L Bare 1 B,
2 1 4
. 4. 3. 19
2 4! B, B,
Lagrangian (4.3.19) contain wrong kinetic term,i.e.,kinetic term with a wrong sign
corresponding to a "bad" ghosts and therefore by using ”bare” Lagrangian (4.3.19) we
obtain the scalar theory 44 in a ghost sector such that the two-loop radiative
corrections calculated from the Lagrangian (4.3.19) with Colombeau parameters
chosen
according to (4.3.20), where
Z 2, if Z 2, 0
B,
Z 2, if Z 2, 0
B, Z 4, Z 2, 2 ,
1 4. 3. 20
Z MS 1 1 E log 4 2
,
2 16
2
Z 2, 1 1 ,
24 2
16
2
Z 4, 1 3 9 3 .
2 2
2 16 16 4 2 2
B,
2 3
3 9 3
2
2 16 16 2 4
4 2 2 4. 3. 22
2 2
1 1
24 2
16
with 8 6 1/2 , 0, 1 ,
(ii) ander condition (4.3.21) Lagrangian (4.3.17) obviously contain wrong kinetic term,
i.e.,kinetic term with a wrong sign corresponding to a "bad" ghosts and therefore
in two-loop approximation we obtain the scalar theory 44 in a ghost sector.
Remark 4.3.2. Note that: (i) if Z 2, 0, i.e.,
2
1 1 4. 3. 23
24 2
16
and therefore we get
2 3
B,
3 9 3
2
2 16 16 2 4
4 2 2
2 2 4. 3. 24
1 1
24 2
16
with 8 6 1/2 , 0, 1 ,
(ii) ander condition (4.3.23) we obtain the scalar theory 44 in standard sector.
The statement is that the counter-terms introduced this way eliminate all the ultraviolet
infinite large Colombeau objects up to two-loop order and make the Green functions
and
hence the radiative corrections finite. In the case of nonzero mass, one should also
add
the mass counter-term.
The Lagrangian (4.2.1) together with the counter-terms in this case can be written as
L ren 1 2
Z 2, Z m 2 2 Z 4, 4
4. 3. 25
2 2 4!
Remark 4.3.3. Note that: (i) if we assume that Z 2, 0 we obtain the Lagrangian
ren,s.m.s.
L corresponding to standard matter sector and the ”bare” Lagrangian
corresponding to standard matter sector reads
L Bare,s.m.s
m s.m.s.
2 4. 3. 26. a
1 B, 1
s.m.s 2 s.m.s. 2 s.m.s s.m.s 4
B, B, B, B, ,
2 2 4!
4
and by using ”bare” Lagrangian (4.3.26) we obtain the scalar theory 4 in standard
sector, where
s.m.s.
B, Z 2, if Z 2, 0
2 4. 3. 26. b
m s.m.s.
B, Z Z 2,1 m 2 if Z 2, 0
B, Z 4, Z 2, 2 .
L Bare,g.m.s.
m g.m.s.
2 4. 3. 27
1 g.m.s. B, g.m.s. 2 1 g.m.s. g.m.s. 4
2
B, B, B, B,
2 2 4!
4
and by using ”bare” Lagrangian (4.3.27) we obviously obtain the scalar theory 4 in a
ghost sector,where
g.m.s.
B, Z 2, if Z 2, 0
2
m g.m.s.
B, Z Z 2,1 m 2 if Z 2, 0 4. 3. 28
g.m.s.
B, Z 4, Z 2, 2 .
Fig.4.4.1.
In quantum electrodynamics the divergences appear only in the photon propagator,
the
electron propagator, and the triple vertex. The one-loop divergent diagrams are shown
in
Fig.4.4.2.
where
2
Dim
p2; e2 4 1 E log 4 log 5 . 4. 4. 7
16 2 3 p2 3
Given the expression for the vacuum polarization one can construct the photon
propagator as shown in Fig.4.4.3.
G p; ig ig ,
ig
p2 p2 p2
ig ig ig p p /p 2
2 4 2
p2; 4. 4. 8
p p p p2
i g p p i p p ,
2
1 p2;
p p2 p2 p2
where p2; is given by eq.(4.4.7). Notice that the radiative corrections are always
proportional to the transverse tensor P g p p /p 2 . This is a consequence of the
gauge invariance and follows from the Ward identities
Let us consider now the electron self-energy graph Fig.4.4.2.b). The corresponding
formal expression is
e2 p k m
p 4
d4k . 4. 4. 9
2 k2 p k 2
m2
Acting in a usual way we go to fractal dimension D 4 2 , 0, 1 convert the
indices of the -matrices and introduce the Feynman parametrization. The result is
Dim
e2 2 1 d4 2
k 21 p k 4 2 m
p; 4 2
dx 4. 4. 10
2 0 k 2 2kpx p 2 x m2x 2
The integral over k can now be evaluated according to the standard formulas
Dim
p;
2
2 1 21 p1 x 4 2 m 4. 4. 11
i e 2 dx 2 2
.
16 4 0 p x1 x m x
This expression can be expanded in series in , 0, 1
2 p 4m
Dim
p; i e 2 p 2m p 4m E log 4
16
4. 4. 12
1 p2x 1 x m2x
dx 2p 1 x 4m log 2
.
0
At last, consider the vertex function Fig.4.4.2c). The corresponding formal expressionis
is
e3 p k q m p k m
1 p, q 4
d4k . 4. 4. 13
2 p k q 2 m2 p k 2
m2 k2
Transfer (4.4.13) to dimension 4 2 , 0, 1 and introduce the Feynman
parametrization. This gives corresponding Colombeau integral
e3 2 1 x
1 p, q; 4 2
3 dx dy
2 0 0
4. 4. 14
d4 2 k p k q m p k m
2 2
.
p k q m y p k 2 m2 x y k2 1 x 3
p1 x q1 y m p 1 x qy m
1 4. 4. 15
p q 2y 1 x p2 1 x x y q2y x y m2x 1
.
2 p q 2y 1 x p2 1 x x y q2y x y m2x
As one can see, the first integral is finite Colombeau quantity and the second one is
logarithmically divergent. Expanding in series in , 0, 1 we obtain
2
1 p, q; ie e 2 2 E ln 4
16
1 x p q 2y 1 x p2 1 x x y q2y x y m2x
2 dx dy ln 2 4. 4. 16
0 0
1 x p1 x q1 y m p 1 x qy m
dx dy
0 0 p q 2y 1 x p2 1 x x y q2y x y m2x
Quantum electrodynamics (4.4.1) is a renormalizable theory; hence, the Colombeau
counter-terms repeat the structure of the Lagrangian. They can be written as
L QED
Z 3, 1 4. 4. 17
F2 Z 2, 1i m Z 1 e Z 1, 1 Â .
4
The term that fixes the gauge is not renormalized. In the leading order of perturbation
theory we calculated the corresponding diagrams with the help of dimensional
regularization mentioned above. Their infinite large Colombeau parts with the opposite
sign give the proper Colombeau renormalization constants. They are, respectively,
Z 1, 1 e2 1 , Z 2, 1 e2 1 ,
16 2 16 2 4. 4. 18
Z 3, 1 e2 4 , Z 1 e2 4 .
16 2 3 16 2
Remark 4.4.1. We assume now that
Z 1, 0, Z 2, 0, Z 3, 0, Z 0. 4. 4. 19
Adding (4.4.1) with (4.4.17) from (4.4.19) we obtain the QED 4 bare Lagrangian in
standard matter sector
Z 3,
L Bare,s.m.s.
QED, L QED L QED F2 Z 2, i mZ
4
e Z 1, Â 1 A 2
2
1 F s.m.s.
2
i s.m.s. s.m.s.
m Z Z 2,1 s.m.s. s.m.s.
B, B, B, B, B,
4
Z 3,1 4. 4. 20
e Z 1, Z 2,1 Z 3,1/2 s.m.s.
B, Â s.m.s.
B,
s.m.s.
B, A s.m.s.
B,
2
2
1 F s.m.s 2
i s.m.s s.m.s
m s.m.s s.m.s. s.m.s.
B, B, B, B, B, B,
4
e s.m.s. s.m.s.
 s.m.s. B,
1 A s.m.s. 2
,
B, B, B, s.m.s. B,
2 B,
where
s.m.s
B, Z 1/2
2, , A s.m.s
B, Z 1/2
3, A,
m s.m.s
B, Z Z 2,1 m, e s.m.s
B, Z 1, Z 2,1 Z 3,1/2 e, 4. 4. 21
s.m.s
B, Z 3, .
From (4.4.23) we finally obtain the QED 4 bare Lagrangian in a ghost matter sector
L Bare,g.m.s.
QED,
1 F g.m.s.
2
i g.m.s. g.m.s.
m g.m.s. g.m.s. g.m.s.
B, B, B, B, B, B, 4. 4. 24
4
e g.m.s. g.m.s.
 g.m.s. g.m.s. 1 A g.m.s. 2
,
B, B, B, B, g.m.s. B,
2 B,
where
The gauge invariance connects the vertex Green function and the fermion propagator
(the Ward identity), which leads to the identity Z 1, Z 2, .
4.5.Quantum chromodynamics in a ghost sector via Colombeau
generalized functions.
Consider now the non-Abelian gauge theories and, in particular, QCD. The Lagrangian
of QCD has the form
L QÑD 1
Fa 2
i m g Aa Ta 1 Aa 2
4 2 4. 5. 1
ca c2 gf abc caAb cc,
where the stress tensor of the gauge field is now F a Aa Aa gf abc A b A c and the
last terms represent the Faddeev-Popov ghosts.
Fig.4.5.1.The vacuum polarization diagrams in the
Yang-Mills theory
The complications which appear in non-Abelian theories are caused by the presence
of many vertices with the same coupling as it follows from the gauge invariance. Hence,
they have to renormalize the same way, i.e there appear new identities, called the
Slavnov-Taylor identities. The full set of the counter-terms in QCD are
Z 3, 1
L QCD Aa Aa 2
g Z 1, 1 f abc A a A b Ac
4
g 2 abc ade b c d e
Z 4, 1 f f A A A A 4. 5. 2
4
Z 3, 1 ca c a g Z 1, 1 f abc caAb cc
i Z 2, 1 m Z 1 g Z1 , 1 ÂaTa ,
Z 3,1 2
A a,s.m.s.
B, i s.m.s.
B,
s.m.s.
B,
2
m Z Z 2,1 s.m.s.
B,
s.m.s.
B,
This results in the relations between the renormalized and the bare fields and couplings
s.m.s.
B, Z 1/2
2 , A s.m.s.
B, Z 1/2
3 A, c s.m.s.
B, Z 1/2
3 c,
m s.m.s.
B, ZZ 2 1 m, g s.m.s.
B, Z 1 Z 3 3/2 g, s.m.s.
B, Z3 , 4. 5. 4
Z 1 Z 31 Z 1 Z 31 , Z 4 Z 21 Z 3 1 , Z 1 Z 2 1 Z 1 Z 31 .
The last line of equalities follows from the requirement of identical renormalization of
the coupling in various vertices and represents the Slavnov-Taylor identities for the
singular parts.The explicit form of the renormalization constants in the lowest
approximation follows from the one-loop diagrams of QCD. Aa usual, one has to take the
singular part with the opposite sign. For instance one has in the MS scheme:
g2 CF g2 5 CA 4 Tn
Z 2, 1 , Z 3, 1
16 2 16 2 3 3 f f
g2 1 5 CA 4 Tfnf ,
1
16 2 3 3
g2 4C F g2 CA ,
Z 1 2
, Z 1, 1 2
4. 5. 5
16 16 2
g2 CA
Z 2, 1 2
, Z g, Z 1, Z 2,1 Z 3,1/2
16 2
g2 11 C A 4 Tn g2 1 11 C A 4 Tfnf .
1 1
16 2 6 3 f f 16 2 6 3
where the following notation for the Casimir operators of the gauge group is used
f abc f dbc CA ad
, TaTa ij CF ij , Tr T a T b Tf ab
. 4. 5. 6
For the SU N group and the fundamental representation of the fermion fields they are
equal to
CA N, C F N2 1 , T 1. 4. 5. 7
f
2N 2
Remark 4.5.2. We assume now that
Z g.m.s. 0, Z g.m.s.
1, 0, Z g.m.s.
2, 0,
4. 5. 8
Z g.m.s.
3, 0, Z g.m.s.
4, 0.
The relations between the renormalized and the bare fields and couplings reads
g.m.s. 1/2 1/2
B, Z g.m.s.
2, , A g.m.s.
B, Z g.m.s.
3, A,
1/2 1
c s.m.s.
B, Z g.m.s.
3, c, m g.m.s.
B, Z g.m.s. Z g.m.s.
2, m,
3/2
4. 5. 10
g g.m.s.
B, Z1 Z g.m.s.
3, g, g.m.s.
B, Z g.m.s.
3, ,
1
Z g.m.s.
1, Z g.m.s.
3, Z 1 Z 31 , Z 4 Z 21 Z 3 1 , Z 1 Z 2 1 Z 1 Z 31 .
RG a, 1 MG 1 M 1 1 M 1,
G a, ,
RG b, 1 MG 1 M 2 1 M 1, G á, , 4. 6. 6
RG c, 1 MG 1 M 2, 1 M 2,
1 M 1, G â, ,
where 1 and 2 are the one- and two-loop divergent subgraphs shown in Fig.4.6.2.The
result of the application of the R-operation without the last subtraction ( R -operation) for
the diagrams of interest graphically is as follows:
Here, as before, the graph surrounded with the dashed circle means its singular part
and the remaining graph is obtained by shrinking the singular subgraph to a point.
Let us demonstrate how the R -operation works for the diagram Fig.4.6.1a). Since the
result of the R -operation does not depend on external momenta, we put two momenta
on the diagonal to be equal to zero so that the integral takes the propagator form. Then
we can use the method based on Fourier-transform, as it was explained above. One has
2 2
1
1
2 2
and
2 2 2 2 3
1 1 2 3
1 1 2
2 2 1 2 4 p2
2 3
1 .
3 2
1 2 1 4 p2
2 1
1
1 2 2
2 1 1 1 2 2 2 2
1 2 1 2
1 2 2
1 1 2 3 p2 3 1 2 1 3 p2
.
2 1 2 2
1 1
2 1 2 2 p2 3 1 2 p2
.
2 2 2
1 3 1 1
3 1 2 2 1 4 p2
2 3 1 2 p2 3 1 2 p2
1 2
3 .
Note the cancellation of all nonlocal contributions. The singular part after the
Z 1 K RG , 4. 6. 7
where K means the -extraction of the -singular part. Adding the contribution of
various diagrams we get the resulting counter-term of a given order and, accordingly, the
renormalization constant.
4.7.Renormalization Group in a ghost sector.
The procedure formulated above allows one to eliminate the ultraviolet divergences
and get the finite expression for any Green function in any local quantum field theory. In
renormalizable theories this procedure is reduced to the multiplicative renormalization of
parameters (masses and couplings) and multiplication of the Green function by its own
renormalization constant. This is true for any regularization and subtraction scheme.
Thus, for example, in the canonical cutoff regularization and dimensional regularization
via Colombeau generalized functions the relation between the "bare" and renormalized
Green functions for standard matter sector looks like
s.m.s
s.m.s
p2 , 2
, g Z s.m.s 2
/ 2
, g Bare p 2 , , g s.m.s
Bare 4. 7. 1
and
s.m.s
s.m.s
p2 , 2
, g , Z s.m.s 1/ , g , Bare p 2 , 1/ , g s.m.s
Bare, , 4. 7. 2
correspondingly and for a ghost sector looks like
s.m.s
g.m.s
p2 , 2
, g Z s.m.s 2
/ 2
, g Bare p 2 , , g s.m.s
Bare 4. 7. 3
and
g.m.s
g.m.s
p2 , 2
, g s.m.s
, Z g.m.s 1/ , g s.m.s
, Bare p 2 , 1/ , g g.m.s
Bare, , 4. 7. 4
where p 2 is the set of external momenta, g is the set of masses and couplings for
standard matter sector
g s.m.s
Bare Z s.m.s
g
2
/ 2
, g s.m.s g, 4. 7. 5
g s.m.s
Bare Z s.m.s
g 1/ , g s.m.s
, g. 4. 7. 6
and for a ghost sector
g g.m.s
Bare Z g.m.s.
g
2
/ 2
, g g.m.s g, 4. 7. 7
g g.m.s
Bare Z g.m.s.
g 1/ , g g.m.s
, g. 4. 7. 8
correspondingly.In what follows we stick to dimensional regularization and rewrite
relation (4.7.2) and (4.7.4) in the commun form
1
Bare p 2 , 1/ , g Bare Z 1/ , g p2 , 2
, g 4. 7. 9
and
g Bare Zg 1/ , g , g , 4. 7. 10
where , Bare and g Bare stand for standard sector /ghost sector.
It is obvious that the LHS of this equation does not depend on the parameter of
dimensional transmutation and, hence, the r.h.s. should not also depend on it. This
allows us to write the functional equation for the renormalized Green function.
Differentiating it with respect to the continuous parameter one can get the differential
equation which has a practical value: solving this equation one can get the improved
expression for the Green function which corresponds to summation of an infinite series
of Feynman diagrams.
Consider an arbitrary Green function p2 , 2, g , obeying equation (4.7.4)
with the normalization condition
p2 , 2
,0 1. 4. 7. 11
2
Differentiating the Eq.(4.7.4) with respect to we get:
2 d 2 2 g
2 2 2 g
d
4. 7. 12
2
d ln Z
Z ,Bare ,
d 2
or
2
2
p2 , 2
,g , g p2 , 2
,g ,
g 4. 7. 13
2 2
p , ,g , 0,
where we have introduced the so-called beta function g and the anomaly
dimension of the Green function g defined as
2 dg
g , 4. 7. 14
d 2 g ,bare
and
2
d ln Z
g . 4. 7. 15
d 2 g ,bare
The invariant charge , being RG-invariant, obeys the RG equation without the
anomalous dimension and plays an important role in the formulation of the
renormalization group together with the effective charge. In some cases, for instance in
the MOM subtraction scheme, the effective and invariant charges coincide.
The usefulness of solution (4.7.16) is that it allows one to sum up an infinite series of
logs coming from the Feynman diagrams in the infrared (t ) or ultraviolet (t )
regime and improve the usual perturbation theory expansions. This in its turn extends
the applicability of perturbation theory and allows one to study the infrared or the
ultraviolet asymptotics of the Green functions.
To demonstrate the power of the RG, let us consider the invariant charge in a theory
with a single coupling and restrict ourselves to the massless case. Let the perturbative
expansion be
p2 p2
2
,g g 1 bg ln 2
... . 4. 7. 22
d p2
g p2 ,g 4. 7. 24
dp 2 2
p2 2
This definition is useful in the MOM scheme where the mass is not considered as a
coupling but as a parameter and the renormalization constants depend on it. We will
come back to the discussion of this question below when considering different definitions
of the mass. According to Eq.(4.7.16) (with vanishing anomalous dimension) the
RG-improved expression for the invariant charge corresponding to the perturbative
expression (4.7.22) is:
p2 p2 p2
RG, 2
,g PT, 1, g 2
,g g 2
,g , 4. 7. 25
d ln p2
g p2 ,g . 4. 7. 30
dp 2 2
p2 2
g t, g dt
0
g g
4. 7. 31
g c g c ln g
dg dg .
g b g 2 b g
g g
2
g B, Zg g . 4. 8. 1
Hence, even before the renormalization when Z g 1, in order to compensate this factor
the dimensionless coupling g should depend on . Differentiating Eq.(4.8.1) with respect
to 2 one gets
d log Z g dg
0 Zg g Zg g Zg , 4. 8. 2
d log 2 d log 2
i.e.,
dg d log Z g
4 2 g 2
g g g 4 g . 4. 8. 3
d log d log 2
In the MS scheme the renormalization constants are given by the pole terms in 1/
expansion and so does the bare coupling. They can be written as
cn g c nm g m
Z 1 n 1 n 1 n 1 m n n . 4. 8. 4
And similarly
2 an g
g Bare, g n 1 n
m 1
4. 8. 5
2
a nm g
g n 1 m n n .
2
Differentiating eq.(4.8.4) with respect to ln and having in mind the definitions
(4.7.14) and (4.7.15), one has:
cn g
1 n 1 n g
4. 8. 6
d cn g
g g n 1 n .
dg
g g d c g ,
dg 1
g d c g 4. 8. 7
dg n
g cn 1 g g d c g , n 2.
dg n 1
One sees that the coefficients of higher poles c n g , n 2 are completely defined by
that of the lowest pole c 1 g and the function. In its turn the -function is also
defined by the lowest pole. To see this, consider Eq.(4.7.20). Differentiating it with
respect to ln 2 one has
an g
g n 1 n
4. 8. 8
d an g
g g 1 n 1 n 0.
dg
Equalizing the coefficients of equal powers of , one finds
g g d a g a1 g , 4. 8. 9
dg 1
and
g d a g an g g d a g , n 2. 4. 8. 10
dg n dg n 1
Thus, knowing the coefficients of the lower poles one can reproduce all the higher
order divergences. This means that they are not independent, all the information about
them is connected in the lowest pole. In particular, substituting in (4.8.10) the
perturbative expansion given by Eq.(4.8.5) one can solve the recurrent equation and find
for the highest pole term
a nn g a n11 g , 4. 8. 11
i.e. in the leading order one has the geometric progression
2
g
g Bare, 1
, 4. 8. 12
1 g a 11 g
which reflects the fact that the effective coupling in the leading log approximation (LLA)
is also given by a geometric progression (4.8.12).The pole equations are easily
generalized for the multiple couplings case, the higher poles are also expressed through
the lower ones though the solutions of the RG equations are more complicated.
Consider now some particular models and calculate the corresponding -functions
and the anomalous dimensions.
The 44 theory
Standard matter sector
We remind that standard matter sector of the 4 theory defined by the inequality
1 1 g 0. 4. 8. 13
24
i.e.,
1 g 1. 4. 8. 14
24
Remark.4.8.1.Note that
1
Z 2,1 1 1 g 1 1 g ... 4. 8. 15
24 24
The renormalization constants in the MS scheme up to two loops are given by
Eq.(4.3.14) -Eq.(4.3.16), where g 2
:
16
3 g 9 g2 3 1
Z 4, 1 2
,
2 4 2
g 1 g
Z 2,1 1 1 1 1 , 4. 8. 16
24 24
3 g 9 g2 17 1
Z g, Z 4, Z 2,2 1 2
.
2 4 12
Notice that the higher pole coefficient a 22 9/4 in the last expression is the square of
the lowest pole one a 11 3/2 in accordance with Eq.(4.8.11).Applying now Eq.(4.8.7)
and Eq.(4.8.9) we get
4 g 3 g 3g 2 ,
2
2 g 1 g2, 4. 8. 17
12
g g 4 2 2 3 g2 17 g 2 .
2 6
One can see from Eqs.(4.8.17) that the first coefficient of the -function is 3/2, i.e., the
4
theory in standard sector belongs to the type of theories shown in Fig.4.7.1a). In the
leading log approximation (LLA) one has a Landau pole behaviour. In the two-loop
approximation (NLLA) the -function gets a non-trivial zero and the effective coupling
possesses an UV fixed point like the one shown in Fig.4.7.1). However, this fixed point is
unstable with respect to higher orders and is not reliable. Here we encounter the
problem of divergence of perturbation series in quantum field theory, they are the
so-called asymptotic series which have a zero radius of convergence.
The 44 theory
Ghost matter sector
4
We remind that ghost matter sector of the theory defined by the inequality
1 1 g 0, 4. 8. 17
24
i.e.,
1 g 1. 4. 8. 18
24
Remark.4.8.2.Note that
g 1
Z 2,1 1 1
24
2
4. 8. 19
1 1 ... 1 ...
g 24 g g 24 g2
The renormalization constants in the MS scheme up to two loops are given by Eq.
(4.3.14)- Eq.(4.3.16), where g 2
:
16
3 g 9 g2 3 1
Z 4, 1 2
,
2 4 2
g 1 2
Z 2,1 1 1 1 ,
24 g 24 g2
4. 8. 20
3 g 9 g2 17 1
Z g, Z 4, Z 2,2 1 2
2 4 12
1 2
9 g
g 2
const.
24 g 4
5.Renormalizability-of-Higher-Derivative-Quantum-Gravity.
5.1.The Higher-Derivative Theories of Gravitation.Green’s
functions.
Adding quadratic products of the curvature tensor to the gravitational action leads to
field equations in which some terms involve four derivatives. While it is not the purpose
of this paper to investigate the novel consequences of these classical field equations, a
brief summary of some of the salient features is in order to give a grounding to the
following discussion of renormalization.
Gravitational actions which include terms quadratic in the curvature tensor are
renormalizable. The necessary Slavnov identities are derived from Becchi-Rouet-Stora
(BRS) transformations of the gravitational and Faddeev-Popov ghost fields. In general,
non-gauge-invariant divergences do arise, but they may be absorbed by nonlinear
renormalizations of the gravitational and ghost fields and of the BRS transformations
[13].The generic expression of the action reads
I sym d4x g R R R2 2 2
R , 5. 1. 1
r
Here F F h ,F and the arrow indicates the direction in which the derivative
acts. N is an normalization constant. C is the Faddeev-Popov ghost field, and C is the
antighost field. Notice that both C and C are anticommuting quantities. D is the
operator which generates gauge transformations in h , given an arbitrary
spacetime-dependent vector x corresponding to x x and where
D x h h h h . 5. 1. 4
In the functional integral (5.1.3), we have written the metric for the gravitational field as
dh without any local factors of g det g . Such factors do not contribute to
the Feynman rules because their effect is to introduce terms proportional to
4
0 d 4 x ln g into the effective action and 4
0 is set equal to zero in dimensional
regularization.
In calculating the generating functional (5.1.3.) by using the loop expansion, one may
represent the -function which fixes the gauge as the limit of a Gaussian, discarding an
infinite normalization constant
4 1 1
F lim exp i 2
d 4 xF F . 5. 1. 5
0
In this expression, the index has been lowered using the flat-space metric tensor .
For the remainder of this paper, we shall adopt the standard approach to the covariant
quantization of gravity, in which only Lorentz tensors occur, and all raising and lowering
of indices is done with respect to flat space. The graviton propagator may be calculated
from I sym 12 1 d 4 xF F in the usual fashion, letting 0 after inverting. The
1 1
expression 2
d 4 xF F contains only two derivatives. Consequently, there are parts
of the graviton propagator which behave like p 2 for large momenta. Specifically, the p 2
terms consist of everything but those parts of the propagator which are transverse in all
indices. These terms give rise to unpleasant infinities already at the one-loop order. For
example, the graviton self-energy diagram shown in Fig.5.1.1 has a divergent part with
the general structure 4 h 2 . Such divergences do cancel when they are connected to
tree diagrams whose outermost lines are on the mass shell, as they must if the S matrix
is to be made finite without introducing counterterms for them. However, they greatIy
complicate the renormalization of Green’s functions.
We may attempt to extricate ourselves from the situation described in the last
paragraph by picking a different weighting functional. Keeping in mind that we want no
part of the graviton propagator to fall off slower than p 4 for large momenta, we now
choose the weighting functional [12]
1 1
4 e exp i 2
d 4 xe 2
e , 5. 1. 6
where e is any four-vector function.The corresponding gauge-fixing term in the effective
action is
1 2 1
2
d 4 xF 2
F . 5. 1. 7
The graviton propagator resulting from the gauge-fixing term (5.1.7) is derived in [13].
For most values of the parameters and in I sym it satisfies the requirement that all its
leading parts fall off like p 4 for large momenta. There are, however, specific choices of
these parameters which must be avoided. If 0, the massive spin-2 excitations
disappear, and inspection of the graviton propagator shows that some terms then
behave like k 2 . Likewise, if 3 0, the massive scalar excitation disappears, and
there are again terms in the propagator which behave like p 2 . However, even if we avoid
the special cases 0 and 3 0, and if we use the propagator derived from
(5.1.7), we still do not obtain a clean renormalization of the Green’s functions. We now
turn to the implications of gauge invariance.Before we write down the BRS
transformations for gravity, let us first establish the commutation relation for gravitational
gauge transformations, which reveals the group structure of the theory. Take the gauge
transformation (5.1.4) of h , generated by and perform a second gauge
transformation, generated by , on the h fields appearing there. Then antisymmetrize
in and .The result is
D D D , 5. 1. 8
h
where the repeated indices denote both summation over the discrete values of the
indices and integration over the spacetime arguments of the functions or operators
indexed.
The BRS transformations for gravity appropriate for the gauge-fixing term (5.1.6) are
[13]
2
a BRS h D C , b BRS C C C ,
5. 1. 9
3 1 2
c BRS C F ,
where is an infinitesimal anticommuting constant parameter.The importance of these
transformations resides in the quantities which they leave invariant. Note that
BRS C C 0 5. 1. 10
and
BRS D C 0. 5. 1. 11
As a result of Eq. (5.1.11), the only part of the ghost action which varies under the
BRS transformations is the antighost C . Accordingly, the transformation (2.2.9c) has
been chosen to make the variation of the ghost action just cancel the variation of the
gauge-fixing term. Therefore, the entire effective action is BRS invariant:
1 2 1 2
BRS I sim 2
F F C F D C 0. 5. 1. 12
Equations (5.1.9), (5.1.10), and (5.1.12) now enable us to write the Slavnov identities in
an economical way. In order to carry out the renormalization program, we will need to
have Slavnov identities for the proper vertices.
ZT , , ,K ,L N dh dC dC
5. 1. 13
exp i h , C , C , K , L , C C C T h .
Anticommuting sources have been included for the ghost and antighost fields, and the
effective action has been enlarged by the inclusion of BRS invariant couplings of the
ghosts and gravitons to some external fields K (anticommuting) and L (commuting),
1 2 1 2 2
I sim 2
F F C F D C K D L C C . 5. 1. 14
is BRS invariant by virtue of Eq.(5.1.9), Eq.(5.1.10), and Eq.(5.1.12). We may use the
new couplings to write this invariance as
3 1 2
F . 5. 1. 15
K h L C C
In this equation, and throughout this subsection, we use left variational derivatives with
respect to anticommuting quantities: f C C f/ C . Equation (2.2.15) may be
simplified by rewriting it in terms of a reduced effective action,
1 2 1 2
2
F F . 5. 1. 16
Substitution of (5.1.16) into (5.1.15) gives
0, 5. 1. 17
K h L C
where we have used the relation
1
F 0. 5. 1. 18
K C
Note that a measure
dh dC dC 5. 1. 19
is BRS invariant since for infinitesimal transformations, the Jacobian is 1, because of the
trace relations
2
a 0,
K h
5. 1. 20
2
b 0,
C L
both of which follow from d4x C 0. The parentheses surrounding the indices in
(5.1.20a) indicate that the summation is to be carried out only for .
Remark 5.1.1.Note that the Slavnov identity for the generating functional of Green’s
functions is obtained by performing the BRS transformations (5.1.9) on the integration
variables in the generating functional (5.1.13). This transformation does not change the
value of the generating functional and therefore we obtain
N dh dC dC
2 2 3 1 2 5. 1. 21
T D C C F h
exp i T h C C 0.
Another identity which we shall need is the ghost equation of motion. To derive this
equation, we shift the antighost integration variable C to C C , again with no
resulting change in the value of the generating functional:
N dh dC dC exp i T h C C 5. 1. 22
C
We define now the generating functional of connected Green’s functions as the
logarithm of the functional (5.1.13),
WT , , ,K ,L i ln Z T , , ,K ,L . 5. 1. 23
and make use of the couplings to the external fields K and L to rewrite (5.1.22) in
terms of W
T W W 2 1 2
F W 0. 5. 1. 24
K L T
Similarly, we get the ghost equation of motion:
1
F W 0. 5. 1. 25
K
a T x , b x , c x . 5. 1. 28
h x C x C x
Since the external fields K and L do not participate in the Legendre transformation
(5.1.26), for them we have the relations
a W , b W . 5. 1. 29
K x K x L x L x
Finally, the Slavnov identity for the generating functional of proper vertices is obtained
by transcribing (5.1.24) using the relations (5.1.26), (5.1.28), and (5.1.29)
3 1 2
F h 0. 5. 1. 30
K h L C C
We also have the ghost equation of motion,
1
F 0. 5. 1. 31
K C
Since Eq. (5.1.30) has exactly the same form as (5.1.15), we follow the example set by
(5.1.16) and define a reduced generating functional of the proper vertices,
1 2 1 2
2
F h F h . 5. 1. 32
Substituting this into (5.1.30) and (5.1.31), the Slavnov identity becomes
0. 5. 1. 33
K h L C
and the ghost equation of motion becomes
1
F 0. 5. 1. 34
K C
Equations (5.1.33) and (5.1.34) are of exactly the same form as (5.5) and (5.6). This is
as it should be, since at the zero-loop order
0
. 5. 1. 35
Since each term on the right-hand side of (5.1.37) remains finite as 0, while each
term on the left-hand side contains a factor with at least a simple pole in e, each side of
the equation must vanish separately. Remembering the Eq.(5.1.35), we can write the
following equation, called the renormalization equation:
n
div 0, 5. 1. 38
where
. 5. 1. 39
h K C L K h L C
Similarly by collecting the n-loop order divergences in the ghost equation of motion
(5.1.34) we get
n n
1 div div
F 0. 5. 1. 40
K C
In order to construct local solutions to Eqs. (5.1.38) and (5.1.40) remind that the operator
defined in (5.1.39) is nilpotent [13]:
2
0. 5. 1. 41
Equation (5.1.41) gives us the local solutions to Eq.(5.1.38) of the form
n
div h X h ,C ,C ,K ,L , 5. 1. 42
where is an arbitrary gauge-invariant local functional of h and its derivatives, and X is
an arbitrary local functional of h , C , C , K and L and their derivatives. In order to
satisfy the ghost equation of motion (5.1.40) we require that
n n 1
div div h ,C ,K C F ,L . 5. 1. 43
I sym d 4 xv x g R R R2 2 2
R
5. 1. 58
4 2 2
d xv x g R R R 2 R .
5.2.Cleaner methods
The renormalization procedure described in the last section is sufficiently complicated
to make practical calculations unappealing. We now turn to other choices of the
gauge-fixing term which greatly simplify matters by eliminating the need for the field and
transformation renormalizations.
A. Unweighted gauge condition
Explicit calculations of samples of the nongauge-invariant divergences allowed by
(6.17) reveal that they depend upon the gauge-fixing parameter which was introduced
into the effective action by the weighting functional (3.6). This suggests that if we take
the limit 0, all the field and transformation renormalizations may disappear. This
limit as 0 returns us to the unweighted gauge condition
h 0 5. 2. 1
with the same Feynman rules as those obtained using the simple Gaussian
representation (3.4) of the gauge-fixing -function.The graviton propagator in the limit
0 maybe calculated as suggested above, setting 0 in the propagator calculated
for finite (cf. sec.6.4), or by substituting the gauge condition (8.1) into the linearized
classical field equations and then inverting. The resulting propagator is constructed
entirely from projectors which are transverse in all their indices:
2 0 s
0 1 2P k 2P k
D 4 2 2 2 2 2 2 1
. 5. 2. 2
2 i k k k 3 k 2
When we obtain (5.2.9) this second way, it is clear that the ghost action which we
must use is exactly the same that we had before in the generating functional (3,2). This
also follows from the first method of arriving at (5.2.9), because we may always redefine
the antighost field: 2 C C .
The gauge-fixing term (5.2.9) requires us to change the BRS transformation of the
antighost field C . The new transformation is
5 1 2 2
6 BRS C F . 5. 2. 11
The Slavnov identities for the generating functionals of Green’s functions and of
proper vertices must be changed too, but the identity for the reduced generating
functional of proper vertices,
1 4 1 2 2
6 6 2
F h F h 5. 2. 12
remains the same as (5.20). Consequently, the renormalization equation is the same as
(6.3).The Feynman rules which we obtain using (5.2.9) differ from those obtained using
2 4
(3.7) only in the replacement of the factors of k in the graviton propagator by
4 6
k . This change brings about a reduction in the degree of divergence of those parts
of diagrams which depend on the parameter . The degree of divergence is reduced by
2 for each factor of , so that once again all three types of diagram involving ghosts
shown in Fig. 6.1.2 are convergent. The renormalization equation then implies that all
n
the divergences in 6 div are gauge invariant.
0. 5. 3. 5
B K h L C
As before, this identity leads to the renormalization equation for ndiv .Power counting,
using the unweighted gauge condition, gives the degree of divergence of an arbitrary 1PI
diagram,
D 1PI 0 4 2n E nL 2n K nB 3E C 3E C 2E S , 5. 3. 6
where n B is the number of B-scalar-ghost vertices and E S is the number of external
scalar lines. The external scalar lines are counted twice in (5.3.6) because of the linkage
of scalar fields and derivatives in the interaction between scalars and gravitons (the
mass term is super-renormalizable and is not included in the power counting). This
linkage is similar to the linkage of ghosts and derivatives which we have already
encountered.The power- counting rule (5.3.6), together with the conservation of ghost
number, shows that all 1PI diagrams with external ghost lines are convergent, so that
n n
div div
0 5. 3. 7
B K h
n
Consequently, div is gauge invariant. The only gauge-invariant structures consistent
with (5.3.6) are
n n n
div R R g R2 g n 2
R g n 4
g
5. 3. 8
1f n
g g 1 m 2 n 2
g.
2 2
These divergences may be eliminated by renormalizations of the appropriate
coefficients in I sym and I , and by the addition of a cosmological counterterm. It should
be noted that the absense of a term like R 2 g in (6.3.8) is due to the linkage of
scalars and derivatives. If this linkage were broken by the inclusion in (6.3.1) of a scalar
self-interaction 4 g , then it would be nec-essary to include as well the nonminimal
gravitational-scalar interaction.
The scalar field example shows that once renormalizability has been established for a
purely gravitational model, the inclusion of couplings to other renormalizable fields poses
no further problems (except possibly the necessity for a nonminimal gravitational-scalar
interaction). In particular, the Faddeev-Popov ghost machinery remains unrenormalized
just as it did in the purely gravitational case.The allowed divergences may be
summarized by assigning a power-counting weight to each field, and then requiring that
divergent structures be gauge invariant and of power-counting weight four or less. It is
necessary to take into account any linkages of fields and derivatives in the interactions
by augmenting the weight of a field by the number of derivatives linked to it. The weight
of the gravitational field is zero, and before linkages with derivatives are taken into
account, the weights of other fields are simply given by their canonical dimensions.
a P
2 1 1 ,
2 3
b P 1 1 , 5. 4. 2
2
0 s 1 0 w
c P , d P .
3
For a massive tensor field in the rest frame, the projectors (5.2.2.a)-(5.2.2.d) select
out the spin-two, spin-one, and two spin-zero parts of the field.However, the projectors
(5.2.2) do not span the operator space of the gravitational field equations. In order to
have a complete basis, we must also include the two spin-zero transfer operators,
0 sw 1 0 sw 1
a P , b P 5. 4. 3
3 3
The orthogonality relations of the projectors (5.2.2) and the transfer operators (5.2.3) are
i a j b ij ab j b i ab j cd ij bc j a
a P P P , b P P P ,
5. 4. 4
i a j bc ij ab j ac i ab j c ij bc j ac
c P P P , d P P P .
where i and j run from 0 to 2, and a and b take on the values w and s.In order to calculate
the graviton propagator, we must first write out the part of the effective action (5.1.14)
which is purely quadratic in the gravitational field h . Going over to momentum space
and using (5.2.2) and (5.2.3), we get
1 d 4 kh k 2 2
k k2P
2
k 1 2 4
k P
1
k
4
1 0 w 5. 4. 5
3k 2 3 2 2
k 2
2 1 2 4
k P k
1 0 s 0 ws 0 sw
k2 3 2 2
k 2
P k 3 P k P k h k .
D k 1
4
2 i
2 P
2
k 2P
0 s
k 2 0 s 5. 4. 7
2P k 4P k
.
k2 k2 2 1
k2 2 2
3
1
Normally, one requires that quantum states have positive-definite norm and energy.
Such states give rise to poles in the propagator with positive residues. Since both the
1
massless pole and the pole at k 2 2 2 3 in (5.4.7) do have positive
residues, we shift them in the standard fashion, replacing the denominators respectively
by
k2 i 5. 4. 8
and by
1
k2 23 2
i . 5. 4. 9
1
On the other hand, the negative residue of the massive spin-two pole at k 2
faces us with a choice between two unfortunate alternatives: to give up either the
positive definiteness of the norm or of the energy of the corresponding quantum states.
Both choices give the required negative residue, but they differ in the way the pole must
be shifted.If the massive spin-two states are taken to have negative norm, the situation
is analogous to a Pauli-Villars regularized theory. We recall that in the usual derivation of
the propagator, one starts from 0|T h x h x |0 , transforms to momentum space,
and sums over a complete set of momentum eigenstates inserted between the two field
operators. The only difference in the present case is that the negative-norm states must
be accompanied by a vector space metric factor of 1 in the sum over states. This
gives rise to a negative residue for the massive spin-two pole, but does not affect the
location of the pole, whose denominator is consequently given by
1
k2 i . 5. 4. 10
As the Pauli-Villars analogy leads us to expect, the choice (5.4.10), together with
(5.4.8) and (5.4.9), gives a high-energy behavior of the total propagator which is like k 4 .
To see this, one may, for example, perform a Wick rotation into Euclidean space and
then drop the ге terms. This is allowedbecause (5.4.10), (5.4.8), and (5.4.9) all shift the
poles in the same way. If the massive spin-two states are taken to have negative energy,
the pole in the propagator acquires a negative residue for a different reason.In this case,
there are no vector space metric factors in the sum over states, but the expansion of the
field operators into creation and annihilation operators involves normalization factors
2|k 0 | 1/2 2k 0 1/2 . These contribute an overall minus sign to the massive spin-two
part of the propagator. In addition, the sign of the energy flow for a given time ordering is
opposite to that for a positive-energy field, so the denominator of the pole is now given
by
1
k2 i . 5. 4. 11
The difference between the poles given by (5.4.10) and (5.4.11) is a term proportional
1
to k 2 . While the choice of (5.4.10) leads to the desired behavior, this
additional term effectively spoils the high-energy behavior of (5.4.11). Thus, our
power-counting requirements lead us to adopt an indefinite-metric state vector space,
following the analogy to Pauli-Villars regularization.The pure k 4 terms in (5.4.6),
proportional to , may be handled by confluence, replacing them by
1
k2 i 1 k2 i 1 , and then letting 0 at the end of the calculation.
The integral in RHS of the Eq.(3.1.1) is known in the theory of the Weyl fractional
calculus where, the Weyl fractional integral W D f x , is given by
WD f x 1 t x D 1
f t dt. 6. 1. 2
D 0
Remark 6.1.1. In order to extend the Weyl fractional integral (6.1.1) in negative
dimensions we apply the Colombeau generalized functions [21-25] and Colombeau
generalized numbers [23].Recall that Colombeau algebras G of the Colombeau
generalized functions defined as follows [21-22].
Let be an open subset of n . Throughout this paper, for elements of the space
0,1
C of sequences of smooth functions indexed by 0, 1 we shall use the
canonical notation u so u C , 0, 1 .
Definition 6.1.1.We set G EM /N , where
0,1 n
EM u C K , p with
p
sup x K |u x | O as 0 ,
0,1
6. 1. 3
n
N u C K , q
q
sup x K |u x | O as 0 .
WD f x 1 t x D 1
f t dt
D
or 6. 1. 4
WD f x 1 1 f t dt ,
D |D | 1
0 t x
Since 1
E 2
E for 0 1 2 , the limit
E lim E sup E 6. 2. 2
0 0
exists for all E X. In this context, E can be called the result of Caratheodory’s
construction from E on F. E can be referred to as the size approximating
positive measure. Let E i , d be for example
d
Ei, d d diam E i ,0 d , 6. 2. 3
for non-empty subsets E i , i of X. Where d is some geometrical factor,depends
on the geometry of the sets E i , used for covering. When F is the set of all non-empty
subsets of X, the resulting measure H E, d is called the d -dimensional Hausdorff
measure over X; in particular, when F is the set of all (closed or open) balls in X,
1 d .
d
d d 2 2 d 6. 2. 4
2
n
Consider a measurable metric space X, H d , X ,d , . The elements of
X are denoted by x, y, z, . . . , and represented by n-tuples of real numbers
x x1, x2, . . . , xn
The metric d x, y is a function d : X X R is defined in n dimensions by
1/2
d x, y ij ij yi xi yj xj 6. 2. 5
and the diameter of a subset E X is defined by
diam E sup d x, y |x, y E . 6. 2. 6
Definition 6.2.1. The Hausdorff measure H E, D of a subset E X with the
associated Hausdorff positive dimension D is defined by canonical way
H E, D lim inf i
E i , D |E i
E i , i diam E i ,
0 Ei i
6. 2. 7
D E sup d |d 0, H E, d .
Definition 6.2.2. Remind that a function f : X defined in a measurable space
X, , , is called a simple function if there is a finite disjoint set of sets E 1 , , . . . , E n of
measurable sets and a finite set 1 , , . . . , n of real numbers such that f x i if x Ei
n
and f x 0 if x E i . Thus f x i 1 i Ei
x , where E i x is the characteristic
function of E i . A simple function f on a measurable space X, , is integrable if
Ei for every index i for which i 0. The Lebesgue-Stieltjes integral of f is
defined by
n
fd i 1 i Ei . 6. 2. 8
fx d H x, D
X
6. 2. 9
lim Ei X
f xi inf j
E ij , D E ij .
diam E i 0 E ij with E ij E i
j
From now on, X is assumed metrically unbounded, i.e. for every x X and r 0 there
exists a point y such that d x, y r. The standard assumption that D is uniquely
defined in all subsets E of X requires X to be regular (homogeneous, uniform) with
respect to the measure,i.e. H B r x , D H Br y , D for all elements x, y X and
(convex) balls B r x and B r y of the form B r 0 x z|d x, z r; x, z X . In the limit
diam E i 0, the infimum is satisfied by the requirement that the variation over all
coverings E ij ij is replaced by one single covering E i , such that
j E ij Ei x i . Hence
fx d H x, D lim Ei X
f xi Ei, D . 6. 2. 10
X diam E i 0
fx d x, D f x dD x
f r rD 2 2 1
dr. 6. 2. 12
H
X D 0X 1
2
The integral defined in (6.2.12) satisfies the following conditions.
(i) Linearity:
a1f1 x a2f2 x d H x, D a1 f1 x d H x, D a2 f2 x d H x, D . 6. 2. 13
X X X
S 0, 1 d x, D x P x , 6. 2. 19
H
2 X
D
where 0,1 X , x G D and P is a polinomial.
Definition 6.2.3. Assume that (i) x G Dx and
(ii) there exist Colombeau generalized function k G Dk such that
D
x 2 d H k, D k e ik x
X
6. 2. 20
D ik x
2 D
d H k, D k e ,
k
and
ik x ik x
k d H x, D xe D
d H x, D x e . 6. 2. 21
X x
Z 0, J
D
D exp i S 0, d H x, D J x x
G x X
6. 2. 24
S
_1
D
D exp S 0, d H x, D J x x
G x X
S
_1
D
D ei SJ .
G x
1 d H k, D
2 X 2 D
J k J k
k f k2 k 2
,
f k
J k
k , f k 22 P k 22 i .
f k2
S
_1
D
D
G x
i d H k, D
exp k f k2 k
2 X 2 D
6. 2. 28
i d H k, D J k J k
exp
2 X 2 D
f k2
i d H k, D J k J k
Z 0 0 exp .
2 X 2 D f k2
d H k, D J k J k
X 2 D
f k2
d H k, D
D
6. 2. 29
X 2
J k J k
d H x, D d H y, D e ik x y
2
,
X X f k
where
1 exp ik x y
Gx y; d H k, D . 6. 2. 31
2 D
X f k2
Thus, we have recovered the usual definition of the propagator as the solution of the
Green equation in Hausdorff dimensions D D , 0, 1 in the sense of
Colombeau generalized functions
D
P Gx y; x y . 6. 2. 32
Defining the perturbative quantum field theory in momentum space makes a derivation
of covariant Feynman rules in D -dimensional momentum space straightforward
[20].The only difference to conventional Feynman rules is the substitution of the
measure in the momentum integral
4 4 D
2 d k 2 d H k, D . 6. 2. 33
For symmetric kernels, a representation of d H k, D in terms of spherical coordinates
is
D D D 1 D 1
2 d H k, D 2 d k dk . 6. 2. 34
In the following the electron self-energy , the vacuum polarisation and the
vertex correction for each 0, 1 are enumerated as a function of the Hausdorff
dimension D D . The lowest-order contribution to the vacuum polarisation
, q e2 Tr dD k i i 6. 2. 35
2 D k m i k q m i
can be written in the following form
, q q q q2g q ,
4 D 1 D /2 D 4
q 2 2 D /2 m F2 D /2, 2, 5/2; q 2 /4m 2
6. 2. 36
ab z zn 1 n 1 a i b i
F a, b, c; z 1 c 1! ... ....
n 1 ! i 0 c i
p ie 2 dD k i i 6. 2. 37
2 2
2 D k i p k m i
can be written in the following form
2
p A p m B p m p , 6. 2. 38
4
where A , B and p G p are given by
A 3 22 D 1 D /2
mD 3
2 D /2 ,
B A m 1, 6. 2. 39
2
p p2 m2 22 D 1 D /2
2 D /2 .
The lowest-order contribution to the vertex term , with the photon momentum q and
two outgoing electron momenta p and p , is given by
q, p, p
dD k i i i 6. 2. 40
e2
2 D k2 2
i p k m i p k m i
m m Bare A
m Bare 3 22 D 1 D /2
mD 3
2 D /2
6. 2. 43
m Bare 3 2 2 1 /2
m1
2
m Bare 3 m 2 0. 577
4
and
Z 2, 1 A m 1. 6. 2. 44
From Eq.(6.2.43) one obtains
m Bare m 3 m 2 0. 577
4
6. 2. 45
m 1 3 1 3 0. 577 m 1 3 1 .
2 4 2
Thus
m Bare mZ m 1 3 1 , 6. 2. 46 where
2
3 1 . Z 1 6. 2. 47
2
Remark 6.2.3. Note that standard sector of QED 4 defined by the condition
Z 0, 6. 2. 48
see Sec. IV.3. In particular for a given standard sector of QED 4 defined by the
following
condition
3 1. 6. 2. 49
2
The bare photon propagator is renormalised by the formal summation of vacuum
polarisation diagrams, whose lowest-order contribution given by Eq.(6.2.36).Again,
q can be expanded around the mass shell q 2 0, yielding
q P q2 q2 . 6. 2. 50
The full photon propagator can be written as q q q2g q2 , with
1
q2 1 P q2 q2 6. 2. 51
The term in brackets contributes to the renormalisation of the bare charge e Bare ,
which relates to the renormalised charge e by
e Bare e1 P q2 q2 e Z 3,
6. 2. 52
Z 3, 1 P q2 q2
Z 3, 1 q2 0
6. 2. 53
1 24 D 1 D /2
2 D /2 m D 4
yielding
2
e Bare
Bare
Z 3,2 . 6. 2. 54
4
Remark 6.2.4.Note that standard sector of QED 4 except the condition (6.2.48),defined
by
the condition Z 3,2 0, see Sec. IV.3. In particular for a given standard sector
of
QED 4 except the condition (6.2.49),defined by the following condition
Z 3,2 0. 6. 2. 55
All other contributions to the renormalisation of the electric charge cancel, as can be
explicitly seen by a summation of the lowest-order radiative corrections to the charge
1 B L P e Bare . 6. 2. 56
As can be shown from (6.2.38) and (6.2.41), L equals B and only the Z 3, ,
factor remains for the renormalisation of the electric charge.
Let us consider corrections to the magnetic moment due to vertex corrections as
(6.2.40).In particular, the term proportional to q remains finite for Hausdorff
dimensions smaller than six. It gives rise to low-order contributions to the anomalous
magnetic moment as well as the l 0 splitting of energy levels in atoms (Lamb
shift).Utilising the expansion of the gamma function into a polynomial 1 z c zi
i 0 i
n
with coefficients c 0 1, c n 1 n 1 1 i 0 1 i 1 s i 1 s n i and s 1 0. 577, s n n for
2
n 2, Re z 0, where n is the Riemann zeta function (e.g. s 2 /6) ,one obtains for
small 4 D 1
1
e D 4 e D 4 22 D 1 D /2
3 D /2
6. 2. 57
0. 577 log 4 D .
8
Here, e is the form factor of the electromagnetic current proportional to q . Presently
the difference between experimental and theoretical values of e suggests
D 4 5. 3 2. 7 10 7 , 6. 2. 58
i.e., 5. 3 2. 7 10 7 at the scale of the Compton wavelength of the electron [37].
Remark 6.2.5. Note that for 1/137 from (6.2.58) one obtains
3 3 11617 1 6. 2. 59
2 2 137 3 10 7
Obviously this inequality in a contradiction with inequality (6.2.49) and therefore
dimensional renormalization breaks down for 1/137.
Similarly, corrections to the l 0 levels for a hydrogen-like atom can be derived for
E ED 4 ED :
3
E 2p 12 0. 57722 log 4 D Ry
2 n3
l 1/2 j l 1/2 6. 2. 60
1
ll 1/2 j l 1/2
x x 0 dx 1 dx , 6. 3. 6
2 2
x x0
0, 1 , i.e.
1 f x dx
x x 0 f x dx x x0; f x dx ; 6. 3. 7
x x0 2 2
x x0; 1 6. 3. 8
2 2
x x0
stands for the nonclassical nonregular density.
Remark 6.3.4.Note that: (i) for any x x 0
2 2
0 , 6. 3. 9
x x0
(ii) for x x0
x x0; |x 1 . 6. 3. 10
x0
Given a metric space X, d , let B X denote the Borel -algebra in X, and let CBM X
be the class of non-null hyperfinite Colombeau-Borel measures defined on X.
Definition 6.3.2.Let CBM D be Colombeau-Borel measure and let
_
I d , x, r
be
_
_ |d |
I d , x, r x y d y . 6. 3. 11
B x,r
_
is exact-negative-dimensional measure with D k.
D
Definition 6.3.3. Colombeau-Borel measure CBM is called:
_
(i) of lower negative dimension D 0 if
_ _ _
|D | inf x D inf |d x ||lim r 0 lim 0I d x , x, r 0 . 6. 3. 14
_
(ii) of apperer negative dimension D 0 if
_ _ _
|D | sup x D inf |d x ||lim r 0 lim 0I d x , x, r 0 . 6. 3. 15
For instance Colombeau-Borel measure CBM :
dx dx , 6. 3. 16
k1 2 k2 2
x x1 x x2
_
where x 1 x 2 and k 1 k 2 , is lower negative dimensional with D k 2 and apperer
_
negative dimensional with D k1.
Remark 6.3.5.In this subsection we define generalized Hausdorff-Colombeau
measure.In subsection VI.4 we will prove that negative dimensions of fractals equipped
with the Hausdorff- Colombeau measure in natural way.
Let be an open subset of n , let X be metric space X n
and let F be a set
F E i i of subsets E i of X. Let E, x, x be a function : F . Let C F
be a set of the all functions E, x, x such that E, x, x C whenever
0,1
E F. Throughout this paper, for elements of the space C F of sequences of
smooth functions indexed by 0, 1 we shall use the canonical notations E, x, x
and so CF , 0, 1 .
Definition 6.3.4.We set G F E M F, /N F, , where
0,1 n
E M F, E, x, x CF K , p with
p
sup E F;x K | E, x, x | O as 0 ,
0,1
6. 3. 17
n
N F, E, x, x CF K , q
q
sup E F;x K | E, x, x | O as 0 .
Notice that the ring arises naturally as the ring of constants of the Colombeau
algebras G . Recall that there exists natural embedding r : such that for all
r ,r r where r r for all 0, 1 . We say that r is standard number and
abbreviate r for short. The ring can be endowed with the structure of a partially
ordered ring: for r, s , 1 we abbreviate r , s or simply r s if and only if
there are representatives r and s with r s for all 0, . Colombeau
generalized number r with representative r we abbreviate cl r .
Definition 6.3.6. (i) Let . We say that is infinite small Colombeau generalized
number and abbreviate 0 if there exists representative and some q such
that | | O q as 0. (ii) Let . We say that is infinite large Colombeau
generalized number and abbreviate if 1 0. (iii) Let be We say
that is infinite Colombeau generalized number and abbreviate if there
exists representative where for all 0, 1 . Here we set E M
EM , N N and EM /N .
Definition 6.3.7.The singular Hausdorff-Colombeau measure originate in Colombeau
generalization of canonical Caratheodory’s construction, which is defined as follows: for
each metric space X, each set F E i i of subsets E i of X, and each Colombeau
generalized function E, x, x , such that: (i) 0 E, x, x , (ii) E, x, x ,
whenever E F, a preliminary Colombeau measure E, x, x, can be constructed
corresponding to 0 , and then a final Colombeau measure E, x, x , as
follows: for every subset E X, the preliminary Colombeau measure E, x, x, is
defined by
E, x, x, sup i
E i , x, x |E i
E i , diam E i . 6. 3. 19
Ei i
E, x, x, lim E, x, x, inf E, x, x, 6. 3. 20
0 0
1 D 6. 3. 22
1 D 1 D
2 2
and
_ _
D
D 2 D 2
,
2
1 D
2 6. 3. 23
D 2, 4, 6, . . . , 2 n 1 ,...
Definition 6.3.9. The Hausdorff-Colombeau singular measure HC E, D , D , x, x,
of a subset E X with the associated Hausdorff-Colombeau dimension
D D ,D , is defined by
HC E, D , D , x, x,
lim sup i
E i , D , D , x, x |E i
E i , i diam E i , 6. 3. 24
0 Ei i
D sup D 0| HC E, D , D , x, x, ,
The Colombeau-Lebesgue-Stieltjes integral over continuous functions f : X can be
evaluated similarly as in subsection III.3,(but using the limit in sense of Colombeau
generalized functions) of infinitesimal covering diameter when E i i is a disjoined
covering and x i E i :
fx d HC E, D , D , x, x,
X
6. 3. 25
lim Ei X
f xi inf j
Ei, D , D , xi, x .
diam E i 0 E ij with E ij E i
j
We assume now that X is metrically unbounded, i.e. for every x X and r 0 there
exists a point y such that d x, y r. The standard assumption that D and D is uniquely
defined in all subsets E of X requires X to be regular (homogeneous, uniform) with
respect to the measure,i.e. HC B r x , D , D , x, x, HC B r y , D , D , x , y, ,
where d x, x d x , y for all elements x, y, x, x X and convex balls B r x and B r y of
the form B r x z|d x, z r; x, z X and B r y z|d y, z r; y, z X . In the limit
diam E i 0, the infimum is satisfied by the requirement that the variation over all
coverings E ij ij is replaced by one single covering E i , such that
j E ij Ei x i . Therefore
fx d HC E, D , D , x, x,
X
6. 3. 26
lim Ei X
f xi Ei, D , D , xi, x .
diam E i 0
fr d HC E x , D , D , x, x,
X
6. 3. 27
lim Ei X
f ri Ei, D , D , xi, x .
diam E i 0
n
Notice that the metric set X can be tesselated into regular polyhedra; in
particular it is always possible to divide n into parallelepipeds of the form
i 1 ,...,i n x x1, . . . , xn X|x j ij 1 xj j, 0 j xj, j 1, . . . , n . 6. 3. 28
For n 2 the polyhedra i 1 ,i 2 is shown in figure 6.3.1.Since X is uniform
d HC E, D , D , x, x, lim i 1 ,...,i n , D , D , x, x
diam i 1 ,...,i n
D
n
n xj
lim D
j 1
diam i 1 ,...,i n |x j xj | 6. 3. 29
D
n d n xj
D
.
j 1
D n
|x j xj |
Fig.3.3.1. The polyhedra covering for n 2.
Notice that the range of integration X may also be parametrised by polar coordinates
with
r d x, 0 and angle . E r, can be thought of as spherically symmetric covering
around a centre at the origin (see figure 3.3.2 for the two-dimensional case). In the
limit,
the Colombeau generaliza function E r, , D , D , r, r is given by
d HC E r, , D , D , r, r, ,
d D 1 D
r 1
dr 6. 3. 30
lim E r, , D , D , r, r, D
.
diam i 1 ,...,i n r r
When f x is symmetric with respect to some centre x X, i.e. f x constant for all x
satisfying d x, x r for arbitrary values of r, then chainge of the variable
x z x x 6. 3. 31
can be performed to shift the centre of symmetry to the origin (since X is not a linear
space, (6.3.15) need not be a map of X onto itself and (6.3.15) is measure preseming).
The integral over metric space X is then given by formula
_
4 D /2 D /2 rD 1f r
fx d HC E x , D , D , x, x, _ dr . 6. 3. 32
X D /2 D /2 0 r |D |
The Colombeau integral defined in (6.3.27) satisfies the following conditions.
(i) Linearity:
a1f1 x a2f2 x d HC E x , D , D , x, x,
X
6. 3. 33
a1 f1 x d HC E x , D , D , x, x, a2 f2 x d HC E x , D , D , x, x, .
X X
since
d HC Ex x0 , D ,D ,x x0, x x0, d HC E x , D , D , x, x, 6. 3. 35 .
(iii) Scaling property:
_
D D
fa x d HC E x , D , D , x, x, a fx d HC E x , D , D , x, x, 6. 3. 36
X X
j 1 Aj j 1
Aj . 6. 4. 3
(iv) Whenever d A, B inf d n x, y |x A, y B 0
A B A B , 6. 4. 4
2
where d n x, y is the usual Euclidean metric:d n x, y xi yi .
Definition 6.4.2. We say that outer Colombeau metric measure μ , 0, 1 is a
n
Colombeau measure on σ-algebra of subests of X if μ satisfies the following
property:
j 1 Aj j 1
Aj . 6. 4. 5
n
Definition 6.4.3.If U is any non-empty subset of n-dimensional Euclidean space, ,
the
diamater |U| of U is defined as
|U| sup d x, y |x, y U 6. 4. 6
n
If F , and a collection U i i satisfies the following conditions:
(i) |U i | for all i , (ii) F i U i , then we say the collection U i i is a δ-cover of
F.
n
Definition 6.4.4.If F and s, q, δ 0, we define Hausdorff-Colombeau content:
|U i | s
H s,q F, inf i 1 q 6. 4. 7
xi
where the infimum is taken over all δ-covers of F and where x i x i,1 , . . . x i,n U i for
n
all i and x is the usual Euclidean norm: x x2 .
j 1 j
if s dim HC F, q
H s,q F, 0 if s dim HC F, q 6. 4. 16
undetermined if s dim HC F, q
n
Definition 6.4.7.We say that fractal has a negative dimension relative to q 0
iff dim HC F, q q 0.
m m 1 t
i 1
I zt,i i 1
d t t i zi 1
t , 7. 1. 4
zi
zi
m t zi t t i
t, i 1
.
zi 1
Note that a change of variables t t t trasforms Eq. (7.1.4) into the form
t m t t i zi 1
d x, t i 1
dt t t . 4. 1. 5
0 0 zt
The Colombeau-Riemann–Liouville multifractional integral (7.1.5) can be mapped onto
a Colombeau-Weyl multifractional integral in the formal limit t . We assume
otherwise,so that there exists lim t z t and lim t t t q t , q t . In particular if
S d x, x , x , 7. 1. 7
M
S d x, x , x
M
m 1
d D t xv ,j x V 7. 1. 11
j 1 2
m _ 1
d D t xv ,j x, D ,j V ,
j 1 2
_
where v ,j x v ,j x, D ,j is a coordinate-dependent Lorentz scalar
v ,j x, D j 1 . 7. 1. 12
Dt | j 1|
sj x
We define now the Dirac distribution in negative dimensions D j , j 1, . . . , m as
Colombeau generalized function by equation
_
m _ D ,j
dv j x, D ,j , vj x, m. 7. 1. 13
j 1
where dots indicate (total) derivatives with respect to time and we have taken
Eq. (7.1.13) into account. Defining the Lagrangian in negative dimensions
D i , i 1, . . . , m
m
L d D t 1 xv i, x, D i , 7. 1. 20
i 1
where x x 1 , . . . , x Dt 1 , d D t 1 x dx 1 . . . dx D t 1 the Hamiltonian is
m _
H d D i xv i, x, D i , L
i 1
m _
1 1
d D i xv i, x, D i 2
, i
i
V
i 1 2 2
m _
7. 1. 21
d D i xv i, x, D i H ,
i 1
H 1 2 1 i
i
V .
,
2 2
The definition of the equal-time Poisson brackets is
A x ,B x v i,
m A xi B xi A xi B xi 7. 1. 22
d D t 1 yv i, y ,
i 1 yi yi yi yi
m
D exp i j 1
d j, J 7. 2. 1
G D D
k x
m
D
D exp i j 1 D
d j, J
G k x
Note that
x 2 Dt 1
s, s s. 7. 2. 7
sx sx
Hence the inhomogeneous equation (7.2.5) reads
2 Dt 1 m2 G x D
_
x, . 7. 2. 8
s s v
sx
We first consider the Euclidean propagator and denote with r x i x i t 2 the
Wick-rotated Lorentz invariant. In the massless case, the solution of the homogeneous
equations for any 0 is
2 D| |
G r Cr 2 , , 7. 2. 9
2
where D D t and where C is a normalization constant. The right-hand side of Eq.(7.2.8)
is not the usual -function defined in radial coordinates. To find the latter note that
_ _
D D
1 D
d D xv x v x D
d D xv x v x
x x
_
7. 2. 10
D 1 D
D D
_
D
dr v r r v x D
dr r ,
x x
_ _ _
D D D/2 D /2
where v x v x , D 2 / D/2 and D
_
2 / D /2 , (see
In order to find the propagator also for r 0 we can take some test function and
compute
D D
_
C G, lim 0 D D
_
dr C G r r , 7. 2. 12
where
C v r rD 1K r r D| | 1
r r D| | 1
m2
_ _ 7. 2. 13
D| | 1 D| | 1
r r r r m2 r rD r rD m2.
where D D| | 1 . Thus
D 1
D D
_
K 0 G, lim 0 D D
_
dr G r r r r r
7. 2. 14
C D D
_
2 D| | 0 ,
where C is an constant and where we have used Eq.(7.2.9) and integrated by parts once
(since the boundary terms vanish). The last line must be equal to , , thus fixing C .
Then, the Green function for m 0 finally reads
2 D| |
Gr 1 r2 2 . 7. 2. 15
D D 2 D| |
_
Let us consider now the massive case.The solution of the homogeneous equation
K G r 0 for any 0 is
2 D| |
G r r 2
C1K 2 D| | mr C2I 2 D| | mr , 7. 2. 16
m 2 2
where D D t , C 1 , C 2 are constants and K v and I v are the modified Bessel functions. The
function I z is
2k
z/2
I z . 7. 2. 17
k 0 k! k 1
Formula (7.2.17) is valid providing 1, 2, 3, . . . .
| | 2k
z/2
I | | z 7. 2. 18
k 0 k! | | k 1
Formula (7.2.18) is obtained by replacing in (7.2.17) with a . Note that
K z I z I z . 7. 2. 19
2 sin
It follows
K | | z I| | z I | | z . 7. 2. 20
2 sin| |
The modified Bessel functions I | | z and I | | z have the following asymptotic forms for
z 0:
| | | |
I| | z 1 z ,I z 1 z ,
| |
| | 1 2 | | 1 2 7. 2. 21
1, 2, 3, . . . .
From (7.2.16) we obtain
2 D| |
G r r 2
C1K 2 D| | mr C2I 2 D| | mr
m 2 2
2 D| |
r 2 C1 I 2 D| | z I 2 D| | mr C2I 2 D| | mr
m 2 D
2 sin 2 | | 2 2 2
7. 2. 22
2 D| |
r 2 C1 I 2 D | | mr I 2 D| | mr C1 C2 .
m 2 D 2 D
2 sin 2 | | 2 2
2 sin 2 | |
Since for small m 0 the solution must agree with the massless case (4.2.15), we set
C1 C2 0. 4. 2. 23
2 D Therefore
2 sin 2 | |
2 D| |
G r C1 r 2
I 2 D | | mr . 4. 2. 24
m 2 D| |
2 sin 2
2
To find the solution of the inhomogeneous equation, one exploits the fact that the
mass term does not contribute near the origin. Expanding Eq. (7.2.24) at mr 0, we find
2 D| | 2 D| |
G r C1 r 2
mr 2
m 2 2 D| | 2 D| |
2 2
1 sin 2
7. 2. 25
which must coincide with Eq.(7.2.15). This gives the coefficient C 1 and the propagator
reads
D D| | 2 D | |
Gr 1 _
2 2 r 2
I 2 D| | mr
D D _ m
2 2 2 D 2
7. 2. 26
2 D | |
D, D
_ r 2
I 2 D| | mr ,
m 2
where we let
D D| |
D, D _
_
. 1 7. 2. 27 2 2
D D _
2 2 2 D
Gs i D, D
_ m2 4 2
I D| | m s2 i , s 0, 7. 2. 28
2 1
s i 2
Gk 1 r2 D| |
D D
_
D| | 2
D 2 D| | 1 7. 2. 30
2 2 2 2
1
2 D| |
,
2 k2
D| | 1
D D
_
2
D| |
_
where D D| | 1 . The Fourier transform of the massive propagator in radial
coordinates is
G k, m 2 D dr r D 1 G r, m 2 e ik x
. 7. 2. 31
The integrand in Eq.(7.3.21) is not radial but we can choose a frame where
k x kr cos , k |k |, and the angular integral is
ik x D 2 ikr cos
d De D 1 d sin e
0
D 1
7. 2. 32
D 1
D 1 2 2
JD kr ,
1
2 kr 2
2
where J ei cos u
sin u du. Thus we obtain
0
D 1
G k, m 2 D
D 2 2
dr r D 1
G r, m 2 J D kr . 7. 2. 33
1
2 k 0 2
D
D
G x
exp i dv 1 1 m2 2
V J
D
x 2 2 7. 3. 3
D
D
G x
exp i dv 1 1 m2 2
V J
D
x 2 2
where G D
x G Dx is an topological linear subspace of Colombeau algebra G Dk ,
G Dx and J G Dx is a source.
Remark 7.3.1.Note that in (7.3.3) we integrate over an topological linear subspace
G Dx G Dx of Colombeau algebra G Dx but not over full Colombeau algebra
D
G x .
We will be write for short the expression Z J in the following form
ZM J NM D
D
G x
7. 3. 4
exp i 1 1 m2 2
V J ,
2 2
where N M is a normalizing constant, the . . . v now means integration with nontrivial
measure d D v x over spacetime, and J G Dx is a source. The integrand in
(7.3.4) is oscillatory and even path integrals are not well defined. There are two
canonical ways to resolve this problem:
(i) put in a convergence factor exp 12 2
with 0, or
(ii) define Z J in Euclidean space by setting x 0 ix 0 , d D x id D x,
, where the bar denotes Euclidean space variables,
/ x .
Then Eq.(7.3.4) becomes
ZE J NE D
D
G x
, 7. 3. 5
exp 1 1 m2 2
V J
2 2
where for instance
m k
V c
k 3 k
. 7. 3. 6
The exponent of the integrand is now negative definite for positive m and V.
In either case, the generating functional is used to manufacture the Green’s functions
which are the coefficients of the functional expansion
ZJ iN J 1, J 2, . . . J N, G N 1, 2, . . . , N; .
N 0 N! 1 , 2 ,..., N
7. 3. 7
iN J 1, J 2, . . . J N, G N 1, 2, . . . , N; .
N 0 N! 1 , 2 ,..., N
Thus
G N 1, 2, . . . , N;
1 ... ZJ
iN J 1, 1, J 2, 2, J N, N, J 0
1 7. 3. 8
... ZJ
iN J 1, 1, J 2, 2, J N, N, J 0
1 ... ZJ
iN J 1, J 2, J N, J 0
where J i, J i, x i , i, i, xi , J i, J i, x i i, x i , i 1, 2, . . . , N,
J J 1, , J 2, , . . . , J N, , J J 1, , J 2, , . . . , J N, and . . . 1 , 2 ,..., N .
means integration with nontrivial Colombeau–Stieltjes measure d D x 1 dD x2 ...
d D x N . We evaluate now Z M J when V 0. We choose to do it in
M
Minkowski. Let Z 0, J be
ZM
0, J
7. 3. 9
NM D exp i 1 1 m2 i 2
J .
G D
x 2 2
and
G x 1 d k G k e ik x 1 d k G k e ik x . 7. 3. 11
D D
2 2
correspondingly,where k x k 0 x 0 k x . Using now the definition of the D-dimensional
Colombeau–Dirac distribution with nontrivial Colombeau–Stieltjes measure d k
ik x ik x
k D
d x e D
d x e 7. 3. 12
k k
D
D exp . . . D
D exp . . . . 7. 3. 15
G k G k
i J k J k
ZM
0, J N M exp d k
2 k2 m2 i
7. 3. 16
D exp i 1 1 m2 i 2
,
G D
x 2 2
where we observed that the -dependent term was just the same as the
-dependent term in (4.3.9) with J x 0. Thus
i J k J k
ZM
0, J ZM
0, 0 exp d k . 7. 3. 17
2 k2 m2 i
By adjusting N M , we can take Z M
0, 0 1. The important thing is that we have
succeeded in finding the explicit dependence of Z M
0, J on J x . The use of the
J x inverse Colombeau-Fourier–Stieltjes transform (7.3.11) yields
J k J k
d k
D
k k2 m2 i
7. 3. 18
d k J k J k
D
d x d y e ik x y
D
k 2 D
x
D
y k2 m2 i
and so that, if k k , the free partition function reads
Z 0, J Z 0, 0
exp i d x d y J x x y; J y
2 D D
F 7. 3. 19
x y
exp i J x F x y; J y
2 x , y
where
F x y; 1 d k e ik x y . 7. 3. 20
D
2 D
k k m2 i
2
Thus, we have recovered the usual definition of the propagator as the solution of the
Green equation in negative dimensions D D 1 , 0:
m2 F x y; x y . 7. 3. 21
It is the Feynman propagator. We now interpret the Green’s functions obtained
from Z 0, J . From (7.3.8) we find
G 02 x 1 , x 2 ; F x1 x2;
G 04 x 1 , x 2 , x 3 , x 4 ;
x1 x2; x3 x4; x1 x3; x2 x4; 7. 3. 22
F F F F
F x1 x4; F x2 x3;
etc. ...
together with the vanishing of the Green’s functions with odd number of variables. This
fact is easy to understand since Z 0, J depends only on J . In passing, note that
all Green’s functions are functions of only the difference of coordinates, reflecting the
translation invariance of the theory. Another imprtent notes is that the higher Green’s
functions can all be represented only in terms of G 02 x 1 , x 2 ; . Hence it would apper
more convenient to set
Z 0, J exp iZ 0, J 7. 3. 24
and define new Green’s functions in terms of Z 0, J :
iZ J iN J 1, J 2, . . . J N, G cN 1, 2, . . . , N; .
N 0 N! 1 , 2 ,..., N
7. 3. 25
iN J 1, J 2, . . . J N, G cN 1, 2, . . . , N; .
N 0 N! 1 , 2 ,..., N
Indeed since G N x 1 , x 2 , . . . , x N ; depends only on differences of coordinates the
Colombeau-Fourier transform
N
d D x 1 . . . d D x N exp i kx
j 1 j j
G N x1, x2, . . . , xN; 7. 3. 26
N
necessarily contains the usual -function of kx.
j 1 j j
So we can set
N
G p1, p2, . . . , pN;
7. 3. 27
D N D D N N
2 k
j 1 j
d x 1 . . . d x N exp i kx
j 1 j j
G x1, x2, . . . , xN;
N
with G p1, p2, . . . , pN; defined only when p 1 p2 . . . pN 0. For instance
k
G 02 p, p; 7. 3. 28
k m2 i 2
gives the amplitude that a free particle of momentum k and mass m 2 propagates in
fractal spacetime. .
ZM J NM D
D
G x
exp i 1 1 m2 i 2
V J
2 2
7. 3. 37
NM D
D exp iV
G x
exp i 1 1 m2 i 2
J .
2 2
Now immediately comes the canonical trick: observe that
1 exp i J x exp i J 7. 3. 38
i J x
and since J and are independent variables, the same will be true for any
function V of . In particular
exp i J exp i J
7. 3. 39
exp i V 1 exp i J .
i J x
This allows us to take the V dependent term out of the path integral
ZM J exp i V 1
i J x
NM D exp i 1 1 m2 i 2
J 7. 3. 40
G D
x 2 2
exp i V 1 Z 0, J
i J x
or
exp i Z 0, J ZM J exp i V 1
i J x 7. 3. 41
exp i J x1 F x1 x2; J x2
2 1, 2
The equation Eq.(7.3.41) will be the starting point of the perturbative evaluation of
ZM J . For the moment, we use it to derive an equation for cl x; . From
Eq.(7.3.41)
ZM J
i exp i V i F x x 1 ; J 1,
J x J 1
ZM
0, J i exp i V i F x x 1 ; J 1,
J 1
7. 3. 42
exp i V i ZM J .
J
Ox exp i V i J x exp i V i . 7. 3. 44
J J
We can evaluate O x by means of yet another trick. We set now
Ox
7. 3. 45
exp i V i J x exp i V i ,
J J
exp i V i iV i , J x
J J 7. 3. 46 But
i V i .
J
D
iV i , J x iV i x y , 7. 3. 47
J J y
where V is the derivative of V with respect to its argument. Integrating Eq.(4.3.46) over
y, we find
dO x
V i . 7. 3. 48
d J x
The equation Eq.(7.3.48) is now integrated over to yield
Ox Ox 1 J x V i . 7. 3. 49
J x
Hence
ZM J
x m2 i J x V i ZM J 7. 3. 50
J x J x
or
x m2 cl x; J x
1 7. 3. 51
V i ZM J .
ZM J J x
4
V , 7. 3. 52 where is dimensionless. Then
4!
1 V i ZM J
ZM J J x
3
1 ZM J
i3 7. 3. 53
3! ZM J J x
3
2
3 cl x; clx;
cl x; 2
3i cl x; ,
3! J x J x
The first two terms on the right hand side of the Eq.(7.3.54) as in classical case, give
the classical equation of motion modified by the last two terms, which must amount to
corrections from the quantum theory.
In the case V 0, the explicit form of the effective action is, of course, not known but
we can expand it functionally in terms of cl x; as
cl x; d x Ve cl x;
7. 3. 55
1 F cl x; cl x; cl x; higher order derivatives ,
2
where we take into account now local effects by including arbitrarily high higher order
derivatives of cl x; . We have arbitrary Colombeau generalized functions
e
V cl x; , F cl x; etc., to be determined. V e is clearly an effective
potential. By expressing J x in terms of cl x; using (4.3.54) and integrating
(4.3.36), we obtain that
Ve cl x; 4
x; m2 2
x; O 7. 3. 56
cl cl
4! 2
and
F cl x; 1 corrections. 7. 3. 57
Alternatively, we can expand the effective action in terms of cl x; by nonlocal way:
N
cl x; 1, 2, . . . , N cl 1; cl 2; ... cl N; 7. 3. 58
1 , 2 ,..., N
where the coefficients N x 1 , x 2 , . . . , x N are called the proper vertices. They depend only
on the differences x . i x j because of translation invariance so that their
Colombeau-Fourier transforms are introduced by
N
D
p1, p2, . . . , pN 2 p1 p2 . . . pN
N
7. 3. 59
d D x 1 d D x 2 . . . d D x N exp i p 1 x 1 p2x2 . . . pNxN p1, p2, . . . , pN ,
N
where p1, p2, . . . , pN being defined only when the sum of its arguments
vanishes.
SE , J
SE , J SE x1 x1
0, 0,
x1 7. 4. 3
2
1 SE x1 x1 x2 x2
0, 0,
2 x1 x2 1, 2
SE x
x 0,
7. 4. 4
x
x m2 2
x V x J x 0
x
SE 0, , J 1 dDx x 2 0,
d J 0, V 0, 7. 4. 5
2 d 0,
while
2
SE m2 V D
x1 x2 7. 4. 6
1,
1, 2,
is an operator. By using formal approuch of the saddle point evaluation, the generatin
functional now becomes
ZE J N E exp SE 0, , J D
D
G x
2
exp 1 SE
1, 2,
2 1, 2,
1, 2 7. 4. 7
N E exp SE 0, , J
1
2
2
det m V 0, 1,2
D
D exp m2 V 1, 7. 4. 8
G x
1
2
2
det m V 1, 1,2 .
Clearly this expression needs some getting used to. We can rewrite it in a slightly more
suggestive form by using the identity
det M exp Tr ln M . 7. 4. 9
Therefore
ZE J N E exp SE 0, , J
1 7. 4. 10
Tr ln m2 V 0, 1,2 ,
2
m2 G ,xy
D
,xy 7. 4. 13
it follows that
0
x G ,xy J ,a
a
G ,xy J ,a
a
1
x 1 G ,xy G ,ya G ,yb G ,yc J ,a J ,b J ,c , 7. 4. 14
6 a b c y
etc...
Thus
SE J 1 J ,a G ,ab J ,b
2 a b
see Eq.(7.2.26),
G E4 x 1 , x 2 , x 3 , x 4 ;
d D y G x 1 , y; G x 2 , y; G x 3 , y; G x 4 , y; ,
7. 4. 19
G E6 x 1 , x 2 , x 3 , x 4 , x 5 , x 6 ;
2
d D xd D y G x 1 , x 2 ; P x, y, x 1 , x 2 , x 3 , x 4 , x 5 , x 6 ;
where
P x, y, x i ;
G x, x i ; G x, x j ; G x, x k ; G y, x l ; G y, x m ; 7. 4. 20
ijk
G y, x n ; ,
where the sum runs over all the following values of the triples, ijk 123 , 124 , 125 ,
126 , 134 , 135 , 136 , 145 , 146 , 156 , with lmn assuming the complementary
value, e.g., lmn 456 when ijk 123 . Note that ijk runs only over half of the
possible values. This is because the expression for P is symmetric under the
interchange x y. In this classical approximation and to order 2 these are the only
nonzero Green’s functions.
The momentum space Green’s functions, defined by
N
D
GE p1, . . . , pN; 2 p1, . . . , pN
d D x 1 . . . d D x N exp i p 1 x 1 . . . p N x N G EN x 1 , . . . , x N ; 7. 4. 21
N
d D x 1 . . . d D x N exp i p 1 x 1 . . . p N x N GE x1, . . . , xN; .
S 0, 1 d x x P x , 7. 5. 1
2 D
x
where x G D , x G D
and P is a polinomial.
Definition 7.5.1. Assume that (i) x G D , G D and (ii) there exist
Colombeau generalized function k G Dk such that
x D
d k k e ik x 2 D
D
d k k e ik x , 7. 5. 2
k k
and
ik x ik x
k n
d x xe D
d x x e . 7. 5. 3
x x
7. 5. 6
S
_1
D
D exp S 0, D
x J x x
G x x
S
_1
D
D ei SJ .
G x
k D
d k e ik x D
d k e ik x 7. 5. 7
k k
d k1 d k2
D D
e i k1 k2 x
D
k1 2 D
k2
2
k1 f k 22 k2
J k1 k2 J k2 k1
1 d k
D
k f k2 k 7. 5. 8
2 n
k 2
J k k J k k
1 d k
2 D
D
k 2
J k J k
k f k2 k 2
,
f k
J k
k , f k 22 P k 22 i .
f k2
S
_1
D
D
G x
i d k
exp D
k f k2 k
2 D
k 2
7. 5. 9
i d k J k J k
exp D
2 D
k 2 f k2
i d k J k J k
Z 0 0 exp D
.
2 D
k 2 f k2
d k J k J k
D
D
k 2 f k2
7. 5. 10
d k J k J k
D
d x d y e ik x y
,
D
k 2 D
x
D
y f k2
Z 0, J
i 7. 5. 11
Z 0, 0 exp d x d y J x GM x y; J y
2 D
x
D
y
where
GM x y; 1 d k e ik x y
. 7. 5. 12
D
2 D
k f k2
Thus, we have recovered the usual definition of the propagator as the solution of the
Green equation in negative dimensions D D 1 , 0:
P GM x y; x y . 7. 5. 13
In the following, we proceed with the conventional (perturbative) evaluation of the
Euclidean Green’s functions. We start from
WE J exp ZE J N S
_1
D
D
G x
exp d x 7. 5. 14
D
x
1 1 m2 2
V J ,
2 2
where N is an infinite normalization constant. The connected Euclidean Green’s
functions are given by
N E
Z J
G EN x 1 , . . . , x n ; . 7. 5. 15
J x1 . . . J xn
They will be calculated by perturbing in the potential V. Using now the standard trick, we
obtain
W J
7. 5. 16
N exp V exp Z E0, J
J
where
Z E0, J
1 J x 1 7. 5. 17
F x y; J y xy dDx dDy J x F x y; J y
2 2 D
x
D
y
and
xy;
1 e ik x y , 7. 5. 18
F x y; D
d p
2 D
k p2 m2
D
where p 2 1
p 2 . An simple algebraic rearrangement gives
ZE J ln N Z E0, J
7. 5. 19
ln 1 exp Z E0, J exp V 1 exp Z E0, J
J
which is ready for a perturbative expansion in the potential V. If we let
2, J
4 4
1 exp Z E0, J exp Z E0, J , 7. 5. 25
2
2 4! J 41, J 42,
etc. ...
Using the explicit form (7.5.17) for Z E0, J , we obtain
By inserting exp Z E0, J exp Z E0, J in the middle of (7.5.25). Next the
expansion
4
4
exp Z E0, J
J
4
exp Z E0, J 3
exp Z E0, J 2
exp Z E0, J
4 6 7. 5. 28
J4 J3 J J2
exp Z E0, J 3 4
4 3
exp Z E0, J 4
J J J
allows us to write
2, J 1 2
1,
2
1 exp
3
exp Z E0, J
Z E0, J 4
2 4! J 31, J 1,
2
exp Z E0, J 2 exp Z E0, J 3 7. 5. 29
6 4
J 21, J 21, J 1, J 31,
4
exp Z E0, J 1, J
J 41, 1
Comparison with the expansion (7.5.23) for Z E J shows that the "disconnected"
1 2
part 2 1, drops out. By disconnected we mean a contribution which can be written as
the product of two or more functionals of J . This concept will become obvious in the
diagrammatic representation. The fact that Z E J generates only connected pieces is
true to all orders. For example, the order 3 contribution in (7.5.23) is connected: write
3,
1 exp Z E J V x V y V z exp Z E0, J
0,
3! xyz
1 exp Z E0, J V x exp Z E0, J
3!
exp Z E0, J V y exp Z E0, J
7. 5. 30
exp Z E0, J V z exp Z E0, J xyz
1 exp Z E0, J V x exp Z E0, J
2
exp Z E0, J V y V z exp Z E0, J xyz
c
3, .
c c
In the above 2, and 3, stans for the connected pieces. To arrive at this form,
we have used the fact that there are only two types of "disconnectedness": all three x, y, z
disconnected, and only one disconnected from the other two; and there are three ways
to obtain the latter possibility. The parentheses in (4.5.29) serve to shield other terms
from the action of the derivative operators within them.It follows that the term appearing
in the expansion of Z E J can be rewritten using (4.5.30) in the following form
3, 1, 2,
1 3 c 1 3
1,
c
1, 3, 1, 2,
3 3! 7. 5. 31
1,
c 1 2 1 3 c
.
2, 1, 1, 3,
2 3
Now, the explicit evaluation of the connected part of 2, yields, save for the J -
independent part,
c
J 1 J a; ax;
1 3 1 xx; yy; xy; yb; J b;
2, xy;
2 6 4 xyab
1 J a; ax; yy;
2
xb; J b;
xy;
8 xyab
3 J a; J b; ax; bx;
2
yc; yd; J c; J d;
xy; xyabcd
2 4!
1 J a; J b; J c; ax; bx; cx; xy; yd; ye; yf; J d; J e; J f; .
2 xyabcdef
2 3!
The resulting connected Green’s functions follow from Eq.(7.5.15)
G E2 x 1 , x 2 ; x1 x2;
dDy x1 y; y y; y x2;
2
2
d D xd D y x1 x; 3
x y; y x2;
6 7. 5. 33
2
D D 2
d xd y x1 x; x y; y y; x x2;
4
2
d D xd D y
4
3
x1 x; x x; x y; y y; y x2; O ,
G E4 x 1 , x 2 , x 3 , x 4 ;
d D xd D y x1 x; 2
x2 x; x3 x; x4 x;
2
d D xd D y 2
x y;
2
2
x1 x; x2 x; x3 y; x4 y;
x1 x; x3 x; x2 y; x4 y; 7. 5. 34
x1 x; x4 x; x2 y; x4 y;
2
d D xd D y y y; x y;
2
x1 x; x2 x; x3 x; x4 y; cyclic permutations
3
O ,
and finally
6 2
GE x1, x2, x3, x4, x5, x6; d D xd D y x y;
xi x; 2
xj x; xk x; xl y; xm y; xn y; 7. 5. 35
ijk
3
O ,
where the sum in the last expression runs over the triples
ijk 123 , 124 , 125 , 126 , 134 , 135 , 136 , 145 , 146 , 156 , with (ton) assuming
the complementary value, i.e., lmn 456 when ijk 123 , etc..The remaining
Green’s functions get no contribution to this order in .It is straightforward to derive the
p-space Green’s functions, using the canonical expression
N
D
GE p1, . . . , pN; 2 p1, . . . , pN
d D x 1 . . . d D x N exp i p 1 x 1 . . . p N x N G EN x 1 , . . . , x N ; 7. 5. 36
d D x 1 . . . d D x N exp i p 1 x 1 . . . p N x N G EN x 1 , . . . , x N ;
Finally we obtain
2
G E p, p;
1
|p| D| |
p2 m2
1 dDq 1
2 |p| 2D| |
p2 m2
2
2 D |q| D| |
q2 m2
2
1
6 |p| 2D| | p 2 m 2 2
dDq1 dDq2 dDq3
2 D 2 D 2 D
D
p q1 q2 q3 2
|q 1 | D| |
|q 2 | D| |
|q 3 | D| | q 21 m 2 q 22 m 2 q 23 m2 7. 5. 37
2
1 dDq 1
4 |p| 2D| |
p 2
m 2 2 2 D |q| D| |
q2 m2
dDl1 dDl2
2 D 2 D
D
2 l1 l2
D| |
|l 1 | |l 2 | D| |
l 21 m 2 l 22 m2
2
1 dDq 1 1
4 |p| 2D| |
p2 m2
2
2 D |q| D| | q 2 m2 |p| 2D| | p 2 m2
2
dDl 1 O 3
,
2 D |l| D| |
l2 m2
and
4
GE p1, p2, p3p4;
4 1 2 dDq 1
i 1 |p i | D| |
p 2i m2 2 2 D |q| D| |
q2 m2
1 2 dDq1 dDq2 7. 5. 38
|p i | D| |
p 2i m2 2 2 D 2 D
D
2 ij
q1 q2 pi pj
3
O .
|q 1 | D| |
q 21 m2 |q 2 | D| |
q 22 m2
2 2 2 2
|k| 2 2
dD ,D
k,
1 l 1 2 2
l 1 l
k p
where K 1
, c 1.
3
22
2 2 4 2
Remark 8.1.2. We assume now that l 1, l 1 and therefore from
Eq.(8.1.8)
we obtain
D ,D , eff , p
_
Kl
eff
f 2
d d 3,D k K
eff
d f k2 2
dD ,D
k. 8. 1. 9
0 0
k p k p
eff
2 p D 1 dp
Kl D D fd _
0 p p |D |
8. 1. 10
eff p2 2
pD 1
dp
K D D d f _
0 p p |D |
eff _
2
Kl D D f d pD D 1
dp
0 p
eff _
K D D d f p2 2
pD D 1
dp.
0 p
K pD D 1 eff eff
2 pD D
f d Kl D D 0. 5 f d 5. 1. 13
D D 1 0 0 D D
D D 2
Kp eff
4
f d O pD D 4
.
8D D 1 0
1 p4 f d 1 p2 f 2
d C1 1 ln p f 4
d
4 4 8 8. 1. 14
0 0 0
eff eff eff
1 f 4
ln d 1 1 f 6
d O f 8
p 5.
8 p2 32
0 0 0
1 p4 f d 1 p2 f 2
d C1 1 ln p f 4
d
4 4 8
0 0 0
eff eff eff
8. 1. 15
1 f 4
ln d 1 1 f 6
d O f 8
p 5
8 p2 32
0 0 0
D D 2
Op .
where K 1 , c 1.
3
22
Remark 8.1.4.Note that (see Eqs.(1.2.12)):
1 p4 f d 1 p2 f 2
d C2 1 ln p f 4
d
12 12 8 8. 1. 20
0 0 0
eff eff eff
1 f 4
ln d 5 1 f 6
d O f 8
p 5.
8 p2 32
0 0 0
1 p4 f d 1 p2 f 2
d C2 1 ln p f 4
d
12 12 8
0 0 0
eff eff eff
8. 1. 21
1 f 4
ln d 5 1 f 6
d O f 8
p 5
8 p2 32
0 0 0
D D 2
Op .
2 4
f d f d f d 0. 8. 1. 22
0 0 0
D ,D , 1 4 2
eff , p f ln d Op ,
8
0
eff
8. 1. 23
p D ,D , 1 4 2
eff , p f ln d Op .
8
0
Remark 8.1.5. The fine tuning assumed by (5.1.22) is a problematic in order to obtain
the
mass distribution f wich gives an observed value of .
Remark 8.1.6. Note that the Eq.(5.1.23) can be obtained without fine-tuning
I1 p4 f ,p d 0, I 2 p2 f ,p 2
d 0,
0 0
8. 1. 25
eff
4
I3 ln p f ,p d 0.
0
(iii)
eff
4
I1 I2 I3 f ,p ln d . 8. 1. 26
0
Finally we get
eff
D ,D , 1 4 2
eff , p f ,p ln d Op ,
8
0
8. 1. 26
eff
p D ,D , 1 4 2
eff , p f ,p ln d Op .
8
0
4 2
f ,p d 0, f ,p d 0, f ,p d 0,
8. 2. 1
0 0 0
p eff .
1 p2 f ,p 2
d C1 1 ln p f ,p 4
d
4 8
0 0
eff eff
1 f ,p 4
ln d 1 1 f ,p 6
d 8. 2. 2
8 p2 32
0 0
eff
8 5
O f ,p p
0
_
O pD D 2
,
and
p p D ,D , eff , p
eff eff
1 p2 f ,p 2
d C2 1 ln p f ,p 4
d
12 8
0 0
eff eff
1 f ,p 4
ln d 5 1 f ,p 6
d 8. 2. 3
8 p2 32
0 0
eff
8 5
O f ,p p
0
_
O pD D 2
1 p2 f ,p 2
d 3C 2 3 ln p f ,p 4
d
4 8
0 0
eff eff
3 f ,p 4
ln d 5 3 f ,p 6
d
8 p2 32
0 0
eff eff
1 p2 f ,p 2
d C1 1 ln p f ,p 4
d
4 8
0 0
eff eff
8. 2. 4
1 f ,p 4
ln d 1 1 f ,p 6
d
8 p2 32
0 0
eff eff
1 ln p f ,p 4
d 3C 2 C1 f ,p 4
d
4
0 0
eff
1 f ,p 4
ln d
4
0
eff
5 1 f ,p 6
d 0.
p2 16
0
1 2
Thus vacuum energy density D ,D , eff , eff for free quantum fields is
1 2 1 2 1 2
D ,D , eff , eff eff , eff , D ,D , eff , eff . 8. 3. 7
1 2
Here the quantity eff , eff , is given by formula
2
1 2 1 eff
k2 2
d3k
eff , eff 3 1
d f
22 eff
k
2
8. 3. 8
eff
K 1
d f p2 2
p 2 dp,
eff
p
2 2 2 2
|k| 2 2
dD ,D
k,
1 l 1 2 2
l 1 l
k
where K 1 , c 1.
3
22
2 2
Remark 8.3.2. We assume now that l 1, and therefore from Eq.(8.3.9) we
obtain
1 2
D ,D , eff , eff
2 2
eff _ eff _ 8. 3. 10
Kl 1
d f 2
d 3,D
k K 1
d f k2 2
dD ,D
k.
eff eff
k k
2
eff
2
K D D l 1
d f pD D 1
dp
eff
2
eff
K D D 1
d f p2 2
pD D 1
dp .
eff
Note that
p2 1 p
2
1 p
4
1 p
6
p2 2
1 2
1 ....
2 2 8 4 16 6
8. 3. 12
2 4 6
1 p 1 p 1 p ....
2 8 3 16 5
2
4 6 8
K
eff
d f p2 1 p 1 p 1 p . . . . dp
1
eff
2 8 3 16 5
0
2
eff p3 1 p
5
1 p
7
1 p
9
8. 3. 13
K d f ....
1
eff
3 2 5 8 7 3 16 9 5 0
2 3 5 1 9
K
eff
d f
2
1 2
1 2
1 2
....
1
eff
3 2 5 8 7 3 16 9 5
K
eff
f d 1 5
2
1 3
2
1 1
2
1 1
2 ....
1
eff
3 10 56 144
2
eff
1 5
1 3
1 1
1 1 1 n 1/2
K f d 2 2 2 2 o eff .
1
eff
3 10 56 144
1 2
The pressure p D , D , eff , eff for free quantum fields is
1 2 1 2 1 2
p D ,D , eff , eff p eff , eff , p D ,D , eff , eff . 8. 3. 14
1 2
Here the quantity p eff , eff , is given by formula
2 2
1 2 1 eff k
p eff , eff 3 1
d f d3k
22 eff k 2 2
k
2
8. 3. 15
K eff p4
d f dp.
3 1
eff p2 2
p
1 2
The quantity p D , D , eff , eff is given by formula
2 2
1 2 K eff k _
p D ,D , eff , eff d f dD ,D
k, 8. 3. 16
3 1
eff k 2 2
p
2 4 6
1
1 1 p 3 p 5 p .... 8. 3. 17
2 2 8 4 16 6
2 4 6
1 1 p 3 p 5 p ....
2 3 8 5 16 7
9.2.Modified assumptions
1 .The physical dark matter.
n 5
2 .The total effective cosmological constant eff is on at least the order | eff | ln| eff |
of
magnitude of therenormalized vacuum energy density generated by zero-point
fluctuations of standard particle fields and ghost particle fields,see subsection I.2.
4 .The vacuum energy-momentum tensor is not Lorentz invariant.
p 1 f 4
ln d c 4 vac , 9. 3. 1
vac eff eff
8 8 G
0
where
n
O ,n 1 eff
|f | 9. 3. 2
0 eff
and where eff m eff c (see subsection I.2,Eq.(1.2.16)) and therefore gives rise to a de
Sitter phase of the universe even if bare cosmological constant 0.
vac
1 f , 4
ln d O 2
,
eff
8
0
9. 4. 1
eff
p vac 1 f , 4
ln d O 2
,
eff
8
0
10.Conclusion
We argue that a solution to the cosmological constant problem is to assume that there
exists hidden physical mechanism which cancel divergences in canonical QED 4 , QCD 4 ,
Higher-Derivative-Quantum-Gravity, etc. In fact we argue that corresponding
supermassive Pauli-Villars ghost fields,etc.really exists. New theory of elementary
particles which contains hidden ghost sector is proposed. Zel’dovich hypotesis [1] we
suggest that physics of elementary particles is separated into low/high energy ones the
standard notion of smooth spacetime is assumed to be altered at a high energy cutoff
scale and a new treatment based on QFT in a fractal spacetime with negative
dimension is used above that scale.This would fit in the observed value of the dark
energy needed to explain the accelerated expansion of the universe if we choose highly
symmetric masses distribution below that scale , i.e.,
2
f s.m f g.m , eff , eff c
ACKNOWLEDGMENTS
To rewiever
Refferences
[1] Zel’dovich Ya. B. "The cosmological constant and the theory of elementary
particles" Sov. Phys. Usp. 11 381–393 (1968)
[2] Gliner,É. B.,Inflationary universe and the vacuumlike state of physical medium
Physics–Uspekhi, 2002, 45:2, 213–220
[3] Gliner É B, Zh. Eksp. Tear. Fiz., 49 1965, 542; Sov. Phys. JETP, 22 1966, 378
[4] Gliner É B, Dymnikova I G, Pis’ma Astron. Zh., 15 1975, 7, 4 ; Sov. Astron.
Lett.,1 1975, 93
[5] C.S.Weinberg, The cosmological constant problem, Rev. Mod. Phys. 1989.
V.61. P.1-23
[6] Zel’dovich, Y.B. (1967) ‘Cosmological Constant and Elementary Particles’
JETP letters 6, 316-317
[7] К. L. Nagy. State Vector Spaces with Indefinite Metric in Quantum Field Theory,
Budapest, Akadémiai Kiadó, 1966.
[8] N. N. Bogoliubov and D.V. Shirkov, Introduction to the Theory of Quantized
Fields,John Wiley-Sons, New York, 1984.
[9] J. Maguejo and L. Smolin,Lorentz invariance with an invariant energy scale,
Phys.Rev.Lett.88:190403,2002, arXiv:hep-th/0112090
[10] J. Maguejo and L. Smolin,Generalized Lorentz invariance with an invariant
energy scale,Phys.Rev.D67:044017,2003, arXiv:gr-qc/0207085
[11] A. Bouda, T. Foughali, On the Fock Transformation in Nonlinear Relativity,
Mod. Phys. Lett. A, 27 (2012) 1250036 DOI: 10.1142/S0217732312500368
arXiv:1204.6397 [gr-qc]
[12] Arkani-Hamed, Nima; Cheng, Hsin-Chia; Luty, Markus, A, Mukohyama, Shinji,
Ghost Condensation and a Consistent Infrared Modification of Gravity.
Journal of High Energy Physics. 2004 (05): 074–074. arXiv:hep-th/0312099.
[13] K.S. Stelle,Renormalization-of-Higher-Derivative-Quantum-Gravity,Phys. Rev.
D16, 953 DOI:https://doi.org/10.1103/PhysRevD.16.953
[14] S. S. Cree, T. M. Davis, T. C. Ralph, Q. Wang, Z. Zhu, and W. G. Unruh, Can the
fluctuations of the quantum vacuum solve the cosmological constant problem?
Phys. Rev. D 98, 063506 (2018)
DOI:https://doi.org/10.1103/Phys.Rev.D.98.063506
https://arxiv.org/pdf/1805.12293.pdf
[15] J.Foukzon, A.A.Potapov, S.A.Podosenov, Hausdorff-Colombeau measure and
axiomatic quantum field theory in spacetime with negative B.Mandelbrot
dimensions.
https://arxiv.org/abs/1004.0451
[16] M. Bauer, T. Plehn,Yet Another Introduction to Dark Matter, Nov 2018
arXiv:1705.01987 [hep-ph]
[17] M. Lisanti,Lectures on Dark Matter Physics,
DOI:10.1142/9789813149441_0007 arXiv:1603.03797 [hep-ph]
[18] H. Hildebrandt, M. Viola, KiDS-450: Cosmological parameter constraints from
tomographic weak gravitational lensing,MNRAS 000, 1{49 (2016) Preprint 28
October 2016.
https://www.eso.org/public/archives/releases/sciencepapers/eso1642/eso1642a.pdf
[19] J.R. Hiller, Pauli-Villars regularization of field theories on the light front, AIP Conf.
Proc.1317:156-161,2011; PoS LC2010:009,2010 DOI: 10.1063/1.3536550
arXiv:1010.0028 [hep-ph]
[20] P.Ramond, “Field Theory: A Modern Primer”, Westview Press, Boulder, USA,
1990.
[21] Colombeau, J.F.:Elementary Introduction to New Generalized Functions,
eBook ISBN: 9780080872247 Imprint: North Holland Published Date: 1st April
2000
Page Count: 280
[22] Colombeau, J.F.: New Generalized Functions and Multiplication of Distributions,
North Holland, Amsterdam 1984.
[23] Vernaeve H.,Ideals in the ring of Colombeau generalized numbers,
Comm. Alg. (2010) 38 (6): 2199-2228, arXiv:0707.0698 [math.RA]
[24] M. Oberguggenberger, M. Kunzinger,Characterization of Colombeau Generalized
Functions by their Pointvalues,Math. Nachr. (1997),
https://www.mat.univie.ac.at/~mike/mikepts4.pdf
[25] Egorov, Yu.V.: A contribution to the theory of generalized functions. Russian
Math.
Surveys 45:5(1990), 1-49.
[26] J Foukzon, E. R. Men’kova, A. A. Potapov,S. A. Podosenov,Was Polchinski
wrong?
Colombeau distributional Rindler space-time with distributional Levi-Cività
connection
induced vacuum dominance. Unruh effect revisited, J. Phys.: Conf. Ser. 1141
012100
[27] J.R. Hiller, Pauli-Villars regularization of non-Abelian gauge theories,
Few-Body Syst (2016) 57: 557. https://doi.org/10.1007/s00601-016-1098-9
arXiv:1512.08771 [hep-th]
[28] [1] A.A. Slavnov, Theor. Math. Phys. 13 (1972) 1064.
[29] A.A. Slavnov, Theor. Math. Phys. 33 (1977) 210.
[30] L. D. Faddeev and A.A. Slavnov, Gauge Fields, Introduction to Quantum Theory,
Benjamin/Cummings, New York, 1980.
[31] M. Asorey, F. Falceto,Consistency of the Regularization of Gauge Theories by
High
Covariant Derivatives, Phys.Rev. D54 (1996) 5290-5301. arXiv:hep-th/9502025
[32] Gel’fand and G.E. Shilov, Generalized functions, volume I,II,III Academic Press,
New York U.S.A. (1964).
[33] N. Suan Han, N. N. Xuan,Eliminating on the Divergences of the Photon Self -
Energy Diagram in (2 1) Dimensional Quantum Electrodynamics,
VNU J.Sci.Math.Phys.23:22-27,2007. arXiv:0804.3612 [hep-th]
[34] B. M. Pimentel, J. L. Tomazelli,What’s Wrong with Pauli-Villars Regularization in
QED 3 ? Prog.Theor.Phys. 95 (1996) 1217-1222 DOI: 10.1143/PTP.95.1217
arXiv:hep-th/9503224
[35] P.Grave, C.Hainzl, M.Lewin, É. Séré, Construction of the Pauli-Villars-regulated
Dirac vacuum in electromagnetic fields. Arch. Rational Mech. Anal. (2013) 208:
603.
https://doi.org/10.1007/s00205-012-0609-1
[36] R. H. P. Kleiss, T.Janssen, Ambiguities in Pauli–Villars regularization,
Eur. Phys. J. C (2015) 75:46 DOI 10.1140/epjc/s10052-014-3240-5
[37] K.Svozil, J. Phys. A: Math. Gen. 20 (1987) 3861-3875.
[38] K. J. Falconer. The geometry of fractal sets. Cambridge University Press.1985.
[39] Y. I. Manin,Tthe notion of dimension in geometry and algebra.
arXiv:math/0502016 [math.AG]
[40] V.P.Maslov,Negative Dimension in General and Asymptotic Topology,
arXiv:math/0612543 [math.GM]
[41] V. P. Maslov,General Notion of a Topological Space of Negative Dimension and
Quantization of Its Density,Mathematical Notes, 2007, 81:1, 140–144
DOI: https://doi.org/10.4213/mzm3530
[42] V. P. Maslov, Negative asymptotic topological dimension, a new condensate, and
their relation to the quantized Zipf law,Mathematical Notes, 2006, 80:6, 806–813
DOI: https://doi.org/10.4213/mzm3362
[43] B. B. Mandelbrot,Random Multifractals: Negative Dimensions and the Resulting
Limitations of the Thermodynamic Formalism,Proceedings: Mathematical and
Physical Sciences Vol. 434, No. 1890, Turbulence and Stochastic Process:
Kolmogorov’s Ideas 50 Years On (Jul. 8, 1991),pp.79-88.
[44] Dunne G. V., Halliday I. G.,Negative dimensional oscillators, Nucl. Phys. B308,
589
(1988)
[45] Dunne G. V., Negative-dimensional groups in quantum physics, J. Phys. A 22,
1719
(1989)
[46] G.Eyink, Quantum field-theory models on fractal spacetime.I.
Introduction and overview.Commun. Math. Phys. 125, 613-636 (1989)
[47] G.Eyink, Quantum field-theory models on fractal spacetime.II.
Hierarchical propagators.Commun. Math. Phys. 126, 85-101 (1989)
[48] G. Calcagni, Quantum field theory, gravity and cosmology in a fractal
universe. arxiv.org/abs/1001.0571.
[49] G.Calcagni,Fractal universe and quantum
gravity,Phys.Rev.Lett.104:251301,2010,
https://arxiv.org/abs/0912.3142