Four-digit Kaprekar dynamics in odd bases

당신에게 마법의 숫자 기계가 하나 있다고 상상해 보세요. 이 기계에 네 자리 숫자를 입력하면, 아주 구체적이고 반복적인 기술을 선보입니다:

1. 정렬: 숫자를 큰 순서대로부터 작은 순서대로 재배열합니다.
2. 역순: 동일한 숫자를 작은 순서부터 큰 순서로 재배열합니다.
3. 뺄셈: 첫 번째 숫자에서 두 번째 숫자를 뺍니다.
4. 반복: 그 결과값을 가지고 이 과정을 처음부터 다시 수행합니다.

우리가 사는 일상적인 세상(10진법)에서는, 거의 모든 네 자리 숫자로 시작하더라도 이 기계는 결국 6174라는 숫자를 내뱉고, 그 후에는 계속해서 6174만을 내뱉게 됩니다. 마치 모든 것을 하나의 지점으로 끌어당기는 자석과 같습니다.

하지만 우리가 게임의 규칙을 바꾼다면 어떻게 될까요? 만약 우리가 10진법이 아니라 7진법, 11진법, 혹은 다른 어떤 "홀수" 진법 체계를 사용한다면 어떨까요? 켄 오노(Ken Ono)와 같은 유명한 수학자들을 포함한 한 팀이 작성한 이 논문은, 다른 진법에서의 동작이 10진법보다 더 복잡하지만, 놀라울 정도로 견고하고 아름다운 패턴을 따른다는 사실을 탐구합니다.

이것은 그들의 발견을 쉽게 설명한 이야기입니다.

차이의 비밀 언어

저자들은 실제 숫자(예: 5100 또는 9650)를 들여다보는 것이 폭풍을 이해하기 위해 개별 빗방울 하나하나를 관찰하는 것과 같다는 점을 깨달았습니다. 그것은 너무 무질서합니다. 대신, 그들은 숫자 사이의 거리를 보기로 했습니다.

당신의 네 개의 숫자가 한 줄로 서 있다고 상상해 보세요.

• **외부 차이(Outer Difference)**는 가장 키 큰 사람과 가장 키 작은 사람 사이의 간격입니다.
• **내부 차이(Inner Difference)**는 가운데 있는 두 사람 사이의 간격입니다.

이 논문의 묘미는, 기계의 미래 전체가 오직 이 두 가지 간격에 의해서만 결정된다는 점입니다. 일단 이 두 간격을 알게 되면, 더 이상 원래의 숫자를 알 필요가 없습니다. 기계의 동작은 이 두 간격이 어떻게 변하는지에 의해 완전히 결정됩니다.

"준비 운동" 단계

처음 기계를 시작할 때, 간격은 이상할 수 있습니다. 때로는 0이 되기도 하고, 때로는 짝수가 되기도 하며, 때로는 서로 같기도 합니다. 저자들은 어떤 숫자로 시작하든, 기계가 이 혼란을 정리하는 데 매우 효율적이라는 것을 증명했습니다.

최대 세 단계 이내에, 기계는 간격들을 특수한 형태의 정돈된 구역으로 몰아넣습니다. 이 구역에서:

1. 간격은 절대 0이 아닙니다.
2. 간격은 결코 서로 같지 않습니다.
3. 간격은 항상 "홀수"입니다.

이것을 혼란스러운 댄스 플로어라고 생각해 보세요. 처음에는 사람들이 서로 부딪히고, 원을 그리며 서 있고, 무작위로 움직입니다. 하지만 세 곡이 지나면, 모두가 정돈된 줄 안에서 자신의 완벽한 자리를 찾게 됩니다. 일단 이 줄에 들어서면, 춤은 믿을 수 없을 정도로 예측 가능해집니다.

"두 배 만들기" 댄스

