Abstract
A class of scattered linearized polynomials covering infinitely many field extensions is exhibited. More precisely, the qpolynomial over \({{\mathbb {F}}}_{q^6}\), \(q \equiv 1\pmod 4\) described in Bartoli et al. (ARS Math Contemp 19:125–145, 2020) and Zanella and Zullo (Discrete Math 343:111800, 2020) is generalized for any even \(n\ge 6\) to an \({{{\mathbb {F}}}_q}\)linear automorphism \(\psi (x)\) of \({{\mathbb {F}}}_{q^n}\) of order n. Such \(\psi (x)\) and some functional powers of it are proved to be scattered. In particular, this provides new maximum scattered linear sets of the projective line \({{\,\mathrm{{PG}}\,}}(1,q^n)\) for \(n=8,10\). The polynomials described in this paper lead to a new infinite family of MRDcodes in \({{\mathbb {F}}}_q^{n\times n}\) with minimum distance \(n1\) for any odd q if \(n\equiv 0\pmod 4\) and any \(q\equiv 1\pmod 4\) if \(n\equiv 2\pmod 4\).
Introduction and preliminaries
Let \({{\mathbb {F}}}_{q^n}\) be the Galois field of order \(q^n\), q a prime power. An \({{{\mathbb {F}}}_q}\)linearized polynomial, or qpolynomial, over \({{\mathbb {F}}}_{q^n}\) is a polynomial of the form
If \(c_k \ne 0\), the integer k is called the qdegree of f, in short \(\deg _q(f)\). It is well known that any linearized polynomial defines an endomorphism of \({{\mathbb {F}}}_{q^n}\), when \({{\mathbb {F}}}_{q^n}\) is regarded as an \({{\mathbb {F}}}_q\)vector space and, vice versa, each element of \({{\,\mathrm{End}\,}}_{{{\mathbb {F}}}_q}({{\mathbb {F}}}_{q^n})\) can be represented as a unique linearized polynomial over \({{\mathbb {F}}}_{q^n}\) of qdegree less than n, see [17].
For a qpolynomial \(f(x) = \sum _{i=0}^{n1}c_i x^{q^i}\) over \({{\mathbb {F}}}_{q^n}\), let \(D_f\) denote the associated Dickson matrix (or qcirculant matrix )
The rank of the matrix \(D_f\) is the rank of the \({{{\mathbb {F}}}_q}\)linear map f(x), see [28].
Among the linearized polynomials over a finite field, a particular class has recently aroused interest for its connections with finite geometry and with coding theory: that of scattered polynomials.
More precisely, a scattered qpolynomial \(f(x) \in {{\mathbb {F}}}_{q^n}[x]\) has the property that the polynomial \(f(x)+mx\) has at most q roots in \({{\mathbb {F}}}_{q^n}\) for all \(m \in {{\mathbb {F}}}_{q^n}\), or equivalently, if for any \(y,z \in {{\mathbb {F}}}_{q^n}^*\) the condition
implies that y and z are \({{{\mathbb {F}}}_q}\)linearly dependent. The condition for a qpolynomial to be scattered can be equivalently stated in terms of Dickson matrices [6, 29]. Polynomials of this sort are linked to particular subsets of the finite projective line \({{\,\mathrm{{PG}}\,}}(1, q^n)\) called maximum scattered linear sets. Then consider the finite projective line \(\Lambda ={{\,\mathrm{{PG}}\,}}({{\mathbb {F}}}_{q^n}^2, {{\mathbb {F}}}_{q^n}) \cong {{\,\mathrm{{PG}}\,}}(1, q^n)\). A set L of points in \(\Lambda \) is called \({{{\mathbb {F}}}_q}\)linear set (or just linear set) of rank k if it consists of the points defined by the nonzero vectors of an \({{{\mathbb {F}}}_q}\)subspace U of \({{\mathbb {F}}}_{q^n}^2\) of dimension k, i.e.
Two linear sets \(L_U\) and \(L_W\) of \({{\,\mathrm{{PG}}\,}}(1, q^n)\) are said to be \({{\,\mathrm{P\Gamma L}\,}}\)equivalent if there is an element \(\varphi \in {{\,\mathrm{P\Gamma L}\,}}(2, q^n)\) such that \(L_U^\varphi = L_W\). It is clear that if U and W are on the same \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\)orbit, then \(L_U\) and \(L_W\) are \({{\,\mathrm{P\Gamma L}\,}}\)equivalent, but the converse statement is not true in general. For further details see [7, 11].
The set \(L_U\) is called \({{{\mathbb {F}}}_q}\)linear set of \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\)class r if r is the greatest integer such that there exist \({{{\mathbb {F}}}_q}\)subspaces \(U_1,U_2,\ldots ,U_r\) of \({{\mathbb {F}}}_{q^n}^2\) such that \(L_{U_i}= L_U\) for \(i \in \{1,2,\ldots ,r\}\) and \(U_i \not = \lambda U_j\) for any \(\lambda \in {{\mathbb {F}}}_{q^n}^*\) and distinct \(i,j \in \{1,2,\ldots ,r\}\). Furthermore, \(L_U\) is of \({{\,\mathrm{\Gamma L}\,}}\)class s if s is the greatest integer such that there exist \({{{\mathbb {F}}}_q}\)subspaces \(U_1,U_2,\ldots ,U_s\) of \({{\mathbb {F}}}_{q^n}^2\) with \(L_{U_i}=L_U\) for \(i \in \{1,2,\ldots ,s\}\), but \(U_i\) and \(U_j\) are not on the same \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\)orbit for \(i,j\in \{1,2,\ldots ,s\}\), \(i\ne j\). In particular, if \(s=1\), then \(L_U\) is called a simple \({{{\mathbb {F}}}_q}\)linear set.
The scattered qpolynomials arise from some \({{{\mathbb {F}}}_q}\)linear sets in \({{\,\mathrm{{PG}}\,}}(1,q^n)\). An \({{{\mathbb {F}}}_q}\)linear set of rank k and size \((q^k1)/(q1)\) in \({{\,\mathrm{{PG}}\,}}(1,q^n)\) is called scattered. A scattered \({{{\mathbb {F}}}_q}\)linear set of rank n is called maximum scattered linear set. As shown in [5], these are the linear sets of maximum size distinct from \({{\,\mathrm{{PG}}\,}}(1, q^n)\). If \(L_U\) is an \({{{\mathbb {F}}}_q}\)linear set of rank n of \({{\,\mathrm{{PG}}\,}}(1, q^n)\), it can always be assumed (up to a projectivity) that \(L_U\) does not contain the point \(\langle (0, 1) \rangle _{{{\mathbb {F}}}_{q^n}}\). Then, \(U = U_f = \{(x, f(x)): x \in {{\mathbb {F}}}_{q^n}\}\), for some qpolynomial f(x) over \({{\mathbb {F}}}_{q^n}\) and for the sake of simplicity, we will write \(L_f\) instead of \(L_{U_f}\) to denote the linear set defined by \(U_f\). Clearly, \(L_f\) is scattered if and only if f(x) is a scattered qpolynomial. The first examples of scattered polynomials were found by Blokhuis and Lavrauw in [5] and by Lunardon and Polverino in [20] and then generalized by Sheekey in [26]. Apart from these, very few examples are known. They are defined for \(n\le 8\) and are summarized in Sect. 3. In view of the results in [1, 2], stating that the only families of scattered qpolynomials defined for infinitely many n and satisfying certain additional assumptions are those of Blokhuis–Lavrauw and Lunardon–Polverino, it would seem that the scattered polynomials are quite rare.
As stated before, scattered polynomials attracted a lot of attention, especially because of their connection, established by Sheekey in [26, Section 5], with rank distance codes. These were introduced by Delsarte as qanalogs of the usual linear error correcting codes endowed with Hamming distance, [13]. Recently, there has been a resurgence of interest in them because of their applications to random linear network coding and cryptography, see [14, 27]. A rank distance code (or RDcode for short) \({{\mathcal {C}}}\) is a subset of the set of \(m \times n\) matrices \({{\mathbb {F}}}^{m \times n}_q\) over \({{{\mathbb {F}}}_q}\), the finite field of q elements with q a prime power, endowed with the distance function
for any \(A, B \in {{\mathbb {F}}}_q^{m \times n}\). The minimum distance of an RDcode \({{\mathcal {C}}}\), \({{\mathcal {C}}}\ge 2\), is defined as
A rank distance code of \({{\mathbb {F}}}_q^{m \times n }\) with minimum distance d has parameters (m, n, q; d). If \({{\mathcal {C}}}\) is an \({{\mathbb {F}}}_q\)linear subspace of \({{\mathbb {F}}}_q^{m \times n}\), then \({{\mathcal {C}}}\) is called \({{\mathbb {F}}}_q\)linear RDcode and its dimension \(\dim _{{{\mathbb {F}}}_q} {{\mathcal {C}}}\) is defined to be the dimension of \({{\mathcal {C}}}\) as a subspace over \({{\mathbb {F}}}_q\).
The Singletonlike bound [13] for an (m, n, q; d) RDcode \({{\mathcal {C}}}\) is
If the size of the code \({{\mathcal {C}}}\) meets this bound, then \({{\mathcal {C}}}\) is a called Maximum Rank Distance code, MRDcode for short. In this paper, only the case \(m=n\) is considered; that is, only codes whose code words are square matrices are taken into account. Note that if \(n = d\), then an MRDcode \({{\mathcal {C}}}\) consists of \(q^n\) invertible endomorphisms of \({{\mathbb {F}}}_{q^n}\); such \({{\mathcal {C}}}\) is called spread set of \({{\,\mathrm{End}\,}}_{{{{\mathbb {F}}}_q}} ({{\mathbb {F}}}_{q^n})\). In particular, if \({{\mathcal {C}}}\) is \({{{\mathbb {F}}}_q}\)linear, it is called a semifield spread set of \({{\,\mathrm{End}\,}}_{{{{\mathbb {F}}}_q}}({{\mathbb {F}}}_{q^n})\). These objects are related to semifields. For more details, see [15, 16].
The adjoint code of a rank code \({{\mathcal {C}}}\) is \({{\mathcal {C}}}^\top =\{C^t:C\in {{\mathcal {C}}}\}\), where \(C^t\) denotes the transpose of the matrix C. Two \({{{\mathbb {F}}}_q}\)linear codes \({{\mathcal {C}}}\) and \({{\mathcal {C}}}'\) are called equivalent if there exist \(P,Q \in {{\,\mathrm{{GL}}\,}}(n, q)\) and a field automorphism \(\sigma \) of \({{{\mathbb {F}}}_q}\) such that
Furthermore, \({{\mathcal {C}}}\) and \({{\mathcal {C}}}'\) are weakly equivalent if \({{\mathcal {C}}}\) is equivalent to \({{\mathcal {C}}}'\) or to \(({{\mathcal {C}}}')^\top \).
In general, it is difficult to decide whether two rank distance codes with the same parameters are equivalent or not. Useful tools to face this problem are the left and right idealizers, see [18, 22]. More precisely, the left and right idealizers \(L({{\mathcal {C}}})\) and \(R({{\mathcal {C}}})\) of an RDcode \({{\mathcal {C}}}\subseteq {{\mathbb {F}}}_q^{n \times n}\) are
respectively.
In this article a class of scattered linearized polynomials over \({{\mathbb {F}}}_{q^n}\) will be introduced. Later, the connections to maximum scattered linear sets of the projective line and MRDcodes that arise from these polynomials will be investigated. More precisely, in Theorem 2.4, it will be proved that the polynomial
is scattered for any odd q if t is even, and for \(q\equiv 1\pmod 4\) if t is odd. Some compositions of type \(\psi \circ \psi \circ \cdots \circ \psi (x)\) are scattered as well. For \(t=3\), \(\psi (x)\) is up to equivalence the polynomial dealt with in [4, 30].
This paper is organized as follows. In Sect. 2, the polynomials of type (3) are investigated. In Sect. 3, it is shown that this family of scattered polynomials provides maximum scattered linear sets that are not of pseudoregulus type for any even \(n \ge 6\). The related linear sets in \({{\,\mathrm{{PG}}\,}}(1,q^n)\) are proved to be \({{\,\mathrm{P\Gamma L}\,}}\)equivalent to no previously known linear set for \(n=8,10\).
In the last section, Sheekey’s connection with the MRDcodes is described. In Theorem 5.4 it is proved that the class (3) of linearized polynomials gives rise to maximum subsets of square matrices of any even order \(n \ge 6\) with minimum rank distance \(d=n1\). They are not equivalent to any previously known MRDcode.
A class of scattered qpolynomials
Throughout this paper, q denotes a power of a prime \(p\ne 2\), \(t \ge 3\), \(t\in {\mathbb {N}}\), and \(n=2t\). As usual, if \(\ell \) divides m,
denote the trace and the norm of \(x\in {{\mathbb {F}}}_{q^{m}}\) over \({{\mathbb {F}}}_{q^{\ell }}\). Consider the following qpolynomials in \({{\mathbb {F}}}_{q^n}[x]\):
In the following, the index n will usually be omitted: \(\alpha (x)=\alpha _n(x)\), \(\beta _n(x)=\beta (x)\). Note that \(\alpha (x)^{q^t}=\alpha (x)\), \(\beta (x)^{q^t}=\beta (x)\) for any \(x\in {{\mathbb {F}}}_{q^n}\).
Proposition 2.1
Let \({{\mathbb {F}}}_{q^n}\) be the finite field of order \(q^n\), \(n=2t\), and consider
Then,

(i)
\(\ker \alpha = \text {im}\beta =W\);

(ii)
\(\ker \beta =\text {im}\alpha ={{{\mathbb {F}}}_{q^t}}\);

(iii)
the additive group of \({{\mathbb {F}}}_{q^n}\) is direct sum of \({{{\mathbb {F}}}_{q^t}}\) and W;

(iv)
the product of two elements in W is in \({{{\mathbb {F}}}_{q^t}}\);

(v)
For any \(k\in {\mathbb {N}}\), \(q\equiv 1 \pmod 4\), and \(x\in {{\mathbb {F}}}_{q^n}\), \(x^{q^k+1}=1\) implies \(x\not \in W\).
Proof
Only the last statement is nontrivial. Let \(\omega \) be a generator of the multiplicative group \({{\mathbb {F}}}_{q^n}^*\). Then,
In order to be a \((q^k+1)\)th root of the unity, the generic element of W above must satisfy
whence an integer m exists satisfying
Therefore, 4 must divide \(q^k+1\). This implies that \(q \equiv 1\) \(\pmod 4\), a contradiction. \(\square \)
Remark 2.2
If t and k are odd and \(q\equiv 3 \pmod 4\), then \((q^t1)/2\) is odd and \((q^k+1)/4\) is an integer. This implies that (4) has a solution with \(2\ell +1=(q^t1)/2\) and \(m=(q^k+1)/4\). Therefore, an \(x\in W\) exists such that \(x^{q^k+1}=1\).
Now consider the qpolynomial
The index n will be often omitted in what follows.
For any positive integer,
will denote the kfold composition of \(\psi \) with itself. The polynomials \(\alpha ^{(k)}(x)\) and \(\beta ^{(k)}(x)\) are defined analogously. All qpolynomials will be considered here as maps; that is, they are reduced modulo \(x^{q^n}x\).
Proposition 2.3
The map \(\psi (x)\) has order n.
Proof
First, \(\alpha ^{(k)}(x)=\alpha (x)^{q^{(k1)(t1)}}\) and \(\beta ^{(k)}(x)=\beta (x)^{q^{k1}}\) for any \(k\in {\mathbb {N}}\), whence
Note that for any \(k \in {\mathbb {N}}\) and \(x\in {{\mathbb {F}}}_{q^n}\), \(\alpha ^{(k)}(x) \in {{{\mathbb {F}}}_{q^t}}\) and \(\beta ^{(k)}(x) \in W\). Next, we prove by induction that for any \(k \in {\mathbb {N}}\)
The induction base step (\(k=1\)) is clear by the definition of \(\psi (x)\). Now suppose that the property in (7) holds for \(k1\); then,
By Proposition 2.1 (i) (ii), we get (7), that in view of (6) implies \(\psi ^{(n)}(x)=x\). \(\square \)
As a consequence of (7),
for any \(0\le k\le t\); (9) can be extended to any \(k\in {\mathbb {N}}\) by considering modulo 2t the exponents of q.
Theorem 2.4
Let q be an odd prime power, \(t\ge 3\), and
For \(1\le k<2t\), the kfold composition \(\psi ^{(k)}(x)\) is scattered if and only if one of the following holds: (i) t is even and \(\gcd (k,t)=1\), or (ii) t is odd, \(\gcd (k,2t)=1\), and \(q\equiv 1\pmod 4\).
Proof
The first part of the proof is devoted to prove that any of the conditions (i) and (ii) implies that \(\psi ^{(k)}(x)\) is scattered. It is straightforward to see that the condition for \(\psi ^{(k)}(x)\) to be scattered can be rephrased in this way: if
then \(\rho \in {{{\mathbb {F}}}_q}\). By Lemma 2.1 (iii), for any \(\rho \in {{\mathbb {F}}}_{q^n}\) there are precisely two elements \(h=h_\rho \in {{{\mathbb {F}}}_{q^t}}\) and \(r=r_\rho \in W\) such that \(\rho =h+r\). Condition (10) is equivalent to
with \(x=x_1+x_2\), where \(x_1\in {{\mathbb {F}}}_{q^t}\) and \(x_2\) belongs to W.
By Proposition 2.1 \((i)\ (ii)\ (iv)\), the expression in (11) is reduced to
Now, by expanding (12),
Since W and \({{\mathbb {F}}}_{q^t}\) meet in the trivial space, one obtains
Raising the first equation to its \(q^k\)power,
This can be seen as a linear system in the unknowns r and \(r^{q^k}\). In the following, it will be assumed that \(r\ne 0\), leading to a contradiction.

Case 1. \(x_1=0\): the linear system in (14) is reduced to
$$\begin{aligned} {\left\{ \begin{array}{ll} r^{q^k}x^{q^{2k}}_2rx_2=0\\ (hh^{q^k})x^{q^k}_2=0 \end{array}\right. } \end{aligned}$$(15)Since \(x_2 \ne 0\), the first equation in (15) gives \(r^{q^k1}=(x_2^{1})^{q^{2k}1}\). Then, there exists \(\mu \in {{\mathbb {F}}}_{q^k}^*\cap {{\mathbb {F}}}_{q^n}={{\mathbb {F}}}_q^*\) such that
$$\begin{aligned} r=\mu (x_2^{1})^{q^k+1}. \end{aligned}$$The righthand side of the last equation belongs to \({{\mathbb {F}}}_{q^t}^*\), that is a contradiction.

Case 2. \(x_2=0:\) as before, the linear system in (14) is reduced to
$$\begin{aligned} {\left\{ \begin{array}{ll} (hh^{q^k})x_1=0\\ r^{q^k}x^{q^k}_1rx^{q^{k(t1)}}_1=0 \end{array}\right. } \end{aligned}$$(16)Since \(x_1 \ne 0\), by the second equation in (16), the existence of a \(\lambda \in {{\mathbb {F}}}_q^*\) follows such that \(r=\lambda (x_1^{q^k})^{q^{k(t3)}+q^{k(t4)}+\ldots +q^k+1}\), implying \(r\in {{\mathbb {F}}}_{q^t}^*\), a contradiction.
Note that (again under the assumption \(r\ne 0\)) \(h\not \in {{{\mathbb {F}}}_q}\), since for \(h\in {{{\mathbb {F}}}_q}\) the same arguments as above lead to a contradiction.

Case 3. \(x_1\ne 0\ne x_2\). The first goal is to prove that the determinant \(D=x^{q^k}_1x_2x^{q^{k(t1)}}_1x^{q^{2k}}_2\) is not zero.
If t is even, D cannot be zero, otherwise the existence of a \(\lambda \in {{\mathbb {F}}}_{q^2}\) would follow such that \(x_2=\lambda (x_1^{q^k})^{q^{k(t4)}+\ldots + q^{2k}+1}\), implying \(x_2 \in {{{\mathbb {F}}}_{q^t}}\), a contradiction.
If t is odd, \(q\equiv 1\pmod 4\), and \(D=0\), a necessary condition for (14) to have a solution is
$$\begin{aligned} \det \begin{pmatrix} x_2^{q^{2k}}&{}(hh^{q^k})x_1\\ x_1^{q^k}&{}(hh^{q^k})x_2^{q^k}\end{pmatrix}=0, \end{aligned}$$leading to \((x_2^{q^k}/x_1)^{q^k+1}=1\). Since \(x_2^{q^k}/x_1\in W\), this contradicts Proposition 2.1 (v).
Therefore, \(D\ne 0\). Obtaining \(r^{q^k}\) and r from (14),
$$\begin{aligned}\begin{aligned} r^{q^k}=(hh^{q^k})\frac{x^{q^k+1}_2x^{q^{k(t1)}+1}_1}{x^{q^k}_1x_2x^{q^{k(t1)}}_1x^{q^{2k}}_2} \quad \text{ and }\\ r=(hh^{q^k})\frac{x_2^{q^{2k}+q^k}x^{q^k+1}_1}{x_1^{q^k}x_2x^{q^{k(t1)}}_1x^{q^{2k}}_2}. \end{aligned}\end{aligned}$$Therefore,
$$\begin{aligned} r^{q^k1}=\frac{x^{q^k+1}_2x^{q^{k(t1)}+1}_1}{x_2^{q^{2k}+q^k}x^{q^k+1}_1}. \end{aligned}$$Note that \(y=x_2^{q^{2k}+q^k}x^{q^k+1}_1\) belongs to \({{{\mathbb {F}}}_{q^t}}\), and \(r^{q^k1}=y^{q^{k(t1)}1}\). Then, there exists \(\lambda \in {{\mathbb {F}}}_{q}\) such that \(r=\lambda y^{q^{k(t2)}+q^{k(t3)}+\cdots +q^k+1}\), implying \(r \in {{{\mathbb {F}}}_{q^t}}\), a contradiction again.
Hence, the condition \(r\ne 0\) yields in all cases a contradiction. Taking into account (14), h must belong to \({{{\mathbb {F}}}_q}\), implying \(\rho \in {{{\mathbb {F}}}_q}\). This concludes the proof of the sufficiency.
If \(d=\gcd (k,t)\ne 1\), then \(\psi ^{(k)}(x)\) is a \(q^d\)polynomial; hence, it is not scattered as a qpolynomial. So, \(\gcd (k,t)=1\) is a necessary condition.
Assume k is even; then, it may be assumed that t is odd. An \(x\in {{\mathbb {F}}}_{q^2}^*\subseteq {{\mathbb {F}}}_{q^n}\) belongs to W if and only if \(x^{q1}=1\) which is an equation admitting \((q1)\) solutions. Then fix \(\mu \in W \cap {{\mathbb {F}}}_{q^2}^*\subseteq {{\mathbb {F}}}_{q^n}\) and \(x_2\in W{\setminus }\{0\}\) arbitrarily. A solution of (14) is \(x_1=h=0\), \(r=\mu (x_2^{1})^{q^k+1}\), and this implies that \(\psi ^{(k)}(x)\) is not scattered.
For odd t and k and \(q\equiv 3\pmod 4\), the qpolynomial \(\psi ^{(k)}(x)\) is not scattered. Indeed, taking \(x_1=1\), \(x_2\in W\) such that \(x_2^{q^k+1}=1\), the equations in (14) are equivalent for any \(h\in {{{\mathbb {F}}}_{q^t}}\). The images of the \({{{\mathbb {F}}}_q}\)linear maps \(r\in W\mapsto r^{q^k}x_2^{q^{2k}}rx_2\in {{\mathbb {F}}}_{q^t}\) and \(h\in {{\mathbb {F}}}_{q^t}\mapsto (hh^{q^k}) x_1\in {{\mathbb {F}}}_{q^t}\) both have \({{{\mathbb {F}}}_q}\)dimension at least \(t1\); this implies that their intersection is not trivial, and \(r\in W\), \(h\in {{\mathbb {F}}}_{q^t}\) exist such that \(r\ne 0\) and (14) is satisfied. \(\square \)
Remark 2.5
Note that for \(n=6\), \(2\psi ^{(5)}(x)\) is the polynomial described in [30], that for \(q\equiv 1\pmod 4\) and it is associated with the scattered \({{{\mathbb {F}}}_q}\)linear set \(L_h^{5,6}\subseteq {{\,\mathrm{{PG}}\,}}(1,q^6)\), \(h^2=1\) that will be described in Sect. 3. Furthermore, \(\psi ^{(5)}(x)\) and \(\psi (x)\) determine the same linear set, since \(\psi ^{(5)}(x)\) is the adjoint map of \(\psi (x)\) with respect to the bilinear form \({{\,\mathrm{Tr}\,}}_{q^6/q}(xy)\) (cf. [3, 7]).
On the equivalence issue for linear sets
By definition,
denotes the maximum scattered \({{{\mathbb {F}}}_q}\)linear set of \({{\,\mathrm{{PG}}\,}}(1,q^n)\) associated with \(\psi _n^{(k)}(x)\in {{\mathbb {F}}}_{q^n}[x]\), provided that the assumptions of Theorem 2.4 are satisfied. The related \({{{\mathbb {F}}}_q}\)vector subspace of \({{\mathbb {F}}}_{q^n}^2\) is
Since the collineation \((a,b)\in {{\mathbb {F}}}_{q^n}^2\mapsto (a^p,b^p)\in {{\mathbb {F}}}_{q^n}^2\) stabilizes \(U_{\psi _n^{(k)}}\), an \({{{\mathbb {F}}}_q}\)subspace of \({{\mathbb {F}}}_{q^n}^2\) is \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\)equivalent to \(U_{\psi _n^{(k)}}\) if and only if it is \({{\,\mathrm{{GL}}\,}}(2,q^n)\)equivalent to \(U_{\psi _n^{(k)}}\).
Proposition 3.1
Let \(t\ge 3\) and assume that \(\psi _n^{(k)}(x)\) and \(\psi _n^{(m)}(x)\) are scattered, \(1\le k,m<2t=n\). Then, the \({{{\mathbb {F}}}_q}\)subspaces \(U_{\psi _n^{(k)}}\) and \(U_{\psi _n^{(m)}}\) are equivalent under the action of \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\) if and only if \(k=m\) or \(k=nm\).
Proof
Since
\(U_{\psi _n^{(k)}}\) and \(U_{\psi _n^{(nk)}}\) are equivalent under the action of \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\). This allows to prove the necessity of the condition only for \(1\le k<m<t\).
Assume that \(\begin{pmatrix}a&{}b\\ c&{}d\end{pmatrix}\) is an invertible matrix in \({{\mathbb {F}}}_{q^{n}}^{2\times 2}\) such that for any \(x\in {{\mathbb {F}}}_{q^{n}}\), a \(z\in {{\mathbb {F}}}_{q^{n}}\) exists such that
This implies
for any \(x\in {{\mathbb {F}}}_{q^{n}}\). Decompose any \(x\in {{\mathbb {F}}}_{q^{n}}\) as a sum \(x=x_1+x_2\) with \(x_1\in {{{\mathbb {F}}}_{q^t}}\), \(x_2\in W\). The above equation splits in
Putting \(x_2=0\) in (18), one obtains that for any \(x_1\in {{{\mathbb {F}}}_{q^t}}\)
Similarly,
must hold for any \(x_2\in W\). After reducing modulo \(x^{q^t}x\) in (19) and modulo \(x^{q^t}+x\) in (20), four polynomials are obtained all whose coefficients must be zero.
If \(k+m\ne t\), the first identity in (19) implies \(a_1=b_1=c_1=d_1=0\), and the first of (20) implies \(a_2=b_2=c_2=d_2=0\), a contradiction.
Finally, assume \(k+m=t\). The second of (19) gives \(b_2=c_2=0\) and \(d_2=a_2^{q^{m}}\); the first of (20) implies \(d_2=a_2^{q^{tm}}\). As a result, \(a_2^{q^{2m}1}=1\); \(a_2\in {{\mathbb {F}}}_{q^{4m}}^*\cap {{\mathbb {F}}}_{q^{2t}}\). Since m and 2t are relatively prime, \(a_2\in {{\mathbb {F}}}_{q^4}{\setminus }{{\mathbb {F}}}_{q^2}\), whence \(t\equiv 2\pmod 4\). The first of (19) gives \(a_1=d_1=0\) and \(c_1=b_1^{q^{tm}}\); the second of (20) implies \(c_1=b_1^{q^m}\). As a result, \(b_1^{q^{2m}1}=1\); so, \(b_1\in {{\mathbb {F}}}_{q^{4}}\cap {{\mathbb {F}}}_{q^{t}}={{\mathbb {F}}}_{q^2}\) and this is a contradiction. \(\square \)
A question that remains open is whether \(L_{\psi _n^{(k)}}\) and \(L_{\psi _n^{(m)}}\) are \({{\,\mathrm{P\Gamma L}\,}}\)equivalent for \(1 \le k< m <t\).
In order to decide whether the linear sets \(L_{\psi _n^{(k)}}\) are new, they will be compared to the known maximum scattered linear sets in \({{\,\mathrm{{PG}}\,}}(1,q^n)\). The known nonequivalent (under the action of \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\)) maximum scattered subspaces of \({{\mathbb {F}}}^2_{q^n}\), i.e. subspaces defining maximum scattered linear sets, are listed below.

1.
\(U^{1,n}_{s}=\{(x,x^{q^s}): x \in {{\mathbb {F}}}_{q^n}\}, 1 \le s \le n1,\gcd (s,n)=1\) [5, 12],

2.
\(U^{2,n}_{s,\delta }=\{(x,\delta x^{q^s}+x^{q^{ns}}): x \in {{\mathbb {F}}}_{q^n}\}\), \(n\ge 4\), \({{\,\mathrm{N}\,}}_{q^n/q}(\delta ) \not \in \{0,1\}\), \(\gcd (s,n)=1\) [20, 23, 26],

3.
\(U_{s,\delta }^{3,n}=\{(x,\delta x^{q^s}+x^{q^{s+n/2}}):x \in {{\mathbb {F}}}_{q^n}\}, n \in \{6,8\}, \gcd (s,n/2)=1,{{\,\mathrm{N}\,}}_{q^n/q^{n/2}}(\delta ) \not \in \{0,1\}\), for some \(\delta \) and q [9],

4.
\(U_{\delta }^{4,6} = \{(x, x^q + x^{q^3}+ \delta x^{q^5}): x \in {{\mathbb {F}}}_{q^6} \}\), q odd and \(\delta ^2+\delta = 1\), see [10] for \(q \equiv 0, \pm 1 (\mathrm{mod }\, 5)\), and [24] for the remaining congruences of q,

5.
\(U_h^{5,6}=\{(x,h^{q1}x^qh^{q^21}x^{q^2}+x^{q^4}+x^{q^5}):x\in {{\mathbb {F}}}_{q^6}\}\), \(h\in {{\mathbb {F}}}_{q^6}\), \(h^{q^3+1}=1\), q odd [4, 30].
To make notation easier, \(L^{i,n}_{s}\), \(L^{i,n}_{s,\delta }\), \(L^{4,6}_{\delta }\), and \(L_h^{5,6}\) will denote the \({{{\mathbb {F}}}_q}\)linear sets defined by \(U^{i,n}_{s}\), \(U^{i,n}_{s,\delta }\), \(U^{4,6}_{\delta }\), and \(U_h^{5,6}\), respectively. Moreover, the sets \(L_s^{1,n}\) and \(L^{2,n}_{s,\delta }\) are called of pseudoregulus type and LPtype, respectively. As noted in the previous section, \(L_{\psi _6}=L^{5,6}_h\) where \(h^2=1\) for \(q\equiv 1\) \(\pmod 4\). In order to understand whether, under the assumptions of Theorem 2.4, the maximum scattered linear set \(L_{\psi _n^{(k)}}\) is of pseudoregulus type or of LP type, some preliminary results have to be retraced.
First of all, Lunardon and Polverino in [21, Theorem 1 and 2], (see also [19]) showed that every linear set is projection of a canonical subgeometry, where a canonical subgeometry in \({{\,\mathrm{{PG}}\,}}(m  1, q^n)\) is a linear set L of rank m such that \(\langle L\rangle = {{\,\mathrm{{PG}}\,}}(m  1, q^n)\). In particular, this result in the projective line case states that for each \({{{\mathbb {F}}}_q}\)linear set \(L_U\) of the projective line \(\Lambda = {{\,\mathrm{{PG}}\,}}(1, q^n)\) of rank n there exists a canonical subgeometry \(\Sigma = {{\,\mathrm{{PG}}\,}}(n1, q)\) of \(\Sigma ^* = {{\,\mathrm{{PG}}\,}}(n1, q^n)\), and an \((n  3)\)subspace \(\Gamma \) of \(\Sigma ^*\) with \(\Gamma \) disjoint from \(\Sigma \) and \(\Lambda \) such that
In [12], Csajbók and the second author gave a characterization of the linear sets of pseudoregulus type as a particular projection of a canonical subgeometry showing the following
Theorem 3.2
[12, Theorem 2.3] Let \(\Sigma \) be a canonical subgeometry of \({{\,\mathrm{{PG}}\,}}(n1, q^n)\), \(q > 2\), \(n \ge 3\). Assume that \(\Gamma \) and \(\Lambda \) are an \((n  3)\)subspace and a line of \({{\,\mathrm{{PG}}\,}}(n 1, q^n)\), respectively, such that \(\Gamma \cap \Sigma \not = \emptyset \ne \Gamma \cap \Lambda \). Then, the following assertions are equivalent:

(i)
the set \(\text {p}_{\Gamma ,\Lambda }(\Sigma )\) is a scattered \({{{\mathbb {F}}}_q}\)linear set of pseudoregulus type;

(ii)
there exists a generator \(\sigma \) of the subgroup \({{\,\mathrm{P\Gamma L}\,}}(n,q^n)\) fixing \(\Sigma \) pointwise and such that \(\dim (\Gamma \cap \Gamma ^\sigma )= n 4\);

(iii)
there exist a point \(P_\Gamma \) and a generator \(\sigma \) of the subgroup of \({{\,\mathrm{P\Gamma L}\,}}(n, q^n)\) fixing \(\Sigma \) pointwise, such that \(\langle P_\Gamma , P_{\Gamma }^{\sigma },\ldots ,P_\Gamma ^{\sigma ^{n1}} \rangle ={{\,\mathrm{{PG}}\,}}(n1,q^n)\), and
$$\begin{aligned} \Gamma =\langle P_\Gamma , P_\Gamma ^{\sigma },\ldots ,P_\Gamma ^{{\sigma }^{n3}} \rangle . \end{aligned}$$
Therefore, using the Theorem above, one obtains
Proposition 3.3
For any \(n\ge 6\) and k such that \(\gcd (n,k)=1\), the linear set \(L_{\psi _n^{(k)}}\) is not of pseudoregulus type.
Proof
Since the linear set \(L_{2\psi ^{(k)}_n}\) can be represented as the projection of the subgeometry \(\Sigma \) whose points are of type \(P_u=\langle (u,u^q,\ldots ,u^{q^{n1}})\rangle _{{{\mathbb {F}}}_{q^n}}\), \(u\ne 0\), from the vertex \(\Gamma _k\) of equations \(x_0=x_k+x_{tk}x_{t+k}+x_{nk}=0\) onto the line \(\ell \) of equations \(x_1=x_2=\ldots =x_{nk1}=x_{nk+1}=\ldots =x_{n1}=0\). For, the hyperplane of \({{\,\mathrm{{PG}}\,}}(n1,q^n)\) joining \(\Gamma _k\) and \(P_u\) has equations
Such hyperplane meets \(\ell \) in the point all whose coordinates are zero except \(x_0=u\), \(x_{nk}=2\psi _n^{(k)}(u)\). Let
then \(\sigma \) is a generator of the subgroup of P\(\Gamma \)L(n, q) fixing \(\Sigma \) pointwise. Since the dimension of \(\Gamma _k\cap \Gamma _k^{\sigma ^m}\) is less than \(n4\) for any \(m=1,\ldots ,n1\), \(L_{\psi _n^{(k)}}\) is not of pseudoregulus type by Theorem 3.2. \(\square \)
In [30], the intersection number of an \((n3)\)subspace \(\Gamma \) of \({{\,\mathrm{{PG}}\,}}(n1,q^n)\) with respect to a collineation \(\sigma \) fixing pointwise a qorder subgeometry \(\Sigma \) such that \(\Sigma \cap \Gamma =\emptyset \) has been defined as
By means of this notion and since the linear set \(L^{2,n}_{s,\delta }\) has \({{\,\mathrm{\Gamma L}\,}}\)class at most 2 for \(n \in \{5, 6, 8\}\) (see [8] and [10]), Zullo and the second author gave a characterization in term of projection for linear sets of LPtype. More precisely,
Theorem 3.4
[30, Theorem 3.5] Let L be a maximum scattered linear set in \(\Lambda = PG(1,q^n)\) with \(n \le 6\) or \(n = 8\). Then, L is a linear set of LPtype if and only if for each \((n3)\)subspace \(\Gamma \) of \({{\,\mathrm{{PG}}\,}}(n1,q^n)\) such that \(L=\text {p}_{\Gamma ,\Lambda (\Sigma )}\), the following holds:

(i)
there exists a generator \(\sigma \) of the subgroup of \({{\,\mathrm{P\Gamma L}\,}}(n, q^n)\) fixing \(\Sigma \) pointwise, such that \({{\,\mathrm{intn}\,}}_{\sigma }(\Gamma ) = 2\);

(ii)
there exist a unique point P and some point Q of \({{\,\mathrm{{PG}}\,}}(n 1, q^n)\) such that
$$\begin{aligned} \Gamma =\langle P, P^{\sigma },\ldots ,P^{\sigma ^{n4}},Q \rangle , \end{aligned}$$and the line \(\langle P^{\sigma ^{n1}},P^{\sigma ^{n3}}\rangle \) meets \(\Gamma \).
In [30, Section 5], exploiting the Theorem above, it has been shown that \(L_{\psi _6}\) is not equivalent to a linear set of LPtype. The following proposition involves similar arguments. Clearly, by Proposition 3.1, hereafter one may suppose \(k<t\).
Proposition 3.5
The linear set \(L_{\psi _8^{(k)}}\) is not of LPtype for \(k=1,3\).
Proof
The result will be showed only for \(k=1\). Similar considerations lead to the same result also for \(k=3\). Then, as before, the linear set \(L_{\psi _8^{(1)}}\) can be represented as the projection of the subgeometry \(\Sigma \) whose points are of type \(\langle (u,u^q,\ldots ,u^{q^{7}})\rangle _{{{\mathbb {F}}}_{q^8}}\), \(u\ne 0\), from the vertex \(\Gamma \) of equations \(x_0=x_1+x_{3}x_{5}+x_{7}=0\) onto the line \(x_1=x_2=\ldots =x_{6}=0\). Let \(\sigma \in {{\,\mathrm{P\Gamma L}\,}}(8,q^8)\) be defined as
The collineations \(\sigma \), \(\sigma ^3\), \(\sigma ^5\) and \(\sigma ^7\) are the only generators of the subgroup of \({{\,\mathrm{P\Gamma L}\,}}(8,q^8)\) fixing pointwise the subgeometry \(\Sigma \). Consider the subspaces
By direct computation, \(\dim (\Gamma \cap \Gamma ^{\sigma })=3\) and, since q is odd, \(\dim (\Gamma \cap \Gamma ^{\sigma } \cap \Gamma ^{\sigma ^2})=1\).
Furthermore, since \(\Gamma \cap \Gamma ^{\sigma ^7}=(\Gamma \cap \Gamma ^{\sigma })^{\sigma ^7}\) and \(\Gamma \cap \Gamma ^{\sigma ^7} \cap \Gamma ^{(\sigma ^7)^2}=(\Gamma \cap \Gamma ^\sigma \cap \Gamma ^{\sigma ^2})^{\sigma ^6}\), we have \(\dim (\Gamma \cap \Gamma ^{\sigma ^7})=3\) and \(\dim (\Gamma \cap \Gamma ^{\sigma ^7} \cap \Gamma ^{(\sigma ^7)^2})=1\). Hence,
A similar argument can be applied also for \(\sigma ^3\) and \(\sigma ^5\). As a consequence, the necessary condition stated in Theorem 3.4 for a linear set in \({{\,\mathrm{{PG}}\,}}(1,q^8)\) to be of LPtype is not satisfied by \(L_{\psi _8^{(1)}}\). \(\square \)
In [9], the scattered subspace \( U^{3,n}_{s,\delta }\) of \({{\mathbb {F}}}^2_{q^n}\) is exhibited for \(n \in \{6,8\}\), s coprime to n and under some conditions on \(\delta \) and q.
Moreover, according to [9, Section 5], \(U^{3,n}_{s,\delta }\) is \({{\,\mathrm{{GL}}\,}}(2, q^n)\)equivalent to \(U^{3,n}_{ns,\delta ^{q^{ns}}}\) and to \(U^{3,n}_{s+n/2,\delta ^{1}}\); thus, it is enough to take into account the linear sets \(L^{3,n}_{s,\delta }\) with \(s < n/4\), \(\gcd (s, n/2) = 1\) and hence only with \(s = 1\) for \(n = 6, 8\). Finally, the authors in [10, Proposition 4.1 and 4.2] showed that the \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\)class of \(L^{3,n}_{1,\delta }\) is two and \(L^{3,n}_{1,\delta }\) is a simple linear set.
Proposition 3.6
The linear set \(L_{\psi _8^{(k)}}\), \(k=1,3\), is not \({{\,\mathrm{P\Gamma L}\,}}\)equivalent to \(L^{3,8}_{s,\delta }\) for any s.
Proof
By the results in [9, 10] quoted above, the linear set \(L_{\psi _8^{(1)}}\) is \({{\,\mathrm{P\Gamma L}\,}}\)equivalent to some \(L^{3,8}_{s,\delta }\) if and only if
is \({{\,\mathrm{\Gamma L}\,}}\)equivalent to \(U^{3,8}_{1,\delta }\). Then suppose that there exist an invertible matrix \(\begin{pmatrix} a &{} b \\ c &{} d \end{pmatrix}\) such that for each \(x \in {{\mathbb {F}}}_{q^8}\), there exists \(z \in {{\mathbb {F}}}_{q^8}\) satisfying
Equivalently, for each \(x \in {{\mathbb {F}}}_{q^8}\),
This is a polynomial identity in x that implies
whence, since \(\delta \ne 0\), \(a=c=d=0\): a contradiction. By applying the argument above for \(U_{2\psi _8^{(3)}}\), taking into account (9),
As before, this polynomial identity in x implies
whence, since \(\delta \ne 0\), \(a=c=d=0\), a contradiction again. \(\square \)
\({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\) and \({{\,\mathrm{\Gamma L}\,}}\)class of \(L_{\psi _n^{(k)}}\) for some values of n and k
Now, similarly to what has been done in [7], the \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\)class and the \({{\,\mathrm{\Gamma L}\,}}\)class of the maximum scattered \({{{\mathbb {F}}}_q}\)linear set \(L_{\psi _n^{(k)}}\) for small values of n and k will be determined. For the sake of completeness, the following preliminary results will be recalled.
Proposition 4.1
[10, Proposition 2.3] Let f(x) and g(x) be two qpolynomials over \({{\mathbb {F}}}_{q^n}\). Then, \(L_f \subseteq L_g\) if and only if
where \(F(Y ) = f(x)Y g(Y )x\) (cf. (1)). In particular, if \(\deg (\det D_{F(Y )}(x))< q^n\), then \(L_f \subseteq L_g\) if and only if \(\det D_{F(Y )} (x)\) is the zero polynomial.
Lemma 4.2
[7, Lemma 3.6] Let \(f(x) =\sum _{i=0}^{n1}a_i x^{q^i}\) and \(g(x) =\sum _{i=0}^{n1}b_i x^{q^i}\) be two qpolynomials over \({{\mathbb {F}}}_{q^n}\) such that \(L_f = L_g\). Then,
for \(k = 1, 2, \ldots ,n1\), it holds that
for \(k = 2, 3, \ldots , n  1\), it holds that
Therefore, the following results can be shown.
Proposition 4.3
Let \(q\equiv 1\pmod 4\). The \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\)class of \(L_{\psi _{6}}\) is two. Moreover, \(L_{\psi _{6}}\) is a simple linear set.
Proof
Since \(\psi _{6}(x)\) and \(\psi _6^{(5)}(x)\) define the same linear set, we know that \(L_{2\psi _6}=L_{2\psi ^{(5)}_{6}}\). Suppose \(L_\varphi =L_{2\psi _6}\) for some \(\varphi (x)=\sum ^5_{i=0}a_{i}x^{q^i} \in {{\mathbb {F}}}_{q^6}[x]\). We show that there exists \(\lambda \in {{\mathbb {F}}}^*_{q^6}\) such that either \(\lambda U_\varphi =U_{2\psi _{6}}\) or \(\lambda U_{\varphi }=U_{2\psi ^{(5)}_{6}}\).
By (24), (25) and (26) in Lemma 4.2, one obtains that
By Proposition 4.1, the Dickson matrix associated with the qpolynomial
has determinant \(D_{F(Y)}(x)\) equal to zero for each \(x \in {{\mathbb {F}}}_{q^6}\), where, by (27),
Direct computation shows that
where \(Q_{a_1,a_2}(x)\) is a polynomial in \({{\mathbb {F}}}_{q^6}[x]\) whose coefficients are polynomials in \(a_1\) and \(a_2\).
By a straightforward estimate, we note that the \(\deg (Q_{a_1,a_2}(x))\) is at most \(4q^5+2q^4\). Since \(q \ge 5\), \(\deg (Q_{a_1,a_2}(x))\) is less than \(q^6\). Therefore, \(Q_{a_1,a_2}(x)\) is the null polynomial. Consider the coefficient
of the term \(x^{q^3 + 2 q^4 + 3 q^5}\) of \(Q_{a_1,a_2}(x)\), it is zero if and only if either \(a_2=a^{q+1}_1\) or \(a_2=a^{q+1}_1\). In both cases, since up to the sign the coefficient of the term \(x^{ q + q^2 + q^4 + 3 q^5}\) is \(a_1^{1 + q + q^2 + 2 q^3 + 2 q^4}({{\,\mathrm{N}\,}}_{q^6/q}(a_1)1)^2\) and it vanishes, we get \({{\,\mathrm{N}\,}}_{q^6/q}(a_1)=1\). Therefore, putting \(a_1=\lambda ^{q1}\), we obtain \(\lambda U_{\varphi }=U_{2\psi _6}\) if \(a_2=a^{q+1}_1\) and \(\lambda U_{\varphi }=U_{2\psi ^{(5)}_{6}}\) if \(a_2=a^{q+1}_1\). Hence, the \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\)class of \(L_{\psi _{6}}\) is two and, by Proposition 3.1, it is simple. \(\square \)
Proposition 4.4
The \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\)class of \(L_{\psi ^{(k)}_{8}}\), \(k=1,3\), is two. Moreover, \(L_{\psi ^{(k)}_{8}}\) is a simple linear set.
Proof
First, we prove the statement for \(k=1\). Since \(\psi _{8}(x)\) and \(\psi _8^{(7)}(x)\) define the same linear set, we know \(L_{2\psi _{8}}=L_{2\psi ^{(7)}_{8}}\). Suppose \(L_\varphi =L_{2\psi _8(x)}\) for some \(\varphi (x)=\sum ^7_{i=0}a_{i}x^{q^i} \in {{\mathbb {F}}}_{q^8}[x]\). We show that there exists \(\lambda \in {{\mathbb {F}}}^*_{q^8}\) such that either \(\lambda U_{\varphi }=U_{2\psi _{8}}\) or \(\lambda U_{\varphi }=U_{2\psi ^{(7)}_{8}}\).
By (24), (25) and (26) in Lemma 4.2, one obtains that
By Proposition 4.1, the Dickson matrix associated with the qpolynomial
has zero determinant \(D_{F(Y)}(x)\) for each \(x \in {{\mathbb {F}}}_{q^8}\), where, by (30),
Direct computation shows that
where \(Q_{a_1,a_3}(x)\) is a polynomial in \({{\mathbb {F}}}_{q^8}[x]\) whose coefficients are polynomials in \(a_1\) and \(a_3\). By a straightforward estimate, we note that the \(\deg (Q_{a_1,a_3}(x))\) is at most \(4(q^6+q^7)\).

