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...
Gespeichert in:
Datum: | 2016 |
---|---|
1. Verfasser: | |
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 Ukraineid |
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
|