A117192 -id:A117192 - cp's OEIS frontend

A000009 Expansion of Product_{m >= 1} (1 + x^m); number of partitions of n into distinct parts; number of partitions of n into odd parts.

1, 1, 1, 2, 2, 3, 4, 5, 6, 8, 10, 12, 15, 18, 22, 27, 32, 38, 46, 54, 64, 76, 89, 104, 122, 142, 165, 192, 222, 256, 296, 340, 390, 448, 512, 585, 668, 760, 864, 982, 1113, 1260, 1426, 1610, 1816, 2048, 2304, 2590, 2910, 3264, 3658, 4097, 4582, 5120, 5718, 6378

Offset: 0

N. J. A. Sloane

Partitions into distinct parts are sometimes called "strict partitions".
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
The result that number of partitions of n into distinct parts = number of partitions of n into odd parts is due to Euler.
Bijection: given n = L1* 1 + L2*3 + L3*5 + L7*7 + ..., a partition into odd parts, write each Li in binary, Li = 2^a1 + 2^a2 + 2^a3 + ... where the aj's are all different, then expand n = (2^a1 * 1 + ...)*1 + ... by removing the brackets and we get a partition into distinct parts. For the reverse operation, just keep splitting any even number into halves until no evens remain.
Euler transform of period 2 sequence [1,0,1,0,...]. - Michael Somos, Dec 16 2002
Number of different partial sums 1+[1,2]+[1,3]+[1,4]+..., where [1,x] indicates a choice. E.g., a(6)=4, as we can write 1+1+1+1+1+1, 1+2+3, 1+2+1+1+1, 1+1+3+1. - Jon Perry, Dec 31 2003
a(n) is the sum of the number of partitions of x_j into at most j parts, where j is the index for the j-th triangular number and n-T(j)=x_j. For example; a(12)=partitions into <= 4 parts of 12-T(4)=2 + partitions into <= 3 parts of 12-T(3)=6 + partitions into <= 2 parts of 12-T(2)=9 + partitions into 1 part of 12-T(1)=11 = (2)(11) + (6)(51)(42)(411)(33)(321)(222) + (9)(81)(72)(63)(54)+(11) = 2+7+5+1 = 15. - Jon Perry, Jan 13 2004
Number of partitions of n where if k is the largest part, all parts 1..k are present. - Jon Perry, Sep 21 2005
Jack Grahl and Franklin T. Adams-Watters prove this claim of Jon Perry's by observing that the Ferrers dual of a "gapless" partition is guaranteed to have distinct parts; since the Ferrers dual is an involution, this establishes a bijection between the two sets of partitions. - Allan C. Wechsler, Sep 28 2021
The number of connected threshold graphs having n edges. - Michael D. Barrus (mbarrus2(AT)uiuc.edu), Jul 12 2007
Starting with offset 1 = row sums of triangle A146061 and the INVERT transform of A000700 starting: (1, 0, 1, -1, 1, -1, 1, -2, 2, -2, 2, -3, 3, -3, 4, -5, ...). - Gary W. Adamson, Oct 26 2008
Number of partitions of n in which the largest part occurs an odd number of times and all other parts occur an even number of times. (Such partitions are the duals of the partitions with odd parts.) - David Wasserman, Mar 04 2009
Equals A035363 convolved with A010054. The convolution square of A000009 = A022567 = A000041 convolved with A010054. A000041 = A000009 convolved with A035363. - Gary W. Adamson, Jun 11 2009
Considering all partitions of n into distinct parts: there are A140207(n) partitions of maximal size which is A003056(n), and A051162(n) is the greatest number occurring in these partitions. - Reinhard Zumkeller, Jun 13 2009
Equals left border of triangle A091602 starting with offset 1. - Gary W. Adamson, Mar 13 2010
Number of symmetric unimodal compositions of n+1 where the maximal part appears once. Also number of symmetric unimodal compositions of n where the maximal part appears an odd number of times. - Joerg Arndt, Jun 11 2013
Because for these partitions the exponents of the parts 1, 2, ... are either 0 or 1 (j^0 meaning that part j is absent) one could call these partitions also 'fermionic partitions'. The parts are the levels, that is the positive integers, and the occupation number is either 0 or 1 (like Pauli's exclusion principle). The 'fermionic states' are denoted by these partitions of n. - Wolfdieter Lang, May 14 2014
The set of partitions containing only odd parts forms a monoid under the product described in comments to A047993. - Richard Locke Peterson, Aug 16 2018
Ewell (1973) gives a number of recurrences. - N. J. A. Sloane, Jan 14 2020
a(n) equals the number of permutations p of the set {1,2,...,n+1}, written in one line notation as p = p_1p_2...p_(n+1), satisfying p_(i+1) - p_i <= 1 for 1 <= i <= n, (i.e., those permutations that, when read from left to right, never increase by more than 1) whose major index maj(p) := Sum_{p_i > p_(i+1)} i  equals n. For example, of the 16 permutations on 5 letters satisfying p_(i+1) - p_i <= 1, 1 <= i <= 4, there are exactly two permutations whose major index is 4, namely, 5 3 4 1 2 and 2 3 4 5 1. Hence a(4) = 2. See the Bala link in A007318 for a proof. - Peter Bala, Mar 30 2022
Conjecture: Each positive integer n can be written as a_1 + ... + a_k, where a_1,...,a_k are strict partition numbers (i.e., terms of the current sequence) with no one dividing another. This has been verified for n = 1..1350. - Zhi-Wei Sun, Apr 14 2023
Conjecture: For each integer n > 7, a(n) divides none of p(n), p(n) - 1 and p(n) + 1, where p(n) is the number of partitions of n given by A000041. This has been verified for n up to 10^5. - Zhi-Wei Sun, May 20 2023 [Verified for n <= 2*10^6. - Vaclav Kotesovec, May 23 2023]
The g.f. Product_{k >= 0} 1 + x^k = Product_{k >= 0} 1 - x^k + 2*x^k == Product_{k >= 0} 1 - x^k  == Sum_{k in Z} (-1)^k*x^(k*(3*k-1)/2) (mod 2) by Euler's pentagonal number theorem. It follows that a(n) is odd iff n = k*(3*k - 1)/2 for some integer k, i.e., iff n is a generalized pentagonal number A001318. - Peter Bala, Jan 07 2025

			G.f. = 1 + x + x^2 + 2*x^3 + 2*x^4 + 3*x^5 + 4*x^6 + 5*x^7 + 6*x^8 + 8*x^9 + ...
G.f. = q + q^25 + q^49 + 2*q^73 + 2*q^97 + 3*q^121 + 4*q^145 + 5*q^169 + ...
The partitions of n into distinct parts (see A118457) for small n are:
  1: 1
  2: 2
  3: 3, 21
  4: 4, 31
  5: 5, 41, 32
  6: 6, 51, 42, 321
  7: 7, 61, 52, 43, 421
  8: 8, 71, 62, 53, 521, 431
  ...
From _Reinhard Zumkeller_, Jun 13 2009: (Start)
a(8)=6, A140207(8)=#{5+2+1,4+3+1}=2, A003056(8)=3, A051162(8)=5;
a(9)=8, A140207(9)=#{6+2+1,5+3+1,4+3+2}=3, A003056(9)=3, A051162(9)=6;
a(10)=10, A140207(10)=#{4+3+2+1}=1, A003056(10)=4, A051162(10)=4. (End)

Mohammad K. Azarian, A Generalization of the Climbing Stairs Problem, Mathematics and Computer Education, Vol. 31, No. 1, pp. 24-28, Winter 1997. MathEduc Database (Zentralblatt MATH, 1997c.01891).
Mohammad K. Azarian, A Generalization of the Climbing Stairs Problem II, Missouri Journal of Mathematical Sciences, Vol. 16, No. 1, Winter 2004, pp. 12-17. Zentralblatt MATH, Zbl 1071.05501.
George E. Andrews, The Theory of Partitions, Cambridge University Press, 1998, p. 19.
George E. Andrews, Number Theory, Dover Publications, 1994, Theorem 12-3, pp. 154-5, and (13-1-1) p. 163.
Raymond Ayoub, An Introduction to the Analytic Theory of Numbers, Amer. Math. Soc., 1963; see p. 196.
T. J. I'a. Bromwich, Introduction to the Theory of Infinite Series, Macmillan, 2nd. ed. 1949, p. 116, Problem 18.
Louis Comtet, Advanced Combinatorics, Reidel, 1974, p. 99.
William Dunham, The Mathematical Universe, pp. 57-62, J. Wiley, 1994.
Leonhard Euler, De partitione numerorum, Novi commentarii academiae scientiarum Petropolitanae 3 (1750/1), 1753, reprinted in: Commentationes Arithmeticae. (Opera Omnia. Series Prima: Opera Mathematica, Volumen Secundum), 1915, Lipsiae et Berolini, 254-294.
Ian P. Goulden and David M. Jackson, Combinatorial Enumeration, Wiley, N.Y., 1983, (2.5.1).
G. H. Hardy, Ramanujan: twelve lectures on subjects suggested by his life and work, Cambridge, University Press, 1940, p. 86.
G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers. 3rd ed., Oxford Univ. Press, 1954, p. 277, Theorems 344, 346.
Carlos J. Moreno and Samuel S. Wagstaff, Jr., Sums of Squares of Integers, Chapman and Hall, 2006, p. 253.
Srinivasa Ramanujan, Collected Papers, Ed. G. H. Hardy et al., Cambridge 1927; Chelsea, NY, 1962. See Table V on page 309.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, pages 288-290.

Felix Huber, Table of n, a(n) for n = 0..10000 (terms up to n=2000 from N. J. A. Sloane, up to n=5000 from Reinhard Zumkeller)
Joerg Arndt, Matters Computational (The Fxtbook), pp. 348-350.
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy], p. 836.
Francesca Aicardi, Matricial formulae for partitions, Functional Analysis and Other Mathematics, Vol. 3, No. 2 (2011), pp. 127-133; arXiv preprint, arXiv:0806.1273 [math.NT], 2008.
George E. Andrews, Euler's "De Partitio Numerorum", Bull. Amer. Math. Soc., 44 (No. 4, 2007), 561-573.
George E. Andrews, The Bhargava-Adiga Summation and Partitions, 2016. See page 4 equation (2.2).
Brennan Benfield and Arindam Roy, Log-concavity And The Multiplicative Properties of Restricted Partition Functions, arXiv:2404.03153 [math.NT], 2024.
Helena Bergold, Lukas Egeling, and Hung. P. Hoang, Signotopes with few plus signs, arXiv:2411.19208 [math.CO], 2024. See p. 14.
Andreas B. G. Blobel, An Asymptotic Form of the Generating Function Prod_{k=1,oo} (1+x^k/k), arXiv:1904.07808 [math.CO], 2019.
Alexander Bors, Michael Giudici, and Cheryl E. Praeger, Documentation for the GAP code file OrbOrd.txt, arXiv:1910.12570 [math.GR], 2019.
Henry Bottomley, Illustration for A000009, A000041, A047967.
Andrés Eduardo Caicedo and Brittany Shelton, Of puzzles and partitions: Introducing Partiti, Mathematics Magazine, Vol. 91, No. 1 (2018), pp. 20-23; arXiv preprint, arXiv:1710.04495 [math.HO], 2017.
Huantian Cao, AutoGF: An Automated System to Calculate Coefficients of Generating Functions, thesis, 2002.
Huantian Cao, AutoGF: An Automated System to Calculate Coefficients of Generating Functions, thesis, 2002. [Local copy, with permission]
H. B. C. Darling, Collected Papers of Ramanujan, Table for q(n); n=1 through 100.
Alejandro Erickson and Mark Schurch, Monomer-dimer tatami tilings of square regions, Journal of Discrete Algorithms, Vol. 16 (2012), pp. 258-269; arXiv preprint, arXiv:1110.5103 [math.CO], 2011.
John A. Ewell, Partition recurrences, J. Comb. Theory A, Vol. 14, 125-127, 1973.
Philippe Flajolet and Robert Sedgewick, Analytic Combinatorics, Cambridge University Press, 2009; see pages 48 and 499.
Evangelos Georgiadis, Computing Partition Numbers q(n), Technical Report, February (2009).
Benjamin Hackl, 5 + 5 + 1 + 1 + 1 = 10 + 2 + 1, and why there is more to it than you think., YouTube video, 2022.
Cristiano Husu, The butterfly sequence: the second difference sequence of the numbers of integer partitions with distinct parts, Journal of Number Theory, Vol. 193 (2018), pp. 171-188; arXiv preprint, arXiv:1804.09883 [math.NT], 2018.
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 108.
Martin Klazar, What is an answer? - remarks, results and problems on PIO formulas in combinatorial enumeration, part I, arXiv:1808.08449 [math.CO], 2018.
Vaclav Kotesovec, A method of finding the asymptotics of q-series based on the convolution of generating functions, arXiv:1509.08708 [math.CO], 2015-2016.
Vaclav Kotesovec, Getting wrong limit with Bessel, Mathematica Stack Exchange, Nov 09 2016.
Alain Lascoux, Sylvester's bijection between strict and odd partitions, Discrete Math., Vol. 277, No. 1-3 (2004), pp. 275-278.
Jeremy Lovejoy, The number of partitions into distinct parts modulo powers of 5, Bulletin of the London Mathematical Society, Vol. 35, No. 1 (2003), pp. 41-46; alternative link.
James Mc Laughlin, Andrew V. Sills, and Peter Zimmer, Rogers-Ramanujan-Slater Type Identities, Electronic J. Combinatorics, DS15, 1-59, May 31, 2008; see also arXiv version, arXiv:1901.00946 [math.NT], 2019.
Günter Meinardus, Über Partitionen mit Differenzenbedingungen, Mathematische Zeitschrift (1954/55), Volume 61, page 289-302.
Mircea Merca, Combinatorial interpretations of a recent convolution for the number of divisors of a positive integer, Journal of Number Theory, Volume 160, March 2016, Pages 60-75, function q(n).
Mircea Merca, The Lambert series factorization theorem, The Ramanujan Journal, Vol. 44, No. 2 (2017), pp. 417-435; alternative link.
István Mező, Several special values of Jacobi theta functions arXiv:1106.2703v3 [math.CA], 2011-2013.
Donald J. Newman, A Problem Seminar, pp. 18;93;102-3 Prob. 93 Springer-Verlag NY 1982.
Hieu D. Nguyen and Douglas Taggart, Mining the OEIS: Ten Experimental Conjectures, 2013. Mentions this sequence.
Kimeu Arphaxad Ngwava, Nick Gill, and Ian Short, Nilpotent covers of symmetric groups, arXiv:2005.13869 [math.GR], 2020.
Matthew Parker, The first 100K terms (7-Zip compressed file).
Marko Riedel, Proof of recurrence by V. Jovovic.
Ed Sandifer, How Euler Did It, Philip Naude's problem.
Michael Somos, Introduction to Ramanujan theta functions.
Zhi-Wei Sun, A representation problem involving strict partition numbers, Question 444761 at MathOverflow, April 14, 2023.
Eric Weisstein's World of Mathematics, Partition Function P, Partition Function Q, Partition Function bk, Euler Identity, Ramanujan Theta Functions, q-Pochhammer Symbol.
Wikipedia, Glaisher's Theorem.
Wolfram Research, Generating functions for q(n).
Mingjia Yang and Doron Zeilberger, Systematic Counting of Restricted Partitions, arXiv:1910.08989 [math.CO], 2019.
Michael P. Zaletel and Roger S. K. Mong, Exact matrix product states for quantum Hall wave functions, Physical Review B, Vol. 86, No. 24 (2012), 245305; arXiv preprint, arXiv:1208.4862 [cond-mat.str-el], 2012. - From _N. J. A. Sloane_, Dec 25 2012
Index entries for "core" sequences