Case 1, \(q \ge 5\). In this case, \(4(q^6+q^7)\) is less than \(q^8\). Therefore, \(D_{F(Y)}(x)\) is the null polynomial. Consider then the coefficient \(x^{q^4 + q^5 + 3 q^6 + 3 q^7}\) of \(Q_{a_1,a_2}(x)\), it is zero if and only if either \(a_3=a^{q^2+q+1}_1\) or \(a_3=a^{q^2+q+1}_1\).
In both cases, then, since up to the sign the coefficient
$$\begin{aligned} a_1^{2 + q^3 + 2 q^4 + 2 q^5 + 3 q^6 + 4 q^7}({{\,\mathrm{N}\,}}_{q^8/q}(a_1)1)^2 \end{aligned}$$of term \(x^{3 + 3 q + q^2 + q^5}\) is zero, \({{\,\mathrm{N}\,}}_{q^8/q}(a_1)=1\) follows.
Therefore, putting \(a_1=\lambda ^{q1}\), we obtain \(\lambda U_{\varphi }=U_{2\psi _8}\) if \(a_3=a^{q^2+q+1}_1\) and \(\lambda U_{\varphi }=U_{2\psi ^{(7)}_{8}}\) if \(a_3=a^{q^2+q+1}_1\).

Case \(q=3\). Reducing the polynomial \(Q_{a_1,a_3}(x)\) in (29) modulo \((x^{q^8}x)\), then one gets that the coefficient of \(x^{48}\) is \(a_1^{5480} a_3^{4248}  a_1^{5454} a_3^{4250}\). Then, either \(a_3=a_1^{q^2+q+1}\) or \(a_3=a_1^{q^2+q+1}\). In both cases, since \(Q_{a_1,a_2}(x)\) (\(\mathrm{mod }\, x^{q^8}x\)) has to be the null polynomial, up to sign the coefficient of term \(x^{2439}\) is \(a^{2860}({{\,\mathrm{N}\,}}_{q^8}(a_1)1)^2\), whence \({{\,\mathrm{N}\,}}_{q^8/q}(a_1)=1\). Therefore, putting \(a_1=\lambda ^{q1}\), we obtain \(\lambda U_{\varphi }=U_{2\psi _8}\) if \(a_3=a^{q^2+q+1}_1\) and \(\lambda U_{\varphi }=U_{2\psi ^{(7)}_{8}}\) if \(a_3=a^{q^2+q+1}_1\).
The computations for \(k=3\) are similar and we omit to report them. Hence, the \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\)class of \(L_{\psi ^{(k)}_{8}}\) is two for \(k=1,3\) and, by Proposition 3.1, such linear set is simple. \(\square \)
Corollary 4.5
The linear sets \(L_{\psi _{8}}\) and \(L_{\psi ^{(3)}_{8}}\) are not \({{\,\mathrm{P\Gamma L}\,}}\)equivalent.
Proposition 4.6
Let \(q\equiv 1\pmod 4\). The \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\)class of \(L_{\psi _{10}}\) is two. Moreover, \(L_{\psi _{10}}\) is a simple linear set.
Proof
Like in the previous propositions, (24), (25) and (26) in 4.2 imply that if \(L_\varphi =L_{2\psi _{10}(x)}\) for some \(\varphi (x)=\sum ^9_{i=0}a_{i}x^{q^i} \in {{\mathbb {F}}}_{q^{10}}[x]\), then
and \(a_9=a_1^{q^9}\), \(a_6=a_4^{q^6}\). The determinant \(D_{F(Y)}(x)\) of the Dickson matrix associated with \(\varphi (x)Y(Y^q+Y^{q^4}Y^{q^6}+Y^{q^9})x\) has degree at most \(4q^9+4q^8+2q^7< q^{10}\), so it vanishes. The coefficient of \(x^{3+3q+2q^2+q^3+q^4}\) in \(D_{F(Y)}(x)\) is
for some \(w_1,w_2\in {\mathbb {Z}}\), implying \(a_4=\pm a_1^{1+q+q^2+q^3}\). In both cases, by substituting such expressions of \(a_4\) in \(D_{F(Y)}(x)\), the coefficient of \(x^{q^3 + 3q^7 + 3q^8 + 3q^9}\) is
for some \(w\in {\mathbb {Z}}\), whence \({{\,\mathrm{N}\,}}_{q^{10}/q}(a_1)=1\). The proof can now be completed as in Propositions 4.3 and 4.4. \(\square \)
Corollary 4.7
The linear set \(L_{\psi _{10}}\) is a new maximum scattered \({{{\mathbb {F}}}_q}\)linear set in \({{\,\mathrm{{PG}}\,}}(1,q^{10})\) (\(q\equiv 1\pmod 4\)).
Proof
Since \(L_{\psi _{10}}\) is a simple linear set, it is enough to check that \(U_{\psi _{10}}\) does not belong to the \({{\,\mathrm{\Gamma L}\,}}\)orbit of some \(U_{s,\delta }^{2,10}\). This will be proved in Proposition 5.3 in a more general result. \(\square \)
Remark 4.8
For \(n=10\) and \(k=3\), the equations in Lemma 4.2 do not imply that six coefficients of \(\varphi (x)\) are equal to zero, like in (33). This adds complexity to the computations.
It is not known to the authors of this paper whether \(L_{\psi _n^{(k)}}\) is a new linear set for \(n>10\) and \(\gcd (n,k)=1\) or \(n=10\) and \(k=3\). Indeed, it would be necessary to show that \(L_{\psi ^{(k)}_{n}}\) is not a linear set of LPtype. Furthermore, the techniques used so far do not seem to be within easy reach when solving the issue of \({\mathcal {Z}}({{\,\mathrm{\Gamma L}\,}})\) and \({{\,\mathrm{\Gamma L}\,}}\)class of \(L_{\psi _n^{(k)}}\) for \(n>10\) and \(\gcd (n,k)=1\) or \(n=10\) and \(k=3\) .
The following result describes the intersection of \(L_{\psi _n^{(k)}}\) with a special Baer subline.
Proposition 4.9
Assume that \(\psi _n^{(k)}\) is a scattered qpolynomial, \(1\le k<t\). Let \(\Sigma \cong {{\,\mathrm{{PG}}\,}}(1,q^t)\) be the subline of \({{\,\mathrm{{PG}}\,}}(1,q^n)\) consisting of the points represented by nonzero pairs in \({{\mathbb {F}}}_{q^t}^2\). Then, \(\Sigma \cap L_{\psi _n^{(k)}}\) is partitioned into two \({{{\mathbb {F}}}_q}\)linear sets of pseudoregulus type of \({{\,\mathrm{{PG}}\,}}(1,q^t)\).
Proof
The points of an \({{{\mathbb {F}}}_q}\)linear set of pseudoregulus type contained in \(L_{\psi _n^{(k)}}\) are of type \(\langle (h,h^{q^{tk}})\rangle _{{{\mathbb {F}}}_{q^n}}\) for \(h\in {{\mathbb {F}}}_{q^t}^*\). Let \(\xi \in {{{\mathbb {F}}}_{q^t}}\) be such that \({{\,\mathrm{N}\,}}_{q^t/q}(\xi )=1\). The map \(\langle (a,b) \rangle _{{{\mathbb {F}}}_{q^n}} \mapsto \langle (a,\xi b) \rangle _{{{\mathbb {F}}}_{q^n}}\) induces a projectivity of \(\Sigma \) mapping any of the \((q^t1)/(q1)\) points of type \(\langle (r,r^{q^k})\rangle _{{{\mathbb {F}}}_{q^n}}\), \(r\in W{\setminus }\{0\}\) in a point having nonhomogeneous coordinate, say \(\eta _r\), satisfying \({{\,\mathrm{N}\,}}_{q^t/q}(\eta _r)=1\). Therefore, \(M=\{\langle (r,r^{q^k})\rangle _{{{\mathbb {F}}}_{q^n}}:r\in W{\setminus }\{0\}\}\) is a further linear set of pseudoregulus type contained in \(\Sigma \).
Next, let \(P=\langle (u,v)\rangle _{{{\mathbb {F}}}_{q^n}}\) be a point in \(\Sigma \), with \(u,v \in {{{\mathbb {F}}}_{q^t}}\). Then, P belongs to \(L_{\psi _n^{(k)}}\) if and only if there exists \(\lambda , x \in {{\mathbb {F}}}_{q^n}^*\) such that \(x=\lambda u\) and \(\psi ^{(k)}(x)=\lambda v\). This is equivalent to
whence \(\psi ^{(k)}(x)/x \in {{{\mathbb {F}}}_{q^t}}\). Equivalently,
that can be reformulated in
Clearly, the equation is satisfied by all x either in \({{{\mathbb {F}}}_{q^t}}\) or in W. Now suppose that \(x \in {{\mathbb {F}}}_{q^n}{\setminus } ({{{\mathbb {F}}}_{q^t}}\cup W)\). Then, there exist \(x_1 \in {{{\mathbb {F}}}_{q^t}}\) and \(x_2 \in W\), both nonzero, such that \(x=x_1+x_2\). Next, (34) implies
This is equivalent to \(x_2^{q^k1}=x_1^{q^{k(t1)}1}\); therefore, there exists \(\mu \in {{{\mathbb {F}}}_q}\) such that \(x_2=\mu x_1^{q^{k(t2)}+\ldots +1}\), a contradiction. \(\square \)
New MRDcodes
As recalled before, in [26, Section 5] Sheekey explicated a link between maximum scattered \({{{\mathbb {F}}}_q}\)linear sets of \({{\,\mathrm{{PG}}\,}}(1, q^n)\) and \({{{\mathbb {F}}}_q}\)linear MRDcodes with minimum distance \(d=n1\). We briefly describe such relationship. After fixing an \({{{\mathbb {F}}}_q}\)basis for \({{\mathbb {F}}}_{q^n}\), we can define an isomorphism between the rings \({{\,\mathrm{End}\,}}_{{{{\mathbb {F}}}_q}}({{\mathbb {F}}}_{q^n})\) and \({{{\mathbb {F}}}_q}^{n \times n}\) and then any RDcode can be seen as a subset of linearized polynomials over \({{\mathbb {F}}}_{q^n}\). Next, let \(U_f = \{(x, f(x)): x \in {{\mathbb {F}}}_{q^n}\}\) be an \({{{\mathbb {F}}}_q}\)subspace of \({{\mathbb {F}}}_{q^n}\times {{\mathbb {F}}}_{q^n}\), where f(x) is a qpolynomial over \({{\mathbb {F}}}_{q^n}\). The set
corresponds to a subset of square matrices of order n over \({{{\mathbb {F}}}_q}\) and hence to a rank distance code. In particular, the following result holds:
Theorem 5.1
[26] Let f(x) be a linearized polynomial with \(\deg _q(f) \le n1\). Then \({{\mathcal {C}}}_f\) is an \({{{\mathbb {F}}}_q}\)linear MRDcode with parameters \((n, n, q; n  1)\) if and only if \(U_f\) is a maximum scattered \({{{\mathbb {F}}}_q}\)subspace of \({{\mathbb {F}}}_{q^n}\times {{\mathbb {F}}}_{q^n}\), i.e., f is a scattered qpolynomial.
Moreover, in [9], the authors prove that \({{\mathcal {C}}}_f\) is \({{\mathbb {F}}}_{q^n}\)linear on the left, i.e. \(L({\mathcal {C}}_f ) \simeq {{\mathbb {F}}}_{q^n}\), and any MRDcode with parameters \((n, n, q; n  1)\) with left idealizer isomorphic to \({{\mathbb {F}}}_{q^n}\) is equivalent to \({{\mathcal {C}}}_f\), for some scattered qpolynomial f(x), in [9, Proposition 6.1]. Finally, we recall the following result concerning the equivalence.
Theorem 5.2
[26] If \({{\mathcal {C}}}_f\) and \({{\mathcal {C}}}_g\) are two MRDcodes arising from maximum scattered subspaces \(U_f\) and \(U_g\) of \({{\mathbb {F}}}_{q^n}\times {{\mathbb {F}}}_{q^n}\), then \({{\mathcal {C}}}_f\) and \({{\mathcal {C}}}_g\) are equivalent if and only if \(U_f\) and \(U_g\) are \({{\,\mathrm{\Gamma L}\,}}(2, q^n)\)equivalent.
Therefore, if \({{\mathcal {C}}}_f\) and \({{\mathcal {C}}}_g\) are equivalent, one gets that the associated linear sets \(L_f\) and \(L_g\) are \({{\,\mathrm{P\Gamma L}\,}}(2, q^n)\)equivalent. The converse statement does not hold in general, see [25, Section 4.1]. By the results in Sect. 3, we have that

