-
On the cubic Pell equation over finite fields
Authors:
Simone Dutto,
Nadir Murru
Abstract:
The classical Pell equation can be extended to the cubic case considering the elements of norm one in $Z[\sqrt[3]{r}]$, which satisfy $x^3 + r y^3 + r^2 z^3 - 3 r x y z = 1$. The solution of the cubic Pell equation is harder than the classical case, indeed a method for solving it as Diophantine equation is still missing. In this paper, we study the cubic Pell equation over finite fields, extending…
▽ More
The classical Pell equation can be extended to the cubic case considering the elements of norm one in $Z[\sqrt[3]{r}]$, which satisfy $x^3 + r y^3 + r^2 z^3 - 3 r x y z = 1$. The solution of the cubic Pell equation is harder than the classical case, indeed a method for solving it as Diophantine equation is still missing. In this paper, we study the cubic Pell equation over finite fields, extending the results that hold for the classical one. In particular, we provide a novel method for counting the number of solutions in all possible cases depending on the value of r. Moreover, we are also able to provide a method for generating all the solutions.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Pell hyperbolas in DLP-based cryptosystems
Authors:
Gessica Alecci,
Simone Dutto,
Nadir Murru
Abstract:
We present a study on the use of Pell hyperbolas in cryptosystems with security based on the discrete logarithm problem. Specifically, after introducing the group's structure over generalized Pell conics (and also giving the explicit isomorphisms with the classical Pell hyperbolas), we provide a parameterization with both an algebraic and a geometrical approach. The particular parameterization tha…
▽ More
We present a study on the use of Pell hyperbolas in cryptosystems with security based on the discrete logarithm problem. Specifically, after introducing the group's structure over generalized Pell conics (and also giving the explicit isomorphisms with the classical Pell hyperbolas), we provide a parameterization with both an algebraic and a geometrical approach. The particular parameterization that we propose appears to be useful from a cryptographic point of view because the product that arises over the set of parameters is connected to the Rédei rational functions, which can be evaluated in a fast way. Thus, we exploit these constructions for defining three different public key cryptosystems based on the ElGamal scheme. We show that the use of our parameterization allows to obtain schemes more efficient than the classical ones based on finite fields.
△ Less
Submitted 18 May, 2022; v1 submitted 18 November, 2021;
originally announced November 2021.
-
Primality tests, linear recurrent sequences and the Pell equation
Authors:
Danilo Bazzanella,
Antonio Di Scala,
Simone Dutto,
Nadir Murru
Abstract:
We study new primality tests based on linear recurrent sequences of degree two exploiting a matricial approach. The classical Lucas test arises as a particular case and we see how it can be easily improved. Moreover, this approach shows clearly how the Lucas pseudoprimes are connected to the Pell equation and the Brahamagupta product. We also introduce a new specific primality test, which we will…
▽ More
We study new primality tests based on linear recurrent sequences of degree two exploiting a matricial approach. The classical Lucas test arises as a particular case and we see how it can be easily improved. Moreover, this approach shows clearly how the Lucas pseudoprimes are connected to the Pell equation and the Brahamagupta product. We also introduce a new specific primality test, which we will call generalized Pell test. We perform some numerical computations on the new primality tests and, for the generalized Pell test, we do not any pseudoprime up to $10^{10}$.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
