A structural trace identity and certified spectra for the Richelot-Brandt graph

숫자의 우주를 거대하고 보이지 않는 도시라고 상상해 보십시오. 이 도시에서 수학자들은 '그래프'라고 불리는 '지도'를 연구합니다. 여기서 점(정점)들은 길(간선)에 의해 연결됩니다. 보통 이러한 지도들은 지하철 노선처럼 명확한 선을 가진 단순한 형태입니다. 하지만 산술 기하학이라는 수론의 특별한 구석에는, 아벨 곡면(abelian surfaces)이라 불리는 도형의 깊고 숨겨진 대칭으로부터 구축된 믿기 힘들 정도로 복잡한 지도들이 존재합니다. 이 곡면들을 차원이 다른 도넛 모양의 물체라고 생각할 수 있는데, 이들은 일반적인 기하학의 규칙이 휘어지고 뒤틀리는 세계에 존재합니다.

이 도시를 항해하기 위해 수학자들은 '연산자(operator)'라는 도구를 사용합니다. 연산자는 지도의 점들을 뒤섞는 마법 지팡이와 같습니다. 당신이 지팡이를 휘두르면 점들이 이리저리 움직이며, 그 움직임을 관찰함으로써 숫자 세계의 기저 구조에 대한 비밀을 배울 수 있습니다. 이 유명한 유형의 지도는 '이소제니 그래프(isogeny graph)'로, 이 도넛 모양의 도형들이 서로 어떻게 변형될 수 있는지에 따라 연결됩니다. 오랫동안 수학자들은 이 지도 위에 점이 몇 개 있는지, 그리고 그것들이 대략 어떻게 배열되어 있는지는 알고 있었지만, 지도가 연주하는 미세한 '음악'—즉, 특정 음표(고윳값, eigenvalues)와 어떤 점들이 쌍둥이이고 어떤 점들이 타인인지를 알려주는 숨겨겨진 표식—의 세부 사항은 볼 수 없었습니다.

헝 티 당(Hung T. Dang)이 작성한 이 논문은 리첼로-브란트(Richelot–Brandt) 그래프라고 알려진 이 복잡한 지도 중 하나를 깊이 파고듭니다. 이것은 마치 흐릿하고 노이즈가 섞인 신호의 고해상도 사진을 찍어, 그 노이즈가 결코 무작위가 아니라 완벽하게 구조화된 코드임을 발견하는 것과 같습니다. 저자는 이 지도의 움직임의 총 '가중치'를 계산하는 새로운 공식을 증명하며, 더 중요한 것은 지도의 점들이 특정 가족(families)으로 어떻게 조직되는지에 대한 상세한 이론을 제안한다는 것입니다. 그는 대부분의 관찰자에게는 동일해 보이는 특정 점의 쌍들이, 사실은 서로 반대되는 '부호'(양전하와 음전하처럼)를 가지고 있기 때문에 구별된다고 제안합니다. 이 주요 계산 공식은 증명된 사실이지만, 이 숨겨진 부호에 대한 상세한 이론은 특정 범위의 숫자에 대해 컴퓨터로 엄격하게 테스트된 강력한 추측이며, 이는 혼돈 속에서 아름답고 예측 가능한 패턴을 드러냅니다.

그래프와 숨겨진 쌍둥이 이야기

거대하고 마법 같은 보드게임을 상상해 보십시오. 보드는 수백 개의 점으로 이루어진 그래프이며, 모든 점은 정확히 15개의 다른 점과 연결되어 있습니다. 이것은 단순한 보드게임이 아닙니다. 이것은 아벨 곡면이라 불리는 특별한 수학적 도형들을 연결하는 구조인 '리첼로 이소제니 그래프'의 표현입니다. 이 도형들의 세계에는 특별한 규칙이 있습니다. 하나의 도형을 다른 도형으로 변형하는 방법이 15가지나 존재한다는 것입니다. 이 논문은 이 보드를 하나의 기계로 취급합니다. 만약 버튼을 누르면(연산자를 적용하면), 점들이 뒤섞입니다. 이 점들이 어떻게 뒤섞이는지 연구함으로써, 수학자들은 이 기계의 '스펙트럼(spectrum)'—그 동작을 설명하는 숫자들의 목록—을 들을 수 있습니다.

오랫동안 수학자들은 점의 총 개수와 뒤섞이는 패턴의 일반적인 형태는 알고 있었습니다. 하지만 그들은 퍼즐의 결정적인 조각을 놓치고 있었습니다. 바로 '쌍둥이'를 구별할 수 없었던 것입니다. 이 그래프에는 거의 모든 테스트에서 똑같아 보이는 점의 쌍들이 존재합니다. 그들은 연결 상태가 같고, 똑같이 움직이며, 똑같은 숫자를 만들어냅니다. 이는 옷을 똑같이 입고 목소리도 똑같이 내는 일란성 쌍둥이를 보는 것과 같습니다. 외부인에게 그들은 구별할 수 없는 존재입니다.

이 논문은 **아트킨-레블러 인볼루션(Atkin–Lehner involution, $R(\pi)$)**이라 불리는 특별한 '마법 거울'을 소개합니다. 이 거울은 단순히 점들을 보여주는 것이 아니라, 그들에게 숨겨진 스위치를 뒤집습니다. 저자는 이 '쌍둥이' 점들이 표준적인 테스트로는 동일해 보일지라도, 이 거울을 통하면 한 명은 '양(+)'이고 다른 한 명은 '음(-)'이라는 것을 드러낸다는 것을 증명합니다. 이는 마치 한 쌍둥이는 왼쪽 귀에, 다른 쌍둥이는 오른쪽 귀에 비밀 문신을 가지고 있다는 것을 발견하는 것과 같습니다. 이 발견을 통해 수학자들은 마침내 쌍둥이를 분리하고, 그들을 흐릿한 한 쌍으로 보는 대신 개별적으로 셀 수 있게 되었습니다.

세 가지 발견의 층위

이 논문은 확신(certainty)의 세 가지 뚜렷한 층위로 구성되어 있으며, 단단한 사실에서 강력한 추측, 그리고 마지막으로 컴퓨터 검증된 증명으로 나아갑니다.

1. 흔들리지 않는 토대 (트레이스 항등식, The Trace Identity)
먼저, 저자는 7 이상의 모든 소수에 대해 견고하고 깨지지 않는 사실을 증명합니다. 그는 그래프의 '총 부호 트레이스(total signed trace)'를 계산하는 새로운 공식을 유도했습니다. 이것은 전체 시스템의 균형을 맞추는 마스터 방정식이라고 생각하면 됩니다. 이 식은 모든 움직임의 합을 구할 때 부호를 고려한다면, 그 결과가 항상 다른 알려진 수학적 양들에 의해 결정되는 특정한 숫자가 된다는 것을 말해줍니다. 이 부분은 **정리(theorem)**이며, 이는 숫자의 크기와 상관없이 모든 숫자에 대해 100% 증명되었고 참이라는 의미입니다. 이것은 다른 모든 것을 지탱하는 기반입니다.

2. 거대한 추측 (고윳값-부호 정교화, The Eigenvalue–Sign Refinement)
다음으로, 저자는 그래프가 어떻게 구축되는지에 대한 대담한 예측을 내놓습니다. 그는 그래프의 스펙트럼(움직임을 설명하는 숫자들의 목록)이 단순히 무작위적인 뒤섞임이 아니라고 제안합니다. 대신, 그것은 깔끔하게 라벨링된 블록들로 나뉩니다:

• 아이젠슈타인 블록(Eisenstein blocks): 기초적이고 근본적인 음표들.
• 사이토-쿠로카와 블록(Saito–Kurokawa blocks): 특정 유형의 화음.
• 요시다 블록(Yoshida blocks): 함께 작동하는 음표의 쌍.
• Type-Va 블록: 앞서 언급한 '쌍둥이'들입니다. 추측에 따르면 모든 쌍둥이는 완벽하게 나뉩라져서, 하나는 $+1$의 부호를, 다른 하나는 $-1$의 부호를 갖게 됩니다.
• 일반 유형 블록(General-type blocks): 다른 범주에 속하지 않는 신비로운 나머지 음표들.

이것은 **추측(conjecture)**입니다. 이는 깊은 이론에 근거한 매우 잘 짜인 추측이지만, 우주의 모든 숫자에 대해 증명된 것은 아닙니다. 이는 특정 종류의 주사위를 던질 때마다 숫자가 항상 특정한 패턴으로 나올 것이라고 예측하는 것과 같습니다. 저자는 이 패턴이 모든 소수에 대해 성립한다고 믿지만, 무한대까지 아우르는 증명을 써 내려가지는 않았습니다.

3. 컴퓨터 검증된 증명 (인증된 스펙트럼, Certified Spectra)
무한에 대한 추측을 증명할 수 없었기에, 저자는 영리한 방법을 사용했습니다. 그는 11부터 149까지의 모든 소수에 대해 이를 확인했습니다. 그는 그래프를 정확하게 구축하고, 스펙트럼을 계산하며, 패턴이 유지되는지 확인하는 컴퓨터 프로그램을 만들었습니다.

