This site is supported by donations to The OEIS Foundation.

User:Peter Luschny

From OeisWiki
Jump to: navigation, search

Personal

  • "Integers are the decategorification of finite sets."
  • Some of my mathematical interests can be found on my homepage.
  • (NEW in 2011, now discontinued.) You can follow me on sequitter.
  • In my contributions I follow Schmidhuber's Beauty Postulate: "Among several patterns classified as "comparable" by some subjective observer, the subjectively most beautiful is the one with the simplest (shortest) description, given the observer's particular method for encoding and memorizing it."
  • If you have any comments or suggestions, you can post them on my user talk page.
  • My favorite fun formula (which I found in 2010) relates Euler's small gamma A001620 with Euler's big Gamma and computes another constant which is also in OEIS.

Topics on OEIS

  • My favorite contribution to the OEIS:
PetersListA366192.png

Unfortunately, the editors did not allow the name. However, this list is nothing other than the complement to Georg Cantor's famous list, with which he counted the rational numbers, A352911.

Since we're on the subject of Cantor, there are a number of other enumerations: So the enumeration of the rational numbers in the closed real interval [0, 1], A366191.

Then there is the boustrophedonic Cantor enumeration A319571. If (x, y) and (x', y') are adjacent points on the trajectory of the map then max(|x - x'|, |y - y'|) is always 1 whereas for the Cantor enumeration this quantity can become arbitrarily large. In this sense the boustrophedonic variant is continuous whereas Cantor's original realization is not.

My BLOG on the OEIS

Here I try to explain the background of some sequences which I submitted to OEIS:

 

  Blog
July 2016 Orbitals
April 2016 Extensions of the Binomial
February 2016 The P-Transformation
May 2015 The Bell Transformation
December 2014 GFUN - A Sage Toolbox for the OEIS, part 1
July 2014 Binary Quadratic Forms.
July 2014 The Unofficial Guide to Coding for the OEIS
July 2013 The Bernoulli Manifesto
June 2013 Generalized Bernoulli Numbers and Polynomials.
May 2013 The Stirling-Frobenius numbers.
April 2013 Eulerian polynomials generalized.
October 2012 Odds and Ends.
October 2012 Aigner triangles.
June 2012 The Catalan-Seidel connection.
May 2012 The computation and asymptotics of the Bernoulli numbers.
April 2012 An old operation on sequences: the Seidel transform.
March 2012 Sage in the context of OEIS: tools, tips and tricks.
February 2012 The von Mangoldt Transformation
January 2012 Transformations of Integer Sequences
December 2011 Fibonacci Meanders
November 2011 Meanders and walks on the circle
October 2011 Perfect and optimal rulers
August 2011 The family of Euler-Bernoulli numbers
July 2011 Multifactorials
June 2011 The lost Pascal numbers
May 2011 Motzkin and Riordan Numbers
The lost Catalan numbers
April 2011 Set partitions
March 2011 Optimal Rulers
March 2011 Approximations to the Factorial Function
February 2011 Schinzel-Sierpinski conjecture and the Calkin-Wilf tree
January 2011 Integer partition trees
December 2010 Double enumerations
December 2010 Riemann Hypothesis and the Lagarias Formula
December 2010 Extended tables of A094348 and A181852
November 2010 Strong coprimality
November 2010 Swinging Primes
November 2010 Prime factors of the swinging factorial
October 2010 Notation matters
August 2010 Generalized Binomial Coefficients
August 2010 Eulerian Number, a style study
August 2010 Eulerian polynomials, initial setup of an article on the wiki, see also the notes below.
August 2010 Figurate number - a very short introduction
July 2010 Permutation trees
July 2010 Permutation types
June 2010 Euler's Totient Function
May 2010 Swiss-Knife Polynomials and Euler Numbers
April 2010 Zeta Polynomials and Harmonic Numbers
April 2010 Bernoulli and Worpitzky numbers
Mar 2010 Stern's diatomic array and Binary Partitions
Feb 2010 How I found a Guy Steele sequence

Sequential musings

The formula is the answer. Now what was the sequence?

Some coherent themes for which I have contributed sequences

