超階乗

数学における自然数の組合せ論的函数（二項係数・階乗類似函数）として、超階乗（ちょうかいじょう、英: superfactorial）n$ は階乗の拡張となるものである。ただし、幾つかの異なる定義が存在する。

ピックオーバーの超階乗

(クリフォード・ピックオーバー)（英語版）は1995年に著書 Keys to Infinity^[1] において、次の超階乗を定義するために新しい表記 n$ を用いた。^[2]

${\displaystyle n\$=\underbrace {{n!}^{{n!}^{\,\textstyle \cdot ^{\,\textstyle \cdot ^{\,\textstyle \cdot ^{\,n!}}}}}} _{n!\,{\text{個　の}}\ \,n!}}$ 

ガンマ関数、ハイパー演算子、テトレーション、クヌースの矢印表記、コンウェイのチェーン表記を用いた場合は次のようになる。

• ${\displaystyle n![4]n!}$ 
• ${\displaystyle n![5]2}$ 
• ${\displaystyle {{}^{n!}n!}}$ 
• ${\displaystyle n!\uparrow \uparrow n!}$ 
• ${\displaystyle n!\uparrow \uparrow \uparrow 2}$ 
• ${\displaystyle \Gamma (n+1)\uparrow \uparrow \uparrow 2}$ 
• ${\displaystyle n!\rightarrow n!\rightarrow 2}$ 
• ${\displaystyle n!\rightarrow 2\rightarrow 3}$ 
• ${\displaystyle \Gamma (n+1)\rightarrow 2\rightarrow 3}$ 

最初のほうのいくつかを見れば：

${\displaystyle {\begin{aligned}0\$&={}^{0!}0!={}^{1}1=1\\1\$&={}^{1!}1!={}^{1}1=1\\2\$&={}^{2!}2!={}^{2}2=2^{2}\\3\$&={}^{3!}3!={}^{6}6=6^{6^{6^{6^{6^{6}}}}}\\4\$&={}^{4!}4!={}^{24}24=24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24}}}}}}}}}}}}}}}}}}}}}}}\end{aligned}}}$ 

このように定義通りの冪記法では表記上も長大な長さの冪指数の塔が現れることになるが、以下これらの値が n の増大に従って急速に巨大数となっていくことを見よう。

0$,1$,2$

超階乗は通常は巨大な数になるが、0, 1, 2 の超階乗はそれぞれ 0$ = 1$ = 1, 2$ = 4 と小さな値にしかならない。

3$ の下4桁

3$ は、近似的に非常に粗く見積もっても ${\textstyle 6^{6^{6^{6^{46656}}}}\approx 6^{6^{6^{2.7\times 10^{36305}}}}}$  となり、これは宇宙論で使われた最大の数（複数の宇宙の全質量を1個のブラックホールに圧縮しそれが蒸発した後に、ポアンカレの回帰定理に従い再びブラックホールができる時間）${\displaystyle {10}^{{10}^{{10}^{{10}^{{10}^{1.1}}}}}\approx {10}^{{10}^{{10}^{3883775501690}}}\leq {6}^{{6}^{{6}^{{6}^{{6}^{1.62214}}}}}}$ ^[3]よりもさらに巨大であり、現実世界の現象で例えることなど無理のような巨大な数とはいえ、その構造は驚くほど単純である。すなわち、多数の「6」のみの掛け合わせに過ぎない。「6」を順次掛けていって、下4桁の数の出現の様子を精査すると、最初から数えて4番目の数から125個の数が循環^{[注釈 1]}して現れる。この性質に着目すると、 3$ そのものは計算によって全ての桁を求めることは事実上不可能であるが、その下4桁の数が「8656」であることは直ぐに分かる。

5$ の下位桁の数

5!=120 であり、10 の倍数でもあるため、 5$ および 6$ 以降もまた、末尾で多数の 0 が連続して並ぶ巨大数であることがわかる。

