On $\frac{1}{n!}$ in Cantor sets

이 논문은 중간 3 분 Cantor 집합에 포함되는 역계승수 $\frac{1}{n!}$ 가 오직 $1$과$\frac{1}{5!}$ 두 개뿐임을 증명하여 Jiang 의 질문에 답하고, 이를 일반적인 결손 숫자 집합으로 확장하여 해당 집합에 속하는 역계승수가 유한하며 효과적으로 결정 가능함을 보여줍니다.

핵심

🕵️‍♂️ 1. 배경: "잃어버린 숫자"의 비밀 (칸토르 집합)

먼저 **칸토르 집합 (Cantor Set)**이라는 것을 상상해 보세요.
마치 긴 줄이 있는데, 그 줄의 정중앙 1/3 을 잘라내고, 남은 두 조각의 정중앙 1/3 을 또 잘라내고, 이 과정을 영원히 반복한다고 칩시다. 결국 남는 것은 아주 가늘고 끊어진 점들의 뭉치입니다.

이 점들은 특이한 규칙을 따릅니다. 예를 들어, 3 진법 (3 을 기준으로 숫자를 표현하는 방식) 으로 숫자를 쓸 때, 숫자 '1'이 절대 나오지 않는 수들만 이 집합에 들어갑니다. (0 과 2 만 허용됨).

🔢 2. 문제: "팩토리얼"이라는 초대장

수학자들은 이 복잡한 집합 안에 **팩토리얼 (n!)**이라는 숫자가 들어갈 수 있는지 궁금해했습니다.
팩토리얼은 $1, 2, 6, 24, 120, \dots$ 처럼 숫자가 기하급수적으로 커지는 수열입니다. 논문은 이 수열의 **역수 (1/n!)**가 칸토르 집합 안에 들어갈 수 있는지 물었습니다.

• 질문: "1/1, 1/2, 1/6, 1/24, 1/120... 이라는 초대장을 받은 숫자들 중, '1'이라는 숫자가 금지된 (칸토르 집합) 파티에 들어갈 수 있는 사람은 누구일까?"

🧩 3. 발견: 오직 두 사람만 초대받았다!

저자들은 이 질문에 대해 놀라운 답을 찾았습니다.
"1 과 1/120 (즉, 5!) 두 명만 파티에 들어갈 수 있다!"

• 1 (1/1!): 당연히 파티에 있습니다.
• 1/120 (1/5!): 이 숫자만 3 진법으로 표현했을 때 '1'이 안 나오기 때문에 파티에 초대받았습니다.
• 나머지 모든 숫자 (1/2!, 1/3!, 1/4!, 1/6!...): 이들은 모두 3 진법으로 쓸 때 '1'이라는 금지된 숫자를 포함하게 되어, 파티 문 앞에서 거절당했습니다.

🔍 4. 해결 방법: "디지털 지문" 분석기

그들은 어떻게 이걸 증명했을까요? 수학적인 '디지털 지문' 분석을 사용했습니다.

1. 규칙 찾기: 3 진법으로 숫자를 쓸 때, 특정 숫자 (여기서는 1) 가 나오지 않으려면 그 숫자의 '주기'가 매우 짧거나 특별한 패턴을 가져야 합니다.
2. 팩토리얼의 성질: 팩토리얼 숫자 ($n!$) 가 커질수록, 그 숫자를 소인수분해했을 때 2 의 개수나 3 의 개수가 폭발적으로 늘어납니다.
3. 충돌 발생: 저자들은 "숫자가 너무 커지면 (n 이 21 이상이면), 3 진법으로 표현했을 때 '1'이 안 나올 수 있는 규칙을 깨뜨리게 된다"는 것을 증명했습니다.
   • 비유: 마치 거대한 퍼즐을 맞추는데, 조각이 너무 커지면 이미 완성된 그림 (칸토르 집합의 규칙) 과 맞지 않게 되어 끼워 넣을 수 없게 되는 것과 같습니다.

🌍 5. 더 넓은 세상: 모든 '잃어버린 숫자' 집합

