Spontaneous Symmetry Breaking in Tensor Theories

In this work we study spontaneous symmetry breaking patterns in tensor models. We focus on the patterns which lead to effective matrix theories transforming in the adjoint of $U(N)$. We find the explicit form of the Goldstone bosons which are organized as matrix multiplets in the effective theory. The choice of these symmetry breaking patterns is motivated by the fact that, in some contexts, matrix theories are dual to gravity theories. Based on this, we aim to build a bridge between tensor theories, quantum gravity and holography.

A more general scenario will presumably involve interaction terms that would take the theory out of its large N solvability. In order to tackle generic tensor theories other techniques will be necessary. It is likely that the addition of interaction terms could provide theories with spontaneous symmetry breaking (SSB).
The purpose of this paper is to kinematically explore the vacuum in tensor theories. For this, we study SSB scenarios, especially when they lead to effective (multi-)matrix theories transforming in the adjoint of U (N ), which are the Goldstone bosons. The choice of such SSB patterns is mainly motivated by the fact that matrix theories are related to quantum gravity and holography.
Instead of aiming to fully solve the tensor theory, in this work we shall initiate the programme of studying the effective (matrix) theory arising from SSB. Assuming that at low energy the Goldstone bosons associated with SSB are the only massless degrees of freedom, the dynamics of the tensor theory could be handled in terms of matrix theories. Actually, constructing phenomenological actions for Goldstone bosons has been very successful, for instance the chiral symmetry breaking in QCD. Conversely, it could be the case that computations in a given matrix theory are hard but the uplifted tensor theory is easier to handle.
Matrix fields have been proven to furnish a dual description [31][32][33][34] of a quantum gravity theory. In this work, we see how matrix fields come up as effective degrees of freedom of a tensor theory. It is reasonable to think that the tensor theory could actually be describing the same dual theory, although at a higher energy regime. Schematically,

Tensor Theory
Dual theory (higher energy)?
Matrix Theory Dual theory The main result of the paper is (4.42) with (3.10). It encompasses the identification of the matrix fields as multiplets of Goldstone bosons which come from SSB, together with the choice of the parameter which induces and specifies the SSB pattern. Explicitly, where B α,k (x) are N × N -matrix fields transforming in the adjoint of U (N ). There will be several matrix fields labeled by (α, k ), the meaning of which will be explained later. The tensor parameter which induces SSB is v i 1 ...i d j 1 ...j d , and (σ, σ ) are the only two permutations which are sufficient to specify the pattern. The tensor field is denoted by Φ i 1 ...i d j 1 ...j d (x). As usual in color tensor theories [1][2][3][4][5], there is a different U (N ) symmetry group associated to every index. The full symmetry group will be defined as G dd (N ) = d k=1 [U k (N ) × Uk(N )]. In this work we will not consider any definite form of the interaction potential. Instead, we will assume that there exists theories that present SSB patterns into diagonal subgroups of G dd (N ).
In the classical example of chiral symmetry breaking, the scalar field is Φ i j (x), the pattern is U (N ) L × U R (N ) into the diagonal subgroup U (N ), and the v tensor is v i j = vδ i j [35]. Unlike chiral symmetry breaking, the SSB patterns for tensor models present a much richer structure. Because of the tensor nature of the field Φ i 1 ...i d j 1 ...j d (x), the generalization of the chiral symmetry breaking will correspond to the different diagonal subgroups that can be made by suitably splitting G dd (N ). Accordingly, each SSB pattern is associated with a partition of d.
The SSB patterns into the diagonal subgroups are induced by the invariant tensor v. If we wish to break into diagonal subgroups, the tensor v should be a linear combination of a product of d Kronecker deltas. There are d! different delta monomials (driven by all possible permutations of d indices) and a linear combination v would, in principle, involve all of them. This would be the natural generalization of the choice v i j = vδ i j for chiral symmetry breaking. Remarkably enough, the suitable choice of only two monomials, as in equation (3.10), can induce whatever SSB pattern of the type we are interested in, and it holds for tensor theories of any rank.
The above statement is rigorously proven in section 3.2. For that, we first note that a single delta monomial in the -term halves G dd (N ) into diagonal subgroups. The linear combination of two (or more) different monomials reduces the remaining symmetry group even more, to the intersection among the subgroups associated with each monomial. These observations, inspired us to build diagrams that represent the intersection of the groups that result from the combination of two delta monomials. Conversely, from a given diagram one can read off the two constituent monomials, and its SSB pattern. It turns out that any SSB pattern can be realized in the diagrams. Therefore, any SSB can be induced by only two monomials (3.10).
In order to explore the SSB patterns and, more importantly, to identify the Goldstone bosons as in (4.42), we introduce the -term technique in the path integral for tensor theories. As in the classical examples [36,37], the role of the -term in tensor theories is to restrict the symmetry of the vacuum. Besides, it allows us to derive the Ward-Takahashi (WT) identities, which relate different Green functions of the theory with SSB. The WT identities reveal the explicit form of the Goldstone bosons in terms of the 2d-rank tensor field Φ(x).
There is an increasing interest in clarifying the role of tensor theories in the context of holography [21,38], see also [10] and references therein. We hope that the study of SSB in tensor models helps in this direction. Moreover, in more general terms, SSB could be also implemented in theories which are known to be solvable in the large N . The theories do no need to be perturbatively stable, they just require the existence of stationary points of the potential, see, for instance, section 19.3 of [39] and p. 246 of [40]. There is no need, either, for the symmetry group to be unitary. Actually, since SYK involves real fields, O(N ) theories are becoming popular. As a remark, there is a resemblance between the zero temperature limit of certain O(N ) theories [41] and the material presented in this paper.
The paper is organized as follows. As a warm-up, in section 2 we introduce the -technique by reviewing the complex scalar case and its kinematical SSB [36]. We also fix the notation and conventions we will use throughout the paper. In section 3 we explore the SSB patterns which lead to diagonal subgroups of G dd (N ); we introduce the "intersection-diagrams" which correspond to the different SSB patterns; and in section 3.2, we use the diagrammatic correspondence to prove the statement that leads to equation (3.10). In section 4, we develop the general formalism of SSB in tensor theories. We implement the -term technique in these theories as a generalization of the method applied for the scalar field, reviewed in section 2. As far as we know, this has not been reported in the literature yet. Using this formalism (in particular, the WT identities), we identify the Goldstone bosons associated to a particular SSB pattern and we present our main result in equation (4.42). The classical example of chiral symmetry breaking is treated in our formalism in section 5.1. In order to illustrate the general treatment in a less trivial case, we present the 4-rank tensor example in section 5.2. After the conclusions, in appendix A, we show an example of how this formalism applies to other symmetry groups and different SSB patterns. In particular, by minimizing the potential, we find the SSB patterns and derive the Goldstone bosons in the model with tetrahedral interaction [42].

