[论文解读] Integral Factorial Ratios

K. Soundararajan|arXiv (Cornell University)|Jan 16, 2019

Analytic Number Theory Research参考文献 8被引用 4

一句话总结

本文通过分析相关超几何函数及其单值群，对积分阶乘比（对所有自然数 n 均为整数的阶乘乘积之比）进行分类。它为 D=1 的情况（分母中多一个阶乘）提供了全新的初等证明，对 D>1 的情况建立了因子总数的界，并表明所有此类比值均位于有限个低维子空间中，且基于 D 的总项数增长具有显式约束。

ABSTRACT

This paper describes a new approach to classifying integral factorial ratio, obtaining in particular a direct proof of a result of Bober. These results generalize an observation going back to Chebyshev that $(30n)!n!/((15n)!(10n)!(6n)!)$ is an integer for all $n$. Due to the work of Rodriguez-Villegas and Beukers and Heckman, this problem is closely related to classifying hypergeometric functions with finite monodromy groups, and the result of Bober was originally derived as a consequence of the work of Beukers--Heckman. The new proof is elementary and makes partial progress on other related questions.

研究动机与目标

• 为 D=1 时积分阶乘比的完整分类提供一种新的、初等的、自包含的证明，解决 Rodriguez–Villegas 提出的问题。
• 为 D>1 时积分阶乘比中分子与分母的阶乘总数 K+L 建立定量界，改进先前结果。
• 证明所有固定 D 的本原积分阶乘比必位于 R^{K+L} 中有限个低维子空间中，且维数不超过 3D²−1。
• 改进与整数列表相关的锯齿函数的最小 L² 范数的渐近行为，将其与 Liouville 函数及乘法数论函数联系起来。

提出的方法

• 利用积分阶乘比与非负下取整整函数和之间的等价性：对所有实数 x，有 ∑⌊aᵢx⌋ − ∑⌊bⱼx⌋ ≥ 0。
• 引入锯齿函数 𝔞(x) = ∑ψ(aⱼx) 的 L² 范数 N(𝔞) = ∫₀¹ 𝔞(x)² dx，其中 ψ(x) = 1/2 − {x}，以分析阶乘比的结构。
• 基于将列表分解为子列表并利用涉及 G(n;d) 和 Ḡ(n;d) 的递归不等式，建立基于归纳的框架，从下界估计范数。
• 通过 Liouville 函数 λ(d) 构造显式例子，推导出非退化长度为 n 的列表的最小范数 G(n) 的上界。
• 利用素数定理和乘法数论估计，对乘积 f(N) = ∏ₚ f(pʳ) 进行界约束，推导出 G(n) 的渐近行为。
• 利用对任意阶乘比有 N(𝔞) ≥ D²/4（其中 D = L−K）的事实，并结合范数界，约束 K+L 和子空间维数。

实验结果

研究问题

• RQ1 当 D=1 时，所有本原积分阶乘比是什么？能否不依赖单值群理论进行分类？
• RQ2 对于 D>1 的本原积分阶乘比，K+L 最大可能为多大？该和的精确上界是什么？
• RQ3 所有具有固定 D 的此类积分阶乘比位于哪些子空间中？这些子空间的最大可能维数是多少？
• RQ4 长度为 n 的整数列表相关锯齿函数的最小 L² 范数的渐近行为如何？它与数论函数有何关联？
• RQ5 使用 Liouville 函数的显式构造能否给出最小范数 G(n) 的紧上界？它们如何有助于阶乘比的分类？

主要发现

• 对于 D=1，本文提供了分类的全新初等证明：三个无限族和 52 个孤立例子，确认了 Bober 的早期结果。
• 任意 D>1 的积分阶乘比中，阶乘总数 K+L 满足界 (1+o(1)) · (18e²ᵞ/π²) D² (log log(D+2))²，优于先前结果。
• 所有 D>1 的本原积分阶乘比位于 R^{K+L} 中有限个子空间中，其维数至多为 3D²−1。
• 对于 D=2，若 K+L≥82 则不存在此类比值，若 K+L≥76 则最多仅有有限个。
• 非退化长度为 n 的列表的最小 L² 范数 G(n) 满足 G(n) ∼ (π²/(72e²ᵞ)) · n² / (log log n)²，且存在显式构造达到此渐近行为。
• G(n) > 1 对所有 n≥76 成立，意味着当 D=2 且 K+L≥76 时不存在本原积分阶乘比，且当 D=2 且 K+L≥82 时亦不存在。