login
Number of configurations of the general monomer-dimer model for a 2 X 2n square lattice.
2

%I #23 Sep 08 2022 08:46:13

%S 1,7,71,733,7573,78243,808395,8352217,86293865,891575391,9211624463,

%T 95173135221,983314691581,10159461285307,104966044432531,

%U 1084493574452273,11204826469232593,115766602184825143,1196083332322900695,12357755266727364237,127678491209925526885

%N Number of configurations of the general monomer-dimer model for a 2 X 2n square lattice.

%H Alois P. Heinz, <a href="/A260033/b260033.txt">Table of n, a(n) for n = 0..1000</a>

%H N. Allegra, <a href="http://arxiv.org/abs/1410.4131">Exact solution of the 2d dimer model: Corner free energy, correlation functions and combinatorics</a>, arXiv:1410.4131 [cond-mat.stat-mech], 2014. See Table 5.

%H <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (11,-7,1).

%F G.f.: (1-4*x+x^2)/(1-11*x+7*x^2-x^3). - _Alois P. Heinz_, Mar 07 2016

%p seq(coeff(series((1-4*x+x^2)/(1-11*x+7*x^2-x^3), x, n+1), x, n), n = 0 .. 30); # _G. C. Greubel_, Oct 27 2019

%t LinearRecurrence[{11,-7,1}, {1,7,71}, 30] (* _G. C. Greubel_, Oct 27 2019 *)

%o (PARI) my(x='x+O('x^30)); Vec((1-4*x+x^2)/(1-11*x+7*x^2-x^3)) \\ _G. C. Greubel_, Oct 27 2019

%o (Magma) R<x>:=PowerSeriesRing(Integers(), 30); Coefficients(R!( (1-4*x+x^2)/(1-11*x+7*x^2-x^3) )); // _G. C. Greubel_, Oct 27 2019

%o (Sage)

%o def A260033_list(prec):

%o P.<x> = PowerSeriesRing(ZZ, prec)

%o return P((1-4*x+x^2)/(1-11*x+7*x^2-x^3)).list()

%o A260033_list(30) # _G. C. Greubel_, Oct 27 2019

%o (GAP) a:=[1,7,71];; for n in [4..30] do a[n]:=11*a[n-1]-7*a[n-2]+a[n-3]; od; a; # _G. C. Greubel_, Oct 27 2019

%Y Bisection (even part) of A030186.

%K nonn,easy

%O 0,2

%A _N. J. A. Sloane_, Jul 19 2015

%E a(0), a(5)-a(20) from _Alois P. Heinz_, Mar 07 2016