General setup
As a warm-up we will first review SSB in the case of a complex scalar field [36]. We shall show the -term technique in the path integral to induce SSB. It allows us to identify the Goldstone boson by means of the WT identities. The technique has a straightforward extension to higher rank tensor theories.

Complex scalar field and its SSB
For the study of the SSB in the complex scalar field theory we will require an action invariant under the phase transformation being α an arbitrary real constant, i.e., with L the Lagrangian. In order to derive the WT identities for the SSB we define the generating functional where the functional integration is restricted to a vanishing field at infinity. We suppose that the measure is also invariant under (2.1), and N = Z[0, 0]. In contrast, we could define the generating functional with different boundaries conditions, i.e., with a constant field at infinity. This change in the usual boundary conditions leads to the SSB. In order to implement the boundary conditions in the path integral we can define the new generating functional Z [J, J], where the limit → 0 is understood at the end of a given calculation and N = Z [0, 0]. To elucidate the role of the -term let us specialize (2.4) on the Lagrangian The generating functional in this case can be computed as where Z 0, [J, J] is (2.4) with the free Lagrangian. Now we can solve the integral using the condition of stationary phase for the free action. Proceeding in the standard fashion we define Φ( Now (2.4) takes the form (2.8) Notice that Φ(x) = v and Φ(x) = v for the free theory, while for the interacting one the only claim we can make so far is Φ(x) = 0 and Φ(x) = 0. The subindex in the expectation values indicates that they are taken with respect to Z [J, J].
For obtaining the WT identities we make use of the invariance of the generating function (2.4), under the transformation (2.1). After implementing (2.1) in the generating functional, we compute and we obtain We will identify the Goldstone bosons by doing certain linear combinations of derivatives of the form (2.9). This way the expressions are easily generalizable to the non abelian and higher rank tensors cases. Defining the combinations and 14) we can rewrite (2.12) and (2.13) in a more suggestive form and The full propagator, considering the interactions, in (2.16) is given by e ip·(x−y) + (regular contributions), (2.18) where we have assumed at first that the B(x) field could be massive, and Z B and a B are renormalization constants. Now, we plug the propagator (2.18) in (2.16). After integration, (2.16) reduces to Now, since we assume that the one point function does not vanish, we immediately conclude that m B = 0. The field B(x) is the Goldstone boson associated to the broken symmetry (2.1). This way we have illustrated how, when SSB occurs, the Goldstone boson is identified using the -term technique.

