A128135 - OEIS

%I #51 Sep 19 2024 21:42:27

%S 1,3,10,28,72,176,416,960,2176,4864,10752,23552,51200,110592,237568,

%T 507904,1081344,2293760,4849664,10223616,21495808,45088768,94371840,

%U 197132288,411041792,855638016,1778384896,3690987520,7650410496,15837691904,32749125632,67645734912,139586437120,287762808832

%N Row sums of A128134.

%C Conjecture: a(n)/a(n-1) tends to sqrt(5). (E.g., a(10)/a(9) = 2.235294....)

%C The conjecture is false. The fraction a(n)/a(n-1) tends to 2 as n grows. - Philipp Zumstein (zuphilip(AT)inf.ethz.ch), Oct 05 2009

%C This sequence is a subsequence of a greedily and recursively defined sequence (see links). - _Sela Fried_, Aug 30 2024

%H Vincenzo Librandi, <a href="/A128135/b128135.txt">Table of n, a(n) for n = 1..1000</a>

%H Sela Fried, <a href="/A128135/a128135.pdf">On integer sequence A128135</a>, 2024.

%H Guo-Niu Han, <a href="/A196265/a196265.pdf">Enumeration of Standard Puzzles</a>, 2011. [Cached copy]

%H Guo-Niu Han, <a href="https://arxiv.org/abs/2006.14070">Enumeration of Standard Puzzles</a>, arXiv:2006.14070 [math.CO], 2020.

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

%F Row sums of A128134.

%F Equals A134315 * [1, 2, 3, ...]. - _Gary W. Adamson_, Oct 19 2007

%F a(n) = 2*a(n-1) + 2^(n-1) for n >= 2. - Philipp Zumstein (zuphilip(AT)inf.ethz.ch), Oct 05 2009

%F From _Colin Barker_, May 29 2012: (Start)

%F a(n) = 2^(n - 2)*(2*n - 1) for n > 1.

%F a(n) = 4*a(n-1) - 4*a(n-2) for n > 3.

%F G.f.: x*(1 - x + 2*x^2)/(1 - 2*x)^2. (End)

%F G.f.: (1 - G(0))/2 where G(k) = 1 - (2*k + 2)/(1 - x/(x - (k + 1)/G(k+1))) (recursively defined continued fraction). - _Sergei N. Gladkovskii_, Dec 06 2012

%F From _Amiram Eldar_, Aug 05 2020: (Start)

%F Sum_{n>=1} 1/a(n) = 2*sqrt(2)*arcsinh(1) - 1.

%F Sum_{n>=1} (-1)^(n+1)/a(n) = 2*sqrt(2)*arccot(sqrt(2)) - 1. (End)

%e a(4) = 28 = sum of row 4 of A128134 = 3 + 10 + 11 + 4.

%t CoefficientList[Series[(1-x+2*x^2)/(1-2*x)^2,{x,0,40}],x] (* _Vincenzo Librandi_, Jun 28 2012 *)

%t LinearRecurrence[{4,-4},{1,3,10},40] (* _Harvey P. Dale_, May 26 2023 *)

%o (Magma) I:=[1, 3, 10]; [n le 3 select I[n] else 4*Self(n-1)-4*Self(n-2): n in [1..40]]; // _Vincenzo Librandi_, Jun 28 2012

%o (PARI) a(n)=if(n<=2,[1,3][n],2*a(n-1)+2^(n-1)); /* _Joerg Arndt_, Sep 29 2012 */

%Y Cf. A128132, A128133, A128134, A134315.

%K nonn,easy

%O 1,2

%A _Gary W. Adamson_, Feb 16 2007

%E More terms from Philipp Zumstein (zuphilip(AT)inf.ethz.ch), Oct 05 2009

%E Incorrect formula deleted by _Colin Barker_, May 29 2012