cp's OEIS Frontend

Partial sums give the positive terms of A183011, the numerators of the Bruinier-Ono formula for the partition function.

Also the number of partitions of n-1, n >= 2, such that the least part occurs exactly once. See A096373, A097091, A097092, A097093. - Robert G. Wilson v, Jul 24 2004 [Corrected by Wolfdieter Lang, Feb 18 2009]

Number of partitions of n+1 where the number of parts is itself a part. Take a partition of n (with k parts) which does not contain 1, remove 1 from each part and add a new part of size k+1. - Franklin T. Adams-Watters, May 01 2006

Number of partitions where the largest part occurs at least twice. - Joerg Arndt, Apr 17 2011

Row sums of triangle A147768. - Gary W. Adamson, Nov 11 2008

From Lewis Mammel (l_mammel(AT)att.net), Oct 06 2009: (Start)

a(n) is the number of sets of n disjoint pairs of 2n things, called a pairing, disjoint with a given pairing (A053871), that are unique under permutations preserving the given pairing.

Can be seen immediately from a graphical representation which must decompose into even numbered cycles of 4 or more things, as connected by pairs alternating between the pairings. Each thing is in a single cycle, so this is a partition of 2n into even parts greater than 2, equivalent to a partition of n into parts greater than 1. (End)

Convolution product (1, 1, 2, 2, 4, 4, ...) * (1, 2, 3, ...) = A058682 starting (1, 3, 7, 13, 23, 37, ...); with row sums of triangle A171239 = A058682. - Gary W. Adamson, Dec 05 2009

Also the number of 2-regular multigraphs with loops forbidden. - Jason Kimberley, Jan 05 2011

