[論文レビュー] Integral Factorial Ratios

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

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

ひとこと要約

この論文は、すべての自然数 n に対して整数であるような階乗の積の比（整数階乗比）を、関連する超幾何関数とそのモノドロミー群の分析によって分類する。D=1（分母に1つ多い階乗）の場合の完全分類について、新しい初等的証明を提供し、D>1 の場合の比に含まれる項の数に対する上限を確立し、すべての such 比が有限個の低次元部分空間に含まれることを示し、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² ノルムの漸近的増加を精緻化し、リーマン・リウヴィル関数および乗法的数論的関数と関連付けること。

提案手法

• 整数階乗比と非負の床関数の和の等価性を用いる：すべての実数 x に対して ∑⌊aᵢx⌋ − ∑⌊bⱼx⌋ ≥ 0 が成り立つこと。
• 鋸歯関数 𝔞(x) = ∑ψ(aⱼx) を用い、ψ(x) = 1/2 − {x} と定義し、L² ノルム N(𝔞) = ∫₀¹ 𝔞(x)² dx を導入して階乗比の構造を分析する。
• リストを部分リストに分解する帰納的枠組みを用い、G(n;d) および Ḡ(n;d) を含む再帰的不等式を用いてノルムの下界を評価する。
• リーマン・リウヴィル関数 λ(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 リーマン・リウヴィル関数を用いた明示的構成により、最小ノルム G(n) のタイトな上界が得られるか？ そしてそれは階乗比の分類にどのように寄与するか？

主な発見

• D=1 の場合、本論文は分類について新しい初等的証明を提供する：3つの無限族と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 であるものも存在しない。