Let us start by giving the definition of the model, in the classical and quantum domains, and then quickly reviewing the Gaussian-Perturbative approximation. Consider then the Euclidean quantum field theories of an -symmetric set of scalar fields defined within a periodical cubic box of side in dimensions by the classical action
where . This is the usual form of the -symmetric model in the classical continuum, with an external source , which by assumption is a constant. The vector notation is shorthand for
and the dot-product notation represents the scalar product of vectors in the internal space, that is a sum over ,
In this action the quantity is a homogeneous external source associated with the field component. Its introduction breaks the symmetry, of course, and causes the generation of a non-zero expectation value for the field component.
In order to use the definition of the quantum theory on a cubical lattice of size with sites along each direction, with lattice spacing , we consider the corresponding lattice action
where all quantities are now dimensionless, defined by the appropriate scalings,
In order for the model to be stable we must have and, in addition to this, if then we must also have . Up to this point there are no further constraints on the real parameters and .
When possible, the summations are notated, in the subscript, by the variable which is being summed over, and, in the superscript, by the number of terms in the sum. The integer coordinates are taken to vary as symmetrically as possible around the origin , that is we have with certain values of and that depend on the parity of ,
for odd , and
for even , in either case for all values of .
In this paper we will perform the calculations of the critical line and of the renormalized masses in a situation in which we have, in terms of the dimensionfull field , for ,
and, for ,
where is a constant with the physical dimensions of the field . In terms of the dimensionless field we have for the only non-trivial condition
where the dimensionless constant is given by .
We will consider continuum limits in which we have both and . In order to do this we will choose to make increase as and decrease as , so that we still have . The calculations on finite lattices will be performed with periodical boundary conditions, with the understanding that at the end of the day such a limit is to be taken.
Observe that we are specifying the value of the expectation value of rather than the value of the corresponding external source . What we are doing here is to assume that there is some external source present such that we have the expectation value specified. It follows that one of the expected results of our calculations is the determination, at least implicitly, of the form of the external source in terms of .
Our first calculational task in preparation for the Gaussian-Perturbative calculations is to rewrite the action in terms of a shifted field, which has a null expectation value. We thus define a new field variable such that
so that we have for all , with . We must now determine the form of the action in terms of . If we write each term of the action in terms of the shifted field we get
We will now eliminate all field-independent terms, since they correspond to constant factors that cancel off in the ratios of functional integrals which give the expectation values of the observables. Doing this we get the equivalent action
where except for the kinetic part the terms have been ordered by increasing powers of the field.
The last task we have to perform, in preparation for the Gaussian-Perturbative calculations, is the separation of the action in two parts. Since the symmetry is broken by the introduction of the external sources, besides the fact that depending on the values of the parameters and it might be spontaneously broken as well, this separation involves two new mass parameters, for , and for . Note that an symmetry subgroup is left over after the symmetry breakdown. We therefore adopt for the Gaussian part of the action
where there are no constraints on the parameters introduced other than and . Note that, despite the way in which this is written, we do in fact have here just an mass term for each field component , for , and an mass term for the field component . It follows that the non-Gaussian part of the action is
which has its terms now written strictly in the order of increasing powers of the field.
Let us end this section by recalling the calculational techniques that will be involved. Given an arbitrary observable its expectation value is defined by
which is a function of , where denotes the flat measure and hence integrals from to over all the field components at all sites. The expectation values of the model are obtained for , and the corresponding expectation values in the Gaussian measure of are those obtained for . The Gaussian-Perturbative approximation consists of the expansion of the right-hand side in powers of to some finite order, around the point , and the application of the resulting expression at . The first-order Gaussian-Perturbative approximation of the expectation value of the observable is given by
where the subscript indicates the expectation values in the measure of . These expectation values are most easily calculated in momentum space, where they involve only uncoupled Gaussian integrals. Therefore, let us also recall here the transformations to and from the momentum space representation of the model. We have for the field and its Fourier transform
where the sums over are taken in as symmetric a way as possible around , just as we did for . In other words, we have with the same values of and , depending on the parity of , that were used for and ,
for odd , and
for even , in either case for all values of . The orthogonality and completeness relations of the Fourier base are given by
A typical Gaussian expectation value in momentum space, and possibly the most fundamental one, is given for a generic field component by
where is either or , depending on the field component involved, and where are the eigenvalues of the discrete Laplacian on the lattice, which are given by
This and several other expectation values, Gaussian integration formulas and lattice sums can be found in Appendix B.