Revisiting products of the form X times a linearized polynomial L(X)

Abstract For a q -polynomial L over a finite field $$\mathbb {F}_{q^n}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> </mml:math> , we characterize the differential spectrum of the function $$f_L:\mathbb {F}_{q^n} \rightarrow \mathbb {F}_{q^n}, x \mapsto x \cdot L(x)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>L</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:mo>→</mml:mo> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>↦</mml:mo> <mml:mi>x</mml:mi> <mml:mo>·</mml:mo> <mml:mi>L</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> and show that, for $$n \le 5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≤</mml:mo> <mml:mn>5</mml:mn> </mml:mrow> </mml:math> , it is completely determined by the image of the rational function $$r_L :\mathbb {F}_{q^n}^* \rightarrow \mathbb {F}_{q^n}, x \mapsto L(x)/x$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>L</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:msubsup> <mml:mi>F</mml:mi> <mml:mrow> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:mrow> <mml:mo>∗</mml:mo> </mml:msubsup> <mml:mo>→</mml:mo> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>↦</mml:mo> <mml:mi>L</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>/</mml:mo> <mml:mi>x</mml:mi> </mml:mrow> </mml:math> . This result follows from the classification of the pairs ( L , M ) of q -polynomials in $$\mathbb {F}_{q^n}[X]$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:mrow> <mml:mo>[</mml:mo> <mml:mi>X</mml:mi> <mml:mo>]</mml:mo> </mml:mrow> </mml:mrow> </mml:math> , $$n \le 5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≤</mml:mo> <mml:mn>5</mml:mn> </mml:mrow> </mml:math> , for which $$r_L$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>L</mml:mi> </mml:msub> </mml:math> and $$r_M$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>M</mml:mi> </mml:msub> </mml:math> have the same image, obtained in Csajbók et al. (Ars Math Contemp 16(2):585–608, 2019). For the case of $$n&gt;5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>&gt;</mml:mo> <mml:mn>5</mml:mn> </mml:mrow> </mml:math> , we pose an open question on the dimensions of the kernels of $$x \mapsto L(x) - ax$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>x</mml:mi> <mml:mo>↦</mml:mo> <mml:mi>L</mml:mi> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> <mml:mo>-</mml:mo> <mml:mi>a</mml:mi> <mml:mi>x</mml:mi> </mml:mrow> </mml:math> for $$a \in \mathbb {F}_{q^n}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>a</mml:mi> <mml:mo>∈</mml:mo> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> </mml:mrow> </mml:math> . We further present a link between functions $$f_L$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>L</mml:mi> </mml:msub> </mml:math> of differential uniformity bounded above by q and scattered q -polynomials and show that, for odd values of q , we can construct CCZ-inequivalent functions $$f_M$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>M</mml:mi> </mml:msub> </mml:math> </jats:inline-formu

Authors

Institutions

Publication Details

Journal
Designs Codes and Cryptography
Published
2024-10-16
DOI
https://doi.org/10.1007/s10623-024-01511-w
Primary Topic
Coding theory and cryptography
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Revisiting products of the form X times a linearized polynomial L(X)

Christof Beierle
Designs Codes and Cryptography
Coding theory and cryptography
article

Revisiting products of the form X times a linearized polynomial L(X)

Christof Beierle
article en

Abstract

Abstract For a q -polynomial L over a finite field $$\mathbb {F}_{q^n}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> </mml:math> , we characterize the differential spectrum of the function $$f_L:\mathbb {F}_{q^n} \rightarrow \mathbb {F}_{q^n}, x \mapsto x \cdot L(x)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>L</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:mo>→</mml:mo> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>↦</mml:mo> <mml:mi>x</mml:mi> <mml:mo>·</mml:mo> <mml:mi>L</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> and show that, for $$n \le 5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≤</mml:mo> <mml:mn>5</mml:mn> </mml:mrow> </mml:math> , it is completely determined by the image of the rational function $$r_L :\mathbb {F}_{q^n}^* \rightarrow \mathbb {F}_{q^n}, x \mapsto L(x)/x$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>L</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:msubsup> <mml:mi>F</mml:mi> <mml:mrow> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:mrow> <mml:mo>∗</mml:mo> </mml:msubsup> <mml:mo>→</mml:mo> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>↦</mml:mo> <mml:mi>L</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>/</mml:mo> <mml:mi>x</mml:mi> </mml:mrow> </mml:math> . This result follows from the classification of the pairs ( L , M ) of q -polynomials in $$\mathbb {F}_{q^n}[X]$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:mrow> <mml:mo>[</mml:mo> <mml:mi>X</mml:mi> <mml:mo>]</mml:mo> </mml:mrow> </mml:mrow> </mml:math> , $$n \le 5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≤</mml:mo> <mml:mn>5</mml:mn> </mml:mrow> </mml:math> , for which $$r_L$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>L</mml:mi> </mml:msub> </mml:math> and $$r_M$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>M</mml:mi> </mml:msub> </mml:math> have the same image, obtained in Csajbók et al. (Ars Math Contemp 16(2):585–608, 2019). For the case of $$n&gt;5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>&gt;</mml:mo> <mml:mn>5</mml:mn> </mml:mrow> </mml:math> , we pose an open question on the dimensions of the kernels of $$x \mapsto L(x) - ax$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>x</mml:mi> <mml:mo>↦</mml:mo> <mml:mi>L</mml:mi> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> <mml:mo>-</mml:mo> <mml:mi>a</mml:mi> <mml:mi>x</mml:mi> </mml:mrow> </mml:math> for $$a \in \mathbb {F}_{q^n}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>a</mml:mi> <mml:mo>∈</mml:mo> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> </mml:mrow> </mml:math> . We further present a link between functions $$f_L$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>L</mml:mi> </mml:msub> </mml:math> of differential uniformity bounded above by q and scattered q -polynomials and show that, for odd values of q , we can construct CCZ-inequivalent functions $$f_M$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>M</mml:mi> </mml:msub> </mml:math> </jats:inline-formu

Designs Codes and CryptographyVol. 93(1)
Ruhr University Bochum (DE)
Deutsche Forschungsgemeinschaft, Ruhr-Universität Bochum
Openalex Percentile: Top 84%
Coding theory and cryptography
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.