Noncommutative 3-colour scalar quantum field theory model in 2D

We introduce the 3-colour noncommutative quantum field theory model in two dimensions. For this model we prove a generalised Ward–Takahashi identity, which is special to coloured noncommutative QFT models. It reduces to the usual Ward–Takahashi identity in a particular case. The Ward–Takahashi identity is used to simplify the Schwinger–Dyson equations for the 2-point function and the N-point function. The absence of any renormalisation conditions in the large (N,V)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\mathcal {N},V)$$\end{document}-limit in 2D leads to a recursive integral equation for the 2-point function, which we solve perturbatively to sixth order in the coupling constant.


Introduction
Consider a hexagonal lattice with three different coloured links, where at each vertex all three links carry different colours. The mathematical problem of counting the number of colourings of a lattice with N vertices was solved by Baxter [1]. A generalisation of this so-called 3-colour model as a Hermitian matrix model problem was introduced by Eynard and Kristjansen [2] and solved by Kostov [3]. Eynard and Kristjansen reduced the partition function (without external fields) to an integral over eigenvalues, which could be solved by saddle-point techniques.
Graphs in N ×N -matrix models are ribbon graphs on a Riemann surface. These ribbon graphs are dual to the triangulations of the corresponding surface. The large-N limit is dominated by planar graphs, corresponding to triangulations of the sphere. Two-dimensional quantum gravity can be formulated as a counting problem for triangulations of random surfaces, which leads to the connection between 2D quantum gravity and random matrices [4,5].
Moreover, it was proved by Kontsevich [6] that the solution of an action of the form tr(E · M 2 + i 6 M 3 ) with Hera e-mail: a_hock03@uni-muenster.de b e-mail: raimar@math.uni-muenster.de mitian matrices M and external matrix E can be mapped to a Hermitian matrix model with arbitrary potential. On the other hand the Kontsevich model proves Witten's conjecture about intersection numbers of stable cohomology classes on the moduli space of curves [7]. One particularly elegant solution technique reduced the partition function to an integral over the eigenvalues x i and observed that these integrals are unchanged under diffeomorphisms of x i generated by x n+1 i d dx i . The corresponding Virasoro constraints all descend from a master constraint which was solved by Makeenko and Semenoff [8].
Matrix models gained renewed interest in a nonperturbative approach to quantum field theories on Moyal-Weyl deformed noncommutative space [9,10]. These approaches use the matrix basis of the Moyal space and add a harmonic oscillator potential to the Laplacian [11]. The most established noncommutative quantum field theory is the 4 -model [12], which is a candidate for an exactly solvable quantum field theory in 4D due to its vanishing β-function at all orders [13]. Recently all boundary sectors of noncommutative 3 -model in {2, 4, 6} dimensions were solved exactly in the large (N , V )-limit [14,15].
In this paper we will study the noncommutative 3-colour model as a quantum field theoretical model. Roughly speaking, it is the model solved by Kostov with an additional external dynamical field E of linearly-spaced eigenvalues. Although it shares topologically some graphs with the noncommutative 3 -model [14], it has more similarities to the 4 -model [12] due to the absent 1-point function. For the large (N , V )-limit a closed integral equation for the 2-point function will be derived. In the two-dimensional case the first-order loop correction has no UV divergence so that this 2D noncommutative 3-colour model needs no renormalisation in this limit. The closed integral equation defines a recursion formula for its perturbative expansion. Absence of any renormalisation makes this recursion easy. We are able to determine perturbatively the 2-point function up to the sixth order in the coupling constant.
The action of the noncommutative 3-colour model for real scalar fields φ a with colour a ∈ {1, 2, 3} is given by where σ abc = 1 for a = b = c = a and σ abc = 0 else. Here λ ∈ R is the coupling constant, μ 2 the mass squared and the Laplacian, where independence of any colour is assumed. The Laplacian has non-compact resolvent, therefore the harmonic oscillator potential is added to achieve compactness. The Moyal -product is defined by where is a 2 × 2 skew-symmetric matrix with 12 = − 21 =: 4V > 0.
The vector space S(R 2 ) equipped with the Moyalproduct has a matrix basis f nm (x), which is the 2-dimensional harmonic oscillator basis (independent of the harmonic oscillator term in (1.1), although equality of both frequencies reduces a tensor product to a matrix product). The formulation of the action in the matrix basis is obtained from the expansion The matrix basis satisfies [16] ( Accordingly, the action in the matrix basis with an UV cut-off N is given by where (φ a nm ) are Hermitian matrices. The linear and discrete dependence of E m reflects the eigenvalue spectrum of the quantum-mechanical harmonic oscillator.

Graph computation
As a perturbative theory the noncommutative 3-colour model can be expanded by graphs. In the large (N , V )-limit taken later, all functions of genus > 0 are suppressed, which is a well-known behaviour for matrix models. Therefore we will consider only planar ribbon graphs, but we admit a nontrivial boundary structure for which we next give an alternative description.
Let be a planar ribbon graph on S 2 consisting of vertices, edges and faces subject to the following conditions: It has two different vertices, black (internal) and white (external) vertices. The external vertex is also called boundary component. The number of white vertices is B ≥ 1, and each white vertex has the valence N β for β ∈ {1, . . . , B}. The edges have one of three different colours; they separate two faces. The black vertices are of valence three. At a black vertex all three colours must occur once. We require that every face has at most one external vertex, in which case it is called external. If the β th external vertex has valence N β it is a corner of To every white vertex a weight 1 is associated and to every black vertex a weight λ. An edge is weighted by 1 1+z 1 +z 2 if z 1 and z 2 are the labels of the two faces separated by the edge.
To a graph we associate the functionG The equivalence class corresponding to the second example contains two elements, so we obtain for a = a 1

Partition function and correlation function
In the following we demonstrate the techniques to determine correlation functions from the partition function. The partition function Z[J ] of the noncommutative 3-colour model with external Hermitian matrices J a nm and a ∈ {1, 2, 3} is formally defined by The logarithm of Z[J ] will be expanded into a series of moments with different number B of boundary components. These moments are called correlation functions, which not necessarily correspond to planar graphs. The sources are cyclic within every boundary β ∈ {1, . . . , B}. For simpli-fication we use the notation J The correlation functions are then defined by , the symmetry factor is then due to the symmetry of boundaries with the same valence. The expansion coeffi- For the time being, the factor V 2−B in (3.3) is a matter of convention; it could be absorbed in G. However, as known from [14] precisely this convention leads to equations for the (N 1 + · · · + N B )-point functions which all have a well-defined large (N , V )-limit.
Due to the vanishing 1-point function for the 3-colour model, the partition function can be expanded with (3.3) to (3.4) The calculation rule for later purpose is

Ward-Takahashi identity
The Ward-Takahashi identity is obtained by the requirement of invariance of Z[J ] under inner automorphisms. For a colour model we choose a transformation as follows: The Ward-Takahashi identity following from this transformation [12,13] for p 1 = p 2 is given by (4.1) The interaction terms are certainly not invariant under the transformation of only one colour. However, the sum over all colours in (4.1) gives which has the usual form of a Ward-Takahashi identity. Equation (4.2) shows that the interaction term is invariant under the simultaneous transformation of all three colours. A crucial rôle plays a more general identity:

The generalised Ward-Takahashi identity for the 3-colour matrix model with an external field E is
be the interaction term of the action. Direct computation gives then We have used the second form of Z[J ] in (3.1) and the Leibniz rule in the last step. Technically one expands the exponential function and resums after using the Leibniz rule. Since E p 1 = E p 2 the proof is finished.
Equation (4.1) is a special case of Proposition 1 by setting b = a. The derivation of both identities is completely different. Proposition 1 can not be obtained by a symmetry transformation of only one colour due to the discrete mixing of the colours if a = b. Applying the procedure of the proof of Proposition 1, it is also possible to derive the usual Ward-Takahashi identity even in other models.
For later purpose we combine two identities to get a more useful expression: Lemma 1 Let a be fixed and p 1 = p 2 , then it follows Proof Inserting Proposition 1 for the LHS yields By the sum over the colours b, c, d, e, we obtain for the multiplication of two σ 's with one common index Therefore, the last line in (4.3) gives The first and the last term in parentheses vanish because of the total symmetry of σ abc . Adding 0 = and renaming the indices, (4.4) can be rewritten to Inserting (4.2) for n = p 1 in the first and m = p 2 in the second term gives after renaming indices finally The identity follows by combining (4.3) and (4.5).

For matrix basis
In this section we derive the Schwinger-Dyson equations with the help of Ward-Takahashi identity.

Proposition 2 The Schwinger-Dyson equation for the 2point function in the 3-colour matrix model with an external field E is for p
Proof Assuming p 1 = p 2 the 2-point function is given via definition (3.3) and expansion (3.4). Using (3.1) leads to .
Inserting the expansion of (3.4) would give the Schwinger-Dyson equation between the 2-point and 3-point function.
At first sight the application of Lemma 1 seems to make the equation more complicated. However, it yields a better behaviour in the large (N , V )-limit. The first term on the RHS of the equation of Lemma 1 vanishes by setting J to zero. Therefore, we obtain has been used and the fact that in the last two lines only colour a survives. By taking p 1 = p 2 into account and J = 0 gives with the Leibniz rule We remind that in Proposition 2 correlation functions of genus g ≥ 1 are also included. To see this one has to expand the correlation functions in a genus expansion. More information can be found in [12]. The Schwinger-Dyson equation of the 2-point function depends on λ 2 , since graphs exist only with an even number of vertices.

Proposition 3 Let N ≥ 3. The Schwinger-Dyson equation for the N -point function in the 3-colour matrix model with an external field E is for pairwise different p i , p j given by
Proof We use the definition of the N -point function for pairwise different p i , p j . With the expression of the partition function (3.1), we obtain .
Here the first derivative ∂ ∂ J a 1 p 1 p 2 applied to Z f ree [J ] yields V H p 1 p 2 J a 1 p 2 p 1 , which can only be differentiated by the interaction in Z[Z ] because of p 3 = p 1 and p 2 = p 4 . Applying Lemma 1 yields (5.1d) The first term of (5.1a) contributes only for b = a N and m = p N and the second term only for c = a 2 and m = p 3 . This generates the term proportional to λ . Line (5.1b) produces three different types of terms for arbitrary m, the ( The first term shows that a (N − 1)-point function only contributes for different adjacent colours, because of σ a 1 a N b and σ a 1 a 2 b . This fact fits perfectly with a loop expansion. Furthermore, the 2-point function is assigned with a special rôle, since the sum over m only appears for the N -point and 2-point function even in the large N , V limit.
It should be emphasised that not all combinations of the colours for the correlation functions are possible. The 2point function is of the form G aa | p 1 p 2 | and the 3-point function σ abc G abc | p 1 p 2 p 3 | . There exists no 4-point function equipped with all three colours simultaneously, and so on. These prop-erties which are first recognized by loop expansion are intrinsically presented in the Schwinger-Dyson equations.

Large (N , V )-limit
Sending N , V → ∞ with constant ratio N V = μ 2 2 , the sum is turned into an integral by the transformation of the discrete elements to continuous variables m → The eigenvalues of the external field are in the linear case given by E m = μ 2 (q + 1 2 ). To get rid of the mass squared μ 2 , we redefine in the following way An important fact is that in this limit only functions with genus g = 0 survive [12]. Furthermore, we assume that all these functions of genus zero are O(V 0 ). The perturbation theory shows that in combination with the definition (3.3) this is the right assumption (see also [14,15] is in perturbation theory well-defined, therefore this limit should also exist in the non-perturbative case. Sending 2 → ∞ the closed integral equation for the 3-colour model is obtained We have assumed that G bb p 1 p 2 does not depend directly on the colour b so that 3 b=1 G bb p 1 p 2 = 3G aa p 1 p 2 .

Perturbative solution
Using the expansion (2.1) the closed integral equation (5.2) provides a recursive equation for n ≥ 1 of the form and G aa 0, p 1 p 2 = 1 1+ p 1 + p 2 . Equation (5.3) is linear which enables a very easy way to study this model in comparison to other noncommutative quantum field theory models. The convergence of loop expansion is hopeless, since the number of graphs of order λ 2n is at least of order O(n!), however the recursive equation gives directly the sum over all graphs of a certain order λ 2n . Order n = 1 It is easy to verify with Order n = 2 Inserting G aa 0, p 1 p 2 and G aa 2, p 1 p 2 into (5.3) to obtain G aa 4, p 1 p 2 = 6 log 1+ p 1 q − p 2 (5.4c) (5.4d) (5.4a) is given by Using the definition of the dilogarithm (5.4b) is then determined by (1 + 2 p 2 ) 2 .

Conclusion and outlook
We have introduced the noncommutative 3-colour model as a quantum field theoretical model in two dimensions. We derived the Schwinger-Dyson equations of the 2-point function and the N -point functions for a single boundary component. This required a generalisation of the Ward-Takahashi identity to coloured models. This new identity seems to be related to a mixing symmetry between two colours. In the large N , V limit a closed integral equation (5.2) occurs, which is a non-perturbative result. This equation was used to find perturbative solutions up to the sixth order in the coupling constant.
The main aim for the future is to find an exact solution of (5.2) or to prove existence, if possible also uniqueness, of a solution. Furthermore, we want to extend this work to determine Schwinger-Dyson equations for B ≥ 2, where already problems arise for the (1 + 1)-point function. Finally, we would like to treat the renormalisation problems in dimension 4 and 6.