\(U_{\psi _n^{(k)}}\) and \(U^{1,n}_s\),

\(U_{\psi _8^{(k)}}\) and \(U^{2,n}_{s,\delta }\),

\(U_{\psi _8^{(k)}}\) and \(U^{3,8}_{s,\delta }\)
give rise to pairwise inequivalent MRDcodes for any compatible k. Then, to conclude the equivalence issue, we show the following
Proposition 5.3
Let \(t\ge 3\) and assume that \(\psi _n^{(k)}(x)\) is scattered, \(1\le k<n\). Then the \({{{\mathbb {F}}}_q}\)subspaces \({U_{\psi _n^{(k)}}}\) and \(U^{2,n}_{s,\delta }\) are not equivalent under the action of \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\).
Proof
Suppose that \(U_{\psi _n^{(k)}}\) and \(U^{2,n}_{s,\delta }\) are \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\)equivalent. This is equivalent to suppose that \(U_{\psi _n^{(k)}}\) and \(U^{2,n}_{s,\delta }\) are \({{\,\mathrm{{GL}}\,}}(2,q^n)\)equivalent. Furthermore, since, by Proposition 3.1, \(U_{\psi _n^{(k)}}\) and \(U^{2,n}_{s,\delta }\) are \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\)equivalent if and only if \(U_{\psi _n^{(nk)}}\) and \(U^{2,n}_{s,\delta }\) are \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\)equivalent, we may suppose \(k <t\). Then, let \(\begin{pmatrix}a&{}b\\ c&{}d\end{pmatrix}\) be an invertible matrix in \({{\mathbb {F}}}_{q^{n}}^{2\times 2}\) such that for any \(x\in {{\mathbb {F}}}_{q^{n}}\) there exists \(z\in {{\mathbb {F}}}_{q^{n}}\) such that
In particular, one obtains that for any \(x\in {{{\mathbb {F}}}_{q^t}}\)
That is, any \(x\in {{{\mathbb {F}}}_{q^t}}\) is a root of the polynomial
 \(\bullet \):

