Welcome to the Perrin Chalkboard! I will be presenting in this blog a series of chalkboards which discuss interesting properties of the Perrin sequence and related integer sequences. This blog starts as a simple discussion of the Perrin sequence (the original mention by Lucas in 1876 and Perrin in 1899). It is found that an immense amount of research on the associated elliptic curves has occurred over the last 115 years. The Perrin sequence ties together much of the mathematics discussed today as algebraic number theory and modular functions. It is also integral to the discussion of Fermat’s Last Theorem conjectured in 1637 but proved by Wiles in 1994.
Theorems will be presented without proofs. I think the subject matter will appeal to those interested in the properties of integer sequences, elliptic equations, and graph theory. Many sequences from OEIS (On-line Encyclopedia of Integer Sequences) will be discussed, uncovering hidden or less obvious properties.
The primary subject matter in this blog covers the properties of integer sequences. However, it is not until Chapter 17 that I cover the subject matter of the short paper published by Perrin in 1899. This chapter then introduces the subject of integer partitions, followed by some geometric applications of the Perrin sequence and then turns to division algorithms derived from general properties of cubic equations and associated integer sequences.
I encourage any comments or suggestions to the chalkboard subjects.
Although the pdf files are freely provided, if you are interested or have questions regarding any chapter please feel free to contact me.
Updated July 2017
Click on the pdf to open the first chapter.. or continue scrolling to find the latest Chapter and pdf!
The partial Bell Polynomial expresses polynomials of any order and is convenient to calculate parent sequences and convolutions. The Perrin sequence is used as an example showing that a convolution hierarchy of sequences of various order can be algebraically equal. The condition for algebraic equality is shown and how the calculus of these convolutions are determined.
Algebra of Integer sequences and their Convolution using Partial Bell Polynomials
The partial Bell Polynomial is modified and shown to represent many integer sequences in the literature. The modified Bell Polynomial and its derivative are equivalent to Inter Sequence Polynomials and are applied to calculate Perrin and Padovan numbers, respectively. A detailed investigation of how these polynomials can reproduce the integer sequence is shown. The Bell Polynomial and number are important in combinatorics, partitions and mappings. This ability to describe various mappings with higher Bell Numbers provides a better understanding of the relation of integer sequences to discrete dynamic processes.
Bell Polynomials and Perrin and Padovan Sequences
A comparison of integer linear recurrent sequences and the parent and element sequences generated from inter sequence polynomials is presented. Bell Polynomials are shown to be connected to inter sequence polynomials. Bell Polynomials can be used to calculate ISPs of any order through a simple equation.
ISP_LRS and Bell Polynomials
The convolution of sequences using ISPs and their derivatives were described in a previous Chapter (see Chapter 36). The Convolution Recurrences from Inter Sequence Polynomials (CRISP) program is designed to find the coefficients of second order and third order convolutions. The order of these sequences is found to be the sum of the orders or the component sequences. By using the ISPS it was possible to find closed forms of the recurrence coefficients of the second and third derivatives of any linear second and third order parent recurrence. This program (Mathematica) is shown in the attached pdf.
Every linear integer sequence of a cubic polynomial has an associated element sequence. The element sequence is the first derivative of the parent polynomial and easily obtained from its inter sequence polynomial. Some sequences such as the Perrin sequence have an element sequence (the Padovan sequence) which is linearly proportional after rounding to its parent sequence. This chapter discusses a method for finding this associated constant of proportion for any linear integer sequence based on the discriminant. It is found that not all sequences exhibit this proportionality and an attempt is made to find condition for existence.
Discriminants and the Element Sequence
Initiators are a set of numbers which can generate a sequence. This appendix provides simple cubic and quadratic polynomials for calculating the initiator sequences associated with 1st and higher order maximal independent sets. Based on the constant g defined for the hypergeometric equation, sequence values can be readily calculated for odd values of g where g = 3 represents Perrin numbers. The repeated pattern of a(n) = n for small odd n is common to these sequences and suggests a pattern in nature which leads to diversity and variation of structure. An example of a DNA sequence calculated from a higher order MIS sequence is shown (see above) to produce this variation in structure.
An Algorithm for Higher Order Perrin Numbers
This chalkboard discusses the previously derived hypergeometric equation for calculating Perrin numbers. The equation is also found to calculate the number of k-th order maximal independent sets in a cycle graph. Convolution sequences are found to be related to the k-th order numbers and to two combinatorial numbers.
Perrin Numbers, a Hypergeometic Function and Convolution Sequences