A157226 -id:A157226 - cp's OEIS frontend

A145393 Number of inequivalent sublattices of index n in square lattice, where two sublattices are considered equivalent if one can be rotated or reflected to give the other, with that rotation or reflection preserving the parent square lattice.

1, 2, 2, 4, 3, 5, 3, 7, 5, 7, 4, 11, 5, 8, 8, 12, 6, 13, 6, 15, 10, 11, 7, 21, 10, 13, 12, 18, 9, 22, 9, 21, 14, 16, 14, 29, 11, 17, 16, 29, 12, 28, 12, 25, 23, 20, 13, 39, 16, 27, 20, 29, 15, 34, 20, 36, 22, 25, 16, 50, 17, 26, 29, 38, 24, 40, 18, 36, 26, 40

Offset: 1

N. J. A. Sloane, Feb 23 2009

nonn

From Andrey Zabolotskiy, Mar 12 2018: (Start)
If reflections are not allowed, we get A145392. If any rotations and reflections are allowed, we get A054346.
The parent lattice of the sublattices under consideration has Patterson symmetry group p4mm, and two sublattices are considered equivalent if they are related via a symmetry from that group [Rutherford]. For other 2D Patterson groups, the analogous sequences are A000203 (p2), A069734 (p2mm), A145391 (c2mm), A145392 (p4), A145394 (p6), A003051 (p6mm).
Rutherford says at p. 161 that a(n) != A054346(n) only when A002654(n) > 2, but actually these two sequence differ at other terms, too, for example, at n = 30 (see illustration). (End)

Andrey Zabolotskiy, Table of n, a(n) for n = 1..10000
Amihay Hanany, Domenico Orlando, and Susanne Reffert, Sublattice counting and orbifolds, High Energ. Phys., 2010 (2010), 51, arXiv.org:1002.2981 [hep-th] (see table 6 and fig. 2).
John S. Rutherford, Sublattice enumeration. IV. Equivalence classes of plane sublattices by parent Patterson symmetry and colour lattice group type, Acta Cryst. (2009). A65, 156-163. [See Table 2; beware the typo in a(5).]
Andrey Zabolotskiy, Sublattices of the square lattice (illustrations for n = 1..6, 15, 25)
Index entries for sequences related to sublattices
Index entries for sequences related to square lattice

Cf. A054345, A054346, A167156, A008621.
Cf. A000203, A069734, A145391, A145392, A145394, A003051, A002324, A002654, A069735, A145390.
Cf. A019590, A157228, A157226, A157230, A157231, A053866, A025441.

terms = 70;
CoefficientList[Sum[(1/((1-x^m)(1-x^(4m)))-1), {m, 1, terms}] + O[x]^(terms + 1), x] // Rest (* Jean-François Alcover, Aug 05 2018 *)

a(n) = (A000203(n) + A002654(n) + A069735(n) + A145390(n))/4. [Rutherford] - N. J. A. Sloane, Mar 13 2009
G.f.: Sum_{ m>=1 } (1/((1-x^m)(1-x^(4m))) - 1). [Hanany, Orlando & Reffert, eq. (6.8)] - Andrey Zabolotskiy, Jul 05 2017
a(n) = Sum_{ m: m^2|n } A019590(n/m^2) + A157228(n/m^2) + A157226(n/m^2) + A157230(n/m^2) + A157231(n/m^2) = A053866(n) + A025441(n) + Sum_{ m: m^2|n } A157226(n/m^2) + A157230(n/m^2) + A157231(n/m^2). [Rutherford] - Andrey Zabolotskiy, May 07 2018
a(n) = Sum_{ d|n } A008621(d) = Sum_{ d|n } (1 + floor(d/4)). [From the above-given g.f.] - Andrey Zabolotskiy, Jul 17 2019

New name from Andrey Zabolotskiy, Mar 12 2018

A304182 Number of primitive inequivalent mirror-symmetric sublattices of rectangular lattice of index n.

Original entry on oeis.org

