[论文解读] 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.

研究动机与目标

• 将晶格点可见性的概念从直线推广到具有非负系数的多项式族。
• 提出一个基于 gcd 的判据，以识别沿着多项式曲线的可见点。
• 确立在多项式族中的可见点密度上界和精确计数公式。
• 证明存在使任意给定点可见的多项式，并研究点对多项式的可见性。
• 研究计算模式，包括不可见点的块状结构及潜在的开放问题。

提出的方法

• 定义多项式族 F(a_n,...,a_1) = { y = q P(x) : q ∈ 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) 且 d | b } 以捕捉基于多项式的可见性（引理 3.2）。
• 在系数非负的 P 下，当 gcd_P(a,b)=1 时证明可见性（引理 3.2）。
• 给出线性情况的可见点密度下界（定理 3.3、3.4，引用）。
• 给出一般渐进密度结果 E_P(N) = C_P N^2 + O(N log N) 来计数 gcd(b, L_P(a))=1 的点对（定理 3.7）。
• 给出使用包含排除原理在 m_{a,t} 上的双重求和公式以精确计数可见点对（定理 3.8）。

实验结果

研究问题

• RQ1 在具有非负系数的多项式族中，存在可见晶格点的密度是多少？
• RQ2 在何种 gcd_P 型条件下，点对 (a,b) 在给定多项式 P 上是可见的？
• RQ3 在有限区域内，我们能否获得可见点的精确计数公式或紧界？
• RQ4 是否可以让任何给定的晶格点 (a,b) 在某些多项式曲线上可见，以及如何构造这样的多项式？
• RQ5 对多项式族的不同情形，出现哪些计算模式（如不可见点的块）以及它们的扩展性如何？

主要发现

• 对于具有非负系数的多项式 P，可以通过 gcd_P(a,b)=1 来认证可见性（引理 3.2）。
• 当 gcd(b, L_P(a))=1，其中 L_P(a) 是 P 值的最小公倍数时，便有对所有 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 多项式的有界区域内揭示 2×2 不可见块，显示不可见性在局部聚集中的现象。