Characteristic polynomial of a linear recurrence
ID: characteristic-polynomial-of-a-linear-recurrence
For the constant-coefficient homogeneous linear recurrence relation , its characteristic polynomial isA nonzero root gives the solution . Over a field of characteristic zero, a root of multiplicity contributes when . The Fibonacci sequence has , whose roots give its familiar closed formula.
Equivalently, annihilates the shift on every solution. Reducing modulo therefore expresses the distant term as a linear combination of . Repeated squaring in the polynomial quotient ring gives this combination using logarithmically many multiplications in .
New to topics? Read the docs here!