
the quantum field theory under consideration possesses polynomial CP-odd flavor-invariant
combinations of the couplings (other than θ) that can contribute to
βθ=µdθ
dµ.(1.1)
In the Standard Model the first such combination appears at a very high power in the Yukawa
couplings [6,7] indicating that, if present, the UV divergence that renormalizes θshould occur
at a prohibitive perturbative order. In view of this one may ask if such divergence exists at
all, and whether this high perturbative order is a general feature of renormalizable quantum
field theories. To better assess these questions it would be useful to find “toy” field theories in
which θdevelops a beta function at a sufficiently low order as to allow an explicit computation,
which may provide an indirect confirmation of our expectations in the Standard Model. It
is not difficult to find non-renormalizable field theories that induce divergent corrections to
θ. For example, adding cg2|H|2Ge
G/Λ2to the Standard Model Lagrangian gives the minimal
subtraction result βθ=−4cm2
H/Λ2, see [8]. However, the latter effect is power-law suppressed
and is therefore practically irrelevant in the presence of a large gap between the IR scales and
the UV cutoff. In addition, we will see there are a few non-trivial challenges that a calculation
of divergent contributions to θfaces within renormalizable theories, including the fact that the
regularization scheme adopted must be able to consistently deal with the so-called γ5problem.
In the non-renormalizable theory we mentioned above those challenges are not encountered
because the operator Ge
Gwas already present on the outset. The questions we are interested
in therefore better be addressed within renormalizable field theories. Yet, surprisingly enough,
to the best of our knowledge nobody has ever found divergent corrections to θin that context.
While no concrete renormalizable example where θgets infinitely renormalized is on the
market, there exists well-known instances in which one can rigorously prove that θis not
infinitely renormalized at any order. An example is pure Yang-Mills, where this property
follows trivially because that theory does not satisfy the necessary condition stated above:
there are no flavor-invariant CP-odd phases other than θ, and hence there is nothing that
can contribute perturbatively to βθ. The same holds for QCD with massive fermions, since
once the phases in the quark mass matrix are removed via anomalous chiral rotations of the
fermions, CP-violation is entirely encoded in θ. Another popular instance is provided by
supersymmetric gauge theories, where the exact one-loop running of the holomorphic gauge
coupling reveals that the theta angle does not run. The reason here is again the same: there
is no available CP-odd (holomorphic) combination of the other marginal couplings.
The main goals of this paper are to present concrete examples of four-dimensional renor-
malizable field theories that can induce infinite corrections to θ, as well as to identify the lead-
ing order structure of the beta function βθin any mass-independent renormalization scheme
(see Section 3); to discuss the subtleties encountered in a perturbative treatment of θas well
as to show how to concretely approach the calculation of βθin dimensional regularization (see
Sections 2); and finally to analyze the relevance of βθ(Section 4). 1
1It is worth dissipating a possible source of confusion right away. It is well-known that physical observables
must depend on a flavor-invariant combination ¯
θof the topological angle and the other couplings of the theory
(e.g. the quark masses in QCD or the Yukawa couplings in the Standard Model). In a generic field basis the
beta function of ¯
θreceives contributions from corrections to both θ, which represent the main subject of this
paper, and the other couplings as well (these latter corrections are those estimated in [6], strictly speaking).
Throughout the paper we will be mostly concerned with the basis-dependent parameter θ, the coefficient of
the topological term. The physics of the QCD parameter ¯
θwill be discussed in Section 4.2.
3