arxiv: v1 [math.co] 3 Jul 2018

Transcription

1 On the number of coloure triangulations of -manifols Guillaume Chapuy CNRS, RF UMR 843, Université Paris-Dierot, France. Guillem Perarnau School of Mathematics, University of Birmingham, Unite Kingom. arxiv:807.00v [math.co] 3 Jul 08 July 4, 08 Abstract We give superexponential lower an upper bouns on the number of coloure -imensional triangulations whose unerlying space is a manifol, when the number of simplices goes to infinity an 3 is fixe. n the special case of imension 3, the lower an upper bouns match up to exponential factors, an we show that there are Θ(n) n n 6 coloure triangulations of 3-manifols with n tetrahera. Our results also imply that ranom coloure triangulations of 3-manifols have a sublinear number of vertices. Our upper bouns apply in particular to coloure -spheres for which they seem to be the best known bouns in any imension 3, even though it is often conjecture that exponential bouns hol in this case. We also ask a relate question on regular ege-coloure graphs having the property that each 3-coloure component is planar, which is of inepenent interest. ntrouction an main results A famous question, sometimes attribute to Gromov [6, 3] but going back at least to Durhuus an Jónsson [], asks whether for any imension the number of inequivalent triangulations of the -sphere by n unlabelle simplices is boune by K n for some constant K = K(). n imension =, it is not ifficult to see that the answer is yes by noticing that each planar triangulation can be encoe by a spanning tree an a parenthesis wor (one can also use the explicit formula ue to Tutte [0]). n imension 3, this question is open. n the pioneering paper [], Durhuus an Jónsson introuce a subclass of triangulate spheres calle locally constructible, or LC, an showe that their number is exponentially boune. They conjecture that all 3-spheres are LC, but this was isprove many years later by Beneetti an Ziegler in [6]. Other subclasses of spheres with exponential growth have been consiere [5, 5,, 9, ], but the question remains wie open. A motivation for the stuy of triangulations comes from the iscretization of space in quantum gravity, see [3, 7]. Recently there has been a renewe interest in this topic via coloure tensor moels, which are a higher imensional generalization of matrix integrals, see [4, 8]. The objects Support from the European Research Council, grant ERC-06-STG CombiTop. guillaume.chapuy@irif.fr. g.perarnau@bham.ac.uk. G.P. acknowleges an invitation in Paris fune by the ERC grant CombiTop, uring which this project was avance.

2 that naturally arise in these moels are coloure triangulations: roughly speaking, a triangulation is coloure if the vertices are coloure with colours from to +, an all colours appear in each -simplex. These triangulations are efine by gluing in pairs the facets (( )-imensional faces) in a family of n abstract coloure -simplices, an nee not be simplicial precise efinitions are given below. Because each triangulation can be mae coloure by an appropriate barycentric subivision that multiplies the number of simplices by a factor that only epens on, the answer to the Gromov question is the same for coloure an uncoloure triangulations. n this paper we will work only with coloure triangulations, that are nicer an more natural as combinatorial objects. n [6], Rivasseau showe that the number of coloure triangulations of the -sphere with n labelle simplices grows at most like n ( + )n up to exponential factors of the form K n. This boun improves the trivial boun n ( + )n which counts all complexes obtaine by arbitrary gluings of n labelle -simplices along their facets, up to exponential factors. Equivalently there are at most n ( 3 + )n inequivalent (unlabelle) coloure triangulations of the -sphere with n -simplices up to exponential factors, which as far as we know was prior to this work the best known upper boun in the irection of Gromov s question. This naturally raises the question of improving further the constants riving this superexponential growth. n this paper we aress this question, but uner a weaker topological constraint: instea of consiering -spheres, we consier triangulations whose unerlying space is a -manifol. Since spheres are manifols, the superexponential upper bouns that we obtain for -manifols apply in particular to -spheres, an in fact they improve the ones of [6]. We also give superexponential lower bouns obtaine by explicit constructions (of course these lower bouns o not apply to -spheres). Our lower an upper superexponential bouns match in imension = 3, but a gap remains in higher imension. Our main result, Theorem below, summarizes these results.. Notation We will mostly be intereste in the superexponential growth of the sequences we consier, i.e. we will often isregar factors of the form K n, an for this we will use the following notation f(n) g(n) iff K > 0 such that for n large enough, f(n) K n g(n) () f(n) g(n) if f(n) g(n) an g(n) f(n). () Moreover, in all asymptotic statements in this paper, it is implicitely assume that is constant an n goes to infinity with ( + )n being even.. Main results For, n, we let M (n) be the number of coloure -imensional triangulations of orientable manifols, with n -simplices labelle from to n (see formal efinition in Section.). Here an everywhere in this paper, a manifol is a topological manifol. Theorem (Main results). For all 3 with 4 we have n n n! M (n) n ( 6 +( 3) 3 0)n, (3)