1, 3, 2, 4, 2, 6, 2, 4, 2, 6, 2, 8, 2, 6, 4, 4, 2, 6, 2, 8, 4, 6, 2, 8, 2, 6, 2, 8, 2, 12, 2, 4, 4, 6, 4, 8, 2, 6, 4, 8, 2, 12, 2, 8, 4, 6, 2, 8, 2, 6, 4, 8, 2, 6, 4, 8, 4, 6, 2, 16, 2, 6, 4, 4, 4, 12, 2, 8, 4, 12, 2, 8, 2, 6, 4, 8, 4, 12, 2, 8, 2, 6, 2, 16, 4

Offset: 1

Andrey Zabolotskiy, May 07 2018

			There are 6 = A001615(4) lattices in Z^2 whose quotient group is C_4. The reflection through an axis relates <(4,0), (1,1)> and <(4,0), (3,1)>. The remaining 4 = a(4) lattices are fixed.

Álvar Ibeas, Table of n, a(n) for n = 1..10000
John S. Rutherford, Sublattice enumeration. IV. Equivalence classes of plane sublattices by parent Patterson symmetry and colour lattice group type, Acta Cryst. (2009). A65, 156-163. [See Table 4. Contains errors for n = 24 and 28.]

Cf. A069735 (not only primitive sublattices), A304183 (primitive oblique sublattices), A069734 (all sublattices).
Cf. other columns of tables 4 and 5 from [Rutherford, 2009]: A001615, A060594, A157223, A000089, A157224, A000086, A157227, A019590, A157228, A157226, A157230, A157231, A154272, A157235.
Cf. A034444, A001221, A001620, A306016.

f[p_, e_] := If[p == 2, If[e == 1, 3, 4], 2]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Oct 22 2022 *)

