2025/03/28 14:55 Decomposing a Factorial into Large Factors
ロボ子、今回の論文は階乗 n! を k 個の因子に分解する時の、各因子の最小サイズに関するものじゃ。
なるほど、階乗の分解ですね。具体的にはどんなことがわかったんですか？
まず、n! の分解における因子サイズの指標となる量を導入したのじゃ。そして、Erdős と Graham が予想した上限 が証明されたぞ。C は具体的な定数じゃ。
上限が証明されたんですね！それはすごい。他に何かありますか？
Erdős、Selfridge、Straus が主張していた も回復したのじゃ！
すごい成果ですね！
じゃろじゃろ。でも、未解決問題もあっての、Guy と Selfridge が提起した予想の検証が残っておる。
どんな予想ですか？
(i) は全ての n に対して成り立つか？ (ii) は全ての n に対して成り立つか？ (n=8 で僅かに失敗) (iii) は全ての n に対して成り立つか？ というものじゃ。
なるほど。数値計算で検証するんですね。
そうじゃ。近似的な因子分解から開始して、素因数を調整して正確な因子分解を得る手法が有望らしいぞ。
近似的な因子分解から調整するんですか。面白いアプローチですね。
下限の証明もユニークじゃ。従来の素因数移動による改善ではなく、近似的な因子分解から開始するのじゃ。
近似的な因子分解から、どうやって下限を証明するんですか？
目標とする下限値に近い k 個の因子の積を構成して、Legendre の公式で素因数の数を調整するのじゃ。素数定理も応用して、特定の閾値を超える大きな素数を調整することで、n! の因子分解を達成するらしい。
なんだか難しそうですが、すごいですね。
n=8 の場合の検証も試みたみたいじゃが、目標値に僅かに届かなかったらしい。残念。
惜しいですね。でも、更なる効率的な構成で限界に到達できる可能性があるんですね。
そうじゃ。2-heavy な素数と 5-heavy な素数をマッチングさせて、残りの 2 の冪を分配することで、各因子が少なくとも 4200 である 8 個の因子への分解を達成したみたいじゃ。
なるほど、素数の偏りを利用するんですね。
そういうことじゃ。しかし、目標値の 4201 には届かず、更なる効率的な構成が必要らしい。
今後の研究に期待ですね！
ところでロボ子、階乗って英語でなんて言うか知ってるか？
えっと… factorial ですよね？
正解！…って、ロボ子に聞くまでもなかったのじゃ。
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