Topic Links to my Homepage Sequences
Perfect and optimal rulers Generating and counting perfect rulers. A103299 A103301 A103300 A103295 A103296 A103294 A103297 A103298 A004137
The Swiss-Knife polynomials Related to the family of Euler-Bernoulli polynomials. A153641 A162660 A109449 A154341 A154342 A154343 A154344 A154345
Von Staudt prime numbers and generalized Clausen numbers Von Staudt primes, generalized Clausen A092307 A152951 A152952 A141056 A090801 A160035 A160014
Counting with Partitions Partitions of an integer and generalized Stirling triangles of the first and the second kind. A157386 A157385 A157384 A157383 A157400 A157391 A157392 A157393 A157394 A157395 A157396 A157397 A157398 A157399 A157400 A157401 A157402 A157403 A157404 A157405
Swinging factorial Swinging factorial function. A056040 A163865 A163840 A163843 A163650 A163770 A163773 A163649 A163590 A163641 A163644 A163841 A163844 A163771 A163774 A163869 A163842 A163845 A163872 A163772 A163775 A163945 A163640 A163085 A163086

Some other themes I took interest in

Topic Links to my Homepage Sequences
Bernoulli-irregular and Euler-irregular primes The computation of irregular primes. A000928 A120337 A128197
Gamma Function On Stieltjes' Continued Fraction for the Gamma Function. A005146 A005147
Lcm{1,2,...,n} The least common multiple as a product of values of the sine function sampled over half of the points in a Farey sequence. See also this paper. A003418
Zumkeller Numbers Interesting partitions of the set of divisors of n. A171641 A171642

Stirling's famous formula and company

Approximation formulas to the Gamma function.
Formula Numerator Denominator
Stirling A001163A001164
De Moivre A182935A144618
NemesG A182912A182913
Wehmeier A182916A182917
--New-- A182914A182915
Formula Numerator Denominator
Stieltjes A005146A005147
Lanczos A090674A090675
Nemes A181855A181856
Gosper A182919A182920
    

More about these formulas can be found on my homepage and on my blog.

On the infrastructure of the binomial triangle

1
2
3
4
5
6
7
8
9
10
11

This is a symbolic representation of an infrastructure of the binomial triangle characterizing primes. A formal description of the idea can be found in A182929.

An index of generalized Stirling triangles

Two convenient indices of generalized Stirling triangles. I intend to add cross references on the sequence pages.

I N D E X
Generalized Stirling-1 triangles Generalized Stirling-2 triangles

Tagging Matryoshka sequences

Elementary cases

Type Sequence generator
T0 seq(i,i=alpha..beta);
T1 seq(op(i,i=alpha..k),k=alpha..beta);
T2 seq(op(op(i,i=alpha..k),k=alpha..n),n=alpha..beta);
T3 seq(op(op(op(i,i=alpha..k),k=alpha..n),n=alpha..m),m=alpha..beta);

seq means sequence. alpha is typically 0 or 1. beta is a convenient number greater alpha. op is an operation to be specified.

op alpha T0 T1 T2 T3
add 0 A001477 A000217 A000292 A000332
multiply 1 A001477 A000142 A000178 A055462
sequence 0 A001477 A002262 A056558 A127324
sequence 1 A000027 A002260    
sequence -1 A023443 A114219    

Matryoshkas of functions

The elementary cases above are Matryoshka sequences related to the identity function. In the general case the innermost sequence seq(i,i=a..b) becomes seq(f(i),i=a..b). This relates sequences in a new and sometimes surprising way.

With Maple:

T0 := proc(op,f,a,b) local i; 
      seq(f(i),i=a..b) end;
T1 := proc(op,f,a,b) local k; 
      seq(op(f(i),i=a..k),k=a..b) end;
T2 := proc(op,f,a,b) local n; 
      seq(op(op(f(i),i=a..k),k=a..n),n=a..b) end;
T3 := proc(op,f,a,b) local m; 
      seq(op(op(op(f(i),i=a..k),k=a..n),n=a..m),m=a..b) end;

Example calls:

T3(mul,n->n,1,7); 
T2(seq,n->n,0,4); 
T1(add,n->n!,0,7); 
T1(mul,n->n!,1,7);
a := n -> `if`(n=0,1,n^(n mod 2)*(4/n)^(n+1 mod 2)*a(n-1)); 
T2(mul,a,1,7);

Here some findings:

f(n) op alpha T0 T1 T2 T3
n2 add 0 A000290 A000330 A002415 A005585
multiply 1 A001044 A055209  
sequence 0 A133819    
sequence 1 A143844    

 

f(n) op alpha T0 T1 T2 T3
n! add 0 A000142 A003422 A014144 A152689
multiply 1 A000178 A055462 A057527