A292187 -id:A292187 - cp's OEIS frontend

A292186 Number of rooted unlabeled connected four-regular maps on a compact closed oriented surface with n vertices (and thus 2*n edges), with a(0) = 1.

1, 3, 24, 297, 4896, 100278, 2450304, 69533397, 2247492096, 81528066378, 3280382613504, 145009234904922, 6986546222800896, 364418301804218028, 20459842995693256704, 1230262900677124568397, 78884016707711348637696, 5372823210133041283250178, 387394283866652086938107904

Offset: 0

Sasha Kolpakov, Sep 11 2017

Equivalently, the number of rooted quadrangulations of oriented surfaces with n quadrangles (and thus 2*n edges) for n > 0.
Equivalently, the number of pairs (alpha,sigma) of permutations on a pointed set of size 4*n up to simultaneous conjugacy such that alpha (resp. sigma) has only cycles of length 2 (resp. 4) and the subgroup generated by them acts transitively, for n > 0.
This is also the S(4, -6, 1) sequence of Martin and Kearney, if the offset is set to 1.
This sequence is not D-finite (or holonomic).

Sasha Kolpakov, Table of n, a(n) for n = 0..119
Laura Ciobanu and Alexander Kolpakov, Free subgroups of free products and combinatorial hypermaps, Discrete Mathematics, 342 (2019), 1415-1433; arXiv:1708.03842 [math.CO], 2017-2019.
R. J. Martin and M. J. Kearney, An exactly solvable self-convolutive recurrence, Aequat. Math., 80 (2010), 291-318; arXiv:1103.4936 [math.CO], 2011.
A. N. Stokes, Continued fraction solutions of the Riccati equation, Bull. Austral. Math. Soc. Vol. 25 (1982), 207-214.

Column 4 of A380622.

Cf. A172455, A292187, A128709.

from sympy.core.cache import cacheit
@cacheit
def a(n): return 1 if n == 0 else (4*n - 2)*a(n - 1) + sum([a(k)*a(n - k - 1) for k in range(n)])
[a(n) for n in range(21)]

a(0)=1, a(1)=3, a(n) = 4*n*a(n-1) + Sum_{k=1..n-2} a(k)*a(n-k-1) for n>=2.
From Peter Bala, Aug 22 2023: (Start)
The o.g.f. A(x) = 1 + 3*x + 24*x^2 + 297*x^3 + 4896*x^4 + 100278*x^5 + 2450304*x^6 + ... satisfies the Riccati differential equation (4*x^2)*A'(x) = -1 + (1 - 2*x)*A(x) - x*A(x)^2 with A(0) = 1.
O.g.f. as a continued fraction of Stieltjes type: 1/(1 - 3*x/(1 - 5*x/(1 - 7*x/(1 - 9*x/(1 - ... - (2*n+1)*x/(1 - ... )))))).
Also A(x) = 1/(1 + 2*x - 5*x/(1 - 3*x/(1 - 9*x/(1 - 7*x/(1 - ... - (4*n+1)*x/(1 - (4*n-1)*x/(1 - ... ))))))). (End)

Edited by Andrey Zabolotskiy, Jan 23 2025

A172455 The case S(6,-4,-1) of the family of self-convolutive recurrences studied by Martin and Kearney.

Original entry on oeis.org

1, 7, 84, 1463, 33936, 990542, 34938624, 1445713003, 68639375616, 3676366634402, 219208706540544, 14397191399702118, 1032543050697424896, 80280469685284582812, 6725557192852592984064, 603931579625379293509683

Offset: 1

N. J. A. Sloane, Nov 20 2010

nonn

			G.f. = x + 7*x^2 + 84*x^3 + 1463*x^4 + 33936*x^5 + 990542*x^6 + 34938624*x^7 + ...
a(2) = 7 since (6*2 - 4) * a(2-1) - (a(1) * a(2-1)) = 7.

Vincenzo Librandi, Table of n, a(n) for n = 1..200
R. J. Martin and M. J. Kearney, An exactly solvable self-convolutive recurrence, Aequat. Math., 80 (2010), 291-318. see p. 307.
R. J. Martin and M. J. Kearney, An exactly solvable self-convolutive recurrence, arXiv:1103.4936 [math.CO], 2011.
NIST Digital Library of Mathematical Functions, Airy Functions.
A. N. Stokes, Continued fraction solutions of the Riccati equation, Bull. Austral. Math. Soc. Vol. 25 (1982), 207-214.
Eric Weisstein's World of Mathematics, Airy Functions, contains the definitions of Ai(x), Bi(x).

Cf. A000079 S(1,1,-1), A000108 S(0,0,1), A000142 S(1,-1,0), A000244 S(2,1,-2), A000351 S(4,1,-4), A000400 S(5,1,-5), A000420 S(6,1,-6), A000698 S(2,-3,1), A001710 S(1,1,0), A001715 S(1,2,0), A001720 S(1,3,0), A001725 S(1,4,0), A001730 S(1,5,0), A003319 S(1,-2,1), A005411 S(2,-4,1), A005412 S(2,-2,1), A006012 S(-1,2,2), A006318 S(0,1,1), A047891 S(0,2,1), A049388 S(1,6,0), A051604 S(3,1,0), A051605 S(3,2,0), A051606 S(3,3,0), A051607 S(3,4,0), A051608 S(3,5,0), A051609 S(3,6,0), A051617 S(4,1,0), A051618 S(4,2,0), A051619 S(4,3,0), A051620 S(4,4,0), A051621 S(4,5,0), A051622 S(4,6,0), A051687 S(5,1,0), A051688 S(5,2,0), A051689 S(5,3,0), A051690 S(5,4,0), A051691 S(5,5,0), A053100 S(6,1,0), A053101 S(6,2,0), A053102 S(6,3,0), A053103 S(6,4,0), A053104 S(7,1,0), A053105 S(7,2,0), A053106 S(7,3,0), A062980 S(6,-8,1), A082298 S(0,3,1), A082301 S(0,4,1), A082302 S(0,5,1), A082305 S(0,6,1), A082366 S(0,7,1), A082367 S(0,8,1), A105523 S(0,-2,1), A107716 S(3,-4,1), A111529 S(1,-3,2), A111530 S(1,-4,3), A111531 S(1,-5,4), A111532 S(1,-6,5), A111533 S(1,-7,6), A111546 S(1,0,1), A111556 S(1,1,1), A143749 S(0,10,1), A146559 S(1,1,-2), A167872 S(2,-3,2), A172450 S(2,0,-1), A172485 S(-1,-2,3), A177354 S(1,2,1), A292186 S(4,-6,1), A292187 S(3, -5, 1).