Apart from the first term, equals A052839-1. The rows of A053632 converge to this sequence. When reduced modulo 2 equals the absolute values of A010815. The positions of odd terms given by A001318.
a(n) = Sum_{n=1..m} A097306(n, m), row sums of triangle of number of partitions of n into m odd parts.
Cf. A001318, A000041, A000700, A003724, A004111, A007837, A010815, A035294, A068049, A078408, A081360, A088670, A109950, A109968, A132312, A146061, A035363, A010054, A057077, A089806, A091602, A237515, A118457 (the partitions), A118459 (partition lengths), A015723 (total number of parts), A230957 (boustrophedon transform).
Cf. A167377 (complement).
Cf. A067659 (odd number of parts), A067661 (even number of parts).
Number of r-regular partitions for r = 2 through 12: A000009, A000726, A001935, A035959, A219601, A035985, A261775, A104502, A261776, A328545, A328546.

import Data.MemoCombinators (memo2, integral)
a000009 n = a000009_list !! n
a000009_list = map (pM 1) [0..] where
   pM = memo2 integral integral p
   p _ 0 = 1
   p k m | m < k     = 0
         | otherwise = pM (k + 1) (m - k) + pM (k + 1) m
-- Reinhard Zumkeller, Sep 09 2015, Nov 05 2013

