---
title: SCR-Based Representation in Finite Fields
url: https://www.emergentmind.com/topics/scr-based-representation
type: topic
---

# SCR-Based Representation in Finite Fields

Self-Conjugate-Reciprocal (SCR)–Based Representation

The SCR-based representation is a mathematical and algebraic framework for constructing and characterizing permutation polynomials over quadratic finite fields, specifically $\mathbb{F}_{q^2}$, using a class of polynomials termed *self-conjugate-reciprocal (SCR) polynomials*. An SCR polynomial $C(x)\in \mathbb{F}_{q^2}[x]$ is defined by symmetry constraints linking its reciprocal and Frobenius-conjugated coefficient forms, and is leveraged to produce new permutation polynomials with provable necessary and sufficient criteria for bijectivity on the field extension. The approach gains prominence due to its ability to systematically yield few-term permutation polynomials and reduce root-testing over extension fields to manageable lower-degree instances over the smaller subfield $\mathbb{F}_q$ [2404.00927].

## 1. Definition and Algebraic Properties of SCR Polynomials

For $q=p^n$ and $\mathbb{F}=\mathbb{F}_{q^2}$, a polynomial $C(x)=\sum_{i=0}^n c_i x^i \in \mathbb{F}[x]$ ($c_n \neq 0$) is called self-conjugate-reciprocal (SCR) if there exists a $\beta \in \mathbb{F}^*$ with $\beta^{q+1}=1$ so that
\[
x^n C^{(q)}(1/x) = \beta C(x)
\]
where $C^{(q)}(x)$ denotes application of the Frobenius automorphism on the coefficients. This is equivalent to the coefficient relation $c_{n-i} = \beta\,(c_i)^q$ for $i=0,\ldots,n$, with $\beta$ constrained to the $(q+1)$-th roots of unity in $\mathbb{F}^*$. Thus, SCR polynomials exhibit reciprocal symmetry under $x\mapsto 1/x$ and conjugation symmetry under $c\mapsto c^q$; their inherent structure facilitates root-count and factorization properties crucial for field permutation analysis.

## 2. Explicit Forms and Root Criteria: Degrees 2 and 3

A. **Degree-2 SCR polynomials** have canonical form
\[
C(x) = a\,x^2 + b\,x + a^q
\]
with $b \in \mathbb{F}_q$ and $a \in \mathbb{F}_{q^2}\setminus\mathbb{F}_q$. The root exclusion criterion in $\mu_{q+1}$ (the $(q+1)$-th roots of unity) depends on the discriminant:
- If $q$ is odd, $C(x)$ has no root in $\mu_{q+1}$ iff $\Delta := b^2 - 4 a^{q+1}$ is a nonzero nonsquare in $\mathbb{F}_q$.
- If $q$ is even, $C(x)$ is root-free in $\mu_{q+1}$ precisely when $\operatorname{Tr}_{\mathbb{F}_q/\mathbb{F}_2}(a^{q+1}/b^2)=1$.

B. **Degree-3 SCR polynomials** take
\[
C(x) = a\,x^3 + b\,x^2 + b^q\,x + a^q
\]
with appropriate conjugation-constrained coefficients. For monomial-plus-constant forms $C(x) = a x^3 + a^q$, bijectivity conditions on $\mu_{q+1}$ reduce to the non-root criterion $(-a^{q-1}) \notin \mu_{(q+1)/\gcd(q+1,3)}$, and more complex forms require paired trace and cubic-residue checks over $\mathbb{F}_q$ [2404.00927].

## 3. Construction of Permutation Polynomials from SCR Factors

The SCR paradigm applies these polynomials as building blocks for permutation polynomials over $\mathbb{F}_{q^2}$. The central recipe is:
- Choose an SCR polynomial $C(x)$ and a base function $B(x)$ (often binomial, satisfying $x\,B^{q}(1/x)/B(x)$ permutes $\mu_{q+1}$ and is non-vanishing there).
- Form $f(x) = x^r B(x^{q-1}) C(x^{q-1})$, with $r$ coprime to $q-1$.
- $f(x)$ permutes $\mathbb{F}_{q^2}$ iff $C$ has no $\mu_{q+1}$-root (and base conditions hold for $r$, $B$).

