---
title: Minimal Value Set Polynomials (MVSPs)
url: https://www.emergentmind.com/topics/minimal-value-set-polynomials-mvsps
type: topic
---

# Minimal Value Set Polynomials (MVSPs)

Searching arXiv for recent and foundational papers on Minimal Value Set Polynomials and related value-set theory.
First, I’ll look for the recent MVSP classification paper and foundational characterization work.
Searching arXiv for "Minimal Value Set Polynomials Borges Reis" and related titles.
Minimal value set polynomials (MVSPs) are nonconstant polynomials over a finite field whose value sets are as small as the general degree bound allows. For \(F\in \mathbb{F}_q[x]\), the value set is \(V_F:=\{F(a):a\in\mathbb{F}_q\}\subseteq \mathbb{F}_q\), and a basic counting argument gives
\[
\left\lfloor \frac{q-1}{\deg F}\right\rfloor+1 \le |V_F| \le q.
\]
An MVSP is a polynomial attaining the lower bound; equivalently,
\[
|V_F|=\left\lfloor \frac{q-1}{\deg F}\right\rfloor+1=\left\lceil \frac{q}{\deg F}\right\rceil.
\]
The subject sits at the intersection of finite-field arithmetic, additive and linearized polynomials, value-set theory, and the geometry of curves over finite fields. Classical work of Carlitz, Lewis, Mills, Straus, Gómez-Calderón, Madden, and others established early structure theorems, while more recent results describe which subsets of \(\mathbb{F}_q\) can occur as MVSP value sets, classify large classes of MVSPs, and place them within the broader distribution of value-set sizes [1108.1852], [2508.07113].

## 1. Definition, normalization, and extremal character

For a nonconstant polynomial \(F\in \mathbb{F}_q[x]\), the extremal problem is to minimize \(|V_F|\) subject to \(\deg F\). The standard normalization is the lower bound
\[
|V_F| \ge \left\lfloor \frac{q-1}{\deg F}\right\rfloor+1,
\]
and \(F\) is an MVSP precisely when equality holds [1108.1852]. The literature also uses the equivalent form \(|V_F|=\lceil q/\deg F\rceil\), emphasized in the recent global classification program [2508.07113].

The trivial cases \(|V_F|\le 2\) are exceptional. The recent classification work separates them from the genuinely structural regime \(|V_F|>2\): \(|V_F|=1\) occurs exactly for
\[
F(x)=\alpha+(x^q-x)G(x),\qquad G\in \mathbb{F}_q[x]\setminus\{0\},
\]
and arbitrary \(2\)-element value sets can be realized by Lagrange interpolation using \((x-\gamma)^{q-1}\) [2508.07113]. The substantive theory therefore concentrates on MVSPs with more than two values.

A recurrent misconception is to identify MVSPs with permutation polynomials of low defect. The two notions are opposite extremes. A permutation polynomial has \(|V_F|=q\), whereas an MVSP has the smallest value set compatible with its degree. This opposition becomes especially sharp in asymptotic and average-value-set results discussed below.

## 2. Differential characterization and additive structure

