cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A049287 Number of nonisomorphic circulant graphs, i.e., undirected Cayley graphs for the cyclic group of order n.

Original entry on oeis.org

1, 2, 2, 4, 3, 8, 4, 12, 8, 20, 8, 48, 14, 48, 44, 84, 36, 192, 60, 336, 200, 416, 188, 1312, 423, 1400, 928, 3104, 1182, 8768, 2192, 8364, 6768, 16460, 11144, 46784, 14602, 58288, 44424, 136128, 52488, 355200, 99880, 432576, 351424, 762608, 364724, 2122944, 798952, 3356408
Offset: 1

Views

Author

Keywords

Comments

Further values for (twice) squarefree and (twice) prime-squared orders can be found in the Liskovets reference.
Terms may be computed by filtering potentially isomorphic graphs of A285620 through nauty. - Andrew Howroyd, Apr 29 2017

Crossrefs

Programs

  • Mathematica
    CountDistinct /@ Table[CanonicalGraph[CirculantGraph[n, #]] & /@ Subsets[Range[Floor[n/2]]], {n, 25}] (* Eric W. Weisstein, May 13 2017 *)

Formula

There is an easy formula for prime orders. Formulae are also known for squarefree and prime-squared orders.
From Andrew Howroyd, Apr 24 2017: (Start)
a(n) <= A285620(n).
a(n) = A285620(n) for n squarefree or twice square free.
a(A000040(n)^2) = A038781(n).
a(n) = Sum_{d|n} A075545(d).
(End)

Extensions

a(48)-a(50) from Andrew Howroyd, Apr 29 2017

A049288 Number of nonisomorphic circulant tournaments, i.e., Cayley tournaments for cyclic group of order 2n-1.

Original entry on oeis.org

1, 1, 1, 2, 3, 4, 6, 16, 16, 30, 88, 94, 205, 457, 586, 1096, 3280, 5472, 7286, 21856, 26216, 49940, 174848, 182362, 399472, 1048576, 1290556, 3355456, 7456600, 9256396, 17895736, 59654816, 89478656, 130150588, 390451576, 490853416, 954437292
Offset: 1

Views

Author

Keywords

Comments

Further values for prime-squared orders can be found in A038789.
There is an easy formula for prime orders. Formulae are also known for squarefree and prime-squared orders.

Crossrefs

Formula

a(n) <= A002086(n). - Andrew Howroyd, Apr 28 2017
a(n) = A002086(n) for squarefree 2n-1. - Andrew Howroyd, Apr 28 2017

Extensions

a(14)-a(37) from Andrew Howroyd, Apr 28 2017
Reference to Alspach (1970) corrected by Andrew Howroyd, Apr 28 2017

A283189 Number of oriented circulant graphs of order n up to Cayley isomorphism.

Original entry on oeis.org

1, 1, 2, 2, 3, 5, 6, 10, 17, 21, 26, 70, 63, 125, 290, 314, 411, 1121, 1098, 2558, 5005, 5909, 8054, 23210, 26589, 44301, 88826, 134554, 170823, 598805, 478318, 908194, 2155345, 2690421, 5382190, 10809394, 10761723, 21523445, 48449998, 72956830, 87169619
Offset: 1

Views

Author

Andrew Howroyd, Apr 30 2017

Keywords

Comments

This sequence may be incorrect, but for the moment I don't think so. (Even if wrong it could represent something else.) In particular, this sequence should agree with A060966 for all squarefree n. For nonsquarefree n this sequence is allowed to be greater.
An oriented graph is a directed graph in which there is at most one edge between any two vertices. (A directed graph can have one in each direction.)
Two circulant graphs are Cayley isomorphic if there is a d, which is necessarily prime to n, that transforms through multiplication modulo n the step values of one graph into those of the other.
Ideally this sequence should be to A060966 as A056391 is to A049297.

Examples

			Case n=8:
Only 1, 3, 5, 7 are prime to 8.
Multiplication module 8 is described by the following multiplication table.
1 2 3 4 5 6 7 => (1)(2)(3)[4](5)(6)(7) => 6 => 3^3 => 27
3 6 1 4 7 2 5 => (1 3)[2 6][4](5 7)    => 2 => 3^1 =>  3
5 2 7 4 1 6 3 => (1 5)(2)(3 7)[4](6)   => 4 => 3^2 =>  9
7 6 5 4 3 2 1 => [1 7][2 6][3 5][4]    => 0 => 3^0 =>  1
Each row of the multiplication table can be viewed as a permutation and together these form a commutative group on 4 elements. In this case the group is isomorphic to the cyclic group C_4. Each permutation can be represented in cycle notation. However, only those cycles that do not include both a value and its negative can be used to form symmetrical solutions. In the above calculation, square brackets have been used to denote excluded cycles. Each remaining pair introduces a factor of 3 corresponding to no edge, or an edge in one of two directions. Putting everything together with Burnsides's lemma gives a(8) = (27 + 3 + 9 + 1)/4 = 10.
The corresponding step sets (one from each equivalence class) are:
{}, {1}, {2}, {1,2}, {1,-2}, {1,3}, {1,-3}, {1,2,3}, {1,2,-3}, {1,-2,-3}.
		

Crossrefs

Programs

  • Mathematica
    IsLeastPoint[s_, r_, f_] := Module[{t}, t = f[s]; While[t > s && t != r, t = f[t]]; t == s && t != r];
    c[n_, k_] := Sum[Boole@ IsLeastPoint[u, n-u, Mod[# k, n]&], {u, 1, n-1}]/2;
    a[n_] := Sum[If[GCD[n, k] == 1, 3^c[n, k], 0], {k, 1, n}]/EulerPhi[n];
    a /@ Range[1, 41] (* Jean-François Alcover, Sep 21 2019, from PARI *)
  • PARI
    IsLeastPoint(s,r,f)={my(t=f(s)); while(t>s&&t<>r,t=f(t));t==s&&t<>r}
    C(n,k)=sum(u=1,n-1,IsLeastPoint(u,n-u,v->v*k%n))/2;
    a(n)=sum(k=1, n, if (gcd(n,k)==1, 3^C(n,k),0))/eulerphi(n);
Showing 1-3 of 3 results.