Conventions and notation
The theories we are considering in this paper are built on bosonic 2d-rank tensors, A field with one index downstairs will transform under U (N ). For convenience we define the conjugate field with the index upstairs, which will transform under the same U (N ). The transformation law will be Note that, with this convention, the field conjugate Φ will transform with the transpose conjugate 1 .
1 The transpose conjugate of g i j is (g † ) j i . It is worth checking up the consistency of (2.22) and (2.23), This way, the contraction Φ · Φ = Φ i Φ i is invariant under U (N ). Note that if we had associated the field and the field conjugate both with the index downstairs the transformation law for the conjugate field would have been g instead of g † . If the index of the field is upstairs, then the field and conjugate field transform as so, Φ i Φ i is also an invariant. With this notation • Upstairs indices always transform with the adjoint matrix.
• Contractions are always between downstairs and upstairs indices. The matrix multiplication is shown in the transformation laws above.
For a field with two indices we will have Notice that g 1 and g1 are two different elements, which belong to two different groups. We could have called them g 1 and g 2 , for instance, but we find the notation "1" and "1" convenient for the cases where more indices are involved. With this transformation law the contraction . The fields that we will consider are, in general, higher rank tensors Φ i 1 ...
with (g 1 , . . . , g d , g1, . . . , gd) an element of G dd (N ). Again, the contraction (2.28) Apart from the invariance under the gauge group G dd (N ), the details of the Lagrangian are irrelevant in the present discussion. We will assume that whatever the Lagrangian is, it allows SSB. We will apply the same methodology as the scalar case, treated in section 2. The path integral of the tensor theory is written as and where the dot indicates full contraction of indices, The interpretation of (2.29) is standard, the external source fields which are used to extract the Green functions from (2.29) via derivation. For = 0 the theory enjoys the full symmetry G dd (N ). For = 0, the term |Φ(x) − v| 2 is chosen so as to break the G dd (N )-symmetry, to induce SSB. After the calculation we take the limit → 0. The tensor v i 1 ...i d j 1 ...j d is not spacetime-dependent. It may be thought as the boundary value of Φ(x) at infinity. When SSB occurs, the different degenerate vacua that the theory presents correspond to different choices of v. The effect of the -term is to pick a particular vacuum of the theory. As said above, we are assuming that the Lagrangian presents SSB, which in this discussion means that the field configurations allow a non-zero v value at infinity.
In this paper, we will be interested in G dd (N )-invariant theories that spontaneously break into different patterns. The different choices of v and their relation with the several patterns of symmetry breaking will be clarified in the next section.

Symmetry breaking patterns
Different choices of v in the -term lead to different symmetry breaking patterns. For instance, if v = 0 there is not symmetry breaking whereas for a generic v the whole group G dd (N ) gets spontaneously broken and there is no remaining continuous symmetry 2 . We will explore the choices of v that induce SSB into diagonal subgroups of G dd (N ). The general idea is that v must be an invariant of the subgroup we wish to break into. In this paper we are studying the patterns where each H α is a tensor product of 2n α different unitary groups (n α barred and n α unbarred) such that Be aware that each SSB pattern is associated with a partition of d elements with ω parts, ω α=1 n α = d. Notice, as well, that Diag[H α ] is a unitary group and it will often be denoted U α (N ) along this paper. The SSB into the full diagonal group . The number of Goldstone boson that will result after a symmetry breaking G → H is counted by subtracting the number of generators of the initial and remaining symmetry groups, For the choices (3.1) the invariants under the corresponding subgroup can be constructed using Kronecker deltas. Thus, in general, will induce SSB into any G ω (N ) for suitable v σ parameters, where To make the former statement clearer we will examine three examples; the case d = 1, In the path integral, the -term is of the form vΦ. We wish to know which subgroup of G dd (N ) the -term is invariant for a given v.
It is clear in this simple case that the -term, hence the path integral, is only invariant under the diagonal U (N ) subgroup of G 11 (N ), i.e., This tells us that the choice v i j ∝ δ i j induce SSB into the diagonal subgroup of G 11 (N ). We would like to stress that the role of δ is to link two indices, up and downstairs, which results in the identification of U 1 (N ) and U1(N ).
In the case of d = 2, the choice v i 1 i 2 j 1 j 2 ∝ δ i 1 i 2 j 1 j 2 will make the -term invariant under the group (3.7) Using the notation (2.21), a general element of where a general element of G 2 (N ) can be written as (g, h, h, g). The next step is to consider the linear combination v i 1 i 2 The -term will be invariant under the intersection G 2 (N )∩G 2 (N ), whose general element is (g, g, g, g), that is, an element of G 1 (N ).
In terms of v σ the simplest cases to study are breaking patterns into G d (N ). There are many different v's which make that job, one for each monomial where d R is the dimension of the irrep 3 R of S d , R d tells that the Young diagram R has n boxes and l(R) is the number of rows of R. Formula (3.9) counts the number of linearly independent monomials for any N . However, the interest is usually focused on large N theories. In these cases, the condition l(R) ≤ N is fulfilled and the sum (3.9) is always d!.
If we wish to induce SSB into any other subgroup of the type G ω (N ) we need to consider a sum of monomials as indicated in (3.4). We shall see that there is a minimal choice of v for any symmetry breaking pattern. Specifically, and this is one of the main results of the paper, we are showing in the next sections that v built on just two summands in (3.4), appropriately chosen, induces any pattern of SSB in (3.1). For this purpose we will present a visual diagrammatic correspondence between the choices of v and the SSB patterns.