# uses A010815
using Memoize
@memoize function A000009(n)
    n == 0 && return 1
    s = sum((-1)^k*A000009(n - k^2) for k in 1:isqrt(n))
    A010815(n) - 2*s
end # Peter Luschny, Sep 09 2021

Coefficients(&*[1+x^m:m in [1..100]])[1..100] where x is PolynomialRing(Integers()).1; // Sergei Haller (sergei(AT)sergei-haller.de), Dec 21 2006

N := 100; t1 := series(mul(1+x^k,k=1..N),x,N); A000009 := proc(n) coeff(t1,x,n); end;
spec := [ P, {P=PowerSet(N), N=Sequence(Z,card>=1)} ]: [ seq(combstruct[count](spec, size=n), n=0..58) ];
spec := [ P, {P=PowerSet(N), N=Sequence(Z,card>=1)} ]: combstruct[allstructs](spec, size=10); # to get the actual partitions for n=10
A000009 := proc(n)
    local x,m;
    product(1+x^m,m=1..n+1) ;
    expand(%) ;
    coeff(%,x,n) ;
end proc: # R. J. Mathar, Jun 18 2016
lim := 99; # Enlarge if more terms are needed.
simplify(expand(QDifferenceEquations:-QPochhammer(-1, x, lim)/2, x)):
seq(coeff(%, x, n), n=0..55); # Peter Luschny, Nov 17 2016
# Alternative:
a:= proc(n) option remember; `if`(n=0, 1, add(a(n-j)*add(
     `if`(d::odd, d, 0), d=numtheory[divisors](j)), j=1..n)/n)
    end:
seq(a(n), n=0..55);  # Alois P. Heinz, Jun 24 2025

PartitionsQ[Range[0, 60]] (* Harvey Dale, Jul 27 2009 *)
a[ n_] := SeriesCoefficient[ Product[ 1 + x^k, {k, n}], {x, 0, n}]; (* Michael Somos, Jul 06 2011 *)
a[ n_] := SeriesCoefficient[ 1 / Product[ 1 - x^k, {k, 1, n, 2}], {x, 0, n}]; (* Michael Somos, Jul 06 2011 *)
a[ n_] := With[ {t = Log[q] / (2 Pi I)}, SeriesCoefficient[ q^(-1/24) DedekindEta[2 t] / DedekindEta[ t], {q, 0, n}]]; (* Michael Somos, Jul 06 2011 *)
a[ n_] := SeriesCoefficient[ 1 / QPochhammer[ x, x^2], {x, 0, n}]; (* Michael Somos, May 24 2013 *)
a[ n_] := SeriesCoefficient[ Series[ QHypergeometricPFQ[ {q}, {q x}, q, - q x], {q, 0, n}] /. x -> 1, {q, 0, n}]; (* Michael Somos, Mar 04 2014 *)
a[ n_] := SeriesCoefficient[ QHypergeometricPFQ[{}, {}, q, -1] / 2, {q, 0, n}]; (* Michael Somos, Mar 04 2014 *)
nmax = 60; CoefficientList[Series[Exp[Sum[(-1)^(k+1)/k*x^k/(1-x^k), {k, 1, nmax}]], {x, 0, nmax}], x] (* Vaclav Kotesovec, Aug 25 2015 *)
nmax = 100; poly = ConstantArray[0, nmax + 1]; poly[[1]] = 1; poly[[2]] = 1; Do[Do[poly[[j + 1]] += poly[[j - k + 1]], {j, nmax, k, -1}];, {k, 2, nmax}]; poly (* Vaclav Kotesovec, Jan 14 2017 *)

num_distinct_partitions(60,list); /* Emanuele Munarini, Feb 24 2014 */

h(n):=if oddp(n)=true then 1 else 0;
S(n,m):=if n=0 then 1 else if nVladimir Kruchinin, Sep 07 2014 */

{a(n) = if( n<0, 0, polcoeff( prod( k=1, n, 1 + x^k, 1 + x * O(x^n)), n))}; /* Michael Somos, Nov 17 1999 */

{a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x^2 + A) / eta(x + A), n))};

