[论文解读] Asymptotic estimates for phi functions for subsets of {m+1, m+2,...,n}

Melvyn B. Nathanson, Brooke Orosz|arXiv (Cornell University)|Sep 18, 2007

Analytic Number Theory Research参考文献 1被引用 9

一句话总结

本文为四个组合函数提供了显式公式和渐近估计，这些函数用于计数区间 {m+1, ..., n} 中互素子集以及最大公约数与 n 互素的子集。通过莫比乌斯反演和组合恒等式，推导出 f(m,n)、fₖ(m,n)、Φ(m,n) 和 Φₖ(m,n) 的精确表达式及紧密误差界，将 Nathanson 的 φ 函数推广至平移区间，提升了对称性与精确度。

ABSTRACT

Let f(m,n) denote the number of relatively prime subsets of {m+1,m+2,...,n}, and let Phi(m,n) denote the number of subsets A of {m+1,m+2,...,n} such that gcd(A) is relatively prime to n. Let f_k(m,n) and Phi_k(m,n) be the analogous counting functions restricted to sets of cardinality k. Simple explicit formulas and asymptotic estimates are obtained for these four functions.

研究动机与目标

• 将 Nathanson 的 φ 函数——计数 {1,…,n} 中互素子集及最大公约数与 n 互素的子集——从 {1,…,n} 扩展至平移区间 {m+1,…,n}，以提升对称性与清晰度。
• 利用莫比乌斯反演和容斥原理，推导出四个函数 f(m,n)、fₖ(m,n)、Φ(m,n) 和 Φₖ(m,n) 的精确闭式表达。
• 为每个函数建立紧密的渐近误差界，量化其与区间内所有子集或 k 元子集总数的偏差。
• 通过将函数重新定义为从 m+1 而非 m 开始，推广 El Bachraoui 的早期结果，得到更优雅且对称的公式。
• 提供对大 n 和变化的 m 有效的定量估计，关键界中明确体现 n 的最小素因子的影响。

提出的方法

• 应用莫比乌斯反演，将 f(m,n) 表示为 ∑_{d=1}^n μ(d) (2^{[n/d]−[m/d]} − 1)，利用对公共因子的容斥原理。
• 利用二项式系数的组合恒等式，推导出 fₖ(m,n) = ∑_{d=1}^n μ(d) ⎛⎜[n/d]−[m/d]⎞⎟, k，将 k 元子集与缩放区间关联。
• 对于 Φ(m,n)，将求和限制在 n 的因子 d 上，推导出 Φ(m,n) = ∑_{d|n} μ(d) 2^{(n/d)−[m/d]}，利用 gcd(A) 与 n 互素的条件。
• 通过 Φₖ(m,n) = ∑_{d|n} μ(d) ⎛⎜n/d − [m/d]⎞⎟, k，将 k 元子集推广至莫比乌斯反演下的互素因子子集。
• 利用排除偶数或最小素因子 p* 的倍数的子集的事实，建立误差界，得到上下界估计。
• 使用不等式 [x] − [y] ≤ [x−y] + 1，将误差项以 [(n−m)/3] 或 [(n−m)/(p*+1)] 的形式有界，确保误差项相对于主项呈次指数增长。

实验结果

研究问题

• RQ1 {m+1, ..., n} 中互素子集的确切数量是多少？其与所有非空子集总数的偏差如何？
• RQ2 如何以闭式表达 {m+1, ..., n} 中 k 元互素子集的数量？用二项式系数近似时的误差是多少？
• RQ3 有多少个子集 A ⊆ {m+1, ..., n} 满足 gcd(A) 与 n 互素？其与所有子集总数的关系如何？
• RQ4 k 元子集中 gcd 与 n 互素的数量与二项式系数 C(n−m, k) 相比如何？该近似的误差是多少？
• RQ5 n 的最小素因子 p* 在改进 Φ(m,n) 和 Φₖ(m,n) 的渐近估计中起什么作用？

主要发现

• 函数 f(m,n) 的精确值为 ∑_{d=1}^n μ(d) (2^{[n/d]−[m/d]} − 1)，且满足 0 ≤ 2^{n−m} − 2^{[n/2]−[m/2]} − f(m,n) ≤ 2n ⋅ 2^{[(n−m)/3]}，表明其在所有非空子集总数附近高度集中。
• 对于 k 元子集，fₖ(m,n) = ∑_{d=1}^n μ(d) ⎛⎜[n/d]−[m/d]⎞⎟, k，误差界为 n ⋅ C([(n−m)/3]+2, k)，表明其由 C(n−m, k) 减去偶数子集修正项强近似。
• 函数 Φ(m,n)（计数 gcd 与 n 互素的子集）的精确值为 ∑_{d|n} μ(d) ⋅ 2^{(n/d)−[m/d]}，且满足 0 ≤ 2^{n−m} − 2^{(n/p*)−[m/p*]} − Φ(m,n) ≤ 2n ⋅ 2^{[(n−m)/(p*+1)]}，其中 p* 为 n 的最小素因子。
• 对于 k 元子集，Φₖ(m,n) = ∑_{d|n} μ(d) ⎛⎜n/d − [m/d]⎞⎟, k，其近似误差（以 C(n−m, k) − C(n/p* − [m/p*], k) 为基准）至多为 n ⋅ C([(n−m)/(p*+1)]+1, k)。
• 边界是紧致的：误差项在 (n−m) 上呈次指数增长，且对 p* 的依赖确保当 n 的最小素因子较大时估计更紧密。
• 将函数重新定义为从 m+1 而非 m 开始，得到更对称且更优美的公式，在不损失一般性的前提下，优于 El Bachraoui 的原始表述。