3 an for = 4 we have n n 8 n! M 4(n) n n 3. Since the upper an lower bouns in (3) match in imension = 3, we obtain: Corollary. The number of coloure triangulations of orientable 3-manifols with n labelle tetrahera satisfies n! M 3(n) n n 6. These results raise the question of etermining the constant α := lim sup n log(m (n)/n!). n log n Our main theorem shows that α 3 = /6, α 4 [ 8, 3 ], an for 5 α 3 + ( 3) 6 0, (4) which leaves an important gap especially for large. We believe that the lower boun is closer to the truth, an we conjecture that α goes to zero when goes to infinity..3 Aitional results, relate work an comments n the uncoloure setting, the fact that the number of triangulate 3-manifols with n unlabelle tetrahera grows at least as n ɛn for explicit positive values of ɛ was prove in [] (see also [4]). Their construction is base on Heegar gluings of high genus triangulations an inspire our general lower boun construction. Using the istribution of short cycles in the configuration moel [], in [0] it was prove that the probability the unerlying space of a 3-imensional triangulation with n unlabelle tetrahera is a 3-manifol is o(). t may be possible to make the argument in [0] quantitative in orer to obtain an upper boun for the number triangulate 3-manifols of the form n ( ɛ)n for an explicit ɛ > 0. However, the uncoloure case seems combinatorially more involve than the one we aress here, an this woul probably not lea to a sharp value of ɛ as the one we have here in the coloure case. n fact our upper bouns exten to a much larger class of triangulations than -manifols, roughly speaking to triangulations whose resiues with a small number of colours are spheres. See Theorem 8 on Section 3. for our most general upper bouns. Moreover for (manifol) homology -spheres of imension = 4, we obtain a slightly better upper boun than the one we have for M 4 (n). Finally, it is natural to ask if our enumerative results have probabilistic consequences, especially in imension = 3 where our upper an lower bouns match. Because they match only up to exponential factors, the only events that there is hope to control are the ones with exponentially small probability. nee we can show, as a corollary of our proofs: Theorem 3. Let V n be the number of vertices in a coloure 3-imensional triangulation with n labelle tetrahera whose unerlying space is an orientable 3-manifol, chosen uniformly at ranom. Then V n = O( n log n ) with high probability. More precisely, for all c > 0 there exists K such that for all n, ( Pr V n Kn ) e cn. log n 3

4 4 4 3 rear faces 3 rear faces Figure : A ( + )-colourful graph G with = 3 an n = 4, an the corresponing cell complex. The resulting space X(G) is a 3-sphere an easy way to see that is to perform first the six nonre gluings, which clearly gives two isjoint 3-balls, that are then glue along their bounary via the re gluings. Note that the complex X(G) is not simplicial, since the two tetrahera on each sie share the same set of vertices. Since the sphere is a manifol, this object contributes to the number M 3 (4). t is natural to expect that the number of vertices is in fact O(log n) with high probability as in the -imensional case, but our techniques o not enable to prove it. Colourful graphs an triangulations. Definitions Definition. For, a (+)-colourful graph of orer n is a bipartite (+)-regular multigraph on [..n], equippe with a colouring of its eges with colours in [.. + ], such that each vertex is incient to all colours. We equip the colourful graph with a colouring of its vertex set, where one part of the bipartition is assigne colour white an the other one, colour black. Given a ( + )-colourful graph G, we can construct a topological object as follows. For each v [..n], we consier an abstract -simplex, an we colour its vertices from to ( + ). Apart from these colours, the vertices of each simplex are unlabelle. We see each simplex as a soli boy being a copy of the regular -simplex {x + + x + =, x i 0} equippe with its Eucliean topology. Now for each ege e = {u, v} of G of colour i, we consier the unique facet in each of the two simplices corresponing to u an v, whose vertices are coloure by [..+] \ {i}. We glue these two facets together accoring to the unique isometric gluing that preserves colours, an we repeat this proceure for each ege of G. We call X(G) the corresponing cell complex. Complexes obtaine in this way are calle labelle -imensional coloure triangulations. We enote by X(G) the resulting topological space, an we observe that it is orientable because G is bipartite. Note that one can recover the graph G from the triangulation X(G) by taking its ual graph, in which vertices correspon to highest imensional cells an eges to ( )-imensional inciences between these cells. While for = the space X(G) is always a manifol, we emphasize that if 3 this is not always the case. 4