Case 1: \(s<t\). Then, the polynomial in (36) becomes
$$\begin{aligned} cx+dx^{q^{tk}}\delta a^{q^s}x^{q^s}\delta b^{q^s}x^{q^{e_1}}a^{q^{ns}}x^{q^{ts}}b^{q^{ns}}x^{q^{e_2}}, \end{aligned}$$(37)where \(e_1\) and \(e_2\) are the remainders of the divisions of \(nk+s\) and \(nks\) by t, respectively, and this polynomial is the null one.
Call \(M_1\), \(M_2\), \(\ldots \), \(M_6\) the monomials in (37).

Case 1a. \(s=k\). Since k and t are relatively prime, the integers k, \(tk\) and \(e_2\) are distinct. Then, \(M_1\), \(M_4\) are of degree \(q^0\);
\(M_2\), \(M_5\) are of degree \(q^{tk}\);
\(M_3\) is of degree \(q^{k}\);
\(M_6\) is of degree \(q^{e_2}\).
This implies \(a=b=0\), a contradiction.

Case 1b. \(s=tk\). Since k and t are relatively prime, the integers k, \(e_1\) and \(tk\) are distinct. Then,
\(M_1\), \(M_6\) are of degree \(q^0\);
\(M_2\), \(M_3\) are of degree \(q^{tk}\);
\(M_4\) is of degree \(q^{e_1}\);
\(M_5\) is of degree \(q^{e_2}\).
This implies \(a=b=0\), a contradiction.

