In this paper, we study the properties of the sequence of polynomials given by $g_0=0,g_1=1$, $g_{n+1}=g_n+\Delta g_{n-1}$ for $n\ge 1$, where $\Delta \in {𝔽}_q\left[t\right]$ is non-constant and the characteristic of ${𝔽}_q$ is $2$. This complements some results from R. Euler, L.H. Gallardo: On explicit formulae and linear recurrent sequences, Acta Math. Univ. Comenianae, 80 (2011) 213-219.

Let ω be a sequence of positive integers. Given a positive integer n, we define rₙ(ω) = |(a,b) ∈ ℕ × ℕ : a,b ∈ ω, a+b = n, 0 < a < b|. S. Sidon conjectured that there exists a sequence ω such that rₙ(ω) > 0 for all n sufficiently large and, for all ϵ > 0, $li{m}_{n\to \infty }rₙ\left(\omega \right)/n^{ϵ}=0$. P. Erdős proved this conjecture by showing the existence of a sequence ω of positive integers such that log n ≪ rₙ(ω) ≪ log n. In this paper, we prove an analogue of this conjecture in ${}_q\left[T\right]$, where ${}_q$ is a finite field of q elements....

We deal with the construction of sequences of irreducible polynomials with coefficients in finite fields of even characteristic. We rely upon a transformation used by Kyuregyan in 2002, which generalizes the $Q$-transform employed previously by Varshamov and Garakov (1969) as well as by Meyn (1990) for the synthesis of irreducible polynomials. While in the iterative procedure described by Kyuregyan the coefficients of the initial polynomial of the sequence have to satisfy certain hypotheses, in the...

Let ${}_q\left[t\right]$ be the polynomial ring over the finite field ${}_q$, and let ${}_N$ be the subset of ${}_q\left[t\right]$ containing all polynomials of degree strictly less than N. Define D(N) to be the maximal cardinality of a set $A{\subseteq }_N$ for which A-A contains no squares of polynomials. By combining the polynomial Hardy-Littlewood circle method with the density increment technology developed by Pintz, Steiger and Szemerédi, we prove that $D\left(N\right)\ll q^N{\left(logN\right)}^7/N$.

Let $S$ be a subset of ${\mathbf{F}}_q$, the field of $q$ elements and $h\in {\mathbf{F}}_q\left[x\right]$ a polynomial of degree $d\&gt;1$ with no roots in $S$. Consider the group generated by the image of $\{x-s\mid s\in S\}$ in the group of units of the ring ${\mathbf{F}}_q\left[x\right]/\left(h\right)$. In this paper we present a number of lower bounds for the size of this group. Our main motivation is an application to the recent polynomial time primality testing algorithm [AKS]. The bounds have also applications to graph theory and to the bounding of the number of rational points on abelian covers of the projective...

1. Introduction. The Waring problem for polynomial cubes over a finite field F of characteristic 2 consists in finding the minimal integer m ≥ 0 such that every sum of cubes in F[t] is a sum of m cubes. It is known that for F distinct from ₂, ₄, ${}_{16}$, each polynomial in F[t] is a sum of three cubes of polynomials (see [3]). If a polynomial P ∈ F[t] is a sum of n cubes of polynomials in F[t] such that each cube A³ appearing in the decomposition has degree < deg(P)+3, we say that P is a restricted...