cp's OEIS Frontend

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.

A206437 Triangle read by rows: T(j,k) is the k-th part of the j-th region of the set of partitions of n, if 1 <= j <= A000041(n).

This page as a plain text file.
%I A206437 #197 Jul 25 2025 19:09:13
%S A206437 1,2,1,3,1,1,2,4,2,1,1,1,3,5,2,1,1,1,1,1,2,4,2,3,6,3,2,2,1,1,1,1,1,1,
%T A206437 1,3,5,2,4,7,3,2,2,1,1,1,1,1,1,1,1,1,1,1,2,4,2,3,6,3,2,2,5,4,8,4,3,2,
%U A206437 2,2,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
%N A206437 Triangle read by rows: T(j,k) is the k-th part of the j-th region of the set of partitions of n, if 1 <= j <= A000041(n).
%C A206437 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).
%C A206437 Some properties of the regions of n:
%C A206437 - The number of regions of n equals the number of partitions of n (see A000041).
%C A206437 - The set of regions of n contain the sets of regions of all positive integers previous to n.
%C A206437 - The first j regions of n are also first j regions of all integers greater than n.
%C A206437 - 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).
%C A206437 - 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).
%C A206437 - The rank of a region is the largest part minus the number of parts (see A194447).
%C A206437 - The sum of all ranks of the regions of n is equal to zero.
%C A206437 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.
%C A206437 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).
%C A206437 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
%H A206437 Robert Price, <a href="/A206437/b206437.txt">Table of n, a(n) for n = 1..321</a>, first 75 regions.
%H A206437 Omar E. Pol, <a href="http://www.polprimos.com/imagenespub/polpar02.jpg">Illustration of the seven regions of 5</a>
%H A206437 Omar E. Pol, <a href="http://www.polprimos.com/imagenespub/polpa308.jpg">Illustration of initial terms, regions = 1..77 (2D view)</a>
%H A206437 Omar E. Pol, <a href="http://www.polprimos.com/imagenespub/polpa312.jpg">Illustration of initial terms, regions = 1..30 (3D view)</a>
%H A206437 Omar E. Pol, <a href="http://www.polprimos.com/imagenespub/polpa408.jpg">Visualization of regions in a diagram for A006128</a>
%H A206437 Robert Price, <a href="/A206437/a206437.txt">Mathematica program to draw diagram up to n=28</a>
%e A206437 -------------------------------------------
%e A206437   Region j   Triangle of parts
%e A206437 -------------------------------------------
%e A206437   1          1;
%e A206437   2          2,1;
%e A206437   3          3,1,1;
%e A206437   4          2;
%e A206437   5          4,2,1,1,1;
%e A206437   6          3;
%e A206437   7          5,2,1,1,1,1,1;
%e A206437   8          2;
%e A206437   9          4,2;
%e A206437   10         3;
%e A206437   11         6,3,2,2,1,1,1,1,1,1,1;
%e A206437   12         3;
%e A206437   13         5,2;
%e A206437   14         4;
%e A206437   15         7,3,2,2,1,1,1,1,1,1,1,1,1,1,1;
%e A206437 .
%e A206437 The rotated triangle shows each row as a partition:
%e A206437                              7
%e A206437                            4   3
%e A206437                          5       2
%e A206437                        3   2       2
%e A206437                      6               1
%e A206437                    3   3               1
%e A206437                  4       2               1
%e A206437                2   2       2               1
%e A206437              5               1               1
%e A206437            3   2               1               1
%e A206437          4       1               1               1
%e A206437        2   2       1               1               1
%e A206437      3       1       1               1               1
%e A206437    2   1       1       1               1               1
%e A206437  1   1   1       1       1               1               1
%e A206437 .
%e A206437 Alternative interpretation of this sequence:
%e A206437 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 (see comments):
%e A206437    [1];
%e A206437    [2,1];
%e A206437    [3,1,1];
%e A206437    [2],[4,2,1,1,1];
%e A206437    [3],[5,2,1,1,1,1,1];
%e A206437    [2],[4,2],[3],[6,3,2,2,1,1,1,1,1,1,1];
%e A206437    [3],[5,2],[4],[7,3,2,2,1,1,1,1,1,1,1,1,1,1,1];
%t A206437 lex[n_]:=DeleteCases[Sort@PadRight[Reverse /@ IntegerPartitions@n], x_ /; x==0, 2];
%t A206437 reg = {}; l = {};
%t A206437 For[j = 1, j <= 22, j++,
%t A206437   mx = Max@lex[j][[j]]; AppendTo[l, mx];
%t A206437   For[i = j, i > 0, i--, If[l[[i]] > mx, Break[]]];
%t A206437   AppendTo[reg, Take[Reverse[First /@ lex[mx]], j - i]];
%t A206437   ];
%t A206437 Flatten@reg  (* _Robert Price_, Apr 21 2020, revised Jul 24 2020 *)
%Y A206437 Positive integers in A193870. Column 1 is A141285. Row j has length A194446(j). Row sums give A186412. Records are A000027.
%Y A206437 Cf. A000041, A046746, A135010, A138121, A182699, A182703, A182709, A183152, A186114, A187219, A194436-A194439, A194447, A194448, A196025, A198381.
%K A206437 nonn,tabf,look
%O A206437 1,2
%A A206437 _Omar E. Pol_, Feb 14 2012
%E A206437 Further edited by _Omar E. Pol_, Mar 31 2012, Jan 27 2013
%E A206437 Minor edits by _Omar E. Pol_, Apr 23 2020
%E A206437 Comments corrected (following a suggestion from _Peter Munn_) by _Omar E. Pol_, Jul 20 2025