이 연구는 칸토르 집합뿐만 아니라, **어떤 규칙으로 숫자를 잘라낸 집합 (Missing-digit sets)**에도 적용됩니다.
예를 들어, 4 진법에서 '2'와 '3'을 빼고 '0, 1'만 쓰는 집합이 있다면, 거기에 들어갈 수 있는 팩토리얼 역수는 **유한한 개수 (몇 개 안 됨)**뿐이며, 컴퓨터로 쉽게 찾아낼 수 있다는 것입니다.

저자들은 이 원리를 이용해 **어떤 집합이든 그 안에 숨어있는 팩토리얼 숫자를 찾아내는 '알고리즘 (검색 프로그램)'**까지 만들었습니다.

💡 요약: 이 논문이 주는 메시지

• 복잡한 규칙 속에서도 단순한 진리가 있다: 무한히 반복되는 복잡한 프랙탈 구조 속에서도, 특정 수열 (팩토리얼) 은 오직 아주 적은 수의 숫자만 받아들입니다.
• 수학은 예측 가능하다: "숫자가 너무 커지면 이 규칙을 깨뜨린다"는 것을 증명함으로써, 우리는 무한한 숫자 중에서도 정답이 될 수 있는 후보를 유한한 범위 (n=20 이하) 로 좁힐 수 있습니다.
• 실용성: 이 방법은 컴퓨터 알고리즘으로 구현되어, 어떤 복잡한 숫자 집합이든 그 안에 숨겨진 특별한 숫자들을 찾아낼 수 있게 해줍니다.

한 줄 요약: "수학자들은 복잡한 숫자 패턴 (칸토르 집합) 안에서 팩토리얼 숫자들을 찾아냈는데, 놀랍게도 1 과 1/120 두 명만 그 규칙에 맞았으며, 그 이유는 숫자가 너무 커지면 규칙을 지킬 수 없기 때문임을 증명했습니다."

기술 요약

제공된 논문 "1/n! IN CANTOR SETS"에 대한 상세한 기술적 요약은 다음과 같습니다.

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 프랙탈 집합 (특히 칸토르 집합) 과 수열의 교집합을 규명하는 문제는 독립적인 수학적 흥미를 가지며, 유명한 '에르되시 유사성 문제 (Erdős similarity problem)'와도 밀접하게 연관되어 있습니다.
• 주요 질문: Jiang 등 (2026) 은 최근 중간의 3 분의 1 을 제거한 칸토르 집합 $C$와 계승 (factorial) 의 역수 수열 $\{1/n! : n \in \mathbb{N}\}$의 교집합을 결정하는 문제를 제기했습니다.
• 목표: 이 논문은 $C \cap \{1/n! : n \in \mathbb{N}\}$의 정확한 원소들을 규명하고, 이를 일반적인 '결손 자릿수 집합 (missing-digit sets)'으로 확장하는 것을 목표로 합니다.

2. 주요 결과 (Key Results)

• 정리 1.2 (중간의 3 분의 1 칸토르 집합):
  중간의 3 분의 1 칸토르 집합 $C$와 계승 역수 집합의 교집합은 정확히 두 개의 원소로 구성됩니다.
  $$\left\{ \frac{1}{n!} : n \in \mathbb{N} \right\} \cap C = \left\{ 1, \frac{1}{5!} \right\}$$
  즉, $n=1$ ($1/1! = 1$) 과$n=5$($1/5! = 1/120$) 일 때만$C$에 속하며, 그 외의 모든$n$에 대해서는$1/n!$이$C$에 속하지 않습니다.

