cp's OEIS Frontend

These are the parts located in the "head" of the last section.

For other versions see A138136 and A182711.

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

Convolved with A036469 = A000070. - Gary W. Adamson, Jun 09 2009

Note that these partitions are located in the head of the last section of the set of partitions of n (see A135010). - Omar E. Pol, Nov 20 2009

Number of symmetric unimodal compositions of n+2 where the maximal part appears twice, see example. Also number of symmetric unimodal compositions of n where the maximal part appears an even number of times. - Joerg Arndt, Jun 11 2013

Number of partitions of n having parts of even multiplicity. These are the conjugates of the partitions from the definition. Example: a(8)=5 because we have [4,4],[3,3,1,1],[2,2,2,2],[2,2,1,1,1,1], and [1,1,1,1,1,1,1,1]. - Emeric Deutsch, Jan 27 2016

From Gus Wiseman, May 22 2021: (Start)

The Heinz numbers of the conjugate partitions described in Emeric Deutsch's comment above are given by A000290.

For n > 1, also the number of integer partitions of n-1 whose only odd part is the smallest. The Heinz numbers of these partitions are given by A341446. For example, the a(2) = 1 through a(14) = 15 partitions (empty columns shown as dots, A..D = 10..13) are:

1 . 3 . 5 . 7 . 9 . B . D

21 41 43 63 65 85

221 61 81 83 A3

421 441 A1 C1

2221 621 443 643

4221 641 661

22221 821 841

4421 A21

6221 4441

42221 6421

222221 8221

44221

62221

422221

2222221

Also the number of integer partitions of n whose greatest part is the sum of all the other parts. The Heinz numbers of these partitions are given by A344415. For example, the a(2) = 1 through a(12) = 11 partitions (empty columns not shown) are:

(11) (22) (33) (44) (55) (66)

(211) (321) (422) (532) (633)

(3111) (431) (541) (642)

(4211) (5221) (651)

(41111) (5311) (6222)

(52111) (6321)

(511111) (6411)

(62211)

(63111)

(621111)

(6111111)

Also the number of integer partitions of n of length n/2. The Heinz numbers of these partitions are given by A340387. For example, the a(2) = 1 through a(14) = 15 partitions (empty columns not shown) are:

(2) (22) (222) (2222) (22222) (222222) (2222222)

(31) (321) (3221) (32221) (322221) (3222221)

(411) (3311) (33211) (332211) (3322211)

(4211) (42211) (333111) (3332111)

(5111) (43111) (422211) (4222211)

(52111) (432111) (4322111)

(61111) (441111) (4331111)

(522111) (4421111)

(531111) (5222111)

(621111) (5321111)

(711111) (5411111)

(6221111)

(6311111)

(7211111)

(8111111)

(End)

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

Number of parts in the last section of the set of partitions of n (see A135010, A138121).

Sum of largest parts in all partitions in the head of the last section of the set of partitions of n. - Omar E. Pol, Nov 07 2011

From Omar E. Pol, Feb 16 2021: (Start)

Convolution of A341062 and A000041.

Convolution of A000005 and A002865.

a(n) is also the total number of parts in the n-th section of the set of partitions of any positive integer >= n.

a(n) is also the total number of divisors of all terms in the n-th row of triangle A336811. These divisors are also all parts in the last section of the set of partitions of n. (End)

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).

Row sums of the triangles A135010, A138121, A138151 and others related to the section model of partitions (see A135010 and A138121).

From Omar E. Pol, Jan 20 2021: (Start)

Convolution of A000203 and A002865.

Convolution of A340793 and A000041.

Row sums of triangles A339278, A340426, A340583. (End)

a(n) is also the sum of all divisors of all terms of n-th row of A336811. These divisors are also all parts in the last section of the set of partitions of n. - Omar E. Pol, Jul 27 2021

Row sums of A336812. - Omar E. Pol, Aug 03 2021

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)