Finding all cospectral mates over a number field

당신이 단 하나의 단서, 즉 기계의 "소리"만을 이용해 미스터리를 풀려는 탐정이라고 상상해 보십시오. 수학의 한 분야인 스펙트럼 그래프 이론(spectral graph theory)의 세계에서, 이 "소리"는 고윳값(eigenvalues)이라 불리는 숫자들의 목록입니다. 이 숫자들은 악기를 쳤을 때 연주되는 고유한 음표와 같습니다. 만약 당신에게 톱니바퀴와 스프링으로 이루어진 복잡한 기계(수학자들은 이를 행렬이라는 숫자 격자로 표현합니다)가 있다면, 당신은 그 기계의 "노래"를 계산할 수 있습니다.

여기서 중요한 질문은 이것입니다. "기계의 모양을 들을 수 있는가?" 즉, 두 개의 서로 다른 기계가 정확히 같은 노래를 부른다면, 그 기계들은 단지 다르게 만들어졌을 뿐 실제로는 같은 기계일까요? 때때로 완전히 다른 구조들이 같은 곡을 노래하기도 합니다. 이런 현상이 발생할 때, 이들을 "공스펙트럼 쌍둥이(cospectral mates)"라고 부릅니다. 수십 년 동안 수학자들은 기계가 고유한 것인지 아니면 쌍둥이가 있는지 구별하는 신뢰할 수 있는 방법을 찾기 위해 고군분투해 왔으며, 만약 쌍둥이가 존재한다면 그들을 찾아내는 데 어려움을 겪었습니다. 이는 마치 모두가 똑같은 가면을 쓰고 똑같은 음을 노래하는 군중 속에서 특정 인물을 찾는 것과 같습니다.

알렉산더 반 더 베르데(Alexander Van Werde)가 작성한 이 논문은 이러한 퍼즐을 해결하기 위해 새로운 방식으로 쌍둥이를 찾는 방법을 도입하며 이 문제를 다룹니다. 단순히 기계들이 동일한지 확인하는 대신, 저자는 다음과 같이 질문합니다. "우리가 특수한 종류의 수학적 거울을 사용하여 한 기계를 다른 기계로 변형할 수 있는가?" 이 거울은 기계를 회전시키거나 뒤집으면서도 그 노래(스펙트럼)를 바꾸지 않는 숫자 격자입니다. 여기서 반전은, 이 거울의 숫자들이 특정 "수체(number fields)"로부터 오도록 제한한다는 점입니다. 이 수체들은 수학이라는 거대한 도시의 서로 다른 동네와 같습니다. 어떤 동네는 1/2이나 3/4 같은 단순한 분수만을 허용하는 반면, 다른 동네는 $\sqrt{2}$와 같은 더 이색적인 숫자들을 허용합니다.

이 논문의 주요 발견은 이러한 동네 안에서 공스펙트럼 쌍둥이를 효율적으로 추적할 수 있는 일련의 규칙과 컴퓨터 프로그램입니다. 저자는 만약 기계의 노래가 특정 성질(구체적으로, '판별식(discriminant)'이 너무 지저집데이지 않은 경우)을 가지고 있다면, 주어진 동네에 쌍둥이가 존재하지 않는다는 것을 종종 증명할 수 있다고 논증합니다. 만약 쌍씨가 존재한다면, 이 논문은 기계가 매우 거대하고 숫자가 엄청나게 크더라도 그 모든 쌍둥이를 찾아내는 방법을 제공합니다. 저자는 이 방법을 수천 개의 무작잡한 기계에 테스트했으며, 단순한 동네(분수 등)에서는 쌍둥이가 자주 숨어 있는 반면, 더 복잡한 동네($\sqrt{2}$ 등을 포함하는 경우)에서는 훨씬 더 많은 숨겨진 쌍을 드러낼 수 있다는 것을 발견했습니다.

음악적 쌍둥이 이야기