This reduces challenging root existence or permutation checks in high-degree field extensions to manageable discriminant or trace checks, parameterizable by the degree and form of $C(x)$. In many cases, higher-degree SCR polynomials can be reduced (via Möbius transform bijections) to root analysis within $\mathbb{F}_q$ for lower-degree factor polynomials.

## 4. Specialized Families and Practical Construction Templates

A notable family, $f(x) = a x^{q+1} + b x^q + b x + a^q$, appears ubiquitously. This is re-expressed as $f(x) = x C(x^{q-1})$ with $C(y) = a y + b + a^q y^{-1}$ (degree 2 SCR). The permutation property is fully characterized by simple arithmetic:
- $a \in \mathbb{F}_q$: in odd $q$, $a-b$ is a nonzero nonsquare; in even $q$, $\operatorname{Tr}_{\mathbb{F}_q/\mathbb{F}_2}(b^2/(a-b)^2)=1$.
- $a \notin \mathbb{F}_q$: revert to discriminant-based or trace-based root exclusion per Section 2.

Consequently, a broad spectrum of binomial, trinomial, and quadrinomial permutation polynomials derive from SCR-based factorization templates—parametrically adjustable for desired degree and field size, with diagnostics for bijectivity sourced from SCR structural algebra.

## 5. Reduction of Higher-Degree SCR Root Testing

The Möbius transformation $\ell(t) = (\delta t - \beta\delta)/(t-\beta)$, with $\beta \in \mu_{q+1}$, $\delta \in \mathbb{F}_{q^2} \setminus \mathbb{F}_q$, acts as a bijection $\mathbb{F}_q \cup \{\infty\} \to \mu_{q+1}$. When composed with a degree-$n$ SCR polynomial, $C(\ell(t))$ admits a numerator in $\mathbb{F}_q[t]$; determining if $C$ has a root in $\mu_{q+1}$ reduces further to a solvability query of a degree-$n$ polynomial in $\mathbb{F}_q$. This algebraic reduction operationalizes the SCR method for higher-degree constructions and ensures that root detection—and thus permutation property checking—remains computationally tractable for all SCR-based polynomials.

## 6. Significance and Applications in Finite Field Theory

The SCR-based representation synthesizes permutation polynomial theory for quadratic extensions by shifting root characterization and permutation conditions from the large field $\mathbb{F}_{q^2}$ to arithmetic in the subfield $\mathbb{F}_q$. This has direct algebraic and cryptographic consequence, underpinning efficient classification and generation of polynomial permutations with prescribed structural properties. The method subsumes several previously scattered construction paradigms, yielding a unified and theoretically grounded framework for polynomial permutation generation, root-detection reductions, and the systematic expansion of known classes [2404.00927].

## 7. Summary Table: SCR Polynomial Types and Permutation Criteria

| Degree | Canonical SCR Form                    | No $\mu_{q+1}$-root Criterion                         | Specific Application              |
|--------|---------------------------------------|-------------------------------------------------------|-----------------------------------|
| 2      | $a x^2 + b x + a^q$                  | Odd $q$: $b^2 - 4 a^{q+1}$ nonsquare; Even $q$: trace | Families $a x^{q+1} + b x^q + a^q x$ |
| 3      | $a x^3 + b x^2 + b^q x + a^q$        | Odd $q$: $(-a^{q-1})$ not root; Even $q$: complex trace/cube tests | Monomial-plus-constant, trinomial case |
| $n>3$  | By $\ell(t)$ composition, numerator $N(t)$ in $\mathbb{F}_q[t]$ | Solvability of $N(t)$ in $\mathbb{F}_q$              | Higher-degree PPs, quadrinomials  |

This table encapsulates the algebraic hierarchy and necessary conditions for SCR-based permutation polynomial construction. The approach fundamentally enhances the systematic modeling, generation, and structural analysis of polynomial permutations over quadratic extension fields.

Source: https://www.emergentmind.com/topics/scr-based-representation