×

Sums and strict sums of biquadrates in \(\mathbb F_q[t]\), \(q \in \{3,9\}\). (English) Zbl 1293.11106

Let \({\mathbb F}_q[t]\) be the polynomial ring over \({\mathbb F}_q\), the finite field consisting of \(q\) elements. The main subject of this paper is Waring’s problem for biquadrates in \({\mathbb F}_q[t]\), that is, additive representation for elements of \({\mathbb F}_q[t]\) by using fourth powers of polynomials in \({\mathbb F}_q[t]\), for \(q=3\) and 9.
Some special terms are required in order to state the main theorems. First, a sum of the form \(e_1A_1^4+e_2A_2^4+\cdots+e_sA_s^4\) with \(e_i=\pm1\) is called a mixed sum of \(A_i^4\). Next, when a polynomial \(P\) is written as a sum (or, a mixed sum) of \(A_i^4\) with \(A_i\in{\mathbb F}_q[t]\), the degree of at least one of the \(A_i\) is trivially greater than or equal to \(\lceil \deg(P)/4\rceil\), the least integer \(\geq\deg(P)/4\). Therefore the (mixed) sum is called strict, if one has \(\deg(A_i)\leq\lceil\deg(P)/4\rceil\) for all \(i\). Now let \(A_4(q)\) be the set of all the polynomials that can be written as a sum of biquadrates in \({\mathbb F}_q[t]\), regardless of the number of summands. Similarly, let \(SA_4(q)\), \(MA_4(q)\) and \(MSA_4(q)\), respectively, be the sets of polynomials that can be written as a strict sum, a mixed sum and a mixed strict sum of biquadrates in \({\mathbb F}_q[t]\), regardless of the number of summands. These sets eventually coincide with the entire ring \({\mathbb F}_q[t]\) unless \(q=3\) or 9, in which case these sets are concretely described in this paper.
Then, the main theorems of this paper assert that for \(q\in\{3,9\}\), (i) every \(P\in A_4(q)\) can be written as a sum of at most 8 biquadrates, (ii) every \(P\in SA_4(q)\) can be written as a strict sum of at most 14 biquadrates, (iii) every \(P\in MA_4(q)\) can be written as a mixed sum of at most 6 biquadrates, (iv) every \(P\in MSA_4(q)\) can be written as a mixed strict sum of at most 10 biquadrates. The proofs are elementary, and take advantage of several special identities, together with extensive check, executed by a computer, for polynomials of degree at most 8.
The paper also discusses the case of cubes shortly, and shows that \(P\in{\mathbb F}_4[t]\) can be written as a sum of cubes of polynimials in \({\mathbb F}_4[t]\), if, and only if, \(P(r)\in{\mathbb F}_2\) for all \(r\in{\mathbb F}_4\).

MSC:

11T55 Arithmetic theory of polynomial rings over finite fields
11T06 Polynomials over finite fields
11P05 Waring’s problem and variants
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] M. Car and L.H. Gallardo, Waring’s problem for polynomial biquadrates over a finite field of odd characteristic , Funct. Approx., Comment. Math. 37 · Zbl 1144.11084
[2] G. Effinger and D. Hayes, Additive number theory of polynomials over a finite field , Oxford Math. Mono., Clarendon Press, Oxford, 1991. · Zbl 0759.11032
[3] L. Gallardo, Une variante du problème de Waring sur \(\F_2^n[t]\) , (An \(\F_2^n[t]\)- variant of Waring’s problem ), C.R.A.S 327 · Zbl 0922.11107
[4] —-, Waring’s problem for Polynomial cubes and squares over a finite field of even characteristic , Bull. Belg. Math. Soc. Simon Stevin 12 (2005), 349-362. · Zbl 1111.11059
[5] —-, Every strict sum of cubes in \(\F_4[t]\) is a strict sum of \(6\) cubes , Portugal Math. · Zbl 1239.11141
[6] L.H. Gallardo and D.R. Heath-Brown, Every sum of cubes in \(\F_2[t]\) is a strict sum of \(6\) cubes , Finite Fields Appl. 13 (2007), 648-658. · Zbl 1172.11045
[7] L.H. Gallardo and L.N. Vaserstein, The strict Waring problem for polynomial rings , J. Number Theory 128 (2008), 2963-2972. · Zbl 1220.11151
[8] R.E.A.C. Paley, Theorems on polynomials in a Galois field , Quart. J. Math. 4 (1933), 52-63. · Zbl 0006.24703
[9] L.N. Vaserstein, Waring’s problem for commutative rings , J. Number Theory 26 (1987), 299-307.
[10] —-, Sums of cubes in polynomial rings , Math. Comp. 56 (1991), 349-357. JSTOR: · Zbl 0711.11013
[11] —-, Ramsey’s theorem and the Waring’s problem for algebras over fields , Proc. Workshop “Arithmetic of Function Fields,” (Ohio State Univ., 1991), Walter de Gruyter Verlag, Berlin, 1992, 435-442. · Zbl 0817.12002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.