2. Main Part
We will deal with the Quantum Chromodynamics (QCD) generating functional of Green functions
where
denotes the integration measure of the functional integral
over all fields
of the theory, gluons and quarks.
are sources of the fields. The symbol
J in
denotes the full set of sources
.
Within perturbation theory the QCD Lagrangian is invariant, in particular, under the combined symmetry transformations CP, where C is the charge conjugation operator and P is the space reflection.
The essence of the CP problem is that in full nonperturbative QCD one can add to the QCD Lagrangian the CP odd gauge invariant term which seems to be not forbidden from the first principles
It is C-invariant and P-noninvariant, hence CP odd. But this term is forbidden by experiments with the rather high precision.
The dual field strength tensor
in (
2) is defined in the standard way
The
-term in (
2) is invisible in perturbation theory since it can be rewritten as a total derivative
Here
is the known Chern-Simons current
The
-term can be discarded within perturbation theory since the fields decrease in Euclidean space at infinity and the total derivative (
4) does not contribute to the QCD action. But with the discovery of instantons [
9] it was realized that the field configurations with the instanton boundary conditions give nonzero nonperturbative contributions to the action. In particular, the one instanton contribution gives
The key notion here is the topological charge
where
is the Pontryagin number. The topological charge is zero for perturbative fields, i.e. in perturbation theory. But instanton fields, e.g., in the
gauge, interpolate between
and nonzero
. Here the matrix
U is the Polyakov hedgehog
For this instanton configuration one has that the Pontryagin number and correspondingly the topological charge are equal to unity
Thus the
-term gives the nonzero contribution to the QCD action.
In the full QCD, with quarks, there is also contributions to the CP odd part of the QCD Lagrangian from the imaginary phases of the quark mass matrix. The phases can be rotated away by the chiral transformations of quark fields. But there is the axial anomaly [
11,
12]. It generates noninvariance of the measure of the Feynman functional integral under chiral transformations [
13]. Therefore the phases of the quark mass matrix arise before the
term in the Lagrangian. Hence the parameter which determines the value of the CP violation is in fact
where
is the quark mass matrix.
Below we shall use the same symbol for this parameter to simplify notations.
Probably the most essential effect of the
-term is a nonzero electric dipole moment of the neutron
. The latter is given by the effective Lagrangian
where
is the photon field strength tensor,
n is the neutron field ,
is the antisymmetric product of Dirac gamma matrices.
The
-term generates the following
Here is the quark electromagnetic current. , is the photon polarization.
The matrix element in the left hand side of Equation (
12) is calculated within nonperturbative QCD. There are several methods by which
was estimated, see e.g., [
1]. The results have considerable uncertainties of the order of
because of difficulties of nonperturbative QCD culculations. But anyway the average theoretical value for
can be estimated as
This should be compared with the recent experimental value [
14]
Thus one gets an extremely strong restriction on the value of
The explanation of this practically zero value of the coupling
is the essence of a solution to the strong CP problem.
The presently popular solution to the problem is the axion solution. It assumes the addition to the QCD Lagrangian the term with the new axion field
, which reduces to the shift
. So the corresponding term
of Equation (
2) in the QCD Lagrangian becomes
After the spontaneous symmetry breaking of the global symmetry [
2,
3] one calculates the effective potential for the axion field
and finds that when the axion rests at the minimum of this porential, the CP violating term (
16) nullifies. This is the axion solution to the strong CP problem.
But first of all, the term with the axion field
in (
16) has the dynamical dimension five instead of necessary for renormalizability four. Hence it violates renormalizability of the Lagrangian. As we already have mentioned in the introduction, renormalizability is a rather important principle of Quantum Field Theory which turned out to be very successful phenomenologically. Therefore it is quite important to preserve it when solving the strong CP problem. Secondly, the axion is not found experimentally in spite of numerous experimental attemps.
Therefore we suggest a new solution to the strong CP problem which preserves renormalizability of the theory and does not involve new exotic particles like axions.
Let us again consider the QCD generating functional (
1). In perturbation theory one has the following boundary conditions e.g. for gluon fields
Here incoming asymptotic fields
contains only the positive frequency part and outgoing fields
contain only the negative frequency part:
where
,
are polarization vectors and the sums over polarizations
are assumed.
These are the Feynman boundary conditions. They are necessary to obtain the correct form of the perturbative propagator of the type ) with the correct -prescription. Thus the fields oscillate at time infinities. After transition to the Euclidean space by means of the Wick rotation the fields decrease at time infinities, so it is easy to see that in perturbation theory total derivatives in the Lagrangian are zero.
One can write perturbative boundary conditions (
17) for all fields
of QCD symbolically as follows
In our opinion, it is natural to generalize boundary conditions (
19) from perturbative fields to all fields of the theory over which the integration in the generating functional integral (
1) proceeds. Such a definition nullifies total derivatives in the Lagrangian. Thus it solves the strong CP problem. Besides this definition allows to write the complete generating functional integral as one formula:
Let us make now necessary remarks concerning the famous problem. The essence of this problem is that the mass of the flavour singlet pseudoscalar neson is surprisingly heavier than the masses of the flavour octet pseudoscalar mesons.
There is the statement [
15,
16] that instantons solve the
problem. But there is also the solution [
17,
18] of the
problem using the axial anomaly which was suggested before the discovey of instantons.