Diagrams
As commented above, the role of delta monomials is to identify up and downstairs groups. This suggests the following diagrammatical correspondence . (3.11) For d = 2, the two deltas that yield to the different symmetry breaking patterns shown in (3.7) and (3.8) can be mapped into the diagrams (3.12) As said before, the linear combination of deltas comes along with the intersection of the groups that each delta induces. Precisely, it is when considering intersections where the diagrams will show their usefulness. Diagrams representing intersections, which will be called "intersection-diagrams," are constructed by concatenation of two diagrams of the type (3.11), and then joining the equal elements upstairs and their "bar" counterparts downstairs. This is exemplified in Fig.1, which represents the intersection of two monomials for d = 2. The diagram of Fig.1 displays just one cycle, which is in correspondence with the only U (N ) group that results from G 2 (N ) ∩ G 2 (N ). This is not a coincidence. It turns out that the cycle structure of the intersection-diagrams 4 corresponds with the different symmetry breaking patterns. Therefore, the number of cycles of the diagram will be ω in the remaining group G ω (N ). This statement will be expanded in the subsequent paragraphs.
As a consistency check of the diagrammatic correspondence, let us see how it works when v is just one monomial, say, v i 1 i 2 This choice breaks into the group G 2 (N ) in the equation (3.7), which corresponds to the first diagram of (3.12). Trivially, v may be written as the sum . On the one hand, we have two (same) monomials. In this case the sum is interpreted as a SSB term to the group G 2 (N ) ∩ G 2 (N ). On the other hand, using the rules of the intersection discussed above, we get the diagram in Fig.2, which is a diagram with two cycles.
This tells us that the remaining symmetry group is G 2 (N ), in perfect agreement with Let us discuss the case d = 3. As we show in Fig.3, for different choices of σ and σ the diagram will display different cycle structures, which are not shown in Fig.3 because σ and σ have not been specified yet. We will explore some explicit examples in the following.
. In Fig.4 we show the diagram of d = 3 where σ is the identity and σ is a transposition. The identity induces the SSB into A detailed description of the symmetry breaking pattern is written in the second line of equation (3.15). Note that this information is encoded in the diagram in Fig.4 and can be easily read off. As a last example, we will regard the d = 3 with σ = (1)(23) and σ = (12)(3). The monomial with the permutation σ induces SSB into Whereas the monomial with σ = (12)(3) leads to . Figure 5. Intersection-diagram corresponding to σ = (1)(23) and σ = (12)(3). It displays only one cycle, which indicates that it breaks into the diagonal group.
For this case the SSB into the diagonal group is in perfect agreement with the diagram in Fig.5 which shows only one cycle.
With these examples we have shown in detail how a particular SSB pattern is associated with an intersection-diagram. Moreover, for G ω (N ), ω = number of cycles of the intersection-diagram. (3.19)

Parameter space of SSB
Now, using the intersection-diagrams we can prove the statement leading to (3.10). That is, there exists a minimal choice of v for any symmetry breaking pattern, namely, two summands. Be aware that because two deltas fix uniquely the intersectiondiagram, in order to complete the proof it is sufficient to see that for an arbitrary SSB pattern there is always (at least) one intersection-diagram associated to it. Note that any SSB can be associated to a partition of d, given by the n α values. However, the choice of a partition does not specify completely the SSB pattern.
In order to associate an intersection-diagram to (3.1) we should proceed as follows. First, we draw a plain (with no numbers) diagram (3.20) Second, we draw in the diagram the cycle structure associated to a given SSB pattern, which can be read off from the set {H α }. For each of the ω H α groups we join n α slots from the LHS of (3.20) with n α slots of the RHS of (3.20) in a single loop. This turns (3.20) into a plain cycle-structured diagram with closed loops. We would like to emphasize that such procedure always fully connect the plain diagram. This happens because n 1 + n 2 + · · · + n ω = d is a partition of d, and the groups H α do not intersect each other, as stated in (3.2). The next step is to complete the diagram by writing the subscript of each element according to the given SSB pattern. For this purpose we focus on the cycle associated to H α and write, as subscripts, the labels of the different unitary groups H α contains. For instance, if n α = 2, we have the generic group Then the labelling process on the cycle of the diagram corresponding to H α can be chosen as A complete intersection-diagram is obtained by applying the same labelling prescription to each H α . Now, the two delta monomials (3.10) can be read off from the full diagram. This concludes the proof.
As a remark, notice that the process of labelling is not unique. In general, there will be several pairs of deltas that would induce the same SSB pattern. This fact does not affect the conclusion of our argument since the aim is to show that any SSB pattern can be induced only with two parameters, as in (3.10).
As a second remark, from the two permutations σ and σ in (3.10), there is a straight way of reading the partition associated to a SSB pattern, which is a valuable information of the SSB pattern. As seen in this section, the partition of the SSB pattern is in correspondence with the cycle structure of the intersection-diagram. Now, it is interesting to read the intersection-diagrams as a composition of permutations. To make this point clearer let us picture the composition of two permutations that we used in the examples in Fig.4 and Fig.5 σ −1 · σ = respectively. Note that the compositions pictured in (3.22) can be traced in the diagrams. The composition is realized as we follow a path starting on the upper right side of the diagram, move downstairs, then towards the left side and ending on the upper left side of the diagram. From this observation we conclude that the cycle structure of the diagram coincides with the cycle structure of the permutation σ −1 · σ. Recall that the cycle structure of a permutation is indeed a partition [43].

