Skip to main content
Log in

Representing the inverse map as a composition of quadratics in a finite field of characteristic 2

  • Research
  • Published:
Cryptography and Communications Aims and scope Submit manuscript

Abstract

In 1953, Carlitz showed that all permutation polynomials over \({\mathbb F}_q\), where \(q>2\) is a power of a prime, are generated by the special permutation polynomials \(x^{q-2}\) (the inversion) and \( ax+b\) (affine functions, where \(0\ne a, b\in {\mathbb F}_q\)). Recently, Nikova, Nikov and Rijmen (2019) proposed an algorithm (NNR) to find a decomposition of the inverse function in quadratics, and computationally covered all dimensions \(n\le 16\). Petrides (2023) theoretically found a class of integers for which it is easy to decompose the inverse into quadratics, and improved the NNR algorithm, thereby extending the computation up to \(n\le 32\). In this paper, we extend Petrides’ result, as well as we propose a new number theoretical approach, which allows us to easily cover all (surely, odd) exponents up to 250, at least.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Algorithm 1

Similar content being viewed by others

References

  1. Bilgin, B., Nikova, S., Nikov, V., Rijmen, V., Stütz, G.: Threshold Implementations of All \(3 \times 3\) and \(4\times 4\) S-Boxes. In: Prouff, E., Schaumont, P. (eds.) Cryptographic Hardware and Embedded Systems - CHES 2012, LNCS 7428. Springer, Berlin, Heidelberg (2012)

  2. Carlitz, L.: Permutations in a finite field’. Proc. Amer. Math. Soc. 4, 538 (1953)

  3. Hall, R.T., Tenenbaum, G.: Divisors, Cambridge Tracts in Mathematics, 90. Cambridge University Press, Cambridge (1988)

  4. Kontorovich, A., Lagarias, J.: On toric orbits in the affine sieve. Exp. Math. 30, 575–587 (2021)

    Article  MathSciNet  Google Scholar 

  5. Luca, F., Stănică, P.: Asymptotics on a class of \(\cal S\it \)-unit integers. Periodica Math. Hungarica, https://doi.org/10.1007/s10998-023-00551-4

  6. Luca, F.: Stănică, P.: Prime divisors of Lucas sequences and a conjecture of Skałba. Int. J. Number Theory 1(4), 583–591 (2005)

  7. Moree, P.: On the divisors of \(a^k+b^k\). Acta Arith. LXXX.3, 197–212 (1997)

  8. Murata, L., Pomerance, C.: On the largest prime factor of a Mersenne number. In: Number Theory, 209–218, CRM Proc. Lecture Notes 36, Amer. Math. Soc., Providence, RI, (2004)

  9. Nikova, S., Nikov, V., Rijmen, V.: Decomposition of permutations in a finite field. Cryptogr. Commun. 11, 379–384 (2019)

    Article  MathSciNet  Google Scholar 

  10. Nikova, S., Rechberger, C., Rijmen, V.: Threshold Implementations Against Side-Channel Attacks and Glitches. In: Ning, P., Qing, S., Li, N. (eds.) Information and Communications Security - ICICS, LNCS 4307. Springer, Berlin, Heidelberg (2006)

  11. Petrides, G.: On decompositions of permutation polynomials into quadratic and cubic power permutations. Cryptogr. Commun. 15, 199–207 (2023)

    Article  MathSciNet  Google Scholar 

  12. Rotkiewicz, A.: Applications of Jacobi’s symbol to Lehmer’s numbers. Acta Arith. 42, 163–187 (1983)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the editor for efficiently handling our paper and the reviewers for their careful reading, beneficial comments and constructive suggestions. The first and the third-named authors worked on this paper during visits to the Max Planck Institute for Software Systems in Saarbrücken, Germany in Spring of 2022 and 2023. They thank Professor J. Ouaknine for the invitation and the Institute for hospitality and support. During the final stages of the preparation of this paper, the first-named author was a fellow at the Stellenbosch Institute for Advanced Study. He thanks this Institution for hospitality and support.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Pantelimon Stănică.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This is an expanded and vastly improved version of the Extended Abstract, which was presented at the 8th International Workshop on Boolean Functions and their Applications (BFA) in Voss in September 2023.

Appendix

Appendix

Table 1 Factorization of \(2^n-2 \pmod {2^n-1}\) for odd \(33 \le n \le 249\)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Luca, F., Sarkar, S. & Stănică, P. Representing the inverse map as a composition of quadratics in a finite field of characteristic 2. Cryptogr. Commun. (2024). https://doi.org/10.1007/s12095-024-00702-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s12095-024-00702-5

Keywords

Mathematics Subject Classification (2010)

Navigation