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.

User: Benedict W. J. Irwin

Benedict W. J. Irwin's wiki page.

Benedict W. J. Irwin has authored 20 sequences. Here are the ten most recent ones:

A287222 Number of 3-time self-crossing partitions on n nodes.

Original entry on oeis.org

0, 0, 0, 0, 2, 16, 164, 944, 4386, 22240, 83066, 398132
Offset: 0

Author

Benedict W. J. Irwin, May 22 2017

Keywords

Comments

The meandric numbers A005316 are the numbers of paths which cross themselves 0 times.
This sequence is the number of paths that must cross themselves exactly 3 times.

Examples

			a(4) = 2, this is from the partitions (2,4,1,3) and (3,4,1,2).
		

Crossrefs

A287221 Number of twice-crossing partitions on n nodes.

Original entry on oeis.org

0, 0, 0, 0, 8, 42, 168, 760, 2418, 10490, 30842, 131676
Offset: 0

Author

Benedict W. J. Irwin, May 22 2017

Keywords

Comments

The meandric numbers A005316 are the numbers of paths which cross themselves 0 times.
This sequence is the number of paths that must cross themselves exactly twice.

Examples

			a(4) = 8; this is from the partitions
(2,1,4,3), (2,4,3,1),
(3,2,4,1), (3,4,2,1),
(4,1,3,2), (4,2,1,3),
(4,2,3,1), (4,3,1,2).
		

Crossrefs

A287220 Number of single-crossing partitions on n nodes.

Original entry on oeis.org

0, 0, 1, 4, 10, 36, 85, 312, 737, 2760, 6604, 25176
Offset: 0

Author

Benedict W. J. Irwin, May 22 2017

Keywords

Comments

The meandric numbers A005316 are the numbers of paths which cross themselves 0 times.
This sequence is the number of paths that must cross themselves exactly once.

Examples

			a(2) = 1, this is from the partition (2,1).
a(3) = 4, this is from the partitions (1,3,2),(2,1,3),(2,3,1),(3,1,2).
		

Crossrefs

A279664 Constant whose Engel Expansion is A007775.

Original entry on oeis.org

1, 1, 5, 6, 9, 0, 5, 1, 5, 3, 7, 5, 4, 0, 2, 8, 9, 5, 4, 5, 0, 1, 3, 4, 5, 8, 1, 5, 5, 7, 2, 3, 2, 1, 4, 6, 5, 3, 5, 2, 5, 5, 4, 0, 2, 8, 9, 4, 8, 7, 9, 5, 3, 6, 4, 7, 0, 0, 3, 9, 9, 3, 8, 9, 5, 9
Offset: 1

Author

Benedict W. J. Irwin, Dec 16 2016

Keywords

Comments

This one constant is enough information to uniquely reconstruct A007775.
There appears to be a general expression for higher sets of k-rough numbers.

Examples

			1.15690515375402895450134581557232146535255402894879536470039938959...
		

Crossrefs

Cf. A007775.

Programs

  • Mathematica
    Prime7[n_] := If[n < 16, Prime[n], If[n == 16, 7^2, Prime[n - 1]]];
    RealDigits[N[Pi^4*Sum[Sum[2^(4-n-8*k)*15^(-n-8*k)/Product[Gamma[ Prime7[2+m+n]/30+k], {m,1,8}],{n,1,8}],{k,0,Infinity}], 100]][[1]]

Formula

Define an indexing function over the primes and 7^2.
P(n) = prime(n) for n<16, 49 for n=16, prime(n-1) for n>16.
a = Pi^4*Sum_{k>=0}Sum_{n=1..8} 2^(4-n-8*k)*15^(-n-8*k)/(Prod_{m=1..8} Gamma( P(2+m+n)/30 + k)). - Benedict W. J. Irwin, Dec 16 2016

A279026 Size of blocks of 1's in the second column of Catalan numbers written in binary and left-aligned.

Original entry on oeis.org

1, 1, 2, 4, 6, 10, 15, 23, 36, 59, 93, 148, 234, 372, 592, 939, 1490, 2366, 3754, 5959, 9460, 15017, 23838, 37841, 60068, 95352, 151362
Offset: 1

Author

Benedict W. J. Irwin, Dec 12 2016

Keywords

Comments

What combinatorial problem is this the answer to? - N. J. A. Sloane, Dec 21 2016
Appears to be strictly increasing for n > 1. - Chai Wah Wu, Dec 22 2016

Examples

			Left-align the binary representation of the Catalan numbers:
1
1
10
101
1110
101010
10000100
110101101
10110010110
The first column is all 1's, by definition.
The next column appears to have blocks of 1's and 0's.
The sizes of the blocks make this sequence.
The values of this column may be generated with the MMA code:
Table[If[2^Floor[Log2[CatalanNumber[n]]] + 2^(Floor[Log2[CatalanNumber[n]]] - 1) < CatalanNumber[n], 1, 0], {n, 1, 1000}].
		