{a(n) = my(c); forpart(p=n, if( n<1 || p[1]<2, c++; for(i=1, #p-1, if( p[i+1] > p[i]+1, c--; break)))); c}; /* Michael Somos, Aug 13 2017 */

lista(nn) = {q='q+O('q^nn); Vec(eta(q^2)/eta(q))} \\ Altug Alkan, Mar 20 2018

# uses A010815
from functools import lru_cache
from math import isqrt
@lru_cache(maxsize=None)
def A000009(n): return 1 if n == 0 else A010815(n)+2*sum((-1)**(k+1)*A000009(n-k**2) for k in range(1,isqrt(n)+1)) # Chai Wah Wu, Sep 08 2021

import numpy as np
n = 1000
arr = np.zeros(n,dtype=object)
arr[0] = 1
for i in range(1,n):
    arr[i:] += arr[:n-i]
print(arr) # Yigit Oktar, Jul 12 2025

# uses[EulerTransform from A166861]
a = BinaryRecurrenceSequence(0, 1)
b = EulerTransform(a)
print([b(n) for n in range(56)]) # Peter Luschny, Nov 11 2020

G.f.: Product_{m>=1} (1 + x^m) = 1/Product_{m>=0} (1-x^(2m+1)) = Sum_{k>=0} Product_{i=1..k} x^i/(1-x^i) = Sum_{n>=0} x^(n*(n+1)/2) / Product_{k=1..n} (1-x^k).
G.f.: Sum_{n>=0} x^n*Product_{k=1..n-1} (1+x^k) = 1 + Sum_{n>=1} x^n*Product_{k>=n+1} (1+x^k). - Joerg Arndt, Jan 29 2011
Product_{k>=1} (1+x^(2k)) = Sum_{k>=0} x^(k*(k+1))/Product_{i=1..k} (1-x^(2i)) - Euler (Hardy and Wright, Theorem 346).
Asymptotics: a(n) ~ exp(Pi l_n / sqrt(3)) / ( 4 3^(1/4) l_n^(3/2) ) where l_n = (n-1/24)^(1/2) (Ayoub).
For n > 1, a(n) = (1/n)*Sum_{k=1..n} b(k)*a(n-k), with a(0)=1, b(n) = A000593(n) = sum of odd divisors of n; cf. A000700. - Vladeta Jovovic, Jan 21 2002
a(n) = t(n, 0), t as defined in A079211.
a(n) = Sum_{k=0..n-1} A117195(n,k) = A117192(n) + A117193(n) for n>0. - Reinhard Zumkeller, Mar 03 2006
a(n) = A026837(n) + A026838(n) = A118301(n) + A118302(n); a(A001318(n)) = A051044(n); a(A090864(n)) = A118303(n). - Reinhard Zumkeller, Apr 22 2006
Expansion of 1 / chi(-x) = chi(x) / chi(-x^2) = f(-x) / phi(x) = f(x) / phi(-x^2) = psi(x) / f(-x^2) = f(-x^2) / f(-x) = f(-x^4) / psi(-x) in powers of x where phi(), psi(), chi(), f() are Ramanujan theta functions. - Michael Somos, Mar 12 2011
G.f. is a period 1 Fourier series which satisfies f(-1 / (1152 t)) = 2^(-1/2) / f(t) where q = exp(2 Pi i t). - Michael Somos, Aug 16 2007
Expansion of q^(-1/24) * eta(q^2) / eta(q) in powers of q.
Expansion of q^(-1/24) 2^(-1/2) f2(t) in powers of q = exp(2 Pi i t) where f2() is a Weber function. - Michael Somos, Oct 18 2007
Given g.f. A(x), then B(x) = x * A(x^3)^8 satisfies 0 = f(B(x), B(x^2)) where f(u, v) = v - u^2 + 16*u*v^2 . - Michael Somos, May 31 2005
Given g.f. A(x), then B(x) = x * A(x^8)^3 satisfies 0 = f(B(x), B(x^3)) where f(u, v) = (u^3 - v) * (u + v^3) - 9 * u^3 * v^3. - Michael Somos, Mar 25 2008
From Evangelos Georgiadis, Andrew V. Sutherland, Kiran S. Kedlaya (egeorg(AT)mit.edu), Mar 03 2009: (Start)
a(0)=1; a(n) = 2*(Sum_{k=1..floor(sqrt(n))} (-1)^(k+1) a(n-k^2)) + sigma(n) where sigma(n) = (-1)^j if (n=(j*(3*j+1))/2 OR n=(j*(3*j-1))/2) otherwise sigma(n)=0 (simpler: sigma = A010815). (End)
From Gary W. Adamson, Jun 13 2009: (Start)
The product g.f. = (1/(1-x))*(1/(1-x^3))*(1/(1-x^5))*...; = (1,1,1,...)*
(1,0,0,1,0,0,1,0,0,1,...)*(1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,...) * ...; =
a*b*c*... where a, a*b, a*b*c, ... converge to A000009:
1, 1, 1, 2, 2, 2, 3, 3, 3, 4, ... = a*b
1, 1, 1, 2, 2, 3, 4, 4, 5, 6, ... = a*b*c
1, 1, 1, 2, 2, 3, 4, 5, 6, 7, ... = a*b*c*d
1, 1, 1, 2, 2, 3, 4, 5, 6, 8, ... = a*b*c*d*e
1, 1, 1, 2, 2, 3, 4, 5, 6, 8, ... = a*b*c*d*e*f
... (cf. analogous example in A000041). (End)
a(A004526(n)) = A172033(n). - Reinhard Zumkeller, Jan 23 2010
a(n) = P(n) - P(n-2) - P(n-4) + P(n-10) + P(n-14) + ... + (-1)^m P(n-2p_m) + ..., where P(n) is the partition function (A000041) and p_m = m(3m-1)/2 is the m-th generalized pentagonal number (A001318). - Jerome Malenfant, Feb 16 2011
a(n) = A054242(n,0) = A201377(n,0). - Reinhard Zumkeller, Dec 02 2011
G.f.: 1/2 (-1; x){inf} where (a; q)_k is the q-Pochhammer symbol. - _Vladimir Reshetnikov, Apr 24 2013
More precise asymptotics: a(n) ~ exp(Pi*sqrt((n-1/24)/3)) / (4*3^(1/4)*(n-1/24)^(3/4)) * (1 + (Pi^2-27)/(24*Pi*sqrt(3*(n-1/24))) + (Pi^4-270*Pi^2-1215)/(3456*Pi^2*(n-1/24))). - Vaclav Kotesovec, Nov 30 2015
a(n) = A067661(n) + A067659(n). Wolfdieter Lang, Jan 18 2016
From Vaclav Kotesovec, May 29 2016: (Start)
a(n) ~ exp(Pi*sqrt(n/3))/(4*3^(1/4)*n^(3/4)) * (1 + (Pi/(48*sqrt(3)) - (3*sqrt(3))/(8*Pi))/sqrt(n) + (Pi^2/13824 - 5/128 - 45/(128*Pi^2))/n).
a(n) ~ exp(Pi*sqrt(n/3) + (Pi/(48*sqrt(3)) - 3*sqrt(3)/(8*Pi))/sqrt(n) - (1/32 + 9/(16*Pi^2))/n) / (4*3^(1/4)*n^(3/4)).
(End)
a(n) = A089806(n)*A010815(floor(n/2)) + a(n-1) + a(n-2) - a(n-5) - a(n-7) + a(n-12) + ... + A057077(m-1)*a(n-A001318(m)) + ..., where n > A001318(m). - Gevorg Hmayakyan, Jul 07 2016
a(n) ~ Pi*BesselI(1, Pi*sqrt((n+1/24)/3)) / sqrt(24*n+1). - Vaclav Kotesovec, Nov 08 2016
a(n) = A000041(n) - A047967(n). - R. J. Mathar, Nov 20 2017
Sum_{n>=1} 1/a(n) = A237515. - Amiram Eldar, Nov 15 2020
From Peter Bala, Jan 15 2021: (Start)
G.f.: (1 + x)*Sum_{n >= 0} x^(n*(n+3)/2)/Product_{k = 1..n} (1 - x^k) =
(1 + x)*(1 + x^2)*Sum_{n >= 0} x^(n*(n+5)/2)/Product_{k = 1..n} (1 - x^k) = (1 + x)*(1 + x^2)*(1 + x^3)*Sum_{n >= 0} x^(n*(n+7)/2)/Product_{k = 1..n} (1 - x^k) = ....
G.f.: (1/2)*Sum_{n >= 0} x^(n*(n-1)/2)/Product_{k = 1..n} (1 - x^k) =
(1/2)*(1/(1 + x))*Sum_{n >= 0} x^((n-1)*(n-2)/2)/Product_{k = 1..n} (1 - x^k) = (1/2)*(1/((1 + x)*(1 + x^2)))*Sum_{n >= 0} x^((n-2)*(n-3)/2)/Product_{k = 1..n} (1 - x^k) = ....
G.f.: Sum_{n >= 0} x^n/Product_{k = 1..n} (1 - x^(2*k)) = (1/(1 - x)) * Sum_{n >= 0} x^(3*n)/Product_{k = 1..n} (1 - x^(2*k)) =  (1/((1 - x)*(1 - x^3))) * Sum_{n >= 0} x^(5*n)/Product_{k = 1..n} (1 - x^(2*k)) = (1/((1 - x)*(1 - x^3)*(1 - x^5))) * Sum_{n >= 0} x^(7*n)/Product_{k = 1..n} (1 - x^(2*k)) = .... (End)
From Peter Bala, Feb 02 2021: (Start)
G.f.: A(x) = Sum_{n >= 0} x^(n*(2*n-1))/Product_{k = 1..2*n} (1 - x^k). (Set z = x and q = x^2 in Mc Laughlin et al. (2019 ArXiv version), Section 1.3, Identity 7.)
Similarly, A(x) = Sum_{n >= 0} x^(n*(2*n+1))/Product_{k = 1..2*n+1} (1 - x^k). (End)
a(n) = A001227(n) + A238005(n) + A238006(n). - R. J. Mathar, Sep 08 2021
G.f.: A(x) = exp ( Sum_{n >= 1} x^n/(n*(1 - x^(2*n))) ) = exp ( Sum_{n >= 1} (-1)^(n+1)*x^n/(n*(1 - x^n)) ). - Peter Bala, Dec 23 2021
Sum_{n>=0} a(n)/exp(Pi*n) = exp(Pi/24)/2^(1/8) = A292820. - Simon Plouffe, May 12 2023 [Proof: Sum_{n>=0} a(n)/exp(Pi*n) = phi(exp(-2*Pi)) / phi(exp(-Pi)), where phi(q) is the Euler modular function. We have phi(exp(-2*Pi)) = exp(Pi/12) * Gamma(1/4) / (2 * Pi^(3/4)) and phi(exp(-Pi)) = exp(Pi/24) * Gamma(1/4) / (2^(7/8) * Pi^(3/4)), see formulas (14) and (13) in I. Mező, 2013. - Vaclav Kotesovec, May 12 2023]
a(2*n) = Sum_{j=1..n} p(n+j, 2*j) and a(2*n+1) = Sum_{j=1..n+1} p(n+j,2*j-1), where p(n, s) is the number of partitions of n having exactly s parts. - Gregory L. Simay, Aug 30 2023

A067659 Number of partitions of n into distinct parts such that number of parts is odd.

Original entry on oeis.org

0, 1, 1, 1, 1, 1, 2, 2, 3, 4, 5, 6, 8, 9, 11, 14, 16, 19, 23, 27, 32, 38, 44, 52, 61, 71, 82, 96, 111, 128, 148, 170, 195, 224, 256, 293, 334, 380, 432, 491, 557, 630, 713, 805, 908, 1024, 1152, 1295, 1455, 1632, 1829, 2048, 2291, 2560, 2859, 3189, 3554, 3958, 4404

Offset: 0

Naohiro Nomoto, Feb 23 2002

Ramanujan theta functions: phi(q) := Sum_{k=-oo..oo} q^(k^2) (A000122), chi(q) := Prod_{k>=0} (1+q^(2k+1)) (A000700).

			From _Gus Wiseman_, Jan 09 2021: (Start)
The a(5) = 1 through a(15) = 14 partitions (A-F = 10..15):
  5   6     7     8     9     A     B     C     D     E     F
      321   421   431   432   532   542   543   643   653   654
                  521   531   541   632   642   652   743   753
                        621   631   641   651   742   752   762
                              721   731   732   751   761   843
                                    821   741   832   842   852
                                          831   841   851   861
                                          921   931   932   942
                                                A21   941   951
                                                      A31   A32
                                                      B21   A41
                                                            B31
                                                            C21
                                                            54321
(End)

Alois P. Heinz, Table of n, a(n) for n = 0..1000
Joerg Arndt, Matters Computational (The Fxtbook), end of section 16.4.2 "Partitions into distinct parts", pp.348ff
Mircea Merca, Combinatorial interpretations of a recent convolution for the number of divisors of a positive integer, Journal of Number Theory, Volume 160 (March 2016), Pages 60-75, function q_o(n).
Michael Somos, Introduction to Ramanujan theta functions
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions

Dominates A000009.
Numbers with these strict partitions as binary indices are A000069.
The non-strict version is A027193.
The Heinz numbers of these partitions are A030059.
The even version is A067661.
The version for rank is A117193, with non-strict version A101707.
The ordered version is A332304, with non-strict version A166444.
Other cases of odd length:
- A024429 counts set partitions of odd length.
- A089677 counts ordered set partitions of odd length.
- A174726 counts ordered factorizations of odd length.
- A339890 counts factorizations of odd length.
A008289 counts strict partitions by sum and length.
A026804 counts partitions whose least part is odd, with strict case A026832.
Cf. A000700, A027187, A030229, A117192, A332305.

b:= proc(n, i, t) option remember; `if`(n>i*(i+1)/2, 0,
      `if`(n=0, t, add(b(n-i*j, i-1, abs(t-j)), j=0..min(n/i, 1))))
    end:
a:= n-> b(n$2, 0):
seq(a(n), n=0..80);  # Alois P. Heinz, Apr 01 2014

b[n_, i_, t_] := b[n, i, t] = If[n > i*(i + 1)/2, 0, If[n == 0, t, Sum[b[n - i*j, i - 1, Abs[t - j]], {j, 0, Min[n/i, 1]}]]]; a[n_] := b[n, n, 0]; Table[a[n], {n, 0, 80}] (* Jean-François Alcover, Jan 16 2015, after Alois P. Heinz *)
CoefficientList[Normal[Series[(QPochhammer[-x, x]-QPochhammer[x])/2, {x, 0, 100}]], x] (* Andrey Zabolotskiy, Apr 12 2017 *)
Table[Length[Select[IntegerPartitions[n],UnsameQ@@#&&OddQ[Length[#]]&]],{n,0,30}] (* Gus Wiseman, Jan 09 2021 *)

{a(n)=local(A); if(n<0, 0, A=x*O(x^n); polcoeff( (eta(x^2+A)/eta(x+A) - eta(x+A))/2, n))} /* Michael Somos, Feb 14 2006 */

N=66;  q='q+O('q^N);  S=1+2*sqrtint(N);
gf=sum(n=1,S, (n%2!=0) * q^(n*(n+1)/2) / prod(k=1,n, 1-q^k ) );
concat( [0], Vec(gf) )  /* Joerg Arndt, Oct 20 2012 */

N=66;  q='q+O('q^N);  S=1+sqrtint(N);
gf=sum(n=1, S, q^(2*n^2-n) / prod(k=1, 2*n-1, 1-q^k ) );
concat( [0], Vec(gf) )  \\ Joerg Arndt, Apr 01 2014

For g.f. see under A067661.
a(n) = (A000009(n)-A010815(n))/2. - Vladeta Jovovic, Feb 24 2002
Expansion of (1-phi(-q))/(2*chi(-q)) in powers of q where phi(),chi() are Ramanujan theta functions. - Michael Somos, Feb 14 2006
G.f.: sum(n>=1, q^(2*n^2-n) / prod(k=1..2*n-1, 1-q^k ) ). [Joerg Arndt, Apr 01 2014]
a(n) = A067661(n) - A010815(n). - Andrey Zabolotskiy, Apr 12 2017
A000009(n) = a(n) + A067661(n). - Gus Wiseman, Jan 09 2021

A067661 Number of partitions of n into distinct parts such that number of parts is even.

Original entry on oeis.org

1, 0, 0, 1, 1, 2, 2, 3, 3, 4, 5, 6, 7, 9, 11, 13, 16, 19, 23, 27, 32, 38, 45, 52, 61, 71, 83, 96, 111, 128, 148, 170, 195, 224, 256, 292, 334, 380, 432, 491, 556, 630, 713, 805, 908, 1024, 1152, 1295, 1455, 1632, 1829, 2049, 2291, 2560, 2859, 3189, 3554, 3959, 4404

Offset: 0

Naohiro Nomoto, Feb 23 2002

Ramanujan theta functions: phi(q) (A000122), chi(q) (A000700).

			G.f. = 1 + x^3 + x^4 + 2*x^5 + 2*x^6 + 3*x^7 + 3*x^8 + 4*x^9 + 5*x^10 + ...
From _Gus Wiseman_, Jan 08 2021: (Start)
The a(3) = 1 through a(14) = 11 partitions (A-D = 10..13):
  21   31   32   42   43   53   54   64     65     75     76     86
            41   51   52   62   63   73     74     84     85     95
                      61   71   72   82     83     93     94     A4
                                81   91     92     A2     A3     B3
                                     4321   A1     B1     B2     C2
                                            5321   5421   C1     D1
                                                   6321   5431   5432
                                                          6421   6431
                                                          7321   6521
                                                                 7421
                                                                 8321
(End)

B. C. Berndt, Ramanujan's Notebooks Part III, Springer-Verlag, see p. 18 Entry 9 Corollary (2).

Alois P. Heinz, Table of n, a(n) for n = 0..10000
Joerg Arndt, Matters Computational (The Fxtbook), end of section 16.4.2 "Partitions into distinct parts", pp.348ff
Mircea Merca, Combinatorial interpretations of a recent convolution for the number of divisors of a positive integer, Journal of Number Theory, Volume 160, March 2016, Pages 60-75, function q_e(n).
Michael Somos, Introduction to Ramanujan theta functions
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions

Dominates A000009.
Numbers with these strict partitions as binary indices are A001969.
The non-strict case is A027187, ranked by A028260.
The Heinz numbers of these partitions are A030229.
The odd version is A067659, ranked by A030059.
The version for rank is A117192, with positive case A101708.
Other cases of even length:
- A024430 counts set partitions of even length.
- A034008 counts compositions of even length.
- A052841 counts ordered set partitions of even length.
- A174725 counts ordered factorizations of even length.
- A332305 counts strict compositions of even length
- A339846 counts factorizations of even length.
A008289 counts strict partitions by sum and length.
A026805 counts partitions whose least part is even.
Cf. A000700, A027193, A058696, A072233, A096373, A236913, A244990, A300061.

b:= proc(n, i, t) option remember; `if`(n>i*(i+1)/2, 0,
      `if`(n=0, t, add(b(n-i*j, i-1, abs(t-j)), j=0..min(n/i, 1))))
    end:
a:= n-> b(n$2, 1):
seq(a(n), n=0..80);  # Alois P. Heinz, Apr 01 2014

b[n_, i_, t_] := b[n, i, t] = If[n > i*(i + 1)/2, 0, If[n == 0, t, Sum[b[n - i*j, i - 1, Abs[t - j]], {j, 0, Min[n/i, 1]}]]]; a[n_] := b[n, n, 1]; Table[a[n], {n, 0, 80}] (* Jean-François Alcover, Jan 16 2015, after Alois P. Heinz *)
a[ n_] := SeriesCoefficient[ (QPochhammer[ -x, x] + QPochhammer[ x]) / 2, {x, 0, n}]; (* Michael Somos, May 06 2015 *)
Table[Length[Select[IntegerPartitions[n],UnsameQ@@#&&EvenQ[Length[#]]&]],{n,0,30}] (* Gus Wiseman, Jan 08 2021 *)

{a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( (eta(x^2 + A) / eta(x + A) + eta(x + A)) / 2, n))}; /* Michael Somos, Feb 14 2006 */

N=66;  q='q+O('q^N);  S=1+2*sqrtint(N);
gf=sum(n=0, S, (n%2==0) * q^(n*(n+1)/2) / prod(k=1, n, 1-q^k ) );
Vec(gf)  \\ Joerg Arndt, Apr 01 2014

G.f.: A(q) = Sum_{n >= 0} a(n) q^n = 1 + q^3 + q^4 + 2 q^5 + 2 q^6 + 3 q^7 + ... = Sum_{n >= 0} q^(n(2n+1))/(q; q){2n} [_Bill Gosper, Jun 25 2005]
Also, let B(q) = Sum_{n >= 0} A067659(n) q^n = q + q^2 + q^3 + q^4 + q^5 + 2 q^6 + ... Then B(q) = Sum_{n >= 0} q^((n+1)(2n+1))/(q; q)_{2n+1}.
Also we have the following identity involving 2 X 2 matrices:
Prod_{k >= 1} [ 1, q^k; q^k, 1 ] = [ A(q), B(q); B(q), A(q) ] [Bill Gosper, Jun 25 2005]
a(n) = (A000009(n)+A010815(n))/2. - Vladeta Jovovic, Feb 24 2002
Expansion of (1 + phi(-x)) / (2*chi(-x)) in powers of x where phi(), chi() are Ramanujan theta functions. - Michael Somos, Feb 14 2006
a(n) + A067659(n) = A000009(n). - R. J. Mathar, Jun 18 2016
a(n) ~ exp(Pi*sqrt(n/3)) / (8*3^(1/4)*n^(3/4)). - Vaclav Kotesovec, May 24 2018
A000009(n) = a(n) + A067659(n). - Gus Wiseman, Jan 09 2021
From Peter Bala, Feb 05 2021: (Start)
G.f.: A(x) = (1/2)*((Product_{n >= 0} 1 + x^n) + (Product_{n >= 0} 1 - x^n)).
Let B(x) denote the g.f. of A067659. Then
A(x)^2 - B(x)^2 = A(x^2) - B(x^2) = Product_{n >= 1} 1 - x^(2*n) = Sum_{n in Z} (-1)^n*x^(n*(3*n+1)).
A(x) + B(x) is the g.f. of A000009.
1/(A(x) - B(x)) is the g.f. of A000041.
(A(x) + B(x))/(A(x) - B(x)) is the g.f. of A015128.
A(x)/(A(x) + B(x)) = Sum_{n >= 0} (-1)^n*x^n^2 = (1 + theta_3(-x))/2.
B(x)/(A(x) - B(x)) is the g.f. of A014968.
A(x)/(A(x^2) - B(x^2)) is the g.f. of A027187.
B(x)/(A(x^2) - B(x^2)) is the g.f. of A027193. (End)

A003406 Expansion of Ramanujan's function R(x) = 1 + Sum_{n >= 1} { x^(n*(n+1)/2) / ((1+x)(1+x^2)(1+x^3)...(1+x^n)) }.

Original entry on oeis.org

1, 1, -1, 2, -2, 1, 0, 1, -2, 0, 2, 0, -1, -2, 2, 1, 0, -2, 2, -2, 0, 0, 3, 0, -2, -2, 1, 0, 2, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 2, -1, 0, -2, -2, 0, 4, 0, 2, -2, 0, -2, -1, 2, 0, -2, 2, 0, 1, 0, 0, 0, 0, -2, 0, 0, 0, 0, -2, 4, 2, -1, 0, 0, -2, -2, -2, 2, 1, 2, 0, 0, 0, 0, -2, 2, 0, 0, -2, 2, -2, -2, 0, 3, 0, 0, 2, 0, 0, 0, -2, 1, -2, 0, -2, 0

Offset: 0

N. J. A. Sloane

a(n) = A117192(n) - A117193(n) for n>0 (number of partitions into distinct parts with even rank minus those with odd rank); see also A000025. - Reinhard Zumkeller, Mar 03 2006

Ramanujan showed that R(x) = 2*Sum_{n>=0} (S(x) - P(n,x)) - 2*S(x)*D(x), where P(n,x) = Product_{k=1..n} (1+x^k), S(x) = g.f. A000009 = P(oo,x) and D(x) = -1/2 + Sum_{n>=1} x^n/(1-x^n) = -1/2 + g.f. A000005. - Michael Somos

			1 + x - x^2 + 2*x^3 - 2*x^4 + x^5 + x^7 - 2*x^8 + 2*x^10 - x^12 - 2*x^13 + ...
q + q^25 - q^49 + 2*q^73 - 2*q^97 + q^121 + q^169 - 2*q^193 + 2*q^241 - ...

G. E. Andrews, Ramanujan's "lost" notebook V: Euler's partition identity, Adv. in Math. 61 (1986), no. 2, 156-164; Math. Rev. 87i:11137. [ The expansion in (2.8) is incorrect. ]
F. J. Dyson, A walk through Ramanujan's garden, pp. 7-28 of G. E. Andrews et al., editors, Ramanujan Revisited. Academic Press, NY, 1988.
F. J. Dyson, Selected Papers, Am. Math. Soc., 1996, p. 200.
B. Gordon and D. Sinor, Multiplicative properties of eta-products, Number theory, Madras 1987, pp. 173-200, Lecture Notes in Math., 1395, Springer, Berlin, 1989. see page 182. MR1019331 (90k:11050)
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Seiichi Manyama, Table of n, a(n) for n = 0..10000 (terms 0..2000 from T. D. Noe)
G. E. Andrews, Questions and conjectures in partition theory, Amer. Math. Monthly, 93 (1986), 708-711.
G. E. Andrews, Some debts I owe, Séminaire Lotharingien de Combinatoire, Paper B42a, Issue 42, 2000.
G. E. Andrews, F. J. Dyson and D. Hickerson, Partitions and indefinite quadratic forms, Invent. Math. 91 (1988) 391-407.
S.-Y. Kang, Generalizations of Ramanujan's reciprocity theorem and their applications, J. London Math. Soc., 75 (2007), 18-34.
Alexander E. Patkowski, A note on the rank parity function, Discrete Math. 310 (2010), 961-965.
D. Zagier, Quantum modular forms, Example 1 in Quanta of Maths: Conference in honor of Alain Connes, Clay Mathematics Proceedings 11, AMS and Clay Mathematics Institute 2010, 659-675

Cf. A003475, A005895, A005896, A158690.

g:=1+sum(x^(n*(n+1)/2)/product(1+x^j,j=1..n),n=1..20): gser:=series(g,x=0,110): seq(coeff(gser,x,n),n=0..104); # Emeric Deutsch, Mar 30 2006
t1:= add( (-1)^n*q^(n*(3*n+1)/2)*(1-q^(2*n+1))* add( (-1)^j*q^(-j^2),j=-n..n), n=0..20); t2:=series(t1,q,40); # N. J. A. Sloane, Jun 27 2011

max = 105; f[x_] := 1 + Sum[ x^(n*(n+1)/2) / Product[ 1+x^j, {j, 1, n}], {n, 1, max}]; CoefficientList[ Series[ f[x], {x, 0, max}], x] (* Jean-François Alcover, Dec 02 2011 *)
max = 105; s = 1 + Sum[2*q^(n*(n+1)/2)/QPochhammer[-1, q, n+1], {n, 1, Ceiling[Sqrt[2 max]]}] + O[q]^max; CoefficientList[s, q] (* Jean-François Alcover, Nov 25 2015 *)

{a(n) = local(t); if( n<0, 0, t = 1 + O(x^n); polcoeff( sum( k=1, n, t *= if( k>1, x^k - x, x) + O(x^(n-k+2)), 1), n))} /* Michael Somos, Mar 07 2006 */

{a(n) = local(t); if( n<0, 0, t = 1 + O(x^n); polcoeff( sum( k=1, (sqrtint(8*n + 1)-1)\2, t *= x^k / (1 + x^k) + x * O(x^(n - (k^2-k)/2)), 1), n))} /* Michael Somos, Aug 17 2006 */

{a(n) = local(A, p, e, x, y); if( n<0, 0, n = 24*n+1; A = factor(n); prod( k=1, matsize(A)[1], if( p=A[k, 1], e=A[k, 2]; if( p<5, 0, if( p%24>1 && p%24<23, if(e%2, 0, if( p%24==7 || p%24==17, (-1)^(e/2), 1)), x=y=0; if( p%24==1, forstep(i=1, sqrtint(p), 2, if( issquare( (i^2+p)/2, &y), x=i; break)), for( i=1, sqrtint(p\2), if( issquare(2*i^2 + p, &x), y=i; break))); (e+1)*(-1)^( (x + if((x-y)%6, y, -y))/6*e))))))} /* Michael Somos, Aug 17 2006 */

G.f.: 1 - Sum_{n > 0} (-x)^n * (1 - x) * (1 - x^2) * ... * (1  -x^(n-1)).
G.f.: 1 + Sum_{n>=1}(x^(n(n+1)/2)/Product_{j=1..n}(1+x^j)). - Emeric Deutsch, Mar 30 2006
Define c(24*k + 1) = A003406(k), c(24*k - 1) = -2*A003475(k), c(n) = 0 otherwise. Then c(n) is multiplicative with c(2^e) = c(3^e) = 0^e, c(p^e) = (-1)^(e/2) * (1+(-1)^e)/2 if p == 7, 17 (mod 24), c(p^e) = (1+(-1)^e)/2 if p == 5, 11, 13, 19 (mod 24), c(p^e) = (e+1)*(-1)^(y*e) where p == 1, 23 (mod 24) and p = x^2 - 72*y^2 . - Michael Somos, Aug 17 2006
Also R(x) = -2 + Sum_{n>=0} (n+1)*x^(n(n-1)/2)/(Product_{k=1..n} (1+x^k)). - Paul D. Hanna, May 22 2010

A340788 Heinz numbers of integer partitions of negative rank.

Original entry on oeis.org

4, 8, 12, 16, 18, 24, 27, 32, 36, 40, 48, 54, 60, 64, 72, 80, 81, 90, 96, 100, 108, 112, 120, 128, 135, 144, 150, 160, 162, 168, 180, 192, 200, 216, 224, 225, 240, 243, 250, 252, 256, 270, 280, 288, 300, 320, 324, 336, 352, 360, 375, 378, 384, 392, 400, 405

Offset: 1

Gus Wiseman, Jan 29 2021

nonn

The Heinz number of a partition (y_1,...,y_k) is prime(y_1)*...*prime(y_k), giving a bijective correspondence between positive integers and integer partitions.

The Dyson rank of a nonempty partition is its maximum part minus its length. The rank of an empty partition is undefined.

			The sequence of partitions together with their Heinz numbers begins:
      4: (1,1)             80: (3,1,1,1,1)
      8: (1,1,1)           81: (2,2,2,2)
     12: (2,1,1)           90: (3,2,2,1)
     16: (1,1,1,1)         96: (2,1,1,1,1,1)
     18: (2,2,1)          100: (3,3,1,1)
     24: (2,1,1,1)        108: (2,2,2,1,1)
     27: (2,2,2)          112: (4,1,1,1,1)
     32: (1,1,1,1,1)      120: (3,2,1,1,1)
     36: (2,2,1,1)        128: (1,1,1,1,1,1,1)
     40: (3,1,1,1)        135: (3,2,2,2)
     48: (2,1,1,1,1)      144: (2,2,1,1,1,1)
     54: (2,2,2,1)        150: (3,3,2,1)
     60: (3,2,1,1)        160: (3,1,1,1,1,1)
     64: (1,1,1,1,1,1)    162: (2,2,2,2,1)
     72: (2,2,1,1,1)      168: (4,2,1,1,1)

Freeman J. Dyson, A new symmetry of partitions, Journal of Combinatorial Theory 7.1 (1969): 56-61.
FindStat, St000145: The Dyson rank of a partition

Note: A-numbers of Heinz-number sequences are in parentheses below.
These partitions are counted by A064173.
The odd case is A101707 is (A340929).
The even case is A101708 is (A340930).
The positive version is (A340787).
A001222 counts prime factors.
A061395 selects the maximum prime index.
A072233 counts partitions by sum and length.
A168659 counts partitions whose length is divisible by maximum.
A200750 counts partitions whose length and maximum are relatively prime.
- Rank -
A047993 counts partitions of rank 0 (A106529).
A063995/A105806 count partitions by Dyson rank.
A064174 counts partitions of nonnegative/nonpositive rank (A324562/A324521).
A101198 counts partitions of rank 1 (A325233).
A257541 gives the rank of the partition with Heinz number n.
A324518 counts partitions with rank equal to greatest part (A324517).
A324520 counts partitions with rank equal to least part (A324519).
A340601 counts partitions of even rank (A340602), with strict case A117192.
A340692 counts partitions of odd rank (A340603), with strict case A117193.
Cf. A003114, A006141, A039900, A056239, A096401, A112798, A117409, A316413, A325134, A326845, A340604, A340605, A340828.

Select[Range[2,100],PrimePi[FactorInteger[#][[-1,1]]]

For all terms A061395(a(n)) < A001222(a(n)).

A117193 Number of partitions of n into distinct parts with an odd rank.

Original entry on oeis.org

0, 1, 0, 2, 1, 2, 2, 4, 4, 4, 6, 8, 10, 10, 13, 16, 20, 22, 28, 32, 38, 43, 52, 62, 72, 82, 96, 110, 128, 148, 170, 196, 224, 256, 292, 334, 380, 432, 490, 557, 630, 714, 806, 908, 1022, 1152, 1294, 1456, 1632, 1830, 2049, 2290, 2560, 2860, 3188, 3554, 3958, 4404

Offset: 1

Reinhard Zumkeller, Mar 03 2006

nonn

Cf. A000009, A003406, A101707, A117192.

a[n_] := Count[IntegerPartitions[n], q_ /; OddQ[First[q] - Length[q]] && Length[q] == Length[Union[q]]];
Array[a, 60] (* Jean-François Alcover, Oct 06 2021 *)

a(n) = Sum(A117195(n,k)*(k mod 2): 0<=k

a(n) = A000009(n) - A117192(n).

a(n) = A117192(n) - A003406(n).

A340787 Heinz numbers of integer partitions of positive rank.

Original entry on oeis.org

3, 5, 7, 10, 11, 13, 14, 15, 17, 19, 21, 22, 23, 25, 26, 28, 29, 31, 33, 34, 35, 37, 38, 39, 41, 42, 43, 44, 46, 47, 49, 51, 52, 53, 55, 57, 58, 59, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 73, 74, 76, 77, 78, 79, 82, 83, 85, 86, 87, 88, 89, 91, 92, 93, 94, 95

Offset: 1

Gus Wiseman, Jan 29 2021

nonn

The Heinz number of a partition (y_1,...,y_k) is prime(y_1)*...*prime(y_k), giving a bijective correspondence between positive integers and integer partitions.

The Dyson rank of a nonempty partition is its maximum part minus its length. The rank of an empty partition is undefined.

			The sequence of partitions together with their Heinz numbers begins:
     3: (2)      28: (4,1,1)    49: (4,4)      69: (9,2)
     5: (3)      29: (10)       51: (7,2)      70: (4,3,1)
     7: (4)      31: (11)       52: (6,1,1)    71: (20)
    10: (3,1)    33: (5,2)      53: (16)       73: (21)
    11: (5)      34: (7,1)      55: (5,3)      74: (12,1)
    13: (6)      35: (4,3)      57: (8,2)      76: (8,1,1)
    14: (4,1)    37: (12)       58: (10,1)     77: (5,4)
    15: (3,2)    38: (8,1)      59: (17)       78: (6,2,1)
    17: (7)      39: (6,2)      61: (18)       79: (22)
    19: (8)      41: (13)       62: (11,1)     82: (13,1)
    21: (4,2)    42: (4,2,1)    63: (4,2,2)    83: (23)
    22: (5,1)    43: (14)       65: (6,3)      85: (7,3)
    23: (9)      44: (5,1,1)    66: (5,2,1)    86: (14,1)
    25: (3,3)    46: (9,1)      67: (19)       87: (10,2)
    26: (6,1)    47: (15)       68: (7,1,1)    88: (5,1,1,1)

Freeman J. Dyson, A new symmetry of partitions, Journal of Combinatorial Theory 7.1 (1969): 56-61.
FindStat, St000145: The Dyson rank of a partition

Note: A-numbers of Heinz-number sequences are in parentheses below.
These partitions are counted by A064173.
The odd case is A101707 (A340604).
The even case is A101708 (A340605).
The negative version is (A340788).
A001222 counts prime factors.
A061395 selects the maximum prime index.
A072233 counts partitions by sum and length.
A168659 = partitions whose greatest part divides their length (A340609).
A168659 = partitions whose length divides their greatest part (A340610).
A200750 = partitions whose length and maximum are relatively prime.
- Rank -
A047993 counts partitions of rank 0 (A106529).
A063995/A105806 count partitions by Dyson rank.
A064174 counts partitions of nonnegative/nonpositive rank (A324562/A324521).
A101198 counts partitions of rank 1 (A325233).
A257541 gives the rank of the partition with Heinz number n.
A324520 counts partitions with rank equal to least part (A324519).
A340601 counts partitions of even rank (A340602), with strict case A117192.
A340692 counts partitions of odd rank (A340603), with strict case A117193.
Cf. A003114, A006141, A039900, A056239, A096401, A112798, A117409, A316413, A324517, A325134, A326845, A340828.

Select[Range[2,100],PrimePi[FactorInteger[#][[-1,1]]]>PrimeOmega[#]&]

For all terms A061395(a(n)) > A001222(a(n)).

A117195 Triangle read by rows: T(n,k) = number of partitions into distinct parts having rank k, 0<=k

Original entry on oeis.org

1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 2, 1, 1, 1, 0, 1, 1, 0, 2, 1, 2, 1, 1, 1, 0, 1, 0, 1, 1, 2, 2, 2, 1, 1, 1, 0, 1, 0, 1, 2, 2, 2, 2, 2, 1, 1, 1, 0, 1, 0, 1, 1, 3, 2, 3, 2, 2, 1, 1, 1, 0, 1, 0, 1, 2, 2, 4, 2, 3, 2, 2, 1, 1, 1, 0, 1

Offset: 1

Reinhard Zumkeller, Mar 03 2006

T(n,0) = A010054(n), T(n,1) = 1-A010054(n) for n>1;

A000009(n) = Sum(T(n,k): 0<=k

A117192(n) = Sum(T(n,k)*(1 - k mod 2): 0<=k

A117193(n) = Sum(T(n,k)*(k mod 2): 0<=k

A117194(n) = Sum(T(n,k)*(1 - k mod 2): 0

			Triangle starts:
[ 1]   1,
[ 2]   0, 1,
[ 3]   1, 0, 1,
[ 4]   0, 1, 0, 1,
[ 5]   0, 1, 1, 0, 1,
[ 6]   1, 0, 1, 1, 0, 1,
[ 7]   0, 1, 1, 1, 1, 0, 1,
[ 8]   0, 1, 1, 1, 1, 1, 0, 1,
[ 9]   0, 1, 1, 2, 1, 1, 1, 0, 1,
[10]   1, 0, 2, 1, 2, 1, 1, 1, 0, 1,
[11]   0, 1, 1, 2, 2, 2, 1, 1, 1, 0, 1,
[12]   0, 1, 2, 2, 2, 2, 2, 1, 1, 1, 0, 1,
[13]   0, 1, 1, 3, 2, 3, 2, 2, 1, 1, 1, 0, 1,
[14]   0, 1, 2, 2, 4, 2, 3, 2, 2, 1, 1, 1, 0, 1, ...
T(12,0) = #{} = 0,
T(12,1) = #{5+4+2+1} = 1,
T(12,2) = #{6+3+2+1, 5+4+3} = 2,
T(12,3) = #{6+5+1, 6+4+2} = 2,
T(12,4) = #{7+4+1, 7+3+2} = 2,
T(12,5) = #{8+3+1, 7+5} = 2,
T(12,6) = #{9+2+1, 8+4} = 2,
T(12,7) = #{9+3} = 1,
T(12,8) = #{10+2} = 1,
T(12,9) = #{11+1} = 1,
T(12,10) = #{} = 0,
T(12,11) = #{12} = 1.

Alois P. Heinz, Rows n = 1..141, flattened
Maria Monks, Number theoretic properties of generating functions related to Dyson's rank for partitions into distinct parts, Proceedings of The American Mathematical Society, vol.138, no.02, pp.481-494, 2009.

Cf. A063995, A105806.

b:= proc(n, i, k) option remember;
      if n<0 or k<0 then []
    elif n=0 then [0$k, 1]
    elif i<1 then []
    else zip ((x, y)-> x+y, b(n, i-1, k), b(n-i, i-1, k-1), 0)
      fi
    end:
T:= proc(n) local j, r; r:= [];
      for j from 0 to n do
        r:= zip ((x, y)-> x+y, r, b(n-j, j-1, j-1), 0)
      od; r[]
    end:
seq (T(n), n=1..20);  # Alois P. Heinz, Aug 29 2011

b[n_, i_, k_] := b[n, i, k] = Which[n<0 || k<0, {}, n == 0, Append[Array[0&, k], 1], i<1, {}, True, Plus @@ PadRight[{b[n, i-1, k], b[n-i, i-1, k-1]}]]; T[n_] := Module[{j, r}, r = {}; For[j = 0, j <= n, j++, r = Plus @@ PadRight[{r, b[n-j, j-1, j-1]}]]; r]; Table[T[n], {n, 1, 20}] // Flatten (* Jean-François Alcover, Jan 30 2014, after Alois P. Heinz *)

N=33;  L=1+2*ceil(sqrtint(N));
q='q+O(q^N);
gf=sum(n=1,L, q^(n*(n+1)/2) / prod(k=1,n,1-z*q^k) );
v=Vec(gf);
{ for (n=1,#v,  /* print triangle: */
    p = Pol(v[n], 'z) + 'c0;
    p = polrecip(p);
    rw = Vec(p);  rw[1] -= 'c0;
    print1("[", n, "]   " );
    print( rw );
); }
/* Joerg Arndt, Oct 07 2012 */

G.f.: sum(n>=1, q^(n*(n+1)/2) / prod(k=1..n, 1-z*q^k) ), see Monks reference. [Joerg Arndt, Oct 07 2012]

A117194 Number of partitions of n into distinct parts with an even rank greater than 0.

Original entry on oeis.org

0, 0, 1, 0, 2, 1, 3, 2, 4, 5, 6, 7, 8, 12, 13, 16, 18, 24, 26, 32, 37, 46, 52, 60, 70, 83, 96, 111, 128, 148, 170, 194, 224, 256, 293, 333, 380, 432, 492, 556, 630, 712, 804, 908, 1025, 1152, 1296, 1454, 1632, 1828, 2048, 2292, 2560, 2858, 3189, 3554, 3959, 4404

Offset: 1

Reinhard Zumkeller, Mar 03 2006

nonn

a(n) = Sum(A117195(n,k)*(1 - k mod 2): 0A117192(n)-A010054(n).

A302580 Numbers k such that the coefficient of x^k in the expansion of Ramanujan's function R(x) = Sum_{i>=0} x^(i*(i+1)/2)/Product_{j=1..i} (1 + x^j) is zero.

Original entry on oeis.org

6, 9, 11, 16, 20, 21, 23, 27, 29, 30, 31, 33, 34, 36, 37, 38, 41, 44, 46, 49, 53, 56, 58, 59, 60, 61, 63, 64, 65, 66, 71, 72, 79, 80, 81, 82, 85, 86, 91, 93, 94, 96, 97, 98, 102, 104, 106, 107, 110, 111, 114, 115, 116, 120, 121, 122, 124, 128, 129, 131, 133, 135, 136, 137, 141, 142, 146, 148

Offset: 1

Ilya Gutkovskiy, Apr 10 2018

nonn

Numbers k such that number of partitions of k into distinct parts with even rank equals number of partitions of k into distinct parts with odd rank (the rank of a partition is its largest part minus the number of parts).

Index entries for sequences related to partitions

Cf. A003406, A117192, A117193.

Flatten[Position[nmax = 150; Rest[CoefficientList[Series[Sum[x^(i (i + 1)/2)/Product[(1 + x^j), {j, 1, i}], {i, 0, nmax}], {x, 0, nmax}], x]], 0]]

Showing 1-10 of 10 results.

cp's OEIS Frontend

A000009 Expansion of Product_{m >= 1} (1 + x^m); number of partitions of n into distinct parts; number of partitions of n into odd parts.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Julia

Magma

Maple

Mathematica

Maxima

Maxima

PARI

PARI

PARI

PARI

Python

Python

SageMath

Formula

A067659 Number of partitions of n into distinct parts such that number of parts is odd.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

PARI

Formula

A067661 Number of partitions of n into distinct parts such that number of parts is even.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

Formula

A003406 Expansion of Ramanujan's function R(x) = 1 + Sum_{n >= 1} { x^(n*(n+1)/2) / ((1+x)(1+x^2)(1+x^3)...(1+x^n)) }.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

PARI

Formula

A340788 Heinz numbers of integer partitions of negative rank.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs