[논문 리뷰] Rational integers as sums of units -- the quadratic case

Christopher Frei, Martin Widmer외 1명|arXiv (Cornell University)|2026. 01. 14.

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)와 관련하고 코릴러리를 제시한다.
• 유닛-트레이스 합으로의 축소를 개략적으로 제시하고 주된 계산 프레임워크를 확립한다.

제안 방법

• 단위의 합을 가지지 않는 소멸하는 부분합이 없는 단위의 트레이스 합으로 단위의 합을 환원한다.
• 비퇴화(nondegenerate) 단위 방정식을 포착하는 유한 집합을 사용하여 단위-트레이스 벡터를 셈한다.
• 튜플에 대한 동치관계와 제3항(Proposition 3)을 통해 표현의 비고유성을 다룬다.
• 경계 트레이스를 가지며 소멸하는 부분합이 없는 벡터들에 대한 계산으로 주항을 도출한다.
• 정리 1을 증명하여 N_{L,k}(X)의 점근과 함께 tilde 버전(정확 k)에 대한 코릴러리 1을 제시한다.
• 관련된 섬유 문제의 국소 가해가능성에 대한 고려를 부수적으로 논의한다.

실험 결과

연구 질문

• RQ1 실수 이차체 L의 O_L에서 최대 k개의 단위의 합으로 표현될 수 있는 |n| ≤ X인 정수의 점근적 개수는 무엇인가?
• RQ2 기본 단위 eta가 점근식의 증가율과 상수에 어떻게 관여하는가?
• RQ3 짝수와 홀수인 경우가 선도 상수와 지수에서 어떻게 다른가?
• RQ4 N_{L,k}(X)와 정확히 k개의 단위를 사용하는 표현의 개수 사이의 관계는 무엇인가?
• RQ5 단위-트레이스-합 축소와 단위 방정식 유한성 결과를 어떻게 활용하여 정확한 점근값을 얻을 수 있는가?

주요 결과

• The counting function N_{L,k}(X) satisfies N_{L,k}(X) = c_k (2 log X / log eta)^{rho} + O_k,L((log X)^{rho-1}), where rho = floor(k/2).
• The leading constant c_k equals 1/rho! if k is even, and 3/rho! if k is odd.
• A corollary for the exact-k case yields tilde{N}_{L,k}(X) = tilde{c}_k (2 log X / log eta)^{rho} + O_k,L((log X)^{rho-1}), with tilde{c}_k = 1/rho! for even k and 2/rho! for odd k.
• The approach reduces unit-sum representations to finite collections of unit-trace sums with no vanishing subsums and uses asymptotic counts for these traces.
• Non-uniqueness of representations is controlled via an equivalence relation on tuples, yielding the correct leading-term count after accounting for symmetries.
• The results provide a concrete solution to Problem C of Jarden and Narkiewicz in the quadratic (real) case.