5 Definition. We let M (n) be the number of (+)-colourful graphs G on [..n] such that X(G) is a -manifol. As in the introuction, M (n) can also be efine as the number of coloure -imensional triangulations with n -simplices labelle from to n whose unerlying space is an orientable manifol.. Homology an resiues Let G be a (+)-colourful graph an [..+]. We let G be the graph on the same vertex set as G, keeping only the eges whose colour is in. Up to relabelling colours keeping their relative natural orer, G is an -colourful graph associate with some coloure triangulation X(G ) of imension. t is easy to see that connecte components of G are in bijection with ( + )-imensional cells of X(G) whose colours o not belong to. For a proof, see [7] in which these connecte components are calle resiues of G. For example, for each i [.. + ], vertices of X(G) of colour i are in bijection with connecte components of G for = [.. + ] \ {i}. n this paper we will work with singular homology of topological spaces. We efine a rational homology sphere of imension as a topological space which has the same homology groups over the fiel of rationals as a -sphere. Equivalently, all its Betti numbers are zero, except the 0-th an -th ones that are equal to one. We insist on the fact that no other property is require in this efinition, in particular a rational homology sphere is not necessarily a manifol. Note that each integral homology sphere is a rational homology sphere, but the converse is not true in general. Proposition 4. Let G be a ( + )-colourful graph, an consier the three following properties (i) For any [.. + ] such that, X(G ) is a isjoint union of spheres (of imension ); (ii) X(G) is a -manifol; (iii) For any [.. + ] such that, X(G ) is a isjoint union of rational homology spheres (of imension ). Then one has: (i) (ii) (iii). Proof. Let H be a connecte component of G, an let σ be the c -coloure cell of X(G) corresponing to H. Let b σ be the barycentre of σ, which is a vertex in the barycentric subivision X(G) of X(G). t is easy to check (see [7, Proposition.5] an the sentence before it for a proof) that the topological join X(H) (δσ) is the link of b σ in X(G) (in the case where =, i.e. σ is a 0-simplex, we conventionally unerstan this join as being just X(H) ; in the case where =, i.e. H is just one ege, we conventionally unerstan X(H) as the isjoint union of two isolate vertices). Therefore the implication (i) (ii) is clear. Let us prove (ii) (iii). Let U = X(H) an V = (δσ), we have the isomorphism H k (U V ) H k+ (U V ) H k (U) H k (V ), 5

6 where k 0 an H k is the k-th reuce homology group over the rationals. By taking ranks, multiplying by x k an summing over k, we get P U V (x) = x ( P U V (x) P U V (0) ) + P U (x) + P V (x), where P X enotes the Poincaré polynomial of the topological space X. Now if X(G) is a manifol, so is X(G), an since X(G) is a simplicial complex, the link U V is a homology sphere, see e.g. [8, Prop. 5..4]. We thus have P U V (x) = +x, an since P U V = P U P V we finally obtain (P U (x) )(P V (x) ) = x. Since P U = P X(H) has egree, it follows that P U (x) = x, i.e. X(H) is a rational homology sphere. Remark. n the special case = 3, say = {i, j, k} with i < j < k, the graph G is a 3-ege coloure bipartite cubic graph. We can efine an embeing of G in an orientable surface by efining the clockwise orer of eges to be (i, j, k) aroun white vertices an (i, k, j) aroun black vertices. This enables us to view the graph G as an embee graph, an it is easy to see that it is the ual of the complex X(G ), which is a surface triangulation. n particular, if X(G) is a manifol, then for any with = 3 the complex X(G ) is a isjoint union of spherical triangulations by Proposition 4, an each connecte component of the embee graph G is a plane graph with the canonical embeing just efine..3 A question about 3-planar colourful graphs Let H (n) be the class of ( + )-colourful graphs on [..n] having the following property: (P): For any subset of colours [.. + ] such that = 3, the embee graph G is planar. From Remark, colourful graphs associate to manifols satisfy property (P ), an this fact is important in the proof of our upper bouns. We o not expect H (n) := H n () an M (n) to have the same superexponential growth, an in fact the proof of our main upper boun uses more than property (P ). However etermining the growth of H (n) is a purely graph-theoretic question of inepenent interest. Let β := lim sup n log(h (n)/n!). n log n Our proofs show that β 3 = 6 an that for 4 6 β 6. (5) Determining β is an interesting problem on its own. Moreover, since α β, a substantial improvement of the upper boun on β, woul lea to an improvement of our main result. The problem of etermining β seems much more tractable a priori than the one of etermining α. On the other han, we believe that α an β have ifferent asymptotic behaviour, so it is unlikely that one can obtain a tight upper boun on α using β, for 4. 6

