首页/论文/1311.2018

arXiv 1311.20182013-11-08math.NT

函数域的欧氏极小的界

Bounds for the Euclidean minima of function fields

Piotr Maciak, Marina Monsurrò, Leonardo Zapponi

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文定义了函数域的欧氏极小，并给出了这种不变量的界。我们还表明，结果是类似的数域的情况下得到的。

英文摘要：

In this paper, we define Euclidean minima for function fields and give some bound for this invariant. We furthermore show that the results are analogous to those obtained in the number field case.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

高斯整数上的最小欧氏函数

The Minimal Euclidean Function on the Gaussian Integers

高斯整数上的最小欧氏函数

2018-02-22math.NT

交换数域的欧氏极小值的上界

Upper bounds for the Euclidean minima of abelian number fields

本文的目的是考察和推广有关阿贝尔数域的欧几里得极小值界的结果。特别地，我们给出了素功率导体阿贝尔数域的欧几里得最小值的上界。

2013-11-20math.NT

奇素幂导体交换域的欧氏极小值的上界

Upper bounds for the Euclidean minima of abelian fields of odd prime power conductor

本文的目的是给出奇素导体交换域的欧几里德极小值的上界。特别地，这些界限暗示了对导体p^r的全实数域的闵可夫斯基猜想，其中p是奇素数，r至少是2。

2013-10-22math.NT

高斯整数上的最小欧氏函数

The Minimal Euclidean Function on the Gaussian Integers

1949年，Motzkin证明了每个欧几里得整环$R$都有一个极小的欧氏函数$ϕ_R$。他表明，当$R = \mathbb{Z}$，最小的功能是$ϕ_{\mathbb{Z}}(x) = \lfloor \log_2 |x| \rfloor$。七十多年来，$ϕ_{\mathbb{Z}}$一直是数域中唯一一个显式计算的极小函数。给出了非平凡数域上第一个显式计算的极小函数$ϕ_{\mathbb{Z}[i]}$，它计算了任意高斯整数的最短可能$(1+i)$ -ary展开式的长度.我们还提出了一个算法，使用$ϕ_{\mathbb{Z}[i]}$计算高斯整数的最小$(1+i)$ -ary展开。我们只用初等方法来解决这些问题。

2021-10-25math.NT

高斯整数最小欧几里得函数的一个除法算法

A Division Algorithm for the Gaussian Integers' Minimal Euclidean Function

本文提出首个针对高斯整数环相对于其最小欧几里得函数的除法算法，使读者能据此执行欧几里得算法。

2025-02-28math.NT

代数数域的欧几里得极小值

Euclidean minima of algebraic number fields

该研究利用已有成果改进了代数数域欧几里得极小值的上界，新界依赖于数域的次数、符号、判别式及对应维数的Hermite常数。

2023-07-20math.NT

更多相关论文收起更多论文

二次整数环上最小欧几里得函数预像的大小

Sizes of Pre-Images of the Minimal Euclidean Function on the Gaussian Integers

Center for Computing Sciences/IDA（计算科学中心/ID）

本文基于前人研究，通过几何描述证明了二次整数环上最小欧几里得函数预像大小的公式。

2026-03-13math.NT

高斯整数上最小欧氏函数的初等证明

An Elementary Proof of the Minimal Euclidean Function on the Gaussian Integers

每个欧几里得整环$R$都有一个极小欧氏函数$ϕ_R$。一个配套文件\cite{Graves}介绍了一个公式来计算$ϕ_{\mathbb{Z}[i]}$。它是非平凡数域的整数环的最小欧几里得函数的第一个公式。它通过研究集合$B_n = \left \{ \sum_{j=0}^n v_j (1+i)^j : v_j \in \{0, \pm 1, \pm i \} \right \}$的几何来实现，然后应用Lenstra的结果$ϕ_{\mathbb{Z}[i]}^{-1}([0,n]) = B_n$来提供$ϕ_{\mathbb{Z}[i]}$的简短证明。伦斯特拉的证明需要大量的代数背景知识。本文利用集合$B_n$的新几何证明了$ϕ_{\mathbb{Z}[i]}$的公式，而不用Lenstra的结果.新的几何方法让我们只使用初等方法来证明伦斯特拉定理。然后，我们应用新的公式来回答Pierre Samuel的开放性问题：$ϕ_{\mathbb{Z}[i]}^{-1}(n)$的大小是多少？附录提供了答案表和相关的SAGE代码。

2022-05-27math.NT

立方数域上的Euclidean Algorithm

The Euclidean Algorithm in Cubic Number Fields

在本文中，我们提出了计算立方数域的欧氏极小值的算法;特别地，我们能够找到所有判别式为-999 < d < 10000的范数欧氏立方数域。

2012-02-27math.NT

关于欧氏极小的注记

Remarks on Euclidean Minima

数域$K$的欧几里德最小值$M(K)$是一个重要的数值不变量，它指示$K$是否是范数欧几里德的。当$K$是一个非CM领域的单位秩2或更高，Cerri表明$M(K)$，作为上确界的欧几里德频谱$Spec(K)$，是孤立的，并获得，可以计算在有限的时间。我们推广了Cerri的工作，应用最近的动力学结果Lindenstrauss和王。（1）对于单位秩为3或更高的任意数域$K$，$M(K)$是可分离的，并且Cerri算法在有限时间内计算出$M(K)$. (2)如果$K$是单位秩为2或更高的非CM字段，则$M(K)$的计算复杂性在$K$的度、判别式和调节器方面有界。

2012-07-21math.DSmath.NT

混合签名格的非齐次极小

Inhomogeneous minima of mixed signature lattices

我们建立了一个明确的上界的欧氏最小的数域，它依赖于，在一个精确的方式，只有它的判别式和数量的真实和复杂的嵌入。达文波特和斯温纳顿-戴尔证明了这种界限的存在。在全实域的情形下，Minkowski给出了一个最优界，并证明了它在小次域上的存在性。本文将McMullen方法推广到混合签名情形，得到了欧氏最小值的显式界。

2023-01-22math.NT

关于欧氏虚二次域上Gauss算法的最优性

On the Optimality of Gauss's Algorithm over Euclidean Imaginary Quadratic Fields

在本文中，我们继续我们以前的工作，减少代数格在虚二次域上的特殊情况下，格是跨越在一个二维的基。特别是，我们表明，高斯算法的algebraicvariant返回一个基础，对应于连续极小的格在多项式时间，如果选择的环是欧几里德。

2019-04-10cs.ITmath.ITmath.NT