Let $c(n)$ in $\mathbb{Z}/2\mathbb{Z}[x]$ be defined by the recursion $$c(n+4)=c(n+3)+(x^4+x^3+x^2+x)c(n)+x^n\cdot(x+x^2),$$ and the initial conditions 
$$c(0)=0,\quad c(1)=1,\quad c(2)=x,\quad c(3)=x^2.$$


**Question**: If 4 divides $n$, is $c(n)$ a sum of $c(k)$ with $k$ less than $n$?


**Remarks**:


1. I've checked that this holds up to $n=64$.
2. The recursion may seem artificial, but it arises in studying the action of the operator $U\_3$ on a space of mod $2$ modular forms of level 3. This accounts for the number theory tag.




---


**VARIATION ON A THEME**


Now define another sequence $c(n)$ in $\mathbb Z/2\mathbb Z[x]$ by the recursion
$$c(n+6)=c(n+5)+(x^6+x^5+x^2+x)c(n)+x^n\cdot(x+x^2),$$
 and the initial conditions 
$$c(0)=0,\quad c(1)=1,\quad c(2)=1,\quad c(3)=x,\quad c(4)=x^2,\quad c(5)=x^4+x^2+x.$$


**Question**: If $n$ is 0 or 2 mod 6, is $c(n)$ a sum of $c(k)$ with $k$ less than $n$?


1. I've checked that this holds through n=44.
2. This question bears the same relation to mod 2 modular forms of level 5 that my initial question bears to level 3.


TWO VARIATIONS IN CHARACTERISTIC 3


Variation 2a---Let c(n) in Z/3[x] be defined by the recursion


c(n+3)=c(n+2)-(x^3+x^2+x)c(n)+x^n\*(x^3-x), and the initial conditions


c(0)=0, c(1)=x, c(2)=x.


If (n,3)=1, define d(n) to be c(n)+c(n+1)+c(n+2) or c(n)-c(n+1) according as n is 1 or 2 mod 3.


Question: If n is 2 mod 9, is d(n) a Z/3-linear combo of d(k) with k less than n?


Variation 2b---Let c\*(n) be c(n)-x^n with c(n) as in variation 2a. For n prime to 3 define d\*(n) as in variation 2a, but with c(n) replaced by c\*(n).


Question: If n is 2 mod 9, is d\*(n) a Z/3 linear combo of d\*(k) with k less than n?


Remarks: I've verified that these hold for n up through 83, and am confident that a variant of Peter Mueller's technique will allow one to go much further. The questions are related to calculating the kernels of U\_2+I and U\_2-I on the space of mod 3 modular forms of level 2, just as the earlier questions were related to calculating the kernels of U\_3+I and U\_5+I on the spaces of mod 2 modular forms of levels 3 and 5 respectively.


FINAL EDIT (12/7/16)


1. I've found elementary but apparently mysterious answers to the first 2 questions--see my 2 answers. The arguments are similar, and I'll randomly accept the level 3 answer.
2. I think I can answer the characteristic 3 questions too. But to avoid accusations of self-abuse I'll refrain. And though I find the question on Jordan blocks very interesting (and similar questions attached to the other recursions should also be interesting), the thread has become long and so I've deleted that question.



A characteristic 2 polynomial recursion
EDIT (11/25/16)


The earlier version of this answer is sketchy, and as I've put up a complete version on arXiv (1603.03910 [math.NT], "A characteristic 2 recurrence with a Hecke algebra application"), I'm replacing my answer with references to this preprint. The argument, culminating in Theorem 2.10, involves nothing more than algebra in a ring Z/2[r], but would be mysterious to someone without a knowledge of modular forms--see the remark preceding Definition 1.1.


The final sections of the preprint give an application of Theorem 2.10 to the space K consisting of the odd mod 2 modular forms of level Gamma\_0 (3) that are
killed by I+U\_3. Combining Theorem 2.10 with results from arXiv:1508.07523 [math.NT], "A Hecke algebra attached to mod 2 modular forms of level 3", I show that each formal Hecke operator T\_p acting on K is (uniquely) a power series in T\_7 and T\_13.