From Álvar Ibeas, Mar 18 2021: (Start)
For n odd, a(n) = A034444(n) = 2^(A001221(n)).
For n even, a(n) = A034444(n) + A034444(n/2). If 4|n, a(n) = 2^(A001221(n) + 1); otherwise, a(n) = 3 * 2^(A001221(n) - 1).
Multiplicative with a(2) = 3, a(2^e) = 4 (for e>1), and a(p^e) = 2 (for p>2).
Dirichlet g.f.: (1+2^(-s)) * zeta(s)^2 / zeta(2s).
(End)
Sum_{k=1..n} a(k) ~ (log(n) + 2*gamma - log(2)/3 - 2*zeta'(2)/zeta(2) - 1)*9*n/Pi^2, where gamma is Euler's constant (A001620). - Amiram Eldar, Dec 31 2022

A157228 Number of primitive inequivalent inclined square sublattices of square lattice of index n.

Original entry on oeis.org

0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 2, 0, 0

Offset: 1

N. J. A. Sloane, Feb 25 2009

nonn

From Andrey Zabolotskiy, May 09 2018: (Start)
Also, the number of partitions of n into 2 distinct coprime squares.
All such sublattices (including non-primitive ones) are counted in A025441.
The primitive sublattices that have the same symmetries (including the orientation of the mirrors) as the parent lattice are not counted here; they are counted in A019590, and all such sublattices (including non-primitive ones) are counted in A053866.
For n > 2, equals A193138. (End)

Andrey Zabolotskiy, Table of n, a(n) for n = 1..5000
John S. Rutherford, Sublattice enumeration. IV. Equivalence classes of plane sublattices by parent Patterson symmetry and colour lattice group type, Acta Cryst. (2009). A65, 156-163. [See Table 5.]

Cf. A193138, A145393 (all sublattices of the square lattice), A025441, A019590, A053866, A157226, A157230, A157231, A000089, A304182, A224450, A224770, A281877, A024362.

a(n) = (A000089(n) - A019590(n)) / 2. - Andrey Zabolotskiy, May 09 2018
a(n) = 1 if n>2 is in A224450, a(n) = 2 if n is in A224770, a(n) is a higher power of 2 if n is in A281877 (first time reaches 8 at n = 32045). - Andrey Zabolotskiy, Sep 30 2018
a(n) = b(n) for odd n, a(n) = b(n/2) for even n, where b(n) = A024362(n). - Andrey Zabolotskiy, Jan 23 2022

New name and more terms from Andrey Zabolotskiy, May 09 2018

A157230 Number of primitive inequivalent sublattices of square lattice having mirrors parallel to the diagonals of the unit cell of the parent lattice of index n.

Original entry on oeis.org

0, 0, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 2, 2, 1, 1, 1, 2, 2, 1, 1, 4, 1, 1, 1, 2, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 4, 1, 2, 1, 2, 2, 1, 1, 4, 1, 1, 2, 2, 1, 1, 2, 4, 2, 1, 1, 4, 1, 1, 2, 2, 2, 2, 1, 2, 2, 2, 1, 4, 1, 1, 2, 2, 2, 2, 1, 4, 1, 1, 1, 4, 2, 1, 2

Offset: 1

N. J. A. Sloane, Feb 25 2009

nonn

After a(2), this matches A034380 except for n = 63, 65, 80, 85, ... - R. J. Mathar, Feb 27 2009 [Updated by Andrey Zabolotskiy, May 09 2018]

Andrey Zabolotskiy, Table of n, a(n) for n = 1..5000
J. S. Rutherford, Sublattice enumeration. IV. Equivalence classes of plane sublattices by parent Patterson symmetry and colour lattice group type, Act. Cryst. A65 (2009) 156-163, Table 5 symmetry *mm2.

Cf. A145393 (all sublattices of the square lattice), A019590, A157228, A157226, A157231, A304182, A060594, A046072, A033948, A272592.

a[n_] := If[n <= 2, 0, Sum[Boole[Mod[k^2, n] == 1], {k, 1, n}]/2];
Table[a[n], {n, 1, 100}] (* Jean-François Alcover, Apr 12 2023 *)

From Andrey Zabolotskiy, Sep 30 2018: (Start)
a(n) = (A060594(n) - A019590(n))/2.
a(n) = 2^(A046072(n)-1) for n>2. Thus a(n) = 1 if n>2 is in A033948, a(n) = 2 if n is in A272592, etc. (End)

New name and more terms from Andrey Zabolotskiy, May 09 2018

A157231 Number of primitive inequivalent oblique sublattices of square lattice of index n (equivalence and symmetry of sublattices are determined using parent lattice symmetries).

Original entry on oeis.org

0, 0, 0, 0, 0, 1, 1, 1, 2, 2, 2, 3, 2, 4, 4, 4, 3, 7, 4, 6, 6, 7, 5, 8, 6, 8, 8, 9, 6, 14, 7, 10, 10, 11, 10, 15, 8, 13, 12, 14, 9, 20, 10, 15, 16, 16, 11, 20, 13, 20, 16, 18, 12, 25, 16, 20, 18, 20, 14, 30, 14, 22, 22, 22, 18, 32, 16, 24, 22, 32, 17, 32, 17

Offset: 1

N. J. A. Sloane, Feb 25 2009

nonn

Andrey Zabolotskiy, Table of n, a(n) for n = 1..5000
John S. Rutherford, Sublattice enumeration. IV. Equivalence classes of plane sublattices by parent Patterson symmetry and colour lattice group type, Acta Cryst. (2009). A65, 156-163. [See Table 5.]

Cf. A145393 (all sublattices of the square lattice), A019590, A157228, A157226, A157230, A001615, A304182.

a(n) = (A001615(n) - A019590(n) - 2 * (A157228(n) + A157226(n) + A157230(n))) / 4. - Andrey Zabolotskiy, May 09 2018

New name and more terms from Andrey Zabolotskiy, May 09 2018

cp's OEIS Frontend

A145393 Number of inequivalent sublattices of index n in square lattice, where two sublattices are considered equivalent if one can be rotated or reflected to give the other, with that rotation or reflection preserving the parent square lattice.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A304182 Number of primitive inequivalent mirror-symmetric sublattices of rectangular lattice of index n.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A157228 Number of primitive inequivalent inclined square sublattices of square lattice of index n.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

Extensions

A157230 Number of primitive inequivalent sublattices of square lattice having mirrors parallel to the diagonals of the unit cell of the parent lattice of index n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A157231 Number of primitive inequivalent oblique sublattices of square lattice of index n (equivalence and symmetry of sublattices are determined using parent lattice symmetries).

Views

Author

Keywords

Links

Crossrefs

Formula

Extensions