%I M3943 #92 Sep 08 2022 08:44:33
%S 1,5,26,139,758,4194,23460,132339,751526,4290838,24607628,141648830,
%T 817952188,4736107172,27487711752,159864676803,931448227590,
%U 5435879858958,31769632683132,185918669183370,1089302293140564
%N Number of walks on cubic lattice (starting from origin and not going below xy plane).
%C Binomial transform of A026378, second binomial transform of A001700. - _Philippe Deléham_, Jan 28 2007
%C The Hankel transform of [1,1,5,26,139,758,...] is [1,4,15,56,209,...](see A001353). - _Philippe Deléham_, Apr 13 2007
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H Vincenzo Librandi, <a href="/A005573/b005573.txt">Table of n, a(n) for n = 0..1000</a>
%H Isaac DeJager, Madeleine Naquin, Frank Seidl, <a href="https://www.valpo.edu/mathematics-statistics/files/2019/08/Drube2019.pdf">Colored Motzkin Paths of Higher Order</a>, VERUM 2019.
%H E. Deutsch et al., <a href="http://www.jstor.org/stable/2695431">Problem 10795: Three-Dimensional Lattice Walks in the Upper Half-Space</a>, Amer. Math. Monthly, 108 (Dec. 2001), 980.
%H Rigoberto Flórez, Leandro Junes, José L. Ramírez, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL21/Florez/florez4.html">Further Results on Paths in an n-Dimensional Cubic Lattice</a>, Journal of Integer Sequences, Vol. 21 (2018), Article 18.1.2.
%H R. K. Guy, <a href="/A005555/a005555.pdf">Letter to N. J. A. Sloane, May 1990</a>
%H R. K. Guy, <a href="http://www.cs.uwaterloo.ca/journals/JIS/VOL3/GUY/catwalks.html">Catwalks, Sandsteps and Pascal Pyramids</a>, J. Integer Seqs., Vol. 3 (2000), #00.1.6.
%H Aoife Hennessy, <a href="http://repository.wit.ie/1693">A Study of Riordan Arrays with Applications to Continued Fractions, Orthogonal Polynomials and Lattice Paths</a>, Ph. D. Thesis, Waterford Institute of Technology, Oct. 2011.
%F From _Emeric Deutsch_, Jan 09 2003; corrected by _Roland Bacher_: (Start)
%F a(n) = Sum_{i=0..n} (-1)^i*6^(n-i)*binomial(n, i)*binomial(2*i, i)/(i+1);
%F g.f. A(x) satisfies: x(1-6x)A^2 + (1-6x)A - 1 = 0. (End)
%F From _Henry Bottomley_, Aug 23 2001: (Start)
%F a(n) = 6*a(n-1) - A005572(n-1).
%F a(n) = Sum_{j=0..n} 4^(n-j)*binomial(n, floor(n/2))*binomial(n, j). (End)
%F a(n) = Sum_{k=0..n} binomial(n, k)*binomial(2*k+1, k)*2^(n-k).
%F a(n) = Sum_{k=0..n} (-1)^k*binomial(n, k)*Catalan(k)*6^(n-k).
%F D-finite with recurrence (n+1)*a(n) = (8*n+2)*a(n-1)-(12*n-12)*a(n-2). - _Vladeta Jovovic_, Jul 16 2004
%F a(n) = Sum_{k=0..n} A052179(n,k). - _Philippe Deléham_, Jan 28 2007
%F Conjecture: a(n)= 6^n * hypergeom([1/2,-n],[2], 2/3). - _Benjamin Phillabaum_, Feb 20 2011
%F From _Paul Barry_, Apr 21 2009: (Start)
%F G.f.: (sqrt((1-2*x)/(1-6*x)) - 1)/(2*x).
%F G.f.: 1/(1-5*x-x^2/(1-4*x-x^2/(1-4*x-x^2/(1-4*x-x^2/(1-... (continued fraction). (End)
%F G.f.: 1/(1 - 4*x - x*(1 - 2*x)/(1 - 2*x - x*(1 - 2*x)/(1 - 2*x - x*(1 - 2*x)/(1 - 2*x - x*(1 - 2*x)/(1...(continued fraction). - Aoife Hennessy (aoife.hennessy(AT)gmail.com), Jul 02 2010
%F a(n) ~ 6^(n+1/2)/sqrt(Pi*n). - _Vaclav Kotesovec_, Oct 05 2012
%F G.f.: G(0)/(2*x) - 1/(2*x), where G(k)= 1 + 4*x*(4*k+1)/( (4*k+2)*(1-2*x) - 2*x*(1-2*x)*(2*k+1)*(4*k+3)/(x*(4*k+3) + (1-2*x)*(k+1)/G(k+1))); (continued fraction). - _Sergei N. Gladkovskii_, Jun 24 2013
%F a(n) = 2^n*hypergeom([-n, 3/2], [2], -2). - _Peter Luschny_, Apr 26 2016
%F E.g.f.: exp(4*x)*(BesselI(0,2*x) + BesselI(1,2*x)). - _Ilya Gutkovskiy_, Sep 20 2017
%t CoefficientList[Series[(Sqrt[(1-2x)/(1-6x)]-1)/(2x),{x,0,20}],x] (* _Harvey P. Dale_, Jun 24 2011 *)
%t a[n_] := 6^n Hypergeometric2F1[1/2, -n, 2, 2/3]; Table[a[n], {n, 0, 20}] (* _Jean-François Alcover_, Apr 11 2017 *)
%o (PARI) my(x='x+O('x^30)); Vec((sqrt((1-2*x)/(1-6*x)) -1)/(2*x)) \\ _G. C. Greubel_, May 02 2019
%o (Magma) R<x>:=PowerSeriesRing(Rationals(), 30); Coefficients(R!( (Sqrt((1-2*x)/(1-6*x)) -1)/(2*x) )); // _G. C. Greubel_, May 02 2019
%o (Sage) ((sqrt((1-2*x)/(1-6*x)) -1)/(2*x)).series(x, 30).coefficients(x, sparse=False) # _G. C. Greubel_, May 02 2019
%K nonn,walk,easy,nice
%O 0,2
%A _N. J. A. Sloane_
%E More terms from _Henry Bottomley_, Aug 23 2001