7 3 Upper bouns 3. Main lemmas We now fix a ( + )-colourful graph G on [..n]. For J [.. + ] we let κ J be the number of connecte components of the graph G J. For small values of J we rop brackets in the notation, for example κ i,j = κ {i,j}. For [.. + ] with = ˆ + an for r [0.. ˆ + ], we also let κ (r) := J J =r Note that κ (r) is the number of cells of X(G ) of imension ( ˆ r). n particular, κ (0) = n is the κ J. number of ˆ-simplices. Note also that, because G is ( ˆ + )-regular, we have κ () = ˆ+ n. Moreover, if ˆ is even an if X(G ) is a isjoint union of rational homology ˆ-spheres, the Euler-Poincaré formula states that ˆ r=0 ( ) r κ (r) = κ ( ˆ+) (6) Lemma 5. Let [.. + ] with = 3 such that X(G ) is a isjoint union of -spheres. Then there exist istinct i, j such that κ i,j κ n 6. (7) Proof. The Euler-Poincaré formula (6) for ˆ = implies κ (0) Since κ (0) = n an κ () = 3n/, we obtain + κ() = κ () + κ(3). κ () = κ (3) + n = κ + n. By averaging over pairs of colours in, there exist istinct i, j such that κ i,j κ 3 + n 6 κ + n 6. (8) Lemma 6. Let [..+] with = 5 such that X(G ) is a isjoint union of rational homology 4-spheres. Then there exist istinct i, j, k such that κ i,j κ i,j,k 3 n. (9) 0 7

8 Proof. The Euler-Poincaré formula (6) for ˆ = 4 implies κ (0) + κ() + κ(4) = κ () + κ(3) + κ(5), Since by eleting a colour the number of connecte components can only increase, we have κ (4) 5κ (5) an in particular κ (4) κ (5). Since κ(0) = n an κ () = 5n/, we obtain or equivalently, 3 i,j,k κ () κ (3) + 3n, (κ i,j + κ j,k + κ k,i ) i,j,k Thus, there exists a triple of istinct i, j, k satisfying κ i,j + κ j,k + κ k.i 3κ i,j,k + 9n 0. ( κ i,j,k + 3n ) 0 Therefore, up to relabelling i, j, k, so that κ i,j is the smallest term in the left-han sie, we obtain κ i,j κ i,j,k + 3n 0. Remark. t is natural to expect that by using the Euler-Poincaré formula for rational homology spheres of higher imensions one coul obtain variants of Lemmas 5 an 6 with graual improvements of the constants 6, 3 0 as the imension gets higher. However this oes not seem to be the case at least not without new ieas. Similarly, we have not been able to obtain any improvement by looking at the whole set of Dehn-Sommerville equations rather than only the Euler-Poincaré formula, in any imension. Lemma 7. Let C be a -colourful graph on [..n] with κ, = c connecte components. Then the number of 3-colourful planar graphs G on [..n] with k components such that G {,} = C, is at most O(n) n c k, uniformly in c an k. Proof. We will boun the number of graphs G satisfying the require properties by showing how to construct such graphs in two steps. n Step, we boun the number of ways to construct a minimal subgraph H of G that contains C an has the same connecte components as G (hence k connecte components). Then in Step, we boun the number of ways to exten H to G, preserving planarity. We let l,..., l c be the lengths of the {, }-cycles in C. Step. The subgraph H consists of C together with k c extra eges that connect components of C together. We encoe H using a labelle plane forest F on [..c] with k components, a binary string w of length n an a string w [..l ] [..l c ]. The vertices of the forest correspon to the cycles of C, say orere by increasing minimum vertex, an the eges of the forest etermine which cycles are connecte together with eges of colour 3 in H. We use w an w to specify the attachment of the eges of colour 3 between cycles as follows. We explore F component by component using a clockwise DFS, using the minimum vertex yet unexplore as root for each new component. At the same time, we a eges of colour 3 to C as follows. The wor w inicates which vertices of [..n] are ajacent to an ege of colour 3 in H.. 8

