cp's OEIS Frontend

A007137 Number of rooted maps with n edges on the projective plane.

%I A007137 M4734 #56 Dec 26 2018 08:43:28
%S A007137 1,10,98,982,10062,105024,1112757,11934910,129307100,1412855500,
%T A007137 15548498902,172168201088,1916619748084,21436209373224,
%U A007137 240741065193282,2713584138389838,30687358107371442,348061628432108352
%N A007137 Number of rooted maps with n edges on the projective plane.
%D A007137 E. R. Canfield, Calculating the number of rooted maps on a surface, Congr. Numerantium, 76 (1990), 21-34.
%D A007137 David M. Jackson  and Terry I. Visentin, An Atlas of the Smaller Maps in Orientable and Nonorientable Surfaces, Chapman & Hall/CRC, circa 2000. See page 227.
%D A007137 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H A007137 T. D. Noe, <a href="/A007137/b007137.txt">Table of n, a(n) for n = 1..100</a>
%H A007137 E. A. Bender, E. R. Canfield and R. W. Robinson, <a href="http://dx.doi.org/10.4153/CMB-1988-039-4">The enumeration of maps on the torus and the projective plane</a>, Canad. Math. Bull., 31 (1988), 257-271; see p. 270.
%H A007137 Guillaume Chapuy, Maciej Dołęga, <a href="https://arxiv.org/abs/1501.06942">A bijection for rooted maps on general surfaces</a>, arXiv:1501.06942 [math.CO], 2016; see corollary 4.5.
%H A007137 Valery A. Liskovets, <a href="http://dx.doi.org/10.1016/0012-365X(94)00347-L">A reductive technique for enumerating non-isomorphic planar maps</a>, Discrete Math. 156 (1996), no. 1-3, 197--217. MR1405018 (97f:05087). - _N. J. A. Sloane_, Jun 03 2012
%F A007137 From Pab Ter (pabrlos2(AT)yahoo.com), Nov 07 2005: (Start)
%F A007137 G.f.: ((2*R+1)/3-sqrt(R*(R+2)/3))/(2*x) where R=sqrt(1-12*x);
%F A007137 a(n) ~ sqrt(3/2)*12^n/(n^(5/4)*GAMMA(3/4)). (End)
%F A007137 From _Gheorghe Coserea_, Dec 26 2018: (Start)
%F A007137 a(n) = (2/(n+1)) * Sum_{k=0..n-1} binomial(2*n, k) * 3^k * A002426(n-k).
%F A007137 G.f. y=A(x) satisfies:
%F A007137 0 = 9*x^3*y^4 - 6*x^2*y^3 + 2*x*(21*x - 1)*y^2 + (10*x - 1)*y + x.
%F A007137 0 = x*(4*x + 1)*(12*x - 1)^3*y'''' + 4*(132*x^2 + 19*x - 1)*(12*x - 1)^2*y''' + 12*(1476*x^2 + 60*x - 11)*(12*x - 1)*y'' + 72*(2016*x^2 - 117*x - 4)*y' + 648*(16*x - 1)*y.
%F A007137 (End)
%p A007137 R:=sqrt(1-12*x): seq(coeff(convert(series(((2*R+1)/3-sqrt(R*(R+2)/3))/(2*x),x,50),polynom),x,n),n=1..25); # Pab Ter, Nov 07 2005
%t A007137 With[{r=Sqrt[1-12x]},Rest[CoefficientList[Series[((2r+1)/3-Sqrt[r (r+2)/3])/ (2x),{x,0,20}],x]]](* _Harvey P. Dale_, Mar 02 2018 *)
%o A007137 (PARI)
%o A007137 seq(N) = {
%o A007137   my(x = 'x + O('x^(N+2)), r=sqrt(1-12*x));
%o A007137   Vec(((2*r+1)/3 - sqrt(r*(r+2)/3))/(2*x));
%o A007137 };
%o A007137 seq(18)
%o A007137 \\ test: y = 'x*Ser(seq(300),'x); 0 == 9*x^3*y^4 - 6*x^2*y^3 + 2*x*(21*x - 1)*y^2 + (10*x - 1)*y + x
%o A007137 \\ _Gheorghe Coserea_, Jul 07 2018
%o A007137 (PARI)
%o A007137 b(n) = sum(k=0, n\2, n!/(k!^2 * (n - 2*k)!)); \\ A002426
%o A007137 a(n) = 2*sum(k=0, n-1, binomial(2*n, k) * 3^k * b(n-k))/(n+1);
%o A007137 vector(18, n, a(n)) \\ _Gheorghe Coserea_, Dec 26 2018
%Y A007137 Cf. A006300.
%Y A007137 A column of A267180.
%K A007137 nonn,nice
%O A007137 1,2
%A A007137 _N. J. A. Sloane_
%E A007137 Reference gives 20 terms
%E A007137 Description corrected May 15 1997, thanks to Jean-Francois Beraud
%E A007137 More terms from Pab Ter (pabrlos2(AT)yahoo.com), Nov 07 2005