[논문 리뷰] Every natural number is the sum of forty-nine palindromes

William D. Banks|arXiv (Cornell University)|2015. 08. 19.

semigroups and automata theory참고 문헌 11인용 수 6

한 줄 요약

이 논문은 자연수 각각이 최대 49개의 십진수 회문 수의 합으로 표현될 수 있음을, 자릿수별 분해 및 큰 수를 구조적인 회문 성분으로 재귀적으로 줄이는 방법을 사용해 구성적으로 증명한다. 이 결과는 십진수 회문 수의 집합이 ℕ에 대한 덧셈 기저임을 확립하며, 각 수에 대해 최대 49개의 회문 수가 필요하다는 유한한 상한을 제시한다.

ABSTRACT

It is shown that the set of decimal palindromes is an additive basis for the natural numbers. Specifically, we prove that every natural number can be expressed as the sum of forty-nine (possibly zero) decimal palindromes.

연구 동기 및 목표

• 십진수 회문 수의 집합이 자연수에 대한 덧셈 기저가 되는 것을 확립하기 위해.
• 모든 자연수를 표현하기 위해 필요한 회문 수의 수에 대한 유한한 상한을 결정하기 위해.
• 큰 수를 회문 성분으로 체계적으로 줄이는 구성적 증명 방법을 제공하기 위해.
• 특정 자릿수 패턴을 가진 수의 구조를 분석하여 귀납적 분해를 가능하게 하기 위해.

제안 방법

• 자리수 기반의 자릿수 패턴을 사용해 회문 수를 정의한다: 단일 자릿수 회문 수는 $ p_{ ho}(d) $, 중간에 0이 있는 회문 수는 $ p_{ ho,k}(d) $ 로 표기한다.
• 중간 자릿수에서 캐리 오버가 발생하는 수를 모델링하기 위해 복합 회문 형태 $ q_{ ho,k}(a,b) = p_{ ho,k}(a) + p_{ ho-1,k}(b) $ 를 도입한다.
• 고정된 상위 자릿수, 중간 자릿수 $ c $, 끝자리 0을 가진 수를 분류하기 위해 집합 $ bN_{ ho,k}(a,b;c) $ 를 사용한다. 이를 통해 구조적인 감소를 가능하게 한다.
• 레마 2.3을 적용하여 길이 $ L eq 1 $ 인 임의의 수 $ n $ 을 $ bN_{ ho,0}(5^+;c_1) $ 에 속하는 수로 감소시킨다. 이때 $ ho = L $ 또는 $ L-1 $ 이다.
• 레마 2.4를 반복적으로 적용하여 수를 $ q_{ ho,k}(a_j,b_j) $ 의 시퀀스를 통해 감소시키며, $ bN_{ ho-i+1,i-1}(5^+;c_i) $ 에 속함을 유지한다.
• 마지재 잔여 수(최대 다섯 개의 비영수 자릿수를 가짐)에 레마 2.2를 적용하여 11개의 회문 수의 합으로 표현함으로써 분해를 완료한다.

실험 결과

연구 질문

• RQ1 모든 자연수는 유한 개의 십진수 회문 수의 합으로 표현될 수 있는가?
• RQ2 모든 자연수를 표현하기 위해 필요한 최소 회문 수의 수는 얼마인가?
• RQ3 큰 수의 구조를 어떻게 활용하여 구성적으로 회문 성분으로 분해할 수 있는가?
• RQ4 분해 과정을 반복적으로 적용하여 복잡도를 줄이면서도 회문 수의 성질을 유지할 수 있는가?
• RQ5 모든 자연수에 대해 동일한 상한이 존재하는가?

주요 결과

• 모든 자연수는 최대 49개의 십진수 회문 수의 합으로 표현될 수 있다.
• 증명은 구조적인 집합 $ bN_{ ho,k}(a,b;c) $ 를 사용하여 제어된 자릿수 패턴을 가진 수로 수를 감소시키는 데 의존한다.
• 이 방법은 18개의 $ q_{ ho,k}(a,b) $ 항 그룹을 사용하며, 각 그룹이 2개의 회문 수를 기여하여 총 36개의 회문 수를 형성한다.
• 잔여 수 중 최대 다섯 개의 비영수 자릿수를 가진 수를 표현하기 위해 추가로 11개의 회문 수를 사용한다.
• 초기 감소 단계에서 레마 2.3을 통해 2개의 회문 수를 사용하여 총합을 49로 이끈다.
• 49라는 상한은 반드시 최적은 아니며, 자릿수 선택이나 구조 분석을 더욱 정교하게 다듬음으로써 향상 가능할 수 있다.