On the algebraic degree stability of vectorial Boolean functions when restricted to affine subspaces
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916870191316992 |
|---|---|
| author | Carlet, Claude Feukoua, Serge Salagean, Ana |
| author_facet | Carlet, Claude Feukoua, Serge Salagean, Ana |
| contents | We study the behaviour of the algebraic degree of vectorial Boolean functions when their inputs are restricted to an affine subspace of their domain. Functions which maintain their degree on all subspaces of as high a codimension as possible are particularly interesting for cryptographic applications.
For functions which are power functions $x^d$ in their univariate representation, we fully characterize the exponents $d$ for which the algebraic degree of the function stays unchanged when the input is restricted to spaces of codimension 1 or 2. For codimensions $k\ge 3$, we give a sufficient condition for the algebraic degree to stay unchanged. We apply these results to the multiplicative inverse function, as well as to the Kasami functions. We define an optimality notion regarding the stability of the degree on subspaces, and determine a number of optimal functions, including the multiplicative inverse function and the quadratic APN functions.
We also give an explicit formula for counting the functions that keep their algebraic degree unchanged when restricted to hyperplanes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_03307 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the algebraic degree stability of vectorial Boolean functions when restricted to affine subspaces Carlet, Claude Feukoua, Serge Salagean, Ana Commutative Algebra Cryptography and Security 06E30, 94D10 We study the behaviour of the algebraic degree of vectorial Boolean functions when their inputs are restricted to an affine subspace of their domain. Functions which maintain their degree on all subspaces of as high a codimension as possible are particularly interesting for cryptographic applications. For functions which are power functions $x^d$ in their univariate representation, we fully characterize the exponents $d$ for which the algebraic degree of the function stays unchanged when the input is restricted to spaces of codimension 1 or 2. For codimensions $k\ge 3$, we give a sufficient condition for the algebraic degree to stay unchanged. We apply these results to the multiplicative inverse function, as well as to the Kasami functions. We define an optimality notion regarding the stability of the degree on subspaces, and determine a number of optimal functions, including the multiplicative inverse function and the quadratic APN functions. We also give an explicit formula for counting the functions that keep their algebraic degree unchanged when restricted to hyperplanes. |
| title | On the algebraic degree stability of vectorial Boolean functions when restricted to affine subspaces |
| topic | Commutative Algebra Cryptography and Security 06E30, 94D10 |
| url | https://arxiv.org/abs/2504.03307 |