A central structural theorem rewrites the MVSP condition as a differential-functional identity. Let \(\mathcal S\subset \mathbb{F}_q\) with \(|\mathcal S|>2\), and define
\[
T(x):=\prod_{\gamma\in \mathcal S}(x-\gamma).
\]
Then \(F\) is an MVSP with \(V_F=\mathcal S\) if and only if there exists \(\theta\in \mathbb{F}_q^\ast\) such that
\[
T(F)=\theta (x^q-x)F'.
\]
Moreover, \(\theta=-T'(\gamma)\) for some, in fact every, \(\gamma\in \mathcal S\) [1108.1852]. This criterion is the main bridge between combinatorial minimality and algebraic structure.

The same paper packages the condition into the space
\[
(T\mid \mathbb{F}_q):=\left\{F\in \mathbb{F}_q[x]: T(F)=\theta(x^q-x)F' \text{ for some } \theta\in \mathbb{F}_q^\ast\right\},
\]
for \(T\) separable, monic, of degree \(>2\), and split over \(\mathbb{F}_q\) [1108.1852]. This space contains the constant roots of \(T\) and the nonconstant MVSPs with value set equal to the root set of \(T\).

The differential criterion forces additive structure. A necessary condition for nontrivial \((T\mid \mathbb{F}_q)\) is the existence of positive integers \(k,m,v\) and \(\gamma,\omega_0,\dots,\omega_m\in \mathbb{F}_q\) such that \(v\mid (p^k-1)\) and
\[
A(x):=\frac{T(x^v+\gamma)}{x^{v-1}}=\sum_{i=0}^m \omega_i x^{p^{ki}}
\]
is \(p^k\)-additive [1108.1852]. Conversely, additive polynomials generate large classes of MVSPs. If \(x\mid T(x)\), \(v\mid p^k-1\), and
\[
A(x)=\frac{T(x^v)}{x^{v-1}}
\]
is additive and split, then the map \(F\mapsto F^v\) sends \((A\mid \mathbb{F}_q)\) into \((T\mid \mathbb{F}_q)\) [1108.1852]. This additive reduction is one of the organizing principles of modern MVSP theory.

A particularly important case is \(T(x)=x^q-x\) over \(\mathbb{F}_{q^n}\). Then
\[
(x^q-x \mid \mathbb{F}_{q^n})=\left\{F\in \mathbb{F}_{q^n}[x]: F^q-F=(x^{q^n}-x)F'\right\},
\]
which is exactly the class of polynomials over \(\mathbb{F}_{q^n}\) that are MVSPs with value set \(\mathbb{F}_q\), together with constants in \(\mathbb{F}_q\) [1108.1852].

## 3. Realizable value sets and the current classification picture

The recent large-scale classification program reformulates the subject as a problem about subsets \(S\subseteq \mathbb{F}_q\). For
\[
\mathcal P(S,q):=\{F\in \mathbb{F}_q[x]: F \text{ is an MVSP and } V_F=S\},
\]
the basic question is when \(\mathcal P(S,q)\neq\varnothing\) [2508.07113].

The answer for \(|S|>2\) is structural and explicit:
\[
\mathcal P(S,q)\neq\varnothing \iff S=a\cdot \mathcal U^v+b
\]
for some \(a,b\in \mathbb{F}_q\) with \(a\neq 0\), some \(\mathbb{F}_{p^k}\)-subspace \(\mathcal U\subseteq \mathbb{F}_q\) with \(1\in\mathcal U\), and some positive integer \(v\mid (p^k-1)\), where
\[
\mathcal U^v:=\{u^v:u\in \mathcal U\}.
\]
Thus every nontrivial MVSP value set is, up to affine transformation, a power image of a vector subspace [2508.07113].

Affine subspaces are the first major special case, corresponding to \(v=1\). If \(\mathcal U\subseteq \mathbb{F}_q\) is an \(\mathbb{F}_{p^k}\)-vector space with \(1\in \mathcal U\), \(|\mathcal U|>2\), and \(d\le n/k\) is the smallest positive integer such that \(\mathcal U\subseteq \mathbb{F}_{p^{dk}}\), then with
\[
A(x)=\prod_{u\in \mathcal U}(x-u)
\]
there exists a monic \(p^k\)-linearized polynomial \(M\in \mathbb{F}_q[x]\) such that
\[
A(M(x))=M(A(x))=x^{p^{dk}}-x,
\]
and
\[
\mathcal P(\mathcal U,q)=\{M(f(x)):f\in \mathcal P(\mathbb{F}_{p^{dk}},q)\}.
\]
This reduces the affine-subspace case to the previously understood subfield case [2508.07113].

The same paper proposes a conjectural full classification. Roughly, if \(\mathcal U\) is not a field, then MVSPs with value set \(\mathcal U^v\) should be exactly the \(v\)-th powers of MVSPs with value set \(\mathcal U\); if \(\mathcal U\) is a field, then they should be specific powers of MVSPs with a minimal containing subfield value set [2508.07113]. The conjecture is confirmed by prior results for \(q\in\{p,p^2,p^3\}\) or \(\#S\ge p^{n/2}\), and additional instances, including the cases \(q=p^4\) and \(\#S>p^{n/2-1}\), are proved there [2508.07113]. In particular, Conjecture \(\ref{conj}\) holds for \(q=p^4\), yielding an explicit classification up to affine equivalence.

## 4. Construction paradigms and spectral phenomena

The subfield case remains the most completely understood constructive regime. For \(T(x)=x^q-x\) over \(\mathbb{F}_{q^n}\), the space \((x^q-x\mid \mathbb{F}_{q^n})\) is an \(\mathbb{F}_q\)-vector space of dimension \(2^n\), and every element is built from Galois orbits of monomials whose exponents have base-\(q\) digits in \(\{0,1\}\) [1108.1852]. More precisely, if
\[
k=a_{n-1}q^{n-1}+\cdots+a_1q+a_0,\qquad a_i\in\{0,1\},
\]
and \(m=\alpha x^k\), then sums of the form
\[
\sum_{i=0}^{s(m)-1}\bigl[m^{q^i}\bmod (x^{q^n}-x)\bigr]
\]
span the full space [1108.1852]. For \(x^{q^d}-\alpha x\) splitting over \(\mathbb{F}_{q^n}\), the corresponding space has \(\mathbb{F}_q\)-dimension \(d\,2^{n/d}\) [1108.1852]. This gives exact counts of MVSPs with prescribed subfield-like value sets.

These constructions also produce genuinely new examples. In \(\mathbb{F}_{q^6}[x]\), the polynomial
\[
G(x)=x^{q^4+q}-x^{q^3+1}
\]
lies in \((A\mid \mathbb{F}_{q^6})\) for \(A(x)=x^{q^2}+x^q+x\), hence is an MVSP with value set contained in \(\mathbb{F}_{q^3}\); the cited analysis verifies that it is not of either class previously considered by Carlitz and Mills [1108.1852].

A different construction paradigm, not degree-classified in the classical sense, arises from the class \(\mathcal F_{q,n}\) obtained by modifying a linear permutation at \(n\) points and then adding the identity. Its spectrum satisfies
\[
v(\mathcal F_{q,n})\subset \{2,3,\dots,n+1,\ q-n,q-n+1,\dots,q-2,q\},
\]
so intermediate sizes are absent [1701.06158]. The paper determines \(v(\mathcal F_{q,2})=\{3,q-2\}\), gives the exact spectrum for \(n=3\), constructs families with \(|V_F|=2,3,4,n+1,q-n\), and produces polynomials avoiding a prescribed multiplicative coset:
\[
V_F=\mathbb{F}_q\setminus cU
\]
for a subgroup \(U\subset \mathbb{F}_q^\ast\) of size \(n\) [1701.06158]. Because the class is not organized by degree, its relation to classical MVSPs is indirect; nonetheless it demonstrates how small and highly structured value sets can be engineered by controlled perturbations of simple permutations.

## 5. Typical value-set size and the exceptional status of MVSPs

MVSPs are extremal, but the generic situation is very different. For a general degree-\(d\) polynomial, Birch and Swinnerton-Dyer showed
\[
\mathcal V(f)=\mu_d q+\mathcal O(q^{1/2}),\qquad 
\mu_d:=\sum_{r=1}^d \frac{(-1)^{r-1}}{r!},
\]
and \(\mu_d\to 1-e^{-1}\approx 0.632\) as \(d\to\infty\) [1511.07942]. Cohen further showed that for fixed \(d\) there is a finite set \(T_d\subset \mathbb Q_{>0}\) such that any degree-\(d\) polynomial satisfies \(|V_f|=c_f q+O_d(\sqrt q)\) for some \(c_f\in T_d\) [1210.8119].

Average-value-set results make the contrast with MVSPs precise. For structured families \(\mathcal A\) of monic degree-\(d\) polynomials defined by algebraic conditions on their coefficients, one has
\[
\mathcal V(\mathcal A)=\mu_d q+\mathcal O(q^{1/2}),
\]
under geometric hypotheses \((\textsf H_1)-(\textsf H_4)\), with no restriction on the characteristic of \(\mathbb{F}_q\) [1511.07942]. For the special family obtained by fixing \(s\) consecutive leading coefficients, the average sharpens to
\[
V(d,s,\mathbf a)=\mu_d q+\mathcal O(1)
\]
for \(d<q\) and \(1\le s\le d/2-1\) [1306.1744].

From the standpoint of MVSPs, these results imply that typical value sets are of order \(0.63q\), whereas minimal sizes are on the order of \(q/d\). The papers on averages do not classify MVSPs, but they explicitly frame MVSPs as deep outliers: if a positive proportion of a large structured family had value sets substantially below \(\mu_d q\), the average would be forced down, contradicting the asymptotic formula [1511.07942]. This suggests that MVSPs are very rare among geometrically generic families.

A related misconception is that fixing several coefficients should move a family toward minimal behavior. The fixed-coefficient average theorem shows the opposite: even after imposing \(s\) consecutive coefficient constraints, the average remains \(\mu_d q\) up to a bounded error [1306.1744].

## 6. Multivariate extensions and support-sensitive bounds

The univariate MVSP notion has no direct multivariate analogue with a single universally accepted lower bound, but multivariate value-set theory provides upper bounds on \(|V_f|\) for non-permutation maps that are directly relevant to extremal questions. For a nonconstant polynomial map
\[
f=(f_1,\dots,f_n):\mathbb F_q^n\to \mathbb F_q^n,
\]
if \(|V_f|<q^n\), then
\[
|V_f| \le q^n-\min\!\left\{\frac{n(q-1)}{d},\,q\right\},
\qquad d=\max_i \deg_{\mathrm{total}}(f_i),
\]
which specializes for \(n=1\) to Wan’s bound
\[
|V_f|\le q-\left\lceil \frac{q-1}{d}\right\rceil
\]
for non-permutation polynomials [1210.8119]. The same paper explicitly situates this alongside the classical MVSP condition
\[
|V_f|=\left\lfloor \frac{q}{d}\right\rfloor
\]
in the univariate case [1210.8119].

Degree alone is often crude. A sharper multivariate approach uses the Newton polytope \(\Delta(f)\) of the associated scalar polynomial and the invariant
\[
\mu_f:=\inf\{k>0: k\Delta(f)\cap \mathbb Z_{>0}^n\neq \varnothing\}.
\]
Then, if \(|V_f|<q^n\),
\[
|V_f|\le q^n-\min\{q,\mu_f(q-1)\},
\]
which always improves the degree-only bound because \(\mu_f\ge n/\deg f\) [1310.2958]. The example
\[
f(x_1,x_2)=(x_1,x_1^a x_2)
\]
has \(|V_f|=q^2-(q-1)\) and \(\mu_f=1\), so the polytope bound is sharp there [1310.2958].

This support-sensitive viewpoint was refined further by introducing the integral dilation factor \(\omega_f\) from the full degree matrix of the monomial support. The refined bound is
\[
|V_f|\le q^n-\omega_f,
\]
and one has
\[
\omega_f\ge \mu_f(q-1)\ge \frac{n(q-1)}{\deg f}.
\]
These results provide an alternate proof of Kosters’ degree bound, an improved Newton polytope-based bound, and an improvement of a degree matrix-based result due to Zan and Cao [1507.04085]. For MVSP research, the significance is methodological: extremal small-image behavior in several variables is governed not just by degree, but by the detailed combinatorics of the monomial support.

## 7. Arithmetic geometry and Frobenius nonclassical curves

MVSPs have substantial geometric consequences. A major recent result states that, assuming the structural conjecture described above, an irreducible plane curve
\[
\mathcal F: y^d=f(x)
\]
over \(\mathbb F_q\) with \(d<q-1\) is \(\mathbb F_q\)-Frobenius nonclassical if and only if
\[
d=\frac{q-1}{p^e-1}
\]
for some divisor \(e\mid n\), and \(f(x)\) is an MVSP with value set \(\mathbb F_{p^e}\) [2508.07113]. Since the conjecture is proved for \(q=p^4\), this becomes unconditional in that case and yields a complete characterization of the \(\mathbb F_q\)-Frobenius nonclassical curves of type \(y^d=f(x)\) there [2508.07113].

An earlier geometric development uses the class
\[
\mathcal W:=\{F\in \mathbb F_{q^n}[x]\text{ MVSP}:V_F=\mathbb F_q\}
\]
to construct curves
\[
T_n(y)=f(x),\qquad T_n(x)=x+x^q+\cdots+x^{q^{n-1}},
\]
generalizing the Hermitian curve [1401.3713]. The set \(\mathcal W\cup \mathbb F_q\) is an \(\mathbb F_q\)-vector space of dimension \(2^n\), and explicit generators are built from trace polynomials and Frobenius orbits [1401.3713]. For a distinguished family \(\mathcal H\) in this construction, one obtains
\[
\#\mathcal H(\mathbb F_{q^n})=q^{2n-1}+1,\qquad
g(\mathcal H)=\frac{q^r(q^{n-1}-1)}{2},
\]
where \(r\) is the smallest integer \(\ge n/2\) with \(\gcd(n,r)=1\) [1401.3713]. The same paper determines the Weierstrass semigroup at the unique point at infinity and proves that these curves are Castle curves [1401.3713].

These geometric applications clarify the broader role of MVSPs. They are not merely extremal examples in value-set combinatorics; they are also a source of explicit high-point curves, Frobenius nonclassicality phenomena, and function fields with tightly controlled ramification. In that sense, MVSPs link finite-field polynomial theory to algebraic geometry in a particularly rigid and productive way.

Source: https://www.emergentmind.com/topics/minimal-value-set-polynomials-mvsps