Matrix fields as Goldstone bosons
The next step in our discussion is to identify the Goldstone bosons associated to a certain SSB pattern which, as discussed in the previous section, is induced by a non-vanishing v. To this aim we will derive the so-called WT identities which are identities among Green functions that arise from the path integral (2.29) with the -term above defined. This will be a generalization of the method exposed in section 2.

Identities from the symmetry of the path integral
where T a are the generators of the algebra u(N ). The labels k andk have been added to indicate the slot in the tensor indices the element g k is acting on. The algebra u(N ) is generated by t a which denote the generators of su(N ) plus the identity, i.e., T a = ( 1 √ 2N 1, t a ). We will also choose the generators normalized as Tr(T a T b ) = 1 2 δ ab . We now proceed to apply the invariance of the path integral under the field change. With the parametrization (4.1), it is expressed as where k andk refer to the 2d transformations which lead, for θ k a , to the collection of identities and, derivating with respect to θk a leads to We have used the notation and the shorthand notation for * = k,k, For later convenience, let us define As we will see later on, the fields B k a (x) and Bk a (x) are indeed the Goldstone bosons, intimately related to the matrix modes. The Goldstone boson definition (4.8) is a general result, which holds for any Lie group of symmetry.
When we consider SSB into G ω (N ) as in (3.1) there will be ω constraints. These constraints appear as we perform the transformation of the field according to the Now, let us apply the transformations of the diagonal group defined as for elements g of the diagonal action of U (N ) on Φ. The transformation (4.10) and the subsequent derivations (4.2), but in this case with θ 1 a = · · · = θ d a = θ1 a = · · · = θd a = θ a , where we have used the property T † a = T a . Be aware that no terms depending on do appear in the equation (4.12) in contrast to equations (4.4) and (4.5). This happens because we are assuming that for certain shapes of v, as discussed in section 3, the term |Φ(x) − v| 2 is invariant under the diagonal transformation. The nonappearance of the -term is common for other SSB patterns, since it only reflects the fact that the -term is invariant under the remaining group.
Using (4.4) and (4.5) we can rewrite the constraint (4.12) as d k=1 which must be satisfied for all Φ andΦ and ∀a. Using the definition of the Goldstone bosons (4.8), the constraint (4.13) reads Notice that (4.13) imposes strong restrictions on v. The invariant tensors v considered in section 3 for SSB into the diagonal group fulfill equation (4.14), which can be taken as a consistency check. In section 4.4 we show, for a generic SSB (i.e., a generic v), how constraints of the type (4.14) are fulfilled.

The Ward-Takahashi identities
Here, we have written F (Φ) = F (Φ) J=0, . Now, following the steps of the previous example of the scalar field, we will take linear combinations of differential operators as in (2.11), We now apply the product rule of generators of U (N ) where f abc are the structure constants, and d abc is a totally symmetric tensor.
where we have used the notation of (4.7). The addition operator in (4.16) applied on (4.4) leads to the WT identity where we have defined

The Goldstone modes
We have named the fields B k a (y) and Bk a (y), defined in (4.8), Goldstone bosons. We should check, however, that they are massless. We are going to argue that this is the case using similar arguments as in section 2.
In momentum space, the propagators that appear on the RHS of (4.20) are written as 23) where Z B k a and a B k a are renormalization constants. Now, because of the term e −ip(x−y) in (4.23), the integral over x appearing in (4.20) picks a pole at p = 0. As in the scalar case, the LHS of (4.20) is non-vanishing 5 . So, the limit → 0 of the RHS of (4.20) has to be non-zero. It implies that B k a (x) is massless. That is, which is nothing but the Goldstone theorem: when the symmetry gets spontaneously broken, to each broken generator corresponds a massless modes.

