arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1001.4187math.NT
收藏

代数数域中基本单位的严格计算

Rigorous Computation of Fundamental Units in Algebraic Number Fields

Felix Fontein, Michael J. Jacobson

摘要:

我们提出了一种算法,无条件地计算的单位群的一个数字字段的判别$Δ_K$,给定一个满秩子群作为输入,在渐近更少的位操作比婴儿步的巨步算法的表示。如果假设输入代表完整的单位群,例如,在广义黎曼假设的假设下,那么我们的算法可以无条件地证明其正确性在预期的时间$O(Δ_K^{n/(4n + 2) + ε}) = O(Δ_K^{1/4 - 1/(8n+4) + ε})$,其中$n$是单位秩。

英文摘要:

We present an algorithm that unconditionally computes a representation of the unit group of a number field of discriminant $Δ_K$, given a full-rank subgroup as input, in asymptotically fewer bit operations than the baby-step giant-step algorithm. If the input is assumed to represent the full unit group, for example, under the assumption of the Generalized Riemann Hypothesis, then our algorithm can unconditionally certify its correctness in expected time $O(Δ_K^{n/(4n + 2) + ε}) = O(Δ_K^{1/4 - 1/(8n+4) + ε})$ where $n$ is the unit rank.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