The $3$-sparsity of $X^n-1$ over finite fields, II

Let $q$ be a power of $2$ and let ${\mathbb{F}}_q$ be the finite field with $q$ elements. For a positive integer $n$, the polynomial $X^n-1\in {\mathbb{F}}_q[X]$ is called $3$-sparse over ${\mathbb{F}}_q$ if every monic irreducible factor of $X^n-1$ over ${\mathbb{F}}_q$ has at most three nonzero terms. This corrected version gives the characteristic-two classification. Writing $n=2^{\lambda }m$ with $m$ odd, $X^n-1$ is $3$-sparse over ${\mathbb{F}}_q$ if and only if either $\text{rad}(m)\mid q^2-1$, or $q=2^e$, $3\nmid e$, and $m$ lies in the exceptional $7$-family $$m=7^A{s}_0,A\ge 1,(s_0,7)=1,\text{rad}(s_0)\mid q-1,3\nmid s_0\mathrm{/}\gcd (s_0,q-1),$$ with the additional maximal $7$-adic orbit condition ${\text{ord}}_{7^a}(q)=3\cdot 7^{a-1}$ for $1\le a\le A$. The latter condition is equivalent to $A=1$ or $7\nmid e$. This condition is necessary; for example, $X^{49}-1$ is not $3$-sparse over ${\mathbb{F}}_{128}$.