A162484 -id:A162484 - cp's OEIS frontend

A341741 Square array T(n,k), n >= 1, k >= 1, read by antidiagonals downwards: number of perfect matchings in the graph C_{2n} x C_k.

2, 8, 2, 14, 36, 2, 36, 50, 200, 2, 82, 272, 224, 1156, 2, 200, 722, 3108, 1058, 6728, 2, 478, 3108, 9922, 39952, 5054, 39204, 2, 1156, 10082, 90176, 155682, 537636, 24200, 228488, 2, 2786, 39952, 401998, 3113860, 2540032, 7379216, 115934, 1331716, 2

Offset: 1

Seiichi Manyama, Feb 18 2021

Dimer tilings of 2n x k toroidal grid.

			Square array begins:
  2,     8,    14,      36,       82,        200, ...
  2,    36,    50,     272,      722,       3108, ...
  2,   200,   224,    3108,     9922,      90176, ...
  2,  1156,  1058,   39952,   155682,    3113860, ...
  2,  6728,  5054,  537636,  2540032,  114557000, ...
  2, 39204, 24200, 7379216, 41934482, 4357599552, ...

Seiichi Manyama, Antidiagonals n = 1..50, flattened
P. W. Kasteleyn, The statistics of dimers on a lattice, I. the number of dimer arrangements on a quadratic lattice, Physica 27 (1961), 1209-1225. See Eq. (25).
Index entries for sequences related to dominoes

Columns 1..12 give A007395, A162484(2*n), A231087, A220864(2*n), A231485, A232804(2*n), A230033, A253678(2*n), A281583, A281679(2*n), A308761, A309018(2*n).
Rows 1..6 give A162484, A220864, A232804, A253678, A281679, A309018.
T(n,2*n) gives A335586.
Cf. A341533, A341738, A341739.
Cf. A099390, A103997, A103999.

T(n,k) = A341533(n,k)/2 + A341738(n,k) + 2 * ((k+1) mod 2) * A341739(n,ceiling(k/2)).
T(n, 2k) = T(k, 2n).
If k is odd, T(n,k) = A341533(n,k) = 2*A341738(n,k).

New name from Andrey Zabolotskiy, Dec 26 2021

A335586 Number of domino tilings of a 2n X 2n toroidal grid.

Original entry on oeis.org

1, 8, 272, 90176, 311853312, 11203604497408, 4161957566985310208, 15954943354032349049274368, 630665326543010382995142219988992, 256955886436135671144699761794930161483776

Offset: 0

Drake Thomas, Jan 26 2021

nonn

For n > 1, number of perfect matchings of the graph C_2n X C_2n.

			For n = 1, there are a(1) = 8 tilings (see the Links section for a diagram).

Seiichi Manyama, Table of n, a(n) for n = 0..44
S. N. Perepechko, The number of perfect matchings on C_m X C_n graphs, (in Russian), Information Processes, 2016, V. 16, No. 4, pp. 333-361.
Drake Thomas, 8 tilings for the 2 X 2 toroidal grid.
Eric Weisstein's World of Mathematics, Perfect Matching
Eric Weisstein's World of Mathematics, Torus Grid Graph

Number of perfect matchings of the graph C_2m X C_n: A162484 (m=1), A220864 (m=2), A232804 (m=3), A253678 (m=4), A281679 (m=5), A309018 (m=6).

Cf. A004003, A212800, A340562, A341478, A341479.

default(realprecision, 120);
b(n) = round(prod(j=1, n-1, prod(k=1, n, 4*sin(j*Pi/n)^2+4*sin((2*k-1)*Pi/(2*n))^2)));
c(n) = round(prod(j=1, n, prod(k=1, n, 4*sin((2*j-1)*Pi/(2*n))^2+4*sin((2*k-1)*Pi/(2*n))^2)));
a(n) = if(n==0, 1, 4*b(n)+c(n)/2); \\ Seiichi Manyama, Feb 13 2021

a(n) = 4 * Product_{j=1..n-1} Product_{k=1..n} (4*sin(j*Pi/n)^2 + 4*sin((2*k-1)*Pi/(2*n))^2) + 1/2 * Product_{1<=j,k<=n} (4*sin((2*j-1)*Pi/(2*n))^2 + 4*sin((2*k-1)*Pi/(2*n))^2) = 4 * A341478(n)^2 + A341479(n)/2 for n > 0. - Seiichi Manyama, Feb 13 2021

a(n) ~ (1 + sqrt(2)) * exp(4*G*n^2/Pi), where G is Catalan's constant A006752. - Vaclav Kotesovec, Feb 14 2021

More terms from Seiichi Manyama, Feb 13 2021

A341493 a(n) = ( Product_{j=1..n} Product_{k=1..n+1} (4sin((2j-1)Pi/n)^2 + 4sin((2k-1)Pi/(n+1))^2) )^(1/4).

