Every quasiperfect number has at least eight distinct prime factors

당신이 거대한 무한 도서관 안에 숨겨진 매우 특정한, 보이지 않는 보물을 찾으려는 탐정이라고 상상해 보십시오. 이 보물은 '준완전수(quasiperfect number)'라고 불리는 특별한 종류의 숫자입니다. 이 사냥을 이해하려면 먼저 무엇이 숫자를 '완전(perfect)'하게 만드는지 알아야 합니다. 완전수는 마치 완벽하게 균형 잡힌 저울와 같습니다. 만약 그 숫자를 나누는 모든 작은 숫자들(그것의 '약수들')을 모두 더하면, 그 합이 숫자 자신과 같아집니다. 예를 들어, 6은 약수가 1, 2, 3이므로 완전수입니다 ($1 + 2 + 3 = 6$). 이것은 수학적인 최적의 지점입니다.

이제, 완벽한 균형에서 딱 한 단계 어긋난 숫자를 상상해 보십시오. 만약 그 숫자의 모든 약수를 더하면, 그 합이 그 숫자 자체의 두 배보다 정확히 1만큼 더 큽니다. 수학자들은 이런 숫자를 '준완전수'라고 부릅니다. 그것은 '거의 완벽한' 사촌 격입니다. 거대한 미스터리는 이것입니다: 과연 이런 숫자가 존재하기는 할까요? 지금까지 아무도 이런 숫자를 발견하지 못했으며, 수십 년 동안 아무도 그것이 존재하지 않는다는 것을 증명해내지 못했습니다. 이것은 마치 빈 집에서 유령을 찾는 것과 같습니다. "여기엔 유령이 없다"라고 말하기 전까지는 모든 구석구석을 반드시 확인해야만 합니다. 이 논문은 그 집을 대대적이고 첨단 기술로 휩쓸어버린 과정에 대한 이야기이며, 만약 그런 숫자가 존재한다면, 그것은 반드시 적어도 8개의 서로 다른 소수 재료라는 벽 뒤에 숨어 있을 만큼 믿기 힘들 정도로 복잡할 것임을 증명합니다.

"거의 완벽한" 숫자를 향한 위대한 사냥

오랫동안 수학자들은 만약 준완전수가 존재한다면, 그것은 매우 기이한 생명체여야 한다는 것을 알고 있었습니다. 그것은 반드시 홀수여야 하며, 완전제곱수여야 합니다. 또한 특정 개수의 고유한 소수 '재료'(예를 들어 3, 5, 7 등)로 만들어져야 한다는 것도 알고 있었습니다. 이 논문이 나오기 전, 그들이 알고 있던 최선의 규칙은 어떤 준완전수가 적어도 7개의 서로 다른 소수 재료를 가져야 한다는 것이었습니다. 이 규칙은 1982년부터 유지되어 왔지만, 정체되어 있었습니다. 이 사냥은 계속해서 커지는 건초더미 속에서 바늘을 찾는 것과 같았습니다. 그 '건초더미'는 가능한 숫자들의 목록이었는데, 가장 깊고 복잡한 후보자들의 경우 목록이 너무 길어서 컴퓨터가 그것들을 하나씩 확인하는 데만 수천 년이 걸릴 수도 있었습니다. 그것은 끝나지 않는 루프, 즉 "비종결 탐색(non-terminating search)"이었습니다.

이 논문은 그 루프를 깨뜨립니다. 저자들은 영리한 수학적 기교와 강력한 컴퓨터를 결합하여, 준완전수가 단 7개(또는 그 이하)의 소수 재료만을 가질 수는 없다는 것을 증명했습니다. 만약 존재한다면, 그것은 반드시 적어도 8개의 서로 다른 소인수를 가져야 합니다. 이는 44년 만에 이 특정 규칙이 개선된 첫 사례입니다.

그들이 해낸 방법: 세 가지 마법 열쇠

저자들은 단순히 무차별 대입(brute-force) 방식으로 문제를 해결하지 않았습니다. 그랬다면 너무 오래 걸렸을 것입니다. 대신, 그들은 불가능한 무한 탐색을 유한하고 해결 가능한 퍼즐로 바꿔주는 세 가지 "마법 열쇠"(수학적 보조정리)를 발명했습니다. 이것은 마치 수십억 명의 관중이 모인 경기장에서 특정 인물을 찾는 것과 같습니다.

