cp's OEIS Frontend

Number of toothpicks added at n-th stage to the toothpick structure (related to integer partitions) of A225600.

The master diagram of regions of the set of partitions of all positive integers is a total dissection of the first quadrant of the square grid in which the j-th horizontal line segments has length A141285(j) and the j-th vertical line segment has length A194446(j). For the definition of "region" see A206437. The first A000041(k) regions of the diagram represent the set of partitions of k in colexicographic order (see A211992). The length of the j-th horizontal line segment equals the largest part of the j-th partition of k and equals the largest part of the j-th region of the diagram. The length of the j-th vertical line segment (which is the line segment ending in row j) equals the number of parts in the j-th region.

For k = 7, the diagram 1 represents the partitions of 7. The diagram 2 is a minimalist version of the structure which does not contain the axes [X, Y]. See below:

.

. j Diagram 1 Partitions Diagram 2

. _ _ _ _

. 15 | _ | 7 _ |

. 14 | _ | | 4+3 _ | |

. 13 | _ | | 5+2 _ | |

. 12 | _| |_ | 3+2+2 _| |_ |

. 11 | _ | | 6+1 _ | |

. 10 | _| | | 3+3+1 _ | | |

. 9 | | | | 4+2+1 | | |

. 8 | |_ | | | 2+2+2+1 |_ | | |

. 7 | _ | | | 5+1+1 _ | | |

. 6 | _| | | | 3+2+1+1 _ | | | |

. 5 | | | | | 4+1+1+1 | | | |

. 4 | |_ | | | | 2+2+1+1+1 |_ | | | |

. 3 | | | | | | 3+1+1+1+1 | | | | |

. 2 | | | | | | | 2+1+1+1+1+1 | | | | | |

. 1 |||_|||_|_| 1+1+1+1+1+1+1 | | | | | | |

.

. 1 2 3 4 5 6 7

.

The second diagram has the property that if the number of regions is also the number of partitions of k so the sum of the lengths of all horizontal line segment equals the sum of the lengths of all vertical line segments and equals A006128(k), for k >= 1.

Also the diagram has the property that it can be transformed in a Dyck path (see example).

The sequence gives the height of the infinite Dyck path after n-th step.

The absolute values of the first differences give A000012.

For the height of the peaks and the valleys in the infinite Dyck path see A229946.

Q: Is this infinite Dyck path a fractal?

Also 0 together the alternating sums of A220517.

The master diagram of regions of the set of partitions of all positive integers is a total dissection of the first quadrant of the square grid in which the j-th horizontal line segments has length A141285(j) and the j-th vertical line segment has length A194446(j). For the definition of "region" see A206437. The first A000041(k) regions of the diagram represent the set of partitions of k in colexicographic order (see A211992). The length of the j-th horizontal line segment equals the largest part of the j-th partition of k and equals the largest part of the j-th region of the diagram. The length of the j-th vertical line segment (which is the line segment ending in row j) equals the number of parts in the j-th region.

For k = 7, the diagram 1 represents the partitions of 7. The diagram 2 is a minimalist version of the structure which does not contain the axes [X, Y]. See below:

.

. j Diagram 1 Partitions Diagram 2

. _ _ _ _

. 15 | _ | 7 _ |

. 14 | _ | | 4+3 _ | |

. 13 | _ | | 5+2 _ | |

. 12 | _| |_ | 3+2+2 _| |_ |

. 11 | _ | | 6+1 _ | |

. 10 | _| | | 3+3+1 _ | | |

. 9 | | | | 4+2+1 | | |

. 8 | |_ | | | 2+2+2+1 |_ | | |

. 7 | _ | | | 5+1+1 _ | | |

. 6 | _| | | | 3+2+1+1 _ | | | |

. 5 | | | | | 4+1+1+1 | | | |

. 4 | |_ | | | | 2+2+1+1+1 |_ | | | |

. 3 | | | | | | 3+1+1+1+1 | | | | |

. 2 | | | | | | | 2+1+1+1+1+1 | | | | | |

. 1 |||_|||_|_| 1+1+1+1+1+1+1 | | | | | | |

.

. 1 2 3 4 5 6 7

.

The second diagram has the property that if the number of regions is also the number of partitions of k so the sum of the lengths of all horizontal line segment equals the sum of the lengths of all vertical line segments and equals A006128(k), for k >= 1.

Also the diagram has the property that it can be transformed in a Dyck path (see example).

The height of the peaks and the valleys of the infinite Dyck path give this sequence.

Q: Is this Dyck path a fractal?

Also first differences of A211978.

Least positive k such that m^k + 1 divides m^n + 1 (with fixed base m). - Vladimir Baltic, Mar 25 2002

To construct the sequence: start with 1, concatenate 1, 1 and double last term gives 1, 2. Concatenate those 2 terms, 1, 2, 1, 2 and double last term 1, 2, 1, 2 -> 1, 2, 1, 4. Concatenate those 4 terms: 1, 2, 1, 4, 1, 2, 1, 4 and double last term -> 1, 2, 1, 4, 1, 2, 1, 8, etc. - Benoit Cloitre, Dec 17 2002