Original entry on oeis.org

1, 2, 14, 50, 722, 9922, 401998, 19681538, 2415542018, 400448833106, 152849502772958, 83804387156528018, 100644292294423977842, 180483873668860889130642, 686161117968330536875295134, 4001215836806010384390623471618

Offset: 0

Seiichi Manyama, Feb 13 2021

nonn

Number of perfect matchings in the graph C_n X C_{n+1} for n > 0.

S. N. Perepechko, The number of perfect matchings on C_m X C_n graphs, (in Russian), Information Processes, 2016, V. 16, No. 4, pp. 333-361.
Eric Weisstein's World of Mathematics, Perfect Matching
Eric Weisstein's World of Mathematics, Torus Grid Graph

Cf. A162484, A220864, A230033, A231087, A231485, A232804, A253678, A281583, A281679, A308761, A309018, A335586.

Table[Product[4*Sin[(2*j - 1)*Pi/n]^2 + 4*Sin[(2*k - 1)*Pi/(n+1)]^2, {k, 1, n+1}, {j, 1, n}]^(1/4), {n, 0, 15}] // Round (* Vaclav Kotesovec, Feb 14 2021 *)

default(realprecision, 120);
a(n) = round(prod(j=1, n, prod(k=1, n+1, 4*sin((2*j-1)*Pi/n)^2+4*sin((2*k-1)*Pi/(n+1))^2))^(1/4));

a(n) ~ 2^(3/4) * exp(G*n*(n+1)/Pi), where G is Catalan's constant A006752. - Vaclav Kotesovec, Feb 14 2021

A351635 a(n) is the number of perfect matchings of an edge-labeled 2 X n Klein bottle grid graph, or equivalently the number of domino tilings of a 2 X n Klein bottle grid. (The twist is on the length-n side.)

Original entry on oeis.org

2, 6, 10, 16, 38, 54, 142, 196, 530, 726, 1978, 2704, 7382, 10086, 27550, 37636, 102818, 140454, 383722, 524176, 1432070, 1956246, 5344558, 7300804, 19946162, 27246966, 74440090, 101687056, 277814198, 379501254, 1036816702, 1416317956, 3869452610, 5285770566, 14440993738, 19726764304, 53894522342, 73621286646

Offset: 1

Sarah-Marie Belcastro, Feb 15 2022

Output of Lu and Wu's formula for the number of perfect matchings of an m X n Klein bottle grid specializes to this sequence for m=2 and the twist on the length-n side.

			a(1) = 2 because this is the number of perfect matchings of a 2 X 1 Klein bottle grid graph (one for each choice of the two non-loop edges).

Sarah-Marie Belcastro, Domino Tilings of 2 X n Grids (or Perfect Matchings of Grid Graphs) on Surfaces, J. Integer Seq. 26 (2023), Article 23.5.6.
W. T. Lu and F. Y. Wu, Close-packed dimers on nonorientable surfaces, Physics Letters A, 293 (2002), 235-246.
Index entries for linear recurrences with constant coefficients, signature (0,5,0,-5,0,1).

Cf. A000129, A005248, A001835, A003499, A068397, A103999, A162484, A162483.

RecurrenceTable[{a[n] ==
   a[n - 1] + a[n - 2] + Mod[n, 2] a[n - 1] - 4 Mod[n, 2], a[1] == 2,
  a[2] == 6}, a, {n, 1, 50}]

a(n) = a(n-1) + a(n-2) + (n mod 2)*a(n-1) - 4*(n mod 2).
From Stefano Spezia, Feb 15 2022: (Start)
G.f.: 2*x*(1 + 3*x - 7*x^3 - x^4 + 2*x^5)/(1 - 5*x^2 + 5*x^4 - x^6).
a(n) = 5*a(n-2) - 5*a(n-4) + a(n-6) for n > 6. (End)

cp's OEIS Frontend

A341741 Square array T(n,k), n >= 1, k >= 1, read by antidiagonals downwards: number of perfect matchings in the graph C_{2n} x C_k.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A335586 Number of domino tilings of a 2n X 2n toroidal grid.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A341493 a(n) = ( Product_{j=1..n} Product_{k=1..n+1} (4*sin((2*j-1)*Pi/n)^2 + 4*sin((2*k-1)*Pi/(n+1))^2) )^(1/4).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A351635 a(n) is the number of perfect matchings of an edge-labeled 2 X n Klein bottle grid graph, or equivalently the number of domino tilings of a 2 X n Klein bottle grid. (The twist is on the length-n side.)

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A341493 a(n) = ( Product_{j=1..n} Product_{k=1..n+1} (4sin((2j-1)Pi/n)^2 + 4sin((2k-1)Pi/(n+1))^2) )^(1/4).