Journal of Complexity ( IF 1.8 ) Pub Date : 2019-10-21 , DOI: 10.1016/j.jco.2019.101440 Simon Abelard
We present a probabilistic Las Vegas algorithm for computing the local zeta function of a genus- hyperelliptic curve defined over with explicit real multiplication (RM) by an order in a degree- totally real number field.
It is based on the approaches by Schoof and Pila in a more favourable case where we can split the -torsion into kernels of endomorphisms, as introduced by Gaudry, Kohel, and Smith in genus 2. To deal with these kernels in any genus, we adapt a technique that the author, Gaudry, and Spaenlehauer introduced to model the -torsion by structured polynomial systems. Applying this technique to the kernels, the systems we obtain are much smaller and so is the complexity of solving them.
Our main result is that there exists a constant such that, for any fixed , this algorithm has expected time and space complexity as grows and the characteristic is large enough. We prove that and we also conjecture that the result still holds for .
中文翻译:
任意类中具有显式实数乘法的超椭圆曲线上的点计数
我们提出了一种概率性拉斯维加斯算法,用于计算某类的本地zeta函数- 定义的超椭圆曲线 与一个订单的显式实数乘法(RM) 在一定程度上 完全实数字段。
它基于Schoof和Pila的方法,在更有利的情况下,我们可以将 扭转成 高斯,科埃尔和史密斯在第2属中介绍的同种异形的内核。为了处理任何属中的这些内核,我们采用了作者,高迪和Spaenlehauer引入的建模技术。 结构多项式系统的扭转。将这种技术应用于内核,我们获得的系统要小得多,因此解决它们的复杂性也要小得多。
我们的主要结果是存在一个常数 这样,对于任何固定 ,此算法具有预期的时空复杂度 如 增长并且特性足够大。我们证明 而且我们也猜想结果仍然成立 。