[論文レビュー] On a sequence related to the Josephus problem

Ralf Stephan|ArXiv.org|May 25, 2003

Coding theory and cryptography参考文献 1被引用数 4

ひとこと要約

この論文は、部分積の補数的因数の差を最小化することから導かれる再帰的整数列 $ a_n $ と、$ q = 3 $ のジョセフス問題との間の関係を確立する。$ n > 2 $ に対して $ a_n = 2^{b_n} $ を証明し、$ b_n $ がジョセフス問題に関連する再帰的関係に従うことを示す。また、$ c \approx 0.3605 $ である成長定数を、ジョセフス型問題における普遍的定数 $ K(3) $ と関連づけ、$ a_n $ の漸近的性質を明らかにする。

ABSTRACT

In this short note, we show that an integer sequence defined on the minimum of differences between divisor complements of its partial products is connected with the Josephus problem (q=3).

研究の動機と目的

• 部分積 $ p_n = \prod_{k=0}^{n-1} a_k $ の補数的因数間の絶対差を最小化することによって定義される再帰的数列 $ a_n $ を調査すること。
• 再帰的和の式で定義される第二の数列 $ b_n $ と $ a_n $ 間の構造的・機能的関係を確立すること。
• 数列 $ a_n $ の漸近的挙動を、パrameter $ q = 3 $ のジョセフス問題と結びつけること、特に成長定数 $ c $ を通じて。
• 定数 $ c \approx 0.3605 $ と、閉形式で表せないが数値的に重要なジョセフス問題の普遍的定数 $ K(3) $ 間の関係を調査すること。

提案手法

• 部分積 $ p_n $ のすべての因数 $ d_j $ に対して、絶対差 $ |d_j - p_n/d_j| $ の最小値として $ a_n $ を再帰的に定義し、$ a_0 = 4 $ とする。
• 再帰的関係 $ b_1 = 1 $、$ b_n = \left\lceil \frac{1}{2} \sum_{k=1}^{n-1} b_k \right\rceil $ を用いて $ b_n $ を定義し、$ a_n = 2^{b_n} $ の指数を規定する。
• 補題1を用いて $ \sigma(3 \cdot 2^k) = 2k + 2 $ を証明し、$ 3 \cdot 2^k $ の因数の個数を特定し、$ \delta(m) $ の計算における因数の列挙構造を裏付ける。
• 補題2を用いて $ \delta(3 \cdot 2^k) = 2^{\lceil k/2 \rceil} $ を示し、$ 3 \cdot 2^k $ の補数的因数間の最小絶対差がこれに一致することを示し、再帰的構成の根拠とする。
• 初期状態 $ \delta(p_3 = 48) = 2 $ を確立し、最小差が1を超えることを確認することで、$ a_n $ の再帰的定義が自明でないことを検証する。
• 既知の $ b_n $ の漸近的性質を活用し、$ b_n \sim c \cdot (3/2)^n - 1/2 $（$ c \approx 0.3605 $）を示し、$ c $ を $ q = 3 $ のジョセフス問題における普遍的定数 $ K(3) $ に関連づける。

実験結果

リサーチクエスチョン

• RQ1 部分積の補数的因数間の差を最小化することによって定義される数列 $ a_n $ は、既知の数論的または組合せ論的数列とどのように関係しているか？
• RQ2 $ b_n = \left\lceil \frac{1}{2} \sum_{k=1}^{n-1} b_k \right\rceil $ の再帰的関係と $ a_n $ 間の関数的関係は何か？また、$ n > 2 $ に対して $ a_n = 2^{b_n} $ が成立するか？
• RQ3 数列 $ b_n $ の漸近的公式における成長定数 $ c \approx 0.3605 $ を、ジョセフス問題における普遍的定数 $ K(3) $ で表すことができるか？
• RQ4 最小差 $ \delta(3 \cdot 2^k) = 2^{\lceil k/2 \rceil} $ を可能にする因数構造において、数 $ 3 \cdot 2^k $ が果たす役割は何か？
• RQ5 ジョセフス問題に結びつく再帰的構造 $ b_n $ が、なぜ $ a_n $ の2の累乗の乗法的挙動と同一の指数パターンを生み出すのか？

主な発見

• すべての $ n > 2 $ に対して $ a_n = 2^{b_n} $ を満たす。ここで $ b_n $ は再帰的関係 $ b_1 = 1 $、$ b_n = \left\lceil \frac{1}{2} \sum_{k=1}^{n-1} b_k \right\rceil $ で定義され、直接的な指数的関係が確立される。
• $ 3 \cdot 2^k $ の因数の個数は $ \sigma(3 \cdot 2^k) = 2k + 2 $ であり、数学的帰納法により証明され、$ \delta(m) $ の計算における因数の列挙構造を支持する。
• $ 3 \cdot 2^k $ の補数的因数間の最小絶対差は $ \delta(3 \cdot 2^k) = 2^{\lceil k/2 \rceil} $ に等しく、整列済み因数リストのインデックス付けと交互に現れる差のパターンを観察することで示される。
• 初期状態 $ \delta(p_3 = 48) = 2 $ により、最小差が1を超えることが確認され、$ a_n $ の再帰的定義が自明でないことが検証される。
• $ b_n $ の漸近的成長は $ b_n = \left\lceil c \cdot (3/2)^n - 1/2 \right\rceil $（$ c \approx 0.36050455619661495910154466 $）で表され、既知のジョセフス再帰の結果と一致する。
• 数値的証拠と先行研究により、$ c = \frac{2}{9} K(3) $ であると示唆されるが、$ K(3) $ の閉形式は未解明のままである。