|
%I #22 Sep 03 2019 19:23:19
%S 0,1,10,97,932,8916,85090,810846,7719048,73431340,698187400,
%T 6635738209,63047912372,598885073788,5687581936284,54005562798252,
%U 512728901004816,4867263839614716,46199494669833400,438481077306427924,4161316466910824272
%N Number of essentially simple rooted toroidal triangulations with n vertices.
%H Michael De Vlieger, <a href="/A308523/b308523.txt">Table of n, a(n) for n = 0..499</a>
%H Nicolas Bonichon, Éric Fusy, Benjamin Lévêque, <a href="https://arxiv.org/abs/1907.04016">A bijection for essentially 3-connected toroidal maps</a>, arXiv:1907.04016 [math.CO], 2019.
%H Éric Fusy, Benjamin Lévêque, <a href="https://arxiv.org/abs/1807.00522">Orientations and bijections for toroidal maps with prescribed face-degrees and essential girth</a>, arXiv:1807.00522 [math.CO], 2018. See Proposition 25 p. 37.
%F G.f.: A/(1-3*A)^2 where A=x(1+A)^4 is the g.f. of A002293.
%F From _Vaclav Kotesovec_, Jun 25 2019: (Start)
%F Recurrence: 81*(n-1)*(3*n - 2)*(3*n - 1)*(24*n - 37)*a(n) = 24*(13824*n^4 - 59328*n^3 + 92832*n^2 - 62278*n + 14653)*a(n-1) - 2048*(2*n - 3)*(4*n - 7)*(4*n - 5)*(24*n - 13)*a(n-2).
%F a(n) ~ 2^(8*n - 3) / 3^(3*n). (End)
%p n:=20:
%p dev_A := series(RootOf(A-x*(1+A)^4, A), x = 0, n+1):
%p seq(coeff(series(subs(A=dev_A, A/(1-3*A)^2), x, n+1), x, k), k=0..n);
%t terms = 21;
%t A[_] = 0; Do[A[x_] = x (1 + A[x])^4 + O[x]^terms, terms];
%t CoefficientList[A[x]/(1 - 3 A[x])^2, x] (* _Jean-François Alcover_, Jun 17 2019 *)
%Y Cf. A002293, A308524, A308526, A289208, A006422.
%K nonn
%O 0,3
%A _Nicolas Bonichon_, Jun 05 2019
|