Linear (in)dependence of the Goldstone modes
For a generic SSB pattern ω α=1 Diag[H α ], we will have ω constraints given by the ω equations (4.9). In terms of the Goldstone bosons, those equations are is a reorganization of the labels, related to the partition ω α=1 n α = d. Notice that equation (4.14), for the full diagonal group, is a particular case of (4.25) when ω = 1.
We are going to see that (4.25) are automatically satisfied provided which, as we are going to show, is a consequence of the definition of the Goldstone bosons (4.8).
Each of the equations of (4.27) is associated to a diagonal group Diag[H α ]. So the discussion will focus on a particular H α (or equivalently, a single cycle in the intersection-diagram of length n α ).
In order not to overload the paper with notation we will consider the case n α = 3 for a given α. Without loss of generality the cycle of length 3 in v under consideration can be chosen where the indices 4, . . . , d correspond to the other diagonal groups in ω α=1 Diag[H α ], and appear in the rest of the equations of (4.27).
According to the definition (4.8) and the choice (4.28), the Goldstone bosons are The constraint equation for the group Diag[H α ] is This equation is automatically fulfilled from (4.29). The cancellations among the Goldstone bosons have been depicted in colors. The crucial point is that the cancellation (4.30) occurs only when all the Goldstone bosons are involved as we can see in (4.30). No partial cancellations like B α,1 As a remark, there is a relation between the cancellation pattern shown in colors in (4.29) and the cycle corresponding to H α in the intersection-diagram. Note that drawing lines that join the same colors, the whole set of equations (4.29) form one and only one loop. The similarity between these pictures goes beyond this observation, and suggests a deep connection which will be studied elsewhere.
Let us count the total number of Goldstone bosons in a SSB pattern ω α=1 Diag[H α ]. As said above, for each Diag

Matrix organization of the Goldstone modes
So far, we have described the appearance of the Goldstone bosons B α,k a (x) and B α,k a (y) as a consequence of the SSB G dd (N ) → ω α=1 Diag[H α ]. The number of Goldstone modes match the number of broken continuous symmetries, which is (2d− ω)N 2 . So in the effective theory we have a collection of linearly independent fields There is a remarkable matching between the counting in equation (4.31) for the complete breaking of the symmetry (ω = 0) and the number of light modes reported in [41] for O(N ). In the case of O(N ) with d even, the total number of indices of the tensor φ i1...i d is d, instead of 2d in equation (4.31). Moreover, since the tensor field for the O(N ) group is real, the number of modes is half the number of the unitary case. With these considerations, the counting of the Goldstone modes for the orthogonal group, when the SSB breaks completely the original symmetry, is 1 2 dN 2 , which is the number of light modes counted in p.5 of [41], with the identification d = q − 1.
where α = 1, . . . , ω, and we have chosen the last fields B α,nα a (x) to be linearly dependent on the others, according to the constraints (4.27).
The question now is how these modes organize into multiplets. To answer this question we will consider an action of the group Diag[H α ] on the space B α , treated as a vector space, and find the irreducible representations of B α . The Goldstone modes multiplets will correspond, one-to-one, to those irreps.
The action of ω α=1 Diag[H α ] on the tensor field induces the transformation on (4.33) where the labels (α, k ) and k are related according to the map (4.26). Notice that the action of g α is trivial in all the slots except for the slot k, where the generators hit. So the action of Diag[H α ] on B α reduces to the adjoint action on each of the slots labeled by k andk.
So for each (α, k ) and (α,k ), all the modes B α,k a (x) and B α,k a (x) with a = 0, . . . , N 2 − 1 get arranged into a multiplet. The transformation (4.33) suggests that B α,k a (x) and B α,k a (x) are the components of an N × N -matrix field. In fact, we can map each (α, k ) and (α,k ) collection {B α,k a (x), B α,k a (x)| a = 0, . . . , N 2 − 1} into the matrices The same transformation law holds for (α,k ) fields.
The transformation (4.37) is perfectly compatible with (4.33). Indeed, which is the transformation law (4.38). We have shown that the Goldstone bosons B α,k a (x) and B α,k a (x), with a = 0, . . . , N 2 − 1, are actually the components of a matrix transforming in the adjoint of U α (N ).
Interestingly enough, we can write down the Goldstone boson matrix fields in terms the tensor fields and v exclusively, without the use of the generators 7 . Using the definitions (4.35) and (4.8), we have Equation (4.40) is completely general, valid for any symmetry group and any SSB. It means that the collection of Goldstone bosons which result from SSB of tensor theories organizes into matrix field multiplets. In other words, any tensor theory with SSB always leads to matrix theories. See appendix A for an application of (4.40) to a non-unitary group and a different SSB pattern. Using the properties of the generators of U (N ) we arrive at where it is understood that the indices i, j are located at the k,k slots of the tensor. Recall that k,k are given in terms of (α, k ) and (α,k ) by the map (4.26). Equations (4.42) are one of the main results of the paper. We would like to stress that the Goldstone bosons (4.42) are defined for any SSB pattern induced by v in unitary groups, where v is not necessarily constrained to the shape considered in this paper, namely linear combinations of Kronecker deltas. The fields ϕ k a (x) and ϕk a (x) defined in (4.22) organise into matrix multiplets, for the same reason as the Goldstone bosons. Although these fields will be massive in the effective theory, hence they will not be considered at low energies.
At low energies, the massless modes (which we assume to be only the Goldstone bosons [39]) are the most relevant. According to the above discussion: The massless field content of the effective theory that results from SSB of a tensor theory built on , which is associated with the partition ω α=1 n α = d, is an overall of 2d − ω N × N -matrix fields organized as B α,k (x) and B α,k (x), with k = 1, . . . , n α andk = 1, . . . , n α − 1, transforming in the adjoint of U α (N ) = Diag[H α ], and α = 1, . . . , ω.
The fact that the effective theory is invariant under ω α=1 U α (N ) tells us that the fields B α,k (x) and B α,k (x) must appear in the action of the effective theory with all the indices properly contracted. So, the vertices of the theory must appear as multi trace polynomials, where the matrix fields appearing within a given trace must involve only fields transforming under the same group, that is, with the same α. In addition, the fact that the fields are complex tells us that the monomials that appear in the action must include B α,k (x) and B α,k (x) in an equal number. So, the action of the effective theory will contain interaction monomials of the type where, for simplicity, we are omitting the spacetime derivatives of the matrix fields. This concludes our discussion about the multiplets in the effective field theory. Apart form these particular considerations for our case, the general features of effective field theories [44][45][46] apply as well.

Examples
In this section we are going to apply the general formalism of SSB in tensor theories developed above in two examples.

SSB for the complex 2-tensor field
In order to make the discussion of the previous sections more explicit, using the techniques presented above, we shall study the well-known example of chiral symmetry breaking for the complex scalar field, see, for instance, [47]. This involves SSB of a complex 2-tensor field Φ i j (x) transforming in the fundamental and anti-fundamental representation G 11 (N ) = U 1 (N ) × U1(N ) into the diagonal group. We will use the notation defined in (2.25). The elements of the group may be written as (g 1 , g1), with The generators T a of the unitary group are Hermitian, so T a = T † a . However, we will not make the substitution at this stage in order to keep track of the conjugate terms. For the 2-tensor case we will require an action and a measure invariant under the transformations (2.25). The generating functional Z [J, J] is defined in the same fashion as for the scalar case in section 2, Here we are only interested in the breaking of the symmetry to the diagonal group, which occurs when v i j is proportional to δ i j , as discussed in section 3. Following the methodology of previous sections, we will compute the WT identities. First, we transform the fields as in (2.25) with the elements of the groups written as (5.1), and derive (5.2) with respect to the parameters θ a we obtain and for θ (1) a we obtain the identity Again, the identities are obtained by derivating with respect to the sources. So, applying δ δJ m n (y) J=J=0 on (5.4) and on (5.5) we have To obtain the additional constraint we derive the path integral (5.2) with respect to θ a = θ (1) a , which parametrizes the diagonal group. Notice that under the action of the diagonal group the -term is invariant. The constraint reads This holds for any configuration of the tensor field, i.e., which is satisfied for v i j = vδ i j . In terms of the Goldstone bosons (4.8), the constraint (5.8) and/or (5.9) follows from the cancellation (4.27), which in this case is This proves the consistency of the choice of v for the case of two indices tensor. This result, namely that v is proportional to the identity, is well-known in the context of chirality breaking. Nevertheless, the generalization of it that we perform in section 3 has not been reported in the literature, as far as we know.
Now, we will use (5.7) to find an expression for the Goldstone bosons in the case of SSB into the diagonal group. We take v i j = vδ i j where, without loss of generality, v is real. We will also use the Hermiticity of the generators T a = T † a . So, we have Conjugating the above equation we get We multiply (5.11) by (T b ) m n and (5.12) by (T b ) n m to obtain the couple of equations Multiplying by v (5.13) and (5.14), and summing them we obtain We will use the multiplication rule for the generators (4.19). Now we define the fields Note that the field ϕ a (x) is real whereas B a (x) is purely imaginary. With these definitions, (5.15) can be written as Now, equations (5.13) and (5.14) could also be subtracted. In that case, and using the same fields as before we obtain the WT identity In order to identify the effective degree of freedom it is convenient to rewrite (5.16) and (5.17) as matrices. To this end we define the new fields and using the identity we get where now (5.23) and (5.24) are anti-hermitian and hermitian tensors, respectively. As discussed in section 4.5, the matrix field B m n (x) is the Goldstone boson matrix field. Particularly, (5.23) is in accordance with (4.42).
In the next section we will study a more involved case where the tensor field has four indices.

SSB for the complex 4-tensor field
Following the steps of the previous section, we will show how the SSB of G 22 (N ) = U 1 (N )×U 2 (N )×U1(N )×U2(N ) into the diagonal subgroup is triggered by the -term. We will also study the Goldstone bosons, which display a much richer structure than the two-tensor field. Using the notation (2.26) and (2.27), the fields will transform as . The elements of the group may be written as The path integral in this case reads We will again transform the fields with the parametrizations (5.26) and find the four basic identities through the derivatives a we obtain and for θ (1) a we obtain the identity For θ (2) a , the generator hits on the second position as indicated by k = 2. We obtain and for θ (2) a we obtain the identity Note that equation (5.31) is analogous to (5.29) except for the generator hitting on the second slot of the fields. The same happens to equations (5.32) and (5.30). For a tensor of 2d indices we will have d similar equations to (5.29) and other d equations similar to (5.30), where the generators hit on each of the d slots.
In order to obtain WT identities we derive with respect the sources. So, applying As before, under the action of the diagonal group, the -term is invariant. So, for the elements of the diagonal group parametrized by θ (1) a = θ a , we take derivatives with respect to θ a , and obtain the extra constraint This constraint must hold for any configuration of the field Φ(y), what means that the relation The only option for v to fulfill the constraint (5.35) is With v as in (5.37), the Goldstone bosons are

