[論文レビュー] Visibility of Lattice Points across Polynomials

Chahat Ahuja|arXiv (Cornell University)|Jan 22, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

要約: 本論文は格子点の可視性を直線から多項式曲線へ一般化し、多項式の最大公約数基準による可視性判定を導入し、密度結果と正確な計数を導出し、不可視点のブロックなど計算的側面を検討する。

ABSTRACT

The visibility of lattice points from the origin along a polynomial family of curves constitutes a significant generalization of visibility along straight lines. Following the classical notion, where the density equals 1/2, and its generalization to monomial curves of the form y = a x^b, where the density equals 1/(b+1), we study a family of polynomial curves defined by y = q(a_n x^n + ... + a_1 x), where q is a positive rational number. We introduce a new criterion based on a polynomial greatest common divisor condition that provides a lower bound on the number of visible lattice points in N^2. Conversely, we derive conditions under which a given lattice point becomes the next visible point along such a polynomial curve. Using the principle of inclusion-exclusion, we also obtain an exact double-sum formula for the number of pairs (a, b) less than or equal to N that are visible with respect to this polynomial family. Finally, we extend the framework to related problems and pose several open questions concerning gap distributions and quantitative bounds for non-visible points. This work provides a broader theoretical foundation for lattice point visibility beyond linear and monomial settings.

研究の動機と目的

• 非負係数を持つ多項式ファミリへ線分からの格子点の可視性の概念を拡張する。
• 多項式曲線に沿う可視点を識別するための最大公約数に基づく判定を開発する。
• 多項式ファミリ内の可視点の密度境界と正確な計数公式を確立する。
• 任意の与えられた点を可視とする多項式が存在することを実証し、点と多項式の可視性を研究する。
• 不可視点のブロックや未解決問題の可能性など、計算的パターンを調査する。

提案手法

• F(a_n,...,a_1) = { y = q P(x) : q in Q^+ } を P(x) = a_n x^n + ... + a_1 x, gcd(a_n,...,a_1)=1 として多項式ファミリを定義する。
• gcd_P(a,b) = max{ d : d | P(a) and d | b } を導入し、多項式に基づく可視性を捉える（補助定理 Lemma 3.2）。
• 非負係数を持つ P に対して gcd_P(a,b)=1 のとき可視であることを示す（補助定理 Lemma 3.2）。
• 線形場合についての可視密度の下限を示す（定理3.3, 3.4、引用あり）。
• (a,b) の個数で gcd(b, L_P(a)) = 1 を満たすものの一般的な漸近密度 E_P(N) = C_P N^2 + O(N log N) を導く（定理3.7）。
• 包含・排除を用いた二重和の正確な可視点数式を与える（定理3.8）。（m_{a,t} に対する）

実験結果

リサーチクエスチョン

• RQ1 非負係数を持つ多項式ファミリに対して、可視な格子点の密度はどの程度か。
• RQ2 gcd_P-型条件の下で、特定の多項式 P に沿って対 (a,b) が可視となる条件は何か。
• RQ3 有限領域内の可視点について、正確な計数公式や厳密な境界を得られるか。
• RQ4 任意の格子点 (a,b) を、可視性を保証するある多項式曲線上に実現できるか。もし実現可能なら、そのような多項式の構成法はどうなるか。
• RQ5 さまざまな多項式ファミリに対して、ブロック状の不可視点などの計算パターンは現れるか。どのように拡大・縮小するか。

主な発見

• 非負係数を持つ多項式 P に対して gcd_P(a,b)=1 で可視であることを補助定理3.2で認定できる。
• P(a) の最小公倍数 L_P(a) に対して gcd(b, L_P(a))=1 なら、t<a に対して b P(t)/P(a) は分数にならない（定理3.6）。
• 一般的な密度公式 E_P(N) = C_P N^2 + O(N log N) が成り立ち、C_P = ∏_p (1 − ρ_P(p)/p^2)（定理3.7）。
• 含-排除による正確な可視結合数の二重和表現（定理3.8）。
• 定理3.10（先行研究からの系）より、全多項式ファミリについて dens(L(a_n,...,a_1)) = 1 が成り立つ。
• 任意の点 (a,b) が可視性を保証するある多項式曲線上に位置し得ることを、構成的に示す（定理2.1 の議論と補助定理2.2）。
• 計算実験により、 Ax^2+Bx のいくつかのケースで有界領域内に 2x2 の不可視ブロックが現れ、不可視性の局所的クラスタリングを示す。