Why are the periods of these permutations often 1560? I ran across a math puzzle that went like this:
Consider the list $1,9,9,3, \cdots$ where the next entry is equal to the sum mod 10 of the prior 4.  So the list begins $1,9,9,3,2,3,7,\cdots$. Will the sequence $7,3,6,7$ ever occur?
(Feel free to pause here and solve this problem for your own amusement if you desire.  Spoiler below.)
So the answer is "yes", and we can solve this by noticing that the function to derive the next digit is invertible so we can derive digits going to the left as well.  Going left, we find $7,3,6,7$ pretty quickly.
I wrote a program and found that the period (equivalently the length of the permutation's cycle) is 1560.  But surprisingly (to me) altering the starting sequence from 1,9,9,3 to most any other sequence left the period at 1560.  There are a few cases where it changes; for example, starting with 4,4,4,4 we get a period of length only 312.
So, my question: what's special about 1560 here?
Note: This feels a lot like LFSRs, but I don't know much about them.
 A: This is a linear homogeneous recurrence relation with characteristic polynomial $p(x) = x^4 - x^3 - x^2 - x - 1$. To compute its period $\bmod 10$ it suffices to compute its period $\bmod 2, 5$ by the Chinese Remainder Theorem. 
Over any field, a recurrence $a_n$ with characteristic polynomial $p(x)$ has closed form
$$a_n = \sum c_i(n) r_i^n$$
where $r_i$ is a root of $p$ and $c_i(n)$ is a polynomial of degree at most one less than the multiplicity of $r_i$ (with coefficients in a splitting field of $p$). Now $\bmod 2$ we see that $p(x)$ has no roots, so it's either irreducible or the product of two irreducible quadratics. $\bmod 2$ the only irreducible quadratic is $x^2 + x + 1$, which doesn't divide $p(x)$, so $p(x)$ is irreducible $\bmod 2$. It follows from basic facts about finite fields that $p(x)$ divides $x^{2^4} - x$, so the roots of $p(x) \bmod 2$ are $15^{th}$ roots of unity and the period of $a_n \bmod 2$ divides $15$.
Similarly, $\bmod 5$ we see that $p(x)$ has no roots, so it's either irreducible or the product of two irreducible quadratics. Casework rules out the latter. Again, it follows that $p(x)$ divides $x^{5^4} - x$, so the roots of $p(x) \bmod 5$ are $624^{th}$ roots of unity and the period of $a_n \bmod 5$ divides $624$. 
Putting it together we see that the period of $a_n \bmod 10$ divides $\text{lcm}(15, 624) = 2 \cdot 1560$. The fact that you often get $1560$ means that the period of $a_n \bmod 2$ is often either $5$ or $15$ and the period of $a_n \bmod 5$ is often either $312$ or $104$ (and at least one of these is the one divisible by $3$) which just means that the roots of $p(x) \bmod 2, p(x) \bmod 5$ are generators or close to generators of the multiplicative groups of the splitting fields $\mathbb{F}_{2^4}, \mathbb{F}_{5^4}$. 
A: Your recurrence is linear in that you can add two series together term by term and still have it a series.  The period of (0,0,0,1) is 1560, so all periods will be a divisor of that.  To get 1560 you just have to avoid shorter cycles.