더 깊이 들어가 봅시다. 당신에게 거대하고 복잡한 레고 구조물이 있다고 상상해 보세요. 당신은 그것의 사진을 찍을 수 있지만, 사진 대신 그것의 "분위기"나 "스펙트럼"을 설명하는 숫자 목록을 얻게 됩니다. 이제 전혀 다르게 생긴 두 번째 레고 구조물을 상상해 보세요. 예를 들어, 첫 번째보다 더 높거나 색깔이 바뀌었을 수도 있지만, "분위기" 사진을 찍었을 때 나오는 숫자 목록은 동일합니다. 이 두 구조물이 바로 공스펙트럼 쌍둥이입니다. 이들은 음악적 쌍둥이입니다.

오랫동안 수학자들은 때때로 이러한 쌍둥이가 존재하기도 하고 존재하지 않기도 한다는 것을 알고 있었습니다. 하지만 그들을 찾는 것은 은하계 크기의 건더미 속에서 바늘을 찾는 것과 같았습니다. 유일한 방법은 가능한 모든 레고 구조물을 일일이 확인하는 것이었는데, 큰 기계의 경우에는 그것이 불가능했습니다. 논문은 이렇게 묻습니다. "더 똑똑한 방법이 있을까?"

저자의 탁월한 아이디어는 하나의 구조물을 다른 구조물로 바꿔주는 "거울"을 살펴보는 것입니다. 만약 구조물 A가 회전을 통해 구조물 B로 변할 수 있다면, 그 거울은 숫자 격자입니다. 이 논문은 이 거울의 숫자들이 **수체(number field)**라고 불리는 특정 "숫자 동네"에 살도록 강제했을 때 어떤 일이 일어나는지 조사합니다.

• 단순한 동네 (유리수): 1/2, 3/4, 또는 -5와 같은 분수의 동네입니다. 만약 거울이 이 단순한 숫자들만 사용한다면, 우리는 "유리수 공스펙트럼 쌍둥이"를 찾는 것입니다.
• 이색적인 동네 (대수적 수체): $\sqrt{2}$나 $\sqrt{3}$과 같은 숫자를 포함하는 동네입니다. 이들은 단순한 분수로 쓸 수 없는 숫자들이지만, 수학적인 의미에서 여전히 "좋은" 숫자들입니다.

이 논문은 이러한 숫자 동네 주변에 수학적인 "울타리"를 세웁니다. 저자는 만약 기계의 노래가 충분히 "깨끗하다면"(판별식이 제곱이 아닌 'square-free'라는 성질), 기계가 자기 자신의 사소한 복사본(예: 똑같은 레고 브릭 두 개를 바꾸는 것)이 아닌 한, 단순한 동네에는 쌍둥이가 존재하지 않는다는 것을 증명합니다. 이것은 모든 가능성을 일일이 확인하지 않고도 쌍둥이의 존재 여부를 배제할 수 있게 해주므로 매우 중요한 성과입니다.

하지만 만약 노래가 깨끗하지 않다면 어떻게 될까요? 만약 울타리가 무너진다면요? 바로 그 지점에서 이 논문은 정말 흥미로워집니다. 저자는 컴퓨터 알고리즘(컴퓨터를 위한 지침 세트)을 개발하여 마치 초스마트 탐정처럼 작동하게 합니다. 이 탐정은 모든 가능성을 확인하는 대신, "울타리" 규칙을 사용하여 검색 범위를 아주 작고 관리 가능한 목록으로 좁힙니다.

이 탐정의 작동 방식은 다음과 같습니다:

1. 노래 듣기: 기계의 노래를 분석하여 "문제 지점"(노래의 판별식을 나누는 소수들)을 찾습니다.
2. 함정 만들기: 이 문제 지점들을 사용하여 함정을 만듭니다. 탐정은 만약 쌍둥이가 존재한다면, 기계를 변형하는 데 사용되는 거울이 이 문제 지점들과 관련된 특정 속성을 가져야 함을 알고 있습니다.
3. 후보 확인: 이 함정에 부합하는 가능한 거울들의 짧은 목록을 생성합니다.
4. 쌍둥이 테스트: 이 거울들 중 실제로 기계를 새로운 유효한 쌍둥이로 만드는 것이 있는지 확인합니다.