1. 판별식 열쇠 (The Discriminant Key - "즉각적인 신원 확인"):
   보통 준완전수의 빠진 조각을 찾으려면, 소수 하나를 추측한 다음 그와 짝이 맞는 파트너를 찾아야 합니다. 이것은 자물쇠 조합을 추측하고 모든 열쇠를 하나씩 대보는 것과 같습니다. 고등학교 대수 공식에 기반한 첫 번째 열쇠는 게임의 판도를 바꿉니다. 파트너를 찾는 대신, 특정 "지문"(판별식이라 불림)을 계산합니다. 만약 이 지문이 완전제곱수가 아니라면, 당신은 즉시 그 조합이 틀렸다는 것을 알 수 있습니다. 이것은 거대한 탐색을 단순한 확인 작업으로 바꿉니다.

2. 체 열쇠 (The Sieve Key - "보안 요원"):
   첫 번째 열쇠가 있어도 여전히 수백만 개의 후보가 남아 있습니다. 두 번째 열쇠는 경기장 입구에 서 있는 매우 효율적인 보안 요원처럼 작동합니다. 이 열쇠는 "이차 잉여"(특정 수학적 세계에서 숫자가 제곱수처럼 행동하는지 확인하는 세련된 방식)를 사용하여 한꺼번에 거대한 후보 그룹을 걸러냅니다. 만약 어떤 숫자가 이 테스트를 통과하지 못하면, 보안 요원은 나머지 세부 사항을 확인하기도 전에 즉시 그 숫자를 탈락시킵니다. 이는 컴퓨터가 본격적인 작업을 시작하기도 전에 가능성의 99.999999%를 제거합니다.

3. 해결사 열쇠 (The Resolver Key - "타임머신"):
   가장 큰 문제는 일부 숫자들의 지수(거듭제곱)가 무한히 계속될 수 있다는 점이었습니다. 그것들을 하나씩 확인하는 것은 영원히 걸릴 일입니다. 세 번째 열쇠는 이러한 무한한 거듭제곱들이 예측 가능한 패턴을 따른다는 사실을 깨닫습니다. 1, 2, 3... 하고 무한히 숫자를 세는 대신, 이 열쇠는 어떤 지수들이 가능한지를 정확히 알려주는 단 하나의 방정식을 풀어냅니다. 이것은 무한 루프를 단 한 번의 빠른 계산으로 바꿉니다.

결과: 사건 종결

이 세 가지 열쇠를 사용하여 저자들은 대규모 계산을 수행했습니다. 그들은 381개의 서로 다른 "줄기"(소수들의 시작 패턴)를 확인해야 했으며, 이는 무려 79,751,212개의 "깊은 잎"(최종적이고 복잡한 후보들)으로 확장되었습니다.

• 결과: 그들은 준완전수를 단 하나도 발견하지 못했습니다.
• 증명: 탐색은 단순히 멈춘 것이 아니라, 여러 방식으로 검증되었습니다. 그들은 서로 다른 유형의 컴퓨터(CPU 및 GPU)에서 계산을 실행했고, 결과를 재확인하기 위해 서로 다른 수학적 방법을 사용했으며, 심지어 시스템이 이를 잡아낼 수 있도록 코드 안에 가짜 "해답"을 심어놓기도 했습니다. 매번, 시스템은 "해답을 찾을 수 없음"이라고 정확히 답했습니다.
• 결론: 그들은 탐색 트리의 "깊은 잎"들이 모두 막다른 길임을 증명했습니다. 이 논문은 7개 이하의 소인수를 가진 준완전수의 가능성을 명시적으로 배제합니다.

이것이 왜 중요한가

이것은 단순히 숫자를 찾는 것에 관한 것이 아닙니다. 숫자의 우주를 이해하는 것에 관한 것입니다. 준완전수가 적어도 8개의 서로 다른 소인수를 가져야 함을 증명함으로써, 저자들은 우리가 알고 있는 지식의 경계를 넓혔습니다. 그들은 1982년 이후로 발전을 가로막고 있던 거대한 장애물을 치웠습니다.

또한 이 논문은 동일한 결과를 찾았다고 주장했던 다른 연구자(Zemann)의 이전 시도를 다룹니다. 저자들은 그 작업을 면밀히 감사하여 코드에서 35개의 가능한 사례가 누락된 작은 "틈"을 발견했습니다. 그들의 작업은 그 틈을 완전히 메운 최초의 성과이며, 증명을 빈틈없이 확실하게 만들었습니다.

요컨대, 저자들은 논리와 계산의 요새를 구축했습니다. 만약 준완전수가 숨어 있다면, 그것은 적어도 8개의 소수 재료라는 벽 뒤에 숨어 있어야 하며, 이는 우리가 생각했던 것보다 훨씬 더 찾기 어렵다는 것을 보여줍니다. 사냥은 계속되겠지만, 지도는 이제 훨씬 더 넓은 "출입 금지" 구역으로 업데이트되었습니다.