arXiv subjects

Stephane Ballet

Publications and source records attributed to Stephane Ballet.

4 recordsLinked to original sources

arXiv2020

Optimization of the scalar complexity of Chudnovsky$^2$ multiplication algorithms in finite fields

We propose several constructions for the original multiplication algorithm of D.V. and G.V. Chudnovsky in order to improve its scalar complexity. We highlight the set of generic strategies who underlay the optimization of the scalar complexity, according to parameterizable criteria. As an example, we apply this analysis to the construction of type elliptic Chudnovsky$^2$ multiplication algorithms for small extensions. As a case study, we significantly improve the Baum-Shokrollahi construction for multiplication in $\mathbb F_{256}/\mathbb F_4$.

math.AG↗

arXiv2009

On the existence of dimension zero divisors in algebraic function fields defined over F_q

Let F/F_q be an algebraic function field of genus g defined over a finite field F_q. We obtain new results on the existence, the number and the density of dimension zero divisors of degree g-k in F where k is a positive integer. In particular, for q=2,3 we prove that there always exists a dimension zero divisor of degree \gamma-1 where \gamma is the q-rank of F. We also give a necessary and sufficient condition for the existence of a dimension zero divisor of degree g-k for a hyperelliptic field F in terms of its Zeta function.

math.NT↗

arXiv2004

On the existence of non-special divisors of degree $g$ and $g-1$ in algebraic function fields over $\F_q$

We study the existence of non-special divisors of degree $g$ and $g-1$ for algebraic function fields of genus $g\geq 1$ defined over a finite field $\F_q$. In particular, we prove that there always exists an effective non-special divisor of degree $g\geq 2$ if $q\geq 3$ and that there always exists a non-special divisor of degree $g-1\geq 1$ if $q\geq 4$. We use our results to improve upper and upper asymptotic bounds on the bilinear complexity of the multiplication in any extension $\F_{q^n}$ of $\F_q$, when $q=2^r\geq 16$.

math.NT↗

arXiv2004

Descent of the Definition Field of a Tower of Function Fields and Applications

Let us consider an algebraic function field defined over a finite Galois extension $K$ of a perfect field $k$. We give some conditions allowing the descent of the definition field of the algebraic function field from $K$ to $k$. We apply these results to the descent of the definition field of a tower of function fields.We give explicitly the equations of the intermediate steps of an Artin-Schreier type extension reduced from $\F_{q^2}$ to $\F_q$. By applying these results to a completed Garcia-Stichtenoth's tower we improve the upper bounds and the upper asymptotic bounds of the bilinear complexity of the multiplication in finite fields.

math.NT↗