저자는 이 탐정을 수천 개의 무작잡한 기계(최대 100개의 부품을 가진 기계 포함)에 테스트했습니다. 결과는 매혹적이었습니다:

• 단순한 동네(유리수)에서는 작은 기계(약 7개의 부품)에서 쌍둥이가 빈번하게 발견되었지만, 기계가 커질수록 매우 드물어졌습니다.
• 이색적인 동네($\sqrt{2}$와 같은 경우)에서는, 단순한 동네가 놓친 새로운 쌍둥이들을 탐정이 찾아냈습니다. 예를 들어, 4개의 부품을 가진 기계에서 알고리즘은 유리수 동네에는 존재하지 않는, $\sqrt{2}$ 동네에서의 수백 개의 쌍둥이를 찾아냈습니다.

또한 이 논문은 자신이 무엇을 하지 않는지도 명확히 합니다. 이 논문은 세상의 모든 기계에 대한 미스터리를 해결한다고 주장하지 않습니다. 만약 기계의 노래가 "지저분하다면"(중복된 고윳값), 탐정은 혼란에 빠질 수 있으며, 저자는 그런 경우의 쌍둥이를 찾는 것이 여전히 미해결 과제로 남아 있음을 인정합니다. 또한, 알고리즘은 노래의 "문제 지점"들이 너무 크지 않다는 가정에 의존합니다. 숫자가 너무 커지면 컴퓨터가 작업을 마치는 데 너무 오래 걸릴 수 있습니다.

왜 관심을 가져야 하는가?

당신은 "레고 기계와 그 노래가 나랑 무슨 상관이지?"라고 생각할지도 모릅니다. 하지만 이것은 단순한 수학 퍼즐이 아닙니다. 이 "기계들"은 실제 세계의 네트워크를 나타냅니다: 소셜 미디어의 연결, 분자 내의 화학 결합, 또는 인터넷 그 자체 말입니다. 두 네트워크가 진정으로 다른 것인지 아니면 그냥 쌍둥이인지 아는 것은 과학자들이 이러한 시스템이 어떻게 작동하는지 이해하는 데 도움이 됩니다. 만약 두 네트워크가 겉보기에는 달라 보이지만 똑같이 작동한다면, 그것은 우리가 아직 발견하지 못한 숨겨진 대칭성이나 근본적인 규칙이 있다는 것을 의미할 수 있습니다.

이 논문은 이러한 숨겨진 대칭성을 탐구하기 위한 새로운 도구를 우리에게 제공합니다. 이는 때때로 진실을 찾기 위해서, 단순한 동네가 아니라 수학의 "이색적인" 동네를 들여다봐야 한다는 것을 알려줍니다. 그리고 우리는 길을 잃지 않고 그 동네들을 항해할 수 있는 지도(알고리즘)를 갖게 되었습니다.

저자는 심지어 누구나 사용할 수 있도록 탐정의 코드를 공개했습니다. 그러므로, 만약 당신에게 크고 지저한 기계가 있고 그것에게 쌍둥이가 있는지 알고 싶다면, 이제 이 프로그램을 실행하여 컴퓨터가 힘든 일을 대신 하게 할 수 있습니다. 이것은 마치 두 개의 서로 다른 세계가 단지 옷만 다르게 입었을 뿐 실제로는 같은 세계인지 즉각적으로 알려주는 마법 지팡이를 가진 것과 같습니다.

결국, 이 논문은 수학적 쌍둥이의 우주가 방대하고 복잡하지만, 그것이 무작위적인 혼돈은 아니라는 점을 시사합니다. 패턴이 있고, 규칙이 있으며, 적절한 도구가 있다면 우리는 우리가 한 번도 들어본 적 없는 노래를 부르는 드럼의 모양을 들을 수 있습니다.