[論文レビュー] Abstract factorials

Angelo B. Mingarelli|arXiv (Cornell University)|May 29, 2007

Rings, Modules, and Algebras参考文献 6被引用数 4

ひとこと要約

本稿では、正の整数の部分集合における抽象階乗の一般枠組みを導入し、階乗集合を用いて定義し、任意のこのような抽象階乗の逆数の和が常に無理数に収束することを証明する。この理論は広く適用可能であり、素数、フィボナッチ数、高度合成数、および約数関数を含む系列の無理数性を示す。半群構造と一般化階乗関数の凹性条件を用いる。

ABSTRACT

A commutative semigroup of abstract factorials is defined in the context of the ring of integers. We study such factorials for their own sake, whether they are or are not connected to sets of integers. Given a subset X of the positive integers we construct a "factorial set" with which one may define a multitude of abstract factorials on X. We study the possible equality of consecutive factorials, a dichotomy involving the limit superior of the ratios of consecutive factorials and we provide many examples outlining the applications of the ensuing theory; examples dealing with prime numbers, Fibonacci numbers, and highly composite numbers among other sets of integers. One of our results states that given any abstract factorial the series of reciprocals of its factorials always converges to an irrational number. Thus, for example, for any positive integer k the series of the reciprocals of the k-th powers of the cumulative product of the divisors of the numbers from 1 to n is irrational.

研究の動機と目的

• 階乗集合を用いて、古典的階乗を超える正の整数の部分集合における抽象階乗の一般クラスを定義する。
• 任意の抽象階乗列の逆数の和が、その背後にある集合にかかわらず、常に無理数に収束することを確立する。
• 抽象階乗の半群構造を用いて、組み合わせた階乗列の無理数性結果を導出する。
• 既知の一般化階乗（例：Bhargavaのもの）を含むがそれらを拡張する包括的な枠組みを提供する。
• 素数、高度合成数、および累積的約数積を含む特定の系列の無理数性を証明する。

提案手法

• 抽象階乗を $!_a: \mathbb{N} \to \mathbb{Z}^+$ と定義し、乗法的閉性および二項係数との整合性を保証する最小条件を満たす。
• 任意の部分集合 $X \subseteq \mathbb{Z}^+$ から階乗集合を構成し、1つの集合から無限に多くの抽象階乗を生成可能にする。
• 抽象階乗の半群性質を用いて、$s_j \in \mathbb{N}$ ですべてがゼロでない場合の $\sum_{n=0}^\infty \frac{1}{\prod_{j=1}^k n!_j^{s_j}}$ 形式の和の無理数性を証明する。
• 連続する階乗の比の上極限に関する二分法を用い、無限に同じ階乗が続くのを避けるために成長挙動を分析する。
• 関数 $f: \mathbb{Z}^+ \times \mathbb{Z}^+ \to \mathbb{Z}^+$ における凹性条件（例：$f(n,q) = \binom{n+q-1}{q}$）を活用し、一般化二項係数の整数性を保証し、関連級数の無理数性を証明する。
• 部分和の整数近似に基づく背理法を用いて無理数性を証明し、特に全和が有理数であると仮定した場合に $\alpha_k < 1$ を示す。

実験結果

リサーチクエスチョン

• RQ1 任意の正の整数の部分集合に対して、古典的および既知の一般化階乗を一般化する抽象階乗の一般理論を構築可能か？
• RQ2 抽象階乗列の逆数の和が無理数に収束する条件は何か？
• RQ3 抽象階乗の半群構造を用いて、組み合わせた階乗級数の無理数性を証明可能か？
• RQ4 階乗の成長を定義する関数の凹性が、一般化二項係数の整数性を保証するために果たす役割は何か？
• RQ5 素数、フィボナッチ数、または高度合成数のような特定の系列が、その逆数級数が無理数である抽象階乗を生じるか？

主な発見

• 任意の抽象階乗列の逆数の和は、その背後にある集合や構成にかかわらず、常に無理数に収束する。
• 任意の正の整数 $b, q, k$ に対して、$\sum_{n=1}^\infty \frac{1}{n! \, q^{\sum_{j=1}^n d(j)}}$ は無理数である。ここで $d(j)$ は $j$ の約数の個数である。
• 素数の $n$ 番目を $p_n$ とすると、$\sum_{n=1}^\infty \frac{1}{p_n!}$ は無理数であり、同様に $\sum_{n=1}^\infty \frac{1}{\mathcal{F}(n)^k}$（$\mathcal{F}(n)$ は最初の $n$ 個のフィボナッチ数の積）も無理数である。
• 任意の $q \in \mathbb{Z}^+$ および関数 $f$ に対して、$f(x+y,q) \geq f(x,q) + f(y,q)$ を満たす場合（例：$f(n,q) = \binom{n+q-1}{q}$）、$\sum_{n=1}^\infty \frac{1}{q^{f(n,q)} \, n!}$ は無理数である。
• $h_i$ が高度合成数であるとき、$\sum_{n=1}^\infty \frac{1}{\prod_{i=1}^n h_i^{\lfloor n/i \rfloor}}$ は無理数である。これは、その階乗集合の自己階乗性に起因する。
• 一般化二項係数 $\binom{n}{k}_a = \left(\frac{n!}{k!}\right)^{qk} \cdot \left(\frac{n!}{(n-k)!}\right)^{q(n-k)}$ は、$n!_a = n!^{qn}$ のとき整数であり、抽象階乗枠組みの妥当性を保証する。