Number of appearances of the multiplicity n, n-1, ..., n-k in all partitions of n, for k < n/2. (Only populated by multiplicities of large numbers of 1's.) - William Keith, Nov 20 2011

Also the number of equivalence classes of n X n binary matrices with exactly 2 1's in each row and column, up to permutations of rows and columns (cf. A133687). - N. J. A. Sloane, Sep 16 2013

The q-Catalan numbers ((1-q)/(1-q^(n+1)))[2n,n]q, where [2n,n]_q are the central q-binomial coefficients, match this sequence in their initial segment of length n. - _William J. Keith, Nov 14 2013

Starting at a(2) this sequence gives the number of vertices on a nim tree created in the game of edge removal for a path P_{n} where n is the number of vertices on the path. This is the number of nonisomorphic graphs that can result from the path when the game of edge removal is played. - Lyndsey Wong, Jul 09 2016

The number of different ways to climb a staircase taking at least two stairs at a time. - Mohammad K. Azarian, Nov 20 2016

Let 1,0,1,1,1,... (offset 0) count unlabeled, connected, loopless 1-regular digraphs. This here is the Euler transform of that sequence, counting unlabeled loopless 1-regular digraphs. A145574 is the associated multiset transformation. A000166 are the labeled loopless 1-regular digraphs. - R. J. Mathar, Mar 25 2019

For n > 1, also the number of partitions with no part greater than the number of ones. - George Beck, May 09 2019 [See A187219 which is the correct sequence for this interpretation for n >= 1. - Spencer Miller, Jan 30 2023]

From Gus Wiseman, May 19 2019: (Start)

Conjecture: Also the number of integer partitions of n - 1 that have a consecutive subsequence summing to each positive integer from 1 to n - 1. For example, (32211) is such a partition because we have consecutive subsequences:

1: (1)

2: (2)

3: (3) or (21)

4: (22) or (211)

5: (32) or (221)

6: (2211)

7: (322)

8: (3221)

9: (32211)

(End)

There is a sufficient and necessary condition to characterize the partitions defined by Gus Wiseman. It is that the largest part must be less than or equal to the number of ones plus one. Hence, the number of partitions of n with no part greater than the number of ones is the same as the number of partitions of n-1 that have a consecutive subsequence summing to each integer from 1 to n-1. Gus Wiseman's conjecture can be proved bijectively. - Andrew Yezhou Wang, Dec 14 2019

From Peter Bala, Dec 01 2024: (Start)

Let P(2, n) denote the set of partitions of n into parts k > 1. Then A000041(n) = - Sum_{parts k in all partitions in P(2, n+2)} mu(k). For example, with n = 5, there are 4 partitions of n + 2 = 7 into parts greater than 1, namely, 7, 5 + 2, 4 + 3, 3 + 2 + 2, and mu(7) + (mu(5) + mu(2)) + (mu(4 ) + mu(3)) + (mu(3) + mu(2) + mu(2)) = -7 = - A000041(5). (End)

This is the original sequence of a large number of sequences connected with the section model of partitions.

Here "the n-th section of the set of partitions of any integer greater than or equal to n" (hence "the last section of the set of partitions of n") is defined to be the set formed by all parts that occur as a result of taking all partitions of n and then removing all parts of the partitions of n-1. For integers greater than 1 the structure of a section has two main areas: the head and tail. The head is formed by the partitions of n that do not contain 1 as a part. The tail is formed by A000041(n-1) partitions of 1. The set of partitions of n contains the sets of partitions of the previous numbers. The section model of partitions has several versions according with the ordering of the partitions or with the representation of the sections. In this sequence we use the ordering of A026791.

The section model of partitions can be interpreted as a table of partitions. See also A138121. - Omar E. Pol, Nov 18 2009

It appears that the versions of the model show an overlapping of sections and subsections of the numbers congruent to k mod m into parts >= m. For example:

First generation (the main table):

Table 1.0: Partitions of integers congruent to 0 mod 1 into parts >= 1.

Second generation:

Table 2.0: Partitions of integers congruent to 0 mod 2 into parts >= 2.

Table 2.1: Partitions of integers congruent to 1 mod 2 into parts >= 2.

Third generation:

Table 3.0: Partitions of integers congruent to 0 mod 3 into parts >= 3.

Table 3.1: Partitions of integers congruent to 1 mod 3 into parts >= 3.

Table 3.2: Partitions of integers congruent to 2 mod 3 into parts >= 3.

And so on.

Conjecture:

Let j and n be integers congruent to k mod m such that 0 <= k < m <= j < n. Let h=(n-j)/m. Consider only all partitions of n into parts >= m. Then remove every partition in which the parts of size m appears a number of times < h. Then remove h parts of size m in every partition. The rest are the partitions of j into parts >= m. (Note that in the section model, h is the number of sections or subsections removed), (Omar E. Pol, Dec 05 2010, Dec 06 2010).

Starting from the first row of triangle, it appears that the total numbers of parts of size k in k successive rows give the sequence A000041 (see A182703). - Omar E. Pol, Feb 22 2012

The last section of n contains A187219(n) regions (see A206437). - Omar E. Pol, Nov 04 2012

Here the j-th "region" of the set of partitions of n (or more simply the j-th "region" of n) is defined to be the first h elements of the sequence formed by the smallest parts in nonincreasing order of the partitions of the largest part of the j-th partition of n, with the list of partitions in colexicographic order, where h = j - i, and i is the index of the previous partition of n whose largest part is greater than the largest part of the j-th partition of n, or i = 0 if such previous largest part does not exist. The largest part of the j-th region of n is A141285(j) and the number of parts is h = A194446(j).

Some properties of the regions of n:

- The number of regions of n equals the number of partitions of n (see A000041).

- The set of regions of n contain the sets of regions of all positive integers previous to n.

- The first j regions of n are also first j regions of all integers greater than n.

- The sums of all largest parts of all regions of n equals the total number of parts of all regions of n. See A006128(n).

- If T(j,1) is a record in the sequence then the leading diagonals of triangle formed by the first j rows give the partitions of n (see example).

- The rank of a region is the largest part minus the number of parts (see A194447).

- The sum of all ranks of the regions of n is equal to zero.

How to make a diagram of the regions and partitions of n: in the first quadrant of the square grid we draw a horizontal line {[0, 0],[n, 0]} of length n. Then we draw a vertical line {[0, 0],[0, p(n)]} of length p(n) where p(n) is the number of partitions of n. Then, for j = 1..p(n), we draw a horizontal line {[0, j],[g, j]} where g = A141285(j) is the largest part of the j-th partition of n, with the list of partitions in colexicographic order. Then, for n = 1 .. p(n), we draw a vertical line from the point [g,j] down to intercept the next segment in a lower row. So we have a number of closed regions. Then we divide each region of n in horizontal rectangles with shorter sides = 1. We can see that in the original rectangle of area n*p(n) each row contains a set of rectangles whose areas are equal to the parts of one of the partitions of n. Then each region of n is labeled according to the position of its largest part on axis "y". Note that each region of n is similar to a mirror version of the Young diagram of one of the partitions of s, where s is the sum of all parts of the region. See the illustrations of the seven regions of 5 in the Links section.

Note that if row j of triangle contains parts of size 1 then the parts of row j are the smallest parts of all partitions of T(j,1), (see A046746), and also T(j,1) is a record in the sequence and also j is the number of partitions of T(j,1), (see A000041). Otherwise, if row j does not contain parts of size 1 then the parts of row j are the emergent parts of the next record in the sequence (see A183152). Row j is also the partition of A186412(j).

Also triangle read by rows in which row r lists the parts of the last section of the set of partitions of r, ordered by regions, such that the previous parts to the part of size r are the emergent parts of the partitions of r (see A138152) and the rest are the smallest parts of the partitions of r (see example). - Omar E. Pol, Apr 28 2012

Also largest part of the n-th region of the set of partitions of j, if 1 <= n <= A000041(j). For the definition of "region of the set of partitions of j" see A206437.

Also triangle read by rows: T(j,k) is the largest part of the k-th region in the last section of the set of partitions of j.

For row n >= 2 the rows of triangle are also the branches of a tree which is a projection of a three-dimensional structure of the section model of partitions of A135010, version tree. The branches of even rows give A182730. The branches of odd rows give A182731. Note that each column contains parts of the same size. It appears that the structure of A135010 is a periodic table of integer partitions. See also A210979 and A210980.

Also column 1 of: A193870, A206437, A210941, A210942, A210943. - Omar E. Pol, Sep 01 2013

Also row lengths of A211009. - Omar E. Pol, Feb 06 2014

For the definition of "region" of the set of partitions of j, see A206437.

a(n) is also the number of positive integers in the n-th row of triangle A186114. a(n) is also the number of positive integers in the n-th row of triangle A193870.

Also triangle read by rows: T(j,k) = number of parts in the k-th region of the last section of the set of partitions of j. See example. For more information see A135010.

a(n) is also the length of the n-th vertical line segment in the minimalist diagram of regions and partitions. The length of the n-th horizontal line segment is A141285(n). See also A194447. - Omar E. Pol, Mar 04 2012

From Omar E. Pol, Aug 19 2013: (Start)

In order to construct this sequence with a cellular automaton we use the following rules: We start in the first quadrant of the square grid with no toothpicks. At stage n we place A141285(n) toothpicks of length 1 connected by their endpoints in horizontal direction starting from the point (0, n). Then we place toothpicks of length 1 connected by their endpoints in vertical direction starting from the exposed toothpick endpoint downward up to touch the structure or up to touch the x-axis. a(n) is the number of toothpicks in vertical direction added at n-th stage (see example section and A139250, A225600, A225610).

a(n) is also the length of the n-th descendent line segment in an infinite Dyck path in which the length of the n-th ascendent line segment is A141285(n). See Example section. For more information see A211978, A220517, A225600.

(End)

The equivalent sequence for compositions is A006519. - Omar E. Pol, Aug 22 2013

Let r = T(n,k) be a record in the sequence. The consecutive records "r" are the natural numbers A000027. Consider the first n rows; the triangle T(n,k) has the property that the columns, without the zeros, from k..1, are also the partitions of r in juxtaposed reverse-lexicographical order, so k is also A000041(r), the number of partitions of r. Note that a record r is always the final term of a row if such row contains 1’s. The number of positive integer a(1)..r is A006128(r). The sums a(1)..r is A066186(r). Here the set of positive integers in every row (from 1 to n) is called a “region” of r. The number of regions of r equals the number of partitions of r. If T(n,1) = 1 then the row n is formed by the smallest parts, in nondecreasing order, of all partitions of T(n,n).

In other words: row n lists A028310(n-1) blocks where the m-th block consists of A187219(m) copies of n - m + [m=1], with n >= 1 and m >= 1, where [] is the Iverson bracket. [Corrected by Paolo Xausa, Feb 10 2023]

All divisors of all terms in row n are also all parts in the last section of the set of partitions of n.

Thus all divisors of all terms of the first n rows of triangle are also all parts of all partitions of n. In other words: all divisors of the first A000070(n-1) terms of the sequence are also all parts of all partitions of n. - Omar E. Pol, Jun 19 2021

From Omar E. Pol, Jul 31 2021: (Start)

The number of k's in row n is equal to A002865(n-k), 1 <= k <= n.

The number of terms >= k in row n is equal to A000041(n-k), 1 <= k <= n.

The number of k's in the first n rows (or in the first A000070(n-1) terms of the sequence) is equal to A000041(n-k), 1 <= k <= n.

The number of terms >= k in the first n rows (or in the first A000070(n-1) terms of the sequence) is equal to A000070(n-k), 1 <= k <= n.

First n rows of triangle (or first A000070(n-1) terms of the sequence) in nonincreasing order give the n-th row of A176206. (End)

Triangle T(n,k) read by rows in which, from rows 1..n, if r = T(n,k) is a record in the sequence then the set of positive integers in every row (from 1 to n) is called a “region” of r. Note that n, the number of regions of r is also the number of partitions of r. The consecutive records "r" are the natural numbers A000027. The triangle has the property that, for rows n..1, the diagonals (without the zeros) are also the partitions of r, in juxtaposed reverse-lexicographical order. Note that a record "r" is the initial term of a row if such row contains 1’s. If T(n,k) is a record in the sequence then A000041(T(n,k)) = n. Note that if T(n,k) < 2 is not the last term of the row n then T(n,k+1) = T(n,k). The union of the rows that contain 1's gives A182715.

Here the rank of a "region" is defined to be the largest part minus the number of parts (the same idea as the Dyson's rank of a partition).

Also triangle read by rows: T(j,k) = rank of the k-th region of the last section of the set of partitions of j.

The sum of every row is equal to zero.

Note that in some rows there are several negative terms. - Omar E. Pol, Oct 27 2012

For the definition of "region" see A206437. See also A225600 and A225610. - Omar E. Pol, Aug 12 2013