The Multi-Orientable Random Tensor Model, a Review

After its introduction (initially within a group field theory framework) in [Tanasa A., J. Phys. A: Math. Theor. 45 (2012), 165401, 19 pages, arXiv:1109.0694], the multi-orientable (MO) tensor model grew over the last years into a solid alternative of the celebrated colored (and colored-like) random...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2016
1. Verfasser: Tanasa, A.
Format: Artikel
Sprache:English
Veröffentlicht: Інститут математики НАН України 2016
Schriftenreihe:Symmetry, Integrability and Geometry: Methods and Applications
Online Zugang:http://dspace.nbuv.gov.ua/handle/123456789/147752
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:The Multi-Orientable Random Tensor Model, a Review / A. Tanasa // Symmetry, Integrability and Geometry: Methods and Applications. — 2016. — Т. 12. — Бібліогр.: 38 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-147752
record_format dspace
spelling irk-123456789-1477522019-02-16T01:25:28Z The Multi-Orientable Random Tensor Model, a Review Tanasa, A. After its introduction (initially within a group field theory framework) in [Tanasa A., J. Phys. A: Math. Theor. 45 (2012), 165401, 19 pages, arXiv:1109.0694], the multi-orientable (MO) tensor model grew over the last years into a solid alternative of the celebrated colored (and colored-like) random tensor model. In this paper we review the most important results of the study of this MO model: the implementation of the 1/N expansion and of the large N limit (N being the size of the tensor), the combinatorial analysis of the various terms of this expansion and finally, the recent implementation of a double scaling limit. 2016 Article The Multi-Orientable Random Tensor Model, a Review / A. Tanasa // Symmetry, Integrability and Geometry: Methods and Applications. — 2016. — Т. 12. — Бібліогр.: 38 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 05C90; 60B20; 81Q30; 81T99 DOI:10.3842/SIGMA.2016.056 http://dspace.nbuv.gov.ua/handle/123456789/147752 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
description After its introduction (initially within a group field theory framework) in [Tanasa A., J. Phys. A: Math. Theor. 45 (2012), 165401, 19 pages, arXiv:1109.0694], the multi-orientable (MO) tensor model grew over the last years into a solid alternative of the celebrated colored (and colored-like) random tensor model. In this paper we review the most important results of the study of this MO model: the implementation of the 1/N expansion and of the large N limit (N being the size of the tensor), the combinatorial analysis of the various terms of this expansion and finally, the recent implementation of a double scaling limit.
format Article
author Tanasa, A.
spellingShingle Tanasa, A.
The Multi-Orientable Random Tensor Model, a Review
Symmetry, Integrability and Geometry: Methods and Applications
author_facet Tanasa, A.
author_sort Tanasa, A.
title The Multi-Orientable Random Tensor Model, a Review
title_short The Multi-Orientable Random Tensor Model, a Review
title_full The Multi-Orientable Random Tensor Model, a Review
title_fullStr The Multi-Orientable Random Tensor Model, a Review
title_full_unstemmed The Multi-Orientable Random Tensor Model, a Review
title_sort multi-orientable random tensor model, a review
publisher Інститут математики НАН України
publishDate 2016
url http://dspace.nbuv.gov.ua/handle/123456789/147752
citation_txt The Multi-Orientable Random Tensor Model, a Review / A. Tanasa // Symmetry, Integrability and Geometry: Methods and Applications. — 2016. — Т. 12. — Бібліогр.: 38 назв. — англ.
series Symmetry, Integrability and Geometry: Methods and Applications
work_keys_str_mv AT tanasaa themultiorientablerandomtensormodelareview
AT tanasaa multiorientablerandomtensormodelareview
first_indexed 2025-07-11T02:46:19Z
last_indexed 2025-07-11T02:46:19Z
_version_ 1837317006648410112
fulltext Symmetry, Integrability and Geometry: Methods and Applications SIGMA 12 (2016), 056, 23 pages The Multi-Orientable Random Tensor Model, a Review? Adrian TANASA †‡§ † Univ. Bordeaux, LaBRI, UMR 5800, 351 cours de la Libération, 33400 Talence, France E-mail: adrian.tanasa@ens-lyon.org URL: http://www.labri.fr/perso/atanasa/ ‡ IUF, 1 rue Descartes, 75231 Paris Cedex 05, France § H. Hulubei National Institute for Physics and Nuclear Engineering, P.O. Box MG-6, 077125 Magurele, Romania Received December 08, 2015, in final form June 10, 2016; Published online June 15, 2016 http://dx.doi.org/10.3842/SIGMA.2016.056 Abstract. After its introduction (initially within a group field theory framework) in [Tanasa A., J. Phys. A: Math. Theor. 45 (2012), 165401, 19 pages, arXiv:1109.0694], the multi-orientable (MO) tensor model grew over the last years into a solid alternative of the celebrated colored (and colored-like) random tensor model. In this paper we review the most important results of the study of this MO model: the implementation of the 1/N ex- pansion and of the large N limit (N being the size of the tensor), the combinatorial analysis of the various terms of this expansion and finally, the recent implementation of a double scaling limit. Key words: random tensor models; asymptotic expansions 2010 Mathematics Subject Classification: 05C90; 60B20; 81Q30; 81T99 Dedicated to Vincent Rivasseau’s 60th birthday anniversary 1 Introduction Random tensor models are a natural generalization in dimension higher than two of the cele- brated (bidimensional) matrix models (see, for example, the review [14]). Tensor models were first proposed in the nineties [1, 34] but unfortunately did not draw at that moment a particular attention within the mathematical physics community. A considerable revival of interest for these tensor models appeared with the proposition of the so-called colored tensor model [22]. Let us recall here that this proposition was actually made within the related group field theoretical (GFT) framework (for general references on GFT, see the book [28] or the review articles [17, 29] or [3]). Shortly after, the implementation of the 1/N expansion for this colored model [21, 23] largely contributed to this revival of interest. The gene- ral term of this expansion was thoroughly analyzed, from a purely combinatorial point of view, in [26]. This analysis allowed for the implementation of the double scaling limit mechanism for the colored tensor model. In parallel, this mechanism has been implemented for a closely related model, in [12], using this time purely quantum field theoretical (QFT) techniques (namely, the intermediate field method). Moreover, after adding an appropriate Laplacian operator in the action of this type of models, several renormalizability studies have been made. The first perturbative renormalizable tensor ?This paper is a contribution to the Special Issue on Tensor Models, Formalism and Applications. The full collection is available at http://www.emis.de/journals/SIGMA/Tensor Models.html mailto:adrian.tanasa@ens-lyon.org http://www.labri.fr/perso/atanasa/ http://dx.doi.org/10.3842/SIGMA.2016.056 http://www.emis.de/journals/SIGMA/Tensor_Models.html 2 A. Tanasa model was the Ben Geloun–Rivasseau tensor model [5]. The combinatorics of the renormaliz- ability of this model has been expressed in a Hopf algebraic setting in [30]. Several other models have been proved renormalizable, models defined this time in closer relation to the initial GFT framework – see the thesis [10] and references within. Various β-function computations have also been made, see [2, 11] and references within. Moreover, in [2], the combinatorics of the Dyson–Schwinger equation of a particular such tensor model has been analyzed from a purely algebraic point of view. For the sake of completeness, let us also mention that some relations between tensor models and matrix models have been investigated in [7]. Moreover, relations between tensor models and meanders have been studied in [6]. Finally, some relations between the counting of tensor model observables and branched covers of the two-sphere have been proved in [4]. For various reviews on tensor models, we point the interested reader to the reviews [24, 33] and [36]. Getting back to colored (and colored-like) tensor models, we point out that they have a major drawback: an important class of Feynman tensor graph are discarded, by the very definition of these models. This drawback is softened when working with the multi-orientable (MO) tensor model, where it was proved that a larger class of Feynman graph is kept. This is, in our opinion, the main motivation for the study of the MO model. One can remark that this motivation is not of geometric or topological nature, but instead it has a strong QFT flavor. Indeed, the QFT philosophy is to carefully look over all classes of graphs, and not to chose just some classes of Feynman graphs which are easier to study. For example, if in Moyal QFT one discards the non-planar sector, the celebrated UV/IR mixing phenomena is lost. With this QFT optics in mind, we do not consider that the MO model is the most general tensor model one should study, while keeping interesting properties such as the largeN expansion or the double scaling limit (see also the perspectives described in the last section of this review). Nevertheless, we consider that, with respect to the colored and colored-like models, the MO model is an interesting step ahead in this direction. The MO model was defined, again within a GFT setting, in [37] (see also [38] for a short review). The 1/N expansion and the large N limit have been implemented in [13]. The sub- dominant term of this expansion has been studied in [31]. A thorough combinatorial analysis of the general term of this expansion, has been done in [19]. This has then led to the recent implementation of the double scaling mechanism [27]. All these results are presented within the following four sections. The last section of this review is dedicated to some concluding remarks and to a list of perspectives for future work. 2 Definition of the model In this section, we give the definition of the MO random tensor model. This follows [13]. Let φijk, i, j, k = 1, . . . , N , be the components of a three index complex tensor φ. The action of the MO tensor model writes S[φ] = ∑ ijk φijkφ̄ijk − λ 2 ∑ ijk lmn φijkφ̄mlkφmjnφ̄iln. (2.1) Note that the 1/2 factor multiplying the coupling constant λ takes into consideration the sym- metries of the vertex. The partition function of the model Z = ∫ D[φ]e−S[φ], D[φ] = ∏ ijk dφijk dφ̄ijk 2πı , The Multi-Orientable Random Tensor Model, a Review 3 writes in perturbation theory as a sum over Feynman MO tensor graphs. From a combinatorial point of view, the partition function is a generating function of graphs to whom one associates a certain weight (which is actually the Feynman amplitude below). The vertices of the MO graphs are four valent, the edges are oriented from φ to φ̄ and the orientations alternate around a vertex. The edges can be represented as three parallel strands (one for each index of the tensor) and the vertices as the intersection of four half edges such that every pair of half edges shares a strand. This orientation can also be seen in the following way. One labels the four corners of the vertex with alternating signs ‘+’ and ‘−’, see Fig. 1. An edge of the graph then connects a ‘+’ to a ‘−’ sign. In Fig. 1, an example of a vacuum MO tensor graph is given. + + - - Figure 1. The MO vertex and an MO vacuum Feynman graph. The name multi-orientable was given in [37], because this type of model enjoins two “kinds of orientability”: 1. Orientability at the level of the propagator: no twists are allowed between the various strands. In the original GFT literature, the name “orientable” was given for models with this property (see for example [18] and GFT references within). 2. Orientability at the level of the vertex. This type of vertex is called “orientable” in the Moyal non-commutative QFT literature (see, for example, the review [32] and references within). Within this framework, the vertex is pictured as in Fig. 2. Figure 2. A different representation (without strands) of the MO vertex. One can then prove that the MO action (2.1) leads to a set of Feynman graphs which is strictly larger than the set of Feynman graphs of the colored model (for more details, see [37]) or colored-like models. Let us recall here that colored models allow only for Feynman graphs where each edge has a color, usually labeled in 3D, from 0 to 3. At each vertex, one has a half-edge of each of these four colors – the graph is bipartite. Moreover, a face of the graph is formed by edges of exactly two colors. The MO model allows for all these Feynman graphs. Moreover, its perturbative expansion allows as well for the following supplementary classes of Feynman graphs: 1. MO graphs which are not edge-colorable (with at most four colors) but are not allowed by the colored model action, 4 A. Tanasa Figure 4: Ex- ample of a multi- orientable graph which is not col- orable. 0 1 2 3 Figure 5: The “twisted sunshine” is an example of a m.o. graph which is 4-edge colorable but does not occur in the colored models. Figure 6: A 4-edge colorable m.o. graph which is not bipartite. indexed by an integer called the degree which is the sum of the genera of all jackets. In particular in dimension 3 colored tensor graphs have three jackets which define three di↵erent Hegaard splitting of the dual of the underlying (pseudo)manifold [17]. In the multi-orientable case we want to implement a similar 1/N expansion, hence we need to generalize the notion of jackets. We remark that six strands meet at any vertex v. In the most general case there is no way to split them into three pairs av, bv, cv in a coherent way throughout the graph, namely in a way such that any face is made out only of strands of the same type, a, b or c (see Fig. 7 for an example of a stranded graph where such a splitting is impossible). In the m.o. case, such a coherent splitting is possible. Indeed at each vertex the inner pair of strands (those acting on the E2 space) is unique and well-defined. Let us say that this pair has type c. This pair is coherent, that is throughout the graph any face containing an inner strand is made of inner strands only. But we can also split at each vertex the four outer strands, or “corner strands”, into two coherent pairs, of opposite strands. Consider indeed a vertex and turn clockwise around it starting at the inner strand of a �̂ field, as shown on Fig.8. Call the first and third corner strands we meet type a, indexed by such ribbon graphs. 7 Figure 3. Examples of MO tensor graphs which do not occur in the colorable framework. 2. MO graphs which are edge-colorable (with at most four colors) but are not allowed by the colored model action, 3. MO graphs which are not bipartite. Note that edge-colorability implies bipartiteness – this is a standard result of graph theory. Examples of such MO tensor graphs are given in Fig. 3. On the left one has a double tadpole graph, which is an MO graph which is not edge-colorable. On the right one has a graph which is edge colorable, using four colors, 0, . . . , 3, but does not occur in colorable models. The strands are divided into three classes: the ones in the middle of the edges, called the S (for straight) strands, the ones on the right (with respect to the φ→ φ̄ orientation) of the edges, called the R (for right) strands and the ones on the left of the edges, called the L (for left) strands. At a vertex the S (R or L) strands only connect to S (R or L) strands. Note that MO tensor graphs are in one-to-one correspondence with maps. This is obtained by getting rid of the S strand. Thus, one can use strand-less graphical representations of MO tensor graphs (such as the one given in Fig. 2 of in Section 4). To any MO graph one can associate three canonical ribbon graphs, called the jackets, obtained by erasing throughout the graph all the strands in the same class (S, L or R). For the graph of Fig. 1, this leads to the three jackets represented in Fig. 4. Figure 4. The three jackets associated to the graph of Fig. 1. The fact that this algorithm always leads, for an MO graph, to a ribbon graph was proved in Proposition 4.1 of [13]. Let us also emphasize that this does not hold for general non-MO graph (see Fig. 5 for such a counterexample). We further call the canonical genus of an MO graph the genus of the jacket obtained by erasing the straight faces (we also call this particular jacket the canonical jacket). Thus, a planar MO tensor graph is an MO graph with vanishing canonical genus. Let us emphasize here that the jackets of the MO tensor graph can be non-orientable. This is a fundamental difference between the MO model and the colored-like models. The Multi-Orientable Random Tensor Model, a Review 5 Figure 5. Deletion a pair of opposite corner strands in a non-MO graph. Definition 2.1. The degree δ(G) of a connected MO graph G is the half sum of the non orientable genera of its three jackets δ(G) = 1 2 (kJ1 + kJ2 + kJ3) , where the parameters kJi (i = 1, 2, 3) are the non-orientable genera of the three jackets of the graph. As a direct consequence of this definition, one concludes that the degree is a positive half integer. 3 The 1/N expansion and the large N limit In this section we implement the 1/N expansion and we study the large N limit of the model. In the first two subsections, we analyze the expression of the Feynman amplitudes and the leading order of the 1/N expansion. This follows the original article [13]. In the third subsection, we analyze the next-to-leading order of the 1/N expansion. This follows the original article [31]. In the last subsection, we study the leading and next-to-leading order series of the model. This follows again the original article [31]. 3.1 Feynman amplitudes; the 1/N expansion Let us now organize the free energy series according to powers of N . Since each face corresponds to a closed cycle of Kronecker δ functions, each face contributes with a factor N . The Feynman amplitude of an MO graph then writes A = λV (kN )−VNF , where V is the number of vertices of the graph, F is the number of faces of the graph and kN is a rescaling constant. We choose this rescaling kN to get the same divergence degree for the leading graphs at any order. We first count the faces of a graph using the previously defined jackets J . Using the Euler characteristic formula, one has fJ = eJ − vJ − kJ + 2, (3.1) where kJ is the non-orientable genus of the jacket J (see above). Since each jacket is a connected vacuum ribbon graph, one has: eJ = 2vJ . Let us recall here that the numbers of vertices (resp. edges) of a jacket J of a graph is the same than the numbers of vertices (resp. edges) of the graph. Since each graph has three jackets and each face of a graph occurs in two jackets, summing (3.1) over all the jackets of a graph leads to F = 3 2 V + 3− ∑ J kJ 2 = 3 2 V + 3− δ. (3.2) 6 A. Tanasa The amplitude rewrites as A = λV (kN )−VN 3 2 V+3−δ. To to get the same divergence degree for the leading graphs at any order, we choose the scaling constant kN to be equal to N 3 2 . The amplitude finally writes as A = λVN3−δ. (3.3) Note that, as in the case of random matrices, random tensor models (such as the MO model described in this paper), have a purely combinatorial expression. This comes from the fact that the propagator in the action (2.1) is, from a QFT point of view, trivial: no Laplacian operator is present in the quadratic part. As already mentioned in the Introduction, adding an appropriate Laplacian operator to the action allows for more involved expression of the associated Feynman amplitudes and for renormalizability studies (see again the thesis [10]). Using now the expression (3.3) for the Feynman amplitude we can rewrite the free energy E as a formal series in 1/N : E = ∑ δ∈N/2 C [δ](λ)N3−δ, where C [δ](λ) = ∑ G,δ(G)=δ 1 s(G) λvG . 3.2 The large N limit – the leading order (melonic graphs) Having implemented the 1/N expansion, one easily sees that the leading order in the large N limit (i.e., the limit N →∞) is given by the tensor graphs satisfying the condition δ = 0. (3.4) In this subsection we identify these tensor graphs and we show that they are the so-called melonic graphs. These graphs are obtained by insertions of a fundamental two-point melonic subgraphs in the so-called elementary melon (see Fig. 6). Another example of a graph obtained in this way is given in Fig. 7 (example where we have used this time the stranded representation of graphs). Note that one can prove the following crucial fact: melonic insertions preserve the degree. This can be checked by carefully counting the number of faces and vertices and by using the expression (3.2) for the degree. One can first prove that condition (3.4) cannot be satisfied if the graph is non-bipartite: Proposition 3.1. A non-bipartite MO graph has at least one non-orientable jacket and thus its degree satisf ies the inequality: δ ≥ 1 2 . In order to identify the dominant graphs among the bipartite MO graphs, one can prove the following results: Proposition 3.2. If G is a bipartite, vacuum graph of degree zero, then G has a face with two vertices. Proposition 3.3. If G is null degree bipartite vacuum graph, then it contains a three-edge colored subgraph with exactly two vertices. The Multi-Orientable Random Tensor Model, a Review 7 Figure 6. Insertions of melonic subgraphs in the elementary melon graph. Figure 7. An example of a melonic tensor graph (using the stranded representation). Using these two propositions, one can prove that the only graphs satisfying condition (3.4) are the melonic graphs (see [13] for details). This leads to: Theorem 3.4. The leading order graphs of the 1/N expansion of the MO model (2.1) are the melonic ones. Let us end this subsection by stating two important properties of melonic graphs: 1. Melonic graphs maximize the number of faces for a given number of vertices. 2. Melonic graphs correspond to a particular class of triangulations of the three-dimensional sphere S3. Moreover, from a probabilistic point of view, these graphs were proven to correspond to branched polymers (that is, they possess Hausdorff dimension two and spectral dimension 4/3) [25]. 3.3 The large N limit – the next-to-leading order Using again the 1/N expansion of Subsection 3.1, one easily sees that the next-to-leading order in the large N limit is given by the tensor graphs satisfying the condition δ = 1 2 . 8 A. Tanasa In this subsection we identify these tensor graphs and we prove that they are the so-called infinity graphs. These graphs are obtained by melonic insertions in the double tadpole graph of Fig. 3. One can then prove (see [31] or [19] for details) the following result: Theorem 3.5. The next-to-leading order graphs of the 1/N expansion of the MO model (2.1) are the infinity ones. 3.4 Leading and next-to-leading order series Following [31], we compute in this subsection the radiuses of convergence and the susceptibility exponents of the leading and next-to-leading order series of the MO tensor model. 3.4.1 Leading order series The analysis of the leading order (LO) series of the MO model is identical to the one of the colored model (since one is interested to the same class of graphs, the melonic graphs, and these graphs have the same Feynman amplitude in the two cases). We denote by λc,LO the LO critical value of the coupling constant λ. From a mathematical point, λc,LO is the radius of convergence of the LO series in λ. The leading order free energy is obtained by summing over the amplitudes of melonic vacuum graphs. We are interested in the asymptotic behavior of this LO series around λc,LO The LO connected two-point function writes GLO(λ) ∼ const + ( 1− λ2 λ2c,LO ) 1 2 around the critical value λc,LO of the coupling constant in the leading order. This is related to the behavior of the LO free energy, for which we obtain ELO(λ) ∼ ( 1− λ2 λ2c,LO )2−γLO , with the susceptibility exponent (or the critical exponent), being γLO = 1 2 . 3.4.2 Next to leading order series In order to study the behavior of the NLO series, we need to study the connected NLO two-point function. The graphs contributing to the connected NLO two-point function can be obtained from the NLO vacuum graphs by cutting any one of the internal lines of an NLO vacuum graph. Thus, we can in a straightforward manner import the classification of NLO vacuum graphs obtained in the previous section to the case of connected NLO two-point graphs. We express the NLO two-point function in terms of the LO two-point function through algebraic identities relating the LO and NLO two-point functions. More specifically, any two-point function is of the form: bare propagator multiplied by a specific function. We will denote this function associated to the connected LO two-point function as GLO, the function associated to the connected NLO two-point function as GNLO, and the function associated to the one-particle-irreducible (1PI) NLO two-point function as ΣNLO. The first identity for the two-point functions illustrated in Fig. 8, states that the connected NLO two-point function GNLO (on the l.h.s. of the figure) is obtained by gluing connected LO The Multi-Orientable Random Tensor Model, a Review 9 two-point functions GLO on both sides of the 1PI NLO two-point function ΣNLO (on the r.h.s. of the figure). This writes GNLO = G2 LOΣNLO. Figure 8. The connected NLO 2-point function (l.h.s. of the figure) is obtained by gluing connected LO 2-point functions on both sides of the 1PI NLO 2-point function (r.h.s. of the figure). The second identity comes from the two different combinatorial ways of obtaining 1PI NLO two-point graphs from connected LO and NLO two-point graphs, and writes ΣNLO = λGLO + 3λ2G2 LOGNLO, (3.5) where the combinatorial factor three arises from the three different internal lines of the elemen- tary melon, on which the NLO two-point function can be inserted. The two terms above exhaust all contributions to the 1PI NLO two-point function, since any such graph contains only one tadpole due to Theorem 3.5, and thus either all melonic subgraphs are inside the tadpole (the first term) or the tadpole is a subgraph of a melonic graph (the second term). This is illustrated in Fig. 9, where the 1PI NLO two-point function ΣNLO is represented on the l.h.s. of the figure. The remaining two drawings represent the two terms on the r.h.s. of (3.5). Figure 9. Illustration of (3.5). The 1PI NLO two-point function ΣNLO is represented on the l.h.s. of the figure; the remaining two drawings represent the two terms on the r.h.s. of (3.5). Now, putting these two identities together, we obtain first the identity G−2LOGNLO = λGLO + 3λ2G2 LOGNLO, from which we can solve for GNLO in terms of the connected LO two-point function GNLO = λG3 LO 1− 3λ2G4 LO . On the other hand, differentiating the LO two-point function relation GLO = 1 + λ2G4 LO we get ∂ ∂λ2 GLO = G4 LO 1− 4λ2G3 LO = G5 LO 1− 3λ2G4 LO , 10 A. Tanasa where for the last equality we used the LO two-point function identity again. Thus, we get the expression GNLO = λ G2 LO ∂ ∂λ2 GLO, which implies, together with GLO ∼ const +(1− (λ2/λ2c)) 1/2, GNLO ∼ ( 1− λ2 λ2c )−1/2 . Finally, we use the following Dyson–Schwinger equation 0 = ∫ dφ̄ dφ δ δφijk ( φi′j′k′e −S[φ,φ̂]). We thus obtain the relation GNLO = 1− 4λ2 ∂ ∂λ2 ENLO, (3.6) relating the connected two-point function GNLO to the free energy ENLO. Accordingly, we have ENLO ∼ (1−(λ/λc) 2)1/2 from (3.6), and thus find the same critical value of the coupling constant (i.e., the radius of convergence) for the NLO series (as series in the coupling constant λ) as for the LO series. Nevertheless, one has a distinct value for the NLO susceptibility exponent γNLO = 3 2 . 4 Some combinatorial developments In this section we perform a thorough combinatorial analysis of the general term of the 1/N expansion of the previous section. This follows the original article [19]. Note that the ‘+’ and ‘−’ signs canonically induce an orientation of the edges. One can thus represent MO tensor graphs as a particular class of oriented four-regular maps – see Fig. 10 for the representation of the vertex of the MO tensor graph of Fig. 1 in such a way. Moreover, we work in this section which rooted maps, i.e., a connected map with a marked edge. This allows to better handle symmetries issues when counting such combinatorial objects. In physics language, marking an edge transforms a vacuum graph into a two-point Feynman graph. One can further see this root as a fake vertex of valence two placed on some root edge. Figure 10. Representation of MO tensor graphs as oriented four-regular maps. We then define the cycle graph as an oriented self-loop carrying no vertex. The cycle graph is connected, has V = 0, F = 3 (one face in each type), hence has degree 0. In its rooted version, the (rooted) cycle-graph is made of an oriented tadpole incident to the root-vertex. The Multi-Orientable Random Tensor Model, a Review 11 ⇒ u v e u v Figure 11. Melon removal. ⇒ Figure 12. Removing a tadpole in an MO-graph. In this context, define the removal of a melon as the operation represented in Fig. 11 (where possibly u = v, and possibly u or v might be the root if the MO-graph is rooted). The reverse operation (where e is allowed to be a tadpole, and is allowed to be incident to the root-vertex if the MO-graph is rooted) is called the insertion of a melon at an edge. Analogously, one can define a tadpole (or loop, in graph theoretical language) removal – see Fig. 12. One then has Lemma 4.1. Let G be an MO-graph of degree δ, let ` be a tadpole of G, and let G′ be the MO-graph obtained from G by erasing the tadpole and its incident vertex, as shown in Fig. 12. Then G′ has degree δ − 1/2. Hence G has at most 2δ tadpoles. Proof. The resulting graph G′ has the same number of connected components as G, has one vertex less, and has one face less (which has length one). � A melonic graph (see above) can then be seen as an MO graph which can be reduced to the rooted cycle graph by successive removal of melons. Getting back to melonic insertions (see above), one needs to stress that there is an infinite number of melon free graphs of a given degree. Nevertheless, as we will explain the sequel, some particular types of subgraphs can be repeated without increasing the degree! 4.1 Dipoles, chains, schemes and all that Let us now give the following definition: Definition 4.2. A dipole is a subgraph of a (possibly rooted) MO-graph formed by a couple of vertices connected by two parallel edges containing a face of length two incident to these distinct vertices, and not passing by the root if the graph is rooted. Accordingly, one has three distinct types of dipoles: L, R, or S, see Fig. 14 (left part). As the figure shows, each dipole has two exterior half-edges on one side and two exterior half-edges on the other side. Notice also that a double edge does not necessarily delimit a dipole, as shown in Fig. 14 (right part). Figure 13. A rooted melonic graph can be built from the cycle-graph, by melonic insertions. 12 A. Tanasa L R S not 2-dipoles Figure 14. Left: the three types of dipoles. Right: examples of double edges that do not form a dipole. Figure 15. Left: a chain of four dipoles. Right: a sequence of three dipoles that does not form a chain. Let us also notice that a face of length two is always incident to two distinct vertices, except in the MO-graphs that are made of one vertex and two tadpoles – the infinity graphs. They have no dipole but have two faces of length two. Let us now give the following definitions: Definition 4.3. In an MO-graph G, a chain is a sequence of dipoles d1, . . . , dp (not passing by the root if the graph is rooted) such that for each 1 ≤ i < p, di and di+1 are connected by two edges involving two half-edges on the same side of di (left or right) and two half-edges on the same side (left or right) of di+1. For an example of a chain and of a sequence of dipoles which is not a chain, see Fig. 15. Let us now give the following definitions: Definition 4.4. An unbroken chain is a chain for whom all the dipoles are of the same type (L, R or S). Definition 4.5. A broken chain is a chain which is not unbroken. Definition 4.6. A proper chain is a chain of at least two dipoles. Definition 4.7. A maximal proper chain is a proper chain for whom there is no larger chain in the given map that the respective maximal proper chain is part of. In a graph, one can then replace a proper chain by a chain-vertex. In Fig. 16, we give examples of the four possible types of unbroken proper chains, replaced by corresponding chain- vertices, marked with an appropriate graphical symbol. Note that one has two distinct cases, if the number of dipoles of type S is even or odd. The bottom part of the figure gives an example of a broken proper chain replaced by the corresponding chain-vertex. The corresponding configurations of strands are shown in Fig. 17. Note that these are all the possible strand configurations of the MO setting. We can now give the following definition: Definition 4.8. Let G be a rooted melon-free MO-graph. The scheme of G is the graph obtained by simultaneously replacing any maximal proper chain of G by the corresponding chain-vertex. One can see how such a scheme is obtained from a melon-free graph from the example of Fig. 18. Finally, one can give the following definition: The Multi-Orientable Random Tensor Model, a Review 13 ⇒ ⇒ ⇒ ⇒ L R So Se ⇒ B Figure 16. Examples of the types of unbroken proper chains; example of a broken proper chain. ⇔L R So Se B ⇔ ⇔ ⇔ ⇔ Figure 17. The configurations of the strands for each type of chain-vertex. ⇒ L B Se Figure 18. Left: a rooted melon-free MO-graph. Right: the associated scheme. Definition 4.9. A reduced scheme is a rooted melon-free MO-graph with chain-vertices and with no proper chain. Note that, by construction, the scheme of a rooted melon-free MO-graph (with no chain- vertices) is a reduced scheme. 14 A. Tanasa ⇒⇒ ⇒ ⇒LR So Se ⇒B Figure 19. A choice of canonical substitution leading to the map S 7→ G(S). The following result ensures that the degree definition for MO-graphs with chain-vertices is consistent with the replacement of chains by chain-vertices: Proposition 4.10. Let G be an MO-graph with chain-vertices and let G′ be an MO-graph with chain-vertices obtained from G by consistently substituting a chain-vertex by a chain of dipoles. Then the degrees of G and G′ are equal. One can then proove the following finiteness result: Theorem 4.11. The set of reduced schemes of a given degree δ is finite. The proof (see [19] for details) relies on the following lemmas: Lemma 4.12. For each reduced scheme of degree δ, the sum N(G) of the numbers of dipoles and chain-vertices satisfies the bound: N(G) ≤ 7δ − 1. Lemma 4.13. For k ≥ 1 and a given degree δ, there is a constant nk,δ such that any connected unrooted MO-graph (without chain-vertices) of degree δ with at most k dipoles has at most nk,δ vertices. In order to prove Theorem 4.11 using these two lemmas, one can explicitly construct an injective map S 7→ G(S) which associates to a reduced scheme S a rooted MO-graph with no chain-vertices. This construction can be done using the choice of canonical substitution of chain- vertices by proper chains given in Fig. 19. This substitution preserves the strand structure (hence the degree) and yields an injective mapping from MO-graphs with chain-vertices to MO-graphs without chain-vertices. One then needs to analyze how the degree of an MO-graph with chain-vertices (not necessarily a reduced scheme, possibly with melons) evolves when removing 1) a chain-vertex, 2) a melon. Let G be an MO-graph with chain-vertices, and let m be a chain-vertex of G. The removal of m consists of the following operations: (i) delete m from G; (ii) on each side of m, connect together the two detached legs (without creating a new vertex). Such a removal of a chain-vertex is represented in the left part of Fig. 20. For the removal of a dipole (of types L, R and S), see the right part of Fig. 20. The chain-vertex m is said to be 1) non-separating if G′ has the same number of connected components as G, and 2) separating otherwise (in which case G′ has one more connected component). By carefully counting the modifications made to the number of faces, vertices and connected components, one can prove the following lemma (see again [19] for details): The Multi-Orientable Random Tensor Model, a Review 15 ⇒ ⇒ ⇒⇒ Figure 20. Removal of a chain-vertex (whatever its type) and of type L, R and S. S L B R e S L B R e S L B e S L B e L B L B L B c c d d d G G′ L B Figure 21. An illustration of the process transforming a scheme into some decorated tree of components. Lemma 4.14. • The degree is unchanged when removing a separating chain-vertex or a separating dipole (the degree is distributed among the resulting components). • The degree decreases by three when removing a non-separating broken chain-vertex. • The degree decreases by one or three when removing a non-separating unbroken chain- vertex or a non-separating dipole. In order to prove Lemma 4.12, one needs to analyze the process of iterative removal of dipoles and chain vertices (first the non-separating ones and then the separating ones) – see again [19] for details. One can show that this process leads to a decorated tree of components. An illustration of this process transforming a scheme into some decorated tree is given in Fig. 21. The first drawing shows a reduced scheme G. Then, iteratively, one removes at each step a non-separating dipole or a non-separating chain-vertex (at each step the non-separating dipole or chain-vertex to be removed next is surrounded). Let G′ be the MO-graph with chain- vertices thus obtained (where colored edges are drawn bolder). As the last two drawings show, the removal of uncolored dipoles and chain-vertices (which are all separating) of G′ yields a tree of components (a tree edge is labelled cx if it comes from a chain-vertex of type x and is labelled dx if it comes from an uncolored dipole of type x). 16 A. Tanasa 4.2 Generating functions, asymptotic enumeration and dominant schemes Let us start this subsection by recalling that the generating function of rooted melonic graphs writes: T ( λ2 ) = 1 + λ2 ( T ( λ2 ))4 (4.1) (see Fig. 6). Let now Sδ be the (finite) set of reduced schemes of degree δ. For each S ∈ Sδ, let G (δ) S (u) be the generating function of rooted melon-free MO-graphs of reduced scheme S. Let p be half the number of non-root standard vertices of S, b the number of broken chain- vertices, a the number of unbroken chain-vertices of type L or R, se the number of even straight chain-vertices, and so the number of odd straight chain-vertices. The generating functions for • unbroken chains of type L (resp. R) is (λ2)2/(1− λ2), • the one for even straight chains is (λ2)2/(1− (λ2)2), • the one for odd straight chains is (λ2)3/(1− (λ2)2), • and the one for broken chains is (3λ2)2/(1 − 3(λ2)) − 3(λ2)2/(1 − λ2) = 6(λ2)2/((1 − 3λ2)(1− λ2)). Putting all of this together leads to G (δ) S ( λ2 ) = ( λ2 )p (λ2)2a (1− λ2)a (λ2)2se (1− (λ2)2)se (λ2)3so (1− (λ2)2)so 6b(λ2)2b (1− 3λ2)b(1− λ2)b . Denoting by c the total number of chain-vertices and by s = se + so the total number of straight chain-vertices, this expression simplifies to G (δ) S ( λ2 ) = 6b(λ2)p+2c+so (1− λ2)c−s(1− (λ2)2)s(1− 3λ2)b . Now, in order to take melons into considerations (see equation (4.1) above), recall that a rooted melon-free MO-graph with 2p non-root vertices has 4p+ 1 edges (since the root-edge is split into two edges, see the previous subsection) where one can insert a rooted melonic subgraph. Let us now define U ( λ2 ) := λ2T ( λ2 )4 = T ( λ2 ) − 1. The generating function F (δ) S (λ2) of rooted MO-graphs of reduced scheme S is then given by F (δ) S ( λ2 ) = T ( λ2 ) 6bU(λ2)p+2c+so (1− U(λ2))c−s(1− U(λ2)2)s(1− 3U(λ2))b . (4.2) Finally, the generating function F (δ)(λ2) of rooted MO-graphs of degree δ is simply given by F (δ) ( λ2 ) = ∑ S∈Sδ F (δ) S ( λ2 ) (see again [19] for details). The melon generating function has its main singularity at λ2c = 33 28 . The Multi-Orientable Random Tensor Model, a Review 17 Moreover, T (λ2c) = 4 3 , and( 1− 3U ( λ2 ))−b ∼λ→λc (23/23−1/2)−b(1− λ2/λ2c)−b/2. Therefore, using the expression (4.2), one concludes that the dominant schemes are those for which the number of broken chains b is maximized (the larger b, the larger singularity order). Using now an appropriate algorithm of iterative removal of broken chains (see again [19] for details), one obtains some tree of components. This allows to prove the following bound b ≤ 4δ − 1 on the number of broken chains. If this bound is saturated then: • all broken chains are separating, • the component containing the root has degree zero, • all the components of positive degree and the component containing the root are leaves of the tree and the remaining components (of degree zero) have three neighbors in the tree, • all positive degree components have degree 1/2. One can then prove (see again [19] for details) the following correspondence between these dominant schemes and rooted binary trees: Theorem 4.15. The dominant schemes of degree δ arise from rooted binary trees with • 2δ + 1 leaves, • 2δ − 1 inner nodes, • 4δ − 1 edges, where • the root-leaf is occupied by the rooted cycle-graph, • the 2δ leaves are occupied by a infinity graph, • the 2δ − 1 inner nodes are occupied by the cycle graph or the quadruple edge graph, • the 4δ − 1 edges are occupied by separating broken chain-vertices. Moreover, each rooted binary tree with 2δ + 1 leaves yields 26δ−2 dominant schemes. In Fig. 22, one has an illustration of this correspondence for the case δ = 2. Using Corollary VI.1 of [16], one has: Theorem 4.16. For δ and n in 1 2Z+, let a (δ) n be the number of rooted MO-graphs with 2n vertices and degree δ. Then, δ being fixed, for n ∈ δ + Z (and Γ(·) denoting the Euler gamma function), one has a(δ)n ∼ Cat2δ−1 · 3δ−3/2 22δ−5/2 · n2δ−3/2 Γ(2δ − 1/2) · ( 28/33 )n as n→∞, (4.3) and aδn+1/2 = O ( aδn/ √ n ) as n→∞. Recall that one can define a tadpole erasing mechanism which keeps the degree constant (see above). Using this mechanism for the 2δ tadpoles of a dominant scheme, one can prove the following planarity result: 18 A. Tanasa B B B BB B B (a) (b) root Figure 22. (a) A rooted binary tree with 5 leaves. (b) One of the 210 dominant schemes arising from it. B B B BB B B root B B B BB B root B ⇒ Figure 23. Planar redrawing of the scheme of Fig. 22. Theorem 4.17. Each rooted melon-free MO-graph whose reduced scheme is dominant is planar. An illustration of this planarity result is shown in Fig. 23 Moreover, one has: Corollary 4.18. For each fixed δ ∈ 1 2Z+ and for n ∈ δ + Z, the probability that a rooted MO-graph of degree δ with 2n vertices is planar tends to 1 as n→∞. This is a direct consequence of the fact that edge-substitution by melonic components pre- serves planarity, since it is these graphs which dominate the asymptotic expansion. In the planar case, rooted MO-graphs correspond (bijectively) to rooted 4-regular maps and the straight faces of the MO-graph identify to the knot-components of the map, and the number of straight faces is equal to V/2 + 1− δ, with V the number of vertices and δ the degree. Let us recall that straight faces are the closed circuits given by the straight stands of our tensor graphs. One can then prove: Proposition 4.19. For n ∈ 1 2Z+ and k ∈ Z+, let b (k) n be the number of rooted 4-regular planar maps with 2n vertices and k knot-components. Then b (k) n = 0 for k > n + 1. In addition, for each fixed δ ∈ 1 2Z+, and for n ∈ δ+Z, b (n+1−δ) n has the same asymptotic estimate as a (δ) n , given by (4.3). The Multi-Orientable Random Tensor Model, a Review 19 5 The double scaling limit Using the results of the previous section, we implement here the double scaling limit of the MO model. This follows the original article [27]. The contribution to the 2r-functions are given by the dominant schemes with r root edges (see [27]). Recall here that all the chains of these schemes are broken chains. Generalizing the results of the previous section, one can show (see again [27] for details) that the set of dominant schemes with degree δ and r roots, Sdomδ,r , consists in binary trees with r univalent root vertices and another 2δ univalent vertices. Such trees have 2δ+ r−2 three valent internal vertices and 4δ+2r−3 edges. The leading singular contribution to the 2r-point function is then K (1)sing 2r = N3(1−r) ∑ δ∈N/2 N−δ ∑ S∈Sdomδ,r T ( λ2 )r[ 22U ( λ2 )]δ[ 1 + 3U ( λ2 )]2δ+r−2 × ( 6[U(λ2)]2 [1− U(λ2)][1− 3U(λ2)] )4δ+2r−3 , (5.1) where for the two point function (r = 1) one needs to add the contribution T (λ2) of the degenerate dominant scheme consisting in a unique root vertex. In the double scaling limit one compensates the 1/N suppression of the higher order terms in the series in equation (5.1) by the enhancement at criticality due to the [1− 3U(λ2)]−1 factors. This is achieved by sending at the same time N to infinity and λ to criticality while keeping the double scaling parameter N 1 2 ( 1− λ2 λ2c ) ≡ κ−1, fixed. In the double scaling regime we get T ( λ2 ) ∼ 4 3 ( 1− √ 1 6κ √ N ) , 1− 3U ( λ2 ) ∼ √ 8 3κ √ N . 5.1 The two-point function The dominant schemes are rooted binary trees which are counted by the Catalan numbers: there are Catn−1 such trees with n− 1 three valent vertices, hence with n non root univalent vertices. The degree of the scheme is δ = n/2 and taking into account the contribution of the degenerate scheme consisting in a unique root vertex we obtain Ksing 2 = T ( λ2 ) + ∑ n≥1 Catn−1 1 N n 2 T ( λ2 )[ 22U ( λ2 )]n 2 [ 1 + 3U ( λ2 )]n−1 × ( 6[U(λ2)]2 [1− U(λ2)][1− 3U(λ2)] )2n−1 = T ( λ2 )( 1 + 1 N1/2 12 · U(λ2)5/2 [1− U(λ2)][1− 3U(λ2)] × ∑ n≥0 Catn ( 1 N1/2 72 · U(λ2)9/2[1 + 3U(λ2)] [1− U(λ2)]2[1− 3U(λ)]2 )n , 20 A. Tanasa which in the double scaling limit becomes KDS 2 = 4 3 ( 1− √ 1 6κ √ N ) + 4 3 1 N 1 4 √ κ 2 ∑ n≥0 Catn ( κ √ 3 2 )n = 4 3 ( 1− √ 1− 2 √ 3κ N 1 4 √ 6κ ) , where the sum over n converges for κ < 2−13− 1 2 . 5.2 The four-point function The dominant schemes are binary trees with two roots. There are again Catn−1 such trees with n− 1 three valent vertices, but this time they have n− 1 non root univalent vertices and degree δ = n−1 2 . We obtain K (1)sing 4 = N−3 ∑ n≥1 Catn−1 1 N n−1 2 T ( λ2 )2[ 22U ( λ2 )]n−1 2 [ 1 + 3U ( λ2 )]n−1 × ( 6[U(λ2)]2 [1− U(λ2)][1− 3U(λ2)] )2(n−1)+1 = N−3T ( λ2 )2( 6[U(λ2)]2 [1− U(λ2)][1− 3U(λ2)] ) × ∑ n≥0 Catn ( 1 N1/2 72 · U(λ2)9/2[1 + 3U(λ2)] [1− U(λ2)]2[1− 3U(λ)]2 )n . In the double scaling limit this becomes K (1)DS 4 = N−3+ 1 4 √ κ 8 √ 3 9 √ 2 ( 1− √ 1− 2 √ 3κ√ 3κ ) . Note that K (1)DS 4 is enhanced by a factor N 1 4 with respect to the natural N scaling of K (1) 4 . This is a consequence of the fact that the singularity of the generating function of dominant schemes boosts this four point function in double scaling. 5.3 The 2r-point function The dominant schemes are binary trees with r roots and the double scaling limit of K (1) 2r is K (1)DS 2r ∼ N3(1−r)N 1 4 (2r−3)f2r(κ), for some function f2r depending only on the double scaling parameter κ. As it was the case for the four-point function, the higher point functions are also boosted in double scaling with respect to their natural scaling in N . Let us emphasize on the fact that the functions f2r(κ) are convergent for 2 √ 3κ < 1 and exhibit a square root singularity at the critical double scaling coupling κc = 2−13− 1 2 . 6 Concluding remarks and perspectives We have reviewed in this paper the definition of the MO random tensor model and several QFT results (such as the large N expansion and the double scaling limit) related to this. From a combinatorial point of view, the dominant schemes at any order of the 1/N expansion have The Multi-Orientable Random Tensor Model, a Review 21 been identified and carefully studied (their shapes being shown to be naturally associated to rooted binary trees). A first perspective for future work appears to us to be the study from a probabilistic point of view of these MO dominant schemes. More concretely, it would be interesting to investigate to what phases these recently discovered configurations correspond. Let us recall that melon graphs correspond, from this point of view, to branched polymers [25]. A second, and maybe immediate, perspective for future work is the study of renormalizability of this type of tensor models, in the spirit of [5]. Obviously, one can also use non-trivial holonomy group data, thus making the contact with the original GFT framework, in the spirit of [10] or [11]. The drawback would of course be that one would need to add an ad-hoc propagator in the quadratic part of the MO action. A distinct line of research is then given by the extension of the MO framework to classes of tensor models taking into consideration larger and larger classes of Feynman graphs. As already emphasized here, with respect to the celebrated colored-like tensor models, the MO model enlarges the class of Feynman graphs to be considered, but there is no reason for whom this model would be the one leading to the largest possible class of Feynman graphs. On a more general basis, leaving aside the particular class of tensor models one chooses to work with, it appears to us that tensor models are now at a crucial point of their development. Thus, a first set of QFT questions have been answered (the implementation of the large N and double scaling limit mechanisms) for both the colored-like and MO frameworks. Nevertheless, crucial questions remain open at this point. From the physics perspective, maybe the most important ones are the one of the continuous limit of random tensor models and of the relation of this models to quantum gravity. Ideally, this would be obtained in the same way it is obtained in the 2D case, where the double-scaling mechanism allows to access the regime of finite, non-vanishing Newton constant (since the large N limit corresponds to the vanishing limit of the Newton constant, while the limit λ→ λc corresponds to the large volume limit, see again the review [14] or the papers [9, 15, 20]). From the combinatorics and mathematics perspective, an important result would be a gene- ralization of Schaeffer [35] or BDFG bijections [8], generalization which should allow to access information on the geodesic. Let us recall that, at 2D, the particular interest of these bijections it is exactly the fact that they allow to obtain geodesic information, information which is not accessible through standard QFT techniques. Another perspective is on our opinion the possibility of using tensor integrals to obtain coun- ting theorems for maps in three (or higher) dimensions. This would be of particular importance for the field of combinatorics, where no such counting results are not known through standard combinatorial techniques. Nevertheless, all these targets appear to us as particularly difficult to attend, since quantum gravity, geometry or topology in dimension higher than two are very much involved, both from a conceptual and from a technical point of view. Several attempts of mastering these concepts have been made so far, using various angles of attacks, in mathematics or physics. It thus remains for tensor models to obtain progress in these important directions of research in the future. Acknowledgements The author is partially supported by the grants ANR JCJC CombPhysMat2Tens and PN 09 37 01 02. 22 A. Tanasa References [1] Ambjørn J., Durhuus B., Jónsson T., Three-dimensional simplicial quantum gravity and generalized matrix models, Modern Phys. Lett. A 6 (1991), 1133–1146. [2] Avohou R.C., Rivasseau V., Tanasa A., Renormalization and Hopf algebraic structure of the five-dimensional quartic tensor field theory, J. Phys. A: Math. Theor. 48 (2015), 485204, 20 pages, arXiv:1507.03548. [3] Baratin A., Oriti D., Ten questions on Group Field Theory (and their tentative answers, J. Phys. Conf. Ser. 360 (2012), 012002, 10 pages, arXiv:1112.3270. [4] Ben Geloun J., Ramgoolam S., Counting tensor model observables and branched covers of the 2-sphere, Ann. Inst. Henri Poincaré D 1 (2014), 77–138, arXiv:1307.6490. [5] Ben Geloun J., Rivasseau V., A renormalizable 4-dimensional tensor field theory, Comm. Math. Phys. 318 (2013), 69–109, arXiv:1111.4997. [6] Bonzom V., Combes F., The calculation of expectation values in Gaussian random tensor theory via mean- ders, Ann. Inst. Henri Poincaré D 1 (2014), 443–485, arXiv:1310.3606. [7] Bonzom V., Combes F., Tensor models from the viewpoint of matrix models: the cases of loop models on ran- dom surfaces and of the Gaussian distribution, Ann. Inst. Henri Poincaré D 2 (2015), 1–47, arXiv:1304.4152. [8] Bouttier J., Di Francesco P., Guitter E., Geodesic distance in planar graphs, Nuclear Phys. B 663 (2003), 535–567, cond-mat/0303272. [9] Brézin É., Kazakov V.A., Exactly solvable field theories of closed strings, Phys. Lett. B 236 (1990), 144–150. [10] Carrozza S., Tensorial methods and renormalization in group field theories, Springer Theses, Springer, Cham, 2014, arXiv:1310.3736. [11] Carrozza S., Discrete renormalization group for SU(2) tensorial group field theory, Ann. Inst. Henri Poincaré D 2 (2015), 49–112, arXiv:1407.4615. [12] Dartois S., Gurau R., Rivasseau V., Double scaling in tensor models with a quartic interaction, J. High Energy Phys. 2013 (2013), no. 9, 088, 33 pages, arXiv:1307.5281. [13] Dartois S., Rivasseau V., Tanasa A., The 1/N expansion of multi-orientable random tensor models, Ann. Henri Poincaré 15 (2014), 965–984, arXiv:1301.1535. [14] Di Francesco P., Ginsparg P., Zinn-Justin J., 2D gravity and random matrices, Phys. Rep. 254 (1995), 1–133, hep-th/9306153. [15] Douglas M.R., Shenker S.H., Strings in less than one dimension, Nuclear Phys. B 335 (1990), 635–654. [16] Flajolet P., Sedgewick R., Analytic combinatorics, Cambridge University Press, Cambridge, 2009. [17] Freidel L., Group field theory: an overview, Internat. J. Theoret. Phys. 44 (2005), 1769–1783, hep-th/0505016. [18] Freidel L., Gurau R., Group field theory renormalization in the 3D case: power counting of divergences, Phys. Rev. D 80 (2009), 044007, 20 pages, arXiv:0905.3772. [19] Fusy E., Tanasa A., Asymptotic expansion of the multi-orientable random tensor model, Electron. J. Combin. 22 (2015), 1.52, 30 pages, arXiv:1408.5725. [20] Gross D.J., Migdal A.A., Nonperturbative two-dimensional quantum gravity, Phys. Rev. Lett. 64 (1990), 127–130. [21] Gurau R., The 1/N expansion of colored tensor models, Ann. Henri Poincaré 12 (2011), 829–847, arXiv:1011.2726. [22] Gurau R., Colored group field theory, Comm. Math. Phys. 304 (2011), 69–93, arXiv:0907.2582. [23] Gurau R., Rivasseau V., The 1/N expansion of colored tensor models in arbitrary dimension, Europhys. Lett. 95 (2011), 50004, 5 pages, arXiv:1101.4182. [24] Gurau R., Ryan J.P., Colored tensor models – a review, SIGMA 8 (2012), 020, 78 pages, arXiv:1109.4812. [25] Gurau R., Ryan J.P., Melons are branched polymers, Ann. Henri Poincaré 15 (2014), 2085–2131, arXiv:1302.4386. [26] Gurau R., Schaeffer G., Regular colored graphs of positive degree, arXiv:1307.5279. [27] Gurau R., Tanasa A., Youmans D.R., The double scaling limit of the multi-orientable tensor model, Euro- phys. Lett. 111 (2015), 21002, 6 pages, arXiv:1505.00586. http://dx.doi.org/10.1142/S0217732391001184 http://dx.doi.org/10.1088/1751-8113/48/48/485204 http://arxiv.org/abs/1507.03548 http://dx.doi.org/10.1088/1742-6596/360/1/012002 http://arxiv.org/abs/1112.3270 http://dx.doi.org/10.4171/AIHPD/4 http://arxiv.org/abs/1307.6490 http://dx.doi.org/10.1007/s00220-012-1549-1 http://arxiv.org/abs/1111.4997 http://dx.doi.org/10.4171/AIHPD/13 http://arxiv.org/abs/1310.3606 http://dx.doi.org/10.4171/AIHPD/14 http://arxiv.org/abs/1304.4152 http://dx.doi.org/10.1016/S0550-3213(03)00355-9 http://arxiv.org/abs/cond-mat/0303272 http://dx.doi.org/10.1016/0370-2693(90)90818-Q http://dx.doi.org/10.1007/978-3-319-05867-2 http://arxiv.org/abs/1310.3736 http://dx.doi.org/10.4171/AIHPD/15 http://dx.doi.org/10.4171/AIHPD/15 http://arxiv.org/abs/1407.4615 http://dx.doi.org/10.1007/JHEP09(2013)088 http://dx.doi.org/10.1007/JHEP09(2013)088 http://arxiv.org/abs/1307.5281 http://dx.doi.org/10.1007/s00023-013-0262-8 http://dx.doi.org/10.1007/s00023-013-0262-8 http://arxiv.org/abs/1301.1535 http://dx.doi.org/10.1016/0370-1573(94)00084-G http://arxiv.org/abs/hep-th/9306153 http://dx.doi.org/10.1016/0550-3213(90)90522-F http://dx.doi.org/10.1017/CBO9780511801655 http://dx.doi.org/10.1007/s10773-005-8894-1 http://arxiv.org/abs/hep-th/0505016 http://dx.doi.org/10.1103/PhysRevD.80.044007 http://arxiv.org/abs/0905.3772 http://arxiv.org/abs/1408.5725 http://dx.doi.org/10.1103/PhysRevLett.64.127 http://dx.doi.org/10.1007/s00023-011-0101-8 http://arxiv.org/abs/1011.2726 http://dx.doi.org/10.1007/s00220-011-1226-9 http://arxiv.org/abs/0907.2582 http://dx.doi.org/10.1209/0295-5075/95/50004 http://dx.doi.org/10.1209/0295-5075/95/50004 http://arxiv.org/abs/1101.4182 http://dx.doi.org/10.3842/SIGMA.2012.020 http://arxiv.org/abs/1109.4812 http://dx.doi.org/10.1007/s00023-013-0291-3 http://arxiv.org/abs/1302.4386 http://arxiv.org/abs/1307.5279 http://dx.doi.org/10.1209/0295-5075/111/21002 http://dx.doi.org/10.1209/0295-5075/111/21002 http://arxiv.org/abs/1505.00586 The Multi-Orientable Random Tensor Model, a Review 23 [28] Oriti D. (Editor), Approaches to quantum gravity: toward a new understanding of space, time and matter, Cambridge University Press, Cambridge, 2009. [29] Oriti D., The quantum geometry of tensorial group field theories, in Symmetries and Groups in Contem- porary Physics, Nankai Ser. Pure Appl. Math. Theoret. Phys., Vol. 11, World Sci. Publ., Hackensack, NJ, 2013, 379–384, arXiv:1211.5714. [30] Raasakka M., Tanasa A., Combinatorial Hopf algebra for the Ben Geloun–Rivasseau tensor field theory, Sém. Lothar. Combin. 70 (2013), B70d, 29 pages, arXiv:1306.1022. [31] Raasakka M., Tanasa A., Next-to-leading order in the large N expansion of the multi-orientable random tensor model, Ann. Henri Poincaré 16 (2015), 1267–1281, arXiv:1310.3132. [32] Rivasseau V., Non-commutative renormalization, in Quantum Spaces, Prog. Math. Phys., Vol. 53, Birkhäuser, Basel, 2007, 19–107. [33] Rivasseau V., The tensor track, III, Fortschr. Phys. 62 (2014), 81–107, arXiv:1311.1461. [34] Sasakura N., Tensor model for gravity and orientability of manifold, Modern Phys. Lett. A 6 (1991), 2613– 2623. [35] Schaeffer G., Bijective census and random generation of Eulerian planar maps with prescribed vertex degrees, Electron. J. Combin. 4 (1997), 20, 14 pages. [36] Tanasa A., Combinatorics of random tensor models, Proc. Rom. Acad. Ser. A Math. Phys. Tech. Sci. Inf. Sci. 13 (2012), 27–31, arXiv:1203.5304. [37] Tanasa A., Multi-orientable group field theory, J. Phys. A: Math. Theor. 45 (2012), 165401, 19 pages, arXiv:1109.0694. [38] Tanasa A., Tensor models, a quantum field theoretical particularization, Proc. Rom. Acad. Ser. A Math. Phys. Tech. Sci. Inf. Sci. 13 (2012), 225–234, arXiv:1211.4444. http://dx.doi.org/10.1142/9789814518550_0051 http://arxiv.org/abs/1211.5714 http://arxiv.org/abs/1306.1022 http://dx.doi.org/10.1007/s00023-014-0336-2 http://arxiv.org/abs/1310.3132 http://dx.doi.org/10.1007/978-3-7643-8522-4_2 http://dx.doi.org/10.1002/prop.201300032 http://arxiv.org/abs/1311.1461 http://dx.doi.org/10.1142/S0217732391003055 http://arxiv.org/abs/1203.5304 http://dx.doi.org/10.1088/1751-8113/45/16/165401 http://arxiv.org/abs/1109.0694 http://arxiv.org/abs/1211.4444 1 Introduction 2 Definition of the model 3 The 1/N expansion and the large N limit 3.1 Feynman amplitudes; the 1/N expansion 3.2 The large N limit – the leading order (melonic graphs) 3.3 The large N limit – the next-to-leading order 3.4 Leading and next-to-leading order series 3.4.1 Leading order series 3.4.2 Next to leading order series 4 Some combinatorial developments 4.1 Dipoles, chains, schemes and all that 4.2 Generating functions, asymptotic enumeration and dominant schemes 5 The double scaling limit 5.1 The two-point function 5.2 The four-point function 5.3 The 2r-point function 6 Concluding remarks and perspectives References