9 The wor w specifies the vertex to which an ege of colour 3 connects the first time a cycle is visite in the DFS exploration. Note that once we have attache the first ege of colour 3 to a cycle, this fixes the orer in which the other eges of colour 3 appear along the same cycle. Clearly, given the choice of a plane forest an two wors, there is at most one way to connect the cycles in C with eges of colour 3 that is compatible with them. To boun from above the number of ways to construct H, we boun the total number of encoings. There are at most n choices for w an c i= l i choices for w. From the arithmeticgeometric mean inequality an since c j= l j = n, it follows that ( c c j= l i l ) c ( j n ) ( c n = c c c) n. i= Moreover, ( the number of labelle plane forests with m vertices an k components is at most m! m k ) k! m. nee, an unlabelle plane forest with k orere components an m vertices can be encoe by its Lukaciewicz path (see e.g. [9, Chap. 5]) which is a path with m k up-steps an m own steps. The number of inequivalent ways to label the vertices is at most m!, an once vertices are labelle all the k! possible orerings of components are inequivalent. Since m!/k! = m(m )... (k + ) m m k, this shows that the number of choices for H is at most 3n n c k an conclues the iscussion on Step. Step. Given the choice of H, we now boun the number of ways to exten it to a 3-colourful planar graph G with the same number of components. We first a a new half-ege to each vertex of H not alreay incient to an ege of colour 3. The eges of G H can be seen as a perfect matching on these half-eges. Now, because G is planar an has the same number of components as H, the eges of this perfect matching form a non-crossing arch system aroun each face of H. The matching of these half-eges can therefore be encoe by a well-forme parenthesis wor of length equal to the number of half-eges. This shows that the number of ways to construct G from H is at most n. The lemma follows from the bouns obtaine in Step an Step. 3. nuction on imension an proof of upper bouns in Theorem The upper bouns in Theorem easily follow from the implication (ii) (iii) in Proposition 4 together with Lemmas 5, 6 an 7, as we now show. n fact, we are going to show a more general result. Definition 3. For, n, we let N (n) be the set of ( + )-colourful graphs on [..n] having the property that for each [..] with {3, 5} an, the space X(G ) is a isjoint union of rational homology spheres. We let S (n) be the set of graphs such that X(G) is a manifol an is a rational homology sphere. We let N (n) = N (n) an S (n) = S (n). Theorem follow irectly from the next result. Theorem 8. For all 3 with 4 we have As M (n) N (n), the upper bouns in n! N (n) n ( 6 +( 3) 3 0)n, (0) 9

10 an for = 4 we have Moreover for any 3 we have We first state a lemma. n! N 4(n) n n 3. () n! S (n) n ( 6 +( 3) 3 0)n. () Lemma 9. Suppose we are given, for each an n, a family A (n) of ( + )-colourful graphs on [..n] such that: (a) For any 3, any G A (n), an any colour i [.. + ], the -colourful graph obtaine from G by removing all eges of colour i belongs to A (n); (b) For each [..] with = 3, the embee graph G is plane; (c) There exists a sequence (a ) 3 such that for any 3 an any G A (n), there exists a triple of istinct colours i, j, k [.. + ] such that κ i,j κ i,j,k a n. Then, we have n! A (n) n (a 3+a 4 + +a )n Proof of Lemma 9. The proof procees by inuction on. For =, Property (b) implies that G is planar. The number of planar cubic multigraphs with n labelle vertices is at most n!k n for some constant K, an for each graph, there is an exponential number of colourings of the eges using 3 colours. t follows that A (n) n n. Let 3, an let G A (n). Take any triple of colours i, j, k as in Property (c). The graph G is the union of the graph G [..+]\{k} an the graph G {i,j,k}. By inuction an Property (a), there are at most n (a 3+a 4 + +a )n choices for the first graph. By Property (b), the secon graph is planar, so by Lemma 7 there at most n an ways to choose it once the eges of colour i an j have been place. Proof of Theorem 8 an of the upper boun in (5). We apply Lemma 9 with several ifferent sequences A (n) epening on which boun we want to obtain. We first choose choose A (n) = N (n) for 4 an A 4 (n) = S 4 (n). This sequence satisfies Property (a) an (b) by efinition. We can then take a 3 = 6 by Lemma 5, an a = 3 0 for 4 by Lemma 6. This implies both (0) an the case = 4 of (). f we choose A (n) = N (n) for all, we can take a 3 = a 4 = 6 an a = 3 0 for 5, which gives a less goo boun in general but is the best we can o for = 4, proving (). f we choose A (n) = H (n) for all, then by Lemma 5 we can take a = 6 for all, hence proving (5). t only remains to prove () for 4. But this is a irect consequence of (0) since S (n) N (n). The number of unlabelle embee planar multigraphs with 3n eges is boune by K n for some K > 0, which follows either by a spanning tree argument or by exact counting formulas [0] as recalle in the introuction. Here since we have n vertices, the labelling multiplies by at most n!. 0

