🔢 mathematics

Cullen and Woodall numbers in Padovan and Perrin sequences

본 논문은 Cullen 수와 Woodall 수, Padovan 수열과 Perrin 수열 간의 모든 교집합을 규명하여 Padovan 수열에는 1 과 7 만이 Woodall 수이며 Perrin 수열에는 3 만이 Cullen 수임을 증명한다.

원저자: Herbert Batte, Eric F. Bravo, Florian Luca

게시일 2026-05-25

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Herbert Batte, Eric F. Bravo, Florian Luca

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 두 개의 매우 길고 신비로운 숫자 선에서 숨겨진 보물을 찾아야 하는 형사라고 상상해 보세요. 이 숫자 선들은 파다반 수열과 페린 수열이라고 불립니다. 이들은 간단한 규칙에 의해 생성됩니다: 다음 숫자를 얻으려면 두 단계 뒤의 숫자에 세 단계 뒤의 숫자를 더합니다. 이는 숫자들이 엄격한 리듬에 따라 계속 재배치되는 음악 의자 게임과 같습니다.

방의 다른 쪽에는 "보물 동전" 두 개의 특별한 가방이 있습니다.

우드얼 동전은 $m \cdot 2^m - 1$ 모양을 하고 있습니다.
컬런 동전은 $m \cdot 2^m + 1$ 모양을 하고 있습니다.

이 동전들은 크기가 두 배, 두 배로 계속 커지며 놀라울 정도로 빠르게 성장합니다. 이 논문의 저자들이 던진 큰 질문은 바로 **"이 특별한 동전들 중 어느 것이 파다반 또는 페린 숫자 선의 특정 지점에 정확히 떨어지는 경우가 있을까?"**입니다.

미스터리 해결

수학적 형사 역할을 한 저자들은 모든 단일한 매치를 찾기 위해 사냥을 떠났습니다. 그들이 발견한 것은 다음과 같습니다:

파다반 수열에서 (우드얼 사냥):
그들은 파다반 선에 숨어 있는 우드얼 동전 ( $m \cdot 2^m - 1$ ) 을 찾았습니다.
- 결과: 그들은 단 두 가지 매치만 발견했습니다. 숫자 1( $m=1$ 일 때의 우드얼 수) 과 숫자 7( $m=2$ 일 때의 우드얼 수) 입니다.
- 결론: 다른 우드얼 동전들은 파다반 선에 들어맞지 않습니다. 당신이 영원히 계산을 계속한다 해도, 다른 것을 찾아낼 수는 없습니다.
페린 수열에서 (컬런 사냥):
그들은 페린 선에 숨어 있는 컬런 동전 ( $m \cdot 2^m + 1$ ) 을 찾았습니다.
- 결과: 그들은 단 하나의 매치만 발견했습니다. 숫자 3( $m=1$ 일 때의 컬런 수) 입니다.
- 결론: 다른 컬런 동전들은 페린 선에 들어맞지 않습니다.

그들은 어떻게 해결했을까요?

당신은 궁금할지도 모릅니다. "무한한 숫자 선을 어떻게 확인할 수 있을까?" 당신은 영원히 셀 수만은 없습니다. 저자들은 용의자 명단을 좁히는 형사처럼 교묘한 두 단계 전략을 사용했습니다.

1 단계: "확대경" (로그의 선형 형식)
먼저, 그들은 초확대경처럼 작용하는 강력한 수학 도구 (베이커의 이론) 를 사용했습니다. 이 도구를 통해 매치가 존재한다면 그 위치가 너무 멀리 있을 수 없음을 증명할 수 있었습니다. 이는 숫자의 크기에 대한 "천장"을 설정했습니다.

비유: 만약 보물이 존재한다면, 그것은 무한한 우주에 잃어버린 것이 아니라 숫자 선의 처음 5 억 마일 이내에 묻혀 있어야 함을 그들이 증명했다고 상상해 보세요. 이로써 문제는 "무한한 것"에서 "매우 크지만 유한한 것"으로 축소되었습니다.

2 단계: "지문 스캐너" (2-adic valuation)
천장이 설정되었더라도 5 억은 여전히 수동으로 확인하기에는 너무 많습니다. 그래서 그들은 2-adic valuation이라는 두 번째 도구를 사용했습니다. 이는 숫자가 2 로 몇 번 나누어질 수 있는지 살펴보는 지문 스캐너라고 생각하세요.