기계가 이 정돈된 구역에 들어서면, 저자들은 숨겨진 코드를 발견했습니다. 그들은 간격을 특수한 "사영(projective)" 언어(양수와 음수를 동일하게 취급하는 방식)로 번역하면, 기계가 더 이상 뺄셈과 정렬을 하지 않는다는 것을 깨달았습니다.

대신, 기계는 단순히 숫자를 두 배로 만듭니다.

숫자 3과 2라는 쌍이 있다고 가정해 봅시다.

• 1단계: 두 배로 만들기 $\rightarrow$ 6과 4.
• 2단계: 다시 두 배로 만들기 $\rightarrow$ 12와 8.
• 3단계: 다시 두 배로 만들기 $\rightarrow$ 24와 16.

이 기계의 세계에서 "두 배 만들기"는 시계처럼 작동합니다. 계속해서 두 배로 만들다 보면, 결국 숫자들이 한 바퀴 돌아 다시 시작점으로 돌아오게 됩니다. 이것은 하나의 **순환(cycle)**을 만들어냅니다.

논문은 숫자를 정렬하고 빼는 이 복잡하고 무질서한 과정이 사실은 이 단순한 "두 배 만들기" 게임을 화려하게 위장한 것에 불과하다는 것을 증명합니다.

순환의 길이는 얼마인가?

기계가 단순히 숫자를 두 배로 만드는 것이기 때문에, 순환의 길이(시작점으로 돌아오는 데 걸리는 단계 수)는 전적으로 사용하는 진법에 따라 달라집/니다.

• 한계: 가장 긴 순환은 절대로 (진법/2 - 1)보다 길어질 수 없습니다. 예를 들어, 11진법에서 가장 긴 순환은 5단계입니다. 17진법에서는 최대 8단계입니다.
• 소수의 규칙: 기계가 이 최대 길이에 도달하는 경우는 오직 해당 진법이 소수(7, 11, 13, 17 등)이면서, 숫자 2가 그 진법에서 특별한 성질을 가질 때뿐입니다. 이것은 자물쇠와 열쇠 같습니다. 진법은 반드시 소수여야 하며, "열쇠"(숫자 2)가 자물쇠를 돌리는 데 정확히 적절한 단계수를 소요해야 합니다.

만약 진법이 합성수(9나 15 같은)라면, 순환은 항상 최대치보다 짧습니다.

AI와의 연결

이 논문의 가장 독특한 부분 중 하나는 그것이 어떻게 쓰였는가 하는 점입니다. 저자들은 핵심 아이디어가 공동 저자 중 두 명에 의해 처음 제안되었지만, 수학적 증명을 공식화하는 데 AxiomProver라는 AI 도구를 사용했다고 언급합니다.

AI를 매우 엄격한 편집자라고 생각하세요. 인간 저자들은 이야기와 주요 아이디어를 썼고, AI는 모든 논리적 단계가 오류가 없는지 확인하며, 수학을 기계가 검증할 수 있는 언어(Lean)로 번역했습니다. 이 논문은 인간과 AI가 어떻게 협력하여 깊은 수학적 미스터리를 해결할 수 있는지 보여주는 시험 사례입니다.

요약

요컨대, 이 논문은 재미있는 숫자 놀이(카프레카르 루틴)를 가져와 그 안에 숨겨진 뼈대를 드러냅니다.

1. 무질서한 시작: 과정은 혼란스럽게 시작됩니다.
2. 빠른 정리: 세 단계 이내에 안정적인 패턴으로 정착합니다.
3. 단순한 핵심: 일단 안정되면, 과정은 특수한 수학적 세계에서 숫자를 "두 배로" 만드는 것에 불과합니다.
4. 예측 가능한 결말: 따라서 우리는 이제 해당 진법에서 숫자 2의 성질을 살펴봄으로써, 순환이 얼마나 길지 그리고 얼마나 많은 순환이 존재하는지를 정확히 계산할 수 있습니다.

이것은 "마술"을 단순한 산술 규칙에 의해 지배되는 예측 가능하고 우아한 춤으로 탈바꿈시킵니다.