a[1] = 1; a[n_]:= a[n] = (6*n-4)*a[n-1] - Sum[a[k]*a[n-k], {k, 1, n-1}]; Table[a[n], {n, 1, 20}] (* Vaclav Kotesovec, Jan 19 2015 *)

{a(n) = local(A); if( n<1, 0, A = vector(n); A[1] = 1; for( k=2, n, A[k] = (6 * k - 4) * A[k-1] - sum( j=1, k-1, A[j] * A[k-j])); A[n])} /* Michael Somos, Jul 24 2011 */

S(v1, v2, v3, N=16) = {
  my(a = vector(N)); a[1] = 1;
  for (n = 2, N, a[n] = (v1*n+v2)*a[n-1] + v3*sum(j=1,n-1,a[j]*a[n-j])); a;
};
S(6,-4,-1)
\\ test: y = x*Ser(S(6,-4,-1,201)); 6*x^2*y' == y^2 - (2*x-1)*y - x
\\ Gheorghe Coserea, May 12 2017

a(n) = (6*n - 4) * a(n-1) - Sum_{k=1..n-1} a(k) * a(n-k) if n>1. - Michael Somos, Jul 24 2011
G.f.: x / (1 - 7*x / (1 - 5*x / (1 - 13*x / (1 - 11*x / (1 - 19*x / (1 - 17*x / ... )))))). - Michael Somos, Jan 03 2013
a(n) = 3/(2*Pi^2)*int((4*x)^((3*n-1)/2)/(Ai'(x)^2+Bi'(x)^2), x=0..inf), where Ai'(x), Bi'(x) are the derivatives of the Airy functions. [Vladimir Reshetnikov, Sep 24 2013]
a(n) ~ 6^n * (n-1)! / (2*Pi) [Martin + Kearney, 2011, p.16]. - Vaclav Kotesovec, Jan 19 2015
6*x^2*y' = y^2 - (2*x-1)*y - x, where y(x) = Sum_{n>=1} a(n)*x^n. - Gheorghe Coserea, May 12 2017
G.f.: x/(1 - 2*x - 5*x/(1 - 7*x/(1 - 11*x/(1 - 13*x/(1 - ... - (6*n - 1)*x/(1 - (6*n + 1)*x/(1 - .... Cf. A062980. - Peter Bala, May 21 2017

A292207 Number of unrooted unlabeled bipartite cubic maps on a compact closed oriented surface with 2n vertices (and thus 3n edges).

Original entry on oeis.org

2, 3, 16, 133, 1440, 22076, 401200, 8523946, 206375088, 5611089408, 169259764912, 5610386295418, 202710195084400, 7929759557219228, 333909047017798272, 15059194651009154172, 724232293050284717248

Offset: 1

Sasha Kolpakov, Sep 11 2017

nonn

Equivalently, the number of unrooted bicolored triangulations with 2*n triangles (and thus 3*n edges).
Equivalently, the number of pairs of permutations (alpha,sigma) up to simultaneous conjugacy on a set of size 3*n with alpha^3=sigma^3=1, acting transitively and without fixed points.
There is no recurrence relation known for this sequence.

Laura Ciobanu and Alexander Kolpakov, Free subgroups of free products and combinatorial hypermaps, Discrete Mathematics, 342 (2019), 1415-1433; arXiv:1708.03842 [math.CO], 2017-2019.

Unrooted version of A292187.

Offset edited by Andrey Zabolotskiy, Jan 17 2025

cp's OEIS Frontend

A292186 Number of rooted unlabeled connected four-regular maps on a compact closed oriented surface with n vertices (and thus 2*n edges), with a(0) = 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Python

Formula

Extensions

A172455 The case S(6,-4,-1) of the family of self-convolutive recurrences studied by Martin and Kearney.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

A292207 Number of unrooted unlabeled bipartite cubic maps on a compact closed oriented surface with 2n vertices (and thus 3n edges).

Views

Author

Keywords

Comments

Links

Crossrefs

Extensions

cp's OEIS Frontend

A292186 Number of rooted unlabeled connected four-regular maps on a compact closed oriented surface with n vertices (and thus 2*n edges), with a(0) = 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Python

Formula

Extensions

A172455 The case S(6,-4,-1) of the family of self-convolutive recurrences studied by Martin and Kearney.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

A292207 Number of unrooted unlabeled bipartite cubic maps on a compact closed oriented surface with 2*n vertices (and thus 3*n edges).

Views

Author

Keywords

Comments

Links

Crossrefs

Extensions

A292207 Number of unrooted unlabeled bipartite cubic maps on a compact closed oriented surface with 2n vertices (and thus 3n edges).