파다반과 페린 숫자들은 2 로 나누어질 수 있는 횟수에 관해 매우 구체적이고 예측 가능한 "지문"을 가지고 있습니다.
우드얼과 컬런 숫자들은 그들만의 고유한 지문을 가지고 있습니다.
저자들은 매치가 발생하려면 지문이 완벽하게 정렬되어야 함을 깨달았습니다. 이러한 패턴을 분석함으로써 그들은 대부분의 숫자의 경우 지문이 단순히 일치하지 않는다는 것을 깨달았습니다.
비유: 이는 정사각형 못을 둥근 구멍에 끼우려는 것과 같습니다. 그들은 거의 모든 숫자의 경우, "정사각형 못"(우드얼/컬런 수) 이 "둥근 구멍"(파다반/페린 수) 에 들어맞는 잘못된 모양임을 증명했습니다.

3 단계: 최종 수색 (컴퓨터 확인)
수학을 사용하여 검색 영역을 약 56 까지의 우드얼과 51 까지의 컬런 숫자처럼 작고 관리 가능한 크기로 줄인 후, 그들은 컴퓨터에게 최종 작업을 맡겼습니다. 컴퓨터는 남아 있는 모든 단일한 가능성을 확인하고 다음을 입증했습니다: 다른 매치는 존재하지 않습니다.

결론

이 논문은 결정적인 "종결된 사건"입니다.

파다반의 우드얼 수: 오직 1과 7뿐입니다.
페린의 컬런 수: 오직 3뿐입니다.

저자들은 단순히 추측한 것이 아닙니다. 그들은 무한한 가능성을 배제하기 위해 깊은 수학 이론을 사용했고, 그 후 남은 작은 부분을 확인하기 위해 컴퓨터를 활용했습니다. 그들은 이 수열들이 거의, 어쩌면 전혀 같은 단어를 말하지 않는 두 가지 다른 언어와 같음을 증명했습니다.

기술 요약: 파다반 및 페린 수열에서의 컬렌 및 우드홀 수

문제 제기
본 논문은 두 가지 특정 지수 디오판토스 수 클래스와 선형 점화 수열 간의 교집합을 다룬다. 구체적으로, 저자들은 우드홀 수(형식 $W_m = m \cdot 2^m - 1$ 인 정수) 가 파다반 수열 $\{P_n\}$ 내에 존재하는지, 그리고 컬렌 수(형식 $C_m = m \cdot 2^m + 1$ 인 정수) 가 페린 수열 $\{R_n\}$ 내에 존재하는지 조사한다.

파다반 수열과 페린 수열은 모두 점화식 $U_{n+3} = U_{n+1} + U_n$ 으로 정의되지만, 서로 다른 초기 조건을 가진다:

파다반: $P_0 = P_1 = P_2 = 1$ .
페린: $R_0 = 3, R_1 = 0, R_2 = 2$ .

브라보와 이르막 [4] 의 이전 연구가 파다반 수열 내의 컬렌 수와 페린 수열 내의 우드홀 수를 규명했음에도 불구하고, 보완적인 경우 (파다반 내의 우드홀 수, 페린 내의 컬렌 수) 는 여전히 미해결 상태였다. 저자들은 이러한 남은 경우를 완전히 해결하는 것을 목표로 한다.

방법론
증명 전략은 선형 점화 수열에서의 디오판토스 방정식을 해결하기 위한 표준 프레임워크를 따르며, 해석적 정수론과 계산적 검증을 결합한다:

