[论文解读] Rational integers as sums of units -- the quadratic case

Christopher Frei, Martin Widmer+1 more|arXiv (Cornell University)|Jan 14, 2026

Analytic Number Theory Research被引用 0

一句话总结

本文推导了可以写成至多 k 个单位之和的有理整数在 X 处的渐近计数，解决了实二次域整数环中的 Jarden–Narkiewicz 问题的二次情形。

ABSTRACT

How many natural numbers below $X$ can be written as a sum of $k$ units of the ring of integers of a given number field? We give the asymptotics as $X$ gets large for quadratic number fields. This solves a problem of Jarden and Narkiewicz from 2007 for quadratic number fields.

研究动机与目标

• 为二次数域的 Jarden–Narkiewicz 问题提供动机并给出研究方向。
• 确定在实二次域中可写成至多 k 个单位之和的整数的渐近计数 N_{L,k}(X)。
• 区分偶/奇 k 的情形及基元单位在渐近中的作用。
• 将 N_{L,k}(X) 与相应的 exact-sum 计数 ten_N_{L,k}(X) 联系起来并给出推论。
• 概述将问题归约为单位-迹和的思路并建立主要计数框架。

提出的方法

• 将单位和简化为不含消失子和的单位迹和的表示。
• 使用有限集合来捕捉非退化的单位方程，从而对单位-迹向量进行计数。
• 通过对元组的等价关系与命题 3 处理表示的非唯一性。
• 通过对有界迹且无消失子和的向量进行计数，得到主项。
• 给出定理 1，给出 N_{L,k}(X) 的渐近以及定理 1 的推论 1（带有 exact k 的 tilde 版本）。
• 作为副产物，讨论相关纤维问题的局部可解性问题。

实验结果

研究问题

• RQ1 在实二次域 L 的 O_L 中，|n| ≤ X 的整数 n 其可写成至多 k 个单位之和的渐近个数是多少？
• RQ2 基元单位 eta 如何决定渐近的增长速率和常数？
• RQ3 在 leading 常数和指数上，k 为偶数与奇数有何差异？
• RQ4 N_{L,k}(X) 与恰好 k 个单位表示的计数之间的关系是什么？
• RQ5 如何利用单位-迹和约简与单位方程有限性结果来获得精确的渐近？

主要发现

• 计数函数 N_{L,k}(X) 满足 N_{L,k}(X) = c_k (2 log X / log eta)^{rho} + O_k,L((log X)^{rho-1})，其中 rho = floor(k/2)。
• 当 k 为偶数时，主常数 c_k 等于 1/rho!；当 k 为奇数时，主常数 c_k 等于 3/rho!。
• 恰好 k 的情形的推论给出 tilde{N}_{L,k}(X) = tilde{c}_k (2 log X / log eta)^{rho} + O_k,L((log X)^{rho-1})，其中 tilde{c}_k = 1/rho!（偶数 k）及 tilde{c}_k = 2/rho!（奇数 k）。
• 该方法将单位和表示约化为有限集合的单位-迹和，且要求无消失子和，并对这些迹和给出渐近计数。
• 对表示的非唯一性通过元组上的等价关系来控制，在考虑对称性后得到正确的 leading-term 计数。
• 结果为二次（实）情形下对 Jarden 与 Narkiewicz 问题的具体解。