Crossrefs

Cf. A000108.

Programs

  • Mathematica
    Num = 10000;
    T = Table[If[2^Floor[Log2[CatalanNumber[n]]] +2^(Floor[Log2[CatalanNumber[n]]] - 1) < CatalanNumber[n], 1, 0], {n, 1, Num}]; S = {};
    For[i = 1, i < Num, i++, j = 0; If[T[[i]] == 1, While[T[[i]] == 1, i++; j++]; AppendTo[S, j];];]; S

Extensions

a(21)-a(27) from Chai Wah Wu, Dec 22 2016

A279627 Engel expansion of the Glaisher-Kinkelin constant A074962.

Original entry on oeis.org

1, 4, 8, 27, 59, 188, 384, 427, 2525, 71429, 80727, 357492, 13200877, 65161876, 7439912342, 15555881542, 71559279848, 116275866868, 345574982189, 737460049244, 9183275685671, 12641946167319, 126181443702371
Offset: 1

Author

Benedict W. J. Irwin, Dec 16 2016

Keywords

Comments

See A006784 for more details on the Engel expansion.

Examples

			1.2824271291006... = 1/1 + 1/(1*4) + 1/(1*4*8) + 1/(1*4*8*27) + ...
		

Crossrefs

Cf. A074962.

Programs

  • Mathematica
    EngelExp[A_, n_] := Join[Array[1 &, Floor[A]], First@Transpose@NestList[{Ceiling[1/Expand[#[[1]] #[[2]] - 1]], Expand[#[[1]] #[[2]] - 1]} &, {Ceiling[1/(A - Floor[A])], A - Floor[A]}, n - 1]];
    EngelExp[Glaisher, 22]

A278801 G.f.: Sum_{k>0} x^prime(k)/(1-x^k).

Original entry on oeis.org

0, 0, 1, 2, 1, 3, 1, 3, 2, 2, 1, 5, 1, 3, 2, 3, 2, 4, 1, 5, 2, 3, 1, 5, 2, 3, 3, 4, 1, 4, 1, 7, 3, 2, 1, 5, 2, 4, 3, 4, 1, 6, 2, 6, 2, 3, 2, 5, 1, 5, 3, 5, 2, 5, 2, 4, 3, 3, 1, 9, 1, 6, 3, 3, 2, 3, 3, 7, 3, 4, 1, 7, 1, 6, 2, 5, 3, 5, 1, 7, 4, 3, 1, 6, 1, 6, 6, 4, 1, 5, 1, 7, 3, 4, 3, 5, 2, 7, 2, 6, 1
Offset: 0

Author

Benedict W. J. Irwin, Nov 28 2016

Keywords

Comments

New maxima occur at 2,3,5,11,31,59,211,331,619,1759,2341,3049,4343,12373,15431,18691,31667,66643,67651,...
4343 and 15431 are the only composites in the terms displayed above.
If we define a new maximum as greater than or equal to the previous maximum we get
1,2,3,5,7,11,19,23,31,59,131,163,167,197,211,331,467,521,547,...
This is very dense with primes and contains the previous list as a subset.

Programs

  • Mathematica
    NN=200;MM=PrimePi[NN]+1; Table[Boole[n>2]+Sum[Boole[(n>Prime[k])&&(Mod[n-Prime[k]+k-1,k] == 0)], {k, 2, MM}], {n, 1, NN}]

Formula

G.f.: Sum_{k>0} x^prime(k)/(1-x^k).

A278800 G.f.: Sum_{k>0} x^prime(k)/(1-x)^k.

Original entry on oeis.org

0, 0, 1, 2, 3, 5, 8, 13, 21, 33, 50, 74, 108, 157, 229, 336, 495, 730, 1075, 1579, 2314, 3387, 4957, 7259, 10638, 15597, 22864, 33484, 48943, 71333, 103570, 149682, 215192, 307633, 437249, 617959, 868691, 1215232, 1692791, 2349539, 3251478, 4489107, 6186507, 8513674
Offset: 0

Author

Benedict W. J. Irwin, Nov 28 2016

Keywords

Programs

  • Mathematica
    CoefficientList[Series[Sum[x^Prime[k]/(1 - x)^k, {k, 1, 40}], {x, 0, 40}], x]

Formula

G.f.: Sum_{k>0} x^Prime(k)/(1-x)^k.

A275605 Number of set partitions of [n] such that j is member of block b only if b = 1 or at least one of j-1, j-2 is member of a block >= b-1.

Original entry on oeis.org

1, 1, 2, 5, 15, 51, 191, 773, 3336, 15207, 72697, 362447, 1876392, 10051083, 55544661, 315899245, 1845139684, 11048651523, 67719859612, 424287619507, 2714074517843, 17706680249505, 117704101959444, 796546613501759, 5483490237025393, 38372546811580251
Offset: 0

Author

Benedict W. J. Irwin, Nov 14 2016

Keywords

Comments

Original name was: The 'AND' Motzkin Numbers.
This sequence consists of the place values from counting in a pattern where the digit is carried if the current place exceeds both the next place plus one and the place after that plus one. (Note that the place "after" a digit is equally described as the digit preceding it, since we write high-order digits first.)
If the "and" logical comparison is changed to "or", then that modified definition produces the Motzkin numbers A001006.
If the definition looks only at the next term, this generates the Catalan numbers A000108.
This is the case k = 2 of a class of sequences, counting sequences where the k-th term is not more than one more than the maximum of the previous k values. The case k = 1 is the Catalan numbers. The limit as k goes to infinity is the Bell numbers A000110. A similar series limiting terms to no more than one more than the minimum of the previous k values has again the Catalan numbers for k = 1, the Motzkin numbers for k = 2, and continues from there. In this case the limit is the all-ones sequence. - Franklin T. Adams-Watters, Mar 14 2017
To get all the sequences of numerals of length n, take all the numerals of length strictly less than n, and pad them on the left with zeros to length n. - Franklin T. Adams-Watters, May 26 2017

Examples

			The sequence of numerals starts 0, 1, 10, 11, 12, 100, 101, 102, 110, 111, 112, 120, 121, 122, 123.
To get the numeral following 12, we first increment the final digit: 13. But the digits before the 3 are 0 (implied) and 1, and 3 is greater than either of those by more than 1. So we set the last digit to 0, and increment the previous one: 20. Again, 2 is too large for the two implicit zeros in front of it, so we set it to 0 and increment the preceding digit, an implicit zero; so we get 100, which presents no problems.
The length 3 numerals come from the numerals less than 100: 0, 1, 10, 11, 12. Inserting leading zeros to length 3 gives 000, 001, 010, 011, 012.
The values of 1, 10, 100, 1000, etc. make up the sequence.
a(5) = 51 = 52 - 1 = A000110(5) - 1 counts all set partitions of [5] except: 134|2|5. - _Alois P. Heinz_, May 27 2017
		

Crossrefs

Column k=2 of A287641.

Programs

  • Maple
    b:= proc(n, i, j) option remember; `if`(n=0, 1,
          add(b(n-1, max(j, k), k), k=1..i+1))
        end:
    a:= n-> b(n, 0$2):
    seq(a(n), n=0..30);  # Alois P. Heinz, May 26 2017
  • Mathematica
    SIZ = 30;MAX = 100000;
    M = Table[0, {n, 1, SIZ + 2}];
    For[i = 0, i <= MAX, i++,sum = 0;For[j = 1, j <= SIZ, j++,sum += M[[j]];]
      If[sum == 1, Print[i]]M[[1]]++;
    For[j = 1, j <= SIZ, j++,If[M[[j]] > M[[j + 1]] + 1 && M[[j]] > M[[j + 2]] + 1, M[[j]] = 0; M[[j + 1]]++]]] (* Benedict W. J. Irwin, Nov 14 2016 *)
    b[n_, i_, j_] := b[n, i, j] = If[n==0, 1, Sum[b[n-1, Max[j, k], k], {k, 1, i+1} ] ];
    a[n_] := b[n, 0, 0];
    Table[a[n], {n, 0, 30}] (* Jean-François Alcover, Jun 23 2017, after Alois P. Heinz *)

Extensions

Edited by Franklin T. Adams-Watters, May 26 2017
More terms and new name from Alois P. Heinz, May 26 2017

A276989 Reversion of x - x^2 - x^6.

Original entry on oeis.org

1, 1, 2, 5, 14, 43, 140, 474, 1650, 5863, 21170, 77441, 286372, 1068790, 4020704, 15230470, 58044354, 222401745, 856235030, 3310615055, 12849946406, 50051007940, 195571906140, 766413504375, 3011469930300, 11862075827007, 46830440626612, 185271557066226
Offset: 1

Author

Benedict W. J. Irwin, Sep 24 2016

Keywords

Programs

  • Maple
    S:= series(RootOf(x-x^2-x^6-t,x),t,41):
    seq(coeff(S,t,i),i=1..40); # Robert Israel, Nov 04 2024
  • Mathematica
    Table[Sum[Binomial[n-1-4*j,j]Binomial[2*n-4*j-2,n-1],{j,0,(n-1)/2}]/n, {n, 1, 25}]

Formula

a(n) = (Sum_{j=0..(n-1)/2} C(n-1-4*j,j)*C(2*n-4*j-2,n-1))/n.