11 4 Lower bouns The goal of this section is to construct many triangulate -imensional manifols. We will use the implication (i) (ii) in Proposition 4 to ensure that the complexes we construct are manifols. n orer to ensure that the resiues are spheres, our strategy will be to create them in such a way they satisfy the stronger property of being locally constructible, which is the following property introuce by Durhuus an Jónsson []. Definition 4. For, let X be a pure -imensional triangulate pseuomanifol with n simplices. A local construction for X is a sequence X,..., X l with l = ( + )n/ + such that X i is a -imensional triangulate pseuomanifol for each i, an () X is a simplex; () if i n, then X i+ is obtaine from X i by gluing a new -simplex to X i alongsie one of the ( )-simplices of X i ; (3) if i n, then X i+ is obtaine from X i by ientifying a pair of ( )-simplices of X i whose intersection contains a ( )-simplex; (4) X l = X. We say that X is locally constructible (LC) if it has a local construction. n [], the authors prove that any LC manifol is a sphere. reformulate as n our context, this can be Lemma 0. Let H be a (k + )-colourful connecte graph. Suppose that there exists a spanning tree T of H, an a sequence of eges e,..., e s such that E(H T ) = {e,..., e s } an e j belongs to a bicoloure cycle in H j, where H j = ([..n], E j ) with E j = E(T ) {e,..., e j }. Then X(H) is a sphere. Proof. Let f,..., f n be the sequence of the eges of T traverse in a DFS exploration of it starting at. Then, the sequence of eges f,..., f n, e,..., e s yiels a local construction for X(H), by letting X be the k-simplex corresponing to vertex an X i+ be obtaine from X i by gluing the two facets of the k-simplices corresponing to u an v that o not contain the colour of uv, where uv is the i-th ege in the sequence. The conition that f,..., f n is a DFS orer implies (b) an the conition that e j belongs to a bicoloure cycle in H j implies (c). t follows that X(H) is LC, an by the result of Durhuus an Jónsson in [] (see also [6]), X(H) is a k-sphere. We will use this lemma to prove our lower bouns. Proof of lower bouns in Theorem. Let k N. Consier the multigraph G 0 = (V 0, E 0 ) efine as follows. Let A = {a,..., a k }, A = {a,..., a k }, B = {b,..., b k }, B = {b,..., b k } an