a(n) = gcd(seq(binomial(2*n, 2*m+1)/2, m = 0 .. n - 1)) (odd numbered entries of even numbered rows of Pascal's triangle A007318 divided by 2), where gcd() denotes the greatest common divisor of a set of numbers. Due to the symmetry of the rows it suffices to consider m = 0 .. floor((n-1)/2). - Wolfdieter Lang, Jan 23 2004

Equals the continued fraction expansion of a constant x (cf. A100338) such that the continued fraction expansion of 2*x interleaves this sequence with 2's: contfrac(2*x) = [2; 1, 2, 2, 2, 1, 2, 4, 2, 1, 2, 2, 2, 1, 2, 8, 2, ...].

Simon Plouffe observes that this sequence and A003484 (Radon function) are very similar, the difference being all zeros except for every 16th term (see A101119 for nonzero differences). Dec 02 2004

This sequence arises when calculating the next odd number in a Collatz sequence: Next(x) = (3*x + 1) / A006519, or simply (3*x + 1) / BitAnd(3*x + 1, -3*x - 1). - Jim Caprioli, Feb 04 2005

a(n) = n if and only if n = 2^k. This sequence can be obtained by taking a(2^n) = 2^n in place of a(2^n) = n and using the same sequence building approach as in A001511. - Amarnath Murthy, Jul 08 2005

Also smallest m such that m + n - 1 = m XOR (n - 1); A086799(n) = a(n) + n - 1. - Reinhard Zumkeller, Feb 02 2007

Number of 1's between successive 0's in A159689. - Philippe Deléham, Apr 22 2009

Least number k such that all coefficients of k*E(n, x), the n-th Euler polynomial, are integers (cf. A144845). - Peter Luschny, Nov 13 2009

In the binary expansion of n, delete everything left of the rightmost 1 bit. - Ralf Stephan, Aug 22 2013

The equivalent sequence for partitions is A194446. - Omar E. Pol, Aug 22 2013

Also the 2-adic value of 1/n, n >= 1. See the Mahler reference, definition on p. 7. This is a non-archimedean valuation. See Mahler, p. 10. Sometimes called 2-adic absolute value of 1/n. - Wolfdieter Lang, Jun 28 2014

First 2^(k-1) - 1 terms are also the heights of the successive rectangles and squares of width 2 that are adjacent to any of the four sides of the toothpick structure of A139250 after 2^k stages, with k >= 2. For example: if k = 5 the heights after 32 stages are [1, 2, 1, 4, 1, 2, 1, 8, 1, 2, 1, 4, 1, 2, 1] respectively, the same as the first 15 terms of this sequence. - Omar E. Pol, Dec 29 2020

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

a(n) = degree of Kac determinant at level n as polynomial in the conformal weight (called h). (Cf. C. Itzykson and J.-M. Drouffe, Statistical Field Theory, Vol. 2, p. 533, eq.(98); reference p. 643, Cambridge University Press, (1989).) - Wolfdieter Lang

Also the number of one-element transitions from the integer partitions of n to the partitions of n-1 for labeled parts with the assumption that from any part z > 1 one can take an element of amount 1 in one way only. That means z is composed of z unlabeled parts of amount 1, i.e. z = 1 + 1 + ... + 1. E.g., for n=3 to n=2 we have a(3) = 6 and [111] --> [11], [111] --> [11], [111] --> [11], [12] --> [11], [12] --> [2], [3] --> [2]. For the case of z composed by labeled elements, z = 1_1 + 1_2 + ... + 1_z, see A066186. - Thomas Wieder, May 20 2004

Number of times a derivative of any order (not 0 of course) appears when expanding the n-th derivative of 1/f(x). For instance (1/f(x))'' = (2 f'(x)^2-f(x) f''(x)) / f(x)^3 which makes a(2) = 3 (by counting k times the k-th power of a derivative). - Thomas Baruchel, Nov 07 2005

Starting with offset 1, = the partition triangle A008284 * [1, 2, 3, ...]. - Gary W. Adamson, Feb 13 2008

Starting with offset 1 equals A000041: (1, 1, 2, 3, 5, 7, 11, ...) convolved with A000005: (1, 2, 2, 3, 2, 4, ...). - Gary W. Adamson, Jun 16 2009

Apart from initial 0 row sums of triangle A066633, also the Möbius transform is A085410. - Gary W. Adamson, Mar 21 2011

More generally, the total number of parts >= k in all partitions of n equals the sum of k-th largest parts of all partitions of n. In this case k = 1. Apart from initial 0 the first column of A181187. - Omar E. Pol, Feb 14 2012

Row sums of triangle A221530. - Omar E. Pol, Jan 21 2013

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

a(n) is also the total number of divisors of all positive integers in a sequence with n blocks where the m-th block consists of A000041(n-m) copies of m, with 1 <= m <= n. The mentioned divisors are also all parts of all partitions of n.

Apart from initial zero this is also as follows:

Convolution of A000005 and A000041.

Convolution of A006218 and A002865.

Convolution of A341062 and A000070.

Row sums of triangles A221531, A245095, A339258, A340525, A340529. (End)

Number of ways to choose a part index of an integer partition of n, i.e., partitions of n with a selected position. Selecting a part value instead of index gives A000070. - Gus Wiseman, Apr 19 2021

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