폐형식 분석: 저자들은 두 수열 모두에 대한 비네 (Binet) 형식의 공식을 활용하여, 항을 특성 다항식 $\phi(X) = X^3 - X - 1$ 의 근들의 거듭제곱에 대한 선형 결합으로 표현한다. 이를 통해 성장 추정을 수행하고 인덱스 $n$ 과 $m$ 을 제한하는 부등식을 유도할 수 있다.
로그의 선형형: 변수 $m$ 에 대한 절대적인 상한을 확립하기 위해, 저자들은 대수적 수 세 개의 로그에 대한 선형형에 관한 마트베예프 (Matveev) 정리를 적용한다. $\log 2$ , $\log \alpha$ (여기서 $\alpha$ 는 $\phi(X)$ 의 실근), 그리고 $\log m$ 을 포함하는 선형형 $\Lambda$ 을 구성함으로써 $|\Lambda|$ 에 대한 하한을 유도한다. 이를 점화식의 성장에서 유도된 상한과 비교하여 $m$ 에 대한 초기 (비록 크기는 크지만) 상한을 도출한다 (파다반 경우 약 $5.6 \times 10^{14}$ , 페린 경우 약 $5.4 \times 10^{14}$ ).
2-진 수 valuation 분석: 마트베예프 정리를 통해 얻은 거대한 상한을 계산적으로 실행 가능한 범위로 축소하기 위해, 저자들은 이동된 수열 $\{P_n + 1\}$ ${P_{n} + 1}$ 과 $\{R_n - 1\}$ ${R_{n} - 1}$ 의 2-진 수 valuation ( $\nu_2$ $ν_{2}$ ) 에 대한 상세한 분석을 수행한다.
- 특정 정수 (예: 파다반의 경우 112, 페린의 경우 14) 로 나눈 $n$ 의 나머지에 기반하여 $\nu_2(P_n + 1)$ 과 $\nu_2(R_n - 1)$ 에 대한 명시적 공식을 확립한다.
- 균일한 폐형식 표현이 존재하지 않는 "예외적인" 나머지 클래스의 경우, 이전 설정된 범위 내의 $n$ 에 대한 가능한 최대 valuation 을 계산하기 위해 배반 점화 (doubling recurrences) 기반의 탐욕 알고리즘 (Lemma 2.10 및 2.11) 을 활용한다.
- 이 분석은 $m \leq \nu_2(\text{이동된 항})$ 이라는 부등식을 산출하여 $m$ 에 대한 탐색 공간을 극적으로 축소한다.
계산적 검증: $m$ 에 대한 상한이 작은 상수 (파다반의 경우 구체적으로 $m \leq 56$ , 페린의 경우 $m \leq 51$ ) 로 축소되면, 저자들은 SageMath를 사용하여 축소된 범위 내에서 해를 찾기 위한 포괄적인 계산적 탐색을 수행한다.

주요 기여 및 결과
본 논문은 이러한 특정 수열 내의 우드홀 수와 컬렌 수에 관한 두 가지 미해결 문제에 대한 완전한 해법을 제공한다:

정리 1.1: 파다반 수열에 있는 유일한 우드홀 수는 1과 7이다.
- 계 1.2: 따라서 파다반 수열에 있는 유일한 우드홀 소수는 7이다.
정리 1.3: 페린 수열에 있는 유일한 컬렌 수는 3이다.
- 계 1.4: 따라서 페린 수열에 있는 유일한 컬렌 소수는 3이다.

이 증명들은 $P_n + 1$ 과 $R_n - 1$ 의 2-진 수 valuation 의 특정 성질에 의존한다. 특히, 저자들은 이러한 이동된 수열에 대한 비유리수 2-진 수 영점을 식별했으며, 이로 인해 예외적인 나머지 클래스에 대한 알고리즘적 접근이 필요하게 되었다.

의의 및 주장
저자들은 이 연구를 브라보와 이르막 [4] 이 시작한 연구의 자연스러운 완성으로 위치시킨다. 보완적인 수 집합을 규명함으로써, 본 논문은 우드홀 수와 컬렌 수가 파다반 및 페린 수열과 교차하는 관계를 완전히 특징짓는다.

그 의의는 다음과 같다:

완전성: 이러한 특정 3 차 선형 점화 수열에 대한 남은 미해결 사례를 해결한다.
방법론적 정제: 본 논문은 수열 자체보다는 이동된 수열 ( $P_n+1$ 및 $R_n-1$ ) 의 2-진 수 valuation 을 분석할 필요성을 보여주며, 이는 특정 초기 조건과 대상 수의 형태 ( $m \cdot 2^m \pm 1$ ) 가 도입하는 복잡성을 강조한다.
알고리즘적 적용: 예외적인 나머지 클래스에서 2-진 수 valuation 을 계산하기 위한 알고리즘을 활용하고 정제하여, 이러한 수열에 대한 비유리수 2-진 수 영점의 명시적 근사치를 제공한다.

본 논문은 다루어진 특정 디오판토스 문제를 넘어 더 넓은 적용 가능성을 주장하지는 않지만, 지수 디오판토스 방정식과 선형 점화 수열의 교차에 관한 문헌의 축적에 기여한다.

미스터리 해결

그들은 어떻게 해결했을까요?

결론

유사한 논문