[go: up one dir, main page]

login
Search: a290778 -id:a290778
     Sort: relevance | references | number | modified | created      Format: long | short | data
Triangle read by rows: T(n,k) = number of connected multigraphs with n >= 0 edges and 1 <= k <= n+1 vertices, with no loops allowed.
+10
27
1, 0, 1, 0, 1, 1, 0, 1, 2, 2, 0, 1, 3, 5, 3, 0, 1, 4, 11, 11, 6, 0, 1, 6, 22, 34, 29, 11, 0, 1, 7, 37, 85, 110, 70, 23, 0, 1, 9, 61, 193, 348, 339, 185, 47, 0, 1, 11, 95, 396, 969, 1318, 1067, 479, 106, 0, 1, 13, 141, 771, 2445, 4457, 4940, 3294, 1279, 235
OFFSET
0,9
LINKS
Andrew Howroyd, Table of n, a(n) for n = 0..1274 (terms 0..119 from R. J. Mathar)
R. J. Mathar, Statistics on Small Graphs, arXiv:1709.09000 [math.CO], 2017; see Section 4.
Brendan McKay and Adolfo Piperno, nauty and Traces. [nauty and Traces are programs for computing automorphism groups of graphs and digraphs.]
B. D. McKay and A. Piperno, Practical Graph Isomorphism, II, J. Symbolic Computation 60 (2013), 94-112.
Gordon Royle, Small Multigraphs.
FORMULA
T(n,k=3) = A253186(n) = A034253(n,k=2) for n >= 1. - Petros Hadjicostas, Oct 02 2019
EXAMPLE
Triangle T(n,k) (with rows n >= 0 and columns k >= 1) begins as follows:
1;
0, 1;
0, 1, 1;
0, 1, 2, 2;
0, 1, 3, 5, 3;
0, 1, 4, 11, 11, 6;
0, 1, 6, 22, 34, 29, 11;
...
PROG
(PARI)
EulerT(v)={my(p=exp(x*Ser(dirmul(v, vector(#v, n, 1/n))))-1); Vec(p/x, -#v)}
InvEulerMT(u)={my(n=#u, p=log(1+x*Ser(u)), vars=variables(p)); Vec(serchop( sum(i=1, n, moebius(i)*substvec(p + O(x*x^(n\i)), vars, apply(v->v^i, vars))/i), 1))}
permcount(v) = {my(m=1, s=0, k=0, t); for(i=1, #v, t=v[i]; k=if(i>1&&t==v[i-1], k+1, 1); m*=t*k; s+=t); s!/m}
edges(v, x)={sum(i=2, #v, sum(j=1, i-1, my(g=gcd(v[i], v[j])); g*x^(v[i]*v[j]/g))) + sum(i=1, #v, my(t=v[i]); ((t-1)\2)*x^t + if(t%2, 0, x^(t/2)))}
G(n, m)={my(s=0); forpart(p=n, s+=permcount(p)*EulerT(Vec(edges(p, x) + O(x*x^m), -m))); s/n!}
R(n)={Mat(apply(p->Col(p+O(y^n), -n), InvEulerMT(vector(n, k, 1 + y*Ser(G(k, n-1), y)))))}
{ my(A=R(10)); for(n=1, #A, for(k=1, n, print1(A[n, k], ", ")); print) } \\ Andrew Howroyd, May 14 2018
CROSSREFS
Row sums give A076864. Diagonal is A000055.
Cf. A034253, A054923, A192517, A253186 (column k=3), A290778 (column k=4).
KEYWORD
nonn,tabl
AUTHOR
Alberto Tacchella, Jul 04 2011
STATUS
approved
Number of multigraphs with 4 nodes and n edges.
(Formerly M2543)
+10
10
1, 1, 3, 6, 11, 18, 32, 48, 75, 111, 160, 224, 313, 420, 562, 738, 956, 1221, 1550, 1936, 2405, 2958, 3609, 4368, 5260, 6279, 7462, 8814, 10356, 12104, 14093, 16320, 18834, 21645, 24783, 28272, 32158, 36442, 41187, 46410, 52151, 58443, 65345, 72864
OFFSET
0,3
COMMENTS
Also, expansion of Molien series for representation Sym^2(R^n) of the automorphism group of the lattice D_3.
REFERENCES
CRC Handbook of Combinatorial Designs, 1996, p. 650.
J. L. Gross and J. Yellen, eds., Handbook of Graph Theory, CRC Press, 2004; p. 517.
F. Harary and E. M. Palmer, Graphical Enumeration, Academic Press, NY, 1973, p. 88, (4.1.19).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
Axel Kleinschmidt and Valentin Verschinin, Tetrahedral modular graph functions, arXiv:1706.01889 [hep-th], 2017, p. 20.
P. Sarnak and A. Strömbergsson, Minima of Epstein's zeta function and heights of flat tori, Inventiones mathematicae, July 2006, Volume 165, Issue 1, pp 115-151.
Index entries for linear recurrences with constant coefficients, signature (2,0,0,-2,-2,3,0,3,-2,-2,0,0,2,-1).
FORMULA
G.f.: (1-x+x^2+x^4+x^6-x^7+x^8)/((1-x)^6*(1+x)^2*(1+x^2)*(1+x+x^2)^2).
a(n) = 2*a(n-1) - 2*a(n-4) - 2*a(n-5) + 3*a(n-6) + 3*a(n-8) - 2*a(n-9) - 2*a(n-10) + 2*a(n-13) - a(n-14). - Wesley Ivan Hurt, Apr 20 2021
a(n) = (1/17280)*((3 + n)*(3175 + 2088*n + 564*n^2 + 72*n^3 + 6*n^4 + 945*(-1)^n) + 540*I^n*(1 + (-1)^n)) + (1/27)*(3*ChebyshevU(n, -1/2) + 2*ChebyshevU(n-1, -1/2) + 3*(-1)^n*(A099254(n) - A099254(n-1))). - G. C. Greubel, Nov 04 2022
MATHEMATICA
CoefficientList[Series[PairGroupIndex[SymmetricGroup[4], s] /.Table[s[i] -> 1/(1 - x^i), {i, 1, 4}], {x, 0, 40}], x] (* Geoffrey Critzer, Nov 10 2011 *)
LinearRecurrence[{2, 0, 0, -2, -2, 3, 0, 3, -2, -2, 0, 0, 2, -1}, {1, 1, 3, 6, 11, 18, 32, 48, 75, 111, 160, 224, 313, 420}, 50] (* Harvey P. Dale, Oct 09 2016 *)
PROG
(PARI) Vec((x^8-x^7+x^6+x^4+x^2-x+1)/((x-1)^6*(x+1)^2*(x^2+1)*(x^2+x+1)^2) + O(x^100)) \\ Colin Barker, Apr 02 2015
(Magma) R<x>:=PowerSeriesRing(Integers(), 50); Coefficients(R!( (1-x+x^2+x^4+x^6-x^7+x^8)/((1-x)^6*(1+x)^2*(1+x^2)*(1+x+x^2)^2) )); // G. C. Greubel, Nov 04 2022
(SageMath)
def A003082_list(prec):
P.<x> = PowerSeriesRing(ZZ, prec)
return P( (1-x+x^2+x^4+x^6-x^7+x^8)/((1-x)^6*(1+x)^2*(1+x^2)*(1+x+x^2)^2) ).list()
A003082_list(50) # G. C. Greubel, Nov 04 2022
CROSSREFS
Cf. A001399, A014395 (5 nodes), A014396, A014397, A014398, row 4 of A192517.
Cf. A290778 (connected).
KEYWORD
easy,nonn,nice
EXTENSIONS
Entry improved by comments from Vladeta Jovovic, Dec 23 1999
STATUS
approved

Search completed in 0.006 seconds