1,721 research outputs found
The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length
Theories of classification distinguish classes with some good structure
theorem from those for which none is possible. Some classes (dense linear
orders, for instance) are non-classifiable in general, but are classifiable
when we consider only countable members. This paper explores such a notion for
classes of computable structures by working out a sequence of examples.
We follow recent work by Goncharov and Knight in using the degree of the
isomorphism problem for a class to distinguish classifiable classes from
non-classifiable. In this paper, we calculate the degree of the isomorphism
problem for Abelian -groups of bounded Ulm length. The result is a sequence
of classes whose isomorphism problems are cofinal in the hyperarithmetical
hierarchy. In the process, new back-and-forth relations on such groups are
calculated.Comment: 15 page
Horizontal isogeny graphs of ordinary abelian varieties and the discrete logarithm problem
Fix an ordinary abelian variety defined over a finite field. The ideal class
group of its endomorphism ring acts freely on the set of isogenous varieties
with same endomorphism ring, by complex multiplication. Any subgroup of the
class group, and generating set thereof, induces an isogeny graph on the orbit
of the variety for this subgroup. We compute (under the Generalized Riemann
Hypothesis) some bounds on the norms of prime ideals generating it, such that
the associated graph has good expansion properties.
We use these graphs, together with a recent algorithm of Dudeanu, Jetchev and
Robert for computing explicit isogenies in genus 2, to prove random
self-reducibility of the discrete logarithm problem within the subclasses of
principally polarizable ordinary abelian surfaces with fixed endomorphism ring.
In addition, we remove the heuristics in the complexity analysis of an
algorithm of Galbraith for explicitly computing isogenies between two elliptic
curves in the same isogeny class, and extend it to a more general setting
including genus 2.Comment: 18 page
Complexity Theory and the Operational Structure of Algebraic Programming Systems
An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and non-deterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an algebraic data type, one which is designed to classify programming systems in terms of the complexity of their implementations. Secondly, we test our operational description by comparing the computations in deterministic and non-deterministic programming systems under certain space and time restrictions
- …