Self-similarity of Fibonacci period structures at prime powers

About 1 year old · traced to

For the Fibonacci recurrence and its parity transform modulo prime powers, Self-Similarity at Prime Powers. At each transition pk→pk+1p^k\to p^{k+1}, all existing periods are preserved, and each period of length ℓ>1\ell>1 at pkp^k generates new periods of length pℓp\ell at pk+1p^{k+1}, with multiplicities multiplied by pp. For class B2 primes, the multiplicity of the middle period remains exactly 2α2\alpha for every power pkp^k. The supplied text gives examples but no resolution status.

References

Primary source

Marc T. Pudelko, “Modular Periodicity of Random Initialized Recurrences”, arXiv:2510.24882 (2026).

Progress summary

Refreshed
Claimed progress

The published source presents the self-similarity claim as a conjecture, while an unverified submission argues that the scaling fails already for a small prime.

The assertion concerns Fibonacci periods and the parity transform when the modulus is raised through successive prime powers. The available paper labels it Conjecture 15 and supplies examples, but no proof or disproof is recorded there.

Known results

  • The conjecture predicts preservation of existing periods and multiplication of nontrivial periods and multiplicities by the prime at each lift.
  • For class B2\mathrm{B2} primes, it predicts a middle-period multiplicity of exactly 2α2\alpha at every power.
  • The example p=19p=19 is reported through p2=361p^2=361, with periods and multiplicities matching the predicted pattern.

Community submission (unverified)

A submitted calculation argues that the claim fails for the Fibonacci state transition from modulus 1111 to modulus 121121: lifted eigenvalue orders become 5555 and 110110, apparently producing periods not obtained by the stated uniform scaling rule. The argument is substantive but has not been independently verified.

Current status (as of August 2026): The statement remains an unproved conjecture in the published source; a submitted 1111-to-121121 counterexample is unverified, so the problem is not settled.

Sources

Solutions 1

CounterexampleThis solution needs a summarySee full solutionHide full solution

Counterexample to the claimed prime-power multiplicity scaling

Consider the Fibonacci state transition

T(a,b)=(b,a+b)on(Z/mZ)2.(1)T(a,b)=(b,a+b) \quad\text{on}\quad (\mathbb Z/m\mathbb Z)^2. \tag{1}

We examine the transition from m=11m=11 to m=121m=121. The characteristic polynomial is

f(X)=X2−X−1.(2)f(X)=X^2-X-1. \tag{2}

Modulo 1111, its roots are 44 and 88, with respective multiplicative orders

ord⁡11(4)=5,ord⁡11(8)=10.(3)\operatorname{ord}_{11}(4)=5, \qquad \operatorname{ord}_{11}(8)=10. \tag{3}

Consequently, in eigenvector coordinates, the transition is

(x,y)⟼(4x,8y)(mod11).(4)(x,y)\longmapsto(4x,8y) \pmod{11}. \tag{4}

The zero vector has period 11. The 1010 states with x≠0x\neq0 and y=0y=0 have period 55, whereas the 110110 states with y≠0y\neq0 have period 1010. Therefore the complete orbit distribution modulo 1111 is

periodstatesorbits11151021011011.(5)\begin{array}{c|c|c} \text{period}&\text{states}&\text{orbits}\\ \hline 1&1&1\\ 5&10&2\\ 10&110&11. \end{array} \tag{5}

The two roots lift modulo 121121 to

u=37,v=85,u2−u−1≡v2−v−1≡0(mod121).(6)u=37, \qquad v=85, \qquad u^2-u-1\equiv v^2-v-1\equiv0\pmod{121}. \tag{6}

Because v−u=48v-u=48 is invertible modulo 121121, the transition remains diagonalizable over Z/121Z\mathbb Z/121\mathbb Z:

(x,y)⟼(37x,85y).(7)(x,y)\longmapsto(37x,85y). \tag{7}

The root orders are exactly

375≡67≢1(mod121),3755≡1(mod121),8510≡111≢1(mod121),8555≡−1(mod121),85110≡1(mod121),(8)\begin{aligned} 37^5&\equiv67\not\equiv1\pmod{121}, &37^{55}&\equiv1\pmod{121},\\ 85^{10}&\equiv111\not\equiv1\pmod{121}, &85^{55}&\equiv-1\pmod{121}, &85^{110}&\equiv1\pmod{121}, \end{aligned} \tag{8}

so

ord⁡121(37)=55,ord⁡121(85)=110.(9)\operatorname{ord}_{121}(37)=55, \qquad \operatorname{ord}_{121}(85)=110. \tag{9}

Write R=Z/121ZR=\mathbb Z/121\mathbb Z. There are 110110 units in RR, 1010 nonzero elements of 11R11R, and 1111 elements of 11R11R altogether.

If both coordinates lie in 11R11R, their periods are governed by the roots modulo 1111. They contribute one fixed point, 1010 states of period 55, and 110110 states of period 1010. If xx is a unit and y=0y=0, the resulting 110110 states have period 5555.

There are two disjoint families of period-110110 states:

conditionsnumber of statesy∈R×,x∈R110⋅121=13310x∈R×,y∈11R∖{0}110⋅10=1100.(10)\begin{array}{c|c} \text{conditions}&\text{number of states}\\ \hline y\in R^\times,\quad x\in R&110\cdot121=13310\\ x\in R^\times,\quad y\in11R\setminus\{0\}&110\cdot10=1100. \end{array} \tag{10}

In the second family, the coordinate periods are 5555 and 1010, whose least common multiple is 110110. Hence the complete orbit distribution modulo 121121 is

periodstatesorbits1115102101101155110211014410131.(11)\begin{array}{c|c|c} \text{period}&\text{states}&\text{orbits}\\ \hline 1&1&1\\ 5&10&2\\ 10&110&11\\ 55&110&2\\ 110&14410&131. \end{array} \tag{11}

The entries account for the entire state space:

1+10+110+110+14410=14641=1212.(12)1+10+110+110+14410=14641=121^2. \tag{12}

At modulus 1111, the period 1010 has multiplicity 1111. The conjectured scaling by the prime p=11p=11 would therefore require its successor period 110110 to have multiplicity

11⋅11=121.(13)11\cdot11=121. \tag{13}

Instead, its actual multiplicity is

131≠121.(14)\boxed{131\neq121.} \tag{14}

The additional 1010 orbits arise from the second family in (10); thus they cannot be removed by reinterpretation or by overlooking nonprimitive states. The middle-period multiplicities do remain 22, exactly as predicted by the separate class-B2 assertion, so the failure concerns specifically the claimed universal multiplication rule for the longer periods.

The parity-transformed recurrence has roots −u=v−1-u=v^{-1} and −v=u−1-v=u^{-1}, so inversion and interchange preserve the same orbit counts. Hence the counterexample applies to both recurrences in Marc T. Pudelko's Conjecture 6.