Conclusion and outlook
The -term technique has long been proven a powerful tool to tackle SSB, here implemented for the first time in tensor models. This technique leads us to identify the Goldstone bosons as matrix fields, which is one of the central results of the paper. It also enables the discussion of the SSB patterns characterized by the tensor v. In this paper, we focus on SSB patterns leading to diagonal subgroups of G dd (N ), for which the more general v is a linear combination of Kronecker deltas, as in (3.4). In order to understand the intricate relation between the monomial constituents of v and the SSB patterns, we develop a diagrammatic correspondence. The correspondence provides a visual and straightforward way of interpreting the SSB on the diagrams. Unexpectedly, from the diagram inspection, we conclude that any SSB pattern can be induced by only two (complex) parameters. This work comprises a kinematic study of vacua in tensor models. We mainly focus on the cases where the effective theory is a matrix theory transforming in the adjoint of U (N ), although the treatment holds for other scenarios, see appendix A. We claim that any tensor theory with SSB always leads to matrix theories. In fact, equation (4.40) is a general result, which holds for any symmetry group and any SSB pattern. There are other attempts in the literature to relate matrix and tensor theories [11,20,22,[48][49][50][51][52], but those are referred to specific models. In contrast, our approach is applicable to any tensor theory as long as the theory presents SSB, which requires that the potential has nonzero stationary points, as in (A.4).
One of the undoubtable succeeds of tensor theories is the simple large N structure of some models, which makes them exactly solvable. However, this might not be the case for all physically relevant models. SSB provides valuable information of the system, particularly useful when the large N solvability is lost. Additionally, as SSB generically leads to matrix models, this mechanism could conceptually clarify the relation between tensor theories and quantum gravity, holography, etc.
Let us now describe a possible scenario. Suppose we have a tensor theory with a nontrivial potential which presents several stationary points at which the SSB patterns lead to diagonal subgroups of G dd (N ), hence to U (N ) matrix theories. This is shown in Fig.6, where we have marked the minima. Given a theory with a potential as in Fig.6, by means of SSB we could arrive at any minimum point of the landscape, where different (multi-)matrix theories sit. Notice that the collection of matrix theories is encoded in an underlying single tensor theory. We believe that this remarkable fact deserves to be explored in depth. On this line, finding specific models which realized the aforementioned correspondence is our next goal. As a remark, if the tensor theory were not solvable in the large N , then it could be used to perform non-trivial calculations in the (non-solvable) matrix setups.

A SSB for the model with tetrahedral vertex
In this appendix we show an example of symmetry breaking occurring in a wellstudied tensor model. The pattern of symmetry breaking for this model is different from the patterns studied in this paper. However, it is worth mentioning it for its potential relevance in future works. It also supports our believe that SSB is a common feature in tensor models and deserves further attention. The In order to complete the discussion let us calculate the Goldstone bosons. Without loss of generality we will take N = 3. Using the definition (4.8) adapted to O(3) we may write where T a are the generators of the algebra of O(3). They can be written as (T mn ) ik = −i(δ mk δ in − δ nk δ im ), (A.10) where the index a = 1, 2, 3 has been mapped to the pair (mn) = (12), (13), (23). As the in the unitary case, the Goldstone bosons in (A.9) get arranged into matrices. Using (4.40) adapted to the orthogonal group we may write (A.11) The multiplication rule for the orthogonal group is (T a ) i 1 k (T a ) ij = (T mn ) i 1 k (T mn ) ij = −(δ kj δ i 1 i − δ ji 1 δ ki ), (A.12) which implemented on (A.11) yields Although there is no continuous symmetry left, it still remains a discrete S 3 symmetry. Interestingly, we can track how the Goldstone bosons transform under this symmetry. Let us see how it goes for B (1) . First, realize that The second equality in (A.14) is just a rearrangement of the sum over i 2 and i 3 induced by the permutation σ. According to (A.6) the transformation of B (1) under the diagonal S 3 is (B (1) ) ij (x) = (B (1) ) σ(i)σ(j) (x) = − (v σ(i)σ(i 2 )σ(i 3 ) ϕ σ(j)σ(i 2 )σ(i 3 ) (x) − v σ(j)σ(i 2 )σ(i 3 ) ϕ σ(i)σ(i 2 )σ(i 3 ) (x)). (A. 15) Using the invariance of v (A.7), the transformed Goldstone boson reads (B (1) ) ij (x) = −(v ii 2 i 3 ϕ σ(j)σ(i 2 )σ(i 3 ) (x) − v ji 2 i 3 ϕ σ(i)σ(i 2 )σ(i 3 ) (x)).