• 정리 1.4 (일반적인 결손 자릿수 집합):
  임의의 기저 $m (\ge 3)$과 자릿수 집합 $D$ ($1 < #D < m$) 로 정의된 결손 자릿수 집합$K_{m,D}$에 대해서도,${1/n!} \cap K_{m,D}$는 유한집합이며, 그 원소들을 **효과적으로 결정 (effectively determined)**할 수 있음을 증명했습니다.

3. 방법론 및 증명 전략 (Methodology)

논문은 수론적 도구, 특히 **곱셈적 위수 (multiplicative order)**와 **진법 전개 (base-$m$ expansion)**의 성질을 결합하여 문제를 해결했습니다.

1. Korobov 의 보조정리 적용:

   • 유리수 $r/q$의 $m$진법 전개에서 특정 자릿수 $i$가 나타나는 횟수 $N_i(r/q)$에 대한 Korobov 의 부등식을 활용했습니다.
   • $r/q \in K_{m,D}$라면, $D$에 속하지 않는 자릿수 $i$는 $m$진법 전개에 나타나지 않아야 하므로 $N_i(r/q)=0$이어야 합니다.
   • 이를 통해 $q$와 $m$의 곱셈적 위수 $\text{ord}_q(m)$에 대한 상한을 유도했습니다:
     $$\text{ord}_q(m) \le 2m \cdot \text{ord}_{\text{rad}(q)}(m)$$

2. 계승의 구조 분석:

   • $1/n! \in C$일 때,$C$의$\times 3$-불변성 (3 배를 해도 집합에 속함) 을 이용해$1/n! = 3^{\nu_3(n!)}/M_n$형태에서$1/M_n \in C$임을 보였습니다. 여기서$M_n = n!/3^{\nu_3(n!)}$입니다.
   • $M_n$에 대해 위 부등식을 적용하면 $\text{ord}_{M_n}(3) \le 6 \cdot \text{ord}_{\text{rad}(M_n)}(3)$이 성립해야 합니다.

3. 점근적 모순 유도 (Lemma 2.3):

   • $n$이 충분히 클 때 (구체적으로 $n \ge 21$), 레전드르 공식 (Legendre's formula) 과 곱셈적 위수의 성질을 이용해 $\text{ord}_{M_n}(3)$이 $\text{ord}_{\text{rad}(M_n)}(3)$보다 훨씬 빠르게 증가함을 보였습니다.
   • 구체적으로, $\nu_2(\text{ord}_{M_n}(3)) \ge \nu_2(\text{ord}_{\text{rad}(M_n)}(3)) + 3$이 성립하여 위 부등식이 깨짐을 증명했습니다.
   • 따라서 $n \ge 21$인 모든 경우에 $1/n! \notin C$임이 증명되었습니다.

4. 유한 탐색:

   • $n < 21$인 경우만 직접 확인하여 $n=1$과 $n=5$만 조건을 만족함을 확인했습니다.

4. 알고리즘 및 일반화 (Algorithm & Generalization)

• 일반화: 위 증명 기법은 임의의 기저 $m$과 결손 자릿수 집합 $D$에 대해 적용 가능합니다.
• 알고리즘 (Algorithm 1):
  1. $m$과 소수 $p$ ($\gcd(p, m)=1$) 를 선택합니다.
  2. $n_0$을 구하는 부등식 (로그 함수와 선형 함수의 교차점) 을 풀어 상한을 설정합니다.
  3. $1 \le n < n_0$범위 내에서$1/M_n \in K_{m,D}$를 만족하는$n$을 전수 조사합니다.
  4. 이 과정을 통해 교집합을 효과적으로 계산할 수 있습니다.
• 예시: 표 1 에 제시된 바와 같이, $(m, D) = (3, \{0, 2\})$인 경우 $\{1, 1/5!\}$, $(4, \{0, 3\})$인 경우 $\{1\}$ 등 다양한 경우에 대한 결과가 제시되었습니다.

5. 의의 및 기여 (Significance)

• 질문 해결: Jiang 등이 제기한 구체적인 수학적 질문 (Question 1.1) 에 대한 완전한 해답을 제시했습니다.
• 이론적 확장: 칸토르 집합뿐만 아니라 일반적인 결손 자릿수 집합에서도 $1/n!$ 형태의 유리수가 유한 개만 존재함을 증명하여, 프랙탈 집합 내 유리수의 분포에 대한 이해를 넓혔습니다.
• 계산 가능성: 단순히 존재성만 증명하는 것을 넘어, 교집합을 실제로 계산할 수 있는 구체적인 알고리즘을 제시하여 계산적 정수론과 프랙탈 기하학의 연결고리를 강화했습니다.
• 방법론적 혁신: Korobov 의 정리를 프랙탈 집합의 교집합 문제에 적용하고, 곱셈적 위수의 점근적 성질을 정밀하게 분석하여 유한성을 증명하는 새로운 접근법을 제시했습니다.

이 논문은 프랙탈 기하학과 정수론의 교차 영역에서 중요한 진전을 이루었으며, 향후 유사한 형태의 수열과 프랙탈 집합의 교집합 연구에 기초를 제공할 것으로 기대됩니다.