Case 1c. \(s \ne k\) and \(k+ s \ne t\). In this case, \(M_1\) is the unique monomial of degree \(q^0\), whence \(c=0\); \(M_1\) is the unique monomial of degree \(q^{tk}\), whence \(d=0\), a contradiction.
 \(\bullet \):

Case 2: \(s>t\). Then, one may suppose that \(s=t+r\) with \(r<t\). Then, the polynomial in (36) becomes
$$\begin{aligned} cx+dx^{q^{tk}}\delta a^{q^s}x^{q^r}\delta b^{q^s}x^{q^{d_1}}a^{q^{ns}}x^{q^{tr}}b^{q^{ns}}x^{q^{d_2}}, \end{aligned}$$(38)where \(d_1\) and \(d_2\) are the remainders of the divisions of \(nk+r\) and \(nkr\) by t, respectively, and this polynomial is the null one.
As before, call \(N_1\), \(N_2\), \(\ldots \), \(N_6\) the monomials in (38). Proceeding as in the previous case, a contradiction is obtained. \(\square \)
In view of Theorem 5.2, the following result summarizes Propositions 3.1, 3.3, 3.5, 3.6 and 5.3.
Theorem 5.4
Let \(t\ge 3\) and q odd if t is even, or \(q\equiv 1\pmod 4\) if t is odd. Furthermore, let \(1\le k<t\) be such that \(\gcd (k,2t)=1\). Then, the code \({{\mathcal {C}}}_{\psi _{2t}^{(k)}}\) (cf. (35) (9)) is an MRDcode with parameters \((2t,2t,q;2t1)\) not equivalent to any previously known MRDcode. The \(\varphi (2t)/2\)^{Footnote 1} codes obtained in this way are distinct up to equivalence.
Notes
 1.
Here, \(\varphi \) is Euler’s totient function.
References
 1.
Bartoli, D., Montanucci, M.: Towards the full classification of exceptional scattered polynomials. J. Combin. Theory Ser. A (accepted). arXiv:1905.11390
 2.
Bartoli, D., Zhou, Y.: Exceptional scattered polynomials. J. Algebra 509, 507–534 (2018)
 3.
Bartoli, D., Giulietti, M., Marino, G., Polverino, O.: Maximum scattered linear sets and complete caps in Galois spaces. Combinatorica 38, 255–278 (2018)
 4.
Bartoli, D., Zanella, C., Zullo, F.: A new family of maximum scattered linear sets in PG$(1, q^6)$. ARS Math. Contemp. 19, 125–145 (2020)
 5.
Blokhuis, A., Lavrauw, M.: Scattered spaces with respect to a spread in $\rm PG(n, q)$. Geom. Dedicata 81, 231–243 (2000)
 6.
Csajbók, B.: Scalar $q$subresultants and Dickson matrices. J. Algebra 547, 116–128 (2020)
 7.
Csajbók, B., Marino, G., Polverino, O.: Classes and equivalence of linear sets in $\rm PG(1, q^n)$. J. Combin. Theory Ser. A 157, 402–426 (2018)
 8.
Csajbók, B., Marino, G., Polverino, O.: A Carlitz type result for linearized polynomials. Ars Math. Contemp. 16(2), 585–608 (2019)
 9.
Csajbók, B., Marino, G., Polverino, O., Zanella, C.: A new family of MRDcodes. Linear Algebra Appl. 548, 203–220 (2018)
 10.
Csajbók, B., Marino, G., Zullo, F.: New maximum scattered linear sets of the projective line. Finite Fields Appl. 54, 133–150 (2018)
 11.
Csajbók, B., Zanella, C.: On the equivalence of linear sets. Des. Codes Cryptogr. 81, 269–281 (2016)
 12.
Csajbók, B., Zanella, C.: On scattered linear sets of pseudoregulus type in $\text{ PG }(1, q^t)$. Finite Fields Appl. 41, 34–54 (2016)
 13.
Delsarte, P.: Bilinear forms over the finite field, with applications to codig theory. J. Combin. Theory Ser. A 25, 226–241 (1978)
 14.
Koetter, R., Kschischang, F.R.: Coding for errors and erasures in random network coding. In: Proceedings of 2007 IEEE International Symposium on Information Theory (ISIT 2007), Nice, France, 24–29 June 2007, pp. 791–795
 15.
Lavrauw, M., Polverino, O.: Finite semifields and Galois geometry. In: De Beule, J., Storme, L. (eds.) Current Research Topics in Galois Geometry. NOVA Academic Publishers, Hauppauge (2011)
 16.
Lavrauw, M., Zanella, C.: Segre embeddings and finite semifields. Finite Fields Appl. 25, 8–18 (2014)
 17.
Lidl, R., Niederreiter, H.: Finite Fields, volume 20 of Encyclopedia of Mathematics and Its Applications, 2nd edn. Cambridge University Press, Cambridge (1997)
 18.
Liebhold, D., Nebe, G.: Automorphism groups of Gabidulinlike codes. Arch. Math. 107(4), 355–366 (2016)
 19.
Lunardon, G., Polito, P., Polverino, O.: A geometric characterisation of linear $k$blocking sets. J. Geom. 74, 120–122 (2002)
 20.
Lunardon, G., Polverino, O.: Blocking sets and derivable partial spreads. J. Algebraic Combin. 14, 49–56 (2001)
 21.
Lunardon, G., Polverino, O.: Translation ovoids of orthogonal polar spaces. Forum Math. 16, 663–669 (2004)
 22.
Lunardon, G., Trombetti, R., Zhou, Y.: On kernels and nuclei of rank metric codes. J. Algebraic Combin. 46, 313–340 (2017)
 23.
Lunardon, G., Trombetti, R., Zhou, Y.: Generalized twisted Gabidulin codes. J. Combin. Theory Ser. A 159, 79–106 (2018)
 24.
Marino, G., Montanucci, M., Zullo, F.: MRDcodes arising from the trinomial $x^q+x^{q^3}+cx^{q^5}\in {{\mathbb{F}}}_{q^6}[x]$. Linear Algebra Appl. 591, 99–114 (2020)
 25.
Polverino, O., Zullo, F.: Connections between scattered linear sets and MRDcodes. Bull. Inst. Combin. Appl. 89, 46–74 (2020)
 26.
Sheekey, J.: A new family of linear maximum rank distance codes. Adv. Math. Commun. 10, 475–488 (2016)
 27.
Silva, D., Kschischang, F.R., Koetter, R.: A rankmetric approach to error control in random network coding. IEEE Trans. Inform. Theory 54, 3951–3967 (2008)
 28.
Wu, B., Liu, Z.: Linearized polynomials over finite fields revisited. Finite Fields Appl. 22, 79–100 (2013)
 29.
Zanella, C.: A condition for scattered linearized polynomials involving Dickson matrices. J. Geom. 110, 50 (2019)
 30.
Zanella, C., Zullo, F.: Vertex properties of maximum scattered linear sets of PG$(1, q^n)$. Discrete Math. 343, 111800 (2020)
Funding
Open Access funding provided by Università degli Studi di Padova.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Longobardi, G., Zanella, C. Linear sets and MRDcodes arising from a class of scattered linearized polynomials. J Algebr Comb (2021). https://doi.org/10.1007/s10801020010119
Received:
Accepted:
Published:
Keywords
 Linearized polynomial
 Linear set
 Subgeometry
 Finite field
 Finite projective space
 Rank metric code
 MRDcode