10,790 research outputs found
On the Complexity of the Generalized MinRank Problem
We study the complexity of solving the \emph{generalized MinRank problem},
i.e. computing the set of points where the evaluation of a polynomial matrix
has rank at most . A natural algebraic representation of this problem gives
rise to a \emph{determinantal ideal}: the ideal generated by all minors of size
of the matrix. We give new complexity bounds for solving this problem
using Gr\"obner bases algorithms under genericity assumptions on the input
matrix. In particular, these complexity bounds allow us to identify families of
generalized MinRank problems for which the arithmetic complexity of the solving
process is polynomial in the number of solutions. We also provide an algorithm
to compute a rational parametrization of the variety of a 0-dimensional and
radical system of bi-degree . We show that its complexity can be bounded
by using the complexity bounds for the generalized MinRank problem.Comment: 29 page
Elliptic periods for finite fields
We construct two new families of basis for finite field extensions. Basis in
the first family, the so-called elliptic basis, are not quite normal basis, but
they allow very fast Frobenius exponentiation while preserving sparse
multiplication formulas. Basis in the second family, the so-called normal
elliptic basis are normal basis and allow fast (quasi linear) arithmetic. We
prove that all extensions admit models of this kind
Arithmetic positivity on toric varieties
We continue with our study of the arithmetic geometry of toric varieties. In
this text, we study the positivity properties of metrized R-divisors in the
toric setting. For a toric metrized R-divisor, we give formulae for its
arithmetic volume and its chi-arithmetic volume, and we characterize when it is
arithmetically ample, nef, big or pseudo-effective, in terms of combinatorial
data. As an application, we prove a Dirichlet's unit theorem on toric
varieties, we give a characterization for the existence of a Zariski
decomposition of a toric metrized R-divisor, and we prove a toric arithmetic
Fujita approximation theorem.Comment: 53 page
Fast Arithmetics in Artin-Schreier Towers over Finite Fields
An Artin-Schreier tower over the finite field F_p is a tower of field
extensions generated by polynomials of the form X^p - X - a. Following Cantor
and Couveignes, we give algorithms with quasi-linear time complexity for
arithmetic operations in such towers. As an application, we present an
implementation of Couveignes' algorithm for computing isogenies between
elliptic curves using the p-torsion.Comment: 28 pages, 4 figures, 3 tables, uses mathdots.sty, yjsco.sty Submitted
to J. Symb. Compu
Computational linear algebra over finite fields
We present here algorithms for efficient computation of linear algebra
problems over finite fields
Finiteness Theorems for Deformations of Complexes
We consider deformations of bounded complexes of modules for a profinite
group G over a field of positive characteristic. We prove a finiteness theorem
which provides some sufficient conditions for the versal deformation of such a
complex to be represented by a complex of G-modules that is strictly perfect
over the associated versal deformation ring.Comment: 25 pages. This paper is connected to the paper arXiv:0901.010
- âŠ