5$ は 3$ や 4$ よりさらに巨大な数であるため、桁数の正確な計算すら事実上不可能であるが、120ⁿ = 12ⁿ × 10ⁿ であるため、下位約48.09％の桁で 0 が連続して並ぶ自然数である^{[注釈 2]}。

8$, 9$

${\displaystyle 2\uparrow \uparrow \uparrow \uparrow 3}$ は${\displaystyle 2\uparrow \uparrow 65,536}$ なので、${\displaystyle 8\$=8!\uparrow \uparrow 8!=8!\uparrow \{8!\uparrow \uparrow (8!-1)\}=8!^{8!\uparrow \uparrow 40319}=2!^{\log _{2!}(8!\uparrow \uparrow 40319)}}$ よりもさらに巨大な数だが、9$よりは遥かに小さい。

スローンとプラウフの超階乗

ニール・スローンとサイモン・プラウフは1995年に The Encyclopedia of Integer Sequences^[4] において、最初の n 個の階乗の積として超階乗を定義した。

${\displaystyle n\$=\operatorname {sf} (n):=\prod _{k=1}^{n}k!.}$ 

この超階乗は 1, 2, …, n の差積（ファンデルモンド行列式）としても与えられる:^[5]

${\displaystyle \operatorname {sf} (n)=\Delta (1,2,\dotsc ,n)=\prod _{0\leq i<j\leq n}(j-i).}$ 

この超階乗は次の式を満たす。ここで G はバーンズのG関数、H は(ハイパー階乗)である。^[6]

${\displaystyle \operatorname {sf} (n)=G(n+2)={\frac {(n!)^{n-1}}{H(n-1)}}.}$ 

最初の幾つかの値は次のように与えられる。

1, 1, 2, 12, 288, 34560, 24883200, 125411328000, … ((A000178))

注

注釈

1. ^ 一般に任意の整数の下4桁を考えることは、その整数を群 (${\displaystyle \mathbb {Z} }$ /10000${\displaystyle \mathbb {Z} }$ )^× の元に落として考えるのと等価で、この群の位数は ${\textstyle \varphi (10000)=10000\left(1-{\dfrac {1}{2}}\right)\left(1-{\dfrac {1}{5}}\right)=4000}$  だから、各整数の下4桁に注目したときの循環節の長さは 4000 の約数だが、φ(16) = 8, φ(625) = 500 なので、殆どの整数で循環節の長さは 4000 よりもずっと少ない。
2. ^ 5$ は ${\displaystyle 5\$=120\uparrow \uparrow 120=120^{120\uparrow \uparrow 119}=12^{120\uparrow \uparrow 119}\times 10^{120\uparrow \uparrow 119}}$  となるため、下${\displaystyle 120\uparrow \uparrow 119}$ 桁が 0 であり、その割合は正確には ${\displaystyle {\dfrac {120\uparrow \uparrow 119}{10^{-2}(\lfloor \left(120\uparrow \uparrow 119\right)\log _{10}(120)\rfloor +1)}}(\approx 48.0958551305)\%}$  である。

出典

1. ^ Pickover, Clifford A. (September 29, 1995). Keys to Infinity. New York: John Wiley & Sons. ISBN (978-0471118572) 
2. ^ Pickover 1995, p. 102.
3. ^ 桁数が非常に大きいため、時間の単位をプランク時間・秒・年のいずれにしても無視できる範囲で近似する。
4. ^ Sloane, Neil J. A.; Plouffe, Simon (1995), The Encyclopedia of Integer Sequences, San Diego: Academic Press, ISBN (0-12-558630-2), https://oeis.org/book.html 
5. ^ Weisstein, Eric W. "Vandermonde Determinant". MathWorld (英語).
6. ^ Weisstein, "Superfactorial" from MathWorld.

関連項目

• 階乗
• 階乗冪
• 階冪
• 巨大数
• 総乗
• (超階乗配列表記)

外部リンク

• Weisstein, Eric W. "Superfactorial". MathWorld (英語).
• (Definition:Superfactorial) at ProofWiki