3,628 research outputs found
Discrete logarithms in curves over finite fields
A survey on algorithms for computing discrete logarithms in Jacobians of
curves over finite fields
Critical connectedness of thin arithmetical discrete planes
An arithmetical discrete plane is said to have critical connecting thickness
if its thickness is equal to the infimum of the set of values that preserve its
-connectedness. This infimum thickness can be computed thanks to the fully
subtractive algorithm. This multidimensional continued fraction algorithm
consists, in its linear form, in subtracting the smallest entry to the other
ones. We provide a characterization of the discrete planes with critical
thickness that have zero intercept and that are -connected. Our tools rely
on the notion of dual substitution which is a geometric version of the usual
notion of substitution acting on words. We associate with the fully subtractive
algorithm a set of substitutions whose incidence matrix is provided by the
matrices of the algorithm, and prove that their geometric counterparts generate
arithmetic discrete planes.Comment: 18 pages, v2 includes several corrections and is a long version of
the DGCI extended abstrac
A generalization of Voronoi's reduction theory and its application
We consider Voronoi's reduction theory of positive definite quadratic forms
which is based on Delone subdivision. We extend it to forms and Delone
subdivisions having a prescribed symmetry group. Even more general, the theory
is developed for forms which are restricted to a linear subspace in the space
of quadratic forms. We apply the new theory to complete the classification of
totally real thin algebraic number fields which was recently initiated by
Bayer-Fluckiger and Nebe. Moreover, we apply it to construct new best known
sphere coverings in dimensions 9,..., 15.Comment: 31 pages, 2 figures, 2 tables, (v4) minor changes, to appear in Duke
Math.
Perspectives for proof unwinding by programming languages techniques
In this chapter, we propose some future directions of work, potentially
beneficial to Mathematics and its foundations, based on the recent import of
methodology from the theory of programming languages into proof theory. This
scientific essay, written for the audience of proof theorists as well as the
working mathematician, is not a survey of the field, but rather a personal view
of the author who hopes that it may inspire future and fellow researchers
- …