12 V 0 = A A B B, thus G 0 has orer n = 4k. The ege multiset is efine as E P = {x i x i+ : x {a, a, b, b }, i [..k ]} {a a, b b }, E V = {e i (j) = a i b i : i [..k], j [..], i / {j, j + } (mo )} {e k () = a k b k }, E V = {e i(j) = a ib i : i [..k], j [..], i / {j, j + } (mo )} {e k () = a k b k }, E R = {e i ( + ) = a i b i : i [..k], i 0 (mo )}, E R = {e i( + ) = a ib i : i [..k], i 0 (mo )}, E 0 = E P E V E V E R E R. We colour the eges x i x i+ E P with colour i + (mo ), the eges a a an b b with colour, an the eges e i (j) an e i (j) with colour j. We will use the graph G 0 as a basis to construct many ( + )-colourful graphs. Observe that the vertices x i with x {a, a, b, b } have egree if i = 0 (mo ) an egree + otherwise. Let σ, τ be permutations of length k. The graph G = G(σ, τ) is constructe from G 0 by aing the eges a i a σ(i) an b ib τ(i) with colour +. Observe that G is a ( + )-colourful graph (see Figure ). Note that the coloure automorphism group of G (automorphisms of G that preserve the ege-colouring) has size at most 4. Therefore, there are at least (k!) n!/4 n n/ n! labelle ( + )-colourful graphs of this form. t remains to show that X(G) is a -manifol. Let x be a vertex of X(G), we will show that the link of x is a ( )-sphere using Lemma 0. For i [.. + ], let G i be the subgraph of G where eges of colour i have been elete. f x has colour i in X(G), then the link of x is homeomorphic to X(H), where H is a connecte component of G i. t suffices to prove that X(H) is a sphere. Consier first the case i = +. Since G + is connecte, H = G +. Let T be the spanning tree containing the eges b i b i+ an b i b i+ for i [..k ], the ege b b, the eges e i() an e i () an for i / {0, } (mo ) an the eges e i (3) an e i (3) an for i {0, } (mo ) (see Figure 3). Consier the following sequence of eges of G + T. First a the eges in E V E V \E(T ), every ae ege is a multiege of the current graph an thus it belongs to a bicoloure cycle of length two. Then a the eges in E P \E(T ), when aing the ege a i a i+, it will close a bicoloure cycle containing the eges e i (), b i b i+ an e i+ (), an similarly for a i a i+. By Lemma 0, it follows that X(G + ) is a ( )-sphere. For each i [..], the argument to show that X(H) is a sphere is similar. f we remove all the eges coming from the permutations σ an τ from the graph G i, we obtain a set of gagets of size at most, see Figure 4 left. f i one of these gagets contains the vertices a, a, b, b an we call it the central gaget. n G i, each non-central gaget is connecte to two other gagets through eges of colour + that attach to vertices x j for x {a, a, b, b } an j [..k]. Thus, H is either the central gaget or a cycle of gagets (see Figure 4 right). Let T be the spanning tree of H that contains a spanning tree for each gaget (similarly as in the case i = + ) an all eges of colour + between the gagets but one. Consier the following sequence of eges of H T. Firstly, a the eges in E V E V \ E(T ) an then the eges in E P \ E(T ). As before, every ege closes a bicoloure cycle when ae. Finally, in the non-central case, a the last ege in colour + between the gagets. This ege closes a bicoloure cycle with colours + an j, where we can take j = if i an j = 3 if i = (see Figure 4 right). By Lemma 0, it follows that X(H) is a ( )-sphere. Since the ( )-imensional links of X(G) are spheres, any smaller link also is. t follows that X(G) is a -manifol an we conclue that M (n) n n/ n!.

13 a a a a k a... a a a a i... σ(i) a k b k... b i b... b b... b τ(i) b b b b k Figure : The lower boun construction, picture here for = 4. The colour in [..] of horizontal eges is inicate, an eges of colour + are represente with ashe lines. a k... a a a a... a k b k b b b... b b k Figure 3: The initial spanning tree for the LC construction, in the case when colour + is remove from the graph of Figure. Missing vertical eges can be ae respecting the LC-rules since multieges are bicoloure cycles. Once vertical eges have been ae, each upper horizontal ege can be ae since it creates a bicoloure cycle of length 4 with its lower counterpart. 5 Remaining proofs t remains to prove Theorem 3, an the lower boun in (5). Both proofs are simple variants of the previous ones. Proof of Theorem 3. The theorem irectly follows from the two following claims: (a) for any c > 0 there exist K > 0 such that the number of coloure triangulations of 3-manifols with n labelle tetrahera an with more that Kn log n vertices is at most cn n 7n 6 ; (b) there exists c 0 > 0 such that the number of coloure triangulations of 3-manifols with n labelle tetrahera an with less than n log n vertices is at least c0n n 7n 6. We first prove claim (a). Let K > 0 (to be chosen later) an let G be a 4-colourful graph such that X(G) has more than Kn log n vertices an its unerlying space is a 3-manifol. Since vertices of X(G) are in bijection with connecte components of 3-coloure subgraphs of G, there exist istinct colours i, j, k such that κ i,j,k. By (8) with = {i, j, k} an up to relabelling i, j, k, we have Kn 4 log n κ i,j κ i,j,k n 6 3 κ i,j,k n 6 Kn log n. We can upper boun the number of ways to construct such a graph G as in the proof of our main theorem. We first choose the planar graph G {i,j,l} where l [..4] \. There are at most n n ways 3

14 a i b i a i b i a a a a b b b b Figure 4: Left: Gagets obtaine after removing all eges of colour i for an i [..] (here i = 3). Each of them has two outgoing half-eges of colour +, with the exception of the central gaget represente here at the bottom. Right: After removing all eges of colour i, each connecte component other than the central gaget is a cycle of gagets. t is easy to see that the associate complex is LC for the original spanning tree, we remove one of the eges of colour + on the cycle, an in each gaget we choose a spanning tree similar to the one of Figure 3. 4

