[논문 리뷰] About the Non-Integer Property of Hyperharmonic Numbers

István Mező|arXiv (Cornell University)|2008. 10. 31.

Holomorphic and Operator Theory참고 문헌 1인용 수 6

한 줄 요약

이 논문은 초조화수(hyperharmonic numbers)—조화수의 일반화—가 언제나 정수일 수 있는지 조사한다. 이는 1915년 Theisinger의 결과를 확장하는 것으로, 일반 조화수는 정수가 되지 않는다는 것이다. 2진 노름과 이항계수의 성질을 사용하여, 저자는 두 번째 차수의 초조화수 $ H_n^{(2)} $ 가 $ n > 1 $ 일 때 정수가 되지 않음을 증명하고, $ r, n \geq 2 $ 인 모든 초조화수 $ H_n^{(r)} $ 는 정수가 되지 않을 것이라 추측한다.

ABSTRACT

It was proven in 1915 by Leopold Theisinger that the $H_n$ harmonic numbers are never integers. In 1996 Conway and Guy have defined the concept of hyperharmonic numbers. The question naturally arises: are there any integer hyperharmonic numbers? The author gives a partial answer to this question and conjectures that the answer is "no".

연구 동기 및 목표

• 초조화수 $ H_n^{(r)} $ 가 반복된 조화수의 합으로 정의될 때, 이들이 언제나 정수일 수 있는지 결정하는 것.
• 1915년 Theisinger의 일반 조화수 $ H_n $ 가 정수가 되지 않는다는 결과를 고차수 초조화수로 확장하는 것.
• 2진 노름을 사용하여 정수성 여부를 탐지하는 도구로 활용하는 것—특히 $ |x|_2 > 1 $ 이면 $ x \notin \mathbb{Z} $ 이므로.
• 특히 $ H_n^{(2)} $ 가 정수가 되지 않음을 부분적으로 증명하고, $ r, n \geq 2 $ 일 때 이 성질이 항상 성립할 것이라 추측하는 것.
• 이항계수 항등식과 $ p $-진 값매김 기법을 통해 초조화수의 구조적 성질을 탐색하는 것.

제안 방법

• 유리수에 대해 2진 노름 $ |\cdot|_2 $ 를 적용하고, $ |x|_2 > 1 $ 이면 $ x $ 가 정수가 아님을 이용하는 것.
• 초조화수를 이항계수와 조화수 차의 곱으로 표현하는 공식 $ H_n^{(r)} = \binom{n+r-1}{r-1}(H_{n+r-1} - H_{r-1}) $ 를 사용하는 것.
• 팩토리얼의 $ p $-진 값매김을 위한 Legendre의 공식을 사용: $ |n!|_p = p^{(A_p(n) - n)/(p-1)} $, 여기서 $ A_p(n) $ 은 $ n $ 의 $ p $-진 전개에서의 자릿수의 합이다.
• 이항계수 $ \binom{n+r-1}{r-1} $ 의 2진 노름을 자릿수 합 공식을 사용해 분석하고, 조화수 차 $ H_{n+r-1} - H_{r-1} $ 의 2진 노름과 비교하는 것.
• 2진 거리에서의 강한 삼각부등식을 적용하여 역수의 합의 노름을 유계화하고, 특히 합에 포함된 분모들 중에서 2의 최고 거듭제곱을 중심으로 분석하는 것.
• 반복적으로 $ \frac{1}{2} $ 를 인수분해하고, 특히 $ \mathop{\textup{Ord}}_2(n+r-1) > \mathop{\textup{Ord}}_2(r-1) $ 인 경우에 해당하는 노름을 분석함으로써 $ H_n^{(r)} $ 의 재귀적 분해를 수행하는 것.

실험 결과

연구 질문

• RQ1 모든 $ r, n \geq 2 $ 에 대해 정수 값을 갖는 초조화수 $ H_n^{(r)} $ 가 존재하는가?
• RQ2 일반 조화수에 대해 사용된 2진 노름 방법이 고차수 초조화수의 비정수성 증명으로 확장될 수 있는가?
• RQ3 $ n $ 과 $ r $ 에 어떤 조건이면 $ |H_n^{(r)}|_2 = 1 $ 이 되며, 이는 정수성에 어떤 함의를 갖는가?
• RQ4 어떤 구조적 이유로 $ H_n^{(r)} $ 가 정수가 될 수 없으며, 일부 경우에서는 $ |H_n^{(r)}|_2 = 1 $ 이지만 여전히 정수가 되지 않는가?
• RQ5 어떤 쌍 $ (n_1, r_1) \neq (n_2, r_2) $ 에 대해 초조화수가 같아지며, 즉 $ H_{n_1}^{(r_1)} = H_{n_2}^{(r_2)} $ 가 성립하는가?

주요 결과

• 두 번째 차수 초조화수 $ H_n^{(2)} $ 의 2진 노름은 $ |H_n^{(2)}|_2 = 2^{A_2(n+1) - A_2(n) - A_2(1) + \mathop{\textup{Ord}}_2(n+1)} $ 를 만족하며, 이 노름은 $ n = 2^m - 1 $ 이 아닌 한 1보다 크다.
• 특히 $ n = 2^m - 1 $ 인 경우 노름은 정확히 1이지만, $ H_n^{(2)} $ 는 여전히 정수가 아니며, 이는 $ 2^m(H_{n+1} - 1) $ 으로 단순화되며 조화수 합의 구조상 정수가 될 수 없기 때문이다.
• 논문은 $ n > 1 $ 일 때 $ H_n^{(2)} \notin \mathbb{N} $ 임을 증명하며, Theisinger의 결과를 두 번째 차수로 확장한다.
• 세 번째 차수 $ r = 3 $ 에 대해서도 이 방법을 적용해 $ n > 1 $ 일 때 $ H_n^{(3)} \notin \mathbb{N} $ 임을 보여주며, $ r = 2 $ 를 넘어서도 패턴이 유지됨을 시사한다.
• 일부 경우에서 $ |H_n^{(r)}|_2 = 1 $ 이지만, 저자는 $ r, n \geq 2 $ 인 모든 초조화수 $ H_n^{(r)} $ 가 정수가 되지 않을 것이라 추측한다.
• 예시 계산을 통해 $ |H_{18}^{(8)}|_2 = 4 $ 임을 직접 계산하고 공식 $ |H_n^{(r)}|_2 = 2^{A_2(n+r-1) - A_2(n) - A_2(r-1) + \mathop{\textup{Ord}}_2(n+r-1)} $ 를 통해 확인하여 방법의 타당성을 검증한다.