A323863 -id:A323863 - cp's OEIS frontend

A179043 Number of n X n checkered tori.

1, 2, 7, 64, 4156, 1342208, 1908897152, 11488774559744, 288230376353050816, 29850020237398264483840, 12676506002282327791964489728, 21970710674130840874443091905462272, 154866286100907105149651981766316633972736

Offset: 0

Rouben Rostamian (rostamian(AT)umbc.edu), Jun 25 2010

nonn

Consider an n X n checkerboard whose tiles are assigned colors 0 and 1, at random. There are 2^(n^2) such checkerboards. We identify the opposite edges of each checkerboard, thus making it into a (topological) torus. There are a(n) such (distinct) tori. It is possible to show that a(n) >= 2^(n^2)/n^2 for all n.
Main diagonal of A184271.
Main diagonal of Table 3: The number a(m, n) of toroidal m X n binary arrays, allowing rotation of the rows and/or the columns but not reflection, for m, n = 1, 2, ..., 8, at page 5 of Ethier. - Jonathan Vos Post, Jan 14 2013
This is a 2-dimensional generalization of binary necklaces (A000031). - Gus Wiseman, Feb 04 2019

			From _Gus Wiseman_, Feb 04 2019: (Start)
Inequivalent representatives of the a(2) = 7 checkered tori:
  [0 0] [0 0] [0 0] [0 1] [0 1] [0 1] [1 1]
  [0 0] [0 1] [1 1] [0 1] [1 0] [1 1] [1 1]
(End)

Alois P. Heinz, Table of n, a(n) for n = 0..57
S. N. Ethier, Counting toroidal binary arrays, arXiv:1301.2352v1 [math.CO], Jan 10, 2013 and J. Int. Seq. 16 (2013) #13.4.7 .
S. N. Ethier and Jiyeon Lee, Counting toroidal binary arrays, II, arXiv:1502.03792v1 [math.CO], Feb 12, 2015 and J. Int. Seq. 18 (2015) # 15.8.3.
Veronika Irvine, Lace Tessellations: A mathematical model for bobbin lace and an exhaustive combinatorial search for patterns, PhD Dissertation, University of Victoria, 2016.
Peter Kagey and William Keehn, Counting Tilings of the n X m Grid, Cylinder, and Torus, J. Int. Seq. (2024) Vol. 27, Art. No. 24.6.1. See p. 2.
Wikipedia, Pólya enumeration theorem

Cf. A184271 (n X k toroidal binary arrays).
Cf. A000031, A001037, A008965.
Cf. A323858, A323859, A323861, A323863, A323865, A323870, A323872.

a[n_] := Sum[If[Mod[n, c] == 0, Sum[If[Mod[n, d] == 0, EulerPhi[c] EulerPhi[d] 2^(n^2/LCM[c, d]), 0], {d, 1, n}], 0], {c, 1, n}]/n ^2

a(n) = (1/n^2)*Sum_{ c divides n } Sum_{ d divides n } phi(c)*phi(d)*2^(n^2/lcm(c,d)), where phi is A000010 and lcm stands for least common multiple. - Stewart N. Ethier, Aug 24 2012

Terms a(6) and a(7) from A184271
a(8)-a(12) from Stewart N. Ethier, Aug 24 2012
a(0)=1 prepended by Alois P. Heinz, Aug 20 2017

A323860 Table read by antidiagonals where A(n,k) is the number of n X k aperiodic binary arrays.

Original entry on oeis.org

2, 2, 2, 6, 8, 6, 12, 54, 54, 12, 30, 216, 486, 216, 30, 54, 990, 4020, 4020, 990, 54, 126, 3912, 32730, 64800, 32730, 3912, 126, 240, 16254, 261414, 1047540, 1047540, 261414, 16254, 240, 504, 64800, 2097018, 16764840, 33554250, 16764840, 2097018, 64800, 504

Offset: 1

Gus Wiseman, Feb 04 2019

The 1-dimensional case is A027375.

An n X k matrix is aperiodic if all n * k rotations of its sequence of rows and its sequence of columns are distinct.

			Table begins:
       1     2     3     4
    ------------------------
  1: |  2     2     6    12
  2: |  2     8    54   216
  3: |  6    54   486  4020
  4: | 12   216  4020 64800
The A(2,2) = 8 arrays:
  [0 0] [0 0] [0 1] [0 1] [1 0] [1 0] [1 1] [1 1]
  [0 1] [1 0] [0 0] [1 1] [0 0] [1 1] [0 1] [1 0]
Note that the following are not aperiodic even though their row and column sequences are independently aperiodic:
  [1 0] [0 1]
  [0 1] [1 0]

Andrew Howroyd, Table of n, a(n) for n = 1..1275