15 to o it. As in Lemma 7, once this graph has been chosen there are at most 5n n κ i,j κ i,j,k ways to place the eges of colour k. We thus have at most (5 K/)n n 7n 6 choices of graphs in total, which is less than cn n 7n 6 provie we take K = K(c) large enough. We now prove claim (b) by following the construction given in the proof of the lower boun of Theorem (see Section 4). The 4-coloure graph constructe in that proof epens on two permutations σ an τ that escribe the inciences of the eges of colour +. By construction, κ,,3 =, an for any [..4] with = 3 an 4, κ is the number of cycles of the permutation στ (or this number plus one, for choices of that involve the central gaget). f σ an τ are chosen uniformly at ranom, the expecte number of cycles of στ is O(log n). Therefore with positive probability, the number of vertices in X(G) is O(log n), which is smaller than for n large enough. The claim follows since there are Ω(n) n 7n/6 such graphs G. n log n Proof of the lower boun in (5). The construction is similar to the one of Section 4 an we will only sketch it. Let G be a graph obtaine in our lower boun construction for = 3 (see Figure ). For 4, we obtain a ( + )-colourful graph aing eges a i b i an a i b i for every i [..k] an every colour in {5,..., + }. Note that there are M 3 (n) n n/6 n! such graphs. Using a similar analysis as the one in Section 4, it is easy to see that for any set of colours of size 3, the graph G is planar. References [] Karim Aiprasito an Bruno Beneetti. A cheeger-type exponential boun for the number of triangulate manifols. arxiv preprint arxiv: , 07. [] Jan Ambjørn, Bergfinnur Durhuus, an Thorur Jónsson. Three-imensional simplicial quantum gravity an generalize matrix moels. Moern Physics Letters A, 6():33 46, 99. [3] Jan Ambjørn, Bergfinnur Durhuus, an Thorur Jónsson. Quantum geometry. Cambrige Monographs on Mathematical Physics. Cambrige University Press, Cambrige, 997. A statistical fiel theory approach. [4] Bruno Beneetti. On locally constructible manifols. PhD thesis, 00. [5] Bruno Beneetti. Mogami manifols, nuclei, an 3 simplicial gravity. Nuclear Physics B, 99:54 559, 07. [6] Bruno Beneetti an Günter M. Ziegler. On locally constructible spheres an balls. Acta Math., 06():05 43, 0. [7] Javier Bracho an Luis Montejano. The combinatorics of colore triangulations of manifols. Geom. Deicata, (3):303 38, 987. [8] Ariane Carrance. Uniform ranom colore complexes. arxiv preprint arxiv:705.03, May 07. [9] Pierre Collet, Jean-Pierre Eckmann, an Maher Younan. Trees of nuclei an bouns on the number of triangulations of the 3-ball. Comm. Math. Phys., 35():59 89, 04. 5

16 [0] Nathan M. Dunfiel an William P. Thurston. Finite covers of ranom 3-manifols. nventiones mathematicae, 66(3):457 5, 006. [] Bergfinnur Durhuus an Thorur Jónsson. Remarks on the entropy of 3-manifols. Nuclear Phys. B, 445():8 9, 995. [] Bergfinnur Durhuus an Thorur Jónsson. Exponential bouns on the number of causal triangulations. Comm. Math. Phys., 340():05 4, 05. [3] Misha Gromov. Spaces an questions. n Visions in mathematics, pages 8 6. Springer, 00. [4] Razvan Gurau. nvitation to ranom tensors. SGMA Symmetry ntegrability Geom. Methos Appl., :Paper No. 094,, 06. [5] Tsuguo Mogami. On the entropy boun of three-imensional simplicial gravity. Progr. Theoret. Phys., 94():57 6, 995. [6] Vincent Rivasseau. Spheres are rare. EPL (Europhysics Letters), 0(6):600, 03. [7] Carlo Rovelli. Quantum gravity. Cambrige university press, 007. [8] Anant R. Shastri. Basic algebraic topology. CRC Press, 06. [9] Richar P. Stanley. Enumerative combinatorics. Vol., volume 6 of Cambrige Stuies in Avance Mathematics. Cambrige University Press, Cambrige, 999. With a forewor by Gian-Carlo Rota an appenix by Sergey Fomin. [0] William T. Tutte. A census of planar triangulations. Cana. J. Math., 4: 38, 96. [] Nicholas C. Wormal. Moels of ranom regular graphs. Lonon Mathematical Society Lecture Note Series, pages 39 98,