1. Introduction
The strong force of nature is described by Quantum Chromodynamics (QCD), a quantum field theory whose degrees of freedom are the fundamental quarks and gluons. These particles are not observable, but confined in composite particles known as hadrons. The hadrons are divided into classes depending on their quark content, and in the following we shall be concerned with the mesons, i.e., bound states of a quark and an antiquark. The mesons of relevance here are the pions, the kaons and the eta meson. At low energies QCD is non-perturbative, i.e., it is not possible to calculate observables systematically order by order in the strong coupling constant
. However, chiral perturbation theory (ChPT) [
1,
2,
3] is an effective field theory (EFT) of QCD valid at low energies that describes the interactions of mesons. The systematic expansion is done in powers of the momentum
and is expected to hold up to energy scales on the order of 1 GeV. Systematic is here a keyword, since one may improve the precision in a calculation by increasing the number of terms in the expansion. However, each order comes with increased computational complexity and for a prediction requires the knowledge of certain low energy constants (LECs). In the following we shall review the current status of this expansion.
The construction of ChPT is based on the approximate chiral symmetry of QCD,
which holds in the massless quark limit for
quarks. The physically relevant cases are
when one considers only the up and down quarks, and
when also the strange quark is included. In particular, one exploits the spontaneous breaking of the chiral symmetry from a non-vanishing quark–antiquark condensate
, i.e.,
and builds an effective Lagrangian
from this. The Lagrangian is Lorentz invariant and also satisfies the discrete symmetries of the QCD Lagrangian. The operators of the Lagrangian are constructed from building blocks containing the
lightest pseudoscalar mesons and external source fields, as will be explained in the next section. For the two-flavor case the mesonic degrees of freedom are the pions
and
, whereas for three flavors one has also the kaons and the eta, namely
and
.
The Lagrangian is written down order by order in powers of
and can therefore be written as
where each Lagrangian
has the form
The so-called monomials have here been denoted and are of chiral order . The coefficients are the LECs referred to earlier. As can be seen, each order introduces new LECs and in order to make numerical predictions one needs to know these coefficients. This is discussed further in the next section.
The leading order (LO) and next-to leading order (NLO) Lagrangians have been known for a long time [
1,
2,
3]. The next-to-next-to leading order (NNLO) Lagrangian was derived some time later [
4,
5]. It was, however, not until recently that the next-to-next-to-next-to leading order (NNNLO) Lagrangian was derived [
6] and calculations at this order were started [
7]. These references only consider the non-anomalous sector. The anomalous NLO case was considered in [
8,
9], and NNLO in [
10,
11]. The anomalous NNNLO Lagrangian has so far not been considered.
In the following we shall review the current status of ChPT at NNNLO, but due to the scarce literature this review will focus on the construction of the Lagrangian and the pion mass and decay constant at NNNLO. In
Section 2 the building blocks for the effective chiral Lagrangian are discussed, in particular their transformation properties under the imposed symmetries. The general ideas behind the construction of the Lagrangian are also presented, and the number of terms at NNNLO is discussed. In
Section 3 the pion mass and decay constant up to NNNLO in ChPT are introduced and discussed. In addition, minor remarks about the prospect for future NNNLO calculations are made.
2. Constructing the Effective Lagrangian
In constructing the effective chiral Lagrangian at an order
, one has to start from the spontaneous breakdown of the chiral symmetry, i.e.,
where
and
. In this symmetry breaking
generators of
G are broken, and by virtue of Goldstone’s theorem there are
associated Goldstone bosons. For ChPT these are the
lightest pseudoscalar mesons. They are associated to the elements in the coset space
[
12]. A detailed discussion of this correspondence will here be left out as it is not of central importance. The most important observation is, however, that there is choice in how to represent the Goldstone bosons and one can write down
in any such basis. The physical predictions are of course the same.
Each basis is defined in terms of building blocks that contain the meson fields as well as external fields, and when constructing the Lagrangian one should combine these buildings blocks to construct the basis monomials (For notational convenience, we hereby refer to the as monomials rather than operators. The reason is that operators constructed from the chiral symmetry not necessarily satisfy the other symmetries and therefore need to be linearly added in order to do so.) invariant under all imposed symmetries. For QCD this means chiral symmetry, Lorentz invariance as well as hermitian conjugation (), parity () and charge conjugation (). The key in constructing the Lagrangian is thus to analyze how the building blocks transform under G, and bearing in mind their respective scalings with .
Let us next consider how to construct the effective Lagrangian in some detail. Denote a general group element in
G as
and in addition let
. The meson fields are included in the building blocks
u and
transforming under
G as
It has here been indicated that both scale as
in the chiral counting. As an example of how the meson fields enter, the matrix
U can be written in an exponential parameterization according to
, where
are
generators and the meson fields are denoted
. One may therefore write
and
The external fields used to construct building blocks are scalar (
s), pseudoscalar (
p), vector (
) and axial vector (
), respectively. These are combined into
where
is a constant depending on the pion decay constant
F. One may further define field strength tensors via
and
, but these depend on the basis. For the moment, let us consider the canonical choice of [
2,
3] for the construction of the NLO Lagrangian. This choice will in the following be called the
U basis. There one has
The discrete transformation properties of the
U basis building blocks are shown in
Table 1.
In addition to the above field strength tensors one also introduces the covariant derivative acting on an operator
O constructed from the building blocks in the
U basis according to
The covariant derivative has chiral order p and as can be seen transforms differently under G depending on the operator O. As will be discussed further below, this requires special consideration for the generation of chirally invariant monomials including , which in particular is something that one may want to avoid for higher order Lagrangians.
Knowing the building blocks in (
5)–(
9), it is now possible to derive the various chiral Lagrangians. The steps in doing so are
- 1.
Write down all possible operators satisfying chiral symmetry and Lorentz invariance,
- 2.
Create linear combinations of these operators into monomials such that , and are satisfied,
- 3.
Eliminate equivalent monomials which are related by certain operator identities.
The first point is done by combining the building blocks for a given chiral in all possible ways. In practice this means taking flavor space traces of, and products of traces, of products of building blocks. The resulting structures do not necessarily satisfy the discrete symmetries, and one must in general create linear combinations of the generated operators, i.e., the second step is required, and monomials satisfying the discrete symmetries are obtained. The final remark here is particularly important. Following the first two steps one creates an initial number, , say, of monomials. However, these monomials can be related via a set of relations, which for ChPT up to NNNLO are
- 1.
LO equations of motion, or, equivalently, field redefinitions [
11,
13],
- 2.
Integration by parts (IBP) identities,
- 3.
The Bianchi identity,
- 4.
Specific operator identities such as commutation relations of covariant derivatives,
- 5.
–specific relations from the Cayley–Hamilton theorem.
Beyond NNNLO, one will also have to include other relations. An example is the so-called Schouten identity [
14], stating that it is impossible to create a completely antisymmetric tensor with more indices than the number of dimensions (At NNNLO one can in principle have up to eight Lorentz indices. However, due to Lorentz invariance, there can be no more than four independent indices. As a consequence, in four dimensions the Schouten identity only gives monomial relations starting from order
). The relations will for simplicity not be discussed in detail here, but are reviewed thoroughly in [
6]. Each of them is linear, and together the linear equations form a system of linear equations. This can be written
where
is a matrix of coefficients which when acting on the vector
of
monomials
gives
relations. In other words, the matrix has size
. Each relation gives the option to replace one monomial by a linear combination of the others, i.e.,
. The specific relations are, however, not necessarily independent. Therefore, one has to find a set of linearly independent relations and for this purpose one can use Gaussian elimination in (
11). It follows that
and from here a minimal basis is obtained, i.e., the number of LECs and hence monomials has been minimized. In case this minimization is not performed, the number of redundant operators may be very large. For instance, at NNNLO the basis for a general
shrinks from
to
(see the next section). However, the LECs in such a basis of course combine such that only linear combinations corresponding to the LECs in the minimal basis appear.
An important point regarding the minimality of the operator basis must also be made. It is in general hard to know that a minimal basis has been obtained and the above method works as long as all relations are known. It also provides a computationally straightforward way of attacking the problem. One method guaranteed to find a minimal basis is based on constructing all possible Green’s functions in order to determine LECs. This is discussed in [
15] for the NNLO Lagrangian. A final point to make here is that it also is possible to use a so-called Hilbert series approach, see [
16], but this will not be discussed further in this review as it has not been applied at NNNLO. Naturally, all approaches must give the same number.
2.1. The Lagrangians of Chiral Perturbation Theory
Following the above prescription with writing down a linear system of relations between monomials, one can start deriving the chiral Lagrangians. At LO there are only three possible monomials to write down. In the
U basis one readily finds
where
denotes the trace in flavor space. The third monomial left out here is
, and was eliminated by IBP.
The same procedure can be used at every order in the chiral expansion, but two interesting features appear at NLO. First of all, it becomes possible to write down so-called contact terms, i.e., terms without dependence on the meson fields. These terms are not physical but still appear at every order. Examples of contact terms at order
are
In the first of these one sees that also products of traces can contribute to the Lagrangian. The second example is particularly interesting as it highlights how linear combinations of separately chirally invariant operators must be linearly combined to satisfy
,
and
. This can also be seen in (
13).
In addition to the existence of counterterms, the size of the minimal basis depends on . The reason comes from the Cayley–Hamilton theorem which states that the matrices satisfy their own characteristic equation. The products of building blocks in the monomials therefore also satisfy this, and one obtains different numbers of relations for and , as mentioned in the previous section.
The
U basis is not necessarily the most suitable choice for higher order Lagrangians. The reason is that the building blocks all transform differently, i.e., it is not possible to generate all chirally and Lorentz invariant operators by creating a list of all possible permutations of building blocks. An alternative to the
U basis is the
u basis, where the building blocks are
As can be seen, each of the building blocks transforms in the same way. As a consequence, taking the flavor trace of any combination of building blocks will automatically be chirally invariant. One also defines a covariant derivative
according to
where
O is any operator transforming as
. Evidently, this covariant derivative has a much simpler form than
in (
10). Discrete transformation properties of the building blocks for the
u basis can be found in many places, e.g., in [
6], and are therefore left out here.
The LO Lagrangian in the
u basis is given by
Note that there are no covariant derivatives appearing here, since no Lorentz invariant terms of order including can be written down. Also, no linear combinations of operators are needed for the discrete symmetries at LO.
The number of terms and hence LECs in the minimal basis for each order up to NNNLO is presented in
Table 2. The number increases rapidly, but the contact terms still remain few. An interesting question is how many terms appear when one removes external fields. There are three cases, the first where only
are kept, the second where only
remain and the third where no external fields appear. The numbers are presented in
Table 3. Comparing this to
Table 2, one sees that the number of terms reduces drastically with the exclusion of external fields. The case with only
is interesting for the calculation of the masses and decay constants in the isospin symmetric case, as will be explained in the next section. An example of the NNNLO Lagrangian is given in the supplementary material of [
6].
2.2. The Predictivity of Chiral Perturbation Theory
The predictivity of ChPT relies on the knowledge of the LECs appearing in the Lagrangian. Disregarding contact terms in the Lagrangian, at NLO the LECs are the
and
for the three-flavor and two-flavor theories, respectively [
2,
3], and are of course divergent. Through renormalization one obtains the finite and scale dependent parameters
and
, where
is the renormalization scale, which are the values needed for predictions starting at NLO. It is possible obtain values for them e.g., from experimental data by making fits, from large
or vector meson dominance approaches [
17,
18,
19,
20,
21].
The renormalization of the NNLO LECs was performed in [
22]. The LECs there are denoted
for
and
for
, and the renormalized values are not known at all as well as the NLO LECs. However, certain combinations of the LECs can be constrained, such as in [
19] where combinations in
scattering were estimated with resonance saturation.
At NNNLO, the only renormalization so far performed is for the two-flavor case and can be found in [
7]. As is explained below, two combinations of NNNLO LECs show up for the pion mass and decay constant. By using the results from [
2,
22] and that physical quantities are finite, the two NNNLO combinations could be renormalized in [
7]. It would of course be interesting to perform the full renormalization at NNNLO. However, a natural question is how feasible it would be to actually obtain numerical values for the renormalized LECs at NNNLO, especially seeing the status for the NNLO LECs.
An additional important source for LECs not discussed above comes from lattice gauge theory. On the lattice, quark masses can be varied and if one considers the ChPT predictions as functions of these parameters one can obtain information not available from experiments. For a review of the current status of obtaining LECs from the lattice, see [
23].
3. The Pion Mass and Decay Constant
Two quantities of fundamental interest in ChPT are the pseudoscalar masses and decay constants. These quantities can be calculated order by order in the chiral expansion. At NLO this requires a one-loop computation, at NNLO a two-loop one and at NNNLO it means three-loop diagrams also have to be included. For
, several mass scales occur which make the loop integral calculation substantially harder. The NLO quantities were calculated already in [
2,
3] and at NNLO in [
19,
24,
25,
26,
27,
28]. The pion mass and decay constant were calculated at NNNLO for isospin symmetric two-flavour ChPT in [
7], but are hitherto unknown for
due to the lack of knowledge of the appearing three-loop integrals. For further discussion of this see
Section 3.1. Below, we discuss the NNNLO results.
The pion mass and decay constant are expanded order by order according to
where the physical pion mass
is defined as the pole of the propagator and
is the physical decay constant. The contributions to the physical quantities at order
have here been denoted
and
, respectively. These can be calculated from the definitions of the physical quantities, i.e.,
where Σ is the two-point function consisting of all amputated one-particle-irreducible diagrams, and
is the axial current. The
and
take the forms of polynomials in chiral logarithms according to
Here the chiral logarithm is
,
and
are constants depending on the LECs. The leading logarithmic coefficients
can be determined without knowing the higher order Lagrangians and are known up to six-loop order [
29]. For massless
and
models, the leading logarithms are known to any order [
30]. That the leading logarithms can be calculated from one-loop diagrams only is true for any non-renormalizable theory [
31].
Since the NNNLO Lagrangian only contributes at tree level, the NNNLO LECs cannot multiply a chiral logarithm. Therefore, they only appear in
as two renormalized linear combinations
and
. As was remarked in the previous section, these combinations have no known numerical values. However, at least from
Table 3 it can be deduced that at most 122 LECs enter into the combinations. For the
also NLO and NNLO LECs appear. The
have known values, but not all the
. It is possible to rewrite some of the
in terms of specific combinations appearing in
scattering, whose numerical values were estimated in [
19]. The unknown
needed for the mass and decay constant at NNNLO are
- 1.
Mass: ,
- 2.
Decay constant: , , , , , .
Despite not knowing these LECs, the authors of [
7] performed a small numerical study in terms of the quark mass dependence through
, where
is the isospin symmetric quark mass. All unknown parameters were put to zero. The result is shown in
Figure 1. There one can see how the the different orders in the chiral expansion compare. Around the physical point
the contributions are in agreement, as they should. For the decay constant one sees that the NNNLO curve deviates drastically from the other two for higher quark masses. This comes from a very large
, which in turn is an artefact of a large term from the loop calculation,
. Whether or not this large number persists once the unknown
are known is impossible to say, but for them to give
of a natural size, say ∼1–10, one would need
, where
1–10, which indeed is not impossible.
As a final remark, the analytic formulae for the pion mass and decay constant may of course be used for fits to lattice data in the future. In such a study it can be investigated how sizable the NNNLO corrections are.
3.1. Beyond the Pion Mass and Decay Constant
The pion mass and decay constant are fundamental quantities to study in ChPT. It would, however, also be interesting to go beyond these at NNNLO. One possibility would be to consider meson–meson scattering such as . The NNNLO Lagrangian again only contributes at tree level and could be used for both and .
The main problem would be the loop integrals from diagrams with vertices from lower order Lagrangians, but in contrast to the pion mass and decay constant already the
case might require the knowledge of unknown so-called master integrals. A set of master integrals can be used to generate other integrals via e.g., integration by parts or Lorentz invariance identities, i.e., the loop integrals appearing in a given calculation are functions of the master integrals. To reach such a set of master integrals one can use software such as FIRE [
32], Kira [
33] or Reduze [
34]. These reduction programs are all based on implementations of a Laporta algorithm [
35] which in practice orders integrals based on how complicated they are and chooses the most simple ones.
In scattering the master integrals would already for stem from integral reduction of e.g., three-loop topologies with four external legs which may or may not be known. For the integrals would, just as for the mass and decay constant, contain several mass scales in the loop integrals, thus making the problem even harder. As mentioned earlier, this is the reason why the mass and decay constant only are known for .
In conclusion, the future of ChPT at NNNLO relies on the knowledge of sets of master integrals which are both process and dependent. Note that several of these integrals already might be known, something which has to be checked on a case-by-case basis in future calculations.