First and last columns are A027375. Main diagonal is A323863.
Cf. A000740, A001037, A179043, A265627, A323351.
Cf. A323861, A323862, A323864, A323865, A323867, A323869.

# See A323861 for code.
for n in [1..8] do for k in [1..8] do Print(n*k*A323861(n,k), ", "); od; Print("\n"); od; # Andrew Howroyd, Aug 21 2019

apermatQ[m_]:=UnsameQ@@Join@@Table[RotateLeft[m,{i,j}],{i,Length[m]},{j,Length[First[m]]}];
Table[Length[Select[Partition[#,n-k]&/@Tuples[{0,1},(n-k)*k],apermatQ]],{n,8},{k,n-1}]

T(n,k) = n*k*A323861(n,k). - Andrew Howroyd, Aug 21 2019

Terms a(29) and beyond from Andrew Howroyd, Aug 21 2019

A323867 Number of aperiodic arrays of positive integers summing to n.

Original entry on oeis.org

1, 1, 1, 5, 11, 33, 57, 157, 303, 683, 1358, 2974, 5932, 12560, 25328, 52400, 106256, 217875, 441278, 899955, 1822703, 3701401, 7491173, 15178253, 30691135, 62085846, 125435689, 253414326, 511547323, 1032427635, 2082551931, 4199956099, 8466869525, 17064777665

Offset: 0

Gus Wiseman, Feb 04 2019

nonn

The 1-dimensional case is A000740.

An n X k matrix is aperiodic if all n * k rotations of its sequence of rows and its sequence of columns are distinct.

			The a(5) = 33 arrays:
  5  14  23  32  41  113  122  131  212  221  311  1112  1121  1211  2111
.
  1  2  3  4  11  11  12  21
  4  3  2  1  12  21  11  11
.
  1  1  1  2  2  3
  1  2  3  1  2  1
  3  2  1  2  1  1
.
  1  1  1  2
  1  1  2  1
  1  2  1  1
  2  1  1  1

Andrew Howroyd, Table of n, a(n) for n = 0..200

Cf. A000670, A000740, A027375, A101509.

Cf. A323860, A323861, A323862, A323863, A323864, A323866, A323869.

List([0..30], A323867); # See A323861 for code; Andrew Howroyd, Aug 21 2019

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
facs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
ptnmats[n_]:=Union@@Permutations/@Select[Union@@(Tuples[Permutations/@#]&/@Map[primeMS,facs[n],{2}]),SameQ@@Length/@#&];
apermatQ[m_]:=UnsameQ@@Join@@Table[RotateLeft[m,{i,j}],{i,Length[m]},{j,Length[First[m]]}];
Table[Length[Union@@Table[Select[ptnmats[k],apermatQ],{k,Times@@Prime/@#&/@IntegerPartitions[n]}]],{n,15}]

Terms a(16) and beyond from Andrew Howroyd, Aug 21 2019

A323864 Number of aperiodic binary arrays of size n.

Original entry on oeis.org

1, 2, 4, 12, 32, 60, 216, 252, 912, 1494, 3960, 4092, 23904, 16380, 65016, 130920, 324960, 262140, 1569132, 1048572, 6281280, 8388072, 16769016, 16777212, 134150880, 100663050, 268402680, 536865840, 1610449344, 1073741820, 8589664080, 4294967292, 25768888320

Offset: 0

Gus Wiseman, Feb 04 2019

nonn

An n X k matrix is aperiodic if all n * k rotations of its sequence of rows and its sequence of columns are distinct.

			The a(4) = 32 arrays:
  [0001][0010][0011][0100][0110][0111][1000][1001][1011][1100][1101][1110]
.
  [00] [00] [01] [01] [10] [10] [11] [11]
  [01] [10] [00] [11] [00] [11] [01] [10]
.
  [0] [0] [0] [0] [0] [0] [1] [1] [1] [1] [1] [1]
  [0] [0] [0] [1] [1] [1] [0] [0] [0] [1] [1] [1]
  [0] [1] [1] [0] [1] [1] [0] [0] [1] [0] [0] [1]
  [1] [0] [1] [0] [0] [1] [0] [1] [1] [0] [1] [0]

Andrew Howroyd, Table of n, a(n) for n = 0..200

Cf. A000740, A027375, A265627, A323351.

Cf. A323860, A323862, A323863, A323865, A323867, A323869.

apermatQ[m_]:=UnsameQ@@Join@@Table[RotateLeft[m,{i,j}],{i,Length[m]},{j,Length[First[m]]}];
zaz[n_]:=Join@@(Table[Partition[#,d],{d,Divisors[n]}]&/@Tuples[{0,1},n]);
Table[Length[Select[zaz[n],apermatQ]],{n,10}]

a(n) = Sum_{d|n} A323860(d, n/d). - Andrew Howroyd, Aug 21 2019

Terms a(18) and beyond from Andrew Howroyd, Aug 21 2019

A324462 Number of simple graphs covering n vertices with distinct rotations.

Original entry on oeis.org

1, 0, 0, 3, 28, 765, 26958, 1887277, 252458904, 66376420155, 34508978662350, 35645504882731557, 73356937843604425644, 301275024444053951967585, 2471655539736990372520379226, 40527712706903544100966076156895, 1328579255614092949957261201822704816

Offset: 0

Gus Wiseman, Feb 28 2019

nonn

A simple graph with n vertices has distinct rotations if all n rotations of its vertex set act on the edge set to give distinct graphs. It is covering if there are no isolated vertices. These are different from aperiodic graphs and acyclic graphs but are similar to aperiodic sequences (A000740) and aperiodic arrays (A323867).

Andrew Howroyd, Table of n, a(n) for n = 0..50
Gus Wiseman, The a(4) = 28 graph covers with distinct rotations.
Gus Wiseman, The a(4) = 28 graph covers with distinct rotations, radial embedding.

Cf. A000088, A000740, A002494, A006125, A006129, A027375, A192332, A323863, A323864, A323867, A323869, A324461 (non-covering case), A324463, A324464.

rotgra[g_,m_]:=Sort[Sort/@(g/.k_Integer:>If[k==m,1,k+1])];
Table[Length[Select[Subsets[Subsets[Range[n],{2}]],And[Union@@#==Range[n],UnsameQ@@Table[Nest[rotgra[#,n]&,#,j],{j,n}]]&]],{n,0,5}]

a(n)={if(n<1, n==0, sumdiv(n, d, moebius(n/d)*sum(k=0, d, (-1)^(d-k)*binomial(d,k)*2^(k*(k-1)*n/(2*d) + k*(n/d\2)))))} \\ Andrew Howroyd, Aug 19 2019

a(n) = Sum{d|n} mu(n/d) * Sum_{k=0..d} (-1)^(d-k)*binomial(d,k)*2^( k*(k-1)*n/(2*d) + k*(floor(n/(2*d))) ) for n > 0. - Andrew Howroyd, Aug 19 2019

Terms a(7) and beyond from Andrew Howroyd, Aug 19 2019

A323862 Table read by antidiagonals where A(n,k) is the number of n X k binary arrays in which both the sequence of rows and the sequence of columns are (independently) aperiodic.

Original entry on oeis.org

2, 2, 2, 6, 10, 6, 12, 54, 54, 12, 30, 228, 498, 228, 30, 54, 990, 4020, 4020, 990, 54, 126, 3966, 32730, 65040, 32730, 3966, 126, 240, 16254, 261522, 1047540, 1047540, 261522, 16254, 240, 504, 65040, 2097018, 16768860, 33554370, 16768860, 2097018, 65040, 504

Offset: 1

Gus Wiseman, Feb 04 2019

A sequence of length n is aperiodic if all n rotations of its entries are distinct.

			Array begins:
        2        2        6       12       30
        2       10       54      228      990
        6       54      498     4020    32730
       12      228     4020    65040  1047540
       30      990    32730  1047540 33554370

Andrew Howroyd, Table of n, a(n) for n = 1..1275

First and last columns are A027375. Main diagonal is A265627.
Cf. A000031, A000740, A001037, A179043, A323351.
Cf. A323860, A323861, A323863, A323864, A323865, A323867, A323869.

nn=5;
a[n_,k_]:=Sum[MoebiusMu[d]*MoebiusMu[e]*2^(n/d*k/e),{d,Divisors[n]},{e,Divisors[k]}];
Table[a[n-k,k],{n,nn},{k,n-1}]

A(n,k) = {sumdiv(n, d, sumdiv(k,e, moebius(d) * moebius(e) * 2^((n/d) * (k/e))))} \\ Andrew Howroyd, Jan 19 2023

A(n,k) = Sum_{d|n, e|k} mu(d) * mu(e) * 2^((n/d) * (k/e)).

cp's OEIS Frontend

A179043 Number of n X n checkered tori.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A323860 Table read by antidiagonals where A(n,k) is the number of n X k aperiodic binary arrays.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

Mathematica

Formula

Extensions

A323867 Number of aperiodic arrays of positive integers summing to n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

Mathematica

Extensions

A323864 Number of aperiodic binary arrays of size n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A324462 Number of simple graphs covering n vertices with distinct rotations.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A323862 Table read by antidiagonals where A(n,k) is the number of n X k binary arrays in which both the sequence of rows and the sequence of columns are (independently) aperiodic.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula