---
title: Maximum Scattered Linear Sets in Finite Projective Spaces
url: https://www.emergentmind.com/topics/maximum-scattered-linear-sets
type: topic
---

# Maximum Scattered Linear Sets in Finite Projective Spaces

Maximum scattered linear sets are scattered \(\mathbb{F}_q\)-linear sets of highest possible rank in a projective space \(\mathrm{PG}(r-1,q^n)\). If \(U\) is an \(\mathbb{F}_q\)-subspace of dimension \(k\) of an \(r\)-dimensional \(\mathbb{F}_{q^n}\)-vector space \(V\), the associated linear set is \(L_U=\{(u)_{\mathbb{F}_{q^n}}:u\in U\setminus\{0\}\}\), its rank is \(\dim_{\mathbb{F}_q}U\), and it is scattered when every point has weight \(1\), equivalently when \(|L_U|=(q^k-1)/(q-1)\). In \(\mathrm{PG}(1,q^n)\) the maximum possible rank is \(n\), so a maximum scattered linear set has rank \(n\) and size \((q^n-1)/(q-1)\). These objects are central in finite geometry because they are tightly connected with MRD codes, finite semifields, blocking sets, translation structures, spreads, ovoids, and flocks [1701.06831], [2507.23409], [2411.11855].

## 1. Definitions and extremal bounds

Let \(\mathrm{PG}(r-1,q^n)\) be the projective space over \(\mathbb{F}_{q^n}\). If \(U\) is an \(\mathbb{F}_q\)-subspace of \(V\), the point weight of \(P=(v)_{\mathbb{F}_{q^n}}\) in \(L_U\) is
\[
\mathrm{wt}(P)=\dim_{\mathbb{F}_q}\bigl(U\cap (v)_{\mathbb{F}_{q^n}}\bigr).
\]
A linear set is scattered precisely when all points have weight \(1\). For scattered linear sets, Blokhuis and Lavrauw proved the rank bound
\[
\operatorname{rank}(L)\le \frac{rn}{2}
\]
when \(rn\) is even. Bartoli, Giulietti, Marino, and Polverino proved that this bound is sharp for all \((r,n,q)\) with \(rn\) even: for every such triple there exist scattered \(\mathbb{F}_q\)-linear sets of rank \(rn/2\), and these are called maximum scattered linear sets [1701.06831].

On the projective line \(\mathrm{PG}(1,q^n)\), the theory simplifies but becomes more rigid. Every scattered linear set has rank at most \(n\), and a maximum scattered linear set has rank \(n\). Its size is
\[
|L|=\frac{q^n-1}{q-1}.
\]
For \(r=2\), maximum scattered linear sets are therefore extremal both in rank and in cardinality, and the corresponding \(\mathbb{F}_q\)-subspaces of \(\mathbb{F}_{q^n}^2\) are often called maximum scattered subspaces [1701.06831], [2411.11855].

## 2. Algebraic and geometric models

In \(\mathrm{PG}(1,q^n)\), every rank-\(n\) linear set can be written, after a projectivity, in the form
\[
L_f=\{\,(x,f(x))_{\mathbb{F}_{q^n}}:x\in\mathbb{F}_{q^n}^*\,\},
\]
where \(f(x)=\sum_{i=0}^{n-1} a_i x^{q^i}\) is an \(\mathbb{F}_q\)-linearized polynomial. The scattered condition is
\[
\frac{f(y)}{y}=\frac{f(z)}{z}\ \Rightarrow\ \frac{y}{z}\in \mathbb{F}_q
\quad\text{for all }y,z\in\mathbb{F}_{q^n}^*.
\]
Such \(f\) are called scattered polynomials. The correspondence \(f \leftrightarrow L_f\) is exact: \(f\) is scattered if and only if \(L_f\) is a maximum scattered linear set, and this is also equivalent to the associated code
\[
C_f=\{aX+b f(X):a,b\in\mathbb{F}_{q^n}\}
\]
being an MRD code with parameters \((n,n,q;n-1)\) [2507.23409], [2411.11855].

A complementary geometric model is given by projections of canonical subgeometries. Lunardon and Polverino proved that every \(\mathbb{F}_q\)-linear set of rank \(r\) in \(\mathrm{PG}(d,q^n)\) is the projection of a canonical \(\mathbb{F}_q\)-subgeometry \(\Sigma\cong \mathrm{PG}(r-1,q)\) of \(\mathrm{PG}(r-1,q^n)\) from a complementary subspace \(\Gamma\). In the case of a maximum scattered linear set of \(\mathrm{PG}(1,q^5)\), one works in \(\mathrm{PG}(4,q^5)\) with a plane \(\Gamma\) projecting \(\Sigma\cong\mathrm{PG}(4,q)\) onto a line. Scatteredness is detected by the position of \(\Gamma\): the projection is scattered if and only if every point of \(\Gamma\) has rank \(>2\), equivalently \(\Gamma\) is external to the secant variety to \(\Sigma\) [2507.23409].

This projection formalism underlies several classification results. In \(\mathrm{PG}(1,q^5)\), for a projecting configuration \((\Gamma,\Sigma)\) and a generator \(\sigma\) of \(\mathrm{P}\Gamma\mathrm{L}(5,q^5)_\Sigma\), the intersections
\[
A=\Gamma\cap\Gamma^{\sigma^4},\qquad B=\Gamma\cap\Gamma^{\sigma^3}
\]
encode the type of the linear set. Their dimensions and their ranks with respect to \(\Sigma\) sharply constrain whether the projection is of pseudoregulus type, of LP type, or a possible new type [2507.23409].

## 3. Principal families and equivalence

Several explicit families of maximum scattered linear sets on \(\mathrm{PG}(1,q^n)\) are known. The principal infinite families are summarized below.

| Family | Polynomial form | Parameter conditions |
|---|---|---|
| Pseudoregulus type | \(f(x)=x^{q^s}\) | \(\gcd(s,n)=1\) |
| LP type | \(f(x)=x^{q^s}+\delta x^{q^{n-s}}\) | \(\gcd(s,n)=1,\ \mathrm{N}_{q^n/q}(\delta)\neq 0,1\) |
| Longobardi–Zanella family | \(\psi^{(k)}(x)\) | \(n=2t\ge 6\), with conditions on \(q,t,k\) |
| Large family in even dimension | \(v_{h,t}(x)\) | \(n=2t\ge 6\), \(q\) odd, \(h^{q^t+1}=-1\) |

The pseudoregulus family is the classical monomial family. The LP family, due to Lunardon and Polverino, is the first non-pseudoregulus infinite family and, for \(n>3\), includes the forms
\[
f(x)=x^{q^s}+\delta x^{q^{n-s}},\qquad \mathrm{N}_{q^n/q}(\delta)\neq 0,1.
\]
For \(n=5\), the two LP families are those with \(s\in\{1,2\}\) [1705.00731], [2507.23409].

Longobardi and Zanella constructed a further infinite family for even \(n=2t\ge 6\), starting from
\[
\psi(x)=x^q+x^{q^{t-1}}-x^{q^{t+1}}+x^{q^{2t-1}},
\]
and proved that \(\psi^{(k)}\) is scattered exactly when either \(t\) is even and \(\gcd(k,t)=1\), or \(t\) is odd, \(\gcd(k,2t)=1\), and \(q\equiv1\pmod 4\). This yields new maximum scattered linear sets in \(\mathrm{PG}(1,q^n)\) for \(n=8,10\), and new MRD codes with parameters \((n,n,q;n-1)\) [2007.01609].

A different large family for even \(n=2t\ge 6\) and odd \(q\) is given by the polynomials \(v_{h,t}(x)\), defined for \(h\in\mathbb{F}_{q^{2t}}\setminus\mathbb{F}_{q^t}\) with \(h^{q^t+1}=-1\). These produce many pairwise inequivalent maximum scattered linear sets. For fixed \(q=p^r\) and \(n=2t>8\), the number \(M\) of \(P\Gamma L(2,q^{2t})\)-inequivalent members satisfies
\[
M \ge
\begin{cases}
\left\lfloor \dfrac{q^t+1}{8rt} \right\rfloor, & \text{if } t \not\equiv 2 \pmod{4},\\[8pt]
\left\lfloor \dfrac{q^t+1}{4rt(q^2+1)} \right\rfloor, & \text{if } t \equiv 2 \pmod{4}.
\end{cases}
\]
This markedly enlarges the known landscape for even \(n\) [2102.08287].

Equivalence is usually taken under \(PGL(2,q^n)\), \(P\Gamma L(2,q^n)\), or \(\Gamma L(2,q^n)\). For Lunardon–Polverino linear sets, equivalence is controlled by norm data of the parameter \(\delta\), and their automorphism groups were determined explicitly in terms of diagonal and, in special cases, off-diagonal semilinear maps [2201.12777]. For two further families in \(\mathrm{PG}(1,q^6)\) and \(\mathrm{PG}(1,q^8)\), equivalence was likewise reduced to norm conditions over intermediate subfields, and automorphism groups were computed [2212.13037].

## 4. Classification for small \(n\)

For \(n\le 4\), the projective-line classification is very tight. In \(\mathrm{PG}(1,q^4)\), Csajbók and Zanella proved that every maximum scattered \(\mathbb{F}_q\)-linear set is projectively equivalent to
\[
L_{U(b)},\qquad U(b)=\{(x,bx^q+x^{q^3}):x\in\mathbb{F}_{q^4}\},
\]
with \(N_{q^4/q}(b)\neq 1\). Hence every maximum scattered linear set in \(\mathrm{PG}(1,q^4)\) is either of pseudoregulus type (\(b=0\)) or of Lunardon–Polverino type (\(b\neq 0\)), and there are exactly \(q(q-1)/2\) projective equivalence classes [1705.00731].

The case \(\mathrm{PG}(1,q^5)\) is the first open line case where a full classification appears plausible but is not yet complete. Montanucci and Zanella studied the two-parameter family
\[
L_{a,\beta}=
\Bigl\{\bigl\langle \bigl(x-a x^{q^2},\; x^q-\beta x^{q^3}\bigr)\bigr\rangle_{\mathbb{F}_{q^5}}:x\in\mathbb{F}_{q^5}^*\Bigr\},
\]
proved strong necessary conditions for scatteredness, and showed that for \(q\le 11\) every maximum scattered member of this family is equivalent to a known Sheekey example. In particular, if \(\beta\neq 0\) and \(L_{a,\beta}\) is maximum scattered, then necessarily
\[
\frac{a}{\beta^{q+1}}\in\mathbb{F}_q
\]
[1905.10772].

A more structural advance was obtained in the 2025 work on \(\mathrm{PG}(1,q^5)\). Every maximum scattered linear set is the projection of \(\Sigma\cong\mathrm{PG}(4,q)\) from a plane \(\Gamma\) external to the secant variety to \(\Sigma\). If \(A=\Gamma\cap\Gamma^{\sigma^4}\) and \(B=\Gamma\cap\Gamma^{\sigma^3}\) are not both points, the linear set is of pseudoregulus type. If they are points and at least one of them has rank \(5\), the linear set is of LP type. Hence any hypothetical new type must satisfy
\[
\rk A=\rk B=4.
\]
In that case, up to equivalence, the linear set must belong to one of two explicit families:
\[
\mathbb E=
\bigl\{(\eta(x^q-x)+\mathrm{Tr}_{q^5/q}(\rho x),\, x^q-x^{q^4})_{\mathbb{F}_{q^5}}:x\in\mathbb{F}_{q^5}^*\bigr\},
\]
with \(\eta\neq0\), \(\mathrm{Tr}_{q^5/q}(\eta)=0\), \(\mathrm{Tr}_{q^5/q}(\rho)\neq0\), or
\[
L_F=\{(x,F(x))_{\mathbb{F}_{q^5}}:x\in\mathbb{F}_{q^5}^*\},
\]
where
\[
F(x)=k(x^q+x^{q^3})+x^{q^2}+x^{q^4},\qquad \mathrm{N}_{q^5/q}(k)=1.
\]
An exhaustive analysis by computer shows that for \(q\le 25\), none of these gives a new maximum scattered linear set: either the set is not scattered, or it is equivalent to pseudoregulus or LP type [2507.23409].

Another rigidity result concerns exceptional scattered polynomials. For exceptional scattered monic polynomials of index \(0\), the only example for \(q>5\) is \(X^q\). For index \(1\), the only possibilities are \(X\) and
\[
bX+X^{q^2},\qquad \mathrm{Norm}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(b)\ne 1.
\]
This strongly limits the exceptional sources of maximum scattered linear sets on projective lines [1708.00349].

## 5. Higher-dimensional existence and related structures

Beyond the line, maximum scattered linear sets exist in all projective spaces \(\mathrm{PG}(r-1,q^n)\) with \(rn\) even, and the extremal rank is always \(rn/2\) [1701.06831]. Explicit constructions were given in \(\mathrm{PG}(2,q^{2t})\) via subspaces of the form
\[
U=\{\,ax^{q^i}+bx^{q^{2t+i}}+wx:x\in\mathbb{F}_{q^{3t}}\,\},
\]
leading to maximum scattered linear sets of rank \(3t\), and then lifted to higher dimension by direct sums [1701.06831], [1512.07467].

These higher-dimensional objects have several geometric and coding-theoretic avatars. Bartoli, Giulietti, Marino, and Polverino showed that every maximum scattered \(\mathbb{F}_q\)-linear set \(L_U\subseteq\mathrm{PG}(r-1,q^n)\) yields an MRD code
\[
C_{U,G}=\{\,G\circ T_v : v\in V\,\}
\]
with parameters
\[
\left(\frac{rn}{2},\,n,\,q;\,rn,\,n-1\right),
\]
and \(C_{U,G}\) is MRD if and only if \(U\) is maximum scattered [1701.06831].

For \(q=2\), maximum scattered \(\mathbb{F}_2\)-linear sets correspond to translation caps. In particular, maximum scattered linear sets in \(PG(r-1,2^t)\) with \(r\) odd yield maximal translation caps in \(AG(r,2^t)\), and the doubling construction gives complete caps in \(AG(r+1,2^t)\) of size \(2^{\frac{rt}{2}+1}\). This resolves, for even square order, the long-standing problem of whether the theoretical lower bound for the size of a complete cap is substantially sharp [1512.07467].

A further development concerns pairwise disjoint maximum scattered linear sets. Families of disjoint maximum scattered linear sets correspond to maximum \(1\)-designs and to MSRD codes in the sum-rank metric. For any integers \(k,m\ge 2\) such that \(km\) is even, and any \(1\le t\le q-1\), there exist pairwise disjoint maximum scattered \(\mathbb{F}_q\)-linear sets in \(\mathrm{PG}(k-1,q^m)\), hence maximum \(1\)-design systems with \(t\) components [2308.00378].

## 6. Present landscape

The current picture combines rigidity in small dimensions with abundance in some larger even dimensions. For \(n=4\), the classification is complete: only pseudoregulus and LP type occur [1705.00731]. For \(n=5\), the known structure theorem reduces any possible new type to the two explicit families \(\mathbb E\) and \(L_F\), and no new example exists for \(q\le 25\) [2507.23409]. This suggests a highly constrained geometry in \(\mathrm{PG}(1,q^5)\), although the absolute non-existence of new types for all \(q\) is still open.

For larger even \(n\), the situation is richer. The Longobardi–Zanella construction and the \(v_{h,t}\)-family show that new maximum scattered linear sets and new MRD codes do occur in dimensions \(8,10,\dots\), and the number of inequivalent examples can be very large [2007.01609], [2102.08287]. A plausible implication is that the classification problem changes character between the small cases \(n=4,5\) and the broader even-dimensional regime.

At the same time, equivalence and automorphism problems remain fundamental. For Lunardon–Polverino linear sets, automorphism groups, equivalence, and asymptotic counts of inequivalent members are known explicitly [2201.12777]. For two other families in \(\mathrm{PG}(1,q^6)\) and \(\mathrm{PG}(1,q^8)\), equivalence and automorphism groups are also known [2212.13037]. These results reinforce a general theme: maximum scattered linear sets are best understood not only through existence and scatteredness, but also through their orbit structure under \(P\Gamma L\), their stabilizers, and the invariants they induce on associated MRD codes and semifields.

Source: https://www.emergentmind.com/topics/maximum-scattered-linear-sets