This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A122135 #35 Feb 16 2025 08:33:02
%S A122135 1,1,2,2,3,4,6,7,10,12,16,20,26,31,40,48,60,72,89,106,130,154,186,220,
%T A122135 264,310,370,433,512,598,704,818,958,1110,1293,1494,1734,1996,2308,
%U A122135 2650,3052,3496,4014,4584,5248,5980,6825,7760,8834,10020,11380,12882,14594
%N A122135 Expansion of f(x, -x^4) / phi(-x^2) in powers of x where f(, ) and phi() are Ramanujan theta functions.
%C A122135 Generating function arises naturally in Rodney Baxter's solution of the Hard Hexagon Model according to George Andrews.
%C A122135 Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
%C A122135 From _Gus Wiseman_, Feb 26 2022: (Start)
%C A122135 Conjecture: Also the number of integer partitions y of n such that y_i > y_{i+1} for all even i. For example, the a(1) = 1 through a(9) = 12 partitions are:
%C A122135 (1) (2) (3) (4) (5) (6) (7) (8) (9)
%C A122135 (11) (21) (22) (32) (33) (43) (44) (54)
%C A122135 (31) (41) (42) (52) (53) (63)
%C A122135 (221) (51) (61) (62) (72)
%C A122135 (321) (331) (71) (81)
%C A122135 (2211) (421) (332) (432)
%C A122135 (3211) (431) (441)
%C A122135 (521) (531)
%C A122135 (3311) (621)
%C A122135 (4211) (3321)
%C A122135 (4311)
%C A122135 (5211)
%C A122135 The even-length case appears to be A122134.
%C A122135 The odd-length case is A351595.
%C A122135 The alternately unequal version appears to be A122129, even A351008, odd A122130.
%C A122135 The alternately equal version is A351003, even A351012, odd A000009.
%C A122135 The alternately equal and unequal version is A351005, even A035457, odd A351593.
%C A122135 The alternately unequal and equal version is A351006, even A351007, odd A053251. (End)
%C A122135 For Wiseman's conjecture above and three other partition-theoretic interpretations of this sequence see Connor, Proposition 4. - _Peter Bala_, Jan 02 2025
%D A122135 G. E. Andrews, q-series, CBMS Regional Conference Series in Mathematics, 66, Amer. Math. Soc. 1986, see p. 8, Eq. (1.5). MR0858826 (88b:11063)
%D A122135 G. E. Andrews, R. Askey and R. Roy, Special Functions, Cambridge University Press, 1999; Exercise 6(d), p. 591.
%H A122135 G. C. Greubel, <a href="/A122135/b122135.txt">Table of n, a(n) for n = 0..1000</a>
%H A122135 Willard G. Connor, <a href="https://doi.org/10.2307/1997097">Partition Theorems Related to Some Identities of Rogers and Watson</a>, Transactions of the American Mathematical Society, Vol. 214 (Dec., 1975), pp. 95-111.
%H A122135 M. D. Hirschhorn, <a href="http://dx.doi.org/10.1016/0097-3165(79)90005-0">Some partition theorems of the Rogers-Ramanujan type</a>, J. Combin. Theory Ser. A 27 (1979), no. 1, 33-37. MR0541341 (80j:05010). See Theorem 2. [From _N. J. A. Sloane_, Mar 19 2012]
%H A122135 Vaclav Kotesovec, <a href="http://arxiv.org/abs/1509.08708">A method of finding the asymptotics of q-series based on the convolution of generating functions</a>, arXiv:1509.08708 [math.CO], Sep 30 2015.
%H A122135 Michael Somos, <a href="/A010815/a010815.txt">Introduction to Ramanujan theta functions</a>
%H A122135 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/RamanujanThetaFunctions.html">Ramanujan Theta Functions</a>
%F A122135 Expansion of f(x^2, x^8) / f(-x, -x^4) in powers of x where f(, ) is Ramanujan's general theta function. - _Michael Somos_, Nov 12 2016
%F A122135 Expansion of f(-x^3, -x^7) * f(-x^4, -x^16) / ( f(-x) * f(-x^20) ) in powers of x where f(, ) is Ramanujan's general theta function.
%F A122135 Euler transform of period 20 sequence [ 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, ...].
%F A122135 G.f.: Sum_{k>=0} x^(k^2 + k) / ((1 - x) * (1 - x^2) * ... * (1 - x^(2*k+1))).
%F A122135 Let f(n) = 1/Product_{k >= 0} (1-q^(20k+n)). Then g.f. is f(1)*f(2)*f(5)*f(6)*f(8)*f(9)*f(11)*f(12)*f(14)*f(15)*f(18)*f(19); - _N. J. A. Sloane_, Mar 19 2012.
%F A122135 a(n) ~ (3 + sqrt(5))^(1/4) * exp(Pi*sqrt(2*n/5)) / (4*sqrt(5)*n^(3/4)). - _Vaclav Kotesovec_, Nov 12 2016
%e A122135 G.f. = 1 + x + 2*x^2 + 2*x^3 + 3*x^4 + 4*x^5 + 6*x^6 + 7*x^7 + 10*x^8 + ...
%e A122135 G.f. = q^9 + q^49 + 2*q^89 + 2*q^129 + 3*q^169 + 4*q^209 + 6*q^249 + ...
%p A122135 f:=n->1/mul(1-q^(20*k+n),k=0..20);
%p A122135 f(1)*f(2)*f(5)*f(6)*f(8)*f(9)*f(11)*f(12)*f(14)*f(15)*f(18)*f(19);
%p A122135 series(%,q,200); seriestolist(%); # _N. J. A. Sloane_, Mar 19 2012
%t A122135 a[ n_] := SeriesCoefficient[ QPochhammer[ -x, -x^5] QPochhammer[ x^4, -x^5] QPochhammer[-x^5] / EllipticTheta[ 4, 0, x^2], {x, 0, n}]; (* _Michael Somos_, Nov 12 2016 *)
%t A122135 nmax = 50; CoefficientList[Series[Product[1/((1 - x^(20*k+1))*(1 - x^(20*k+2))*(1 - x^(20*k+5))*(1 - x^(20*k+6))*(1 - x^(20*k+8))*(1 - x^(20*k+9))*(1 - x^(20*k+11))*(1 - x^(20*k+12))*(1 - x^(20*k+14))*(1 - x^(20*k+15))*(1 - x^(20*k+18))*(1 - x^(20*k+19)) ), {k, 0, nmax}], {x, 0, nmax}], x] (* _Vaclav Kotesovec_, Nov 12 2016 *)
%o A122135 (PARI) {a(n) = if( n<0, 0, polcoeff( sum(k=0, (sqrtint(4*n+1) - 1) \2, x^(k^2 + k) / prod(i=1, 2*k+1, 1 - x^i, 1 + x * O(x^(n-k^2-k)))), n))};
%Y A122135 Cf. A000009, A003242, A035363, A053251, A122129, A122130, A122134.
%K A122135 nonn,easy
%O A122135 0,3
%A A122135 _Michael Somos_, Aug 21 2006