[논문 리뷰] On a sequence related to the Josephus problem

Ralf Stephan|ArXiv.org|2003. 05. 25.

Coding theory and cryptography참고 문헌 1인용 수 4

한 줄 요약

이 논문은 부분 곱의 보완적 약수 간 차이를 최소화하여 유도된 재귀적으로 정의된 정수 수열 $ a_n $과 $ q = 3 $인 조셉서스 문제 사이의 연결 고리를 설정한다. $ n > 2 $일 때 $ a_n = 2^{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 $의 점근적 행동이 매개수 $ 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_n $은 $ b_1 = 1 $, $ b_n = \left\lceil \frac{1}{2} \sum_{k=1}^{n-1} b_k \right\rceil $의 재귀식으로 정의되며, $ 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} $임을 보이며, 이는 보완적 약수 간 최소 절대 차이를 결정하는 핵심 요소이다.
• 기저 사례 $ \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 $ 3 \cdot 2^k $의 약수 구조에서 최소 차이 $ \delta(3 \cdot 2^k) = 2^{\lceil k/2 \rceil} $를 가능하게 하는 역할은 무엇인가?
• RQ5 조셉서스 문제와 연결된 재귀적 구조를 가진 $ b_n $이 왜 $ a_n $의 승법적 행동과 동일한 지수 패턴을 만들어내는가?

주요 결과

• 모든 $ n > 2 $에 대해 수열 $ a_n $은 $ 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) $ 계산에서 약수 수를 세는 데 기초가 된다.
• 보완적 약수 간 최소 절대 차이는 $ \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) $는 $ q = 3 $인 조셉서스 문제에서의 보편 상수이다. 다만 이 상수의 닫힌 형태는 아직 알려져 있지 않다.