[論文レビュー] 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) を対応する正確和のカウント tilde N_{L,k}(X) と結びつけ、系の系論的推論を提供する。
• 単位和の総和への還元と主要な計数の枠組みを概説する。

提案手法

• 単位の和を vanishing subsums のない単位の迹の和へ還元する。
• 非退化な単位方程式を捉える有限集合を用いて単位-迹ベクトルを計数する。
• 表現の非一意性はタプル上の同値関係と命題3によって制御する。
• 迹が有界で vanishing subsums のないベクトルの計数によって主項を導出する。
• 定理1 を導出し、漸近 N_{L,k}(X) および付随の定理 1（正確な k の tilde 版）を与える。
• 関連するファイバー問題の局所解法性を副次的に論じる。

実験結果

リサーチクエスチョン

• RQ1 実数二次体 L に対して |n| ≤ X となる整数 n が、最大 k 個の単位の和として表現できる数の漸近はどうなるか。
• RQ2 基本単位 η が漸近の成長率と定数にどのように影響するか。
• RQ3 k が偶数と奇数で主定数およびべき指数はどう異なるか。
• RQ4 正確に k 個の単位を使う表現のカウントと N_{L,k}(X) との関係はどうなるか。
• RQ5 unit-trace-sum の還元と単位方程式有限性の結果を、正確な漸近を得るためにどのように活用できるか。

主な発見

• N_{L,k}(X) は N_{L,k}(X) = c_k (2 log X / log η)^{ρ} + O_k,L((log X)^{ρ-1}) であり、ρ = floor(k/2)。
• 主成分 c_k は k が偶数のとき 1/ρ!、奇数のとき 3/ρ!。
• 正確 k の場合の系は tilde{N}_{L,k}(X) = tilde{c}_k (2 log X / log η)^{ρ} + O_k,L((log X)^{ρ-1}) を与え、 tilde{c}_k = 1/ρ!（偶数）、2/ρ!（奇数）。
• 単位和の表現を、有界な迹を持つ有限集合の単位-迹和へ還元し、これらの迹の漸近的計数を用いる。
• 表現の非一意性はタプル上の同値関係で制御され、対称性を考慮した後に主項の正しい計数を得る。
• この結果は、二次実数的場合における Jarden–Narkiewicz の問題 C の具体的な解を提供する。