cp's OEIS Frontend

A005561 Number of walks on square lattice. Column y=3 of A052174.

%I A005561 M3596 #39 Feb 03 2025 11:54:04
%S A005561 1,4,24,84,392,1344,5760,19800,81675,283140,1145144,4008004,16032016,
%T A005561 56632576,225059328,801773856,3173688180,11392726800,44986664800,
%U A005561 162594659920,641087516256,2331227331840,9183622822400,33577620944400,132211882468575,485773975404900
%N A005561 Number of walks on square lattice. Column y=3 of A052174.
%D A005561 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H A005561 Vincenzo Librandi, <a href="/A005561/b005561.txt">Table of n, a(n) for n = 3..1000</a>
%H A005561 R. K. Guy, <a href="/A005555/a005555.pdf">Letter to N. J. A. Sloane, May 1990</a>
%H A005561 R. K. Guy, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL3/GUY/catwalks.html">Catwalks, sandsteps and Pascal pyramids</a>, J. Integer Sequences, Vol. 3 (2000), Article #00.1.6. See w_n'(3).
%F A005561 a(n) = C(n+4, ceiling(n/2))*C(n+3, floor(n/2)) - C(n+4, ceiling((n-1)/2))*C(n+3, floor((n-1)/2)). - _Paul D. Hanna_, Apr 16 2004
%F A005561 Conjecture: (n-2)*(n-3)*(2*n+1)*(n+6)*(n+5)*a(n) - 4*n*(n+1)*(2*n^2+4*n+33)*a(n-1) - 16*n^2*(n-1)*(2*n+3)*(n+1)*a(n-2) = 0. - _R. J. Mathar_, Apr 02 2017
%p A005561 wnprime := proc(n,y)
%p A005561     local k;
%p A005561     if type(n-y,'even') then
%p A005561         k := (n-y)/2 ;
%p A005561         binomial(n+1,k)*(binomial(n,k)-binomial(n,k-1)) ;
%p A005561     else
%p A005561         k := (n-y-1)/2 ;
%p A005561         binomial(n+1,k)*binomial(n,k+1)-binomial(n+1,k+1)*binomial(n,k-1) ;
%p A005561     end if;
%p A005561 end proc:
%p A005561 A005561 := proc(n)
%p A005561     wnprime(n,3) ;
%p A005561 end proc:
%p A005561 seq(A005561(n),n=3..30) ; # _R. J. Mathar_, Apr 02 2017
%t A005561 Table[Binomial[n+4, Ceiling[n/2]] Binomial[n+3, Floor[n/2]]-Binomial[n+4, Ceiling[(n-1)/2]] Binomial[n+3, Floor[(n-1)/2]], {n, 0, 30}] (* _Vincenzo Librandi_, Apr 03 2017 *)
%o A005561 (PARI) {a(n)=binomial(n+4,ceil(n/2))*binomial(n+3,floor(n/2)) - binomial(n+4,ceil((n-1)/2))*binomial(n+3,floor((n-1)/2))}
%o A005561 (Magma) [Binomial(n+4, Ceiling(n/2))*Binomial(n+3, Floor(n/2)) - Binomial(n+4, Ceiling((n-1)/2))*Binomial(n+3, Floor((n-1)/2)): n in [0..30]]; // _Vincenzo Librandi_, Apr 03 2017
%Y A005561 Cf. A005558, A005559, A005560, A005562, A093768.
%Y A005561 Cf. A052174.
%K A005561 nonn,walk
%O A005561 3,2
%A A005561 _N. J. A. Sloane_