• 그는 순수 기하학을 사용하여 그래프를 처음부터 구축했습니다.
• 각 점에 대한 정확한 숫자(고윳값)를 계산했습니다.
• '쌍둥이'(Type-Va 쌍)가 실제로 반대되는 부호로 분리되는지 검증했습니다.
• 심지어 $p=61$에서 완전히 다른 수학 분야의 예측과 일치하는 $-7$이라는 값을 가진 '일반 유형' 음표를 찾아냈습니다.

이 부분은 **컴퓨터 보조 정리(computer-assisted theorem)**입니다. 이는 테스트된 숫자 범위(11에서 149까지)에 대해 작동하는 증명입니다. 이것은 추측이 아니라 검증된 사실입니다. 저자는 누구나 직접 실행하여 이 증명을 확인할 수 있도록 '인증서(certificate)', 즉 디지털 영수증을 제공합니다.

이 논문이 배제하는 것과 열어두는 것

이 논문은 자신이 주장하는 바에 대해 매우 신중합니다. 저자는 이 그래프가 '라만우안(Ramanujan)'이라는 생각을 명시적으로 배제합니다. 이러한 그래프의 세계에서 '라만우안'이라는 것은 그래프가 정보를 퍼뜨리는 데 있어 매우 효율적임을 의미합니다(마치 초고속 인터넷 네트워크처럼). 이 논문은 이러한 특정 도형들에 대해, 그래프가 완벽하게 효율적이지 않음을 보여줍니다. 스펙트럼의 '노이즈'나 추가적인 음표들이 너무 큽니다. 그래프는 이상적인 경우보다 더 '지저loc(messy)'하며, 이 무질서함은 이 논문이 식별한 특정 수학적 구조(요시다 및 일반 유형 블록)에서 기인합니다.

하지만, 이 논문은 모든 숫자에 대한 미스터리를 해결했다고 주장하지 않습니다. 쌍둥이에 대한 상세한 예측(Type-Va 분리)은 149보다 큰 숫자에 대해서는 여전히 추측으로 남아 있습니다. 저자는 컴퓨터 검증이 강력한 증거이기는 하지만, 149보다 큰 숫자에 대한 일반적인 증명은 여전히 부족하다는 점을 인정합니다. 또한, 주요 공식에 대한 증명이 직접적인 단계별 국소적(local) 증명이 아니라, 거대한 수학적 방정식들의 전역적(global) 비교에 의존하고 있음을 밝힙니다. 저자는 이 국소적 증명을 미래의 수학자들을 위한 별도의 과제로 남겨두었습니다.

이것이 왜 중요한가

왜 호기심 많은 십 대가 128개의 점을 가진 그래프나 소수를 위한 공식에 관심을 가져야 할까요? 그것은 이 논문이 우리가 '보이지 않는 것을 보는 법'을 보여주기 때문입니다. 이 논문은 가장 복잡하고 추상적인 수학적 구조 안에서도 숨겨진 질서가 존재함을 보여줍니다. 동일해 보였던 '쌍둥이'들은 사실 구별되는 존재였으며, 적절한 도구($R(\pi)$ 부호)가 나타날 때까지 기다리고 있었습니다.

또한 이 논문은 기하학적 도형과 그래프의 세계와, 숫자와 공식의 대수적 세계라는 두 가지 수학 세계를 연결합니다. 컴퓨터로 생성된 그래프가 이론적 예측과 완벽하게 일치함을 보여줌으로써, 저자는 이러한 깊은 구조에 대한 수학자들의 이론이 옳다는 확신을 줍니다. 이는 컴퓨터로 블랙홀 모델을 만들고, 그것이 아인슈타인의 방정식이 예측한 대로 정확하게 작동하는 것을 발견하는 것과 같습니다.

결국, 이 논문은 정밀함의 승리입니다. 혼란스러워 보이는 시스템을 가져와 숨겨진 대칭을 찾아내고, 전역적인 규칙을 증명한 뒤, 컴퓨터를 사용하여 특정 범위의 복잡한 세부 사항을 검증합니다. 이 논문은 숫자의 광활하고 고요한 도시에서도 가장 똑같이 생긴 쌍둥이조차 비밀스러운 정체성을 가지고 있으며, 적절한 도구만 있다면 마침내 그들의 목소리를 들을 수 있다는 것을 우리에게 말해줍니다.